2.59/1.90	
2.59/1.90	AbsCon 2 
2.59/1.92	
3.20/2.17	  Instance
3.20/2.17	    name=instance-4390910-1568381760, framework=COP, bounds=-infty..+infty
3.20/2.17	
3.20/2.17	  Loading variables...
3.50/2.20	  Loading constraints...
4.59/2.57	
4.59/2.57	  Domains
4.59/2.57	    nTypes=62, nValues=2357, sizes=[2#1,3#6,4#14,5#9...17#8,18#1,29#30,30#30]
4.59/2.57	  Variables
4.59/2.57	    count=120, degrees=[2#60,31#30,32#29,33#1]
4.59/2.57	  Objectives
4.59/2.57	    way=min, type=SumSimpleLE
4.59/2.57	  Constraints
4.59/2.57	    count=963, nSpecific=2, arities=[1#1,2#960,30#1,60#1]
4.59/2.57	    distribution=[Circuit#1,CtrExtensionV-Bits#60,CtrIntension#901,SumSimpleLE#1]
4.59/2.57	    nExtStructures=(60,shared:0), nIntStructures=(31,shared:870), nCftStructures=(90,shared:870,unbuilt:3)
4.59/2.57	    wck=0.696, cpu=2.528, mem=79M361
4.59/2.58	  Solver SolverBacktrack being built...
4.59/2.58	
4.59/2.60	
4.59/2.60	  Solver
4.59/2.60	    guaranteedGAC=false
4.59/2.60	    wck=0.729, cpu=2.56, mem=90M3
4.95/2.61	
4.95/2.61	  Preprocessing
4.95/2.61	    filters=32, revisions=(62,useless=30), ccks=26103, nACremovedValues=774, nTotalRemovedValues=774, inconcistency=false
4.95/2.61	    wck=0.011, cpu=2.572, mem=90M3
4.95/2.61	
4.95/2.63	o 323
4.95/2.64	    num=0, depth=121..119, filters=1381, revisions=(1972,useless=618), ccks=27967, wck=0.039, mem=90M3
4.95/2.64	    decisions=27, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=323
4.95/2.64	    
4.95/2.67	o 322
4.95/2.67	    num=1, depth=20..119, filters=2702, revisions=(4788,useless=2162), ccks=30416, wck=0.074, mem=90M3
4.95/2.67	    decisions=98, wrong=12, backtracks=6, failedAssignments=8, nogoods=1, foundSolutions=2, bestBound=322
4.95/2.67	    
4.95/2.68	    num=2, depth=2..11, filters=3088, revisions=(7009,useless=4037), ccks=31704, wck=0.083, mem=92M646
4.95/2.68	    decisions=129, wrong=25, backtracks=15, failedAssignments=19, nogoods=7, foundSolutions=2, bestBound=322
4.95/2.68	    
4.95/2.70	o 321
4.95/2.70	    num=3, depth=5..119, filters=3590, revisions=(9814,useless=6365), ccks=33665, wck=0.095, mem=92M646
4.95/2.70	    decisions=163, wrong=31, backtracks=18, failedAssignments=22, nogoods=10, foundSolutions=3, bestBound=321
4.95/2.70	    
5.28/2.70	    num=4, depth=2..13, filters=3950, revisions=(12993,useless=9225), ccks=35238, wck=0.103, mem=92M646
5.28/2.70	    decisions=201, wrong=46, backtracks=25, failedAssignments=34, nogoods=16, foundSolutions=3, bestBound=321
5.28/2.70	    
5.28/2.72	o 320
5.28/2.72	    num=5, depth=9..119, filters=4391, revisions=(15537,useless=11335), ccks=37048, wck=0.114, mem=92M646
5.28/2.72	    decisions=228, wrong=49, backtracks=25, failedAssignments=37, nogoods=19, foundSolutions=4, bestBound=320
5.28/2.72	    
5.28/2.73	o 319
5.28/2.73	    num=6, depth=2..119, filters=4951, revisions=(19131,useless=14403), ccks=39110, wck=0.128, mem=92M646
5.28/2.73	    decisions=264, wrong=56, backtracks=30, failedAssignments=41, nogoods=23, foundSolutions=5, bestBound=319
5.28/2.73	    
5.28/2.74	o 318
5.28/2.74	    num=7, depth=2..119, filters=5342, revisions=(21549,useless=16444), ccks=40694, wck=0.136, mem=92M646
5.28/2.74	    decisions=288, wrong=58, backtracks=30, failedAssignments=43, nogoods=25, foundSolutions=6, bestBound=318
5.28/2.74	    
5.28/2.74	o 317
5.28/2.74	    num=8, depth=2..119, filters=5605, revisions=(23663,useless=18303), ccks=41970, wck=0.143, mem=92M646
5.28/2.74	    decisions=315, wrong=59, backtracks=30, failedAssignments=44, nogoods=26, foundSolutions=7, bestBound=317
5.28/2.74	    
5.28/2.75	o 316
5.28/2.75	    num=9, depth=2..119, filters=6002, revisions=(25917,useless=20170), ccks=43391, wck=0.15, mem=92M646
5.28/2.75	    decisions=341, wrong=60, backtracks=30, failedAssignments=45, nogoods=27, foundSolutions=8, bestBound=316
5.28/2.75	    
5.28/2.76	o 311
5.28/2.76	    num=10, depth=7..119, filters=6683, revisions=(29403,useless=23008), ccks=45165, wck=0.16, mem=92M646
5.28/2.76	    decisions=401, wrong=66, backtracks=32, failedAssignments=49, nogoods=30, foundSolutions=9, bestBound=311
5.28/2.76	    
5.28/2.77	    num=11, depth=7..11, filters=7225, revisions=(32490,useless=25614), ccks=46646, wck=0.166, mem=92M646
5.28/2.77	    decisions=446, wrong=84, backtracks=42, failedAssignments=60, nogoods=33, foundSolutions=9, bestBound=311
5.28/2.77	    
5.28/2.77	    num=12, depth=5..9, filters=7693, revisions=(35609,useless=28307), ccks=48145, wck=0.172, mem=92M646
5.28/2.77	    decisions=479, wrong=98, backtracks=50, failedAssignments=71, nogoods=37, foundSolutions=9, bestBound=311
5.28/2.77	    
5.28/2.78	o 298
5.28/2.78	    num=13, depth=14..119, filters=8221, revisions=(37508,useless=29703), ccks=50016, wck=0.18, mem=92M646
5.28/2.78	    decisions=544, wrong=101, backtracks=50, failedAssignments=74, nogoods=40, foundSolutions=10, bestBound=298
5.28/2.78	    
5.28/2.79	o 296
5.28/2.79	    num=14, depth=13..119, filters=8781, revisions=(39824,useless=31465), ccks=51630, wck=0.187, mem=92M646
5.28/2.79	    decisions=588, wrong=104, backtracks=50, failedAssignments=77, nogoods=43, foundSolutions=11, bestBound=296
5.28/2.79	    
5.59/2.80	o 295
5.59/2.80	    num=15, depth=9..119, filters=9463, revisions=(44211,useless=35222), ccks=54105, wck=0.197, mem=92M646
5.59/2.80	    decisions=659, wrong=119, backtracks=59, failedAssignments=87, nogoods=47, foundSolutions=12, bestBound=295
5.59/2.80	    
5.59/2.81	o 294
5.59/2.81	    num=16, depth=4..119, filters=10672, revisions=(48603,useless=38448), ccks=56724, wck=0.208, mem=92M646
5.59/2.81	    decisions=709, wrong=132, backtracks=64, failedAssignments=96, nogoods=52, foundSolutions=13, bestBound=294
5.59/2.81	    
5.59/2.82	o 293
5.59/2.82	    num=17, depth=14..119, filters=11180, revisions=(50989,useless=40339), ccks=58391, wck=0.216, mem=95M288
5.59/2.82	    decisions=742, wrong=137, backtracks=64, failedAssignments=101, nogoods=57, foundSolutions=14, bestBound=293
5.59/2.82	    
5.59/2.82	    num=18, depth=11..16, filters=12311, revisions=(55329,useless=43645), ccks=60586, wck=0.224, mem=95M288
5.59/2.82	    decisions=797, wrong=159, backtracks=80, failedAssignments=112, nogoods=58, foundSolutions=14, bestBound=293
5.59/2.82	    
5.59/2.83	    num=19, depth=10..18, filters=13225, revisions=(58070,useless=45488), ccks=61701, wck=0.23, mem=95M288
5.59/2.83	    decisions=836, wrong=172, backtracks=85, failedAssignments=123, nogoods=66, foundSolutions=14, bestBound=293
5.59/2.83	    
5.59/2.84	o 290
5.59/2.84	    num=20, depth=11..119, filters=13857, revisions=(60634,useless=47434), ccks=63722, wck=0.236, mem=95M288
5.59/2.84	    decisions=883, wrong=176, backtracks=86, failedAssignments=126, nogoods=69, foundSolutions=15, bestBound=290
5.59/2.84	    
5.59/2.84	    num=21, depth=2..15, filters=14566, revisions=(65037,useless=51200), ccks=65856, wck=0.243, mem=95M288
5.59/2.84	    decisions=935, wrong=196, backtracks=98, failedAssignments=139, nogoods=77, foundSolutions=15, bestBound=290
5.59/2.84	    
5.59/2.85	    num=22, depth=4..8, filters=14896, revisions=(67479,useless=53345), ccks=66995, wck=0.247, mem=95M288
5.59/2.85	    decisions=969, wrong=211, backtracks=108, failedAssignments=150, nogoods=81, foundSolutions=15, bestBound=290
5.59/2.85	    
5.59/2.85	    num=23, depth=12..16, filters=15556, revisions=(70502,useless=55757), ccks=68404, wck=0.252, mem=95M288
5.59/2.85	    decisions=1014, wrong=227, backtracks=116, failedAssignments=162, nogoods=87, foundSolutions=15, bestBound=290
5.59/2.85	    
5.59/2.86	o 288
5.59/2.86	    num=24, depth=13..119, filters=16246, revisions=(73136,useless=57728), ccks=70626, wck=0.259, mem=95M288
5.59/2.86	    decisions=1065, wrong=233, backtracks=119, failedAssignments=165, nogoods=90, foundSolutions=16, bestBound=288
5.59/2.86	    
5.59/2.87	    num=25, depth=3..9, filters=16897, revisions=(77668,useless=61684), ccks=73198, wck=0.265, mem=95M288
5.59/2.87	    decisions=1120, wrong=258, backtracks=137, failedAssignments=179, nogoods=97, foundSolutions=16, bestBound=288
5.59/2.87	    
5.59/2.87	o 287
5.59/2.87	    num=26, depth=14..119, filters=17658, revisions=(80160,useless=63433), ccks=75297, wck=0.271, mem=95M288
5.59/2.87	    decisions=1154, wrong=260, backtracks=137, failedAssignments=181, nogoods=99, foundSolutions=17, bestBound=287
5.59/2.87	    
5.59/2.88	o 286
5.59/2.88	    num=27, depth=6..119, filters=18388, revisions=(84649,useless=67248), ccks=77671, wck=0.279, mem=95M288
5.59/2.88	    decisions=1210, wrong=275, backtracks=147, failedAssignments=188, nogoods=102, foundSolutions=18, bestBound=286
5.59/2.88	    
5.59/2.89	    num=28, depth=3..8, filters=18919, revisions=(88163,useless=70281), ccks=79304, wck=0.285, mem=95M288
5.59/2.89	    decisions=1254, wrong=295, backtracks=160, failedAssignments=199, nogoods=108, foundSolutions=18, bestBound=286
5.59/2.89	    
5.59/2.89	    num=29, depth=5..16, filters=19804, revisions=(92463,useless=73753), ccks=81433, wck=0.292, mem=95M288
5.59/2.89	    decisions=1298, wrong=311, backtracks=169, failedAssignments=210, nogoods=115, foundSolutions=18, bestBound=286
5.59/2.89	    
5.92/2.90	    num=30, depth=12..16, filters=20355, revisions=(95319,useless=76116), ccks=82963, wck=0.297, mem=95M288
5.92/2.90	    decisions=1344, wrong=328, backtracks=176, failedAssignments=222, nogoods=118, foundSolutions=18, bestBound=286
5.92/2.90	    
5.92/2.91	o 285
5.92/2.91	    num=31, depth=11..119, filters=21925, revisions=(100024,useless=79322), ccks=86196, wck=0.306, mem=95M288
5.92/2.91	    decisions=1398, wrong=342, backtracks=184, failedAssignments=230, nogoods=122, foundSolutions=19, bestBound=285
5.92/2.91	    
5.92/2.91	o 282
5.92/2.91	    num=32, depth=121..119, filters=22408, revisions=(102017,useless=80851), ccks=87889, wck=0.312, mem=95M288
5.92/2.91	    decisions=1447, wrong=342, backtracks=184, failedAssignments=230, nogoods=122, foundSolutions=20, bestBound=282
5.92/2.91	    
5.92/2.92	    num=33, depth=4..9, filters=22751, revisions=(105364,useless=83897), ccks=89487, wck=0.317, mem=95M288
5.92/2.92	    decisions=1484, wrong=357, backtracks=194, failedAssignments=241, nogoods=128, foundSolutions=20, bestBound=282
5.92/2.92	    
5.92/2.92	    num=34, depth=11..17, filters=23903, revisions=(108842,useless=86268), ccks=91509, wck=0.324, mem=95M288
5.92/2.92	    decisions=1524, wrong=371, backtracks=199, failedAssignments=252, nogoods=136, foundSolutions=20, bestBound=282
5.92/2.92	    
5.92/2.93	o 281
5.92/2.93	    num=35, depth=14..119, filters=24366, revisions=(110908,useless=87895), ccks=93413, wck=0.329, mem=95M288
5.92/2.93	    decisions=1553, wrong=372, backtracks=199, failedAssignments=253, nogoods=137, foundSolutions=21, bestBound=281
5.92/2.93	    
5.92/2.93	o 280
5.92/2.93	    num=36, depth=121..119, filters=24793, revisions=(112900,useless=89479), ccks=94616, wck=0.334, mem=95M288
5.92/2.93	    decisions=1580, wrong=372, backtracks=199, failedAssignments=253, nogoods=137, foundSolutions=22, bestBound=280
5.92/2.93	    
5.92/2.94	o 279
5.92/2.94	    num=37, depth=15..119, filters=25456, revisions=(115360,useless=91295), ccks=96516, wck=0.34, mem=95M288
5.92/2.94	    decisions=1622, wrong=380, backtracks=199, failedAssignments=261, nogoods=145, foundSolutions=23, bestBound=279
5.92/2.94	    
5.92/2.95	o 277
5.92/2.95	    num=38, depth=121..119, filters=25984, revisions=(117401,useless=92829), ccks=98221, wck=0.347, mem=95M288
5.92/2.95	    decisions=1666, wrong=380, backtracks=199, failedAssignments=261, nogoods=145, foundSolutions=24, bestBound=277
5.92/2.95	    
5.92/2.95	    num=39, depth=2..15, filters=26514, revisions=(119239,useless=94170), ccks=99052, wck=0.352, mem=97M931
5.92/2.95	    decisions=1705, wrong=393, backtracks=204, failedAssignments=272, nogoods=150, foundSolutions=24, bestBound=277
5.92/2.95	    
5.92/2.96	    num=40, depth=4..7, filters=26920, revisions=(121007,useless=95564), ccks=100080, wck=0.355, mem=97M931
5.92/2.96	    decisions=1735, wrong=405, backtracks=210, failedAssignments=283, nogoods=154, foundSolutions=24, bestBound=277
5.92/2.96	    
5.92/2.96	o 276
5.92/2.96	    num=41, depth=11..119, filters=27835, revisions=(124427,useless=98089), ccks=102330, wck=0.361, mem=97M931
5.92/2.96	    decisions=1770, wrong=411, backtracks=213, failedAssignments=286, nogoods=157, foundSolutions=25, bestBound=276
5.92/2.96	    
5.92/2.97	o 273
5.92/2.97	    num=42, depth=121..119, filters=28346, revisions=(126447,useless=99618), ccks=104041, wck=0.366, mem=97M931
5.92/2.97	    decisions=1819, wrong=411, backtracks=213, failedAssignments=286, nogoods=157, foundSolutions=26, bestBound=273
5.92/2.97	    
5.92/2.97	o 272
5.92/2.97	    num=43, depth=13..119, filters=29195, revisions=(129411,useless=101786), ccks=106277, wck=0.373, mem=97M931
5.92/2.97	    decisions=1867, wrong=422, backtracks=214, failedAssignments=296, nogoods=167, foundSolutions=27, bestBound=272
5.92/2.97	    
5.92/2.98	o 271
5.92/2.98	    num=44, depth=4..119, filters=29683, revisions=(131362,useless=103264), ccks=108019, wck=0.378, mem=97M931
5.92/2.98	    decisions=1901, wrong=423, backtracks=214, failedAssignments=297, nogoods=168, foundSolutions=28, bestBound=271
5.92/2.98	    
5.92/2.98	    num=45, depth=8..14, filters=30841, revisions=(134910,useless=105717), ccks=110052, wck=0.383, mem=97M931
5.92/2.98	    decisions=1941, wrong=439, backtracks=222, failedAssignments=308, nogoods=169, foundSolutions=28, bestBound=271
5.92/2.98	    
5.92/2.99	o 270
5.92/2.99	    num=46, depth=10..119, filters=31525, revisions=(138545,useless=108715), ccks=112362, wck=0.389, mem=97M931
5.92/2.99	    decisions=1977, wrong=447, backtracks=226, failedAssignments=313, nogoods=173, foundSolutions=29, bestBound=270
5.92/2.99	    
5.92/2.99	o 269
5.92/2.99	    num=47, depth=121..119, filters=31971, revisions=(140551,useless=110293), ccks=113843, wck=0.394, mem=97M931
5.92/2.99	    decisions=2004, wrong=447, backtracks=226, failedAssignments=313, nogoods=173, foundSolutions=30, bestBound=269
5.92/2.99	    
5.92/3.00	    num=48, depth=4..14, filters=32387, revisions=(143156,useless=112516), ccks=115124, wck=0.399, mem=97M931
5.92/3.00	    decisions=2040, wrong=460, backtracks=229, failedAssignments=324, nogoods=182, foundSolutions=30, bestBound=269
5.92/3.00	    
6.24/3.01	o 268
6.24/3.01	    num=49, depth=13..119, filters=33212, revisions=(146830,useless=115414), ccks=117723, wck=0.406, mem=97M931
6.24/3.01	    decisions=2097, wrong=475, backtracks=240, failedAssignments=334, nogoods=186, foundSolutions=31, bestBound=268
6.24/3.01	    
6.24/3.01	o 267
6.24/3.02	    num=50, depth=11..119, filters=34993, revisions=(152274,useless=119142), ccks=121089, wck=0.415, mem=97M931
6.24/3.02	    decisions=2153, wrong=490, backtracks=249, failedAssignments=344, nogoods=190, foundSolutions=32, bestBound=267
6.24/3.02	    
6.24/3.02	o 266
6.24/3.02	    num=51, depth=16..119, filters=35451, revisions=(154463,useless=120882), ccks=122608, wck=0.419, mem=97M931
6.24/3.02	    decisions=2179, wrong=492, backtracks=249, failedAssignments=346, nogoods=192, foundSolutions=33, bestBound=266
6.24/3.02	    
6.24/3.02	    num=52, depth=12..16, filters=36654, revisions=(158249,useless=123530), ccks=124383, wck=0.424, mem=97M931
6.24/3.02	    decisions=2225, wrong=508, backtracks=255, failedAssignments=357, nogoods=196, foundSolutions=33, bestBound=266
6.24/3.02	    
6.24/3.03	    num=53, depth=7..13, filters=37362, revisions=(161686,useless=126319), ccks=126038, wck=0.428, mem=97M931
6.24/3.03	    decisions=2279, wrong=531, backtracks=270, failedAssignments=368, nogoods=203, foundSolutions=33, bestBound=266
6.24/3.03	    
6.24/3.03	    num=54, depth=4..9, filters=37918, revisions=(164316,useless=128442), ccks=127391, wck=0.432, mem=97M931
6.24/3.03	    decisions=2319, wrong=547, backtracks=280, failedAssignments=380, nogoods=208, foundSolutions=33, bestBound=266
6.24/3.03	    
6.24/3.04	o 265
6.24/3.04	    num=55, depth=11..119, filters=38895, revisions=(167431,useless=130612), ccks=129715, wck=0.437, mem=97M931
6.24/3.04	    decisions=2366, wrong=559, backtracks=282, failedAssignments=390, nogoods=217, foundSolutions=34, bestBound=265
6.24/3.04	    
6.24/3.04	o 264
6.24/3.04	    num=56, depth=7..119, filters=39604, revisions=(171797,useless=134324), ccks=132384, wck=0.443, mem=97M931
6.24/3.04	    decisions=2416, wrong=572, backtracks=289, failedAssignments=401, nogoods=219, foundSolutions=35, bestBound=264
6.24/3.04	    
6.24/3.05	    num=57, depth=10..17, filters=41416, revisions=(176420,useless=137201), ccks=134849, wck=0.448, mem=97M931
6.24/3.05	    decisions=2458, wrong=588, backtracks=296, failedAssignments=412, nogoods=220, foundSolutions=35, bestBound=264
6.24/3.05	    
6.24/3.05	o 263
6.24/3.05	    num=58, depth=11..119, filters=41998, revisions=(178694,useless=138914), ccks=136633, wck=0.452, mem=100M574
6.24/3.05	    decisions=2490, wrong=592, backtracks=296, failedAssignments=416, nogoods=224, foundSolutions=36, bestBound=263
6.24/3.05	    
6.24/3.06	o 262
6.24/3.06	    num=59, depth=10..119, filters=44082, revisions=(184557,useless=142740), ccks=139779, wck=0.46, mem=100M574
6.24/3.06	    decisions=2548, wrong=609, backtracks=305, failedAssignments=427, nogoods=228, foundSolutions=37, bestBound=262
6.24/3.06	    
6.24/3.07	o 260
6.24/3.07	    num=60, depth=4..119, filters=44761, revisions=(188588,useless=146115), ccks=142216, wck=0.466, mem=100M574
6.24/3.07	    decisions=2613, wrong=622, backtracks=312, failedAssignments=436, nogoods=232, foundSolutions=38, bestBound=260
6.24/3.07	    
6.24/3.07	    num=61, depth=11..16, filters=46155, revisions=(191873,useless=148074), ccks=144275, wck=0.471, mem=100M574
6.24/3.07	    decisions=2655, wrong=637, backtracks=317, failedAssignments=447, nogoods=236, foundSolutions=38, bestBound=260
6.24/3.07	    
6.24/3.08	    num=62, depth=10..16, filters=47245, revisions=(195214,useless=150402), ccks=146376, wck=0.476, mem=100M574
6.24/3.08	    decisions=2707, wrong=658, backtracks=330, failedAssignments=458, nogoods=240, foundSolutions=38, bestBound=260
6.24/3.08	    
6.24/3.08	    num=63, depth=5..10, filters=47927, revisions=(197983,useless=152552), ccks=147998, wck=0.48, mem=100M574
6.24/3.08	    decisions=2752, wrong=678, backtracks=343, failedAssignments=470, nogoods=242, foundSolutions=38, bestBound=260
6.24/3.08	    
6.24/3.09	    num=64, depth=3..7, filters=48714, revisions=(202566,useless=156413), ccks=149829, wck=0.484, mem=100M574
6.24/3.09	    decisions=2792, wrong=696, backtracks=355, failedAssignments=483, nogoods=249, foundSolutions=38, bestBound=260
6.24/3.09	    
6.24/3.09	o 259
6.24/3.09	    num=65, depth=10..119, filters=49666, revisions=(205613,useless=158543), ccks=152163, wck=0.489, mem=100M574
6.24/3.09	    decisions=2837, wrong=709, backtracks=356, failedAssignments=495, nogoods=261, foundSolutions=39, bestBound=259
6.24/3.09	    
6.24/3.10	    num=66, depth=9..12, filters=51144, revisions=(211105,useless=162653), ccks=154510, wck=0.495, mem=100M574
6.24/3.10	    decisions=2896, wrong=734, backtracks=372, failedAssignments=511, nogoods=270, foundSolutions=39, bestBound=259
6.24/3.10	    
6.24/3.10	    num=67, depth=3..11, filters=52142, revisions=(215731,useless=166360), ccks=156720, wck=0.501, mem=100M574
6.24/3.10	    decisions=2955, wrong=761, backtracks=394, failedAssignments=522, nogoods=275, foundSolutions=39, bestBound=259
6.24/3.10	    
6.57/3.11	    num=68, depth=7..14, filters=53385, revisions=(219535,useless=169004), ccks=158910, wck=0.506, mem=100M574
6.57/3.11	    decisions=3004, wrong=782, backtracks=409, failedAssignments=534, nogoods=277, foundSolutions=39, bestBound=259
6.57/3.11	    
6.57/3.11	o 258
6.57/3.11	    num=69, depth=10..119, filters=54116, revisions=(222185,useless=170946), ccks=160877, wck=0.511, mem=100M574
6.57/3.11	    decisions=3037, wrong=788, backtracks=410, failedAssignments=539, nogoods=282, foundSolutions=40, bestBound=258
6.57/3.11	    
6.57/3.12	o 257
6.57/3.12	    num=70, depth=16..119, filters=54759, revisions=(224501,useless=172647), ccks=162820, wck=0.516, mem=100M574
6.57/3.12	    decisions=3073, wrong=791, backtracks=410, failedAssignments=542, nogoods=285, foundSolutions=41, bestBound=257
6.57/3.12	    
6.57/3.12	o 255
6.57/3.12	    num=71, depth=10..119, filters=56429, revisions=(228967,useless=175492), ccks=166215, wck=0.523, mem=100M574
6.57/3.12	    decisions=3135, wrong=805, backtracks=414, failedAssignments=552, nogoods=292, foundSolutions=42, bestBound=255
6.57/3.12	    
6.57/3.13	o 254
6.57/3.13	    num=72, depth=17..119, filters=56883, revisions=(230980,useless=177072), ccks=167999, wck=0.527, mem=100M574
6.57/3.13	    decisions=3164, wrong=806, backtracks=414, failedAssignments=553, nogoods=293, foundSolutions=43, bestBound=254
6.57/3.13	    
6.57/3.13	o 253
6.57/3.13	    num=73, depth=4..119, filters=57461, revisions=(233169,useless=178692), ccks=169439, wck=0.532, mem=100M574
6.57/3.13	    decisions=3193, wrong=807, backtracks=414, failedAssignments=554, nogoods=294, foundSolutions=44, bestBound=253
6.57/3.13	    
6.57/3.14	o 252
6.57/3.14	    num=74, depth=121..119, filters=57892, revisions=(235165,useless=180277), ccks=170706, wck=0.536, mem=100M574
6.57/3.14	    decisions=3219, wrong=807, backtracks=414, failedAssignments=554, nogoods=294, foundSolutions=45, bestBound=252
6.57/3.14	    
6.57/3.14	o 251
6.57/3.14	    num=75, depth=121..119, filters=58458, revisions=(237267,useless=181820), ccks=172055, wck=0.54, mem=103M216
6.57/3.14	    decisions=3248, wrong=807, backtracks=414, failedAssignments=554, nogoods=294, foundSolutions=46, bestBound=251
6.57/3.14	    
6.57/3.14	o 250
6.57/3.14	    num=76, depth=15..119, filters=59041, revisions=(239844,useless=183834), ccks=173600, wck=0.544, mem=103M216
6.57/3.14	    decisions=3284, wrong=810, backtracks=415, failedAssignments=556, nogoods=296, foundSolutions=47, bestBound=250
6.57/3.14	    
6.57/3.15	o 249
6.57/3.15	    num=77, depth=121..119, filters=59572, revisions=(241945,useless=185412), ccks=174960, wck=0.548, mem=103M216
6.57/3.15	    decisions=3311, wrong=810, backtracks=415, failedAssignments=556, nogoods=296, foundSolutions=48, bestBound=249
6.57/3.15	    
6.57/3.15	    num=78, depth=9..18, filters=61787, revisions=(246725,useless=188050), ccks=177823, wck=0.554, mem=103M216
6.57/3.15	    decisions=3354, wrong=827, backtracks=425, failedAssignments=567, nogoods=298, foundSolutions=48, bestBound=249
6.57/3.15	    
6.57/3.16	o 248
6.57/3.16	    num=79, depth=5..119, filters=62899, revisions=(250700,useless=190959), ccks=180673, wck=0.561, mem=103M216
6.57/3.16	    decisions=3405, wrong=840, backtracks=429, failedAssignments=576, nogoods=304, foundSolutions=49, bestBound=248
6.57/3.16	    
6.57/3.16	o 247
6.57/3.16	    num=80, depth=121..119, filters=63438, revisions=(252777,useless=192511), ccks=182242, wck=0.564, mem=103M216
6.57/3.16	    decisions=3434, wrong=840, backtracks=429, failedAssignments=576, nogoods=304, foundSolutions=50, bestBound=247
6.57/3.16	    
6.57/3.17	    num=81, depth=9..16, filters=64999, revisions=(256330,useless=194569), ccks=184480, wck=0.569, mem=103M216
6.57/3.17	    decisions=3477, wrong=857, backtracks=436, failedAssignments=587, nogoods=305, foundSolutions=50, bestBound=247
6.57/3.17	    
6.57/3.17	    num=82, depth=2..7, filters=65374, revisions=(259372,useless=197276), ccks=185950, wck=0.572, mem=103M216
6.57/3.17	    decisions=3506, wrong=870, backtracks=443, failedAssignments=598, nogoods=310, foundSolutions=50, bestBound=247
6.57/3.17	    
6.57/3.18	    num=83, depth=4..8, filters=66115, revisions=(262901,useless=200130), ccks=187664, wck=0.577, mem=103M216
6.57/3.18	    decisions=3552, wrong=890, backtracks=455, failedAssignments=610, nogoods=315, foundSolutions=50, bestBound=247
6.57/3.18	    
6.57/3.18	    num=84, depth=2..9, filters=66491, revisions=(265297,useless=202191), ccks=189045, wck=0.58, mem=103M216
6.57/3.18	    decisions=3591, wrong=907, backtracks=463, failedAssignments=623, nogoods=319, foundSolutions=50, bestBound=247
6.57/3.18	    
6.57/3.18	    num=85, depth=5..10, filters=67180, revisions=(267802,useless=204065), ccks=190695, wck=0.583, mem=103M216
6.57/3.18	    decisions=3636, wrong=927, backtracks=473, failedAssignments=637, nogoods=322, foundSolutions=50, bestBound=247
6.57/3.18	    
6.57/3.19	    num=86, depth=5..9, filters=69188, revisions=(273752,useless=208136), ccks=193989, wck=0.589, mem=103M216
6.57/3.19	    decisions=3693, wrong=953, backtracks=489, failedAssignments=653, nogoods=326, foundSolutions=50, bestBound=247
6.57/3.19	    
6.57/3.20	    num=87, depth=6..14, filters=70386, revisions=(278013,useless=211283), ccks=196006, wck=0.595, mem=103M216
6.57/3.20	    decisions=3761, wrong=983, backtracks=508, failedAssignments=670, nogoods=330, foundSolutions=50, bestBound=247
6.57/3.20	    
6.86/3.20	    num=88, depth=2..9, filters=71413, revisions=(283102,useless=215437), ccks=198737, wck=0.601, mem=103M216
6.86/3.20	    decisions=3823, wrong=1011, backtracks=521, failedAssignments=689, nogoods=334, foundSolutions=50, bestBound=247
6.86/3.20	    
6.86/3.21	o 246
6.86/3.21	    num=89, depth=5..119, filters=72210, revisions=(285935,useless=217477), ccks=200779, wck=0.606, mem=103M216
6.86/3.21	    decisions=3851, wrong=1018, backtracks=521, failedAssignments=696, nogoods=341, foundSolutions=51, bestBound=246
6.86/3.21	    
6.86/3.21	    num=90, depth=7..14, filters=74183, revisions=(292670,useless=222350), ccks=204140, wck=0.614, mem=103M216
6.86/3.21	    decisions=3923, wrong=1049, backtracks=540, failedAssignments=719, nogoods=344, foundSolutions=51, bestBound=246
6.86/3.21	    
6.86/3.22	    num=91, depth=5..10, filters=75180, revisions=(295685,useless=224428), ccks=205894, wck=0.618, mem=103M216
6.86/3.22	    decisions=3963, wrong=1066, backtracks=549, failedAssignments=730, nogoods=347, foundSolutions=51, bestBound=246
6.86/3.22	    
6.86/3.22	    num=92, depth=5..11, filters=76820, revisions=(299816,useless=226949), ccks=207922, wck=0.624, mem=103M216
6.86/3.22	    decisions=4005, wrong=1084, backtracks=560, failedAssignments=742, nogoods=349, foundSolutions=51, bestBound=246
6.86/3.22	    
6.86/3.23	    num=93, depth=4..11, filters=77600, revisions=(303783,useless=230209), ccks=209933, wck=0.629, mem=103M216
6.86/3.23	    decisions=4060, wrong=1107, backtracks=576, failedAssignments=755, nogoods=352, foundSolutions=51, bestBound=246
6.86/3.23	    
6.86/3.24	    num=94, depth=5..11, filters=79263, revisions=(308993,useless=233868), ccks=212813, wck=0.635, mem=105M859
6.86/3.24	    decisions=4121, wrong=1134, backtracks=596, failedAssignments=769, nogoods=355, foundSolutions=51, bestBound=246
6.86/3.24	    
6.86/3.24	o 245
6.86/3.24	    num=95, depth=121..119, filters=79838, revisions=(311431,useless=235718), ccks=214455, wck=0.639, mem=105M859
6.86/3.24	    decisions=4134, wrong=1134, backtracks=596, failedAssignments=769, nogoods=355, foundSolutions=52, bestBound=245
6.86/3.24	    
6.86/3.25	    num=96, depth=8..12, filters=81036, revisions=(316448,useless=239631), ccks=216740, wck=0.645, mem=105M859
6.86/3.25	    decisions=4196, wrong=1161, backtracks=615, failedAssignments=786, nogoods=359, foundSolutions=52, bestBound=245
6.86/3.25	    
6.86/3.25	    num=97, depth=4..9, filters=81589, revisions=(319245,useless=241928), ccks=218360, wck=0.648, mem=105M859
6.86/3.25	    decisions=4230, wrong=1176, backtracks=625, failedAssignments=797, nogoods=362, foundSolutions=52, bestBound=245
6.86/3.25	    
6.86/3.25	o 244
6.86/3.25	    num=98, depth=121..119, filters=82175, revisions=(321520,useless=243608), ccks=220141, wck=0.652, mem=105M859
6.86/3.25	    decisions=4246, wrong=1176, backtracks=625, failedAssignments=797, nogoods=362, foundSolutions=53, bestBound=244
6.86/3.25	    
6.86/3.26	    num=99, depth=8..14, filters=82914, revisions=(324992,useless=246399), ccks=221431, wck=0.656, mem=105M859
6.86/3.26	    decisions=4286, wrong=1192, backtracks=638, failedAssignments=810, nogoods=366, foundSolutions=53, bestBound=244
6.86/3.26	    
6.86/3.26	    num=100, depth=5..12, filters=83742, revisions=(327718,useless=248345), ccks=222743, wck=0.66, mem=105M859
6.86/3.26	    decisions=4319, wrong=1206, backtracks=650, failedAssignments=821, nogoods=369, foundSolutions=53, bestBound=244
6.86/3.26	    
6.86/3.27	    num=101, depth=5..12, filters=85851, revisions=(332641,useless=251237), ccks=225544, wck=0.666, mem=105M859
6.86/3.27	    decisions=4367, wrong=1227, backtracks=664, failedAssignments=833, nogoods=376, foundSolutions=53, bestBound=244
6.86/3.27	    
6.86/3.27	o 243
6.86/3.28	    num=102, depth=2..119, filters=87228, revisions=(337576,useless=254844), ccks=228987, wck=0.672, mem=105M859
6.86/3.28	    decisions=4422, wrong=1245, backtracks=676, failedAssignments=845, nogoods=380, foundSolutions=54, bestBound=243
6.86/3.28	    
6.86/3.28	o 242
6.86/3.28	    num=103, depth=6..119, filters=88199, revisions=(341452,useless=257786), ccks=231477, wck=0.679, mem=105M859
6.86/3.28	    decisions=4470, wrong=1256, backtracks=682, failedAssignments=851, nogoods=386, foundSolutions=55, bestBound=242
6.86/3.28	    
6.86/3.28	    num=104, depth=5..15, filters=89465, revisions=(345977,useless=261132), ccks=233460, wck=0.684, mem=105M859
6.86/3.28	    decisions=4521, wrong=1278, backtracks=700, failedAssignments=862, nogoods=389, foundSolutions=55, bestBound=242
6.86/3.28	    
6.86/3.29	    num=105, depth=10..18, filters=90303, revisions=(348273,useless=262628), ccks=234800, wck=0.688, mem=105M859
6.86/3.29	    decisions=4558, wrong=1290, backtracks=701, failedAssignments=873, nogoods=400, foundSolutions=55, bestBound=242
6.86/3.29	    
6.86/3.29	o 241
6.86/3.29	    num=106, depth=9..119, filters=91555, revisions=(352352,useless=265498), ccks=237457, wck=0.694, mem=105M859
6.86/3.29	    decisions=4599, wrong=1299, backtracks=705, failedAssignments=880, nogoods=406, foundSolutions=56, bestBound=241
6.86/3.29	    
6.86/3.30	    num=107, depth=7..11, filters=92462, revisions=(356215,useless=268521), ccks=239411, wck=0.699, mem=105M859
6.86/3.30	    decisions=4648, wrong=1320, backtracks=718, failedAssignments=893, nogoods=409, foundSolutions=56, bestBound=241
6.86/3.30	    
6.86/3.30	    num=108, depth=4..13, filters=93167, revisions=(359197,useless=270836), ccks=240853, wck=0.703, mem=105M859
6.86/3.30	    decisions=4679, wrong=1332, backtracks=722, failedAssignments=904, nogoods=419, foundSolutions=56, bestBound=241
6.86/3.30	    
7.17/3.31	    num=109, depth=5..9, filters=94204, revisions=(362019,useless=272683), ccks=242718, wck=0.706, mem=105M859
7.17/3.31	    decisions=4712, wrong=1346, backtracks=727, failedAssignments=916, nogoods=425, foundSolutions=56, bestBound=241
7.17/3.31	    
7.17/3.31	o 240
7.17/3.31	    num=110, depth=12..119, filters=95049, revisions=(364307,useless=274135), ccks=244765, wck=0.711, mem=105M859
7.17/3.31	    decisions=4743, wrong=1350, backtracks=727, failedAssignments=920, nogoods=429, foundSolutions=57, bestBound=240
7.17/3.31	    
7.17/3.32	    num=111, depth=9..13, filters=96012, revisions=(367661,useless=276597), ccks=246575, wck=0.715, mem=105M859
7.17/3.32	    decisions=4796, wrong=1372, backtracks=737, failedAssignments=934, nogoods=435, foundSolutions=57, bestBound=240
7.17/3.32	    
7.17/3.32	    num=112, depth=4..9, filters=96977, revisions=(371730,useless=279772), ccks=248679, wck=0.718, mem=105M859
7.17/3.32	    decisions=4836, wrong=1389, backtracks=746, failedAssignments=945, nogoods=439, foundSolutions=57, bestBound=240
7.17/3.32	    
7.17/3.32	o 239
7.17/3.33	    num=113, depth=11..119, filters=98390, revisions=(376260,useless=282942), ccks=251468, wck=0.725, mem=108M501
7.17/3.33	    decisions=4889, wrong=1405, backtracks=756, failedAssignments=953, nogoods=444, foundSolutions=58, bestBound=239
7.17/3.33	    
7.17/3.33	    num=114, depth=6..12, filters=99688, revisions=(380501,useless=285969), ccks=253970, wck=0.729, mem=108M501
7.17/3.33	    decisions=4936, wrong=1425, backtracks=770, failedAssignments=966, nogoods=449, foundSolutions=58, bestBound=239
7.17/3.33	    
7.17/3.33	    num=115, depth=3..13, filters=100743, revisions=(384329,useless=288821), ccks=256044, wck=0.734, mem=108M501
7.17/3.33	    decisions=4983, wrong=1444, backtracks=780, failedAssignments=977, nogoods=455, foundSolutions=58, bestBound=239
7.17/3.33	    
7.17/3.34	o 238
7.17/3.34	    num=116, depth=14..119, filters=101305, revisions=(386586,useless=290541), ccks=257864, wck=0.738, mem=108M501
7.17/3.34	    decisions=5016, wrong=1447, backtracks=782, failedAssignments=978, nogoods=456, foundSolutions=59, bestBound=238
7.17/3.34	    
7.17/3.34	    num=117, depth=8..14, filters=102578, revisions=(391047,useless=293820), ccks=259987, wck=0.743, mem=108M501
7.17/3.34	    decisions=5066, wrong=1468, backtracks=794, failedAssignments=991, nogoods=459, foundSolutions=59, bestBound=238
7.17/3.34	    
7.17/3.35	o 237
7.17/3.35	    num=118, depth=10..119, filters=103366, revisions=(394002,useless=296002), ccks=261974, wck=0.747, mem=108M501
7.17/3.35	    decisions=5102, wrong=1477, backtracks=795, failedAssignments=999, nogoods=467, foundSolutions=60, bestBound=237
7.17/3.35	    
7.17/3.35	    num=119, depth=8..12, filters=104106, revisions=(396687,useless=298001), ccks=263229, wck=0.751, mem=108M501
7.17/3.35	    decisions=5141, wrong=1492, backtracks=805, failedAssignments=1011, nogoods=473, foundSolutions=60, bestBound=237
7.17/3.35	    
7.17/3.36	    num=120, depth=7..13, filters=106146, revisions=(401574,useless=300952), ccks=266129, wck=0.757, mem=108M501
7.17/3.36	    decisions=5202, wrong=1518, backtracks=822, failedAssignments=1022, nogoods=480, foundSolutions=60, bestBound=237
7.17/3.36	    
7.17/3.36	    num=121, depth=3..11, filters=107433, revisions=(406612,useless=304789), ccks=268650, wck=0.762, mem=108M501
7.17/3.36	    decisions=5249, wrong=1538, backtracks=839, failedAssignments=1034, nogoods=484, foundSolutions=60, bestBound=237
7.17/3.36	    
7.17/3.37	o 236
7.17/3.37	    num=122, depth=8..119, filters=108997, revisions=(411350,useless=308000), ccks=271766, wck=0.768, mem=108M501
7.17/3.37	    decisions=5293, wrong=1550, backtracks=844, failedAssignments=1043, nogoods=492, foundSolutions=61, bestBound=236
7.17/3.37	    
7.17/3.37	    num=123, depth=6..9, filters=110238, revisions=(415743,useless=311229), ccks=273838, wck=0.773, mem=108M501
7.17/3.37	    decisions=5339, wrong=1570, backtracks=854, failedAssignments=1057, nogoods=497, foundSolutions=61, bestBound=236
7.17/3.37	    
7.17/3.38	    num=124, depth=8..12, filters=111776, revisions=(419848,useless=313887), ccks=275997, wck=0.778, mem=108M501
7.17/3.38	    decisions=5381, wrong=1587, backtracks=865, failedAssignments=1068, nogoods=505, foundSolutions=61, bestBound=236
7.17/3.38	    
7.17/3.38	    num=125, depth=5..13, filters=113506, revisions=(424366,useless=316759), ccks=278379, wck=0.782, mem=108M501
7.17/3.38	    decisions=5425, wrong=1605, backtracks=873, failedAssignments=1080, nogoods=515, foundSolutions=61, bestBound=236
7.17/3.38	    
7.17/3.39	    num=126, depth=7..12, filters=114788, revisions=(428695,useless=319898), ccks=280564, wck=0.787, mem=108M501
7.17/3.39	    decisions=5478, wrong=1627, backtracks=885, failedAssignments=1093, nogoods=519, foundSolutions=61, bestBound=236
7.17/3.39	    
7.17/3.39	    num=127, depth=6..13, filters=116116, revisions=(432437,useless=322384), ccks=282900, wck=0.791, mem=108M501
7.17/3.39	    decisions=5533, wrong=1651, backtracks=898, failedAssignments=1107, nogoods=523, foundSolutions=61, bestBound=236
7.17/3.39	    
7.17/3.40	o 235
7.17/3.40	    num=128, depth=7..119, filters=116595, revisions=(434897,useless=324376), ccks=284781, wck=0.795, mem=108M501
7.17/3.40	    decisions=5559, wrong=1655, backtracks=898, failedAssignments=1111, nogoods=527, foundSolutions=62, bestBound=235
7.17/3.40	    
7.34/3.40	o 234
7.34/3.40	    num=129, depth=14..119, filters=117322, revisions=(437324,useless=326103), ccks=286617, wck=0.799, mem=111M144
7.34/3.40	    decisions=5598, wrong=1659, backtracks=898, failedAssignments=1115, nogoods=531, foundSolutions=63, bestBound=234
7.34/3.40	    
7.34/3.40	    num=130, depth=8..10, filters=118367, revisions=(440151,useless=327923), ccks=288544, wck=0.803, mem=111M144
7.34/3.40	    decisions=5635, wrong=1673, backtracks=902, failedAssignments=1126, nogoods=536, foundSolutions=63, bestBound=234
7.34/3.40	    
7.34/3.41	    num=131, depth=5..14, filters=119560, revisions=(443736,useless=330397), ccks=290454, wck=0.807, mem=111M144
7.34/3.41	    decisions=5684, wrong=1695, backtracks=919, failedAssignments=1137, nogoods=538, foundSolutions=63, bestBound=234
7.34/3.41	    
7.34/3.41	o 233
7.34/3.41	    num=132, depth=8..119, filters=120398, revisions=(446585,useless=332435), ccks=292600, wck=0.812, mem=111M144
7.34/3.41	    decisions=5723, wrong=1702, backtracks=919, failedAssignments=1144, nogoods=545, foundSolutions=64, bestBound=233
7.34/3.41	    
7.34/3.42	    num=133, depth=9..14, filters=122268, revisions=(451655,useless=335726), ccks=295064, wck=0.819, mem=111M144
7.34/3.42	    decisions=5786, wrong=1729, backtracks=935, failedAssignments=1157, nogoods=553, foundSolutions=64, bestBound=233
7.34/3.42	    
7.34/3.42	o 232
7.34/3.43	    num=134, depth=2..119, filters=122878, revisions=(455128,useless=338624), ccks=297553, wck=0.824, mem=111M144
7.34/3.43	    decisions=5831, wrong=1739, backtracks=937, failedAssignments=1165, nogoods=560, foundSolutions=65, bestBound=232
7.34/3.43	    
7.34/3.43	    num=135, depth=7..10, filters=123294, revisions=(457499,useless=340619), ccks=298835, wck=0.827, mem=111M144
7.34/3.43	    decisions=5864, wrong=1752, backtracks=942, failedAssignments=1177, nogoods=567, foundSolutions=65, bestBound=232
7.34/3.43	    
7.34/3.43	    num=136, depth=6..11, filters=123965, revisions=(460312,useless=342829), ccks=300374, wck=0.83, mem=111M144
7.34/3.43	    decisions=5906, wrong=1770, backtracks=953, failedAssignments=1188, nogoods=571, foundSolutions=65, bestBound=232
7.34/3.43	    
7.34/3.43	    num=137, depth=2..11, filters=124832, revisions=(464091,useless=345812), ccks=302024, wck=0.834, mem=111M144
7.34/3.43	    decisions=5949, wrong=1789, backtracks=965, failedAssignments=1200, nogoods=578, foundSolutions=65, bestBound=232
7.34/3.43	    
7.34/3.44	o 231
7.34/3.44	    num=138, depth=8..119, filters=125999, revisions=(468752,useless=349366), ccks=305288, wck=0.838, mem=111M144
7.34/3.44	    decisions=5991, wrong=1803, backtracks=970, failedAssignments=1211, nogoods=587, foundSolutions=66, bestBound=231
7.34/3.44	    
7.34/3.44	o 230
7.34/3.44	    num=139, depth=8..119, filters=126619, revisions=(471239,useless=351259), ccks=307188, wck=0.843, mem=111M144
7.34/3.44	    decisions=6024, wrong=1806, backtracks=970, failedAssignments=1214, nogoods=590, foundSolutions=67, bestBound=230
7.34/3.44	    
7.34/3.45	o 229
7.34/3.45	    num=140, depth=121..119, filters=127228, revisions=(473546,useless=352951), ccks=308821, wck=0.846, mem=111M144
7.34/3.45	    decisions=6043, wrong=1806, backtracks=970, failedAssignments=1214, nogoods=590, foundSolutions=68, bestBound=229
7.34/3.45	    
7.34/3.45	    num=141, depth=7..14, filters=129005, revisions=(478083,useless=355786), ccks=311058, wck=0.852, mem=111M144
7.34/3.45	    decisions=6088, wrong=1825, backtracks=983, failedAssignments=1225, nogoods=591, foundSolutions=68, bestBound=229
7.34/3.45	    
7.34/3.46	    num=142, depth=3..8, filters=129666, revisions=(480783,useless=357870), ccks=312417, wck=0.855, mem=111M144
7.34/3.46	    decisions=6120, wrong=1839, backtracks=992, failedAssignments=1236, nogoods=594, foundSolutions=68, bestBound=229
7.34/3.46	    
7.34/3.46	    num=143, depth=5..11, filters=130522, revisions=(483367,useless=359655), ccks=313957, wck=0.858, mem=111M144
7.34/3.46	    decisions=6156, wrong=1854, backtracks=996, failedAssignments=1248, nogoods=604, foundSolutions=68, bestBound=229
7.34/3.46	    
7.34/3.46	    num=144, depth=8..14, filters=131702, revisions=(486945,useless=362127), ccks=316166, wck=0.863, mem=111M144
7.34/3.46	    decisions=6199, wrong=1870, backtracks=1001, failedAssignments=1261, nogoods=609, foundSolutions=68, bestBound=229
7.34/3.46	    
7.34/3.47	    num=145, depth=3..13, filters=133781, revisions=(493065,useless=366293), ccks=319776, wck=0.869, mem=111M144
7.34/3.47	    decisions=6264, wrong=1899, backtracks=1019, failedAssignments=1275, nogoods=615, foundSolutions=68, bestBound=229
7.34/3.47	    
7.34/3.47	o 228
7.34/3.47	    num=146, depth=14..119, filters=134386, revisions=(495582,useless=368237), ccks=321689, wck=0.873, mem=111M144
7.34/3.47	    decisions=6297, wrong=1903, backtracks=1020, failedAssignments=1278, nogoods=618, foundSolutions=69, bestBound=228
7.34/3.47	    
7.34/3.48	    num=147, depth=5..11, filters=136957, revisions=(501395,useless=371604), ccks=325325, wck=0.88, mem=113M786
7.34/3.48	    decisions=6356, wrong=1929, backtracks=1035, failedAssignments=1295, nogoods=625, foundSolutions=69, bestBound=228
7.34/3.48	    
7.34/3.48	o 227
7.34/3.48	    num=148, depth=121..119, filters=137665, revisions=(503349,useless=372875), ccks=327075, wck=0.884, mem=113M786
7.34/3.48	    decisions=6392, wrong=1929, backtracks=1035, failedAssignments=1295, nogoods=625, foundSolutions=70, bestBound=227
7.34/3.48	    
7.34/3.49	    num=149, depth=6..13, filters=138996, revisions=(506478,useless=374736), ccks=328905, wck=0.888, mem=113M786
7.34/3.49	    decisions=6432, wrong=1945, backtracks=1044, failedAssignments=1307, nogoods=631, foundSolutions=70, bestBound=227
7.34/3.49	    
7.34/3.49	o 226
7.34/3.49	    num=150, depth=3..119, filters=139780, revisions=(509141,useless=376633), ccks=330914, wck=0.892, mem=113M786
7.34/3.49	    decisions=6470, wrong=1952, backtracks=1047, failedAssignments=1312, nogoods=636, foundSolutions=71, bestBound=226
7.34/3.49	    
7.55/3.50	    num=151, depth=5..15, filters=140873, revisions=(512334,useless=378781), ccks=332604, wck=0.897, mem=113M786
7.55/3.50	    decisions=6519, wrong=1973, backtracks=1061, failedAssignments=1324, nogoods=641, foundSolutions=71, bestBound=226
7.55/3.50	    
7.55/3.50	    num=152, depth=9..16, filters=141739, revisions=(515166,useless=380822), ccks=334351, wck=0.901, mem=113M786
7.55/3.50	    decisions=6568, wrong=1993, backtracks=1071, failedAssignments=1335, nogoods=644, foundSolutions=71, bestBound=226
7.55/3.50	    
7.55/3.50	    num=153, depth=3..11, filters=142061, revisions=(516806,useless=382168), ccks=335282, wck=0.903, mem=113M786
7.55/3.50	    decisions=6597, wrong=2005, backtracks=1072, failedAssignments=1347, nogoods=655, foundSolutions=71, bestBound=226
7.55/3.50	    
7.55/3.51	    num=154, depth=8..16, filters=143084, revisions=(520724,useless=385131), ccks=337268, wck=0.907, mem=113M786
7.55/3.51	    decisions=6645, wrong=2023, backtracks=1082, failedAssignments=1360, nogoods=661, foundSolutions=71, bestBound=226
7.55/3.51	    
7.55/3.51	    num=155, depth=3..12, filters=145359, revisions=(525330,useless=387566), ccks=340628, wck=0.912, mem=113M786
7.55/3.51	    decisions=6692, wrong=2043, backtracks=1093, failedAssignments=1374, nogoods=664, foundSolutions=71, bestBound=226
7.55/3.51	    
7.55/3.52	    num=156, depth=5..14, filters=147230, revisions=(530510,useless=390984), ccks=343561, wck=0.918, mem=113M786
7.55/3.52	    decisions=6762, wrong=2075, backtracks=1114, failedAssignments=1390, nogoods=669, foundSolutions=71, bestBound=226
7.55/3.52	    
7.55/3.52	    num=157, depth=3..10, filters=149208, revisions=(536298,useless=394901), ccks=346616, wck=0.924, mem=113M786
7.55/3.52	    decisions=6818, wrong=2101, backtracks=1132, failedAssignments=1407, nogoods=672, foundSolutions=71, bestBound=226
7.55/3.52	    
7.55/3.53	o 225
7.55/3.53	    num=158, depth=2..119, filters=150177, revisions=(540818,useless=398511), ccks=349893, wck=0.929, mem=113M786
7.55/3.53	    decisions=6862, wrong=2114, backtracks=1142, failedAssignments=1414, nogoods=675, foundSolutions=72, bestBound=225
7.55/3.53	    
7.55/3.53	o 224
7.55/3.53	    num=159, depth=5..119, filters=151601, revisions=(545585,useless=401911), ccks=352787, wck=0.934, mem=113M786
7.55/3.53	    decisions=6910, wrong=2127, backtracks=1150, failedAssignments=1422, nogoods=680, foundSolutions=73, bestBound=224
7.55/3.53	    
7.55/3.54	    num=160, depth=6..12, filters=154374, revisions=(550952,useless=404603), ccks=356531, wck=0.94, mem=113M786
7.55/3.54	    decisions=6956, wrong=2146, backtracks=1162, failedAssignments=1433, nogoods=682, foundSolutions=73, bestBound=224
7.55/3.54	    
7.55/3.54	    num=161, depth=2..10, filters=155010, revisions=(553888,useless=406969), ccks=358123, wck=0.943, mem=113M786
7.55/3.54	    decisions=6999, wrong=2165, backtracks=1174, failedAssignments=1444, nogoods=685, foundSolutions=73, bestBound=224
7.55/3.54	    
7.55/3.55	    num=162, depth=5..12, filters=156056, revisions=(557046,useless=409160), ccks=360086, wck=0.947, mem=113M786
7.55/3.55	    decisions=7044, wrong=2185, backtracks=1185, failedAssignments=1456, nogoods=689, foundSolutions=73, bestBound=224
7.55/3.55	    
7.55/3.55	o 223
7.55/3.55	    num=163, depth=11..119, filters=156878, revisions=(560395,useless=411706), ccks=362453, wck=0.952, mem=116M429
7.55/3.55	    decisions=7079, wrong=2192, backtracks=1190, failedAssignments=1460, nogoods=691, foundSolutions=74, bestBound=223
7.55/3.55	    
7.55/3.56	    num=164, depth=4..10, filters=158383, revisions=(565084,useless=414995), ccks=364904, wck=0.957, mem=116M429
7.55/3.56	    decisions=7129, wrong=2215, backtracks=1205, failedAssignments=1474, nogoods=696, foundSolutions=74, bestBound=223
7.55/3.56	    
7.55/3.56	o 222
7.55/3.56	    num=165, depth=6..119, filters=159262, revisions=(568141,useless=417214), ccks=367103, wck=0.962, mem=116M429
7.55/3.56	    decisions=7166, wrong=2222, backtracks=1206, failedAssignments=1480, nogoods=702, foundSolutions=75, bestBound=222
7.55/3.56	    
7.55/3.57	    num=166, depth=6..12, filters=159855, revisions=(570943,useless=419482), ccks=368709, wck=0.965, mem=116M429
7.55/3.57	    decisions=7204, wrong=2238, backtracks=1217, failedAssignments=1492, nogoods=704, foundSolutions=75, bestBound=222
7.55/3.57	    
7.55/3.57	    num=167, depth=3..10, filters=160582, revisions=(573367,useless=421228), ccks=370152, wck=0.968, mem=116M429
7.55/3.57	    decisions=7235, wrong=2252, backtracks=1224, failedAssignments=1503, nogoods=709, foundSolutions=75, bestBound=222
7.55/3.57	    
7.55/3.57	o 221
7.55/3.57	    num=168, depth=12..119, filters=161648, revisions=(576444,useless=423277), ccks=372685, wck=0.972, mem=116M429
7.55/3.57	    decisions=7274, wrong=2260, backtracks=1225, failedAssignments=1510, nogoods=716, foundSolutions=76, bestBound=221
7.55/3.57	    
7.55/3.58	    num=169, depth=6..14, filters=162602, revisions=(579710,useless=425664), ccks=374501, wck=0.976, mem=116M429
7.55/3.58	    decisions=7320, wrong=2280, backtracks=1239, failedAssignments=1523, nogoods=718, foundSolutions=76, bestBound=221
7.55/3.58	    
7.55/3.58	    num=170, depth=4..9, filters=166117, revisions=(586861,useless=429434), ccks=379182, wck=0.983, mem=116M429
7.55/3.58	    decisions=7375, wrong=2304, backtracks=1257, failedAssignments=1534, nogoods=724, foundSolutions=76, bestBound=221
7.55/3.58	    
7.55/3.59	    num=171, depth=3..12, filters=167437, revisions=(589927,useless=431217), ccks=381217, wck=0.987, mem=116M429
7.55/3.59	    decisions=7408, wrong=2317, backtracks=1260, failedAssignments=1546, nogoods=734, foundSolutions=76, bestBound=221
7.55/3.59	    
7.55/3.59	o 220
7.55/3.59	    num=172, depth=12..119, filters=167935, revisions=(592103,useless=432903), ccks=383038, wck=0.99, mem=116M429
7.55/3.59	    decisions=7431, wrong=2318, backtracks=1260, failedAssignments=1547, nogoods=735, foundSolutions=77, bestBound=220
7.55/3.59	    
7.55/3.60	    num=173, depth=3..9, filters=169024, revisions=(596850,useless=436652), ccks=385369, wck=0.995, mem=116M429
7.55/3.60	    decisions=7476, wrong=2338, backtracks=1275, failedAssignments=1561, nogoods=738, foundSolutions=77, bestBound=220
7.55/3.60	    
7.68/3.60	    num=174, depth=3..11, filters=170225, revisions=(601336,useless=440020), ccks=387953, wck=1.0, mem=116M429
7.68/3.60	    decisions=7523, wrong=2359, backtracks=1290, failedAssignments=1572, nogoods=744, foundSolutions=77, bestBound=220
7.68/3.60	    
7.68/3.60	o 219
7.68/3.61	    num=175, depth=5..119, filters=171498, revisions=(605881,useless=443335), ccks=390648, wck=1.005, mem=116M429
7.68/3.61	    decisions=7564, wrong=2371, backtracks=1293, failedAssignments=1582, nogoods=754, foundSolutions=78, bestBound=219
7.68/3.61	    
7.68/3.61	    num=176, depth=6..12, filters=173287, revisions=(609993,useless=445736), ccks=393405, wck=1.01, mem=116M429
7.68/3.61	    decisions=7609, wrong=2390, backtracks=1302, failedAssignments=1595, nogoods=760, foundSolutions=78, bestBound=219
7.68/3.61	    
7.68/3.61	o 218
7.68/3.61	    num=177, depth=121..119, filters=173760, revisions=(612175,useless=447460), ccks=395153, wck=1.012, mem=116M429
7.68/3.61	    decisions=7627, wrong=2390, backtracks=1302, failedAssignments=1595, nogoods=760, foundSolutions=79, bestBound=218
7.68/3.61	    
7.68/3.62	    num=178, depth=5..11, filters=175374, revisions=(617151,useless=450914), ccks=398149, wck=1.017, mem=116M429
7.68/3.62	    decisions=7674, wrong=2410, backtracks=1313, failedAssignments=1607, nogoods=763, foundSolutions=79, bestBound=218
7.68/3.62	    
7.68/3.62	o 217
7.68/3.62	    num=179, depth=4..119, filters=176414, revisions=(620704,useless=453457), ccks=400499, wck=1.022, mem=119M71
7.68/3.62	    decisions=7711, wrong=2420, backtracks=1316, failedAssignments=1616, nogoods=772, foundSolutions=80, bestBound=217
7.68/3.62	    
7.68/3.63	    num=180, depth=6..13, filters=177429, revisions=(623990,useless=455797), ccks=402575, wck=1.026, mem=119M71
7.68/3.63	    decisions=7752, wrong=2437, backtracks=1326, failedAssignments=1628, nogoods=775, foundSolutions=80, bestBound=217
7.68/3.63	    
7.68/3.63	o 216
7.68/3.63	    num=181, depth=6..119, filters=178580, revisions=(627714,useless=458417), ccks=405274, wck=1.031, mem=119M71
7.68/3.63	    decisions=7808, wrong=2451, backtracks=1333, failedAssignments=1637, nogoods=783, foundSolutions=81, bestBound=216
7.68/3.63	    
7.68/3.64	    num=182, depth=6..14, filters=179951, revisions=(631081,useless=460473), ccks=407261, wck=1.035, mem=119M71
7.68/3.64	    decisions=7848, wrong=2467, backtracks=1338, failedAssignments=1649, nogoods=793, foundSolutions=81, bestBound=216
7.68/3.64	    
7.68/3.64	    num=183, depth=8..11, filters=181125, revisions=(634320,useless=462611), ccks=409305, wck=1.039, mem=119M71
7.68/3.64	    decisions=7890, wrong=2484, backtracks=1347, failedAssignments=1660, nogoods=798, foundSolutions=81, bestBound=216
7.68/3.64	    
7.68/3.64	o 215
7.68/3.65	    num=184, depth=4..119, filters=182661, revisions=(639159,useless=465964), ccks=412295, wck=1.045, mem=119M71
7.68/3.65	    decisions=7943, wrong=2500, backtracks=1358, failedAssignments=1669, nogoods=803, foundSolutions=82, bestBound=215
7.68/3.65	    
7.68/3.65	    num=185, depth=5..11, filters=184394, revisions=(643315,useless=468477), ccks=414726, wck=1.05, mem=119M71
7.68/3.65	    decisions=7994, wrong=2522, backtracks=1373, failedAssignments=1682, nogoods=806, foundSolutions=82, bestBound=215
7.68/3.65	    
7.68/3.65	    num=186, depth=9..14, filters=185849, revisions=(647521,useless=471317), ccks=417205, wck=1.054, mem=119M71
7.68/3.65	    decisions=8043, wrong=2542, backtracks=1385, failedAssignments=1693, nogoods=808, foundSolutions=82, bestBound=215
7.68/3.65	    
7.68/3.66	    num=187, depth=3..11, filters=187471, revisions=(651361,useless=473598), ccks=419560, wck=1.058, mem=119M71
7.68/3.66	    decisions=8084, wrong=2559, backtracks=1392, failedAssignments=1705, nogoods=816, foundSolutions=82, bestBound=215
7.68/3.66	    
7.68/3.66	    num=188, depth=9..14, filters=189004, revisions=(655878,useless=476680), ccks=422233, wck=1.064, mem=119M71
7.68/3.66	    decisions=8140, wrong=2582, backtracks=1408, failedAssignments=1718, nogoods=821, foundSolutions=82, bestBound=215
7.68/3.66	    
7.68/3.67	    num=189, depth=3..13, filters=190419, revisions=(659796,useless=479251), ccks=424505, wck=1.069, mem=119M71
7.68/3.67	    decisions=8189, wrong=2604, backtracks=1421, failedAssignments=1732, nogoods=827, foundSolutions=82, bestBound=215
7.68/3.67	    
7.68/3.67	    num=190, depth=7..12, filters=191886, revisions=(664558,useless=482667), ccks=427270, wck=1.074, mem=119M71
7.68/3.67	    decisions=8251, wrong=2631, backtracks=1437, failedAssignments=1748, nogoods=830, foundSolutions=82, bestBound=215
7.68/3.67	    
7.68/3.68	    num=191, depth=2..8, filters=193975, revisions=(669980,useless=486100), ccks=430784, wck=1.079, mem=119M71
7.68/3.68	    decisions=8308, wrong=2657, backtracks=1455, failedAssignments=1765, nogoods=836, foundSolutions=82, bestBound=215
7.68/3.68	    
7.68/3.68	    num=192, depth=3..9, filters=195343, revisions=(674586,useless=489452), ccks=433852, wck=1.085, mem=119M71
7.68/3.68	    decisions=8372, wrong=2686, backtracks=1469, failedAssignments=1784, nogoods=842, foundSolutions=82, bestBound=215
7.68/3.68	    
7.68/3.69	    num=193, depth=5..9, filters=197410, revisions=(680742,useless=493652), ccks=437091, wck=1.091, mem=121M714
7.68/3.69	    decisions=8440, wrong=2717, backtracks=1490, failedAssignments=1805, nogoods=850, foundSolutions=82, bestBound=215
7.68/3.69	    
7.81/3.70	    num=194, depth=4..15, filters=200343, revisions=(689755,useless=499867), ccks=442007, wck=1.101, mem=121M714
7.81/3.70	    decisions=8535, wrong=2762, backtracks=1523, failedAssignments=1828, nogoods=854, foundSolutions=82, bestBound=215
7.81/3.70	    
7.81/3.71	    num=195, depth=4..12, filters=202438, revisions=(696030,useless=504186), ccks=446386, wck=1.108, mem=121M714
7.81/3.71	    decisions=8615, wrong=2800, backtracks=1547, failedAssignments=1853, nogoods=857, foundSolutions=82, bestBound=215
7.81/3.71	    
7.81/3.71	o 214
7.81/3.71	    num=196, depth=8..119, filters=203148, revisions=(699329,useless=506808), ccks=448646, wck=1.111, mem=121M714
7.81/3.71	    decisions=8640, wrong=2805, backtracks=1550, failedAssignments=1856, nogoods=858, foundSolutions=83, bestBound=214
7.81/3.71	    
7.81/3.72	    num=197, depth=4..13, filters=206111, revisions=(708114,useless=512820), ccks=453953, wck=1.121, mem=121M714
7.81/3.72	    decisions=8742, wrong=2853, backtracks=1582, failedAssignments=1887, nogoods=865, foundSolutions=83, bestBound=214
7.81/3.72	    
7.81/3.72	    num=198, depth=4..10, filters=207096, revisions=(710820,useless=514606), ccks=455764, wck=1.124, mem=121M714
7.81/3.72	    decisions=8782, wrong=2871, backtracks=1591, failedAssignments=1898, nogoods=872, foundSolutions=83, bestBound=214
7.81/3.72	    
7.81/3.73	o 213
7.81/3.73	    num=199, depth=9..119, filters=208381, revisions=(714276,useless=516797), ccks=458323, wck=1.129, mem=121M714
7.81/3.73	    decisions=8826, wrong=2879, backtracks=1598, failedAssignments=1900, nogoods=873, foundSolutions=84, bestBound=213
7.81/3.73	    
7.81/3.73	    num=200, depth=6..9, filters=209288, revisions=(717834,useless=519520), ccks=460173, wck=1.133, mem=121M714
7.81/3.73	    decisions=8871, wrong=2898, backtracks=1604, failedAssignments=1913, nogoods=881, foundSolutions=84, bestBound=213
7.81/3.73	    
7.81/3.74	    num=201, depth=3..6, filters=210609, revisions=(722257,useless=522697), ccks=462659, wck=1.137, mem=121M714
7.81/3.74	    decisions=8914, wrong=2917, backtracks=1613, failedAssignments=1924, nogoods=887, foundSolutions=84, bestBound=213
7.81/3.74	    
7.81/3.74	    num=202, depth=3..14, filters=211776, revisions=(726344,useless=525706), ccks=464915, wck=1.142, mem=121M714
7.81/3.74	    decisions=8974, wrong=2945, backtracks=1634, failedAssignments=1936, nogoods=890, foundSolutions=84, bestBound=213
7.81/3.74	    
7.81/3.75	o 212
7.81/3.75	    num=203, depth=9..119, filters=212418, revisions=(728847,useless=527566), ccks=466699, wck=1.145, mem=121M714
7.81/3.75	    decisions=8993, wrong=2946, backtracks=1634, failedAssignments=1937, nogoods=891, foundSolutions=85, bestBound=212
7.81/3.75	    
7.81/3.75	    num=204, depth=5..10, filters=213765, revisions=(732671,useless=530128), ccks=468876, wck=1.15, mem=121M714
7.81/3.75	    decisions=9041, wrong=2967, backtracks=1648, failedAssignments=1951, nogoods=894, foundSolutions=85, bestBound=212
7.81/3.75	    
7.81/3.75	    num=205, depth=5..12, filters=214975, revisions=(735866,useless=532142), ccks=470371, wck=1.154, mem=121M714
7.81/3.75	    decisions=9072, wrong=2979, backtracks=1651, failedAssignments=1962, nogoods=903, foundSolutions=85, bestBound=212
7.81/3.75	    
7.81/3.76	    num=206, depth=5..14, filters=216135, revisions=(739400,useless=534593), ccks=472320, wck=1.158, mem=121M714
7.81/3.76	    decisions=9126, wrong=3002, backtracks=1665, failedAssignments=1974, nogoods=907, foundSolutions=85, bestBound=212
7.81/3.76	    
7.81/3.77	    num=207, depth=4..11, filters=218408, revisions=(745357,useless=538340), ccks=475374, wck=1.165, mem=124M356
7.81/3.77	    decisions=9173, wrong=3022, backtracks=1680, failedAssignments=1987, nogoods=911, foundSolutions=85, bestBound=212
7.81/3.77	    
7.81/3.77	    num=208, depth=6..13, filters=219904, revisions=(749368,useless=540960), ccks=477944, wck=1.17, mem=124M356
7.81/3.77	    decisions=9228, wrong=3046, backtracks=1692, failedAssignments=2001, nogoods=913, foundSolutions=85, bestBound=212
7.81/3.77	    
7.81/3.77	o 211
7.81/3.77	    num=209, depth=6..119, filters=220773, revisions=(752041,useless=542760), ccks=479970, wck=1.173, mem=124M356
7.81/3.77	    decisions=9252, wrong=3049, backtracks=1692, failedAssignments=2004, nogoods=916, foundSolutions=86, bestBound=211
7.81/3.77	    
7.81/3.78	    num=210, depth=4..11, filters=223654, revisions=(759444,useless=547433), ccks=484403, wck=1.181, mem=124M356
7.81/3.78	    decisions=9323, wrong=3081, backtracks=1717, failedAssignments=2021, nogoods=918, foundSolutions=86, bestBound=211
7.81/3.78	    
7.81/3.79	    num=211, depth=3..13, filters=224616, revisions=(762527,useless=549617), ccks=486154, wck=1.185, mem=124M356
7.81/3.79	    decisions=9369, wrong=3102, backtracks=1729, failedAssignments=2032, nogoods=922, foundSolutions=86, bestBound=211
7.81/3.79	    
7.81/3.79	o 210
7.81/3.79	    num=212, depth=4..119, filters=226008, revisions=(766798,useless=552546), ccks=489038, wck=1.19, mem=124M356
7.81/3.79	    decisions=9409, wrong=3112, backtracks=1733, failedAssignments=2040, nogoods=928, foundSolutions=87, bestBound=210
7.81/3.79	    
7.81/3.80	    num=213, depth=6..12, filters=227876, revisions=(771396,useless=555364), ccks=491856, wck=1.195, mem=124M356
7.81/3.80	    decisions=9457, wrong=3132, backtracks=1743, failedAssignments=2053, nogoods=935, foundSolutions=87, bestBound=210
7.81/3.80	    
7.92/3.80	    num=214, depth=5..10, filters=230285, revisions=(776053,useless=557684), ccks=495043, wck=1.2, mem=124M356
7.92/3.80	    decisions=9500, wrong=3151, backtracks=1755, failedAssignments=2064, nogoods=938, foundSolutions=87, bestBound=210
7.92/3.80	    
7.92/3.81	    num=215, depth=3..14, filters=231792, revisions=(780891,useless=561125), ccks=497599, wck=1.206, mem=124M356
7.92/3.81	    decisions=9563, wrong=3181, backtracks=1779, failedAssignments=2076, nogoods=939, foundSolutions=87, bestBound=210
7.92/3.81	    
7.92/3.81	o 209
7.92/3.81	    num=216, depth=4..119, filters=232477, revisions=(783267,useless=562810), ccks=499362, wck=1.209, mem=124M356
7.92/3.81	    decisions=9584, wrong=3182, backtracks=1779, failedAssignments=2077, nogoods=940, foundSolutions=88, bestBound=209
7.92/3.81	    
7.92/3.82	o 208
7.92/3.82	    num=217, depth=6..119, filters=234128, revisions=(788424,useless=566381), ccks=502345, wck=1.216, mem=124M356
7.92/3.82	    decisions=9640, wrong=3198, backtracks=1786, failedAssignments=2086, nogoods=945, foundSolutions=89, bestBound=208
7.92/3.82	    
7.92/3.82	    num=218, depth=7..14, filters=236138, revisions=(792717,useless=568709), ccks=505025, wck=1.222, mem=124M356
7.92/3.82	    decisions=9683, wrong=3214, backtracks=1791, failedAssignments=2097, nogoods=953, foundSolutions=89, bestBound=208
7.92/3.82	    
7.92/3.83	    num=219, depth=3..8, filters=237057, revisions=(796097,useless=571241), ccks=507077, wck=1.225, mem=124M356
7.92/3.83	    decisions=9728, wrong=3233, backtracks=1802, failedAssignments=2108, nogoods=957, foundSolutions=89, bestBound=208
7.92/3.83	    
7.92/3.83	    num=220, depth=3..9, filters=237899, revisions=(799089,useless=573462), ccks=509036, wck=1.229, mem=124M356
7.92/3.83	    decisions=9769, wrong=3251, backtracks=1811, failedAssignments=2120, nogoods=962, foundSolutions=89, bestBound=208
7.92/3.83	    
7.92/3.83	    num=221, depth=3..8, filters=239008, revisions=(802874,useless=576220), ccks=511196, wck=1.233, mem=126M998
7.92/3.83	    decisions=9818, wrong=3273, backtracks=1827, failedAssignments=2133, nogoods=967, foundSolutions=89, bestBound=208
7.92/3.83	    
7.92/3.84	    num=222, depth=5..9, filters=239871, revisions=(805849,useless=578394), ccks=513026, wck=1.237, mem=126M998
7.92/3.84	    decisions=9860, wrong=3291, backtracks=1838, failedAssignments=2147, nogoods=970, foundSolutions=89, bestBound=208
7.92/3.84	    
7.92/3.84	o 207
7.92/3.84	    num=223, depth=7..119, filters=241704, revisions=(811504,useless=582303), ccks=516937, wck=1.243, mem=126M998
7.92/3.84	    decisions=9924, wrong=3311, backtracks=1850, failedAssignments=2158, nogoods=974, foundSolutions=90, bestBound=207
7.92/3.84	    
7.92/3.85	    num=224, depth=5..11, filters=243953, revisions=(817245,useless=585902), ccks=520320, wck=1.251, mem=126M998
7.92/3.85	    decisions=9993, wrong=3342, backtracks=1872, failedAssignments=2175, nogoods=977, foundSolutions=90, bestBound=207
7.92/3.85	    
7.92/3.85	o 206
7.92/3.85	    num=225, depth=12..119, filters=244746, revisions=(819789,useless=587659), ccks=522383, wck=1.254, mem=126M998
7.92/3.85	    decisions=10018, wrong=3343, backtracks=1872, failedAssignments=2176, nogoods=978, foundSolutions=91, bestBound=206
7.92/3.85	    
7.92/3.86	    num=226, depth=6..13, filters=246094, revisions=(823329,useless=589920), ccks=524563, wck=1.259, mem=126M998
7.92/3.86	    decisions=10063, wrong=3361, backtracks=1883, failedAssignments=2188, nogoods=983, foundSolutions=91, bestBound=206
7.92/3.86	    
7.92/3.86	    num=227, depth=3..7, filters=248190, revisions=(829005,useless=593587), ccks=527488, wck=1.264, mem=126M998
7.92/3.86	    decisions=10111, wrong=3383, backtracks=1899, failedAssignments=2199, nogoods=989, foundSolutions=91, bestBound=206
7.92/3.86	    
7.92/3.87	o 205
7.92/3.87	    num=228, depth=9..119, filters=248926, revisions=(831538,useless=595388), ccks=529526, wck=1.267, mem=126M998
7.92/3.87	    decisions=10137, wrong=3386, backtracks=1899, failedAssignments=2202, nogoods=992, foundSolutions=92, bestBound=205
7.92/3.87	    
7.92/3.87	o 204
7.92/3.87	    num=229, depth=6..119, filters=249603, revisions=(834023,useless=597209), ccks=531176, wck=1.271, mem=126M998
7.92/3.87	    decisions=10167, wrong=3389, backtracks=1900, failedAssignments=2204, nogoods=994, foundSolutions=93, bestBound=204
7.92/3.87	    
7.92/3.88	    num=230, depth=6..12, filters=251912, revisions=(838857,useless=599796), ccks=534036, wck=1.276, mem=126M998
7.92/3.88	    decisions=10205, wrong=3405, backtracks=1913, failedAssignments=2215, nogoods=998, foundSolutions=93, bestBound=204
7.92/3.88	    
7.92/3.88	    num=231, depth=3..8, filters=252622, revisions=(841925,useless=602213), ccks=535826, wck=1.28, mem=126M998
7.92/3.88	    decisions=10240, wrong=3421, backtracks=1923, failedAssignments=2226, nogoods=1000, foundSolutions=93, bestBound=204
7.92/3.88	    
7.92/3.88	    num=232, depth=2..9, filters=254246, revisions=(845751,useless=604499), ccks=538352, wck=1.284, mem=126M998
7.92/3.88	    decisions=10287, wrong=3442, backtracks=1937, failedAssignments=2238, nogoods=1002, foundSolutions=93, bestBound=204
7.92/3.88	    
7.92/3.89	    num=233, depth=7..14, filters=255410, revisions=(849318,useless=606984), ccks=540547, wck=1.288, mem=126M998
7.92/3.89	    decisions=10335, wrong=3462, backtracks=1949, failedAssignments=2251, nogoods=1004, foundSolutions=93, bestBound=204
7.92/3.89	    
7.92/3.89	    num=234, depth=4..12, filters=257074, revisions=(853741,useless=609781), ccks=542817, wck=1.293, mem=126M998
7.92/3.89	    decisions=10382, wrong=3483, backtracks=1961, failedAssignments=2265, nogoods=1011, foundSolutions=93, bestBound=204
7.92/3.89	    
8.03/3.90	o 203
8.03/3.90	    num=235, depth=6..119, filters=259161, revisions=(859720,useless=613736), ccks=546407, wck=1.301, mem=126M998
8.03/3.90	    decisions=10447, wrong=3504, backtracks=1973, failedAssignments=2275, nogoods=1016, foundSolutions=94, bestBound=203
8.03/3.90	    
8.03/3.91	    num=236, depth=6..11, filters=261185, revisions=(864674,useless=616763), ccks=549471, wck=1.307, mem=129M641
8.03/3.91	    decisions=10504, wrong=3529, backtracks=1988, failedAssignments=2292, nogoods=1025, foundSolutions=94, bestBound=203
8.03/3.91	    
8.03/3.91	o 202
8.03/3.91	    num=237, depth=4..119, filters=262090, revisions=(867180,useless=618389), ccks=551500, wck=1.31, mem=129M641
8.03/3.91	    decisions=10533, wrong=3534, backtracks=1988, failedAssignments=2297, nogoods=1030, foundSolutions=95, bestBound=202
8.03/3.91	    
8.03/3.92	    num=238, depth=5..14, filters=263867, revisions=(872914,useless=622436), ccks=554093, wck=1.317, mem=129M641
8.03/3.92	    decisions=10586, wrong=3557, backtracks=2004, failedAssignments=2309, nogoods=1036, foundSolutions=95, bestBound=202
8.03/3.92	    
8.03/3.92	    num=239, depth=5..14, filters=264446, revisions=(875042,useless=624034), ccks=555330, wck=1.32, mem=129M641
8.03/3.92	    decisions=10629, wrong=3574, backtracks=2011, failedAssignments=2320, nogoods=1042, foundSolutions=95, bestBound=202
8.03/3.92	    
8.03/3.93	    num=240, depth=3..14, filters=266438, revisions=(880464,useless=627552), ccks=558202, wck=1.326, mem=129M641
8.03/3.93	    decisions=10681, wrong=3598, backtracks=2027, failedAssignments=2332, nogoods=1048, foundSolutions=95, bestBound=202
8.03/3.93	    
8.03/3.93	    num=241, depth=6..11, filters=267427, revisions=(883740,useless=629906), ccks=560069, wck=1.33, mem=129M641
8.03/3.93	    decisions=10727, wrong=3618, backtracks=2040, failedAssignments=2345, nogoods=1051, foundSolutions=95, bestBound=202
8.03/3.93	    
8.03/3.94	    num=242, depth=3..11, filters=268700, revisions=(888450,useless=633446), ccks=562530, wck=1.335, mem=129M641
8.03/3.94	    decisions=10786, wrong=3645, backtracks=2057, failedAssignments=2359, nogoods=1053, foundSolutions=95, bestBound=202
8.03/3.94	    
8.03/3.94	    num=243, depth=8..14, filters=270298, revisions=(893111,useless=636628), ccks=565178, wck=1.341, mem=129M641
8.03/3.94	    decisions=10848, wrong=3672, backtracks=2073, failedAssignments=2375, nogoods=1056, foundSolutions=95, bestBound=202
8.03/3.94	    
8.03/3.95	    num=244, depth=4..10, filters=271618, revisions=(897624,useless=639904), ccks=567657, wck=1.346, mem=129M641
8.03/3.95	    decisions=10901, wrong=3695, backtracks=2086, failedAssignments=2392, nogoods=1067, foundSolutions=95, bestBound=202
8.03/3.95	    
8.03/3.95	    num=245, depth=4..13, filters=272980, revisions=(902271,useless=643295), ccks=570333, wck=1.351, mem=129M641
8.03/3.95	    decisions=10963, wrong=3724, backtracks=2107, failedAssignments=2411, nogoods=1068, foundSolutions=95, bestBound=202
8.03/3.95	    
8.03/3.96	    num=246, depth=5..11, filters=275386, revisions=(909722,useless=648498), ccks=574310, wck=1.358, mem=129M641
8.03/3.96	    decisions=11045, wrong=3762, backtracks=2133, failedAssignments=2432, nogoods=1073, foundSolutions=95, bestBound=202
8.03/3.96	    
8.03/3.97	    num=247, depth=2..11, filters=277520, revisions=(915624,useless=652411), ccks=578007, wck=1.365, mem=129M641
8.03/3.97	    decisions=11122, wrong=3799, backtracks=2151, failedAssignments=2455, nogoods=1079, foundSolutions=95, bestBound=202
8.03/3.97	    
8.03/3.97	    num=248, depth=3..10, filters=280579, revisions=(924107,useless=658004), ccks=582439, wck=1.374, mem=129M641
8.03/3.97	    decisions=11221, wrong=3846, backtracks=2183, failedAssignments=2480, nogoods=1083, foundSolutions=95, bestBound=202
8.03/3.97	    
8.03/3.98	    num=249, depth=4..14, filters=283311, revisions=(932754,useless=664120), ccks=587399, wck=1.384, mem=132M283
8.03/3.98	    decisions=11334, wrong=3900, backtracks=2220, failedAssignments=2508, nogoods=1088, foundSolutions=95, bestBound=202
8.03/3.98	    
8.03/4.00	    num=250, depth=6..13, filters=286718, revisions=(942017,useless=670197), ccks=592847, wck=1.396, mem=132M283
8.03/4.00	    decisions=11457, wrong=3958, backtracks=2254, failedAssignments=2539, nogoods=1093, foundSolutions=95, bestBound=202
8.03/4.00	    
8.15/4.01	o 201
8.15/4.01	    num=251, depth=2..119, filters=291165, revisions=(954657,useless=678534), ccks=599961, wck=1.409, mem=132M283
8.15/4.01	    decisions=11561, wrong=4002, backtracks=2281, failedAssignments=2562, nogoods=1099, foundSolutions=96, bestBound=201
8.15/4.01	    
8.15/4.02	    num=252, depth=5..12, filters=294946, revisions=(964868,useless=685124), ccks=605665, wck=1.42, mem=132M283
8.15/4.02	    decisions=11686, wrong=4061, backtracks=2316, failedAssignments=2599, nogoods=1105, foundSolutions=96, bestBound=201
8.15/4.02	    
8.15/4.03	    num=253, depth=7..13, filters=296367, revisions=(968713,useless=687637), ccks=608156, wck=1.425, mem=132M283
8.15/4.03	    decisions=11737, wrong=4082, backtracks=2332, failedAssignments=2610, nogoods=1110, foundSolutions=96, bestBound=201
8.15/4.03	    
8.15/4.03	    num=254, depth=5..13, filters=297713, revisions=(972027,useless=689669), ccks=610115, wck=1.429, mem=132M283
8.15/4.03	    decisions=11782, wrong=4100, backtracks=2344, failedAssignments=2622, nogoods=1113, foundSolutions=96, bestBound=201
8.15/4.03	    
8.15/4.04	    num=255, depth=6..15, filters=299600, revisions=(977405,useless=693282), ccks=612569, wck=1.435, mem=132M283
8.15/4.04	    decisions=11844, wrong=4128, backtracks=2363, failedAssignments=2635, nogoods=1118, foundSolutions=96, bestBound=201
8.15/4.04	    
8.15/4.04	    num=256, depth=6..11, filters=300345, revisions=(980052,useless=695248), ccks=614375, wck=1.438, mem=132M283
8.15/4.04	    decisions=11890, wrong=4148, backtracks=2373, failedAssignments=2649, nogoods=1119, foundSolutions=96, bestBound=201
8.15/4.04	    
8.15/4.04	o 200
8.15/4.05	    num=257, depth=6..119, filters=302500, revisions=(984564,useless=697608), ccks=617591, wck=1.445, mem=132M283
8.15/4.05	    decisions=11941, wrong=4161, backtracks=2378, failedAssignments=2660, nogoods=1127, foundSolutions=97, bestBound=200
8.15/4.05	    
8.15/4.05	    num=258, depth=4..10, filters=303631, revisions=(988581,useless=700568), ccks=619897, wck=1.449, mem=134M926
8.15/4.05	    decisions=11988, wrong=4182, backtracks=2390, failedAssignments=2677, nogoods=1131, foundSolutions=97, bestBound=200
8.15/4.05	    
8.15/4.05	    num=259, depth=4..9, filters=305482, revisions=(992413,useless=702625), ccks=622282, wck=1.454, mem=134M926
8.15/4.05	    decisions=12029, wrong=4200, backtracks=2401, failedAssignments=2688, nogoods=1136, foundSolutions=97, bestBound=200
8.15/4.05	    
8.15/4.06	    num=260, depth=4..13, filters=307776, revisions=(997970,useless=705934), ccks=625006, wck=1.46, mem=134M926
8.15/4.06	    decisions=12077, wrong=4221, backtracks=2412, failedAssignments=2700, nogoods=1143, foundSolutions=97, bestBound=200
8.15/4.06	    
8.15/4.07	    num=261, depth=4..14, filters=309584, revisions=(1003207,useless=709500), ccks=627934, wck=1.466, mem=134M926
8.15/4.07	    decisions=12144, wrong=4252, backtracks=2436, failedAssignments=2713, nogoods=1148, foundSolutions=97, bestBound=200
8.15/4.07	    
8.15/4.07	    num=262, depth=5..13, filters=310596, revisions=(1006761,useless=712124), ccks=629895, wck=1.471, mem=134M926
8.15/4.07	    decisions=12191, wrong=4273, backtracks=2447, failedAssignments=2727, nogoods=1154, foundSolutions=97, bestBound=200
8.15/4.07	    
8.15/4.08	    num=263, depth=4..9, filters=312587, revisions=(1012522,useless=716010), ccks=633014, wck=1.476, mem=134M926
8.15/4.08	    decisions=12246, wrong=4298, backtracks=2462, failedAssignments=2743, nogoods=1161, foundSolutions=97, bestBound=200
8.15/4.08	    
8.15/4.08	    num=264, depth=11..18, filters=314887, revisions=(1019260,useless=720592), ccks=636657, wck=1.484, mem=134M926
8.15/4.08	    decisions=12321, wrong=4330, backtracks=2482, failedAssignments=2760, nogoods=1166, foundSolutions=97, bestBound=200
8.15/4.08	    
8.15/4.09	    num=265, depth=3..15, filters=316569, revisions=(1023928,useless=723651), ccks=638876, wck=1.489, mem=134M926
8.15/4.09	    decisions=12383, wrong=4358, backtracks=2497, failedAssignments=2779, nogoods=1171, foundSolutions=97, bestBound=200
8.15/4.09	    
8.15/4.10	    num=266, depth=1..12, filters=318764, revisions=(1030507,useless=728185), ccks=642904, wck=1.496, mem=134M926
8.15/4.10	    decisions=12470, wrong=4399, backtracks=2520, failedAssignments=2800, nogoods=1178, foundSolutions=97, bestBound=200
8.15/4.10	    
8.15/4.10	o 199
8.15/4.10	    num=267, depth=6..119, filters=319503, revisions=(1032826,useless=729789), ccks=644853, wck=1.5, mem=134M926
8.15/4.10	    decisions=12501, wrong=4403, backtracks=2520, failedAssignments=2804, nogoods=1182, foundSolutions=98, bestBound=199
8.15/4.10	    
8.15/4.10	o 198
8.15/4.10	    num=268, depth=9..119, filters=320673, revisions=(1036359,useless=732166), ccks=647295, wck=1.504, mem=134M926
8.15/4.10	    decisions=12535, wrong=4410, backtracks=2521, failedAssignments=2810, nogoods=1188, foundSolutions=99, bestBound=198
8.15/4.10	    
8.26/4.11	    num=269, depth=6..16, filters=321681, revisions=(1038998,useless=733800), ccks=648570, wck=1.509, mem=134M926
8.26/4.11	    decisions=12567, wrong=4422, backtracks=2522, failedAssignments=2821, nogoods=1199, foundSolutions=99, bestBound=198
8.26/4.11	    
8.26/4.11	    num=270, depth=9..15, filters=323145, revisions=(1043311,useless=736740), ccks=650885, wck=1.514, mem=134M926
8.26/4.11	    decisions=12620, wrong=4444, backtracks=2538, failedAssignments=2832, nogoods=1203, foundSolutions=99, bestBound=198
8.26/4.11	    
8.26/4.12	    num=271, depth=4..10, filters=323944, revisions=(1046468,useless=739148), ccks=652212, wck=1.517, mem=134M926
8.26/4.12	    decisions=12661, wrong=4461, backtracks=2545, failedAssignments=2844, nogoods=1211, foundSolutions=99, bestBound=198
8.26/4.12	    
8.26/4.12	o 197
8.26/4.12	    num=272, depth=12..119, filters=325417, revisions=(1050612,useless=741868), ccks=655151, wck=1.522, mem=134M926
8.26/4.12	    decisions=12706, wrong=4472, backtracks=2553, failedAssignments=2852, nogoods=1215, foundSolutions=100, bestBound=197
8.26/4.12	    
8.26/4.13	o 196
8.26/4.13	    num=273, depth=9..119, filters=326118, revisions=(1053117,useless=743674), ccks=656928, wck=1.526, mem=137M568
8.26/4.13	    decisions=12726, wrong=4473, backtracks=2553, failedAssignments=2853, nogoods=1216, foundSolutions=101, bestBound=196
8.26/4.13	    
8.26/4.13	    num=274, depth=7..14, filters=326815, revisions=(1054877,useless=744766), ccks=657800, wck=1.529, mem=137M568
8.26/4.13	    decisions=12756, wrong=4484, backtracks=2553, failedAssignments=2864, nogoods=1227, foundSolutions=101, bestBound=196
8.26/4.13	    
8.26/4.13	    num=275, depth=4..12, filters=327776, revisions=(1057919,useless=746920), ccks=659583, wck=1.532, mem=137M568
8.26/4.13	    decisions=12800, wrong=4504, backtracks=2564, failedAssignments=2875, nogoods=1230, foundSolutions=101, bestBound=196
8.26/4.13	    
8.26/4.14	    num=276, depth=3..10, filters=329274, revisions=(1062837,useless=750426), ccks=662308, wck=1.537, mem=137M568
8.26/4.14	    decisions=12845, wrong=4524, backtracks=2576, failedAssignments=2887, nogoods=1232, foundSolutions=101, bestBound=196
8.26/4.14	    
8.26/4.14	    num=277, depth=2..9, filters=330943, revisions=(1068022,useless=754041), ccks=665313, wck=1.543, mem=137M568
8.26/4.14	    decisions=12908, wrong=4552, backtracks=2593, failedAssignments=2900, nogoods=1235, foundSolutions=101, bestBound=196
8.26/4.14	    
8.26/4.15	o 195
8.26/4.15	    num=278, depth=10..119, filters=331655, revisions=(1070502,useless=755812), ccks=667200, wck=1.546, mem=137M568
8.26/4.15	    decisions=12929, wrong=4553, backtracks=2593, failedAssignments=2901, nogoods=1236, foundSolutions=102, bestBound=195
8.26/4.15	    
8.26/4.15	o 194
8.26/4.15	    num=279, depth=121..119, filters=332311, revisions=(1072847,useless=757500), ccks=668825, wck=1.549, mem=137M568
8.26/4.15	    decisions=12947, wrong=4553, backtracks=2593, failedAssignments=2901, nogoods=1236, foundSolutions=103, bestBound=194
8.26/4.15	    
8.26/4.15	o 193
8.26/4.15	    num=280, depth=121..119, filters=333071, revisions=(1075142,useless=759048), ccks=670853, wck=1.552, mem=137M568
8.26/4.15	    decisions=12967, wrong=4553, backtracks=2593, failedAssignments=2901, nogoods=1236, foundSolutions=104, bestBound=193
8.26/4.15	    
8.26/4.16	o 192
8.26/4.16	    num=281, depth=121..119, filters=333692, revisions=(1077476,useless=760761), ccks=672553, wck=1.555, mem=137M568
8.26/4.16	    decisions=12984, wrong=4553, backtracks=2593, failedAssignments=2901, nogoods=1236, foundSolutions=105, bestBound=192
8.26/4.16	    
8.26/4.16	o 191
8.26/4.16	    num=282, depth=121..119, filters=334462, revisions=(1079762,useless=762286), ccks=674379, wck=1.558, mem=137M568
8.26/4.16	    decisions=13005, wrong=4553, backtracks=2593, failedAssignments=2901, nogoods=1236, foundSolutions=106, bestBound=191
8.26/4.16	    
8.26/4.16	o 190
8.26/4.16	    num=283, depth=8..119, filters=336159, revisions=(1084736,useless=765606), ccks=677450, wck=1.564, mem=137M568
8.26/4.16	    decisions=13055, wrong=4566, backtracks=2600, failedAssignments=2910, nogoods=1241, foundSolutions=107, bestBound=190
8.26/4.16	    
8.26/4.17	o 189
8.26/4.17	    num=284, depth=121..119, filters=336935, revisions=(1087033,useless=767134), ccks=679244, wck=1.567, mem=137M568
8.26/4.17	    decisions=13076, wrong=4566, backtracks=2600, failedAssignments=2910, nogoods=1241, foundSolutions=108, bestBound=189
8.26/4.17	    
8.26/4.17	o 188
8.26/4.17	    num=285, depth=11..119, filters=337766, revisions=(1089689,useless=768973), ccks=681188, wck=1.571, mem=137M568
8.26/4.17	    decisions=13109, wrong=4569, backtracks=2601, failedAssignments=2912, nogoods=1243, foundSolutions=109, bestBound=188
8.26/4.17	    
8.26/4.17	o 187
8.26/4.17	    num=286, depth=6..119, filters=338569, revisions=(1092077,useless=770568), ccks=682951, wck=1.574, mem=137M568
8.26/4.17	    decisions=13134, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=110, bestBound=187
8.26/4.17	    
8.26/4.18	o 186
8.26/4.18	    num=287, depth=121..119, filters=339270, revisions=(1094330,useless=772132), ccks=684488, wck=1.578, mem=137M568
8.26/4.18	    decisions=13159, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=111, bestBound=186
8.26/4.18	    
8.26/4.18	o 185
8.26/4.18	    num=288, depth=121..119, filters=340045, revisions=(1096738,useless=773767), ccks=686165, wck=1.58, mem=137M568
8.26/4.18	    decisions=13177, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=112, bestBound=185
8.26/4.18	    
8.26/4.18	o 184
8.26/4.18	    num=289, depth=121..119, filters=340747, revisions=(1098943,useless=775284), ccks=687706, wck=1.584, mem=137M568
8.26/4.18	    decisions=13206, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=113, bestBound=184
8.26/4.18	    
8.26/4.19	o 183
8.26/4.19	    num=290, depth=121..119, filters=341535, revisions=(1101401,useless=776949), ccks=689360, wck=1.587, mem=137M568
8.26/4.19	    decisions=13223, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=114, bestBound=183
8.26/4.19	    
8.26/4.19	o 182
8.26/4.19	    num=291, depth=121..119, filters=342208, revisions=(1103630,useless=778520), ccks=690898, wck=1.59, mem=137M568
8.26/4.19	    decisions=13248, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=115, bestBound=182
8.26/4.19	    
8.26/4.19	o 181
8.26/4.19	    num=292, depth=121..119, filters=342981, revisions=(1106036,useless=780143), ccks=692578, wck=1.593, mem=137M568
8.26/4.19	    decisions=13268, wrong=4571, backtracks=2601, failedAssignments=2914, nogoods=1245, foundSolutions=116, bestBound=181
8.26/4.19	    
8.37/4.20	o 180
8.37/4.20	    num=293, depth=10..119, filters=343959, revisions=(1109543,useless=782692), ccks=694638, wck=1.598, mem=140M211
8.37/4.20	    decisions=13301, wrong=4577, backtracks=2605, failedAssignments=2916, nogoods=1246, foundSolutions=117, bestBound=180
8.37/4.20	    
8.37/4.20	o 179
8.37/4.20	    num=294, depth=7..119, filters=344736, revisions=(1112089,useless=784450), ccks=696453, wck=1.601, mem=140M211
8.37/4.20	    decisions=13320, wrong=4578, backtracks=2605, failedAssignments=2917, nogoods=1247, foundSolutions=118, bestBound=179
8.37/4.20	    
8.37/4.21	o 178
8.37/4.21	    num=295, depth=11..119, filters=345825, revisions=(1115555,useless=786849), ccks=698782, wck=1.605, mem=140M211
8.37/4.21	    decisions=13350, wrong=4584, backtracks=2608, failedAssignments=2921, nogoods=1250, foundSolutions=119, bestBound=178
8.37/4.21	    
8.37/4.21	o 177
8.37/4.21	    num=296, depth=121..119, filters=346558, revisions=(1118095,useless=788643), ccks=700593, wck=1.608, mem=140M211
8.37/4.21	    decisions=13364, wrong=4584, backtracks=2608, failedAssignments=2921, nogoods=1250, foundSolutions=120, bestBound=177
8.37/4.21	    
8.37/4.21	    num=297, depth=7..13, filters=347857, revisions=(1121545,useless=790853), ccks=702352, wck=1.612, mem=140M211
8.37/4.21	    decisions=13404, wrong=4600, backtracks=2616, failedAssignments=2932, nogoods=1253, foundSolutions=120, bestBound=177
8.37/4.21	    
8.37/4.22	    num=298, depth=3..6, filters=348919, revisions=(1124422,useless=792731), ccks=704146, wck=1.615, mem=140M211
8.37/4.22	    decisions=13442, wrong=4617, backtracks=2624, failedAssignments=2943, nogoods=1259, foundSolutions=120, bestBound=177
8.37/4.22	    
8.37/4.22	    num=299, depth=4..10, filters=351940, revisions=(1130509,useless=795866), ccks=708022, wck=1.622, mem=140M211
8.37/4.22	    decisions=13493, wrong=4640, backtracks=2640, failedAssignments=2955, nogoods=1264, foundSolutions=120, bestBound=177
8.37/4.22	    
8.37/4.23	    num=300, depth=2..10, filters=353091, revisions=(1133950,useless=798216), ccks=709978, wck=1.627, mem=140M211
8.37/4.23	    decisions=13539, wrong=4659, backtracks=2650, failedAssignments=2968, nogoods=1270, foundSolutions=120, bestBound=177
8.37/4.23	    
8.37/4.23	    num=301, depth=3..10, filters=354557, revisions=(1137621,useless=800511), ccks=712296, wck=1.631, mem=140M211
8.37/4.23	    decisions=13592, wrong=4684, backtracks=2665, failedAssignments=2982, nogoods=1275, foundSolutions=120, bestBound=177
8.37/4.23	    
8.37/4.24	    num=302, depth=4..11, filters=356629, revisions=(1143206,useless=804172), ccks=715755, wck=1.637, mem=140M211
8.37/4.24	    decisions=13662, wrong=4717, backtracks=2687, failedAssignments=2998, nogoods=1280, foundSolutions=120, bestBound=177
8.37/4.24	    
8.37/4.25	    num=303, depth=3..12, filters=359641, revisions=(1150313,useless=808359), ccks=719766, wck=1.645, mem=140M211
8.37/4.25	    decisions=13717, wrong=4743, backtracks=2705, failedAssignments=3015, nogoods=1284, foundSolutions=120, bestBound=177
8.37/4.25	    
8.37/4.25	    num=304, depth=3..10, filters=361850, revisions=(1156136,useless=812114), ccks=723424, wck=1.651, mem=140M211
8.37/4.25	    decisions=13786, wrong=4776, backtracks=2728, failedAssignments=3034, nogoods=1287, foundSolutions=120, bestBound=177
8.37/4.25	    
8.37/4.26	    num=305, depth=3..8, filters=366044, revisions=(1164757,useless=816722), ccks=729271, wck=1.66, mem=140M211
8.37/4.26	    decisions=13870, wrong=4816, backtracks=2754, failedAssignments=3055, nogoods=1293, foundSolutions=120, bestBound=177
8.37/4.26	    
8.37/4.27	    num=306, depth=4..14, filters=369402, revisions=(1173304,useless=822067), ccks=733926, wck=1.67, mem=142M778
8.37/4.27	    decisions=13958, wrong=4857, backtracks=2778, failedAssignments=3078, nogoods=1297, foundSolutions=120, bestBound=177
8.37/4.27	    
8.37/4.28	    num=307, depth=3..12, filters=372776, revisions=(1181948,useless=827545), ccks=738862, wck=1.68, mem=142M778
8.37/4.28	    decisions=14047, wrong=4899, backtracks=2806, failedAssignments=3103, nogoods=1304, foundSolutions=120, bestBound=177
8.37/4.28	    
8.37/4.29	    num=308, depth=2..9, filters=375361, revisions=(1189571,useless=832738), ccks=743222, wck=1.687, mem=142M778
8.37/4.29	    decisions=14134, wrong=4941, backtracks=2834, failedAssignments=3131, nogoods=1310, foundSolutions=120, bestBound=177
8.37/4.29	    
8.48/4.30	    num=309, depth=2..16, filters=378926, revisions=(1200044,useless=839815), ccks=748338, wck=1.699, mem=142M778
8.48/4.30	    decisions=14239, wrong=4988, backtracks=2862, failedAssignments=3162, nogoods=1323, foundSolutions=120, bestBound=177
8.48/4.30	    
8.48/4.31	    num=310, depth=1..7, filters=381084, revisions=(1208425,useless=846226), ccks=752891, wck=1.708, mem=142M778
8.48/4.31	    decisions=14354, wrong=5044, backtracks=2893, failedAssignments=3196, nogoods=1329, foundSolutions=120, bestBound=177
8.48/4.31	    
8.48/4.31	o 176
8.48/4.31	    num=311, depth=4..119, filters=382226, revisions=(1212245,useless=848925), ccks=755466, wck=1.713, mem=142M778
8.48/4.31	    decisions=14396, wrong=5058, backtracks=2894, failedAssignments=3209, nogoods=1342, foundSolutions=121, bestBound=176
8.48/4.31	    
8.48/4.32	    num=312, depth=3..11, filters=385839, revisions=(1222297,useless=855581), ccks=761237, wck=1.724, mem=142M778
8.48/4.32	    decisions=14514, wrong=5114, backtracks=2927, failedAssignments=3250, nogoods=1348, foundSolutions=121, bestBound=176
8.48/4.32	    
8.48/4.33	    num=313, depth=2..6, filters=386754, revisions=(1225089,useless=857515), ccks=762923, wck=1.727, mem=142M778
8.48/4.33	    decisions=14550, wrong=5131, backtracks=2935, failedAssignments=3261, nogoods=1353, foundSolutions=121, bestBound=176
8.48/4.33	    
8.48/4.33	o 175
8.48/4.33	    num=314, depth=5..119, filters=388416, revisions=(1229130,useless=859923), ccks=765774, wck=1.732, mem=142M778
8.48/4.33	    decisions=14587, wrong=5140, backtracks=2938, failedAssignments=3268, nogoods=1359, foundSolutions=122, bestBound=175
8.48/4.33	    
8.48/4.35	    num=315, depth=3..8, filters=390056, revisions=(1233590,useless=862844), ccks=768401, wck=1.753, mem=24M729
8.48/4.35	    decisions=14636, wrong=5162, backtracks=2952, failedAssignments=3281, nogoods=1364, foundSolutions=122, bestBound=175
8.48/4.35	    
8.48/4.36	    num=316, depth=2..6, filters=391455, revisions=(1236996,useless=864900), ccks=770356, wck=1.756, mem=24M729
8.48/4.36	    decisions=14670, wrong=5177, backtracks=2958, failedAssignments=3292, nogoods=1369, foundSolutions=122, bestBound=175
8.48/4.36	    
8.48/4.36	    num=317, depth=1..8, filters=392636, revisions=(1240601,useless=867377), ccks=772268, wck=1.76, mem=24M729
8.48/4.36	    decisions=14709, wrong=5194, backtracks=2967, failedAssignments=3304, nogoods=1378, foundSolutions=122, bestBound=175
8.48/4.36	    
8.48/4.36	    num=318, depth=1..5, filters=393415, revisions=(1243346,useless=869400), ccks=773774, wck=1.763, mem=24M729
8.48/4.36	    decisions=14745, wrong=5211, backtracks=2977, failedAssignments=3317, nogoods=1385, foundSolutions=122, bestBound=175
8.48/4.36	    
8.48/4.37	    num=319, depth=2..6, filters=394747, revisions=(1247528,useless=872337), ccks=775964, wck=1.767, mem=24M729
8.48/4.37	    decisions=14792, wrong=5232, backtracks=2988, failedAssignments=3331, nogoods=1387, foundSolutions=122, bestBound=175
8.48/4.37	    
8.48/4.37	    num=320, depth=3..10, filters=396867, revisions=(1253924,useless=876657), ccks=778595, wck=1.773, mem=24M729
8.48/4.37	    decisions=14846, wrong=5257, backtracks=3004, failedAssignments=3347, nogoods=1394, foundSolutions=122, bestBound=175
8.48/4.37	    
8.48/4.38	    num=321, depth=1..10, filters=399066, revisions=(1260211,useless=880875), ccks=782173, wck=1.779, mem=24M729
8.48/4.38	    decisions=14915, wrong=5288, backtracks=3026, failedAssignments=3364, nogoods=1400, foundSolutions=122, bestBound=175
8.48/4.38	    
8.48/4.39	o 174
8.48/4.39	    num=322, depth=2..119, filters=402340, revisions=(1269664,useless=887136), ccks=787533, wck=1.789, mem=24M729
8.48/4.39	    decisions=14986, wrong=5317, backtracks=3043, failedAssignments=3382, nogoods=1413, foundSolutions=123, bestBound=174
8.48/4.39	    
8.64/4.40	    num=323, depth=6..14, filters=404966, revisions=(1276921,useless=891905), ccks=791416, wck=1.796, mem=24M729
8.64/4.40	    decisions=15066, wrong=5354, backtracks=3064, failedAssignments=3403, nogoods=1415, foundSolutions=123, bestBound=174
8.64/4.40	    
8.64/4.40	    num=324, depth=3..14, filters=406299, revisions=(1279781,useless=893488), ccks=792974, wck=1.8, mem=24M729
8.64/4.40	    decisions=15103, wrong=5368, backtracks=3068, failedAssignments=3414, nogoods=1426, foundSolutions=123, bestBound=174
8.64/4.40	    
8.64/4.40	    num=325, depth=5..11, filters=407145, revisions=(1282239,useless=895168), ccks=794665, wck=1.803, mem=24M729
8.64/4.40	    decisions=15142, wrong=5385, backtracks=3076, failedAssignments=3426, nogoods=1430, foundSolutions=123, bestBound=174
8.64/4.40	    
8.64/4.41	    num=326, depth=3..13, filters=407717, revisions=(1284132,useless=896521), ccks=795562, wck=1.806, mem=24M729
8.64/4.41	    decisions=15175, wrong=5399, backtracks=3077, failedAssignments=3439, nogoods=1443, foundSolutions=123, bestBound=174
8.64/4.41	    
8.64/4.41	    num=327, depth=2..14, filters=410020, revisions=(1289676,useless=899879), ccks=798664, wck=1.812, mem=24M729
8.64/4.41	    decisions=15235, wrong=5428, backtracks=3098, failedAssignments=3453, nogoods=1444, foundSolutions=123, bestBound=174
8.64/4.41	    
8.64/4.42	    num=328, depth=3..19, filters=412653, revisions=(1295367,useless=902986), ccks=801430, wck=1.819, mem=24M729
8.64/4.42	    decisions=15295, wrong=5451, backtracks=3110, failedAssignments=3469, nogoods=1454, foundSolutions=123, bestBound=174
8.64/4.42	    
8.64/4.42	    num=329, depth=3..8, filters=414732, revisions=(1299692,useless=905348), ccks=804385, wck=1.824, mem=27M318
8.64/4.42	    decisions=15353, wrong=5477, backtracks=3122, failedAssignments=3486, nogoods=1462, foundSolutions=123, bestBound=174
8.64/4.42	    
8.64/4.43	    num=330, depth=1..13, filters=415920, revisions=(1303739,useless=908290), ccks=806754, wck=1.829, mem=27M318
8.64/4.43	    decisions=15407, wrong=5500, backtracks=3132, failedAssignments=3505, nogoods=1471, foundSolutions=123, bestBound=174
8.64/4.43	    
8.64/4.44	    num=331, depth=4..12, filters=419064, revisions=(1311519,useless=913118), ccks=811296, wck=1.836, mem=27M318
8.64/4.44	    decisions=15488, wrong=5538, backtracks=3154, failedAssignments=3526, nogoods=1476, foundSolutions=123, bestBound=174
8.64/4.44	    
8.64/4.44	o 173
8.64/4.44	    num=332, depth=2..119, filters=421340, revisions=(1316728,useless=916095), ccks=814635, wck=1.842, mem=27M318
8.64/4.44	    decisions=15524, wrong=5547, backtracks=3160, failedAssignments=3531, nogoods=1478, foundSolutions=124, bestBound=173
8.64/4.44	    
8.64/4.45	    num=333, depth=2..9, filters=424348, revisions=(1324257,useless=920779), ccks=819547, wck=1.85, mem=27M318
8.64/4.45	    decisions=15604, wrong=5585, backtracks=3181, failedAssignments=3556, nogoods=1486, foundSolutions=124, bestBound=173
8.64/4.45	    
8.64/4.45	    num=334, depth=4..11, filters=424998, revisions=(1326554,useless=922460), ccks=820621, wck=1.853, mem=27M318
8.64/4.45	    decisions=15633, wrong=5597, backtracks=3183, failedAssignments=3567, nogoods=1497, foundSolutions=124, bestBound=173
8.64/4.45	    
8.64/4.46	    num=335, depth=5..11, filters=427510, revisions=(1331632,useless=925151), ccks=823711, wck=1.858, mem=27M318
8.64/4.46	    decisions=15685, wrong=5620, backtracks=3196, failedAssignments=3579, nogoods=1501, foundSolutions=124, bestBound=173
8.64/4.46	    
8.64/4.46	    num=336, depth=2..10, filters=429656, revisions=(1336063,useless=927454), ccks=825968, wck=1.863, mem=27M318
8.64/4.46	    decisions=15729, wrong=5641, backtracks=3212, failedAssignments=3592, nogoods=1502, foundSolutions=124, bestBound=173
8.64/4.46	    
8.64/4.47	    num=337, depth=4..11, filters=430705, revisions=(1339055,useless=929454), ccks=827592, wck=1.867, mem=27M318
8.64/4.47	    decisions=15769, wrong=5659, backtracks=3223, failedAssignments=3606, nogoods=1504, foundSolutions=124, bestBound=173
8.64/4.47	    
8.64/4.47	o 172
8.64/4.47	    num=338, depth=5..119, filters=431608, revisions=(1341777,useless=931289), ccks=829373, wck=1.871, mem=27M318
8.64/4.47	    decisions=15801, wrong=5668, backtracks=3223, failedAssignments=3615, nogoods=1513, foundSolutions=125, bestBound=172
8.64/4.47	    
8.64/4.48	    num=339, depth=4..12, filters=432873, revisions=(1345473,useless=933798), ccks=831642, wck=1.875, mem=27M318
8.64/4.48	    decisions=15848, wrong=5689, backtracks=3234, failedAssignments=3632, nogoods=1517, foundSolutions=125, bestBound=172
8.64/4.48	    
8.64/4.48	    num=340, depth=8..13, filters=434594, revisions=(1350175,useless=936867), ccks=834015, wck=1.88, mem=27M318
8.64/4.48	    decisions=15904, wrong=5711, backtracks=3248, failedAssignments=3643, nogoods=1523, foundSolutions=125, bestBound=172
8.64/4.48	    
8.64/4.48	o 171
8.64/4.48	    num=341, depth=8..119, filters=435515, revisions=(1352913,useless=938692), ccks=835870, wck=1.884, mem=27M318
8.64/4.48	    decisions=15923, wrong=5712, backtracks=3248, failedAssignments=3644, nogoods=1524, foundSolutions=126, bestBound=171
8.64/4.48	    
8.64/4.49	    num=342, depth=3..9, filters=436825, revisions=(1356729,useless=941267), ccks=838359, wck=1.888, mem=29M908
8.64/4.49	    decisions=15969, wrong=5733, backtracks=3261, failedAssignments=3657, nogoods=1526, foundSolutions=126, bestBound=171
8.64/4.49	    
8.64/4.49	    num=343, depth=4..11, filters=438496, revisions=(1361008,useless=943970), ccks=840833, wck=1.893, mem=29M908
8.64/4.49	    decisions=16018, wrong=5755, backtracks=3275, failedAssignments=3668, nogoods=1529, foundSolutions=126, bestBound=171
8.64/4.49	    
8.76/4.50	o 170
8.76/4.50	    num=344, depth=2..119, filters=441325, revisions=(1366674,useless=946854), ccks=844761, wck=1.899, mem=29M908
8.76/4.50	    decisions=16055, wrong=5766, backtracks=3283, failedAssignments=3675, nogoods=1530, foundSolutions=127, bestBound=170
8.76/4.50	    
8.76/4.50	    num=345, depth=3..9, filters=442331, revisions=(1369577,useless=948817), ccks=846575, wck=1.902, mem=29M908
8.76/4.50	    decisions=16092, wrong=5783, backtracks=3289, failedAssignments=3688, nogoods=1533, foundSolutions=127, bestBound=170
8.76/4.50	    
8.76/4.51	    num=346, depth=2..8, filters=443942, revisions=(1374197,useless=951930), ccks=849095, wck=1.907, mem=29M908
8.76/4.51	    decisions=16144, wrong=5807, backtracks=3308, failedAssignments=3699, nogoods=1541, foundSolutions=127, bestBound=170
8.76/4.51	    
8.76/4.51	o 169
8.76/4.51	    num=347, depth=6..119, filters=444918, revisions=(1376765,useless=953547), ccks=851167, wck=1.911, mem=29M908
8.76/4.51	    decisions=16173, wrong=5813, backtracks=3308, failedAssignments=3705, nogoods=1547, foundSolutions=128, bestBound=169
8.76/4.51	    
8.76/4.52	    num=348, depth=2..8, filters=446074, revisions=(1380173,useless=955871), ccks=853036, wck=1.915, mem=29M908
8.76/4.52	    decisions=16212, wrong=5830, backtracks=3316, failedAssignments=3718, nogoods=1554, foundSolutions=128, bestBound=169
8.76/4.52	    
8.76/4.52	    num=349, depth=2..6, filters=447527, revisions=(1383446,useless=957760), ccks=855015, wck=1.918, mem=29M908
8.76/4.52	    decisions=16248, wrong=5847, backtracks=3328, failedAssignments=3729, nogoods=1559, foundSolutions=128, bestBound=169
8.76/4.52	    
8.76/4.52	    num=350, depth=3..10, filters=450740, revisions=(1389285,useless=960443), ccks=858617, wck=1.924, mem=29M908
8.76/4.52	    decisions=16288, wrong=5864, backtracks=3340, failedAssignments=3741, nogoods=1563, foundSolutions=128, bestBound=169
8.76/4.52	    
8.76/4.53	o 168
8.76/4.53	    num=351, depth=121..119, filters=451651, revisions=(1391624,useless=961886), ccks=860568, wck=1.927, mem=29M908
8.76/4.53	    decisions=16305, wrong=5864, backtracks=3340, failedAssignments=3741, nogoods=1563, foundSolutions=129, bestBound=168
8.76/4.53	    
8.76/4.53	    num=352, depth=1..10, filters=453825, revisions=(1397177,useless=965382), ccks=863856, wck=1.933, mem=29M908
8.76/4.53	    decisions=16364, wrong=5892, backtracks=3360, failedAssignments=3755, nogoods=1570, foundSolutions=129, bestBound=168
8.76/4.53	    
8.76/4.54	    num=353, depth=3..10, filters=457126, revisions=(1403542,useless=968519), ccks=867429, wck=1.94, mem=29M908
8.76/4.54	    decisions=16413, wrong=5913, backtracks=3372, failedAssignments=3766, nogoods=1576, foundSolutions=129, bestBound=168
8.76/4.54	    
8.76/4.54	    num=354, depth=2..8, filters=458609, revisions=(1407034,useless=970616), ccks=869764, wck=1.944, mem=29M908
8.76/4.54	    decisions=16458, wrong=5934, backtracks=3385, failedAssignments=3778, nogoods=1579, foundSolutions=129, bestBound=168
8.76/4.54	    
8.76/4.55	    num=355, depth=3..13, filters=460451, revisions=(1410954,useless=972764), ccks=872159, wck=1.948, mem=29M908
8.76/4.55	    decisions=16493, wrong=5950, backtracks=3396, failedAssignments=3791, nogoods=1581, foundSolutions=129, bestBound=168
8.76/4.55	    
8.76/4.55	    num=356, depth=4..11, filters=462556, revisions=(1415579,useless=975368), ccks=875253, wck=1.953, mem=32M498
8.76/4.55	    decisions=16541, wrong=5971, backtracks=3405, failedAssignments=3805, nogoods=1584, foundSolutions=129, bestBound=168
8.76/4.55	    
8.76/4.56	o 167
8.76/4.56	    num=357, depth=121..119, filters=463354, revisions=(1418163,useless=977130), ccks=876978, wck=1.955, mem=32M498
8.76/4.56	    decisions=16552, wrong=5971, backtracks=3405, failedAssignments=3805, nogoods=1584, foundSolutions=130, bestBound=167
8.76/4.56	    
8.76/4.56	    num=358, depth=2..6, filters=465391, revisions=(1425111,useless=982175), ccks=880546, wck=1.962, mem=32M498
8.76/4.56	    decisions=16617, wrong=6001, backtracks=3425, failedAssignments=3822, nogoods=1587, foundSolutions=130, bestBound=167
8.76/4.56	    
8.76/4.56	o 166
8.76/4.57	    num=359, depth=121..119, filters=466306, revisions=(1427411,useless=983577), ccks=882304, wck=1.965, mem=32M498
8.76/4.57	    decisions=16636, wrong=6001, backtracks=3425, failedAssignments=3822, nogoods=1587, foundSolutions=131, bestBound=166
8.76/4.57	    
8.76/4.57	    num=360, depth=2..8, filters=468299, revisions=(1431816,useless=986088), ccks=884990, wck=1.969, mem=32M498
8.76/4.57	    decisions=16683, wrong=6023, backtracks=3439, failedAssignments=3834, nogoods=1594, foundSolutions=131, bestBound=166
8.76/4.57	    
8.76/4.57	    num=361, depth=3..9, filters=469298, revisions=(1434498,useless=987833), ccks=886707, wck=1.972, mem=32M498
8.76/4.57	    decisions=16719, wrong=6039, backtracks=3447, failedAssignments=3845, nogoods=1597, foundSolutions=131, bestBound=166
8.76/4.57	    
8.76/4.58	    num=362, depth=3..12, filters=470747, revisions=(1438161,useless=990122), ccks=888700, wck=1.976, mem=32M498
8.76/4.58	    decisions=16759, wrong=6056, backtracks=3454, failedAssignments=3857, nogoods=1606, foundSolutions=131, bestBound=166
8.76/4.58	    
8.76/4.58	    num=363, depth=3..7, filters=473618, revisions=(1444124,useless=993340), ccks=892742, wck=1.982, mem=32M498
8.76/4.58	    decisions=16813, wrong=6081, backtracks=3468, failedAssignments=3870, nogoods=1611, foundSolutions=131, bestBound=166
8.76/4.58	    
8.76/4.58	o 165
8.76/4.58	    num=364, depth=5..119, filters=474430, revisions=(1446630,useless=995022), ccks=894543, wck=1.985, mem=32M498
8.76/4.58	    decisions=16831, wrong=6082, backtracks=3468, failedAssignments=3871, nogoods=1612, foundSolutions=132, bestBound=165
8.76/4.58	    
8.76/4.59	    num=365, depth=2..9, filters=477228, revisions=(1453491,useless=999223), ccks=899003, wck=1.991, mem=32M498
8.76/4.59	    decisions=16895, wrong=6113, backtracks=3491, failedAssignments=3887, nogoods=1615, foundSolutions=132, bestBound=165
8.76/4.59	    
8.76/4.59	    num=366, depth=2..8, filters=478320, revisions=(1456398,useless=1001106), ccks=900736, wck=1.994, mem=32M498
8.76/4.59	    decisions=16931, wrong=6130, backtracks=3501, failedAssignments=3898, nogoods=1617, foundSolutions=132, bestBound=165
8.76/4.59	    
8.88/4.60	    num=367, depth=3..8, filters=479561, revisions=(1459771,useless=1003311), ccks=902595, wck=1.998, mem=32M498
8.88/4.60	    decisions=16980, wrong=6153, backtracks=3515, failedAssignments=3910, nogoods=1619, foundSolutions=132, bestBound=165
8.88/4.60	    
8.88/4.60	    num=368, depth=1..7, filters=480944, revisions=(1463589,useless=1005825), ccks=904978, wck=2.002, mem=32M498
8.88/4.60	    decisions=17026, wrong=6174, backtracks=3526, failedAssignments=3923, nogoods=1624, foundSolutions=132, bestBound=165
8.88/4.60	    
8.88/4.61	    num=369, depth=3..10, filters=482355, revisions=(1467912,useless=1008810), ccks=907207, wck=2.007, mem=32M498
8.88/4.61	    decisions=17074, wrong=6194, backtracks=3537, failedAssignments=3937, nogoods=1631, foundSolutions=132, bestBound=165
8.88/4.61	    
8.88/4.62	    num=370, depth=5..12, filters=485472, revisions=(1476720,useless=1014629), ccks=911462, wck=2.015, mem=35M87
8.88/4.62	    decisions=17145, wrong=6227, backtracks=3560, failedAssignments=3953, nogoods=1639, foundSolutions=132, bestBound=165
8.88/4.62	    
8.88/4.62	o 164
8.88/4.62	    num=371, depth=121..119, filters=486268, revisions=(1479216,useless=1016318), ccks=913195, wck=2.018, mem=35M87
8.88/4.62	    decisions=17159, wrong=6227, backtracks=3560, failedAssignments=3953, nogoods=1639, foundSolutions=133, bestBound=164
8.88/4.62	    
8.88/4.63	    num=372, depth=1..10, filters=488942, revisions=(1486243,useless=1020807), ccks=917555, wck=2.025, mem=35M87
8.88/4.63	    decisions=17227, wrong=6259, backtracks=3578, failedAssignments=3972, nogoods=1646, foundSolutions=133, bestBound=164
8.88/4.63	    
8.88/4.63	    num=373, depth=3..6, filters=490349, revisions=(1489719,useless=1022961), ccks=919601, wck=2.028, mem=35M87
8.88/4.63	    decisions=17265, wrong=6276, backtracks=3589, failedAssignments=3983, nogoods=1649, foundSolutions=133, bestBound=164
8.88/4.63	    
8.88/4.63	    num=374, depth=2..8, filters=491938, revisions=(1494493,useless=1026234), ccks=922269, wck=2.032, mem=35M87
8.88/4.63	    decisions=17315, wrong=6300, backtracks=3605, failedAssignments=3995, nogoods=1653, foundSolutions=133, bestBound=164
8.88/4.63	    
8.88/4.64	    num=375, depth=2..8, filters=493545, revisions=(1498812,useless=1029048), ccks=924760, wck=2.037, mem=35M87
8.88/4.64	    decisions=17369, wrong=6325, backtracks=3621, failedAssignments=4008, nogoods=1659, foundSolutions=133, bestBound=164
8.88/4.64	    
8.88/4.64	    num=376, depth=2..9, filters=495579, revisions=(1503581,useless=1031896), ccks=927630, wck=2.042, mem=35M87
8.88/4.64	    decisions=17416, wrong=6347, backtracks=3637, failedAssignments=4022, nogoods=1662, foundSolutions=133, bestBound=164
8.88/4.64	    
8.88/4.64	o 163
8.88/4.64	    num=377, depth=121..119, filters=496362, revisions=(1506106,useless=1033630), ccks=929336, wck=2.045, mem=35M87
8.88/4.64	    decisions=17428, wrong=6347, backtracks=3637, failedAssignments=4022, nogoods=1662, foundSolutions=134, bestBound=163
8.88/4.64	    
8.88/4.65	    num=378, depth=1..11, filters=498301, revisions=(1511371,useless=1037042), ccks=932508, wck=2.05, mem=35M87
8.88/4.65	    decisions=17490, wrong=6375, backtracks=3654, failedAssignments=4039, nogoods=1667, foundSolutions=134, bestBound=163
8.88/4.65	    
8.88/4.65	    num=379, depth=3..14, filters=499836, revisions=(1514629,useless=1038821), ccks=934624, wck=2.054, mem=35M87
8.88/4.65	    decisions=17522, wrong=6389, backtracks=3658, failedAssignments=4050, nogoods=1677, foundSolutions=134, bestBound=163
8.88/4.65	    
8.88/4.66	    num=380, depth=2..15, filters=501438, revisions=(1518339,useless=1040976), ccks=936786, wck=2.058, mem=35M87
8.88/4.66	    decisions=17566, wrong=6410, backtracks=3674, failedAssignments=4062, nogoods=1681, foundSolutions=134, bestBound=163
8.88/4.66	    
8.88/4.66	    num=381, depth=2..13, filters=503463, revisions=(1522269,useless=1042931), ccks=939143, wck=2.063, mem=35M87
8.88/4.66	    decisions=17602, wrong=6427, backtracks=3688, failedAssignments=4075, nogoods=1682, foundSolutions=134, bestBound=163
8.88/4.66	    
8.88/4.67	    num=382, depth=2..7, filters=505895, revisions=(1527462,useless=1045811), ccks=942369, wck=2.069, mem=35M87
8.88/4.67	    decisions=17656, wrong=6452, backtracks=3705, failedAssignments=4089, nogoods=1687, foundSolutions=134, bestBound=163
8.88/4.67	    
8.88/4.68	    num=383, depth=3..7, filters=508730, revisions=(1534024,useless=1049687), ccks=946429, wck=2.075, mem=37M677
8.88/4.68	    decisions=17713, wrong=6479, backtracks=3721, failedAssignments=4105, nogoods=1691, foundSolutions=134, bestBound=163
8.88/4.68	    
8.88/4.68	o 162
8.88/4.68	    num=384, depth=121..119, filters=509651, revisions=(1536378,useless=1051130), ccks=948327, wck=2.078, mem=38M998
8.88/4.68	    decisions=17730, wrong=6479, backtracks=3721, failedAssignments=4105, nogoods=1691, foundSolutions=135, bestBound=162
8.88/4.68	    
8.88/4.69	    num=385, depth=1..9, filters=513080, revisions=(1543609,useless=1055055), ccks=952695, wck=2.086, mem=38M998
8.88/4.69	    decisions=17791, wrong=6507, backtracks=3738, failedAssignments=4124, nogoods=1697, foundSolutions=135, bestBound=162
8.88/4.69	    
8.88/4.69	    num=386, depth=4..12, filters=514579, revisions=(1547149,useless=1057177), ccks=954865, wck=2.09, mem=38M998
8.88/4.69	    decisions=17831, wrong=6525, backtracks=3750, failedAssignments=4135, nogoods=1701, foundSolutions=135, bestBound=162
8.88/4.69	    
8.88/4.69	    num=387, depth=2..8, filters=516048, revisions=(1550701,useless=1059346), ccks=957028, wck=2.094, mem=38M998
8.88/4.69	    decisions=17876, wrong=6546, backtracks=3761, failedAssignments=4147, nogoods=1704, foundSolutions=135, bestBound=162
8.88/4.69	    
8.99/4.70	    num=388, depth=2..16, filters=518580, revisions=(1556548,useless=1062742), ccks=960310, wck=2.101, mem=38M998
8.99/4.70	    decisions=17935, wrong=6573, backtracks=3780, failedAssignments=4160, nogoods=1711, foundSolutions=135, bestBound=162
8.99/4.70	    
8.99/4.71	    num=389, depth=1..8, filters=520352, revisions=(1560581,useless=1065084), ccks=962912, wck=2.105, mem=38M998
8.99/4.71	    decisions=17981, wrong=6595, backtracks=3793, failedAssignments=4174, nogoods=1713, foundSolutions=135, bestBound=162
8.99/4.71	    
8.99/4.71	    num=390, depth=1..11, filters=522407, revisions=(1565710,useless=1068268), ccks=966153, wck=2.111, mem=38M998
8.99/4.71	    decisions=18035, wrong=6619, backtracks=3809, failedAssignments=4190, nogoods=1718, foundSolutions=135, bestBound=162
8.99/4.71	    
8.99/4.72	    num=391, depth=1..9, filters=524955, revisions=(1572547,useless=1072690), ccks=969751, wck=2.118, mem=38M998
8.99/4.72	    decisions=18104, wrong=6653, backtracks=3833, failedAssignments=4207, nogoods=1721, foundSolutions=135, bestBound=162
8.99/4.72	    
8.99/4.72	    num=392, depth=3..13, filters=527339, revisions=(1578659,useless=1076476), ccks=972712, wck=2.124, mem=38M998
8.99/4.72	    decisions=18161, wrong=6680, backtracks=3855, failedAssignments=4226, nogoods=1725, foundSolutions=135, bestBound=162
8.99/4.72	    
8.99/4.73	    num=393, depth=1..9, filters=528422, revisions=(1582263,useless=1079078), ccks=975178, wck=2.128, mem=38M998
8.99/4.73	    decisions=18223, wrong=6710, backtracks=3871, failedAssignments=4247, nogoods=1728, foundSolutions=135, bestBound=162
8.99/4.73	    
8.99/4.73	o 161
8.99/4.73	    num=394, depth=121..119, filters=529338, revisions=(1584600,useless=1080504), ccks=977063, wck=2.131, mem=38M998
8.99/4.73	    decisions=18241, wrong=6710, backtracks=3871, failedAssignments=4247, nogoods=1728, foundSolutions=136, bestBound=161
8.99/4.73	    
8.99/4.74	    num=395, depth=2..12, filters=534162, revisions=(1594038,useless=1085182), ccks=982342, wck=2.142, mem=41M588
8.99/4.74	    decisions=18327, wrong=6750, backtracks=3898, failedAssignments=4272, nogoods=1737, foundSolutions=136, bestBound=161
8.99/4.74	    
8.99/4.75	    num=396, depth=12..16, filters=535589, revisions=(1598014,useless=1087783), ccks=984252, wck=2.146, mem=41M588
8.99/4.75	    decisions=18373, wrong=6767, backtracks=3909, failedAssignments=4283, nogoods=1742, foundSolutions=136, bestBound=161
8.99/4.75	    
8.99/4.75	    num=397, depth=1..11, filters=537177, revisions=(1601661,useless=1089902), ccks=986236, wck=2.15, mem=41M588
8.99/4.75	    decisions=18414, wrong=6785, backtracks=3921, failedAssignments=4295, nogoods=1745, foundSolutions=136, bestBound=161
8.99/4.75	    
8.99/4.76	    num=398, depth=1..9, filters=540452, revisions=(1607417,useless=1092464), ccks=990134, wck=2.156, mem=41M588
8.99/4.76	    decisions=18459, wrong=6807, backtracks=3937, failedAssignments=4308, nogoods=1746, foundSolutions=136, bestBound=161
8.99/4.76	    
8.99/4.76	    num=399, depth=1..10, filters=544262, revisions=(1614822,useless=1096114), ccks=994392, wck=2.164, mem=41M588
8.99/4.76	    decisions=18513, wrong=6831, backtracks=3951, failedAssignments=4322, nogoods=1755, foundSolutions=136, bestBound=161
8.99/4.76	    
8.99/4.77	    num=400, depth=2..15, filters=546702, revisions=(1620666,useless=1099644), ccks=997922, wck=2.17, mem=41M588
8.99/4.77	    decisions=18581, wrong=6861, backtracks=3968, failedAssignments=4338, nogoods=1760, foundSolutions=136, bestBound=161
8.99/4.77	    
8.99/4.77	o 160
8.99/4.77	    num=401, depth=121..119, filters=547622, revisions=(1623023,useless=1101089), ccks=999811, wck=2.173, mem=41M588
8.99/4.77	    decisions=18598, wrong=6861, backtracks=3968, failedAssignments=4338, nogoods=1760, foundSolutions=137, bestBound=160
8.99/4.77	    
8.99/4.78	    num=402, depth=1..19, filters=549902, revisions=(1628167,useless=1104052), ccks=1002814, wck=2.179, mem=41M588
8.99/4.78	    decisions=18665, wrong=6894, backtracks=3991, failedAssignments=4357, nogoods=1762, foundSolutions=137, bestBound=160
8.99/4.78	    
8.99/4.78	    num=403, depth=0..7, filters=550418, revisions=(1630293,useless=1105707), ccks=1003780, wck=2.182, mem=41M588
8.99/4.78	    decisions=18700, wrong=6909, backtracks=3999, failedAssignments=4368, nogoods=1765, foundSolutions=137, bestBound=160
8.99/4.78	    
8.99/4.79	    num=404, depth=1..11, filters=552468, revisions=(1636336,useless=1109810), ccks=1007031, wck=2.188, mem=41M588
8.99/4.79	    decisions=18763, wrong=6940, backtracks=4023, failedAssignments=4380, nogoods=1766, foundSolutions=137, bestBound=160
8.99/4.79	    
8.99/4.79	    num=405, depth=3..14, filters=554137, revisions=(1640587,useless=1112482), ccks=1009477, wck=2.193, mem=41M588
8.99/4.79	    decisions=18814, wrong=6963, backtracks=4040, failedAssignments=4393, nogoods=1770, foundSolutions=137, bestBound=160
8.99/4.79	    
9.10/4.80	    num=406, depth=1..11, filters=557747, revisions=(1647678,useless=1116014), ccks=1013629, wck=2.201, mem=41M588
9.10/4.80	    decisions=18876, wrong=6991, backtracks=4059, failedAssignments=4407, nogoods=1776, foundSolutions=137, bestBound=160
9.10/4.80	    
9.10/4.81	o 159
9.10/4.81	    num=407, depth=4..119, filters=559117, revisions=(1650952,useless=1117909), ccks=1015897, wck=2.205, mem=41M588
9.10/4.81	    decisions=18892, wrong=6992, backtracks=4059, failedAssignments=4408, nogoods=1777, foundSolutions=138, bestBound=159
9.10/4.81	    
9.10/4.81	    num=408, depth=0..6, filters=563288, revisions=(1658756,useless=1121619), ccks=1020514, wck=2.213, mem=44M177
9.10/4.81	    decisions=18948, wrong=7018, backtracks=4077, failedAssignments=4425, nogoods=1778, foundSolutions=138, bestBound=159
9.10/4.81	    
9.10/4.82	    num=409, depth=0..10, filters=564912, revisions=(1662142,useless=1123448), ccks=1022888, wck=2.217, mem=44M177
9.10/4.82	    decisions=18989, wrong=7035, backtracks=4084, failedAssignments=4436, nogoods=1782, foundSolutions=138, bestBound=159
9.10/4.82	    
9.10/4.82	    num=410, depth=4..12, filters=565869, revisions=(1665052,useless=1125467), ccks=1024599, wck=2.22, mem=44M177
9.10/4.82	    decisions=19038, wrong=7057, backtracks=4100, failedAssignments=4448, nogoods=1786, foundSolutions=138, bestBound=159
9.10/4.82	    
9.10/4.83	    num=411, depth=1..7, filters=567885, revisions=(1669962,useless=1128477), ccks=1027189, wck=2.226, mem=44M177
9.10/4.83	    decisions=19090, wrong=7082, backtracks=4119, failedAssignments=4461, nogoods=1790, foundSolutions=138, bestBound=159
9.10/4.83	    
9.10/4.83	    num=412, depth=2..7, filters=570021, revisions=(1675083,useless=1131556), ccks=1030212, wck=2.231, mem=44M177
9.10/4.83	    decisions=19137, wrong=7104, backtracks=4132, failedAssignments=4475, nogoods=1794, foundSolutions=138, bestBound=159
9.10/4.83	    
9.10/4.84	    num=413, depth=1..10, filters=573441, revisions=(1682776,useless=1135993), ccks=1034758, wck=2.238, mem=44M177
9.10/4.84	    decisions=19199, wrong=7133, backtracks=4152, failedAssignments=4491, nogoods=1796, foundSolutions=138, bestBound=159
9.10/4.84	    
9.10/4.84	    num=414, depth=4..14, filters=575381, revisions=(1687261,useless=1138583), ccks=1037006, wck=2.244, mem=44M177
9.10/4.84	    decisions=19248, wrong=7155, backtracks=4166, failedAssignments=4508, nogoods=1803, foundSolutions=138, bestBound=159
9.10/4.84	    
9.10/4.85	    num=415, depth=1..11, filters=578851, revisions=(1694929,useless=1142887), ccks=1041809, wck=2.252, mem=44M177
9.10/4.85	    decisions=19321, wrong=7190, backtracks=4187, failedAssignments=4527, nogoods=1806, foundSolutions=138, bestBound=159
9.10/4.85	    
9.10/4.86	    num=416, depth=3..10, filters=581471, revisions=(1701131,useless=1146630), ccks=1045577, wck=2.259, mem=44M177
9.10/4.86	    decisions=19396, wrong=7226, backtracks=4207, failedAssignments=4548, nogoods=1808, foundSolutions=138, bestBound=159
9.10/4.86	    
9.10/4.86	o 158
9.10/4.86	    num=417, depth=4..119, filters=582396, revisions=(1703605,useless=1148180), ccks=1047361, wck=2.262, mem=44M177
9.10/4.86	    decisions=19412, wrong=7227, backtracks=4207, failedAssignments=4549, nogoods=1809, foundSolutions=139, bestBound=158
9.10/4.86	    
9.10/4.87	    num=418, depth=3..8, filters=584543, revisions=(1709656,useless=1152231), ccks=1050683, wck=2.268, mem=44M177
9.10/4.87	    decisions=19499, wrong=7269, backtracks=4228, failedAssignments=4574, nogoods=1814, foundSolutions=139, bestBound=158
9.10/4.87	    
9.10/4.87	    num=419, depth=3..11, filters=585413, revisions=(1713085,useless=1154837), ccks=1051938, wck=2.271, mem=44M177
9.10/4.87	    decisions=19528, wrong=7281, backtracks=4234, failedAssignments=4585, nogoods=1823, foundSolutions=139, bestBound=158
9.10/4.87	    
9.10/4.88	    num=420, depth=0..6, filters=586513, revisions=(1717003,useless=1157743), ccks=1054070, wck=2.275, mem=46M767
9.10/4.88	    decisions=19572, wrong=7302, backtracks=4250, failedAssignments=4597, nogoods=1826, foundSolutions=139, bestBound=158
9.10/4.88	    
9.10/4.88	o 157
9.10/4.88	    num=421, depth=0..119, filters=587604, revisions=(1720136,useless=1159822), ccks=1056472, wck=2.279, mem=46M767
9.10/4.88	    decisions=19613, wrong=7312, backtracks=4252, failedAssignments=4605, nogoods=1832, foundSolutions=140, bestBound=157
9.10/4.88	    
9.10/4.88	    num=422, depth=3..9, filters=588970, revisions=(1723553,useless=1161951), ccks=1058461, wck=2.283, mem=46M767
9.10/4.88	    decisions=19657, wrong=7332, backtracks=4263, failedAssignments=4619, nogoods=1834, foundSolutions=140, bestBound=157
9.10/4.88	    
9.10/4.89	o 156
9.10/4.89	    num=423, depth=121..119, filters=589882, revisions=(1726005,useless=1163500), ccks=1060219, wck=2.286, mem=46M767
9.10/4.89	    decisions=19671, wrong=7332, backtracks=4263, failedAssignments=4619, nogoods=1834, foundSolutions=141, bestBound=156
9.10/4.89	    
9.10/4.89	    num=424, depth=3..7, filters=591426, revisions=(1729554,useless=1165584), ccks=1062009, wck=2.29, mem=46M767
9.10/4.89	    decisions=19710, wrong=7350, backtracks=4273, failedAssignments=4631, nogoods=1836, foundSolutions=141, bestBound=156
9.10/4.89	    
9.20/4.90	    num=425, depth=1..6, filters=594958, revisions=(1735752,useless=1168302), ccks=1065888, wck=2.296, mem=46M767
9.20/4.90	    decisions=19746, wrong=7367, backtracks=4286, failedAssignments=4642, nogoods=1841, foundSolutions=141, bestBound=156
9.20/4.90	    
9.20/4.90	    num=426, depth=1..5, filters=596682, revisions=(1739790,useless=1170711), ccks=1068267, wck=2.301, mem=46M767
9.20/4.90	    decisions=19792, wrong=7389, backtracks=4297, failedAssignments=4654, nogoods=1847, foundSolutions=141, bestBound=156
9.20/4.90	    
9.20/4.91	    num=427, depth=4..8, filters=597919, revisions=(1743403,useless=1173169), ccks=1070481, wck=2.305, mem=46M767
9.20/4.91	    decisions=19839, wrong=7410, backtracks=4310, failedAssignments=4667, nogoods=1855, foundSolutions=141, bestBound=156
9.20/4.91	    
9.20/4.91	o 155
9.20/4.91	    num=428, depth=121..119, filters=598836, revisions=(1745853,useless=1174706), ccks=1072313, wck=2.308, mem=46M767
9.20/4.91	    decisions=19853, wrong=7410, backtracks=4310, failedAssignments=4667, nogoods=1855, foundSolutions=142, bestBound=155
9.20/4.91	    
9.20/4.91	    num=429, depth=2..9, filters=601149, revisions=(1751468,useless=1178106), ccks=1075523, wck=2.314, mem=46M767
9.20/4.91	    decisions=19903, wrong=7433, backtracks=4323, failedAssignments=4683, nogoods=1864, foundSolutions=142, bestBound=155
9.20/4.91	    
9.20/4.92	    num=430, depth=1..6, filters=602977, revisions=(1755664,useless=1180541), ccks=1077879, wck=2.318, mem=46M767
9.20/4.92	    decisions=19940, wrong=7450, backtracks=4332, failedAssignments=4694, nogoods=1869, foundSolutions=142, bestBound=155
9.20/4.92	    
9.20/4.92	o 154
9.20/4.92	    num=431, depth=121..119, filters=603941, revisions=(1757949,useless=1181880), ccks=1079729, wck=2.321, mem=46M767
9.20/4.92	    decisions=19961, wrong=7450, backtracks=4332, failedAssignments=4694, nogoods=1869, foundSolutions=143, bestBound=154
9.20/4.92	    
9.20/4.93	    num=432, depth=2..11, filters=604636, revisions=(1761101,useless=1184403), ccks=1081579, wck=2.325, mem=46M767
9.20/4.93	    decisions=20001, wrong=7467, backtracks=4337, failedAssignments=4707, nogoods=1880, foundSolutions=143, bestBound=154
9.20/4.93	    
9.20/4.93	o 153
9.20/4.93	    num=433, depth=7..119, filters=605560, revisions=(1763616,useless=1186001), ccks=1083484, wck=2.328, mem=46M767
9.20/4.93	    decisions=20016, wrong=7468, backtracks=4337, failedAssignments=4708, nogoods=1881, foundSolutions=144, bestBound=153
9.20/4.93	    
9.20/4.93	    num=434, depth=2..6, filters=606504, revisions=(1766395,useless=1187901), ccks=1085043, wck=2.331, mem=46M767
9.20/4.93	    decisions=20056, wrong=7487, backtracks=4346, failedAssignments=4720, nogoods=1883, foundSolutions=144, bestBound=153
9.20/4.93	    
9.20/4.94	    num=435, depth=0..9, filters=608623, revisions=(1771299,useless=1190772), ccks=1087843, wck=2.336, mem=46M767
9.20/4.94	    decisions=20106, wrong=7510, backtracks=4362, failedAssignments=4731, nogoods=1886, foundSolutions=144, bestBound=153
9.20/4.94	    
9.20/4.94	o 152
9.20/4.94	    num=436, depth=3..119, filters=610980, revisions=(1776352,useless=1193509), ccks=1091337, wck=2.342, mem=49M356
9.20/4.94	    decisions=20149, wrong=7522, backtracks=4371, failedAssignments=4740, nogoods=1887, foundSolutions=145, bestBound=152
9.20/4.94	    
9.20/4.95	    num=437, depth=1..8, filters=612763, revisions=(1781087,useless=1196540), ccks=1093932, wck=2.347, mem=49M356
9.20/4.95	    decisions=20189, wrong=7540, backtracks=4384, failedAssignments=4753, nogoods=1892, foundSolutions=145, bestBound=152
9.20/4.95	    
9.20/4.95	o 151
9.20/4.95	    num=438, depth=3..119, filters=613714, revisions=(1783406,useless=1197926), ccks=1095744, wck=2.349, mem=49M356
9.20/4.95	    decisions=20210, wrong=7541, backtracks=4384, failedAssignments=4754, nogoods=1893, foundSolutions=146, bestBound=151
9.20/4.95	    
9.20/4.95	    num=439, depth=1..8, filters=615352, revisions=(1787498,useless=1200464), ccks=1097946, wck=2.354, mem=49M356
9.20/4.95	    decisions=20252, wrong=7561, backtracks=4397, failedAssignments=4766, nogoods=1895, foundSolutions=146, bestBound=151
9.20/4.95	    
9.20/4.96	o 150
9.20/4.96	    num=440, depth=121..119, filters=616233, revisions=(1790044,useless=1202122), ccks=1099719, wck=2.357, mem=49M356
9.20/4.96	    decisions=20264, wrong=7561, backtracks=4397, failedAssignments=4766, nogoods=1895, foundSolutions=147, bestBound=150
9.20/4.96	    
9.20/4.96	    num=441, depth=3..12, filters=617591, revisions=(1793230,useless=1203979), ccks=1101115, wck=2.361, mem=49M356
9.20/4.96	    decisions=20298, wrong=7575, backtracks=4400, failedAssignments=4778, nogoods=1903, foundSolutions=147, bestBound=150
9.20/4.96	    
9.20/4.96	    num=442, depth=1..6, filters=619005, revisions=(1796878,useless=1206286), ccks=1102859, wck=2.364, mem=49M356
9.20/4.96	    decisions=20335, wrong=7593, backtracks=4412, failedAssignments=4789, nogoods=1906, foundSolutions=147, bestBound=150
9.20/4.96	    
9.20/4.97	    num=443, depth=0..15, filters=620336, revisions=(1799507,useless=1207645), ccks=1104445, wck=2.368, mem=49M356
9.20/4.97	    decisions=20384, wrong=7610, backtracks=4418, failedAssignments=4801, nogoods=1910, foundSolutions=147, bestBound=150
9.20/4.97	    
9.20/4.97	    num=444, depth=4..10, filters=621768, revisions=(1803400,useless=1210184), ccks=1106964, wck=2.372, mem=49M356
9.20/4.97	    decisions=20427, wrong=7629, backtracks=4430, failedAssignments=4814, nogoods=1912, foundSolutions=147, bestBound=150
9.20/4.97	    
9.20/4.98	o 149
9.20/4.98	    num=445, depth=121..119, filters=622721, revisions=(1805718,useless=1211564), ccks=1108767, wck=2.375, mem=49M356
9.20/4.98	    decisions=20446, wrong=7629, backtracks=4430, failedAssignments=4814, nogoods=1912, foundSolutions=148, bestBound=149
9.20/4.98	    
9.20/4.98	o 148
9.20/4.98	    num=446, depth=121..119, filters=623449, revisions=(1808273,useless=1213393), ccks=1110547, wck=2.377, mem=49M356
9.20/4.98	    decisions=20459, wrong=7629, backtracks=4430, failedAssignments=4814, nogoods=1912, foundSolutions=149, bestBound=148
9.20/4.98	    
9.20/4.98	    num=447, depth=7..13, filters=625998, revisions=(1813224,useless=1215849), ccks=1113638, wck=2.383, mem=49M356
9.20/4.98	    decisions=20506, wrong=7649, backtracks=4440, failedAssignments=4825, nogoods=1916, foundSolutions=149, bestBound=148
9.20/4.98	    
9.20/4.99	    num=448, depth=2..6, filters=626919, revisions=(1815626,useless=1217387), ccks=1115198, wck=2.386, mem=49M356
9.20/4.99	    decisions=20544, wrong=7667, backtracks=4448, failedAssignments=4836, nogoods=1919, foundSolutions=149, bestBound=148
9.20/4.99	    
9.20/4.99	    num=449, depth=2..9, filters=628717, revisions=(1820342,useless=1220388), ccks=1117949, wck=2.39, mem=49M356
9.20/4.99	    decisions=20591, wrong=7689, backtracks=4464, failedAssignments=4848, nogoods=1921, foundSolutions=149, bestBound=148
9.20/4.99	    
9.20/5.00	    num=450, depth=0..9, filters=631198, revisions=(1825458,useless=1223095), ccks=1121315, wck=2.396, mem=49M356
9.20/5.00	    decisions=20637, wrong=7710, backtracks=4479, failedAssignments=4861, nogoods=1925, foundSolutions=149, bestBound=148
9.20/5.00	    
9.20/5.00	    num=451, depth=2..8, filters=633418, revisions=(1830361,useless=1225872), ccks=1124282, wck=2.401, mem=49M356
9.20/5.00	    decisions=20691, wrong=7736, backtracks=4497, failedAssignments=4875, nogoods=1928, foundSolutions=149, bestBound=148
9.20/5.00	    
9.31/5.01	    num=452, depth=0..11, filters=635352, revisions=(1835888,useless=1229602), ccks=1126999, wck=2.407, mem=51M946
9.31/5.01	    decisions=20756, wrong=7766, backtracks=4515, failedAssignments=4891, nogoods=1931, foundSolutions=149, bestBound=148
9.31/5.01	    
9.31/5.01	o 147
9.31/5.01	    num=453, depth=121..119, filters=636308, revisions=(1838190,useless=1230962), ccks=1128862, wck=2.41, mem=51M946
9.31/5.01	    decisions=20776, wrong=7766, backtracks=4515, failedAssignments=4891, nogoods=1931, foundSolutions=150, bestBound=147
9.31/5.01	    
9.31/5.02	    num=454, depth=0..9, filters=640417, revisions=(1848050,useless=1236851), ccks=1134106, wck=2.42, mem=51M946
9.31/5.02	    decisions=20859, wrong=7805, backtracks=4542, failedAssignments=4910, nogoods=1933, foundSolutions=150, bestBound=147
9.31/5.02	    
9.31/5.03	    num=455, depth=0..8, filters=641871, revisions=(1851949,useless=1239342), ccks=1136264, wck=2.425, mem=51M946
9.31/5.03	    decisions=20899, wrong=7824, backtracks=4554, failedAssignments=4921, nogoods=1935, foundSolutions=150, bestBound=147
9.31/5.03	    
9.31/5.03	    num=456, depth=0..5, filters=643767, revisions=(1857051,useless=1242632), ccks=1139331, wck=2.429, mem=51M946
9.31/5.03	    decisions=20951, wrong=7848, backtracks=4569, failedAssignments=4933, nogoods=1937, foundSolutions=150, bestBound=147
9.31/5.03	    
9.31/5.03	    num=457, depth=1..8, filters=644651, revisions=(1860124,useless=1244904), ccks=1140831, wck=2.433, mem=51M946
9.31/5.03	    decisions=20998, wrong=7871, backtracks=4584, failedAssignments=4946, nogoods=1940, foundSolutions=150, bestBound=147
9.31/5.03	    
9.31/5.04	    num=458, depth=2..7, filters=646305, revisions=(1864823,useless=1248037), ccks=1143421, wck=2.437, mem=51M946
9.31/5.04	    decisions=21043, wrong=7892, backtracks=4597, failedAssignments=4960, nogoods=1946, foundSolutions=150, bestBound=147
9.31/5.04	    
9.31/5.04	    num=459, depth=0..8, filters=649764, revisions=(1872309,useless=1252155), ccks=1147296, wck=2.444, mem=51M946
9.31/5.04	    decisions=21099, wrong=7920, backtracks=4615, failedAssignments=4976, nogoods=1946, foundSolutions=150, bestBound=147
9.31/5.04	    
9.31/5.05	    num=460, depth=2..12, filters=652488, revisions=(1879557,useless=1256798), ccks=1151296, wck=2.451, mem=51M946
9.31/5.05	    decisions=21170, wrong=7954, backtracks=4638, failedAssignments=4993, nogoods=1953, foundSolutions=150, bestBound=147
9.31/5.05	    
9.31/5.06	o 146
9.31/5.06	    num=461, depth=0..119, filters=655944, revisions=(1887526,useless=1261366), ccks=1155952, wck=2.46, mem=51M946
9.31/5.06	    decisions=21231, wrong=7976, backtracks=4649, failedAssignments=5005, nogoods=1955, foundSolutions=151, bestBound=146
9.31/5.06	    
9.31/5.07	    num=462, depth=6..22, filters=659735, revisions=(1896273,useless=1266436), ccks=1160804, wck=2.469, mem=51M946
9.31/5.07	    decisions=21315, wrong=8012, backtracks=4672, failedAssignments=5026, nogoods=1961, foundSolutions=151, bestBound=146
9.31/5.07	    
9.31/5.08	    num=463, depth=1..7, filters=663480, revisions=(1902864,useless=1269411), ccks=1165356, wck=2.475, mem=54M535
9.31/5.08	    decisions=21362, wrong=8035, backtracks=4689, failedAssignments=5037, nogoods=1963, foundSolutions=151, bestBound=146
9.31/5.08	    
9.31/5.08	    num=464, depth=6..13, filters=665286, revisions=(1906503,useless=1271298), ccks=1167417, wck=2.48, mem=54M535
9.31/5.08	    decisions=21399, wrong=8049, backtracks=4696, failedAssignments=5049, nogoods=1969, foundSolutions=151, bestBound=146
9.31/5.08	    
9.31/5.08	    num=465, depth=4..11, filters=666477, revisions=(1909564,useless=1273234), ccks=1169488, wck=2.483, mem=54M535
9.31/5.08	    decisions=21445, wrong=8069, backtracks=4707, failedAssignments=5062, nogoods=1973, foundSolutions=151, bestBound=146
9.31/5.08	    
9.31/5.09	o 145
9.31/5.09	    num=466, depth=2..119, filters=668805, revisions=(1914637,useless=1276022), ccks=1173078, wck=2.488, mem=54M535
9.31/5.09	    decisions=21483, wrong=8078, backtracks=4712, failedAssignments=5067, nogoods=1977, foundSolutions=152, bestBound=145
9.31/5.09	    
9.31/5.09	    num=467, depth=6..18, filters=670447, revisions=(1918529,useless=1278330), ccks=1174982, wck=2.494, mem=54M535
9.31/5.09	    decisions=21537, wrong=8101, backtracks=4729, failedAssignments=5083, nogoods=1981, foundSolutions=152, bestBound=145
9.31/5.09	    
9.31/5.10	    num=468, depth=1..6, filters=672152, revisions=(1921754,useless=1279916), ccks=1177229, wck=2.497, mem=54M535
9.31/5.10	    decisions=21570, wrong=8117, backtracks=4738, failedAssignments=5094, nogoods=1985, foundSolutions=152, bestBound=145
9.31/5.10	    
9.31/5.10	o 144
9.31/5.10	    num=469, depth=1..119, filters=674382, revisions=(1927526,useless=1283515), ccks=1180909, wck=2.503, mem=54M535
9.31/5.10	    decisions=21627, wrong=8137, backtracks=4754, failedAssignments=5105, nogoods=1986, foundSolutions=153, bestBound=144
9.31/5.10	    
9.43/5.11	    num=470, depth=7..11, filters=675859, revisions=(1931095,useless=1285671), ccks=1182975, wck=2.508, mem=54M535
9.43/5.11	    decisions=21674, wrong=8157, backtracks=4766, failedAssignments=5118, nogoods=1992, foundSolutions=153, bestBound=144
9.43/5.11	    
9.43/5.11	o 143
9.43/5.11	    num=471, depth=2..119, filters=676939, revisions=(1934135,useless=1287652), ccks=1185041, wck=2.511, mem=54M535
9.43/5.11	    decisions=21702, wrong=8162, backtracks=4767, failedAssignments=5122, nogoods=1996, foundSolutions=154, bestBound=143
9.43/5.11	    
9.43/5.12	    num=472, depth=7..12, filters=678559, revisions=(1937699,useless=1289670), ccks=1187178, wck=2.516, mem=54M535
9.43/5.12	    decisions=21751, wrong=8182, backtracks=4778, failedAssignments=5134, nogoods=2001, foundSolutions=154, bestBound=143
9.43/5.12	    
9.43/5.12	o 142
9.43/5.12	    num=473, depth=1..119, filters=679751, revisions=(1941174,useless=1291976), ccks=1189457, wck=2.519, mem=54M535
9.43/5.12	    decisions=21778, wrong=8188, backtracks=4781, failedAssignments=5138, nogoods=2004, foundSolutions=155, bestBound=142
9.43/5.12	    
9.43/5.13	    num=474, depth=5..14, filters=681902, revisions=(1945880,useless=1294609), ccks=1192079, wck=2.525, mem=54M535
9.43/5.13	    decisions=21834, wrong=8212, backtracks=4797, failedAssignments=5150, nogoods=2010, foundSolutions=155, bestBound=142
9.43/5.13	    
9.43/5.13	    num=475, depth=0..7, filters=683609, revisions=(1949865,useless=1296972), ccks=1194509, wck=2.529, mem=54M535
9.43/5.13	    decisions=21878, wrong=8232, backtracks=4809, failedAssignments=5161, nogoods=2013, foundSolutions=155, bestBound=142
9.43/5.13	    
9.43/5.14	    num=476, depth=0..17, filters=685981, revisions=(1954141,useless=1298950), ccks=1196909, wck=2.535, mem=54M535
9.43/5.14	    decisions=21929, wrong=8253, backtracks=4824, failedAssignments=5173, nogoods=2015, foundSolutions=155, bestBound=142
9.43/5.14	    
9.43/5.14	    num=477, depth=0..9, filters=688535, revisions=(1960084,useless=1302451), ccks=1200384, wck=2.541, mem=54M535
9.43/5.14	    decisions=21987, wrong=8279, backtracks=4843, failedAssignments=5186, nogoods=2017, foundSolutions=155, bestBound=142
9.43/5.14	    
9.43/5.14	o 141
9.43/5.14	    num=478, depth=3..119, filters=689459, revisions=(1962594,useless=1304042), ccks=1202189, wck=2.544, mem=54M535
9.43/5.14	    decisions=22003, wrong=8280, backtracks=4843, failedAssignments=5187, nogoods=2018, foundSolutions=156, bestBound=141
9.43/5.14	    
9.43/5.15	    num=479, depth=2..13, filters=691484, revisions=(1968479,useless=1308009), ccks=1204947, wck=2.55, mem=57M125
9.43/5.15	    decisions=22073, wrong=8314, backtracks=4865, failedAssignments=5203, nogoods=2021, foundSolutions=156, bestBound=141
9.43/5.15	    
9.43/5.16	    num=480, depth=1..11, filters=693457, revisions=(1972945,useless=1310587), ccks=1207400, wck=2.556, mem=57M125
9.43/5.16	    decisions=22127, wrong=8340, backtracks=4883, failedAssignments=5214, nogoods=2023, foundSolutions=156, bestBound=141
9.43/5.16	    
9.43/5.16	    num=481, depth=1..13, filters=694538, revisions=(1976174,useless=1312787), ccks=1208719, wck=2.56, mem=57M125
9.43/5.16	    decisions=22171, wrong=8358, backtracks=4889, failedAssignments=5226, nogoods=2034, foundSolutions=156, bestBound=141
9.43/5.16	    
9.43/5.16	    num=482, depth=0..7, filters=696314, revisions=(1980409,useless=1315336), ccks=1211295, wck=2.564, mem=57M125
9.43/5.16	    decisions=22219, wrong=8381, backtracks=4902, failedAssignments=5239, nogoods=2038, foundSolutions=156, bestBound=141
9.43/5.16	    
9.43/5.17	    num=483, depth=0..11, filters=698011, revisions=(1984727,useless=1318021), ccks=1213565, wck=2.569, mem=57M125
9.43/5.17	    decisions=22271, wrong=8404, backtracks=4917, failedAssignments=5253, nogoods=2043, foundSolutions=156, bestBound=141
9.43/5.17	    
9.43/5.18	    num=484, depth=0..11, filters=700948, revisions=(1990399,useless=1320854), ccks=1217044, wck=2.576, mem=57M125
9.43/5.18	    decisions=22334, wrong=8435, backtracks=4940, failedAssignments=5269, nogoods=2046, foundSolutions=156, bestBound=141
9.43/5.18	    
9.43/5.19	    num=485, depth=0..13, filters=705347, revisions=(1998032,useless=1324212), ccks=1221767, wck=2.585, mem=57M125
9.43/5.19	    decisions=22412, wrong=8473, backtracks=4969, failedAssignments=5286, nogoods=2049, foundSolutions=156, bestBound=141
9.43/5.19	    
9.43/5.19	o 140
9.43/5.19	    num=486, depth=3..119, filters=706228, revisions=(2000461,useless=1325765), ccks=1223643, wck=2.587, mem=57M125
9.43/5.19	    decisions=22428, wrong=8474, backtracks=4969, failedAssignments=5287, nogoods=2050, foundSolutions=157, bestBound=140
9.43/5.19	    
9.43/5.20	o 139
9.52/5.20	    num=487, depth=0..119, filters=709136, revisions=(2007853,useless=1330341), ccks=1227629, wck=2.596, mem=57M125
9.52/5.20	    decisions=22517, wrong=8507, backtracks=4991, failedAssignments=5305, nogoods=2058, foundSolutions=158, bestBound=139
9.52/5.20	    
9.52/5.20	o 138
9.52/5.20	    num=488, depth=1..119, filters=710115, revisions=(2010509,useless=1332028), ccks=1229352, wck=2.6, mem=57M125
9.52/5.20	    decisions=22543, wrong=8511, backtracks=4992, failedAssignments=5308, nogoods=2061, foundSolutions=159, bestBound=138
9.52/5.20	    
9.52/5.20	o 137
9.52/5.20	    num=489, depth=1..119, filters=711110, revisions=(2013216,useless=1333757), ccks=1231014, wck=2.604, mem=57M125
9.52/5.20	    decisions=22572, wrong=8516, backtracks=4993, failedAssignments=5312, nogoods=2065, foundSolutions=160, bestBound=137
9.52/5.20	    
9.52/5.21	o 136
9.52/5.21	    num=490, depth=9..119, filters=712083, revisions=(2015699,useless=1335274), ccks=1232654, wck=2.607, mem=57M125
9.52/5.21	    decisions=22593, wrong=8517, backtracks=4993, failedAssignments=5313, nogoods=2066, foundSolutions=161, bestBound=136
9.52/5.21	    
9.52/5.21	o 135
9.52/5.21	    num=491, depth=121..119, filters=713008, revisions=(2018199,useless=1336854), ccks=1234256, wck=2.61, mem=57M125
9.52/5.21	    decisions=22611, wrong=8517, backtracks=4993, failedAssignments=5313, nogoods=2066, foundSolutions=162, bestBound=135
9.52/5.21	    
9.52/5.21	o 134
9.52/5.21	    num=492, depth=121..119, filters=713941, revisions=(2020633,useless=1338365), ccks=1235851, wck=2.614, mem=57M125
9.52/5.21	    decisions=22630, wrong=8517, backtracks=4993, failedAssignments=5313, nogoods=2066, foundSolutions=163, bestBound=134
9.52/5.21	    
9.52/5.22	o 133
9.52/5.22	    num=493, depth=121..119, filters=714844, revisions=(2023150,useless=1339985), ccks=1237454, wck=2.617, mem=57M125
9.52/5.22	    decisions=22648, wrong=8517, backtracks=4993, failedAssignments=5313, nogoods=2066, foundSolutions=164, bestBound=133
9.52/5.22	    
9.52/5.22	o 132
9.52/5.22	    num=494, depth=121..119, filters=715754, revisions=(2025631,useless=1341563), ccks=1239046, wck=2.62, mem=57M125
9.52/5.22	    decisions=22665, wrong=8517, backtracks=4993, failedAssignments=5313, nogoods=2066, foundSolutions=165, bestBound=132
9.52/5.22	    
9.52/5.23	    num=495, depth=0..9, filters=717636, revisions=(2029825,useless=1343922), ccks=1240979, wck=2.626, mem=57M125
9.52/5.23	    decisions=22724, wrong=8543, backtracks=5008, failedAssignments=5324, nogoods=2069, foundSolutions=165, bestBound=132
9.52/5.23	    
9.52/5.23	    num=496, depth=0..11, filters=719463, revisions=(2033720,useless=1346061), ccks=1243165, wck=2.631, mem=57M125
9.52/5.23	    decisions=22784, wrong=8573, backtracks=5029, failedAssignments=5335, nogoods=2069, foundSolutions=165, bestBound=132
9.52/5.23	    
9.52/5.23	
9.52/5.23	  New Bounds: 132..131
9.52/5.23	    num=497, depth=0..7, filters=721247, revisions=(2036743,useless=1347325), ccks=1245010, wck=2.634, mem=57M125
9.52/5.23	    decisions=22808, wrong=8586, backtracks=5039, failedAssignments=5340, foundSolutions=165, bestBound=132
9.52/5.23	    
9.52/5.23	  Global
9.52/5.23	    filters=721247, revisions=(2036743,useless=1347325), ccks=1245010
9.52/5.23	    Stop=FULL_EXPLORATION, wrong=8586, bestBound=132, bestBoundWck=3.35, bestBoundCpu=5.164, foundSolutions=165, firstSolCpu=2.59
9.52/5.23	    wck=3.364, cpu=5.178, mem=57M125
9.52/5.24	
9.52/5.24	v <instantiation id='sol165' type='solution' cost='132'>  <list> s[] d[] l[] c[] </list>  <values> 0 1 2 3 4 5 6 7 8 9 11 17 12 13 14 15 10 23 18 19 20 21 16 29 24 25 26 27 22 28 0 0 0 0 0 0 0 0 0 0 4 1 0 0 0 0 16 5 0 0 0 0 8 3 0 0 0 0 1 2 28 28 10 11 23 17 17 10 10 23 16 10 11 10 28 17 23 10 23 16 16 10 28 16 10 22 11 11 10 16 2 3 5 4 2 1 3 1 2 4 2 5 4 5 4 1 4 1 4 4 7 4 4 2 5 1 1 1 1 5 </values>  </instantiation>
9.52/5.24	s OPTIMUM FOUND
9.52/5.24	
9.52/5.24	d WRONG_DECISIONS 8586
9.52/5.24	d NUMBER_SOLUTIONS 165

OK	132

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390910-1568381760/watcher-4390910-1568381760 -o /tmp/evaluation-result-4390910-1568381760/solver-4390910-1568381760 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390910-1568381760.xml -cm 

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

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

solver pid=1126, runsolver pid=1123

[startup+0.103708 s]*
/proc/loadavg: 2.15 1.94 1.44 4/228 1141
/proc/meminfo: memFree=26276356/32770624 swapFree=66957012/67108860
[pid=1126] ppid=1123 vsize=10659884 memory=29228 CPUtime=0.14 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1123 1126 32084 0 -1 1077944320 5781 0 0 0 13 1 0 0 20 0 15 0 414089896 10915721216 7307 33554432000 4194304 4196468 140735635558448 140735635540992 139666690219767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
/proc/1126/statm: 2664971 7307 2912 1 0 2627468 0
[pid=1126/tid=1128] ppid=1123 vsize=10659884 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) R 1123 1126 32084 0 -1 4202560 3231 0 0 0 9 0 0 0 20 0 15 0 414089897 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666694448960 139666672129729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1129] ppid=1123 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666297510288 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1130] ppid=1123 vsize=10659884 memory=140493530646144 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1123 1126 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666296457488 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1131] ppid=1123 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666295405200 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1132] ppid=1123 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666294352400 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1133] ppid=1123 vsize=10659884 memory=140493530646144 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089899 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666249402992 139666690230914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1134] ppid=1123 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1123 1126 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089900 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666248348960 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1135] ppid=1123 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1123 1126 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089900 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666247296624 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1136] ppid=1123 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089902 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666246244944 139666690238363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1137] ppid=1123 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1123 1126 32084 0 -1 1077944384 466 0 0 0 1 0 0 0 20 0 15 0 414089902 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666245191792 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1138] ppid=1123 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1123 1126 32084 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 414089902 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666244138992 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1139] ppid=1123 vsize=10659884 memory=140493530646144 CPUtime=0.02 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) R 1123 1126 32084 0 -1 4202560 553 0 0 0 2 0 0 0 20 0 15 0 414089902 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666243083608 139666668841175 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1140] ppid=1123 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089902 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666242034144 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1141] ppid=1123 vsize=10659884 memory=140493530646144 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1141/stat : 1141 (java) S 1123 1126 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089903 10915721216 7373 33554432000 4194304 4196468 140735635558448 139666240981936 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29228 KiB

[startup+0.211107 s]*
/proc/loadavg: 2.15 1.94 1.44 3/228 1141
/proc/meminfo: memFree=26269100/32770624 swapFree=66957012/67108860
[pid=1126] ppid=1123 vsize=10659884 memory=34896 CPUtime=0.32 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1123 1126 32084 0 -1 1077944320 6828 0 0 0 31 1 0 0 20 0 15 0 414089896 10915721216 8724 33554432000 4194304 4196468 140735635558448 140735635540992 139666690219767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
/proc/1126/statm: 2664971 8724 2991 1 0 2627468 0
[pid=1126/tid=1128] ppid=1123 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) R 1123 1126 32084 0 -1 4202560 3896 0 0 0 19 1 0 0 20 0 15 0 414089897 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666694451808 139666690241693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1129] ppid=1123 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666297510288 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1130] ppid=1123 vsize=10659884 memory=140493530676210 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1123 1126 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666296457488 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1131] ppid=1123 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666295405200 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1132] ppid=1123 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666294352400 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1133] ppid=1123 vsize=10659884 memory=140493530646144 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089899 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666249402992 139666690230914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1134] ppid=1123 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1123 1126 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089900 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666248348960 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1135] ppid=1123 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1123 1126 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089900 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666247296624 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1136] ppid=1123 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089902 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666246244944 139666690238363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1137] ppid=1123 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1123 1126 32084 0 -1 1077944384 565 0 0 0 3 0 0 0 20 0 15 0 414089902 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666245191792 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1138] ppid=1123 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1123 1126 32084 0 -1 1077944384 412 0 0 0 3 0 0 0 20 0 15 0 414089902 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666244138992 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1139] ppid=1123 vsize=10659884 memory=140493530646144 CPUtime=0.05 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1123 1126 32084 0 -1 1077944384 594 0 0 0 5 0 0 0 20 0 15 0 414089902 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666243086704 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1140] ppid=1123 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089902 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666242034144 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1141] ppid=1123 vsize=10659884 memory=140493530646144 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1141/stat : 1141 (java) S 1123 1126 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089903 10915721216 8724 33554432000 4194304 4196468 140735635558448 139666240981936 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34896 KiB

[startup+0.311446 s]*
/proc/loadavg: 2.15 1.94 1.44 3/228 1141
/proc/meminfo: memFree=26262496/32770624 swapFree=66957012/67108860
[pid=1126] ppid=1123 vsize=10659884 memory=40044 CPUtime=0.46 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1123 1126 32084 0 -1 1077944320 9361 0 0 0 43 3 0 0 20 0 15 0 414089896 10915721216 10011 33554432000 4194304 4196468 140735635558448 140735635540992 139666690219767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
/proc/1126/statm: 2664971 10011 3003 1 0 2627468 0
[pid=1126/tid=1128] ppid=1123 vsize=10659884 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) R 1123 1126 32084 0 -1 4202560 6355 0 0 0 27 2 0 0 20 0 15 0 414089897 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666694440768 139666675901013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1129] ppid=1123 vsize=10659884 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666297510288 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1130] ppid=1123 vsize=10659884 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1123 1126 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666296457488 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1131] ppid=1123 vsize=10659884 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666295405200 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1132] ppid=1123 vsize=10659884 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666294352400 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1133] ppid=1123 vsize=10659884 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089899 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666249402992 139666690230914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1134] ppid=1123 vsize=10659884 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1123 1126 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089900 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666248348960 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1135] ppid=1123 vsize=10659884 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1123 1126 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089900 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666247296624 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1136] ppid=1123 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089902 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666246244944 139666690238363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1137] ppid=1123 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1123 1126 32084 0 -1 1077944384 573 0 0 0 3 0 0 0 20 0 15 0 414089902 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666245191792 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1138] ppid=1123 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1123 1126 32084 0 -1 1077944384 465 0 0 0 4 0 0 0 20 0 15 0 414089902 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666244138992 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1139] ppid=1123 vsize=10659884 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1123 1126 32084 0 -1 1077944384 616 0 0 0 7 0 0 0 20 0 15 0 414089902 10915721216 10011 33554432000 4194304 4196468 140735635558448 139666243086704 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1140] ppid=1123 vsize=10659628 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089902 10915459072 10022 33554432000 4194304 4196468 140735635558448 139666242034144 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1141] ppid=1123 vsize=10659884 memory=140493530646144 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1141/stat : 1141 (java) S 1123 1126 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089903 10915721216 10022 33554432000 4194304 4196468 140735635558448 139666240981936 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40044 KiB

[startup+0.700727 s]
/proc/loadavg: 2.15 1.94 1.44 3/228 1141
/proc/meminfo: memFree=26252200/32770624 swapFree=66957012/67108860
[pid=1126] ppid=1123 vsize=10661932 memory=62544 CPUtime=1.08 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1123 1126 32084 0 -1 1077944320 12769 0 0 0 102 6 0 0 20 0 15 0 414089896 10917818368 15636 33554432000 4194304 4196468 140735635558448 140735635540992 139666690219767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
/proc/1126/statm: 2665483 15636 3074 1 0 2627980 0
[pid=1126/tid=1128] ppid=1123 vsize=10661932 memory=1164 CPUtime=0.67 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) R 1123 1126 32084 0 -1 4202560 8910 0 0 0 62 5 0 0 20 0 15 0 414089897 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666694451792 139666674300254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1129] ppid=1123 vsize=10661932 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666297510288 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1130] ppid=1123 vsize=10661932 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1123 1126 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089898 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666296457488 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1131] ppid=1123 vsize=10661932 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666295405200 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1132] ppid=1123 vsize=10661932 memory=21196 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666294352400 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1133] ppid=1123 vsize=10661932 memory=5793437063161140328 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089899 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666249402992 139666690230914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1134] ppid=1123 vsize=10661932 memory=7739276948477931367 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1123 1126 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414089900 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666248348960 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1135] ppid=1123 vsize=10661932 memory=7955157273719429221 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1123 1126 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414089900 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666247296624 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1136] ppid=1123 vsize=10661932 memory=4638778424102965584 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089902 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666246244944 139666690238363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1137] ppid=1123 vsize=10661932 memory=7525626480698814056 CPUtime=0.1 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1123 1126 32084 0 -1 1077944384 823 0 0 0 10 0 0 0 20 0 15 0 414089902 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666245191792 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1138] ppid=1123 vsize=10661932 memory=-7313218805096079717 CPUtime=0.1 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) R 1123 1126 32084 0 -1 4202560 683 0 0 0 10 0 0 0 20 0 15 0 414089902 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666244138992 139666673705919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1139] ppid=1123 vsize=10661932 memory=-7019007802211101846 CPUtime=0.19 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1123 1126 32084 0 -1 1077944384 994 0 0 0 19 0 0 0 20 0 15 0 414089902 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666243086704 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1140] ppid=1123 vsize=10661932 memory=7682475212697334586 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414089902 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666242034144 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1141] ppid=1123 vsize=10661932 memory=-7595718147998060693 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1141/stat : 1141 (java) S 1123 1126 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089903 10917818368 15636 33554432000 4194304 4196468 140735635558448 139666240981936 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62544 KiB

[startup+1.50072 s]
/proc/loadavg: 2.15 1.94 1.44 3/228 1141
/proc/meminfo: memFree=26236780/32770624 swapFree=66957012/67108860
[pid=1126] ppid=1123 vsize=10663980 memory=75056 CPUtime=1.99 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1123 1126 32084 0 -1 1077944320 18306 0 0 0 191 8 0 0 20 0 15 0 414089896 10919915520 18764 33554432000 4194304 4196468 140735635558448 140735635540992 139666690219767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
/proc/1126/statm: 2665995 18764 3097 1 0 2628492 0
[pid=1126/tid=1128] ppid=1123 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) R 1123 1126 32084 0 -1 4202560 13162 0 0 0 141 7 0 0 20 0 15 0 414089897 10919915520 18764 33554432000 4194304 4196468 140735635558448 139666694451792 139666690233671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1129] ppid=1123 vsize=10663980 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10919915520 18764 33554432000 4194304 4196468 140735635558448 139666297510288 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1130] ppid=1123 vsize=10663980 memory=21196 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1123 1126 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414089898 10919915520 18764 33554432000 4194304 4196468 140735635558448 139666296457488 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1131] ppid=1123 vsize=10663980 memory=280986827269856 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10919915520 18764 33554432000 4194304 4196468 140735635558448 139666295405200 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1132] ppid=1123 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1123 1126 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414089898 10919915520 18764 33554432000 4194304 4196468 140735635558448 139666294352400 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1133] ppid=1123 vsize=10663980 memory=280986827278848 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1123 1126 32084 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 414089899 10919915520 18764 33554432000 4194304 4196468 140735635558448 139666249402992 139666690230914 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0

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

[startup+3.20087 s]
/proc/loadavg: 2.15 1.94 1.44 5/229 1142
/proc/meminfo: memFree=26104468/32770624 swapFree=66957012/67108860
[pid=1126] ppid=1123 vsize=10748324 memory=208072 CPUtime=6.86 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1123 1126 32084 0 -1 1077944320 32288 0 0 0 671 15 0 0 20 0 16 0 414089896 11006283776 52018 33554432000 4194304 4196468 140735635558448 140735635540992 139666690219767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
/proc/1126/statm: 2687081 52018 3359 1 0 2647217 0
[pid=1126/tid=1128] ppid=1123 vsize=10748324 memory=734378360886880355 CPUtime=1.87 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1123 1126 32084 0 -1 1077944384 15442 0 0 0 179 8 0 0 20 0 16 0 414089897 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666694462640 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1129] ppid=1123 vsize=10748324 memory=-2317720213663851332 CPUtime=0.01 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1123 1126 32084 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 16 0 414089898 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666297510288 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1130] ppid=1123 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1123 1126 32084 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414089898 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666296457488 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1131] ppid=1123 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1123 1126 32084 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414089898 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666295405200 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1132] ppid=1123 vsize=10748324 memory=140493413633804 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1123 1126 32084 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414089898 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666294352400 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1133] ppid=1123 vsize=10748324 memory=280986827311056 CPUtime=0.01 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1123 1126 32084 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414089899 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666249402992 139666690230914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1134] ppid=1123 vsize=10748324 memory=140493413638220 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1123 1126 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414089900 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666248349024 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1135] ppid=1123 vsize=10748324 memory=280986827311056 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1123 1126 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414089900 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666247296640 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1136] ppid=1123 vsize=10748324 memory=32 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089902 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666246244944 139666690238363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1137] ppid=1123 vsize=10748324 memory=0 CPUtime=1.38 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) R 1123 1126 32084 0 -1 4202560 2687 0 0 0 138 0 0 0 20 0 16 0 414089902 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666245191792 139666673632416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1138] ppid=1123 vsize=10748324 memory=2225 CPUtime=1.38 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) R 1123 1126 32084 0 -1 4202560 3957 0 0 0 138 0 0 0 20 0 16 0 414089902 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666244119464 139666675327346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1139] ppid=1123 vsize=10748324 memory=705 CPUtime=0.84 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1123 1126 32084 0 -1 1077944384 3347 0 0 0 84 0 0 0 20 0 16 0 414089902 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666243086704 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1140] ppid=1123 vsize=10748324 memory=2 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089902 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666242034144 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1141] ppid=1123 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1141/stat : 1141 (java) S 1123 1126 32084 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414089903 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666240981936 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1142] ppid=1123 vsize=10748324 memory=550 CPUtime=1.25 cores=0,2,4,6
/proc/1126/task/1142/stat : 1142 (java) R 1123 1126 32084 0 -1 4202560 4113 0 0 0 123 2 0 0 20 0 16 0 414090087 11006283776 52018 33554432000 4194304 4196468 140735635558448 139666156071248 139666321325521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
Current children cumulated CPU time: 6.86 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 208072 KiB

[startup+4.00078 s]*
/proc/loadavg: 2.15 1.94 1.44 4/229 1143
/proc/meminfo: memFree=26058244/32770624 swapFree=66957012/67108860
[pid=1126] ppid=1123 vsize=10748324 memory=245676 CPUtime=8.15 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1123 1126 32084 0 -1 1077944320 35611 0 0 0 799 16 0 0 20 0 16 0 414089896 11006283776 61419 33554432000 4194304 4196468 140735635558448 140735635540992 139666690219767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
/proc/1126/statm: 2687081 61419 3362 1 0 2647217 0
[pid=1126/tid=1128] ppid=1123 vsize=10748324 memory=5450919713671312938 CPUtime=1.87 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1123 1126 32084 0 -1 1077944384 15442 0 0 0 179 8 0 0 20 0 16 0 414089897 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666694462640 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1129] ppid=1123 vsize=10748324 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1123 1126 32084 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 16 0 414089898 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666297510288 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1130] ppid=1123 vsize=10748324 memory=140493530646144 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1123 1126 32084 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 414089898 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666296457488 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1131] ppid=1123 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1123 1126 32084 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414089898 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666295405200 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1132] ppid=1123 vsize=10748324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1123 1126 32084 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 414089898 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666294352400 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1133] ppid=1123 vsize=10748324 memory=140493530646144 CPUtime=0.01 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1123 1126 32084 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414089899 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666249402992 139666690230914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1134] ppid=1123 vsize=10748324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1123 1126 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414089900 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666248349024 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1135] ppid=1123 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1123 1126 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414089900 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666247296640 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1136] ppid=1123 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089902 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666246244944 139666690238363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1137] ppid=1123 vsize=10748324 memory=0 CPUtime=1.53 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1123 1126 32084 0 -1 1077944384 3516 0 0 0 153 0 0 0 20 0 16 0 414089902 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666245191792 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1138] ppid=1123 vsize=10748324 memory=-1 CPUtime=1.63 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1123 1126 32084 0 -1 1077944384 5745 0 0 0 163 0 0 0 20 0 16 0 414089902 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666244138992 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1139] ppid=1123 vsize=10748324 memory=222460 CPUtime=0.93 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1123 1126 32084 0 -1 1077944384 3970 0 0 0 92 1 0 0 20 0 16 0 414089902 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666243086704 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1140] ppid=1123 vsize=10748324 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089902 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666242034144 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1141] ppid=1123 vsize=10748324 memory=975 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1141/stat : 1141 (java) S 1123 1126 32084 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414089903 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666240981936 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1142] ppid=1123 vsize=10748324 memory=1352 CPUtime=2.06 cores=0,2,4,6
/proc/1126/task/1142/stat : 1142 (java) R 1123 1126 32084 0 -1 4202560 4196 0 0 0 203 3 0 0 20 0 16 0 414090087 11006283776 61419 33554432000 4194304 4196468 140735635558448 139666156081960 139666321943620 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
Current children cumulated CPU time: 8.15 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 245676 KiB

[startup+4.80078 s]
/proc/loadavg: 2.15 1.94 1.44 4/229 1143
/proc/meminfo: memFree=26058244/32770624 swapFree=66957012/67108860
[pid=1126] ppid=1123 vsize=10748324 memory=268860 CPUtime=9.1 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1123 1126 32084 0 -1 1077944320 35788 0 0 0 892 18 0 0 20 0 16 0 414089896 11006283776 67215 33554432000 4194304 4196468 140735635558448 140735635540992 139666690219767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
/proc/1126/statm: 2687081 67215 3362 1 0 2647217 0
[pid=1126/tid=1128] ppid=1123 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1123 1126 32084 0 -1 1077944384 15442 0 0 0 179 8 0 0 20 0 16 0 414089897 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666694462640 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1129] ppid=1123 vsize=10748324 memory=140493413556032 CPUtime=0.02 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1123 1126 32084 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 16 0 414089898 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666297510288 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1130] ppid=1123 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1123 1126 32084 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 16 0 414089898 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666296457488 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1131] ppid=1123 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1123 1126 32084 0 -1 1077944384 29 0 0 0 2 0 0 0 20 0 16 0 414089898 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666295405200 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1132] ppid=1123 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1123 1126 32084 0 -1 1077944384 45 0 0 0 2 0 0 0 20 0 16 0 414089898 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666294352400 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1133] ppid=1123 vsize=10748324 memory=55 CPUtime=0.01 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1123 1126 32084 0 -1 1077944384 1125 0 0 0 1 0 0 0 20 0 16 0 414089899 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666249402992 139666690230914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1134] ppid=1123 vsize=10748324 memory=4639939496134862184 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1123 1126 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414089900 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666248349024 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1135] ppid=1123 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1123 1126 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414089900 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666247296640 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1136] ppid=1123 vsize=10748324 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089902 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666246244944 139666690238363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1137] ppid=1123 vsize=10748324 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1123 1126 32084 0 -1 1077944384 3591 0 0 0 157 0 0 0 20 0 16 0 414089902 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666245191792 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1138] ppid=1123 vsize=10748324 memory=0 CPUtime=1.67 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1123 1126 32084 0 -1 1077944384 5753 0 0 0 167 0 0 0 20 0 16 0 414089902 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666244138992 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1139] ppid=1123 vsize=10748324 memory=8679812136973899076 CPUtime=0.95 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1123 1126 32084 0 -1 1077944384 4004 0 0 0 94 1 0 0 20 0 16 0 414089902 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666243086704 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1140] ppid=1123 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089902 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666242034144 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1141] ppid=1123 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1141/stat : 1141 (java) S 1123 1126 32084 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414089903 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666240981936 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1142] ppid=1123 vsize=10748324 memory=6944656592455359580 CPUtime=2.84 cores=0,2,4,6
/proc/1126/task/1142/stat : 1142 (java) R 1123 1126 32084 0 -1 4202560 4208 0 0 0 281 3 0 0 20 0 16 0 414090087 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666156083536 139666317895272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
Current children cumulated CPU time: 9.1 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268860 KiB

[startup+5.20077 s]
/proc/loadavg: 2.14 1.95 1.45 3/229 1143
/proc/meminfo: memFree=26035328/32770624 swapFree=66957012/67108860
[pid=1126] ppid=1123 vsize=10748324 memory=268860 CPUtime=9.52 cores=0,2,4,6
/proc/1126/stat : 1126 (java) S 1123 1126 32084 0 -1 1077944320 35820 0 0 0 934 18 0 0 20 0 16 0 414089896 11006283776 67215 33554432000 4194304 4196468 140735635558448 140735635540992 139666690219767 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
/proc/1126/statm: 2687081 67215 3362 1 0 2647217 0
[pid=1126/tid=1128] ppid=1123 vsize=10748324 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/1126/task/1128/stat : 1128 (java) S 1123 1126 32084 0 -1 1077944384 15442 0 0 0 179 8 0 0 20 0 16 0 414089897 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666694462640 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1129] ppid=1123 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1126/task/1129/stat : 1129 (java) S 1123 1126 32084 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 16 0 414089898 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666297510288 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1130] ppid=1123 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1126/task/1130/stat : 1130 (java) S 1123 1126 32084 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 16 0 414089898 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666296457488 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1131] ppid=1123 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1126/task/1131/stat : 1131 (java) S 1123 1126 32084 0 -1 1077944384 29 0 0 0 2 0 0 0 20 0 16 0 414089898 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666295405200 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1132] ppid=1123 vsize=10748324 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1126/task/1132/stat : 1132 (java) S 1123 1126 32084 0 -1 1077944384 45 0 0 0 2 0 0 0 20 0 16 0 414089898 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666294352400 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1133] ppid=1123 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1126/task/1133/stat : 1133 (java) S 1123 1126 32084 0 -1 1077944384 1125 0 0 0 1 0 0 0 20 0 16 0 414089899 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666249402992 139666690230914 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1134] ppid=1123 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1134/stat : 1134 (java) S 1123 1126 32084 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414089900 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666248349024 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1135] ppid=1123 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1135/stat : 1135 (java) S 1123 1126 32084 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414089900 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666247296640 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1136] ppid=1123 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1136/stat : 1136 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089902 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666246244944 139666690238363 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1137] ppid=1123 vsize=10748324 memory=0 CPUtime=1.59 cores=0,2,4,6
/proc/1126/task/1137/stat : 1137 (java) S 1123 1126 32084 0 -1 1077944384 3595 0 0 0 159 0 0 0 20 0 16 0 414089902 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666245191792 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1138] ppid=1123 vsize=10748324 memory=0 CPUtime=1.68 cores=0,2,4,6
/proc/1126/task/1138/stat : 1138 (java) S 1123 1126 32084 0 -1 1077944384 5756 0 0 0 168 0 0 0 20 0 16 0 414089902 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666244138992 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1139] ppid=1123 vsize=10748324 memory=610 CPUtime=0.95 cores=0,2,4,6
/proc/1126/task/1139/stat : 1139 (java) S 1123 1126 32084 0 -1 1077944384 4009 0 0 0 94 1 0 0 20 0 16 0 414089902 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666243086704 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1140] ppid=1123 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1140/stat : 1140 (java) S 1123 1126 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414089902 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666242034144 139666690229973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1141] ppid=1123 vsize=10748324 memory=268800 CPUtime=0 cores=0,2,4,6
/proc/1126/task/1141/stat : 1141 (java) S 1123 1126 32084 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 16 0 414089903 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666240981936 139666690230914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
[pid=1126/tid=1142] ppid=1123 vsize=10748324 memory=0 CPUtime=3.24 cores=0,2,4,6
/proc/1126/task/1142/stat : 1142 (java) R 1123 1126 32084 0 -1 4202560 4226 0 0 0 321 3 0 0 20 0 16 0 414090087 11006283776 67215 33554432000 4194304 4196468 140735635558448 139666156076944 139666690241597 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36327424 140735635559435 140735635559538 140735635559538 140735635562447 0
Current children cumulated CPU time: 9.52 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268860 KiB

Child status: 0
Real time (s): 5.24944
CPU time (s): 9.57958
CPU user time (s): 9.38602
CPU system time (s): 0.193567
CPU usage (%): 182.488
Max. virtual memory (cumulated for all children) (KiB): 10750640
Max. memory (cumulated for all children) (KiB): 268860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.38602
system time used= 0.193567
maximum resident set size= 269496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35908
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3176
involuntary context switches= 37


# summary of solver processes directly reported to runsolver:
#   pid: 1126
#   total CPU time (s): 9.57958
#   total CPU user time (s): 9.38602
#   total CPU system time (s): 0.193567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.075985 second user time and 0.121332 second system time

The end

Begin job on node147 at 2019-09-13 15:35:17
IDJOB=4390910
IDBENCH=126830
IDSOLVER=2832
FILE ID=node147/4390910-1568381760
RUNJOBID= node147-1568380472-32115
PBS_JOBID= 21701824
Free space on /tmp= 56536 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-6-5-30-1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390910-1568381760/watcher-4390910-1568381760 -o /tmp/evaluation-result-4390910-1568381760/solver-4390910-1568381760 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32115 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390910-1568381760.xml -cm

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

MD5SUM BENCH= ef915df37055c75537688959881a75d3
RANDOM SEED=1562995413

node147.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.52
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.52
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.52
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.52
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:        26292236 kB
MemAvailable:   31476356 kB
Buffers:          160844 kB
Cached:          5236488 kB
SwapCached:        48500 kB
Active:          2505888 kB
Inactive:        3284848 kB
Active(anon):     344792 kB
Inactive(anon):    89348 kB
Active(file):    2161096 kB
Inactive(file):  3195500 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:              8632 kB
Writeback:             0 kB
AnonPages:        499028 kB
Mapped:            56792 kB
Shmem:             32768 kB
Slab:             285116 kB
SReclaimable:     255984 kB
SUnreclaim:        29132 kB
KernelStack:        4048 kB
PageTables:         6244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1332176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    419840 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= 56528 MiB
End job on node147 at 2019-09-13 15:35:23