Trace number 4391114

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23SAT (TO)304 2400.03 2390.41

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-05-05-6.xml
MD5SUMf9b69c01e6bb1a0d57b760340d1825ed
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark303
Best CPU time to get the best result obtained on this benchmark29.7154
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints90
Number of domains7
Minimum domain size4
Maximum domain size405
Distribution of domain sizes[{"size":4,"count":5},{"size":5,"count":45},{"size":405,"count":55}]
Minimum variable degree2
Maximum variable degree6
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":50},{"degree":6,"count":25}]
Minimum constraint arity1
Maximum constraint arity7
Distribution of constraint arities[{"arity":1,"count":5},{"arity":2,"count":25},{"arity":3,"count":25},{"arity":5,"count":10},{"arity":7,"count":25}]
Number of extensional constraints25
Number of intensional constraints30
Distribution of constraint types[{"type":"extension","count":25},{"type":"intension","count":30},{"type":"allDifferent","count":5},{"type":"noOverlap","count":5},{"type":"element","count":25}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

2.34/1.90	
2.34/1.90	AbsCon 2 
2.59/1.91	
2.86/2.06	  Instance
2.86/2.06	    name=instance-4391114-1568388546, framework=COP, bounds=-infty..+infty
2.86/2.06	
2.86/2.06	  Loading variables...
2.86/2.10	  Loading constraints...
3.33/2.21	
3.33/2.21	  Domains
3.33/2.21	    nTypes=7, nValues=22520, sizes=[4#5,5#45,405#55]
3.33/2.21	  Variables
3.33/2.21	    count=105, degrees=[2#30,3#50,9#25]
3.33/2.21	  Objectives
3.33/2.21	    way=min, type=ObjMaximumLE
3.33/2.21	  Constraints
3.33/2.21	    count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.33/2.21	    distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.33/2.21	    tables=[2#50], nTotalTuples=100
3.33/2.21	    nExtStructures=(55,shared:20), nIntStructures=(15,shared:15), nCftStructures=(5,shared:20,unbuilt:111)
3.33/2.21	    wck=0.345, cpu=2.178, mem=26M522
3.33/2.22	  Solver SolverBacktrack being built...
3.33/2.22	
3.33/2.24	
3.33/2.24	  Solver
3.33/2.24	    guaranteedGAC=true
3.33/2.24	    wck=0.375, cpu=2.207, mem=37M164
4.29/2.81	
4.29/2.81	  Preprocessing
4.29/2.81	    filters=55, revisions=(140,useless=60), ccks=5530289, nACremovedValues=3780, nTotalRemovedValues=3780, inconcistency=false
4.29/2.81	    wck=0.564, cpu=2.773, mem=37M164
4.29/2.81	
4.29/2.86	    num=0, depth=9..9, filters=296, revisions=(331,useless=153), ccks=5901039, wck=0.623, mem=39M807
4.29/2.86	    decisions=29, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.29/2.86	    nFilterCalls=269, avgTableProportion=0.48698884758364314, avgTableSize=0.9739776951672863
4.29/2.86	    
4.50/2.91	    num=1, depth=3..3, filters=436, revisions=(396,useless=183), ccks=6348674, wck=0.669, mem=39M807
4.50/2.91	    decisions=54, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
4.50/2.91	    nFilterCalls=384, avgTableProportion=0.4908854166666667, avgTableSize=0.9817708333333334
4.50/2.91	    
4.78/3.01	    num=2, depth=19..19, filters=796, revisions=(963,useless=551), ccks=7359655, wck=0.769, mem=42M449
4.78/3.01	    decisions=97, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
4.78/3.01	    nFilterCalls=634, avgTableProportion=0.4471608832807571, avgTableSize=0.8943217665615142
4.78/3.01	    
4.78/3.07	    num=3, depth=0..0, filters=940, revisions=(1227,useless=679), ccks=7984734, wck=0.826, mem=42M449
4.78/3.07	    decisions=123, wrong=46, backtracks=0, failedAssignments=46, nogoods=33
4.78/3.07	    nFilterCalls=634, avgTableProportion=0.4471608832807571, avgTableSize=0.8943217665615142
4.78/3.07	    
4.93/3.16	    num=4, depth=0..0, filters=1122, revisions=(1549,useless=833), ccks=9112595, wck=0.924, mem=45M92
4.93/3.16	    decisions=151, wrong=60, backtracks=0, failedAssignments=60, nogoods=33
4.93/3.16	    nFilterCalls=634, avgTableProportion=0.4471608832807571, avgTableSize=0.8943217665615142
4.93/3.16	    
6.05/3.75	    num=5, depth=0..17, filters=1753, revisions=(2436,useless=1302), ccks=15783257, wck=1.506, mem=47M734
6.05/3.75	    decisions=200, wrong=76, backtracks=0, failedAssignments=76, nogoods=48
6.05/3.75	    nFilterCalls=940, avgTableProportion=0.4409574468085106, avgTableSize=0.8819148936170212
6.05/3.75	    
6.25/3.87	    num=6, depth=18..19, filters=2166, revisions=(2897,useless=1583), ccks=17200392, wck=1.634, mem=47M734
6.25/3.87	    decisions=253, wrong=93, backtracks=0, failedAssignments=93, nogoods=65
6.25/3.87	    nFilterCalls=1341, avgTableProportion=0.4444444444444444, avgTableSize=0.8888888888888888
6.25/3.87	    
6.68/4.05	o 377
6.68/4.06	    num=7, depth=15..104, filters=2844, revisions=(3637,useless=2005), ccks=19150302, wck=1.817, mem=50M376
6.68/4.06	    decisions=315, wrong=110, backtracks=1, failedAssignments=109, nogoods=81, foundSolutions=1, bestBound=377
6.68/4.06	    nFilterCalls=1991, avgTableProportion=0.40431943746860877, avgTableSize=0.8086388749372175
6.68/4.06	    
7.37/4.33	    num=8, depth=11..13, filters=3948, revisions=(4520,useless=2542), ccks=21719625, wck=2.09, mem=53M19
7.37/4.33	    decisions=372, wrong=132, backtracks=2, failedAssignments=130, nogoods=102, foundSolutions=1, bestBound=377
7.37/4.33	    nFilterCalls=2969, avgTableProportion=0.3861569552037723, avgTableSize=0.7723139104075446
7.37/4.33	    
7.83/4.50	    num=9, depth=13..13, filters=4304, revisions=(4874,useless=2731), ccks=23384087, wck=2.256, mem=55M661
7.83/4.50	    decisions=407, wrong=143, backtracks=2, failedAssignments=141, nogoods=113, foundSolutions=1, bestBound=377
7.83/4.50	    nFilterCalls=3304, avgTableProportion=0.39073849878934624, avgTableSize=0.7814769975786925
7.83/4.50	    
8.05/4.66	    num=10, depth=11..13, filters=4849, revisions=(5392,useless=3006), ccks=24996024, wck=2.418, mem=55M661
8.05/4.66	    decisions=446, wrong=157, backtracks=4, failedAssignments=153, nogoods=125, foundSolutions=1, bestBound=377
8.05/4.66	    nFilterCalls=3802, avgTableProportion=0.3912414518674382, avgTableSize=0.7824829037348764
8.05/4.66	    
8.76/4.97	    num=11, depth=7..10, filters=6362, revisions=(6808,useless=3587), ccks=28069200, wck=2.73, mem=58M304
8.76/4.97	    decisions=507, wrong=184, backtracks=18, failedAssignments=166, nogoods=128, foundSolutions=1, bestBound=377
8.76/4.97	    nFilterCalls=4845, avgTableProportion=0.39009287925696595, avgTableSize=0.7801857585139319
8.76/4.97	    
8.97/5.14	    num=12, depth=15..15, filters=6784, revisions=(7241,useless=3796), ccks=29814675, wck=2.901, mem=58M304
8.97/5.14	    decisions=550, wrong=198, backtracks=18, failedAssignments=180, nogoods=142, foundSolutions=1, bestBound=377
8.97/5.14	    nFilterCalls=5301, avgTableProportion=0.3880399924542539, avgTableSize=0.7760799849085078
8.97/5.14	    
9.07/5.29	    num=13, depth=9..20, filters=7548, revisions=(7938,useless=4128), ccks=31390768, wck=3.045, mem=60M946
9.07/5.29	    decisions=608, wrong=220, backtracks=24, failedAssignments=196, nogoods=144, foundSolutions=1, bestBound=377
9.07/5.29	    nFilterCalls=6049, avgTableProportion=0.3856835840634816, avgTableSize=0.7713671681269632
9.07/5.29	    
9.27/5.45	    num=14, depth=15..15, filters=8414, revisions=(8620,useless=4553), ccks=33145075, wck=3.208, mem=60M946
9.27/5.45	    decisions=657, wrong=237, backtracks=24, failedAssignments=213, nogoods=161, foundSolutions=1, bestBound=377
9.27/5.45	    nFilterCalls=7203, avgTableProportion=0.38206302929335, avgTableSize=0.7641260585867
9.27/5.45	    
9.47/5.66	    num=15, depth=7..26, filters=9201, revisions=(9568,useless=5089), ccks=35438048, wck=3.416, mem=60M946
9.47/5.66	    decisions=723, wrong=257, backtracks=25, failedAssignments=232, nogoods=180, foundSolutions=1, bestBound=377
9.47/5.66	    nFilterCalls=7798, avgTableProportion=0.38061041292639136, avgTableSize=0.7612208258527827
9.47/5.66	    
9.68/5.83	o 376
9.68/5.83	    num=16, depth=0..104, filters=9622, revisions=(10062,useless=5349), ccks=37322026, wck=3.589, mem=63M589
9.68/5.83	    decisions=755, wrong=259, backtracks=25, failedAssignments=234, nogoods=180, foundSolutions=2, bestBound=376
9.68/5.83	    nFilterCalls=8181, avgTableProportion=0.37666544432221, avgTableSize=0.75333088864442
9.68/5.83	    
9.92/6.02	    num=17, depth=16..16, filters=10710, revisions=(11091,useless=6052), ccks=39481134, wck=3.78, mem=63M589
9.92/6.02	    decisions=817, wrong=282, backtracks=25, failedAssignments=257, nogoods=203, foundSolutions=2, bestBound=376
9.92/6.02	    nFilterCalls=9613, avgTableProportion=0.3723083324664517, avgTableSize=0.7446166649329033
9.92/6.02	    
10.34/6.20	    num=18, depth=12..22, filters=11556, revisions=(11843,useless=6410), ccks=41582190, wck=3.964, mem=66M231
10.34/6.20	    decisions=866, wrong=296, backtracks=28, failedAssignments=268, nogoods=207, foundSolutions=2, bestBound=376
10.34/6.20	    nFilterCalls=10377, avgTableProportion=0.36672448684590925, avgTableSize=0.7334489736918185
10.34/6.20	    
10.54/6.39	    num=19, depth=14..16, filters=12700, revisions=(12740,useless=6910), ccks=43647452, wck=4.145, mem=66M231
10.54/6.39	    decisions=908, wrong=310, backtracks=30, failedAssignments=280, nogoods=212, foundSolutions=2, bestBound=376
10.54/6.39	    nFilterCalls=11558, avgTableProportion=0.3672348157120609, avgTableSize=0.7344696314241218
10.54/6.39	    
11.34/6.78	    num=20, depth=14..20, filters=13651, revisions=(13868,useless=7447), ccks=48211135, wck=4.536, mem=68M873
11.34/6.78	    decisions=974, wrong=336, backtracks=43, failedAssignments=293, nogoods=215, foundSolutions=2, bestBound=376
11.34/6.78	    nFilterCalls=12107, avgTableProportion=0.36664739406954655, avgTableSize=0.7332947881390931
11.34/6.78	    
11.74/6.97	o 374
11.74/6.98	    num=21, depth=106..104, filters=14173, revisions=(14409,useless=7738), ccks=50523478, wck=4.736, mem=68M873
11.74/6.98	    decisions=1005, wrong=336, backtracks=43, failedAssignments=293, nogoods=215, foundSolutions=3, bestBound=374
11.74/6.98	    nFilterCalls=12622, avgTableProportion=0.36408651560766914, avgTableSize=0.7281730312153383
11.74/6.98	    
12.36/7.22	    num=22, depth=11..20, filters=15897, revisions=(16161,useless=8849), ccks=53219385, wck=4.975, mem=71M516
12.36/7.22	    decisions=1060, wrong=355, backtracks=47, failedAssignments=309, nogoods=220, foundSolutions=3, bestBound=374
12.36/7.22	    nFilterCalls=14694, avgTableProportion=0.3466040560773105, avgTableSize=0.693208112154621
12.36/7.22	    
12.77/7.42	    num=23, depth=15..20, filters=16889, revisions=(17121,useless=9404), ccks=55567488, wck=5.184, mem=71M516
12.77/7.42	    decisions=1104, wrong=367, backtracks=48, failedAssignments=320, nogoods=231, foundSolutions=3, bestBound=374
12.77/7.42	    nFilterCalls=15764, avgTableProportion=0.3371923369703121, avgTableSize=0.6743846739406242
12.77/7.42	    
13.09/7.64	    num=24, depth=15..21, filters=18200, revisions=(18346,useless=10091), ccks=58037003, wck=5.402, mem=74M158
13.09/7.64	    decisions=1154, wrong=384, backtracks=53, failedAssignments=332, nogoods=239, foundSolutions=3, bestBound=374
13.09/7.64	    nFilterCalls=17027, avgTableProportion=0.3280965525342104, avgTableSize=0.6561931050684208
13.09/7.64	    
13.32/7.84	    num=25, depth=9..18, filters=19185, revisions=(19308,useless=10603), ccks=60314959, wck=5.599, mem=74M158
13.32/7.84	    decisions=1201, wrong=399, backtracks=56, failedAssignments=345, nogoods=250, foundSolutions=3, bestBound=374
13.32/7.84	    nFilterCalls=17879, avgTableProportion=0.325213938139717, avgTableSize=0.650427876279434
13.32/7.84	    
13.43/8.00	o 357
13.43/8.00	    num=26, depth=106..104, filters=19629, revisions=(19800,useless=10858), ccks=62182868, wck=5.759, mem=74M158
13.43/8.00	    decisions=1232, wrong=399, backtracks=56, failedAssignments=345, nogoods=250, foundSolutions=4, bestBound=357
13.43/8.00	    nFilterCalls=18314, avgTableProportion=0.32355028939609043, avgTableSize=0.6471005787921809
13.43/8.00	    
13.73/8.21	o 355
13.73/8.21	    num=27, depth=13..104, filters=20274, revisions=(20591,useless=11324), ccks=64566899, wck=5.966, mem=76M801
13.73/8.21	    decisions=1269, wrong=403, backtracks=58, failedAssignments=347, nogoods=252, foundSolutions=5, bestBound=355
13.73/8.21	    nFilterCalls=18941, avgTableProportion=0.322475054115411, avgTableSize=0.644950108230822
13.73/8.21	    
13.84/8.38	o 342
13.84/8.38	    num=28, depth=7..104, filters=21152, revisions=(21559,useless=11878), ccks=66510920, wck=6.136, mem=76M801
13.84/8.38	    decisions=1315, wrong=410, backtracks=61, failedAssignments=351, nogoods=255, foundSolutions=6, bestBound=342
13.84/8.38	    nFilterCalls=19738, avgTableProportion=0.32080251291924206, avgTableSize=0.6416050258384841
13.84/8.38	    
14.05/8.57	o 335
14.05/8.57	    num=29, depth=8..104, filters=22094, revisions=(22595,useless=12461), ccks=68768851, wck=6.333, mem=79M443
14.05/8.57	    decisions=1365, wrong=421, backtracks=63, failedAssignments=360, nogoods=262, foundSolutions=7, bestBound=335
14.05/8.57	    nFilterCalls=20598, avgTableProportion=0.31765219924264493, avgTableSize=0.6353043984852899
14.05/8.57	    
14.27/8.73	o 334
14.27/8.73	    num=30, depth=10..104, filters=22855, revisions=(23548,useless=13015), ccks=70587055, wck=6.493, mem=79M443
14.27/8.73	    decisions=1411, wrong=431, backtracks=65, failedAssignments=368, nogoods=266, foundSolutions=8, bestBound=334
14.27/8.73	    nFilterCalls=21263, avgTableProportion=0.31733527724215776, avgTableSize=0.6346705544843155
14.27/8.73	    
14.47/8.92	    num=31, depth=8..11, filters=24863, revisions=(25240,useless=13873), ccks=72705976, wck=6.683, mem=82M86
14.47/8.92	    decisions=1458, wrong=450, backtracks=74, failedAssignments=379, nogoods=270, foundSolutions=8, bestBound=334
14.47/8.92	    nFilterCalls=22734, avgTableProportion=0.3192794932699921, avgTableSize=0.6385589865399842
14.47/8.92	    
14.68/9.13	    num=32, depth=8..12, filters=25914, revisions=(26246,useless=14359), ccks=75102766, wck=6.89, mem=82M86
14.68/9.13	    decisions=1506, wrong=469, backtracks=82, failedAssignments=390, nogoods=275, foundSolutions=8, bestBound=334
14.68/9.13	    nFilterCalls=23461, avgTableProportion=0.32112868164187375, avgTableSize=0.6422573632837475
14.68/9.13	    
14.78/9.29	    num=33, depth=7..19, filters=26670, revisions=(27096,useless=14790), ccks=76922622, wck=7.047, mem=84M728
14.78/9.29	    decisions=1550, wrong=483, backtracks=85, failedAssignments=402, nogoods=283, foundSolutions=8, bestBound=334
14.78/9.29	    nFilterCalls=23986, avgTableProportion=0.3206453764696073, avgTableSize=0.6412907529392146
14.78/9.29	    
14.98/9.45	o 333
14.98/9.45	    num=34, depth=8..104, filters=27635, revisions=(27922,useless=15232), ccks=78734437, wck=7.206, mem=84M728
14.98/9.45	    decisions=1592, wrong=490, backtracks=87, failedAssignments=407, nogoods=287, foundSolutions=9, bestBound=333
14.98/9.45	    nFilterCalls=24881, avgTableProportion=0.3206060849644307, avgTableSize=0.6412121699288614
14.98/9.45	    
15.18/9.66	    num=35, depth=9..14, filters=28916, revisions=(29357,useless=16013), ccks=81212003, wck=7.422, mem=87M370
15.18/9.66	    decisions=1653, wrong=515, backtracks=98, failedAssignments=421, nogoods=290, foundSolutions=9, bestBound=333
15.18/9.66	    nFilterCalls=25843, avgTableProportion=0.31998993924853925, avgTableSize=0.6399798784970785
15.18/9.66	    
15.38/9.85	    num=36, depth=8..16, filters=30245, revisions=(30630,useless=16696), ccks=83345998, wck=7.609, mem=87M370
15.38/9.85	    decisions=1703, wrong=533, backtracks=108, failedAssignments=432, nogoods=293, foundSolutions=9, bestBound=333
15.38/9.85	    nFilterCalls=26903, avgTableProportion=0.3216741627327807, avgTableSize=0.6433483254655614
15.38/9.85	    
15.48/9.99	o 331
15.48/9.99	    num=37, depth=106..104, filters=30765, revisions=(31175,useless=16993), ccks=84948525, wck=7.749, mem=87M370
15.48/9.99	    decisions=1733, wrong=533, backtracks=108, failedAssignments=432, nogoods=293, foundSolutions=10, bestBound=331
15.48/9.99	    nFilterCalls=27449, avgTableProportion=0.32017559838245474, avgTableSize=0.6403511967649095
15.48/9.99	    
15.80/10.23	    num=38, depth=9..15, filters=32878, revisions=(33183,useless=18090), ccks=87699349, wck=7.992, mem=90M13
15.80/10.23	    decisions=1796, wrong=559, backtracks=123, failedAssignments=445, nogoods=296, foundSolutions=10, bestBound=331
15.80/10.23	    nFilterCalls=29086, avgTableProportion=0.31981021797428316, avgTableSize=0.6396204359485663
15.80/10.23	    
16.02/10.41	    num=39, depth=11..14, filters=33692, revisions=(34145,useless=18593), ccks=89729307, wck=8.168, mem=90M13
16.02/10.41	    decisions=1843, wrong=577, backtracks=130, failedAssignments=456, nogoods=300, foundSolutions=10, bestBound=331
16.02/10.41	    nFilterCalls=29553, avgTableProportion=0.32128717896660236, avgTableSize=0.6425743579332047
16.02/10.41	    
16.15/10.55	    num=40, depth=7..16, filters=34180, revisions=(34665,useless=18846), ccks=91399520, wck=8.313, mem=92M655
16.15/10.55	    decisions=1884, wrong=590, backtracks=131, failedAssignments=468, nogoods=307, foundSolutions=10, bestBound=331
16.15/10.55	    nFilterCalls=29941, avgTableProportion=0.322350622891687, avgTableSize=0.644701245783374
16.15/10.55	    
16.25/10.60	    num=41, depth=0..0, filters=34324, revisions=(34930,useless=18975), ccks=91952133, wck=8.362, mem=92M655
16.25/10.60	    decisions=1910, wrong=603, backtracks=131, failedAssignments=481, nogoods=307, foundSolutions=10, bestBound=331
16.25/10.60	    nFilterCalls=29941, avgTableProportion=0.322350622891687, avgTableSize=0.644701245783374
16.25/10.60	    
16.25/10.69	    num=42, depth=0..0, filters=34506, revisions=(35252,useless=19129), ccks=92968120, wck=8.45, mem=92M655
16.25/10.69	    decisions=1938, wrong=617, backtracks=131, failedAssignments=495, nogoods=307, foundSolutions=10, bestBound=331
16.25/10.69	    nFilterCalls=29941, avgTableProportion=0.322350622891687, avgTableSize=0.644701245783374
16.25/10.69	    
16.46/10.82	    num=43, depth=0..0, filters=34714, revisions=(35620,useless=19305), ccks=94435728, wck=8.577, mem=95M298
16.46/10.82	    decisions=1970, wrong=633, backtracks=131, failedAssignments=511, nogoods=307, foundSolutions=10, bestBound=331
16.46/10.82	    nFilterCalls=29941, avgTableProportion=0.322350622891687, avgTableSize=0.644701245783374
16.46/10.82	    
16.56/10.97	    num=44, depth=0..21, filters=35749, revisions=(36847,useless=19967), ccks=96174606, wck=8.728, mem=95M298
16.56/10.97	    decisions=2036, wrong=661, backtracks=142, failedAssignments=528, nogoods=314, foundSolutions=10, bestBound=331
16.56/10.97	    nFilterCalls=30618, avgTableProportion=0.3208080214253054, avgTableSize=0.6416160428506108
16.56/10.97	    
16.67/11.10	o 330
16.67/11.11	    num=45, depth=16..104, filters=36319, revisions=(37435,useless=20278), ccks=97749946, wck=8.865, mem=95M298
16.67/11.11	    decisions=2067, wrong=664, backtracks=143, failedAssignments=530, nogoods=316, foundSolutions=11, bestBound=330
16.67/11.11	    nFilterCalls=31178, avgTableProportion=0.3204663544807236, avgTableSize=0.6409327089614472
16.67/11.11	    
16.87/11.24	o 328
16.87/11.24	    num=46, depth=11..104, filters=37096, revisions=(38385,useless=20844), ccks=99286339, wck=8.999, mem=97M940
16.87/11.24	    decisions=2118, wrong=674, backtracks=147, failedAssignments=536, nogoods=319, foundSolutions=12, bestBound=328
16.87/11.24	    nFilterCalls=31925, avgTableProportion=0.31895066562255286, avgTableSize=0.6379013312451057
16.87/11.24	    
16.97/11.37	    num=47, depth=3..7, filters=37813, revisions=(39235,useless=21203), ccks=100754133, wck=9.128, mem=97M940
16.97/11.37	    decisions=2159, wrong=693, backtracks=157, failedAssignments=547, nogoods=323, foundSolutions=12, bestBound=328
16.97/11.37	    nFilterCalls=32332, avgTableProportion=0.3207348756649759, avgTableSize=0.6414697513299518
16.97/11.37	    
17.17/11.53	o 325
17.17/11.53	    num=48, depth=11..104, filters=38519, revisions=(39963,useless=21590), ccks=102631793, wck=9.291, mem=97M940
17.17/11.53	    decisions=2202, wrong=698, backtracks=158, failedAssignments=551, nogoods=327, foundSolutions=13, bestBound=325
17.17/11.53	    nFilterCalls=32961, avgTableProportion=0.31951397105670337, avgTableSize=0.6390279421134067
17.17/11.53	    
17.28/11.63	    num=49, depth=3..6, filters=39207, revisions=(40753,useless=21912), ccks=103787748, wck=9.393, mem=100M583
17.28/11.63	    decisions=2241, wrong=716, backtracks=165, failedAssignments=563, nogoods=332, foundSolutions=13, bestBound=325
17.28/11.63	    nFilterCalls=33352, avgTableProportion=0.3208503238186616, avgTableSize=0.6417006476373232
17.28/11.63	    
17.52/11.82	    num=50, depth=11..14, filters=40288, revisions=(41961,useless=22580), ccks=105966878, wck=9.581, mem=100M583
17.52/11.82	    decisions=2286, wrong=733, backtracks=174, failedAssignments=574, nogoods=340, foundSolutions=13, bestBound=325
17.52/11.82	    nFilterCalls=34113, avgTableProportion=0.32071351097821943, avgTableSize=0.6414270219564389
17.52/11.82	    
17.63/11.93	o 323
17.63/11.93	    num=51, depth=20..104, filters=40811, revisions=(42483,useless=22855), ccks=107235608, wck=9.693, mem=103M226
17.63/11.93	    decisions=2318, wrong=734, backtracks=174, failedAssignments=575, nogoods=341, foundSolutions=14, bestBound=323
17.63/11.93	    nFilterCalls=34633, avgTableProportion=0.3202148240117807, avgTableSize=0.6404296480235614
17.63/11.93	    
17.73/12.09	    num=52, depth=10..15, filters=41813, revisions=(43656,useless=23475), ccks=109061500, wck=9.852, mem=103M226
17.73/12.09	    decisions=2364, wrong=752, backtracks=183, failedAssignments=588, nogoods=342, foundSolutions=14, bestBound=323
17.73/12.09	    nFilterCalls=35245, avgTableProportion=0.32041424315505745, avgTableSize=0.6408284863101149
17.73/12.09	    
17.93/12.29	    num=53, depth=12..16, filters=42694, revisions=(44655,useless=23972), ccks=111394305, wck=10.053, mem=103M226
17.93/12.29	    decisions=2418, wrong=773, backtracks=194, failedAssignments=599, nogoods=344, foundSolutions=14, bestBound=323
17.93/12.29	    nFilterCalls=35716, avgTableProportion=0.3212985776682719, avgTableSize=0.6425971553365438
17.93/12.29	    
18.13/12.47	    num=54, depth=9..22, filters=43538, revisions=(45590,useless=24459), ccks=113458079, wck=10.231, mem=105M868
18.13/12.47	    decisions=2470, wrong=790, backtracks=199, failedAssignments=611, nogoods=351, foundSolutions=14, bestBound=323
18.13/12.47	    nFilterCalls=36341, avgTableProportion=0.32124872733276466, avgTableSize=0.6424974546655293
18.13/12.47	    
18.33/12.60	    num=55, depth=7..18, filters=44326, revisions=(46399,useless=24955), ccks=114897223, wck=10.357, mem=105M868
18.33/12.60	    decisions=2515, wrong=804, backtracks=200, failedAssignments=624, nogoods=364, foundSolutions=14, bestBound=323
18.33/12.60	    nFilterCalls=37150, avgTableProportion=0.3199461641991925, avgTableSize=0.639892328398385
18.33/12.60	    
18.33/12.63	    num=56, depth=0..0, filters=44464, revisions=(46639,useless=25061), ccks=115226596, wck=10.386, mem=105M868
18.33/12.63	    decisions=2543, wrong=818, backtracks=200, failedAssignments=638, nogoods=364, foundSolutions=14, bestBound=323
18.33/12.63	    nFilterCalls=37154, avgTableProportion=0.31996554879689937, avgTableSize=0.6399310975937987
18.33/12.63	    
18.33/12.68	    num=57, depth=0..2, filters=44705, revisions=(47006,useless=25216), ccks=115833852, wck=10.438, mem=108M511
18.33/12.68	    decisions=2580, wrong=836, backtracks=202, failedAssignments=654, nogoods=365, foundSolutions=14, bestBound=323
18.33/12.68	    nFilterCalls=37211, avgTableProportion=0.3202413264894789, avgTableSize=0.6404826529789578
18.33/12.68	    
18.63/12.94	    num=58, depth=7..16, filters=46088, revisions=(48255,useless=25851), ccks=118909341, wck=10.703, mem=108M511
18.63/12.94	    decisions=2634, wrong=858, backtracks=207, failedAssignments=671, nogoods=371, foundSolutions=14, bestBound=323
18.63/12.94	    nFilterCalls=38303, avgTableProportion=0.3187870401796204, avgTableSize=0.6375740803592408
18.63/12.94	    
18.74/13.06	    num=59, depth=9..18, filters=47315, revisions=(49462,useless=26503), ccks=120272932, wck=10.824, mem=111M153
18.74/13.06	    decisions=2710, wrong=889, backtracks=220, failedAssignments=690, nogoods=379, foundSolutions=14, bestBound=323
18.74/13.06	    nFilterCalls=39388, avgTableProportion=0.317774449070783, avgTableSize=0.635548898141566
18.74/13.06	    
19.03/13.39	    num=60, depth=14..21, filters=48834, revisions=(51252,useless=27434), ccks=124018717, wck=11.146, mem=111M153
19.03/13.39	    decisions=2788, wrong=921, backtracks=233, failedAssignments=711, nogoods=381, foundSolutions=14, bestBound=323
19.03/13.39	    nFilterCalls=40315, avgTableProportion=0.3171028153292819, avgTableSize=0.6342056306585638
19.03/13.39	    
19.33/13.63	o 322
19.33/13.63	    num=61, depth=8..104, filters=50605, revisions=(53112,useless=28444), ccks=126791619, wck=11.389, mem=113M796
19.33/13.63	    decisions=2879, wrong=954, backtracks=250, failedAssignments=730, nogoods=385, foundSolutions=15, bestBound=322
19.33/13.63	    nFilterCalls=41679, avgTableProportion=0.3146908515079537, avgTableSize=0.6293817030159073
19.33/13.63	    
19.63/13.99	    num=62, depth=10..14, filters=53616, revisions=(56214,useless=30080), ccks=130973206, wck=11.753, mem=116M438
19.63/13.99	    decisions=2985, wrong=1001, backtracks=275, failedAssignments=755, nogoods=391, foundSolutions=15, bestBound=322
19.63/13.99	    nFilterCalls=43707, avgTableProportion=0.3140114855743931, avgTableSize=0.6280229711487862
19.63/13.99	    
19.84/14.12	    num=63, depth=10..16, filters=54472, revisions=(57201,useless=30605), ccks=132434360, wck=11.88, mem=119M80
19.84/14.12	    decisions=3031, wrong=1019, backtracks=282, failedAssignments=766, nogoods=396, foundSolutions=15, bestBound=322
19.84/14.12	    nFilterCalls=44250, avgTableProportion=0.3137062146892655, avgTableSize=0.627412429378531
19.84/14.12	    
19.94/14.29	    num=64, depth=9..15, filters=55976, revisions=(58669,useless=31337), ccks=134403546, wck=12.053, mem=119M80
19.94/14.29	    decisions=3078, wrong=1038, backtracks=294, failedAssignments=778, nogoods=397, foundSolutions=15, bestBound=322
19.94/14.29	    nFilterCalls=45333, avgTableProportion=0.3129839189994044, avgTableSize=0.6259678379988088
19.94/14.29	    
20.14/14.48	    num=65, depth=8..18, filters=56833, revisions=(59588,useless=31821), ccks=136591692, wck=12.242, mem=121M723
20.14/14.48	    decisions=3124, wrong=1056, backtracks=299, failedAssignments=791, nogoods=402, foundSolutions=15, bestBound=322
20.14/14.48	    nFilterCalls=45933, avgTableProportion=0.3128252019245423, avgTableSize=0.6256504038490845
20.14/14.48	    
20.34/14.67	    num=66, depth=9..17, filters=58691, revisions=(61387,useless=32782), ccks=138706573, wck=12.428, mem=121M723
20.34/14.67	    decisions=3187, wrong=1082, backtracks=315, failedAssignments=805, nogoods=406, foundSolutions=15, bestBound=322
20.34/14.67	    nFilterCalls=47413, avgTableProportion=0.31148630122540233, avgTableSize=0.6229726024508047
20.34/14.67	    
20.64/14.93	    num=67, depth=8..12, filters=60157, revisions=(62959,useless=33572), ccks=141791255, wck=12.694, mem=124M365
20.64/14.93	    decisions=3248, wrong=1108, backtracks=328, failedAssignments=821, nogoods=412, foundSolutions=15, bestBound=322
20.64/14.93	    nFilterCalls=48135, avgTableProportion=0.31255842941726397, avgTableSize=0.6251168588345279
20.64/14.93	    
20.94/15.23	    num=68, depth=12..18, filters=61478, revisions=(64484,useless=34391), ccks=145286753, wck=12.993, mem=127M8
20.94/15.23	    decisions=3327, wrong=1140, backtracks=343, failedAssignments=838, nogoods=415, foundSolutions=15, bestBound=322
20.94/15.23	    nFilterCalls=49012, avgTableProportion=0.3108728474659267, avgTableSize=0.6217456949318534
20.94/15.23	    
21.14/15.43	    num=69, depth=10..18, filters=63037, revisions=(66062,useless=35279), ccks=147506398, wck=13.187, mem=127M8
21.14/15.43	    decisions=3397, wrong=1169, backtracks=358, failedAssignments=857, nogoods=419, foundSolutions=15, bestBound=322
21.14/15.43	    nFilterCalls=50274, avgTableProportion=0.3095138640251422, avgTableSize=0.6190277280502844
21.14/15.43	    
21.34/15.65	    num=70, depth=9..20, filters=64589, revisions=(67751,useless=36182), ccks=150069402, wck=13.41, mem=129M650
21.34/15.65	    decisions=3483, wrong=1205, backtracks=374, failedAssignments=878, nogoods=426, foundSolutions=15, bestBound=322
21.34/15.65	    nFilterCalls=51357, avgTableProportion=0.30993827521077943, avgTableSize=0.6198765504215589
21.34/15.65	    
21.75/16.02	    num=71, depth=10..21, filters=66162, revisions=(69607,useless=37170), ccks=154398752, wck=13.781, mem=132M293
21.75/16.02	    decisions=3567, wrong=1242, backtracks=392, failedAssignments=901, nogoods=427, foundSolutions=15, bestBound=322
21.75/16.02	    nFilterCalls=52219, avgTableProportion=0.31033723357398646, avgTableSize=0.6206744671479729
21.75/16.02	    
21.85/16.19	    num=72, depth=9..17, filters=67612, revisions=(71120,useless=38017), ccks=156353267, wck=13.954, mem=132M293
21.85/16.19	    decisions=3648, wrong=1277, backtracks=405, failedAssignments=926, nogoods=430, foundSolutions=15, bestBound=322
21.85/16.19	    nFilterCalls=53287, avgTableProportion=0.31075121511813386, avgTableSize=0.6215024302362677
21.85/16.19	    
22.29/16.52	    num=73, depth=6..18, filters=70014, revisions=(73786,useless=39434), ccks=160076710, wck=14.278, mem=134M935
22.29/16.52	    decisions=3752, wrong=1324, backtracks=426, failedAssignments=954, nogoods=436, foundSolutions=15, bestBound=322
22.29/16.52	    nFilterCalls=54870, avgTableProportion=0.30827410242391107, avgTableSize=0.6165482048478221
22.29/16.52	    
22.69/16.93	    num=74, depth=8..16, filters=72778, revisions=(76693,useless=40951), ccks=164835558, wck=14.691, mem=140M220
22.69/16.93	    decisions=3872, wrong=1378, backtracks=464, failedAssignments=985, nogoods=441, foundSolutions=15, bestBound=322
22.69/16.93	    nFilterCalls=56775, avgTableProportion=0.3096433289299868, avgTableSize=0.6192866578599736
22.69/16.93	    
23.19/17.45	    num=75, depth=9..17, filters=74778, revisions=(79140,useless=42293), ccks=170882934, wck=15.209, mem=142M778
23.19/17.45	    decisions=3982, wrong=1427, backtracks=485, failedAssignments=1019, nogoods=443, foundSolutions=15, bestBound=322
23.19/17.45	    nFilterCalls=57795, avgTableProportion=0.3110303659486115, avgTableSize=0.622060731897223
23.19/17.45	    
23.53/17.77	    num=76, depth=8..20, filters=78353, revisions=(82404,useless=44023), ccks=174295823, wck=15.526, mem=24M706
23.53/17.77	    decisions=4117, wrong=1488, backtracks=518, failedAssignments=1056, nogoods=447, foundSolutions=15, bestBound=322
23.53/17.77	    nFilterCalls=60558, avgTableProportion=0.30884441362000065, avgTableSize=0.6176888272400013
23.53/17.77	    
23.73/17.95	o 319
23.73/17.95	    num=77, depth=8..104, filters=80528, revisions=(84448,useless=45113), ccks=176362305, wck=15.712, mem=27M322
23.73/17.95	    decisions=4219, wrong=1524, backtracks=534, failedAssignments=1079, nogoods=453, foundSolutions=16, bestBound=319
23.73/17.95	    nFilterCalls=62286, avgTableProportion=0.30826349420415505, avgTableSize=0.6165269884083101
23.73/17.95	    
24.14/18.31	    num=78, depth=7..18, filters=83564, revisions=(87760,useless=46886), ccks=180362189, wck=16.065, mem=29M938
24.14/18.31	    decisions=4376, wrong=1598, backtracks=568, failedAssignments=1124, nogoods=455, foundSolutions=16, bestBound=319
24.14/18.31	    nFilterCalls=64171, avgTableProportion=0.3078805067709713, avgTableSize=0.6157610135419426
24.14/18.31	    
24.34/18.51	    num=79, depth=9..15, filters=84466, revisions=(88686,useless=47340), ccks=182719486, wck=16.27, mem=29M938
24.34/18.51	    decisions=4422, wrong=1616, backtracks=577, failedAssignments=1135, nogoods=458, foundSolutions=16, bestBound=319
24.34/18.51	    nFilterCalls=64816, avgTableProportion=0.3083266477412984, avgTableSize=0.6166532954825968
24.34/18.51	    
24.54/18.78	    num=80, depth=9..14, filters=85550, revisions=(89861,useless=47951), ccks=185820551, wck=16.537, mem=32M554
24.54/18.78	    decisions=4474, wrong=1636, backtracks=587, failedAssignments=1147, nogoods=461, foundSolutions=16, bestBound=319
24.54/18.78	    nFilterCalls=65618, avgTableProportion=0.30844432929988724, avgTableSize=0.6168886585997745
24.54/18.78	    
24.85/19.01	    num=81, depth=8..16, filters=86664, revisions=(91024,useless=48554), ccks=188493124, wck=16.769, mem=35M170
24.85/19.01	    decisions=4523, wrong=1655, backtracks=595, failedAssignments=1160, nogoods=467, foundSolutions=16, bestBound=319
24.85/19.01	    nFilterCalls=66393, avgTableProportion=0.3094452728450288, avgTableSize=0.6188905456900576
24.85/19.01	    
25.04/19.27	    num=82, depth=8..11, filters=87982, revisions=(92432,useless=49265), ccks=191466645, wck=17.026, mem=35M170
25.04/19.27	    decisions=4581, wrong=1679, backtracks=605, failedAssignments=1174, nogoods=473, foundSolutions=16, bestBound=319
25.04/19.27	    nFilterCalls=67244, avgTableProportion=0.3101689370055321, avgTableSize=0.6203378740110642
25.04/19.27	    
25.24/19.50	    num=83, depth=9..15, filters=89418, revisions=(93892,useless=50039), ccks=194099411, wck=17.256, mem=37M785
25.24/19.50	    decisions=4644, wrong=1706, backtracks=622, failedAssignments=1190, nogoods=475, foundSolutions=16, bestBound=319
25.24/19.50	    nFilterCalls=68246, avgTableProportion=0.3113808867918999, avgTableSize=0.6227617735837998
25.24/19.50	    
25.44/19.69	    num=84, depth=7..14, filters=90435, revisions=(95058,useless=50642), ccks=196316489, wck=17.449, mem=37M785
25.44/19.69	    decisions=4708, wrong=1733, backtracks=636, failedAssignments=1207, nogoods=477, foundSolutions=16, bestBound=319
25.44/19.69	    nFilterCalls=68911, avgTableProportion=0.31202565628129036, avgTableSize=0.6240513125625807
25.44/19.69	    
25.74/19.97	    num=85, depth=8..13, filters=92074, revisions=(96878,useless=51583), ccks=199585297, wck=17.73, mem=40M401
25.74/19.97	    decisions=4780, wrong=1765, backtracks=651, failedAssignments=1226, nogoods=478, foundSolutions=16, bestBound=319
25.74/19.97	    nFilterCalls=69816, avgTableProportion=0.3116620831900997, avgTableSize=0.6233241663801994
25.74/19.97	    
26.14/20.35	    num=86, depth=6..17, filters=93729, revisions=(98665,useless=52490), ccks=204032679, wck=18.111, mem=43M17
26.14/20.35	    decisions=4866, wrong=1801, backtracks=669, failedAssignments=1247, nogoods=483, foundSolutions=16, bestBound=319
26.14/20.35	    nFilterCalls=70756, avgTableProportion=0.3123975351913619, avgTableSize=0.6247950703827237
26.14/20.35	    
26.44/20.64	    num=87, depth=9..15, filters=95862, revisions=(100994,useless=53732), ccks=207390422, wck=18.403, mem=45M633
26.44/20.64	    decisions=4950, wrong=1838, backtracks=691, failedAssignments=1270, nogoods=487, foundSolutions=16, bestBound=319
26.44/20.64	    nFilterCalls=72124, avgTableProportion=0.31244107370639457, avgTableSize=0.6248821474127891
26.44/20.64	    
26.54/20.74	    num=88, depth=12..13, filters=96606, revisions=(101711,useless=54096), ccks=208423905, wck=18.495, mem=45M633
26.54/20.74	    decisions=5014, wrong=1864, backtracks=692, failedAssignments=1295, nogoods=512, foundSolutions=16, bestBound=319
26.54/20.74	    nFilterCalls=72788, avgTableProportion=0.31145243721492555, avgTableSize=0.6229048744298511
26.54/20.74	    
26.85/21.07	    num=89, depth=3..16, filters=98639, revisions=(104023,useless=55349), ccks=212270762, wck=18.828, mem=48M249
26.85/21.07	    decisions=5118, wrong=1910, backtracks=713, failedAssignments=1323, nogoods=522, foundSolutions=16, bestBound=319
26.85/21.07	    nFilterCalls=74058, avgTableProportion=0.31154635555915633, avgTableSize=0.6230927111183127
26.85/21.07	    
27.24/21.41	    num=90, depth=9..14, filters=102476, revisions=(107565,useless=57203), ccks=216179469, wck=19.174, mem=50M865
27.24/21.41	    decisions=5248, wrong=1970, backtracks=747, failedAssignments=1354, nogoods=525, foundSolutions=16, bestBound=319
27.24/21.41	    nFilterCalls=76799, avgTableProportion=0.3121720334900194, avgTableSize=0.6243440669800387
27.24/21.41	    
27.64/21.83	    num=91, depth=9..20, filters=104982, revisions=(110339,useless=58668), ccks=220976751, wck=19.588, mem=53M481
27.64/21.83	    decisions=5376, wrong=2028, backtracks=777, failedAssignments=1388, nogoods=529, foundSolutions=16, bestBound=319
27.64/21.83	    nFilterCalls=78390, avgTableProportion=0.31260364842454397, avgTableSize=0.6252072968490879
27.64/21.83	    
27.95/22.15	    num=92, depth=8..16, filters=107114, revisions=(112664,useless=59817), ccks=224637608, wck=19.906, mem=56M97
27.95/22.15	    decisions=5495, wrong=2082, backtracks=797, failedAssignments=1425, nogoods=537, foundSolutions=16, bestBound=319
27.95/22.15	    nFilterCalls=79649, avgTableProportion=0.312960614696983, avgTableSize=0.625921229393966
27.95/22.15	    
28.44/22.68	    num=93, depth=9..15, filters=111217, revisions=(116879,useless=61963), ccks=230780512, wck=20.439, mem=61M329
28.44/22.68	    decisions=5652, wrong=2156, backtracks=839, failedAssignments=1466, nogoods=545, foundSolutions=16, bestBound=319
28.44/22.68	    nFilterCalls=81914, avgTableProportion=0.3133408208609029, avgTableSize=0.6266816417218058
28.44/22.68	    
29.04/23.20	    num=94, depth=8..16, filters=114642, revisions=(120621,useless=63817), ccks=236790910, wck=20.959, mem=63M945
29.04/23.20	    decisions=5807, wrong=2229, backtracks=877, failedAssignments=1511, nogoods=551, foundSolutions=16, bestBound=319
29.04/23.20	    nFilterCalls=83730, avgTableProportion=0.3139316851785501, avgTableSize=0.6278633703571002
29.04/23.20	    
29.44/23.65	    num=95, depth=7..20, filters=118264, revisions=(124426,useless=65806), ccks=241966321, wck=21.41, mem=66M561
29.44/23.65	    decisions=5990, wrong=2316, backtracks=924, failedAssignments=1561, nogoods=556, foundSolutions=16, bestBound=319
29.44/23.65	    nFilterCalls=86075, avgTableProportion=0.31379610804530933, avgTableSize=0.6275922160906187
29.44/23.65	    
30.45/24.61	    num=96, depth=5..15, filters=121389, revisions=(127762,useless=67416), ccks=253162130, wck=22.365, mem=71M792
30.45/24.61	    decisions=6171, wrong=2401, backtracks=963, failedAssignments=1616, nogoods=564, foundSolutions=16, bestBound=319
30.45/24.61	    nFilterCalls=87639, avgTableProportion=0.31400974452013375, avgTableSize=0.6280194890402675
30.45/24.61	    
30.96/25.18	    num=97, depth=8..22, filters=125247, revisions=(132172,useless=69703), ccks=259774233, wck=22.939, mem=77M24
30.96/25.18	    decisions=6399, wrong=2507, backtracks=1022, failedAssignments=1677, nogoods=571, foundSolutions=16, bestBound=319
30.96/25.18	    nFilterCalls=89595, avgTableProportion=0.31444277024387524, avgTableSize=0.6288855404877505
30.96/25.18	    
31.48/25.66	    num=98, depth=8..18, filters=129639, revisions=(136793,useless=72174), ccks=265311489, wck=23.425, mem=82M256
31.48/25.66	    decisions=6642, wrong=2624, backtracks=1079, failedAssignments=1744, nogoods=578, foundSolutions=16, bestBound=319
31.48/25.66	    nFilterCalls=92659, avgTableProportion=0.31232799835957653, avgTableSize=0.6246559967191531
31.48/25.66	    
32.31/26.44	    num=99, depth=7..18, filters=134727, revisions=(142522,useless=74989), ccks=274317220, wck=24.203, mem=88M809
32.31/26.44	    decisions=6906, wrong=2752, backtracks=1139, failedAssignments=1818, nogoods=582, foundSolutions=16, bestBound=319
32.31/26.44	    nFilterCalls=95520, avgTableProportion=0.30955820770519266, avgTableSize=0.6191164154103853
32.31/26.44	    
33.31/27.49	    num=100, depth=7..14, filters=140765, revisions=(149175,useless=78653), ccks=286416126, wck=25.248, mem=96M657
33.31/27.49	    decisions=7196, wrong=2892, backtracks=1217, failedAssignments=1899, nogoods=593, foundSolutions=16, bestBound=319
33.31/27.49	    nFilterCalls=98977, avgTableProportion=0.3100265718298191, avgTableSize=0.6200531436596382
33.31/27.49	    
34.21/28.31	    num=101, depth=7..15, filters=148215, revisions=(156813,useless=82735), ccks=295870587, wck=26.072, mem=101M889
34.21/28.31	    decisions=7490, wrong=3033, backtracks=1284, failedAssignments=1988, nogoods=600, foundSolutions=16, bestBound=319
34.21/28.31	    nFilterCalls=103631, avgTableProportion=0.3104669452190947, avgTableSize=0.6209338904381894
34.21/28.31	    
35.02/29.15	    num=102, depth=8..21, filters=152531, revisions=(161960,useless=85544), ccks=305627744, wck=26.909, mem=107M120
35.02/29.15	    decisions=7860, wrong=3213, backtracks=1370, failedAssignments=2086, nogoods=614, foundSolutions=16, bestBound=319
35.02/29.15	    nFilterCalls=106377, avgTableProportion=0.30954529644566026, avgTableSize=0.6190905928913205
35.02/29.15	    
35.84/29.90	    num=103, depth=8..14, filters=161936, revisions=(170793,useless=90236), ccks=314070535, wck=27.662, mem=114M968
35.84/29.90	    decisions=8153, wrong=3355, backtracks=1419, failedAssignments=2194, nogoods=629, foundSolutions=16, bestBound=319
35.84/29.90	    nFilterCalls=113008, avgTableProportion=0.309694888857426, avgTableSize=0.619389777714852
35.84/29.90	    
36.84/30.94	    num=104, depth=0..18, filters=167529, revisions=(177290,useless=93734), ccks=326082541, wck=28.699, mem=122M816
36.84/30.94	    decisions=8498, wrong=3522, backtracks=1471, failedAssignments=2313, nogoods=638, foundSolutions=16, bestBound=319
36.84/30.94	    nFilterCalls=116251, avgTableProportion=0.30880594575530534, avgTableSize=0.6176118915106107
36.84/30.94	    
37.54/31.67	    num=105, depth=8..13, filters=177064, revisions=(185698,useless=98269), ccks=334321634, wck=29.433, mem=130M664
37.54/31.67	    decisions=8879, wrong=3708, backtracks=1550, failedAssignments=2444, nogoods=646, foundSolutions=16, bestBound=319
37.54/31.67	    nFilterCalls=123369, avgTableProportion=0.3097496129497686, avgTableSize=0.6194992258995372
37.54/31.67	    
38.95/33.09	    num=106, depth=6..17, filters=185856, revisions=(195054,useless=103248), ccks=350640016, wck=30.852, mem=141M127
38.95/33.09	    decisions=9335, wrong=3933, backtracks=1656, failedAssignments=2588, nogoods=647, foundSolutions=16, bestBound=319
38.95/33.09	    nFilterCalls=128844, avgTableProportion=0.31091863028158084, avgTableSize=0.6218372605631617
38.95/33.09	    
39.34/33.40	o 310
39.34/33.40	    num=107, depth=10..104, filters=188696, revisions=(197971,useless=104814), ccks=354135989, wck=31.159, mem=143M743
39.34/33.40	    decisions=9480, wrong=3990, backtracks=1676, failedAssignments=2631, nogoods=659, foundSolutions=17, bestBound=310
39.34/33.40	    nFilterCalls=131145, avgTableProportion=0.3089137977048305, avgTableSize=0.617827595409661
39.34/33.40	    
40.47/34.59	    num=108, depth=6..16, filters=204385, revisions=(213419,useless=113037), ccks=367452673, wck=32.351, mem=154M207
40.47/34.59	    decisions=10143, wrong=4317, backtracks=1862, failedAssignments=2805, nogoods=666, foundSolutions=17, bestBound=310
40.47/34.59	    nFilterCalls=142008, avgTableProportion=0.30956706664413275, avgTableSize=0.6191341332882655
40.47/34.59	    
40.69/34.75	    num=109, depth=6..14, filters=205091, revisions=(214230,useless=113461), ccks=369137555, wck=32.507, mem=24M755
40.69/34.75	    decisions=10188, wrong=4335, backtracks=1870, failedAssignments=2816, nogoods=670, foundSolutions=17, bestBound=310
40.69/34.75	    nFilterCalls=142408, avgTableProportion=0.30974383461603283, avgTableSize=0.6194876692320657
40.69/34.75	    
40.89/34.93	    num=110, depth=6..11, filters=205792, revisions=(215065,useless=113887), ccks=371306399, wck=32.691, mem=24M755
40.89/34.93	    decisions=10233, wrong=4354, backtracks=1878, failedAssignments=2828, nogoods=672, foundSolutions=17, bestBound=310
40.89/34.93	    nFilterCalls=142751, avgTableProportion=0.30999082318162396, avgTableSize=0.6199816463632479
40.89/34.93	    
41.00/35.04	    num=111, depth=6..14, filters=206520, revisions=(215771,useless=114248), ccks=372606969, wck=32.805, mem=27M371
41.00/35.04	    decisions=10277, wrong=4372, backtracks=1884, failedAssignments=2841, nogoods=678, foundSolutions=17, bestBound=310
41.00/35.04	    nFilterCalls=143265, avgTableProportion=0.3102432555055317, avgTableSize=0.6204865110110634
41.00/35.04	    
41.20/35.24	    num=112, depth=6..14, filters=207552, revisions=(216985,useless=114879), ccks=374886937, wck=32.999, mem=27M371
41.20/35.24	    decisions=10333, wrong=4396, backtracks=1895, failedAssignments=2855, nogoods=684, foundSolutions=17, bestBound=310
41.20/35.24	    nFilterCalls=143779, avgTableProportion=0.31054604636282074, avgTableSize=0.6210920927256415
41.20/35.24	    
41.40/35.47	    num=113, depth=6..19, filters=208404, revisions=(217966,useless=115350), ccks=377679978, wck=33.232, mem=29M987
41.40/35.47	    decisions=10398, wrong=4423, backtracks=1906, failedAssignments=2871, nogoods=690, foundSolutions=17, bestBound=310
41.40/35.47	    nFilterCalls=144279, avgTableProportion=0.31068970536252677, avgTableSize=0.6213794107250535
41.40/35.47	    
41.80/35.81	    num=114, depth=9..14, filters=209802, revisions=(219564,useless=116171), ccks=381595601, wck=33.568, mem=32M603
41.80/35.81	    decisions=10461, wrong=4450, backtracks=1922, failedAssignments=2888, nogoods=692, foundSolutions=17, bestBound=310
41.80/35.81	    nFilterCalls=145052, avgTableProportion=0.3110298375754902, avgTableSize=0.6220596751509804
41.80/35.81	    
42.20/36.23	    num=115, depth=6..14, filters=211640, revisions=(221558,useless=117198), ccks=386619993, wck=33.991, mem=32M603
42.20/36.23	    decisions=10532, wrong=4481, backtracks=1935, failedAssignments=2907, nogoods=697, foundSolutions=17, bestBound=310
42.20/36.23	    nFilterCalls=146060, avgTableProportion=0.31131726687662603, avgTableSize=0.6226345337532521
42.20/36.23	    
42.60/36.61	    num=116, depth=9..15, filters=213397, revisions=(223584,useless=118245), ccks=391030836, wck=34.369, mem=35M219
42.60/36.61	    decisions=10610, wrong=4515, backtracks=1949, failedAssignments=2928, nogoods=699, foundSolutions=17, bestBound=310
42.60/36.61	    nFilterCalls=146974, avgTableProportion=0.311517683399785, avgTableSize=0.62303536679957
42.60/36.61	    
42.80/36.88	    num=117, depth=8..16, filters=215284, revisions=(225617,useless=119379), ccks=394222617, wck=34.645, mem=37M835
42.80/36.88	    decisions=10700, wrong=4554, backtracks=1968, failedAssignments=2951, nogoods=706, foundSolutions=17, bestBound=310
42.80/36.88	    nFilterCalls=148309, avgTableProportion=0.311181384811441, avgTableSize=0.622362769622882
42.80/36.88	    
43.11/37.19	    num=118, depth=6..17, filters=216500, revisions=(226973,useless=120023), ccks=397915406, wck=34.953, mem=40M451
43.11/37.19	    decisions=10782, wrong=4590, backtracks=1981, failedAssignments=2976, nogoods=710, foundSolutions=17, bestBound=310
43.11/37.19	    nFilterCalls=148982, avgTableProportion=0.3112288732867058, avgTableSize=0.6224577465734116
43.11/37.19	    
43.30/37.39	    num=119, depth=8..12, filters=217910, revisions=(228631,useless=120951), ccks=400258374, wck=35.155, mem=43M66
43.30/37.39	    decisions=10869, wrong=4629, backtracks=1997, failedAssignments=3004, nogoods=720, foundSolutions=17, bestBound=310
43.30/37.39	    nFilterCalls=149778, avgTableProportion=0.31141422638838817, avgTableSize=0.6228284527767763
43.30/37.39	    
43.50/37.57	    num=120, depth=5..10, filters=219441, revisions=(230263,useless=121753), ccks=402275955, wck=35.332, mem=45M682
43.50/37.57	    decisions=10965, wrong=4674, backtracks=2011, failedAssignments=3035, nogoods=722, foundSolutions=17, bestBound=310
43.50/37.57	    nFilterCalls=150729, avgTableProportion=0.3117581885370433, avgTableSize=0.6235163770740866
43.50/37.57	    
43.90/37.93	    num=121, depth=6..15, filters=221081, revisions=(232239,useless=122805), ccks=406560670, wck=35.694, mem=48M298
43.90/37.93	    decisions=11082, wrong=4728, backtracks=2033, failedAssignments=3069, nogoods=729, foundSolutions=17, bestBound=310
43.90/37.93	    nFilterCalls=151529, avgTableProportion=0.312158068752516, avgTableSize=0.624316137505032
43.90/37.93	    
44.30/38.32	    num=122, depth=6..12, filters=223092, revisions=(234597,useless=124004), ccks=411159358, wck=36.084, mem=50M914
44.30/38.32	    decisions=11212, wrong=4790, backtracks=2060, failedAssignments=3106, nogoods=740, foundSolutions=17, bestBound=310
44.30/38.32	    nFilterCalls=152513, avgTableProportion=0.31288152485361903, avgTableSize=0.6257630497072381
44.30/38.32	    
44.61/38.67	    num=123, depth=4..20, filters=225916, revisions=(237408,useless=125414), ccks=415087621, wck=36.428, mem=53M530
44.61/38.67	    decisions=11356, wrong=4856, backtracks=2094, failedAssignments=3147, nogoods=750, foundSolutions=17, bestBound=310
44.61/38.67	    nFilterCalls=154238, avgTableProportion=0.3129514127517214, avgTableSize=0.6259028255034428
44.61/38.67	    
45.21/39.24	    num=124, depth=8..16, filters=229531, revisions=(241249,useless=127461), ccks=421818471, wck=36.998, mem=58M762
45.21/39.24	    decisions=11506, wrong=4927, backtracks=2131, failedAssignments=3192, nogoods=753, foundSolutions=17, bestBound=310
45.21/39.24	    nFilterCalls=156333, avgTableProportion=0.31282902522180217, avgTableSize=0.6256580504436043
45.21/39.24	    
45.51/39.52	    num=125, depth=6..15, filters=232783, revisions=(244172,useless=128999), ccks=424959831, wck=37.277, mem=61M378
45.51/39.52	    decisions=11659, wrong=4999, backtracks=2159, failedAssignments=3242, nogoods=761, foundSolutions=17, bestBound=310
45.51/39.52	    nFilterCalls=158962, avgTableProportion=0.31280431801311004, avgTableSize=0.6256086360262201
45.51/39.52	    
45.86/39.87	    num=126, depth=5..13, filters=236775, revisions=(248271,useless=131111), ccks=428932615, wck=37.631, mem=66M610
45.86/39.87	    decisions=11850, wrong=5089, backtracks=2199, failedAssignments=3297, nogoods=768, foundSolutions=17, bestBound=310
45.86/39.87	    nFilterCalls=161466, avgTableProportion=0.3126819268452801, avgTableSize=0.6253638536905602
45.86/39.87	    
46.66/40.68	    num=127, depth=6..16, filters=241214, revisions=(252960,useless=133665), ccks=438318790, wck=38.44, mem=71M842
46.66/40.68	    decisions=12066, wrong=5193, backtracks=2258, failedAssignments=3358, nogoods=772, foundSolutions=17, bestBound=310
46.66/40.68	    nFilterCalls=164081, avgTableProportion=0.3127388302119075, avgTableSize=0.625477660423815
46.66/40.68	    
47.27/41.24	    num=128, depth=7..14, filters=246888, revisions=(258872,useless=136711), ccks=444621266, wck=38.997, mem=77M74
47.27/41.24	    decisions=12310, wrong=5311, backtracks=2328, failedAssignments=3425, nogoods=774, foundSolutions=17, bestBound=310
47.27/41.24	    nFilterCalls=167422, avgTableProportion=0.312832244268973, avgTableSize=0.625664488537946
47.27/41.24	    
48.18/42.14	    num=129, depth=6..14, filters=251048, revisions=(263586,useless=139196), ccks=455081612, wck=39.895, mem=84M921
48.18/42.14	    decisions=12560, wrong=5433, backtracks=2390, failedAssignments=3499, nogoods=777, foundSolutions=17, bestBound=310
48.18/42.14	    nFilterCalls=169628, avgTableProportion=0.31333859975947365, avgTableSize=0.6266771995189473
48.18/42.14	    
48.69/42.63	    num=130, depth=8..18, filters=256111, revisions=(268773,useless=141953), ccks=460745899, wck=40.394, mem=90M153
48.69/42.63	    decisions=12809, wrong=5551, backtracks=2436, failedAssignments=3580, nogoods=781, foundSolutions=17, bestBound=310
48.69/42.63	    nFilterCalls=173178, avgTableProportion=0.31236357966947303, avgTableSize=0.6247271593389461
48.69/42.63	    
49.59/43.52	    num=131, depth=6..18, filters=262392, revisions=(275652,useless=145735), ccks=470929144, wck=41.276, mem=95M385
49.59/43.52	    decisions=13125, wrong=5703, backtracks=2507, failedAssignments=3669, nogoods=791, foundSolutions=17, bestBound=310
49.59/43.52	    nFilterCalls=176833, avgTableProportion=0.3121419644523364, avgTableSize=0.6242839289046728
49.59/43.52	    
50.39/44.31	    num=132, depth=6..19, filters=270126, revisions=(283439,useless=149828), ccks=479893764, wck=42.066, mem=103M233
50.39/44.31	    decisions=13492, wrong=5882, backtracks=2607, failedAssignments=3767, nogoods=797, foundSolutions=17, bestBound=310
50.39/44.31	    nFilterCalls=182174, avgTableProportion=0.3117431686190126, avgTableSize=0.6234863372380252
50.39/44.31	    
51.49/45.45	    num=133, depth=6..18, filters=276734, revisions=(290982,useless=153786), ccks=493174491, wck=43.213, mem=111M81
51.49/45.45	    decisions=13859, wrong=6061, backtracks=2696, failedAssignments=3875, nogoods=800, foundSolutions=17, bestBound=310
51.49/45.45	    nFilterCalls=185830, avgTableProportion=0.3113652262820858, avgTableSize=0.6227304525641716
51.49/45.45	    
52.49/46.42	    num=134, depth=5..19, filters=282356, revisions=(297313,useless=157153), ccks=504380403, wck=44.18, mem=118M929
52.49/46.42	    decisions=14233, wrong=6243, backtracks=2771, failedAssignments=3994, nogoods=819, foundSolutions=17, bestBound=310
52.49/46.42	    nFilterCalls=188769, avgTableProportion=0.3115633393194857, avgTableSize=0.6231266786389714
52.49/46.42	    
53.39/47.37	    num=135, depth=0..15, filters=288339, revisions=(304374,useless=160795), ccks=515381431, wck=45.132, mem=126M776
53.39/47.37	    decisions=14596, wrong=6421, backtracks=2832, failedAssignments=4125, nogoods=826, foundSolutions=17, bestBound=310
53.39/47.37	    nFilterCalls=191948, avgTableProportion=0.3116599287306979, avgTableSize=0.6233198574613958
53.39/47.37	    
54.79/48.76	    num=136, depth=8..19, filters=297266, revisions=(314307,useless=165887), ccks=531340337, wck=46.515, mem=137M240
54.79/48.76	    decisions=15118, wrong=6677, backtracks=2958, failedAssignments=4269, nogoods=833, foundSolutions=17, bestBound=310
54.79/48.76	    nFilterCalls=196489, avgTableProportion=0.3120988961214114, avgTableSize=0.6241977922428228
54.79/48.76	    
56.00/49.95	    num=137, depth=7..17, filters=305246, revisions=(323558,useless=170748), ccks=545121486, wck=47.709, mem=145M947
56.00/49.95	    decisions=15606, wrong=6916, backtracks=3058, failedAssignments=4427, nogoods=838, foundSolutions=17, bestBound=310
56.00/49.95	    nFilterCalls=200616, avgTableProportion=0.3125224309127886, avgTableSize=0.6250448618255772
56.00/49.95	    
57.62/51.54	    num=138, depth=0..13, filters=315606, revisions=(334079,useless=175974), ccks=563302764, wck=49.302, mem=27M410
57.62/51.54	    decisions=16169, wrong=7194, backtracks=3196, failedAssignments=4601, nogoods=852, foundSolutions=17, bestBound=310
57.62/51.54	    nFilterCalls=206484, avgTableProportion=0.3138717769899847, avgTableSize=0.6277435539799694
57.62/51.54	    
59.82/53.72	    num=139, depth=5..17, filters=328658, revisions=(348326,useless=183520), ccks=588479149, wck=51.475, mem=45M745
59.82/53.72	    decisions=16824, wrong=7516, backtracks=3356, failedAssignments=4792, nogoods=859, foundSolutions=17, bestBound=310
59.82/53.72	    nFilterCalls=214108, avgTableProportion=0.3157612046257029, avgTableSize=0.6315224092514058
59.82/53.72	    
60.92/54.89	    num=140, depth=5..19, filters=345749, revisions=(364201,useless=191965), ccks=601565119, wck=52.654, mem=61M460
60.92/54.89	    decisions=17551, wrong=7875, backtracks=3544, failedAssignments=5003, nogoods=864, foundSolutions=17, bestBound=310
60.92/54.89	    nFilterCalls=226845, avgTableProportion=0.3156141858978598, avgTableSize=0.6312283717957196
60.92/54.89	    
63.82/57.76	    num=141, depth=6..18, filters=359991, revisions=(380172,useless=200571), ccks=635062410, wck=55.519, mem=79M794
63.82/57.76	    decisions=18343, wrong=8265, backtracks=3755, failedAssignments=5235, nogoods=874, foundSolutions=17, bestBound=310
63.82/57.76	    nFilterCalls=234676, avgTableProportion=0.31635105421943444, avgTableSize=0.6327021084388689
63.82/57.76	    
65.63/59.55	    num=142, depth=6..19, filters=379501, revisions=(400743,useless=211551), ccks=655268572, wck=57.312, mem=98M128
65.63/59.55	    decisions=19223, wrong=8698, backtracks=3976, failedAssignments=5490, nogoods=884, foundSolutions=17, bestBound=310
65.63/59.55	    nFilterCalls=246458, avgTableProportion=0.31788580610083667, avgTableSize=0.6357716122016733
65.63/59.55	    
68.03/61.90	    num=143, depth=5..18, filters=395547, revisions=(418260,useless=220943), ccks=682435526, wck=59.664, mem=119M82
68.03/61.90	    decisions=20202, wrong=9183, backtracks=4220, failedAssignments=5771, nogoods=894, foundSolutions=17, bestBound=310
68.03/61.90	    nFilterCalls=256252, avgTableProportion=0.3178823970154379, avgTableSize=0.6357647940308758
68.03/61.90	    
69.24/63.19	    num=144, depth=6..19, filters=411170, revisions=(434241,useless=229354), ccks=696964979, wck=60.952, mem=134M797
69.24/63.19	    decisions=21055, wrong=9605, backtracks=4360, failedAssignments=6080, nogoods=906, foundSolutions=17, bestBound=310
69.24/63.19	    nFilterCalls=266153, avgTableProportion=0.3175861252738087, avgTableSize=0.6351722505476174
69.24/63.19	    
71.73/65.70	    num=145, depth=5..17, filters=427688, revisions=(452894,useless=239232), ccks=725952248, wck=63.455, mem=154M292
71.73/65.70	    decisions=22010, wrong=10079, backtracks=4535, failedAssignments=6420, nogoods=911, foundSolutions=17, bestBound=310
71.73/65.70	    nFilterCalls=274477, avgTableProportion=0.31805397173533667, avgTableSize=0.6361079434706733
71.73/65.70	    
74.56/68.46	    num=146, depth=4..19, filters=452971, revisions=(477273,useless=252142), ccks=757186822, wck=66.222, mem=48M28
74.56/68.46	    decisions=23229, wrong=10683, backtracks=4822, failedAssignments=6794, nogoods=916, foundSolutions=17, bestBound=310
74.56/68.46	    nFilterCalls=290778, avgTableProportion=0.3187173720157646, avgTableSize=0.6374347440315292
74.56/68.46	    
78.17/72.05	    num=147, depth=5..15, filters=484010, revisions=(510947,useless=271441), ccks=797505251, wck=69.808, mem=86M812
78.17/72.05	    decisions=24601, wrong=11365, backtracks=5189, failedAssignments=7205, nogoods=931, foundSolutions=17, bestBound=310
78.17/72.05	    nFilterCalls=309777, avgTableProportion=0.32144897781307197, avgTableSize=0.6428979556261439
78.17/72.05	    
80.86/74.77	    num=148, depth=5..20, filters=506918, revisions=(536210,useless=285061), ccks=828680848, wck=72.528, mem=110M83
80.86/74.77	    decisions=25926, wrong=12024, backtracks=5449, failedAssignments=7657, nogoods=938, foundSolutions=17, bestBound=310
80.86/74.77	    nFilterCalls=323158, avgTableProportion=0.3199843420246443, avgTableSize=0.6399686840492886
80.86/74.77	    
84.75/78.64	    num=149, depth=0..15, filters=541120, revisions=(569872,useless=302304), ccks=872352004, wck=76.4, mem=148M867
84.75/78.64	    decisions=27622, wrong=12869, backtracks=5917, failedAssignments=8154, nogoods=946, foundSolutions=17, bestBound=310
84.75/78.64	    nFilterCalls=345314, avgTableProportion=0.3202143556299484, avgTableSize=0.6404287112598968
84.75/78.64	    
90.79/84.68	    num=150, depth=5..19, filters=580621, revisions=(611244,useless=324634), ccks=941718542, wck=82.439, mem=62M964
90.79/84.68	    decisions=29600, wrong=13853, backtracks=6441, failedAssignments=8701, nogoods=954, foundSolutions=17, bestBound=310
90.79/84.68	    nFilterCalls=369601, avgTableProportion=0.320749943858377, avgTableSize=0.641499887716754
90.79/84.68	    
93.89/87.74	    num=151, depth=8..21, filters=610169, revisions=(644913,useless=343606), ccks=976463984, wck=85.504, mem=91M4
93.89/87.74	    decisions=31326, wrong=14711, backtracks=6766, failedAssignments=9303, nogoods=962, foundSolutions=17, bestBound=310
93.89/87.74	    nFilterCalls=387248, avgTableProportion=0.31902424286245507, avgTableSize=0.6380484857249101
93.89/87.74	    
96.79/90.64	    num=152, depth=6..21, filters=647112, revisions=(683962,useless=365380), ccks=1008795272, wck=88.403, mem=131M788
96.79/90.64	    decisions=33355, wrong=15722, backtracks=7223, failedAssignments=9965, nogoods=971, foundSolutions=17, bestBound=310
96.79/90.64	    nFilterCalls=410010, avgTableProportion=0.31751298748811, avgTableSize=0.63502597497622
96.79/90.64	    
103.84/97.69	    num=153, depth=5..20, filters=702332, revisions=(741545,useless=396104), ccks=1089519235, wck=95.454, mem=59M879
103.84/97.69	    decisions=35866, wrong=16973, backtracks=7882, failedAssignments=10693, nogoods=982, foundSolutions=17, bestBound=310
103.84/97.69	    nFilterCalls=444574, avgTableProportion=0.31815625745095305, avgTableSize=0.6363125149019061
103.84/97.69	    
108.95/102.73	    num=154, depth=5..19, filters=778457, revisions=(814889,useless=435760), ccks=1145422119, wck=100.49, mem=120M131
108.95/102.73	    decisions=38585, wrong=18328, backtracks=8640, failedAssignments=11494, nogoods=989, foundSolutions=17, bestBound=310
108.95/102.73	    nFilterCalls=497662, avgTableProportion=0.3199209503639016, avgTableSize=0.6398419007278032
108.95/102.73	    
116.39/110.18	    num=155, depth=5..21, filters=834613, revisions=(876665,useless=469557), ccks=1230834931, wck=107.944, mem=61M753
116.39/110.18	    decisions=41492, wrong=19777, backtracks=9373, failedAssignments=12375, nogoods=995, foundSolutions=17, bestBound=310
116.39/110.18	    nFilterCalls=529325, avgTableProportion=0.32179379398290275, avgTableSize=0.6435875879658055
116.39/110.18	    
123.99/117.70	    num=156, depth=4..21, filters=912127, revisions=(950906,useless=509281), ccks=1316150547, wck=115.462, mem=133M405
123.99/117.70	    decisions=44829, wrong=21440, backtracks=10261, failedAssignments=13345, nogoods=1005, foundSolutions=17, bestBound=310
123.99/117.70	    nFilterCalls=581347, avgTableProportion=0.3234832208646471, avgTableSize=0.6469664417292942
123.99/117.70	    
132.00/125.78	    num=157, depth=5..23, filters=980438, revisions=(1023855,useless=550405), ccks=1408416682, wck=123.537, mem=83M9
132.00/125.78	    decisions=48590, wrong=23316, backtracks=11299, failedAssignments=14412, nogoods=1050, foundSolutions=17, bestBound=310
132.00/125.78	    nFilterCalls=624062, avgTableProportion=0.3237218417400835, avgTableSize=0.647443683480167
132.00/125.78	    
133.41/127.11	o 307
133.41/127.12	    num=158, depth=6..104, filters=991175, revisions=(1034861,useless=556175), ccks=1423742155, wck=124.875, mem=92M730
133.41/127.12	    decisions=49084, wrong=23553, backtracks=11409, failedAssignments=14558, nogoods=1059, foundSolutions=18, bestBound=307
133.41/127.12	    nFilterCalls=630748, avgTableProportion=0.3232328917412342, avgTableSize=0.6464657834824684
133.41/127.12	    
141.01/134.78	    num=159, depth=4..22, filters=1081280, revisions=(1124387,useless=603881), ccks=1509658506, wck=132.543, mem=55M669
141.01/134.78	    decisions=53337, wrong=25675, backtracks=12472, failedAssignments=15849, nogoods=1073, foundSolutions=18, bestBound=307
141.01/134.78	    nFilterCalls=689060, avgTableProportion=0.3231634400487621, avgTableSize=0.6463268800975241
141.01/134.78	    
141.21/134.95	    num=160, depth=9..18, filters=1082351, revisions=(1125600,useless=604534), ccks=1511563061, wck=132.709, mem=58M59
141.21/134.95	    decisions=53392, wrong=25695, backtracks=12481, failedAssignments=15860, nogoods=1079, foundSolutions=18, bestBound=307
141.21/134.95	    nFilterCalls=689756, avgTableProportion=0.32315485476023403, avgTableSize=0.6463097095204681
141.21/134.95	    
141.42/135.15	    num=161, depth=5..13, filters=1084346, revisions=(1127436,useless=605570), ccks=1513851933, wck=132.91, mem=60M448
141.42/135.15	    decisions=53449, wrong=25718, backtracks=12493, failedAssignments=15872, nogoods=1086, foundSolutions=18, bestBound=307
141.42/135.15	    nFilterCalls=691363, avgTableProportion=0.3231298174764921, avgTableSize=0.6462596349529842
141.42/135.15	    
141.51/135.29	    num=162, depth=8..14, filters=1085053, revisions=(1128245,useless=605967), ccks=1515468625, wck=133.049, mem=60M448
141.51/135.29	    decisions=53492, wrong=25735, backtracks=12500, failedAssignments=15885, nogoods=1089, foundSolutions=18, bestBound=307
141.51/135.29	    nFilterCalls=691729, avgTableProportion=0.3231518412557519, avgTableSize=0.6463036825115038
141.51/135.29	    
141.71/135.49	    num=163, depth=7..13, filters=1086358, revisions=(1129563,useless=606626), ccks=1517813145, wck=133.253, mem=62M837
141.71/135.49	    decisions=53553, wrong=25762, backtracks=12515, failedAssignments=15899, nogoods=1092, foundSolutions=18, bestBound=307
141.71/135.49	    nFilterCalls=692458, avgTableProportion=0.3232261017996759, avgTableSize=0.6464522035993518
141.71/135.49	    
141.92/135.65	    num=164, depth=6..12, filters=1087458, revisions=(1130731,useless=607224), ccks=1519586257, wck=133.409, mem=65M226
141.92/135.65	    decisions=53614, wrong=25788, backtracks=12528, failedAssignments=15915, nogoods=1096, foundSolutions=18, bestBound=307
141.92/135.65	    nFilterCalls=693191, avgTableProportion=0.3232853571382202, avgTableSize=0.6465707142764404
141.92/135.65	    
142.12/135.86	    num=165, depth=7..13, filters=1088961, revisions=(1132445,useless=608211), ccks=1522034678, wck=133.624, mem=65M226
142.12/135.86	    decisions=53683, wrong=25818, backtracks=12546, failedAssignments=15932, nogoods=1103, foundSolutions=18, bestBound=307
142.12/135.86	    nFilterCalls=694092, avgTableProportion=0.3233735585484345, avgTableSize=0.646747117096869
142.12/135.86	    
142.32/136.06	    num=166, depth=12..18, filters=1090224, revisions=(1133804,useless=608943), ccks=1524303787, wck=133.821, mem=67M615
142.32/136.06	    decisions=53748, wrong=25844, backtracks=12555, failedAssignments=15951, nogoods=1113, foundSolutions=18, bestBound=307
142.32/136.06	    nFilterCalls=695043, avgTableProportion=0.3233346713800441, avgTableSize=0.6466693427600883
142.32/136.06	    
142.62/136.31	    num=167, depth=8..18, filters=1091643, revisions=(1135439,useless=609797), ccks=1527210131, wck=134.073, mem=70M4
142.62/136.31	    decisions=53832, wrong=25879, backtracks=12570, failedAssignments=15972, nogoods=1121, foundSolutions=18, bestBound=307
142.62/136.31	    nFilterCalls=695863, avgTableProportion=0.32329639598599147, avgTableSize=0.6465927919719829
142.62/136.31	    
142.92/136.65	    num=168, depth=6..13, filters=1095134, revisions=(1138760,useless=611516), ccks=1530995553, wck=134.408, mem=72M393
142.92/136.65	    decisions=53930, wrong=25924, backtracks=12597, failedAssignments=15995, nogoods=1123, foundSolutions=18, bestBound=307
142.92/136.65	    nFilterCalls=698250, avgTableProportion=0.3233154314357322, avgTableSize=0.6466308628714644
142.92/136.65	    
143.22/136.90	    num=169, depth=5..19, filters=1097216, revisions=(1140941,useless=612630), ccks=1533888765, wck=134.663, mem=74M783
143.22/136.90	    decisions=54032, wrong=25969, backtracks=12621, failedAssignments=16020, nogoods=1127, foundSolutions=18, bestBound=307
143.22/136.90	    nFilterCalls=699630, avgTableProportion=0.32334376741992193, avgTableSize=0.6466875348398439
143.22/136.90	    
143.52/137.29	    num=170, depth=5..10, filters=1099270, revisions=(1143062,useless=613683), ccks=1538357168, wck=135.047, mem=77M172
143.52/137.29	    decisions=54129, wrong=26015, backtracks=12642, failedAssignments=16048, nogoods=1128, foundSolutions=18, bestBound=307
143.52/137.29	    nFilterCalls=700672, avgTableProportion=0.3234473476890756, avgTableSize=0.6468946953781513
143.52/137.29	    
143.82/137.54	    num=171, depth=10..17, filters=1101270, revisions=(1145325,useless=614894), ccks=1541265443, wck=135.301, mem=79M561
143.82/137.54	    decisions=54236, wrong=26063, backtracks=12659, failedAssignments=16079, nogoods=1134, foundSolutions=18, bestBound=307
143.82/137.54	    nFilterCalls=701718, avgTableProportion=0.3234696844031363, avgTableSize=0.6469393688062726
143.82/137.54	    
144.02/137.78	    num=172, depth=8..19, filters=1102920, revisions=(1147254,useless=615912), ccks=1543999588, wck=135.54, mem=81M950
144.02/137.78	    decisions=54349, wrong=26115, backtracks=12680, failedAssignments=16113, nogoods=1139, foundSolutions=18, bestBound=307
144.02/137.78	    nFilterCalls=702544, avgTableProportion=0.32352208544945227, avgTableSize=0.6470441708989045
144.02/137.78	    
144.54/138.25	    num=173, depth=9..18, filters=1105306, revisions=(1150097,useless=617393), ccks=1549414783, wck=136.008, mem=86M728
144.54/138.25	    decisions=54481, wrong=26175, backtracks=12706, failedAssignments=16150, nogoods=1145, foundSolutions=18, bestBound=307
144.54/138.25	    nFilterCalls=703731, avgTableProportion=0.3235462129705811, avgTableSize=0.6470924259411622
144.54/138.25	    
144.94/138.69	    num=174, depth=10..18, filters=1107856, revisions=(1153173,useless=619022), ccks=1554475683, wck=136.446, mem=89M118
144.94/138.69	    decisions=54634, wrong=26246, backtracks=12743, failedAssignments=16191, nogoods=1149, foundSolutions=18, bestBound=307
144.94/138.69	    nFilterCalls=705084, avgTableProportion=0.32348840705504595, avgTableSize=0.6469768141100919
144.94/138.69	    
145.45/139.11	    num=175, depth=8..16, filters=1111771, revisions=(1157367,useless=621368), ccks=1559285034, wck=136.866, mem=91M507
145.45/139.11	    decisions=54787, wrong=26316, backtracks=12774, failedAssignments=16236, nogoods=1153, foundSolutions=18, bestBound=307
145.45/139.11	    nFilterCalls=707591, avgTableProportion=0.3233266109942043, avgTableSize=0.6466532219884086
145.45/139.11	    
145.94/139.62	    num=176, depth=7..18, filters=1115279, revisions=(1161182,useless=623392), ccks=1565212147, wck=137.383, mem=96M286
145.94/139.62	    decisions=54966, wrong=26401, backtracks=12817, failedAssignments=16286, nogoods=1160, foundSolutions=18, bestBound=307
145.94/139.62	    nFilterCalls=709673, avgTableProportion=0.32349405994028235, avgTableSize=0.6469881198805647
145.94/139.62	    
146.35/140.09	    num=177, depth=7..17, filters=1119767, revisions=(1165617,useless=625812), ccks=1570537673, wck=137.851, mem=101M65
146.35/140.09	    decisions=55143, wrong=26486, backtracks=12860, failedAssignments=16341, nogoods=1164, foundSolutions=18, bestBound=307
146.35/140.09	    nFilterCalls=712977, avgTableProportion=0.3232979464975729, avgTableSize=0.6465958929951457
146.35/140.09	    
147.04/140.75	    num=178, depth=6..13, filters=1124087, revisions=(1170524,useless=628486), ccks=1578127272, wck=138.51, mem=105M843
147.04/140.75	    decisions=55392, wrong=26606, backtracks=12925, failedAssignments=16402, nogoods=1168, foundSolutions=18, bestBound=307
147.04/140.75	    nFilterCalls=715393, avgTableProportion=0.32343620918851596, avgTableSize=0.6468724183770319
147.04/140.75	    
147.64/141.33	    num=179, depth=6..20, filters=1129282, revisions=(1176269,useless=631579), ccks=1584735867, wck=139.086, mem=110M621
147.64/141.33	    decisions=55629, wrong=26721, backtracks=12981, failedAssignments=16469, nogoods=1171, foundSolutions=18, bestBound=307
147.64/141.33	    nFilterCalls=718414, avgTableProportion=0.32320709228940414, avgTableSize=0.6464141845788083
147.64/141.33	    
148.24/141.99	    num=180, depth=6..16, filters=1137798, revisions=(1184370,useless=635956), ccks=1592173400, wck=139.75, mem=117M789
148.24/141.99	    decisions=55891, wrong=26847, backtracks=13052, failedAssignments=16543, nogoods=1176, foundSolutions=18, bestBound=307
148.24/141.99	    nFilterCalls=724361, avgTableProportion=0.32312893709076, avgTableSize=0.64625787418152
148.24/141.99	    
149.04/142.74	    num=181, depth=8..17, filters=1146882, revisions=(1193179,useless=640863), ccks=1600659035, wck=140.498, mem=124M956
149.04/142.74	    decisions=56178, wrong=26985, backtracks=13122, failedAssignments=16624, nogoods=1185, foundSolutions=18, bestBound=307
149.04/142.74	    nFilterCalls=731057, avgTableProportion=0.32278194449953973, avgTableSize=0.6455638889990795
149.04/142.74	    
149.84/143.55	    num=182, depth=5..17, filters=1153033, revisions=(1199864,useless=644548), ccks=1609894919, wck=141.308, mem=132M124
149.84/143.55	    decisions=56513, wrong=27148, backtracks=13216, failedAssignments=16713, nogoods=1191, foundSolutions=18, bestBound=307
149.84/143.55	    nFilterCalls=734903, avgTableProportion=0.32276504518283367, avgTableSize=0.6455300903656673
149.84/143.55	    
150.45/144.13	    num=183, depth=5..16, filters=1159699, revisions=(1206564,useless=648424), ccks=1616566446, wck=141.894, mem=139M291
150.45/144.13	    decisions=56757, wrong=27265, backtracks=13245, failedAssignments=16811, nogoods=1218, foundSolutions=18, bestBound=307
150.45/144.13	    nFilterCalls=739910, avgTableProportion=0.32243718830668594, avgTableSize=0.6448743766133719
150.45/144.13	    
151.05/144.79	    num=184, depth=0..20, filters=1166926, revisions=(1214291,useless=652556), ccks=1623995133, wck=142.554, mem=27M3
151.05/144.79	    decisions=57143, wrong=27452, backtracks=13338, failedAssignments=16919, nogoods=1224, foundSolutions=18, bestBound=307
151.05/144.79	    nFilterCalls=744276, avgTableProportion=0.3220162950303382, avgTableSize=0.6440325900606764
151.05/144.79	    
152.25/146.00	    num=185, depth=5..17, filters=1181287, revisions=(1227578,useless=659677), ccks=1637520653, wck=143.761, mem=38M795
152.25/146.00	    decisions=57584, wrong=27667, backtracks=13465, failedAssignments=17038, nogoods=1230, foundSolutions=18, bestBound=307
152.25/146.00	    nFilterCalls=754515, avgTableProportion=0.3221208325878213, avgTableSize=0.6442416651756426
152.25/146.00	    
153.85/147.53	    num=186, depth=6..20, filters=1190988, revisions=(1238361,useless=665689), ccks=1655068997, wck=145.289, mem=51M84
153.85/147.53	    decisions=58068, wrong=27904, backtracks=13593, failedAssignments=17169, nogoods=1233, foundSolutions=18, bestBound=307
153.85/147.53	    nFilterCalls=760001, avgTableProportion=0.3224245757571372, avgTableSize=0.6448491515142744
153.85/147.53	    
154.47/148.11	    num=187, depth=7..19, filters=1196786, revisions=(1244862,useless=669193), ccks=1661585887, wck=145.869, mem=58M159
154.47/148.11	    decisions=58523, wrong=28128, backtracks=13693, failedAssignments=17313, nogoods=1235, foundSolutions=18, bestBound=307
154.47/148.11	    nFilterCalls=763267, avgTableProportion=0.32243369620329454, avgTableSize=0.6448673924065891
154.47/148.11	    
155.48/149.14	    num=188, depth=6..22, filters=1205741, revisions=(1255350,useless=675121), ccks=1673373960, wck=146.9, mem=67M592
155.48/149.14	    decisions=59053, wrong=28386, backtracks=13811, failedAssignments=17471, nogoods=1240, foundSolutions=18, bestBound=307
155.48/149.14	    nFilterCalls=768230, avgTableProportion=0.3223272978144566, avgTableSize=0.6446545956289133
155.48/149.14	    
156.87/150.53	    num=189, depth=6..15, filters=1222048, revisions=(1271434,useless=683752), ccks=1689048846, wck=148.291, mem=81M742
156.87/150.53	    decisions=59672, wrong=28692, backtracks=13984, failedAssignments=17645, nogoods=1260, foundSolutions=18, bestBound=307
156.87/150.53	    nFilterCalls=779433, avgTableProportion=0.32254536310369203, avgTableSize=0.6450907262073841
156.87/150.53	    
158.37/152.08	    num=190, depth=7..18, filters=1236205, revisions=(1286042,useless=691275), ccks=1706748096, wck=149.843, mem=95M891
158.37/152.08	    decisions=60355, wrong=29029, backtracks=14165, failedAssignments=17836, nogoods=1269, foundSolutions=18, bestBound=307
158.37/152.08	    nFilterCalls=788314, avgTableProportion=0.3224749275035075, avgTableSize=0.644949855007015
158.37/152.08	    
160.48/154.17	    num=191, depth=6..21, filters=1250692, revisions=(1301605,useless=699819), ccks=1730803214, wck=151.926, mem=112M399
160.48/154.17	    decisions=61117, wrong=29405, backtracks=14356, failedAssignments=18047, nogoods=1275, foundSolutions=18, bestBound=307
160.48/154.17	    nFilterCalls=797148, avgTableProportion=0.32256745296983746, avgTableSize=0.6451349059396749
160.48/154.17	    
161.97/155.64	    num=192, depth=5..19, filters=1271286, revisions=(1322292,useless=710528), ccks=1747265820, wck=153.401, mem=128M907
161.97/155.64	    decisions=61955, wrong=29819, backtracks=14604, failedAssignments=18279, nogoods=1281, foundSolutions=18, bestBound=307
161.97/155.64	    nFilterCalls=810138, avgTableProportion=0.32224386462553295, avgTableSize=0.6444877292510659
161.97/155.64	    
164.58/158.21	    num=193, depth=6..22, filters=1288380, revisions=(1342146,useless=721618), ccks=1776896883, wck=155.966, mem=31M590
164.58/158.21	    decisions=62840, wrong=30257, backtracks=14842, failedAssignments=18534, nogoods=1294, foundSolutions=18, bestBound=307
164.58/158.21	    nFilterCalls=819814, avgTableProportion=0.3221712486002923, avgTableSize=0.6443424972005846
164.58/158.21	    
166.18/159.89	    num=194, depth=5..19, filters=1308547, revisions=(1362060,useless=732416), ccks=1795894946, wck=157.648, mem=47M856
166.18/159.89	    decisions=63749, wrong=30707, backtracks=15085, failedAssignments=18815, nogoods=1300, foundSolutions=18, bestBound=307
166.18/159.89	    nFilterCalls=833598, avgTableProportion=0.3221948709089993, avgTableSize=0.6443897418179986
166.18/159.89	    
168.98/162.69	    num=195, depth=6..22, filters=1326926, revisions=(1382999,useless=744394), ccks=1828180319, wck=160.445, mem=68M770
168.98/162.69	    decisions=64814, wrong=31233, backtracks=15372, failedAssignments=19124, nogoods=1315, foundSolutions=18, bestBound=307
168.98/162.69	    nFilterCalls=845155, avgTableProportion=0.3223071507593282, avgTableSize=0.6446143015186564
168.98/162.69	    
171.88/165.52	    num=196, depth=4..18, filters=1349705, revisions=(1405998,useless=756726), ccks=1860537364, wck=163.278, mem=98M978
171.88/165.52	    decisions=66010, wrong=31824, backtracks=15692, failedAssignments=19464, nogoods=1323, foundSolutions=18, bestBound=307
171.88/165.52	    nFilterCalls=859595, avgTableProportion=0.32287996091182475, avgTableSize=0.6457599218236495
171.88/165.52	    
174.18/167.81	    num=197, depth=5..16, filters=1383594, revisions=(1438347,useless=774146), ccks=1886088243, wck=165.571, mem=124M539
174.18/167.81	    decisions=67261, wrong=32445, backtracks=16022, failedAssignments=19838, nogoods=1326, foundSolutions=18, bestBound=307
174.18/167.81	    nFilterCalls=883929, avgTableProportion=0.32294448988549984, avgTableSize=0.6458889797709997
174.18/167.81	    
176.59/170.23	    num=198, depth=6..18, filters=1401813, revisions=(1458490,useless=785155), ccks=1913987739, wck=167.994, mem=26M850
176.59/170.23	    decisions=68421, wrong=33021, backtracks=16224, failedAssignments=20249, nogoods=1335, foundSolutions=18, bestBound=307
176.59/170.23	    nFilterCalls=894447, avgTableProportion=0.32268932647770077, avgTableSize=0.6453786529554015
176.59/170.23	    
179.29/172.95	    num=199, depth=5..18, filters=1434859, revisions=(1489778,useless=801610), ccks=1943842424, wck=170.709, mem=56M668
179.29/172.95	    decisions=69843, wrong=33728, backtracks=16580, failedAssignments=20701, nogoods=1355, foundSolutions=18, bestBound=307
179.29/172.95	    nFilterCalls=917263, avgTableProportion=0.3226811721392883, avgTableSize=0.6453623442785766
179.29/172.95	    
184.50/178.14	    num=200, depth=4..22, filters=1462730, revisions=(1521518,useless=819003), ccks=2003799357, wck=175.901, mem=97M956
184.50/178.14	    decisions=71639, wrong=34619, backtracks=17023, failedAssignments=21198, nogoods=1362, foundSolutions=18, bestBound=307
184.50/178.14	    nFilterCalls=933436, avgTableProportion=0.32215706272310046, avgTableSize=0.6443141254462009
184.50/178.14	    
187.79/181.42	    num=201, depth=4..20, filters=1508482, revisions=(1565275,useless=842587), ccks=2039437933, wck=179.183, mem=134M656
187.79/181.42	    decisions=73487, wrong=35539, backtracks=17515, failedAssignments=21745, nogoods=1367, foundSolutions=18, bestBound=307
187.79/181.42	    nFilterCalls=965378, avgTableProportion=0.3224933652931805, avgTableSize=0.644986730586361
187.79/181.42	    
191.10/184.79	    num=202, depth=5..17, filters=1560342, revisions=(1615029,useless=869998), ccks=2076736584, wck=182.55, mem=63M0
191.10/184.79	    decisions=75372, wrong=36478, backtracks=17953, failedAssignments=22347, nogoods=1377, foundSolutions=18, bestBound=307
191.10/184.79	    nFilterCalls=1001132, avgTableProportion=0.32198900844244316, avgTableSize=0.6439780168848863
191.10/184.79	    
195.70/189.30	    num=203, depth=4..20, filters=1612982, revisions=(1666644,useless=897683), ccks=2127705035, wck=187.06, mem=108M265
195.70/189.30	    decisions=77642, wrong=37609, backtracks=18575, failedAssignments=23009, nogoods=1385, foundSolutions=18, bestBound=307
195.70/189.30	    nFilterCalls=1036141, avgTableProportion=0.32201022833764903, avgTableSize=0.6440204566752981
195.70/189.30	    
199.71/193.34	    num=204, depth=4..19, filters=1648394, revisions=(1704587,useless=918935), ccks=2173676953, wck=191.1, mem=37M921
199.71/193.34	    decisions=79836, wrong=38701, backtracks=19029, failedAssignments=23737, nogoods=1393, foundSolutions=18, bestBound=307
199.71/193.34	    nFilterCalls=1057448, avgTableProportion=0.3222040232711207, avgTableSize=0.6444080465422414
199.71/193.34	    
204.03/197.64	    num=205, depth=4..20, filters=1709672, revisions=(1762582,useless=950355), ccks=2221566421, wck=195.404, mem=89M266
204.03/197.64	    decisions=82426, wrong=39991, backtracks=19650, failedAssignments=24538, nogoods=1403, foundSolutions=18, bestBound=307
204.03/197.64	    nFilterCalls=1102086, avgTableProportion=0.32148534687855573, avgTableSize=0.6429706937571115
204.03/197.64	    
209.94/203.50	    num=206, depth=6..19, filters=1750813, revisions=(1808383,useless=976020), ccks=2288982589, wck=201.263, mem=26M697
209.94/203.50	    decisions=84986, wrong=41263, backtracks=20111, failedAssignments=25419, nogoods=1519, foundSolutions=18, bestBound=307
209.94/203.50	    nFilterCalls=1126792, avgTableProportion=0.320875103834603, avgTableSize=0.641750207669206
209.94/203.50	    
214.57/208.19	    num=207, depth=4..20, filters=1834670, revisions=(1890003,useless=1021213), ccks=2340222138, wck=205.953, mem=99M341
214.57/208.19	    decisions=88353, wrong=42943, backtracks=21024, failedAssignments=26389, nogoods=1524, foundSolutions=18, bestBound=307
214.57/208.19	    nFilterCalls=1186028, avgTableProportion=0.3210893840617591, avgTableSize=0.6421787681235182
214.57/208.19	    
223.27/216.89	    num=208, depth=5..21, filters=1903074, revisions=(1965723,useless=1063084), ccks=2439472793, wck=214.646, mem=65M857
223.27/216.89	    decisions=91891, wrong=44704, backtracks=21969, failedAssignments=27456, nogoods=1532, foundSolutions=18, bestBound=307
223.27/216.89	    nFilterCalls=1226738, avgTableProportion=0.3217875373551647, avgTableSize=0.6435750747103294
223.27/216.89	    
228.70/222.21	    num=209, depth=4..21, filters=1981446, revisions=(2041449,useless=1104235), ccks=2497947203, wck=219.972, mem=24M577
228.70/222.21	    decisions=95710, wrong=46608, backtracks=22861, failedAssignments=28629, nogoods=1537, foundSolutions=18, bestBound=307
228.70/222.21	    nFilterCalls=1281613, avgTableProportion=0.3212771718139563, avgTableSize=0.6425543436279126
228.70/222.21	    
237.70/231.26	    num=210, depth=3..24, filters=2061128, revisions=(2122396,useless=1145729), ccks=2600025481, wck=229.019, mem=120M823
237.70/231.26	    decisions=100229, wrong=48859, backtracks=24001, failedAssignments=29920, nogoods=1547, foundSolutions=18, bestBound=307
237.70/231.26	    nFilterCalls=1332447, avgTableProportion=0.32077410958934954, avgTableSize=0.6415482191786991
237.70/231.26	    
244.12/237.65	    num=211, depth=6..22, filters=2152271, revisions=(2213688,useless=1196937), ccks=2669059893, wck=235.409, mem=106M744
244.12/237.65	    decisions=104699, wrong=51089, backtracks=25065, failedAssignments=31340, nogoods=1560, foundSolutions=18, bestBound=307
244.12/237.65	    nFilterCalls=1395323, avgTableProportion=0.3216144218937121, avgTableSize=0.6432288437874242
244.12/237.65	    
255.32/248.84	    num=212, depth=4..18, filters=2244710, revisions=(2309947,useless=1248833), ccks=2794634231, wck=246.604, mem=120M21
255.32/248.84	    decisions=110086, wrong=53779, backtracks=26503, failedAssignments=32902, nogoods=1569, foundSolutions=18, bestBound=307
255.32/248.84	    nFilterCalls=1453038, avgTableProportion=0.3225321705282312, avgTableSize=0.6450643410564624
255.32/248.84	    
266.84/260.37	    num=213, depth=3..22, filters=2378157, revisions=(2438884,useless=1318023), ccks=2924762416, wck=258.134, mem=36M604
266.84/260.37	    decisions=115927, wrong=56694, backtracks=28021, failedAssignments=34620, nogoods=1578, foundSolutions=18, bestBound=307
266.84/260.37	    nFilterCalls=1541626, avgTableProportion=0.323039440175503, avgTableSize=0.646078880351006
266.84/260.37	    
278.94/272.44	    num=214, depth=4..22, filters=2532116, revisions=(2593184,useless=1402377), ccks=3059306961, wck=270.197, mem=66M374
278.94/272.44	    decisions=122330, wrong=59892, backtracks=29754, failedAssignments=36510, nogoods=1581, foundSolutions=18, bestBound=307
278.94/272.44	    nFilterCalls=1644446, avgTableProportion=0.3232629712377299, avgTableSize=0.6465259424754598
278.94/272.44	    
291.95/285.46	o 305
291.95/285.46	    num=215, depth=5..104, filters=2641853, revisions=(2711841,useless=1468255), ccks=3206044817, wck=283.222, mem=91M573
291.95/285.46	    decisions=128488, wrong=62957, backtracks=31160, failedAssignments=38536, nogoods=1588, foundSolutions=19, bestBound=305
291.95/285.46	    nFilterCalls=1711264, avgTableProportion=0.323347245077323, avgTableSize=0.646694490154646
291.95/285.46	    
304.68/298.16	    num=216, depth=3..22, filters=2808556, revisions=(2876806,useless=1558881), ccks=3345502361, wck=295.921, mem=43M833
304.68/298.16	    decisions=136164, wrong=66791, backtracks=33205, failedAssignments=40823, nogoods=1594, foundSolutions=19, bestBound=305
304.68/298.16	    nFilterCalls=1825363, avgTableProportion=0.3234066319959372, avgTableSize=0.6468132639918744
304.68/298.16	    
304.87/298.31	    num=217, depth=8..15, filters=2809268, revisions=(2877555,useless=1559247), ccks=3347201303, wck=296.069, mem=45M763
304.87/298.31	    decisions=136204, wrong=66805, backtracks=33210, failedAssignments=40834, nogoods=1600, foundSolutions=19, bestBound=305
304.87/298.31	    nFilterCalls=1825828, avgTableProportion=0.3234280556547495, avgTableSize=0.646856111309499
304.87/298.31	    
304.97/298.43	    num=218, depth=9..14, filters=2810051, revisions=(2878460,useless=1559721), ccks=3348589144, wck=296.192, mem=47M692
304.97/298.43	    decisions=136251, wrong=66823, backtracks=33219, failedAssignments=40846, nogoods=1604, foundSolutions=19, bestBound=305
304.97/298.43	    nFilterCalls=1826239, avgTableProportion=0.3234401411863398, avgTableSize=0.6468802823726796
304.97/298.43	    
305.17/298.67	    num=219, depth=9..17, filters=2811323, revisions=(2879925,useless=1560465), ccks=3351385978, wck=296.435, mem=49M621
305.17/298.67	    decisions=136322, wrong=66854, backtracks=33237, failedAssignments=40859, nogoods=1606, foundSolutions=19, bestBound=305
305.17/298.67	    nFilterCalls=1826894, avgTableProportion=0.323445695262013, avgTableSize=0.646891390524026
305.17/298.67	    
305.37/298.89	    num=220, depth=10..22, filters=2812395, revisions=(2881167,useless=1561092), ccks=3353851221, wck=296.648, mem=49M621
305.37/298.89	    decisions=136386, wrong=66881, backtracks=33252, failedAssignments=40873, nogoods=1607, foundSolutions=19, bestBound=305
305.37/298.89	    nFilterCalls=1827461, avgTableProportion=0.3234416493703559, avgTableSize=0.6468832987407118
305.37/298.89	    
305.58/299.07	    num=221, depth=7..17, filters=2813738, revisions=(2882615,useless=1561868), ccks=3355847481, wck=296.826, mem=51M552
305.58/299.07	    decisions=136455, wrong=66908, backtracks=33268, failedAssignments=40889, nogoods=1609, foundSolutions=19, bestBound=305
305.58/299.07	    nFilterCalls=1828272, avgTableProportion=0.3234494101534126, avgTableSize=0.6468988203068252
305.58/299.07	    
305.87/299.30	    num=222, depth=6..15, filters=2815382, revisions=(2884182,useless=1562667), ccks=3358563308, wck=297.063, mem=53M481
305.87/299.30	    decisions=136520, wrong=66936, backtracks=33281, failedAssignments=40906, nogoods=1613, foundSolutions=19, bestBound=305
305.87/299.30	    nFilterCalls=1829364, avgTableProportion=0.3234419175188754, avgTableSize=0.6468838350377508
305.87/299.30	    
306.07/299.60	    num=223, depth=8..17, filters=2817163, revisions=(2886248,useless=1563771), ccks=3361912132, wck=297.355, mem=57M340
306.07/299.60	    decisions=136617, wrong=66979, backtracks=33307, failedAssignments=40925, nogoods=1616, foundSolutions=19, bestBound=305
306.07/299.60	    nFilterCalls=1830372, avgTableProportion=0.3234438136072886, avgTableSize=0.6468876272145772
306.07/299.60	    
306.37/299.81	    num=224, depth=10..16, filters=2818321, revisions=(2887542,useless=1564467), ccks=3364354830, wck=297.568, mem=59M269
306.37/299.81	    decisions=136695, wrong=67013, backtracks=33322, failedAssignments=40946, nogoods=1622, foundSolutions=19, bestBound=305
306.37/299.81	    nFilterCalls=1831139, avgTableProportion=0.32344868412501726, avgTableSize=0.6468973682500345
306.37/299.81	    
306.68/300.11	    num=225, depth=10..17, filters=2819737, revisions=(2889228,useless=1565410), ccks=3367883601, wck=297.872, mem=61M199
306.68/300.11	    decisions=136787, wrong=67054, backtracks=33342, failedAssignments=40969, nogoods=1624, foundSolutions=19, bestBound=305
306.68/300.11	    nFilterCalls=1832002, avgTableProportion=0.3234453346666652, avgTableSize=0.6468906693333304
306.68/300.11	    
306.87/300.39	    num=226, depth=7..20, filters=2821405, revisions=(2891168,useless=1566426), ccks=3371113518, wck=298.153, mem=63M128
306.87/300.39	    decisions=136885, wrong=67094, backtracks=33357, failedAssignments=40994, nogoods=1630, foundSolutions=19, bestBound=305
306.87/300.39	    nFilterCalls=1832920, avgTableProportion=0.3234519237064356, avgTableSize=0.6469038474128712
306.87/300.39	    
307.18/300.66	    num=227, depth=7..15, filters=2823704, revisions=(2893378,useless=1567529), ccks=3374093343, wck=298.415, mem=65M57
307.18/300.66	    decisions=136981, wrong=67137, backtracks=33373, failedAssignments=41022, nogoods=1634, foundSolutions=19, bestBound=305
307.18/300.66	    nFilterCalls=1834295, avgTableProportion=0.3234716880327319, avgTableSize=0.6469433760654638
307.18/300.66	    
307.48/300.90	    num=228, depth=7..17, filters=2825046, revisions=(2894978,useless=1568407), ccks=3376903082, wck=298.66, mem=66M987
307.48/300.90	    decisions=137080, wrong=67181, backtracks=33389, failedAssignments=41053, nogoods=1639, foundSolutions=19, bestBound=305
307.48/300.90	    nFilterCalls=1835044, avgTableProportion=0.3234878836692744, avgTableSize=0.6469757673385488
307.48/300.90	    
307.78/301.28	    num=229, depth=6..11, filters=2828037, revisions=(2898064,useless=1570031), ccks=3381202031, wck=299.036, mem=70M846
307.78/301.28	    decisions=137196, wrong=67234, backtracks=33415, failedAssignments=41087, nogoods=1647, foundSolutions=19, bestBound=305
307.78/301.28	    nFilterCalls=1836851, avgTableProportion=0.3235120867179755, avgTableSize=0.647024173435951
307.78/301.28	    
308.18/301.62	    num=230, depth=10..15, filters=2829462, revisions=(2899925,useless=1571012), ccks=3385125731, wck=299.376, mem=72M775
308.18/301.62	    decisions=137331, wrong=67295, backtracks=33440, failedAssignments=41124, nogoods=1651, foundSolutions=19, bestBound=305
308.18/301.62	    nFilterCalls=1837394, avgTableProportion=0.32353811975003727, avgTableSize=0.6470762395000745
308.18/301.62	    
308.59/302.01	    num=231, depth=8..15, filters=2833386, revisions=(2903707,useless=1573090), ccks=3389622418, wck=299.773, mem=76M634
308.59/302.01	    decisions=137479, wrong=67364, backtracks=33476, failedAssignments=41165, nogoods=1659, foundSolutions=19, bestBound=305
308.59/302.01	    nFilterCalls=1840159, avgTableProportion=0.3235144354373725, avgTableSize=0.647028870874745
308.59/302.01	    
308.98/302.40	    num=232, depth=5..13, filters=2836207, revisions=(2906862,useless=1574787), ccks=3394031473, wck=300.163, mem=80M492
308.98/302.40	    decisions=137642, wrong=67439, backtracks=33515, failedAssignments=41210, nogoods=1666, foundSolutions=19, bestBound=305
308.98/302.40	    nFilterCalls=1841744, avgTableProportion=0.3235433371847553, avgTableSize=0.6470866743695106
308.98/302.40	    
309.48/303.01	    num=233, depth=6..14, filters=2839143, revisions=(2910242,useless=1576426), ccks=3400953249, wck=300.765, mem=84M351
309.48/303.01	    decisions=137826, wrong=67527, backtracks=33559, failedAssignments=41260, nogoods=1669, foundSolutions=19, bestBound=305
309.48/303.01	    nFilterCalls=1843204, avgTableProportion=0.3235344541352992, avgTableSize=0.6470689082705984
309.48/303.01	    
309.98/303.43	    num=234, depth=8..16, filters=2842061, revisions=(2913790,useless=1578356), ccks=3405765271, wck=301.187, mem=88M210
309.98/303.43	    decisions=138017, wrong=67618, backtracks=33607, failedAssignments=41315, nogoods=1675, foundSolutions=19, bestBound=305
309.98/303.43	    nFilterCalls=1844677, avgTableProportion=0.3235788704472382, avgTableSize=0.6471577408944764
309.98/303.43	    
310.38/303.88	    num=235, depth=6..17, filters=2846561, revisions=(2918415,useless=1580788), ccks=3410923588, wck=301.64, mem=92M69
310.38/303.88	    decisions=138223, wrong=67714, backtracks=33653, failedAssignments=41376, nogoods=1681, foundSolutions=19, bestBound=305
310.38/303.88	    nFilterCalls=1847726, avgTableProportion=0.3235249706937067, avgTableSize=0.6470499413874135
310.38/303.88	    
311.08/304.56	    num=236, depth=6..15, filters=2852710, revisions=(2924756,useless=1584256), ccks=3418705820, wck=302.322, mem=97M857
311.08/304.56	    decisions=138467, wrong=67830, backtracks=33721, failedAssignments=41443, nogoods=1686, foundSolutions=19, bestBound=305
311.08/304.56	    nFilterCalls=1851744, avgTableProportion=0.3235128613890473, avgTableSize=0.6470257227780946
311.08/304.56	    
311.69/305.15	    num=237, depth=7..19, filters=2857329, revisions=(2929659,useless=1586831), ccks=3425451016, wck=302.912, mem=103M645
311.69/305.15	    decisions=138730, wrong=67956, backtracks=33782, failedAssignments=41517, nogoods=1693, foundSolutions=19, bestBound=305
311.69/305.15	    nFilterCalls=1854752, avgTableProportion=0.32338932644364315, avgTableSize=0.6467786528872863
311.69/305.15	    
312.28/305.71	    num=238, depth=6..15, filters=2862990, revisions=(2935634,useless=1590118), ccks=3431776238, wck=303.473, mem=109M433
312.28/305.71	    decisions=139023, wrong=68097, backtracks=33850, failedAssignments=41598, nogoods=1700, foundSolutions=19, bestBound=305
312.28/305.71	    nFilterCalls=1858683, avgTableProportion=0.3234325057043078, avgTableSize=0.6468650114086156
312.28/305.71	    
313.08/306.53	    num=239, depth=7..17, filters=2869064, revisions=(2942175,useless=1593633), ccks=3441068305, wck=304.287, mem=119M79
313.08/306.53	    decisions=139372, wrong=68266, backtracks=33947, failedAssignments=41687, nogoods=1711, foundSolutions=19, bestBound=305
313.08/306.53	    nFilterCalls=1862195, avgTableProportion=0.32348545667881184, avgTableSize=0.6469709133576237
313.08/306.53	    
313.70/307.18	    num=240, depth=5..19, filters=2875861, revisions=(2949403,useless=1597408), ccks=3448407242, wck=304.94, mem=28M368
313.70/307.18	    decisions=139729, wrong=68440, backtracks=34048, failedAssignments=41785, nogoods=1713, foundSolutions=19, bestBound=305
313.70/307.18	    nFilterCalls=1866519, avgTableProportion=0.32344058646067897, avgTableSize=0.6468811729213579
313.70/307.18	    
314.49/307.90	    num=241, depth=4..14, filters=2881948, revisions=(2956010,useless=1601070), ccks=3456374365, wck=305.659, mem=36M2
314.49/307.90	    decisions=140103, wrong=68623, backtracks=34142, failedAssignments=41893, nogoods=1719, foundSolutions=19, bestBound=305
314.49/307.90	    nFilterCalls=1870287, avgTableProportion=0.3234990137877235, avgTableSize=0.646998027575447
314.49/307.90	    
315.79/309.29	    num=242, depth=8..17, filters=2890068, revisions=(2965504,useless=1606085), ccks=3472545194, wck=307.053, mem=47M452
315.79/309.29	    decisions=140570, wrong=68851, backtracks=34258, failedAssignments=42012, nogoods=1725, foundSolutions=19, bestBound=305
315.79/309.29	    nFilterCalls=1874226, avgTableProportion=0.323446852193919, avgTableSize=0.646893704387838
315.79/309.29	    
317.10/310.56	    num=243, depth=7..17, filters=2898608, revisions=(2974844,useless=1610966), ccks=3487126040, wck=308.322, mem=58M902
317.10/310.56	    decisions=141030, wrong=69075, backtracks=34376, failedAssignments=42143, nogoods=1734, foundSolutions=19, bestBound=305
317.10/310.56	    nFilterCalls=1878679, avgTableProportion=0.3235180145197769, avgTableSize=0.6470360290395538
317.10/310.56	    
318.00/311.42	    num=244, depth=5..20, filters=2909232, revisions=(2985535,useless=1616672), ccks=3496749910, wck=309.177, mem=68M444
318.00/311.42	    decisions=141488, wrong=69299, backtracks=34483, failedAssignments=42287, nogoods=1737, foundSolutions=19, bestBound=305
318.00/311.42	    nFilterCalls=1885128, avgTableProportion=0.3235082710563951, avgTableSize=0.6470165421127902
318.00/311.42	    
318.94/312.38	    num=245, depth=6..21, filters=2920984, revisions=(2997222,useless=1622970), ccks=3507544365, wck=310.138, mem=77M986
318.94/312.38	    decisions=142035, wrong=69568, backtracks=34632, failedAssignments=42445, nogoods=1745, foundSolutions=19, bestBound=305
318.94/312.38	    nFilterCalls=1893667, avgTableProportion=0.3234203796126774, avgTableSize=0.6468407592253548
318.94/312.38	    
320.34/313.78	    num=246, depth=6..21, filters=2931086, revisions=(3008586,useless=1629245), ccks=3523524723, wck=311.541, mem=91M345
320.34/313.78	    decisions=142627, wrong=69858, backtracks=34777, failedAssignments=42619, nogoods=1751, foundSolutions=19, bestBound=305
320.34/313.78	    nFilterCalls=1899229, avgTableProportion=0.3235260202956042, avgTableSize=0.6470520405912084
320.34/313.78	    
321.75/315.18	    num=247, depth=5..20, filters=2943181, revisions=(3021256,useless=1635764), ccks=3539571902, wck=312.939, mem=102M796
321.75/315.18	    decisions=143230, wrong=70156, backtracks=34917, failedAssignments=42810, nogoods=1757, foundSolutions=19, bestBound=305
321.75/315.18	    nFilterCalls=1906943, avgTableProportion=0.32342629014081703, avgTableSize=0.6468525802816341
321.75/315.18	    
323.84/317.24	    num=248, depth=6..21, filters=2957111, revisions=(3037023,useless=1644298), ccks=3563294865, wck=314.995, mem=118M63
323.84/317.24	    decisions=143979, wrong=70527, backtracks=35116, failedAssignments=43021, nogoods=1760, foundSolutions=19, bestBound=305
323.84/317.24	    nFilterCalls=1914556, avgTableProportion=0.32350033114727383, avgTableSize=0.6470006622945477
323.84/317.24	    
325.35/318.70	    num=249, depth=5..17, filters=2976374, revisions=(3055921,useless=1654537), ccks=3579645010, wck=316.461, mem=39M663
325.35/318.70	    decisions=144765, wrong=70916, backtracks=35332, failedAssignments=43253, nogoods=1767, foundSolutions=19, bestBound=305
325.35/318.70	    nFilterCalls=1927690, avgTableProportion=0.3236054552339847, avgTableSize=0.6472109104679694
325.35/318.70	    
326.95/320.33	    num=250, depth=7..19, filters=2990295, revisions=(3071259,useless=1662902), ccks=3598208098, wck=318.089, mem=56M649
326.95/320.33	    decisions=145570, wrong=71313, backtracks=35507, failedAssignments=43508, nogoods=1777, foundSolutions=19, bestBound=305
326.95/320.33	    nFilterCalls=1935620, avgTableProportion=0.32364901168617805, avgTableSize=0.6472980233723561
326.95/320.33	    
329.26/322.69	    num=251, depth=6..18, filters=3008150, revisions=(3091182,useless=1674272), ccks=3624566333, wck=320.447, mem=79M299
329.26/322.69	    decisions=146519, wrong=71782, backtracks=35748, failedAssignments=43789, nogoods=1786, foundSolutions=19, bestBound=305
329.26/322.69	    nFilterCalls=1946097, avgTableProportion=0.32383920225970236, avgTableSize=0.6476784045194047
329.26/322.69	    
331.56/324.91	    num=252, depth=5..20, filters=3036206, revisions=(3118391,useless=1688568), ccks=3649526061, wck=322.672, mem=101M948
331.56/324.91	    decisions=147606, wrong=72322, backtracks=36039, failedAssignments=44098, nogoods=1798, foundSolutions=19, bestBound=305
331.56/324.91	    nFilterCalls=1964539, avgTableProportion=0.3238518044182376, avgTableSize=0.6477036088364752
331.56/324.91	    
333.67/327.02	    num=253, depth=6..19, filters=3053554, revisions=(3136705,useless=1698623), ccks=3672961169, wck=324.78, mem=30M174
333.67/327.02	    decisions=148602, wrong=72815, backtracks=36225, failedAssignments=44438, nogoods=1802, foundSolutions=19, bestBound=305
333.67/327.02	    nFilterCalls=1974734, avgTableProportion=0.32399199082002944, avgTableSize=0.6479839816400589
333.67/327.02	    
335.57/328.95	    num=254, depth=5..20, filters=3083041, revisions=(3165990,useless=1714384), ccks=3694269354, wck=326.706, mem=56M305
335.57/328.95	    decisions=149880, wrong=73450, backtracks=36544, failedAssignments=44812, nogoods=1808, foundSolutions=19, bestBound=305
335.57/328.95	    nFilterCalls=1994663, avgTableProportion=0.3239223868894144, avgTableSize=0.6478447737788288
335.57/328.95	    
337.97/331.35	    num=255, depth=5..22, filters=3112908, revisions=(3195400,useless=1729781), ccks=3721312717, wck=329.107, mem=82M435
337.97/331.35	    decisions=151229, wrong=74121, backtracks=36886, failedAssignments=45223, nogoods=1815, foundSolutions=19, bestBound=305
337.97/331.35	    nFilterCalls=2014788, avgTableProportion=0.3237933718088454, avgTableSize=0.6475867436176908
337.97/331.35	    
341.37/334.74	    num=256, depth=6..19, filters=3139329, revisions=(3224472,useless=1745844), ccks=3760239484, wck=332.503, mem=112M298
341.37/334.74	    decisions=152716, wrong=74860, backtracks=37264, failedAssignments=45675, nogoods=1824, foundSolutions=19, bestBound=305
341.37/334.74	    nFilterCalls=2030789, avgTableProportion=0.32383644977395487, avgTableSize=0.6476728995479097
341.37/334.74	    
344.97/338.35	    num=257, depth=6..21, filters=3167970, revisions=(3256717,useless=1763816), ccks=3801263523, wck=336.112, mem=54M114
344.97/338.35	    decisions=154430, wrong=75711, backtracks=37690, failedAssignments=46172, nogoods=1831, foundSolutions=19, bestBound=305
344.97/338.35	    nFilterCalls=2046960, avgTableProportion=0.32384926916012036, avgTableSize=0.6476985383202407
344.97/338.35	    
348.07/341.46	    num=258, depth=4..22, filters=3207892, revisions=(3295022,useless=1784154), ccks=3835900300, wck=339.222, mem=89M179
348.07/341.46	    decisions=156230, wrong=76607, backtracks=38150, failedAssignments=46719, nogoods=1839, foundSolutions=19, bestBound=305
348.07/341.46	    nFilterCalls=2074906, avgTableProportion=0.3239088903304535, avgTableSize=0.647817780660907
348.07/341.46	    
353.48/346.83	    num=259, depth=4..21, filters=3244208, revisions=(3335741,useless=1807039), ccks=3897036708, wck=344.585, mem=42M844
353.48/346.83	    decisions=158216, wrong=77596, backtracks=38606, failedAssignments=47321, nogoods=1846, foundSolutions=19, bestBound=305
353.48/346.83	    nFilterCalls=2095574, avgTableProportion=0.32393773734547193, avgTableSize=0.6478754746909439
353.48/346.83	    
356.79/350.12	    num=260, depth=5..20, filters=3284706, revisions=(3376742,useless=1828882), ccks=3934111866, wck=347.882, mem=81M159
356.79/350.12	    decisions=160298, wrong=78631, backtracks=39068, failedAssignments=47983, nogoods=1866, foundSolutions=19, bestBound=305
356.79/350.12	    nFilterCalls=2121388, avgTableProportion=0.3239867011598067, avgTableSize=0.6479734023196134
356.79/350.12	    
362.49/355.81	    num=261, depth=4..19, filters=3339133, revisions=(3433978,useless=1859819), ccks=3998295377, wck=353.567, mem=51M672
362.49/355.81	    decisions=162953, wrong=79953, backtracks=39818, failedAssignments=48711, nogoods=1872, foundSolutions=19, bestBound=305
362.49/355.81	    nFilterCalls=2155311, avgTableProportion=0.32400614110910214, avgTableSize=0.6480122822182043
362.49/355.81	    
366.20/359.58	    num=262, depth=4..21, filters=3384004, revisions=(3478563,useless=1884162), ccks=4040785539, wck=357.335, mem=93M153
366.20/359.58	    decisions=165368, wrong=81156, backtracks=40316, failedAssignments=49512, nogoods=1918, foundSolutions=19, bestBound=305
366.20/359.58	    nFilterCalls=2186321, avgTableProportion=0.3238250467337596, avgTableSize=0.6476500934675192
366.20/359.58	    
373.72/367.03	    num=263, depth=5..24, filters=3433983, revisions=(3531525,useless=1912538), ccks=4125966730, wck=364.786, mem=69M195
373.72/367.03	    decisions=168273, wrong=82605, backtracks=41036, failedAssignments=50393, nogoods=1926, foundSolutions=19, bestBound=305
373.72/367.03	    nFilterCalls=2217172, avgTableProportion=0.32339304302958904, avgTableSize=0.6467860860591781
373.72/367.03	    
379.01/372.36	    num=264, depth=4..18, filters=3500801, revisions=(3597374,useless=1947512), ccks=4185507454, wck=370.12, mem=38M735
379.01/372.36	    decisions=171347, wrong=84138, backtracks=41794, failedAssignments=51363, nogoods=1933, foundSolutions=19, bestBound=305
379.01/372.36	    nFilterCalls=2261029, avgTableProportion=0.32377050449153905, avgTableSize=0.6475410089830781
379.01/372.36	    
387.43/380.72	    num=265, depth=6..23, filters=3574333, revisions=(3674736,useless=1990025), ccks=4279053099, wck=378.483, mem=33M357
387.43/380.72	    decisions=174972, wrong=85947, backtracks=42798, failedAssignments=52430, nogoods=1941, foundSolutions=19, bestBound=305
387.43/380.72	    nFilterCalls=2307948, avgTableProportion=0.32351183822165835, avgTableSize=0.6470236764433167
387.43/380.72	    
397.23/390.57	    num=266, depth=5..24, filters=3645289, revisions=(3754689,useless=2033510), ccks=4391487248, wck=388.329, mem=31M544
397.23/390.57	    decisions=179162, wrong=88039, backtracks=43861, failedAssignments=53603, nogoods=1952, foundSolutions=19, bestBound=305
397.23/390.57	    nFilterCalls=2347125, avgTableProportion=0.32372881716994195, avgTableSize=0.6474576343398839
397.23/390.57	    
403.75/397.10	    num=267, depth=4..24, filters=3731331, revisions=(3839104,useless=2078305), ccks=4464249999, wck=394.859, mem=103M770
403.75/397.10	    decisions=183392, wrong=90150, backtracks=44939, failedAssignments=54894, nogoods=1960, foundSolutions=19, bestBound=305
403.75/397.10	    nFilterCalls=2404454, avgTableProportion=0.32407024630123926, avgTableSize=0.6481404926024785
403.75/397.10	    
416.15/409.47	    num=268, depth=4..23, filters=3810585, revisions=(3929125,useless=2127875), ccks=4605954811, wck=407.229, mem=39M756
416.15/409.47	    decisions=187915, wrong=92407, backtracks=46002, failedAssignments=56314, nogoods=1972, foundSolutions=19, bestBound=305
416.15/409.47	    nFilterCalls=2445491, avgTableProportion=0.32415351354799504, avgTableSize=0.6483070270959901
416.15/409.47	    
424.96/418.20	    num=269, depth=4..22, filters=3930720, revisions=(4042862,useless=2187755), ccks=4702849116, wck=415.959, mem=66M87
424.96/418.20	    decisions=193045, wrong=94967, backtracks=47282, failedAssignments=57876, nogoods=1983, foundSolutions=19, bestBound=305
424.96/418.20	    nFilterCalls=2526478, avgTableProportion=0.324757824924658, avgTableSize=0.649515649849316
424.96/418.20	    
442.07/435.33	    num=270, depth=0..19, filters=4041370, revisions=(4163776,useless=2252904), ccks=4897947248, wck=433.088, mem=47M266
442.07/435.33	    decisions=199061, wrong=97970, backtracks=48964, failedAssignments=59594, nogoods=1999, foundSolutions=19, bestBound=305
442.07/435.33	    nFilterCalls=2590917, avgTableProportion=0.3244370622447574, avgTableSize=0.6488741244895148
442.07/435.33	    
451.48/444.77	    num=271, depth=3..21, filters=4178656, revisions=(4295727,useless=2324089), ccks=5001567783, wck=442.526, mem=80M455
451.48/444.77	    decisions=205137, wrong=101005, backtracks=50425, failedAssignments=61484, nogoods=2048, foundSolutions=19, bestBound=305
451.48/444.77	    nFilterCalls=2686707, avgTableProportion=0.3248685100384969, avgTableSize=0.6497370200769939
451.48/444.77	    
464.25/457.40	    num=272, depth=4..20, filters=4298900, revisions=(4419747,useless=2391668), ccks=5142661405, wck=455.162, mem=68M451
464.25/457.40	    decisions=211517, wrong=104190, backtracks=51880, failedAssignments=63563, nogoods=2058, foundSolutions=19, bestBound=305
464.25/457.40	    nFilterCalls=2762073, avgTableProportion=0.3256449051129351, avgTableSize=0.6512898102258702
464.25/457.40	    
478.96/472.17	    num=273, depth=3..18, filters=4451370, revisions=(4564501,useless=2467987), ccks=5306469835, wck=469.927, mem=80M232
478.96/472.17	    decisions=218731, wrong=107792, backtracks=53611, failedAssignments=65850, nogoods=2075, foundSolutions=19, bestBound=305
478.96/472.17	    nFilterCalls=2861469, avgTableProportion=0.3273816700443024, avgTableSize=0.6547633400886048
478.96/472.17	    
493.99/487.16	    num=274, depth=2..20, filters=4616677, revisions=(4737794,useless=2563359), ccks=5471769842, wck=484.924, mem=32M358
493.99/487.16	    decisions=227267, wrong=112056, backtracks=55983, failedAssignments=68366, nogoods=2083, foundSolutions=19, bestBound=305
493.99/487.16	    nFilterCalls=2963770, avgTableProportion=0.327346926380927, avgTableSize=0.654693852761854
493.99/487.16	    
512.29/505.43	    num=275, depth=1..21, filters=4814860, revisions=(4935417,useless=2669371), ccks=5674768667, wck=503.185, mem=82M906
512.29/505.43	    decisions=236593, wrong=116716, backtracks=58425, failedAssignments=71134, nogoods=2121, foundSolutions=19, bestBound=305
512.29/505.43	    nFilterCalls=3087335, avgTableProportion=0.32906875994992446, avgTableSize=0.6581375198998489
512.29/505.43	    
527.81/520.96	    num=276, depth=3..20, filters=5044710, revisions=(5154437,useless=2787310), ccks=5844378815, wck=518.717, mem=64M174
527.81/520.96	    decisions=246213, wrong=121522, backtracks=60704, failedAssignments=74178, nogoods=2151, foundSolutions=19, bestBound=305
527.81/520.96	    nFilterCalls=3244436, avgTableProportion=0.32961368324109336, avgTableSize=0.6592273664821867
527.81/520.96	    
553.53/546.63	    num=277, depth=3..25, filters=5241821, revisions=(5368122,useless=2906542), ccks=6135931758, wck=544.394, mem=84M725
553.53/546.63	    decisions=257460, wrong=127143, backtracks=63521, failedAssignments=77527, nogoods=2158, foundSolutions=19, bestBound=305
553.53/546.63	    nFilterCalls=3365844, avgTableProportion=0.329774790513167, avgTableSize=0.659549581026334
553.53/546.63	    
571.76/564.82	    num=278, depth=2..23, filters=5503594, revisions=(5626919,useless=3046680), ccks=6334093887, wck=562.583, mem=34M527
571.76/564.82	    decisions=269495, wrong=133158, backtracks=66491, failedAssignments=81211, nogoods=2160, foundSolutions=19, bestBound=305
571.76/564.82	    nFilterCalls=3541957, avgTableProportion=0.3295140228975112, avgTableSize=0.6590280457950224
571.76/564.82	    
594.29/587.34	    num=279, depth=4..21, filters=5719988, revisions=(5858856,useless=3172597), ccks=6587330720, wck=585.097, mem=24M845
594.29/587.34	    decisions=281405, wrong=139110, backtracks=68873, failedAssignments=85263, nogoods=2249, foundSolutions=19, bestBound=305
594.29/587.34	    nFilterCalls=3667440, avgTableProportion=0.3306096350587876, avgTableSize=0.6612192701175752
594.29/587.34	    
620.41/613.49	    num=280, depth=3..23, filters=6050276, revisions=(6186340,useless=3348776), ccks=6878915423, wck=611.246, mem=57M301
620.41/613.49	    decisions=296088, wrong=146446, backtracks=72592, failedAssignments=89720, nogoods=2264, foundSolutions=19, bestBound=305
620.41/613.49	    nFilterCalls=3880518, avgTableProportion=0.3312113228182423, avgTableSize=0.6624226456364846
620.41/613.49	    
657.86/650.84	    num=281, depth=3..22, filters=6353693, revisions=(6509557,useless=3525269), ccks=7303485503, wck=648.602, mem=75M968
657.86/650.84	    decisions=312220, wrong=154509, backtracks=76636, failedAssignments=94623, nogoods=2312, foundSolutions=19, bestBound=305
657.86/650.84	    nFilterCalls=4064153, avgTableProportion=0.33080619750289914, avgTableSize=0.6616123950057983
657.86/650.84	    
686.11/679.03	    num=282, depth=2..23, filters=6749152, revisions=(6892533,useless=3731951), ccks=7611296659, wck=676.788, mem=60M308
686.11/679.03	    decisions=329903, wrong=163345, backtracks=81060, failedAssignments=100017, nogoods=2320, foundSolutions=19, bestBound=305
686.11/679.03	    nFilterCalls=4336315, avgTableProportion=0.3307660997874924, avgTableSize=0.6615321995749848
686.11/679.03	    
720.54/713.44	    num=283, depth=3..23, filters=7143636, revisions=(7290731,useless=3952211), ccks=7997570397, wck=711.199, mem=36M972
720.54/713.44	    decisions=348995, wrong=172885, backtracks=85569, failedAssignments=105950, nogoods=2328, foundSolutions=19, bestBound=305
720.54/713.44	    nFilterCalls=4603575, avgTableProportion=0.3308462444947676, avgTableSize=0.6616924889895353
720.54/713.44	    
757.29/750.16	    num=284, depth=3..26, filters=7576815, revisions=(7731396,useless=4187941), ccks=8399652003, wck=747.922, mem=61M60
757.29/750.16	    decisions=370393, wrong=183579, backtracks=90905, failedAssignments=112476, nogoods=2338, foundSolutions=19, bestBound=305
757.29/750.16	    nFilterCalls=4885800, avgTableProportion=0.32924669450243566, avgTableSize=0.6584933890048713
757.29/750.16	    
800.95/793.78	    num=285, depth=3..22, filters=8062278, revisions=(8185254,useless=4431941), ccks=8868355151, wck=791.537, mem=67M551
800.95/793.78	    decisions=393828, wrong=195295, backtracks=96695, failedAssignments=119655, nogoods=2347, foundSolutions=19, bestBound=305
800.95/793.78	    nFilterCalls=5230872, avgTableProportion=0.33166993954354074, avgTableSize=0.6633398790870815
800.95/793.78	    
845.21/837.92	    num=286, depth=4..24, filters=8517482, revisions=(8663704,useless=4691476), ccks=9353002171, wck=835.677, mem=61M150
845.21/837.92	    decisions=417731, wrong=207243, backtracks=101860, failedAssignments=127552, nogoods=2369, foundSolutions=19, bestBound=305
845.21/837.92	    nFilterCalls=5506331, avgTableProportion=0.33147734852844846, avgTableSize=0.6629546970568969
845.21/837.92	    
886.29/879.00	    num=287, depth=1..22, filters=9152748, revisions=(9260225,useless=5011482), ccks=9785382027, wck=876.755, mem=37M637
886.29/879.00	    decisions=445123, wrong=220935, backtracks=108404, failedAssignments=136239, nogoods=2375, foundSolutions=19, bestBound=305
886.29/879.00	    nFilterCalls=5943788, avgTableProportion=0.3322816190617835, avgTableSize=0.664563238123567
886.29/879.00	    
937.58/930.18	    num=288, depth=1..24, filters=9844485, revisions=(9917900,useless=5367183), ccks=10327862243, wck=927.938, mem=32M313
937.58/930.18	    decisions=476728, wrong=236734, backtracks=116391, failedAssignments=145794, nogoods=2387, foundSolutions=19, bestBound=305
937.58/930.18	    nFilterCalls=6426142, avgTableProportion=0.3339267168388125, avgTableSize=0.667853433677625
937.58/930.18	    
1008.16/1000.66	    num=289, depth=2..23, filters=10557305, revisions=(10634993,useless=5762745), ccks=11089925554, wck=998.416, mem=40M894
1008.16/1000.66	    decisions=511504, wrong=254119, backtracks=125136, failedAssignments=156305, nogoods=2412, foundSolutions=19, bestBound=305
1008.16/1000.66	    nFilterCalls=6911761, avgTableProportion=0.3347670731091541, avgTableSize=0.6695341462183082
1008.16/1000.66	    
1083.56/1075.92	    num=290, depth=2..24, filters=11477599, revisions=(11521110,useless=6237604), ccks=11906886170, wck=1073.683, mem=48M365
1083.56/1075.92	    decisions=551566, wrong=274148, backtracks=136154, failedAssignments=167867, nogoods=2437, foundSolutions=19, bestBound=305
1083.56/1075.92	    nFilterCalls=7539898, avgTableProportion=0.33502727755733563, avgTableSize=0.6700545551146713
1083.56/1075.92	    
1156.41/1148.69	    num=291, depth=0..24, filters=12499302, revisions=(12468219,useless=6745365), ccks=12677666622, wck=1146.447, mem=33M416
1156.41/1148.69	    decisions=594655, wrong=295690, backtracks=147943, failedAssignments=180585, nogoods=2451, foundSolutions=19, bestBound=305
1156.41/1148.69	    nFilterCalls=8263971, avgTableProportion=0.33682656921230725, avgTableSize=0.6736531384246145
1156.41/1148.69	    
1244.93/1237.01	    num=292, depth=1..22, filters=13534074, revisions=(13478990,useless=7292951), ccks=13622053968, wck=1234.774, mem=77M283
1244.93/1237.01	    decisions=640072, wrong=318395, backtracks=159555, failedAssignments=194575, nogoods=2465, foundSolutions=19, bestBound=305
1244.93/1237.01	    nFilterCalls=8965586, avgTableProportion=0.3379392044201015, avgTableSize=0.675878408840203
1244.93/1237.01	    
1342.78/1334.76	    num=293, depth=1..22, filters=14837595, revisions=(14697499,useless=7945827), ccks=14682061257, wck=1332.52, mem=51M598
1342.78/1334.76	    decisions=691575, wrong=344143, backtracks=172823, failedAssignments=209964, nogoods=2472, foundSolutions=19, bestBound=305
1342.78/1334.76	    nFilterCalls=9871274, avgTableProportion=0.3385517411430379, avgTableSize=0.6771034822860758
1342.78/1334.76	    
1437.10/1428.94	o 304
1437.10/1428.94	    num=294, depth=1..104, filters=15831626, revisions=(15687365,useless=8486306), ccks=15705280730, wck=1426.699, mem=55M925
1437.10/1428.94	    decisions=739621, wrong=368156, backtracks=184632, failedAssignments=224740, nogoods=2479, foundSolutions=20, bestBound=304
1437.10/1428.94	    nFilterCalls=10565801, avgTableProportion=0.33812131233590337, avgTableSize=0.6762426246718067
1437.10/1428.94	    
1532.86/1524.53	    num=295, depth=1..23, filters=17187427, revisions=(16987325,useless=9194203), ccks=16715867380, wck=1522.287, mem=75M160
1532.86/1524.53	    decisions=800062, wrong=398372, backtracks=199932, failedAssignments=243361, nogoods=2553, foundSolutions=20, bestBound=304
1532.86/1524.53	    nFilterCalls=11512054, avgTableProportion=0.3377833790564221, avgTableSize=0.6755667581128442
1532.86/1524.53	    
1532.86/1524.54	    num=296, depth=0..0, filters=17187508, revisions=(16987474,useless=9194282), ccks=16715937655, wck=1522.295, mem=75M160
1532.86/1524.54	    decisions=800084, wrong=398383, backtracks=199932, failedAssignments=243372, nogoods=2553, foundSolutions=20, bestBound=304
1532.86/1524.54	    nFilterCalls=11512058, avgTableProportion=0.3377834354204956, avgTableSize=0.6755668708409912
1532.86/1524.54	    
1532.86/1524.55	    num=297, depth=0..0, filters=17187592, revisions=(16987630,useless=9194366), ccks=16716103657, wck=1522.311, mem=75M160
1532.86/1524.55	    decisions=800108, wrong=398395, backtracks=199932, failedAssignments=243384, nogoods=2553, foundSolutions=20, bestBound=304
1532.86/1524.55	    nFilterCalls=11512058, avgTableProportion=0.3377834354204956, avgTableSize=0.6755668708409912
1532.86/1524.55	    
1532.97/1524.64	    num=298, depth=0..10, filters=17187945, revisions=(16988068,useless=9194594), ccks=16717085383, wck=1522.399, mem=76M230
1532.97/1524.64	    decisions=800144, wrong=398408, backtracks=199932, failedAssignments=243397, nogoods=2554, foundSolutions=20, bestBound=304
1532.97/1524.64	    nFilterCalls=11512285, avgTableProportion=0.33778511390223576, avgTableSize=0.6755702278044715
1532.97/1524.64	    
1533.17/1524.89	    num=299, depth=10..15, filters=17189063, revisions=(16989396,useless=9195304), ccks=16719830637, wck=1522.646, mem=77M300
1533.17/1524.89	    decisions=800202, wrong=398432, backtracks=199946, failedAssignments=243411, nogoods=2555, foundSolutions=20, bestBound=304
1533.17/1524.89	    nFilterCalls=11512894, avgTableProportion=0.33778770133730057, avgTableSize=0.6755754026746011
1533.17/1524.89	    
1533.39/1525.05	    num=300, depth=7..10, filters=17189916, revisions=(16990349,useless=9195758), ccks=16721614015, wck=1522.807, mem=25M23
1533.39/1525.05	    decisions=800255, wrong=398455, backtracks=199954, failedAssignments=243427, nogoods=2562, foundSolutions=20, bestBound=304
1533.39/1525.05	    nFilterCalls=11513286, avgTableProportion=0.3377907923072527, avgTableSize=0.6755815846145053
1533.39/1525.05	    
1533.58/1525.25	    num=301, depth=11..17, filters=17190814, revisions=(16991422,useless=9196331), ccks=16723924408, wck=1523.012, mem=27M162
1533.58/1525.25	    decisions=800319, wrong=398481, backtracks=199963, failedAssignments=243444, nogoods=2565, foundSolutions=20, bestBound=304
1533.58/1525.25	    nFilterCalls=11513824, avgTableProportion=0.33779333434313397, avgTableSize=0.6755866686862679
1533.58/1525.25	    
1533.78/1525.47	    num=302, depth=7..14, filters=17191761, revisions=(16992591,useless=9197012), ccks=16726428131, wck=1523.234, mem=28M232
1533.78/1525.47	    decisions=800380, wrong=398508, backtracks=199977, failedAssignments=243463, nogoods=2567, foundSolutions=20, bestBound=304
1533.78/1525.47	    nFilterCalls=11514367, avgTableProportion=0.3377975966894229, avgTableSize=0.6755951933788458
1533.78/1525.47	    
1533.98/1525.69	    num=303, depth=6..17, filters=17193069, revisions=(16994045,useless=9197760), ccks=16728768314, wck=1523.445, mem=30M371
1533.98/1525.69	    decisions=800465, wrong=398547, backtracks=199998, failedAssignments=243484, nogoods=2571, foundSolutions=20, bestBound=304
1533.98/1525.69	    nFilterCalls=11515075, avgTableProportion=0.3377999274863603, avgTableSize=0.6755998549727206
1533.98/1525.69	    
1534.39/1526.02	    num=304, depth=7..15, filters=17194815, revisions=(16995953,useless=9198748), ccks=16732577176, wck=1523.784, mem=32M510
1534.39/1526.02	    decisions=800542, wrong=398581, backtracks=200013, failedAssignments=243507, nogoods=2573, foundSolutions=20, bestBound=304
1534.39/1526.02	    nFilterCalls=11516137, avgTableProportion=0.3378056808459295, avgTableSize=0.675611361691859
1534.39/1526.02	    
1534.49/1526.16	    num=305, depth=8..12, filters=17196029, revisions=(16997106,useless=9199395), ccks=16734007899, wck=1523.92, mem=34M649
1534.49/1526.16	    decisions=800615, wrong=398612, backtracks=200020, failedAssignments=243532, nogoods=2588, foundSolutions=20, bestBound=304
1534.49/1526.16	    nFilterCalls=11517248, avgTableProportion=0.33780899742716314, avgTableSize=0.6756179948543263
1534.49/1526.16	    
1534.78/1526.41	    num=306, depth=6..13, filters=17197874, revisions=(16999077,useless=9200333), ccks=16736830248, wck=1524.173, mem=36M788
1534.78/1526.41	    decisions=800711, wrong=398657, backtracks=200040, failedAssignments=243560, nogoods=2591, foundSolutions=20, bestBound=304
1534.78/1526.41	    nFilterCalls=11518283, avgTableProportion=0.3378086386660234, avgTableSize=0.6756172773320468
1534.78/1526.41	    
1534.99/1526.69	    num=307, depth=11..19, filters=17199740, revisions=(17001304,useless=9201507), ccks=16739937978, wck=1524.452, mem=39M997
1534.99/1526.69	    decisions=800820, wrong=398705, backtracks=200064, failedAssignments=243591, nogoods=2608, foundSolutions=20, bestBound=304
1534.99/1526.69	    nFilterCalls=11519260, avgTableProportion=0.33780546667060213, avgTableSize=0.6756109333412043
1534.99/1526.69	    
1535.29/1526.92	    num=308, depth=6..15, filters=17201833, revisions=(17003415,useless=9202575), ccks=16742460607, wck=1524.682, mem=42M136
1535.29/1526.92	    decisions=800944, wrong=398764, backtracks=200096, failedAssignments=243625, nogoods=2611, foundSolutions=20, bestBound=304
1535.29/1526.92	    nFilterCalls=11520671, avgTableProportion=0.3377982063718337, avgTableSize=0.6755964127436674
1535.29/1526.92	    
1535.69/1527.35	    num=309, depth=6..15, filters=17204438, revisions=(17006444,useless=9204227), ccks=16747231993, wck=1525.11, mem=45M344
1535.69/1527.35	    decisions=801082, wrong=398827, backtracks=200128, failedAssignments=243662, nogoods=2613, foundSolutions=20, bestBound=304
1535.69/1527.35	    nFilterCalls=11522168, avgTableProportion=0.33780192234655837, avgTableSize=0.6756038446931167
1535.69/1527.35	    
1536.09/1527.70	    num=310, depth=7..14, filters=17207640, revisions=(17009647,useless=9205917), ccks=16751132867, wck=1525.463, mem=48M553
1536.09/1527.70	    decisions=801217, wrong=398891, backtracks=200162, failedAssignments=243703, nogoods=2616, foundSolutions=20, bestBound=304
1536.09/1527.70	    nFilterCalls=11524198, avgTableProportion=0.3378014244461957, avgTableSize=0.6756028488923914
1536.09/1527.70	    
1536.19/1527.84	    num=311, depth=7..19, filters=17208602, revisions=(17010872,useless=9206562), ccks=16752629724, wck=1525.599, mem=50M692
1536.19/1527.84	    decisions=801328, wrong=398939, backtracks=200167, failedAssignments=243748, nogoods=2658, foundSolutions=20, bestBound=304
1536.19/1527.84	    nFilterCalls=11524667, avgTableProportion=0.33780247186317836, avgTableSize=0.6756049437263567
1536.19/1527.84	    
1536.50/1528.16	    num=312, depth=7..15, filters=17211350, revisions=(17014277,useless=9208416), ccks=16756183043, wck=1525.921, mem=53M901
1536.50/1528.16	    decisions=801496, wrong=399018, backtracks=200201, failedAssignments=243798, nogoods=2660, foundSolutions=20, bestBound=304
1536.50/1528.16	    nFilterCalls=11526062, avgTableProportion=0.33779915464622695, avgTableSize=0.6755983092924539
1536.50/1528.16	    
1536.79/1528.49	    num=313, depth=12..17, filters=17212683, revisions=(17016163,useless=9209528), ccks=16759883622, wck=1526.246, mem=56M40
1536.79/1528.49	    decisions=801638, wrong=399083, backtracks=200214, failedAssignments=243853, nogoods=2704, foundSolutions=20, bestBound=304
1536.79/1528.49	    nFilterCalls=11526707, avgTableProportion=0.3377966057435137, avgTableSize=0.6755932114870274
1536.79/1528.49	    
1537.19/1528.86	    num=314, depth=7..15, filters=17215573, revisions=(17019838,useless=9211532), ccks=16764049541, wck=1526.62, mem=60M318
1537.19/1528.86	    decisions=801833, wrong=399175, backtracks=200251, failedAssignments=243914, nogoods=2709, foundSolutions=20, bestBound=304
1537.19/1528.86	    nFilterCalls=11528026, avgTableProportion=0.33779438908274495, avgTableSize=0.6755887781654899
1537.19/1528.86	    
1537.59/1529.23	    num=315, depth=8..16, filters=17217763, revisions=(17022268,useless=9212851), ccks=16768185479, wck=1526.989, mem=63M527
1537.59/1529.23	    decisions=802030, wrong=399268, backtracks=200282, failedAssignments=243981, nogoods=2723, foundSolutions=20, bestBound=304
1537.59/1529.23	    nFilterCalls=11529343, avgTableProportion=0.33780129535568504, avgTableSize=0.6756025907113701
1537.59/1529.23	    
1537.99/1529.67	    num=316, depth=5..16, filters=17222791, revisions=(17027060,useless=9215384), ccks=16772890887, wck=1527.433, mem=69M944
1537.99/1529.67	    decisions=802261, wrong=399377, backtracks=200336, failedAssignments=244055, nogoods=2734, foundSolutions=20, bestBound=304
1537.99/1529.67	    nFilterCalls=11532922, avgTableProportion=0.33778248045031434, avgTableSize=0.6755649609006287
1537.99/1529.67	    
1539.09/1530.74	    num=317, depth=3..18, filters=17228493, revisions=(17033840,useless=9219017), ccks=16784826595, wck=1528.502, mem=77M431
1539.09/1530.74	    decisions=802565, wrong=399525, backtracks=200423, failedAssignments=244136, nogoods=2737, foundSolutions=20, bestBound=304
1539.09/1530.74	    nFilterCalls=11535762, avgTableProportion=0.3377813706628136, avgTableSize=0.6755627413256272
1539.09/1530.74	    
1539.79/1531.45	    num=318, depth=6..17, filters=17235108, revisions=(17040656,useless=9222420), ccks=16792643581, wck=1529.208, mem=30M338
1539.79/1531.45	    decisions=802872, wrong=399675, backtracks=200495, failedAssignments=244225, nogoods=2748, foundSolutions=20, bestBound=304
1539.79/1531.45	    nFilterCalls=11539726, avgTableProportion=0.3377847966234207, avgTableSize=0.6755695932468414
1539.79/1531.45	    
1540.60/1532.23	    num=319, depth=6..16, filters=17241037, revisions=(17046769,useless=9225793), ccks=16801224221, wck=1529.99, mem=36M755
1540.60/1532.23	    decisions=803170, wrong=399820, backtracks=200561, failedAssignments=244323, nogoods=2756, foundSolutions=20, bestBound=304
1540.60/1532.23	    nFilterCalls=11543611, avgTableProportion=0.3378064714758666, avgTableSize=0.6756129429517332
1540.60/1532.23	    
1541.90/1533.56	    num=320, depth=6..15, filters=17248829, revisions=(17055703,useless=9230830), ccks=16816062562, wck=1531.323, mem=47M451
1541.90/1533.56	    decisions=803556, wrong=400009, backtracks=200669, failedAssignments=244431, nogoods=2763, foundSolutions=20, bestBound=304
1541.90/1533.56	    nFilterCalls=11547860, avgTableProportion=0.33782021084426034, avgTableSize=0.6756404216885207
1541.90/1533.56	    
1542.70/1534.38	    num=321, depth=4..21, filters=17259707, revisions=(17065749,useless=9236105), ccks=16824858468, wck=1532.143, mem=58M146
1542.70/1534.38	    decisions=803984, wrong=400219, backtracks=200784, failedAssignments=244550, nogoods=2767, foundSolutions=20, bestBound=304
1542.70/1534.38	    nFilterCalls=11555630, avgTableProportion=0.3378174534837131, avgTableSize=0.6756349069674262
1542.70/1534.38	    
1543.51/1535.12	    num=322, depth=4..13, filters=17271799, revisions=(17076614,useless=9241838), ccks=16832475266, wck=1532.878, mem=69M911
1543.51/1535.12	    decisions=804436, wrong=400440, backtracks=200902, failedAssignments=244681, nogoods=2773, foundSolutions=20, bestBound=304
1543.51/1535.12	    nFilterCalls=11564397, avgTableProportion=0.3378521595202932, avgTableSize=0.6757043190405864
1543.51/1535.12	    
1544.60/1536.25	    num=323, depth=4..21, filters=17281803, revisions=(17086449,useless=9246981), ccks=16844653235, wck=1534.005, mem=27M130
1544.60/1536.25	    decisions=804911, wrong=400673, backtracks=201005, failedAssignments=244825, nogoods=2785, foundSolutions=20, bestBound=304
1544.60/1536.25	    nFilterCalls=11570968, avgTableProportion=0.3378462372378871, avgTableSize=0.6756924744757742
1544.60/1536.25	    
1545.30/1536.97	    num=324, depth=6..16, filters=17291411, revisions=(17095101,useless=9251230), ccks=16852491570, wck=1534.735, mem=35M686
1545.30/1536.97	    decisions=805371, wrong=400899, backtracks=201093, failedAssignments=244983, nogoods=2820, foundSolutions=20, bestBound=304
1545.30/1536.97	    nFilterCalls=11577073, avgTableProportion=0.33786238542332764, avgTableSize=0.6757247708466553
1545.30/1536.97	    
1547.10/1538.77	    num=325, depth=5..19, filters=17302525, revisions=(17108018,useless=9258582), ccks=16872207206, wck=1536.527, mem=50M659
1547.10/1538.77	    decisions=805980, wrong=401197, backtracks=201254, failedAssignments=245157, nogoods=2829, foundSolutions=20, bestBound=304
1547.10/1538.77	    nFilterCalls=11583341, avgTableProportion=0.3378760929165428, avgTableSize=0.6757521858330856
1547.10/1538.77	    
1548.51/1540.16	    num=326, depth=5..15, filters=17316809, revisions=(17121946,useless=9265766), ccks=16887332692, wck=1537.916, mem=65M633
1548.51/1540.16	    decisions=806616, wrong=401510, backtracks=201408, failedAssignments=245348, nogoods=2840, foundSolutions=20, bestBound=304
1548.51/1540.16	    nFilterCalls=11592239, avgTableProportion=0.3379123739598537, avgTableSize=0.6758247479197074
1548.51/1540.16	    
1550.42/1542.09	    num=327, depth=6..19, filters=17333280, revisions=(17139820,useless=9275586), ccks=16908451504, wck=1539.851, mem=29M334
1550.42/1542.09	    decisions=807338, wrong=401867, backtracks=201604, failedAssignments=245559, nogoods=2851, foundSolutions=20, bestBound=304
1550.42/1542.09	    nFilterCalls=11601697, avgTableProportion=0.33792845132914606, avgTableSize=0.6758569026582921
1550.42/1542.09	    
1551.71/1543.38	    num=328, depth=4..19, filters=17349304, revisions=(17156118,useless=9284011), ccks=16922307561, wck=1541.141, mem=44M308
1551.71/1543.38	    decisions=808109, wrong=402247, backtracks=201797, failedAssignments=245791, nogoods=2857, foundSolutions=20, bestBound=304
1551.71/1543.38	    nFilterCalls=11611674, avgTableProportion=0.33791802973455853, avgTableSize=0.6758360594691171
1551.71/1543.38	    
1554.31/1545.94	    num=329, depth=5..16, filters=17365674, revisions=(17173624,useless=9293321), ccks=16950692839, wck=1543.698, mem=64M629
1554.31/1545.94	    decisions=809011, wrong=402695, backtracks=202044, failedAssignments=246046, nogoods=2865, foundSolutions=20, bestBound=304
1554.31/1545.94	    nFilterCalls=11621012, avgTableProportion=0.3379478052341741, avgTableSize=0.6758956104683482
1554.31/1545.94	    
1555.62/1547.26	    num=330, depth=5..16, filters=17383594, revisions=(17190723,useless=9302861), ccks=16964382253, wck=1545.015, mem=29M334
1555.62/1547.26	    decisions=809892, wrong=403133, backtracks=202253, failedAssignments=246327, nogoods=2871, foundSolutions=20, bestBound=304
1555.62/1547.26	    nFilterCalls=11634288, avgTableProportion=0.3379561774644052, avgTableSize=0.6759123549288104
1555.62/1547.26	    
1558.72/1550.37	    num=331, depth=6..18, filters=17402764, revisions=(17211906,useless=9314529), ccks=16999004747, wck=1548.132, mem=55M3
1558.72/1550.37	    decisions=810942, wrong=403653, backtracks=202534, failedAssignments=246636, nogoods=2879, foundSolutions=20, bestBound=304
1558.72/1550.37	    nFilterCalls=11645047, avgTableProportion=0.3379822769285517, avgTableSize=0.6759645538571034
1558.72/1550.37	    
1560.72/1552.38	    num=332, depth=3..20, filters=17422093, revisions=(17232178,useless=9325516), ccks=17020678877, wck=1550.136, mem=75M325
1560.72/1552.38	    decisions=812005, wrong=404178, backtracks=202766, failedAssignments=246976, nogoods=2886, foundSolutions=20, bestBound=304
1560.72/1552.38	    nFilterCalls=11657283, avgTableProportion=0.337964300943882, avgTableSize=0.675928601887764
1560.72/1552.38	    
1563.83/1555.46	    num=333, depth=5..15, filters=17458481, revisions=(17267382,useless=9343984), ccks=17054457308, wck=1553.222, mem=51M794
1563.83/1555.46	    decisions=813299, wrong=404820, backtracks=203145, failedAssignments=247350, nogoods=2892, foundSolutions=20, bestBound=304
1563.83/1555.46	    nFilterCalls=11680913, avgTableProportion=0.3380113352440858, avgTableSize=0.6760226704881716
1563.83/1555.46	    
1566.44/1558.03	    num=334, depth=4..22, filters=17491095, revisions=(17299109,useless=9360742), ccks=17082213584, wck=1555.792, mem=29M334
1566.44/1558.03	    decisions=814694, wrong=405515, backtracks=203516, failedAssignments=247761, nogoods=2895, foundSolutions=20, bestBound=304
1566.44/1558.03	    nFilterCalls=11703062, avgTableProportion=0.33799137353967706, avgTableSize=0.6759827470793541
1566.44/1558.03	    
1568.73/1560.33	    num=335, depth=5..16, filters=17512450, revisions=(17320366,useless=9371758), ccks=17107153761, wck=1558.092, mem=50M725
1568.73/1560.33	    decisions=815972, wrong=406150, backtracks=203763, failedAssignments=248213, nogoods=2946, foundSolutions=20, bestBound=304
1568.73/1560.33	    nFilterCalls=11715987, avgTableProportion=0.3380586287779254, avgTableSize=0.6761172575558508
1568.73/1560.33	    
1572.04/1563.65	    num=336, depth=4..20, filters=17553201, revisions=(17359922,useless=9392071), ccks=17142853217, wck=1561.41, mem=34M682
1572.04/1563.65	    decisions=817706, wrong=407013, backtracks=204236, failedAssignments=248710, nogoods=2954, foundSolutions=20, bestBound=304
1572.04/1563.65	    nFilterCalls=11742334, avgTableProportion=0.338054427680221, avgTableSize=0.676108855360442
1572.04/1563.65	    
1576.55/1568.18	    num=337, depth=4..19, filters=17602365, revisions=(17407983,useless=9416872), ccks=17192128970, wck=1565.936, mem=27M195
1576.55/1568.18	    decisions=819763, wrong=408036, backtracks=204836, failedAssignments=249257, nogoods=2959, foundSolutions=20, bestBound=304
1576.55/1568.18	    nFilterCalls=11773766, avgTableProportion=0.3381381539262798, avgTableSize=0.6762763078525597
1576.55/1568.18	    
1581.75/1573.32	    num=338, depth=5..23, filters=17642745, revisions=(17450646,useless=9439941), ccks=17248948294, wck=1571.081, mem=74M255
1581.75/1573.32	    decisions=821753, wrong=409025, backtracks=205335, failedAssignments=249859, nogoods=2974, foundSolutions=20, bestBound=304
1581.75/1573.32	    nFilterCalls=11798714, avgTableProportion=0.3381388005506363, avgTableSize=0.6762776011012726
1581.75/1573.32	    
1585.25/1576.88	    num=339, depth=4..23, filters=17695773, revisions=(17501063,useless=9466835), ccks=17286812140, wck=1574.641, mem=71M46
1585.25/1576.88	    decisions=824048, wrong=410169, backtracks=205968, failedAssignments=250521, nogoods=2987, foundSolutions=20, bestBound=304
1585.25/1576.88	    nFilterCalls=11835376, avgTableProportion=0.3381007498198621, avgTableSize=0.6762014996397242
1585.25/1576.88	    
1589.86/1581.43	    num=340, depth=2..19, filters=17744471, revisions=(17547557,useless=9491228), ccks=17335464994, wck=1579.188, mem=71M46
1589.86/1581.43	    decisions=826378, wrong=411328, backtracks=206505, failedAssignments=251249, nogoods=3001, foundSolutions=20, bestBound=304
1589.86/1581.43	    nFilterCalls=11868204, avgTableProportion=0.3381544924573255, avgTableSize=0.676308984914651
1589.86/1581.43	    
1595.36/1586.94	    num=341, depth=4..18, filters=17803672, revisions=(17605671,useless=9521994), ccks=17395636915, wck=1584.701, mem=74M222
1595.36/1586.94	    decisions=828930, wrong=412601, backtracks=207164, failedAssignments=252050, nogoods=3009, foundSolutions=20, bestBound=304
1595.36/1586.94	    nFilterCalls=11904775, avgTableProportion=0.3382404539355007, avgTableSize=0.6764809078710013
1595.36/1586.94	    
1600.07/1591.62	    num=342, depth=4..22, filters=17868101, revisions=(17665610,useless=9553245), ccks=17445985412, wck=1589.377, mem=76M394
1600.07/1591.62	    decisions=831767, wrong=414016, backtracks=207861, failedAssignments=252931, nogoods=3021, foundSolutions=20, bestBound=304
1600.07/1591.62	    nFilterCalls=11949694, avgTableProportion=0.3382394143314465, avgTableSize=0.676478828662893
1600.07/1591.62	    
1606.78/1598.33	    num=343, depth=3..21, filters=17929628, revisions=(17732264,useless=9588945), ccks=17518872423, wck=1596.086, mem=42M169
1606.78/1598.33	    decisions=835075, wrong=415666, backtracks=208784, failedAssignments=253901, nogoods=3026, foundSolutions=20, bestBound=304
1606.78/1598.33	    nFilterCalls=11986264, avgTableProportion=0.33814322794825813, avgTableSize=0.6762864558965163
1606.78/1598.33	    
1611.89/1603.42	    num=344, depth=3..23, filters=18006128, revisions=(17806516,useless=9628861), ccks=17572495602, wck=1601.184, mem=55M36
1611.89/1603.42	    decisions=838480, wrong=417365, backtracks=209596, failedAssignments=254968, nogoods=3044, foundSolutions=20, bestBound=304
1611.89/1603.42	    nFilterCalls=12037390, avgTableProportion=0.338159891803788, avgTableSize=0.676319783607576
1611.89/1603.42	    
1618.80/1610.39	    num=345, depth=5..19, filters=18075929, revisions=(17878750,useless=9667893), ccks=17648678156, wck=1608.154, mem=72M157
1618.80/1610.39	    decisions=842113, wrong=419177, backtracks=210449, failedAssignments=256141, nogoods=3055, foundSolutions=20, bestBound=304
1618.80/1610.39	    nFilterCalls=12082517, avgTableProportion=0.33817022562434634, avgTableSize=0.6763404512486927
1618.80/1610.39	    
1630.31/1621.88	    num=346, depth=5..23, filters=18165866, revisions=(17976229,useless=9720732), ccks=17773787403, wck=1619.636, mem=63M625
1630.31/1621.88	    decisions=846585, wrong=421405, backtracks=211659, failedAssignments=257432, nogoods=3064, foundSolutions=20, bestBound=304
1630.31/1621.88	    nFilterCalls=12138197, avgTableProportion=0.337987594038884, avgTableSize=0.675975188077768
1630.31/1621.88	    
1638.22/1629.77	    num=347, depth=4..22, filters=18263973, revisions=(18072222,useless=9771968), ccks=17859531975, wck=1627.534, mem=45M492
1638.22/1629.77	    decisions=851210, wrong=423713, backtracks=212824, failedAssignments=258852, nogoods=3096, foundSolutions=20, bestBound=304
1638.22/1629.77	    nFilterCalls=12203990, avgTableProportion=0.33796151914250994, avgTableSize=0.6759230382850199
1638.22/1629.77	    
1646.13/1637.66	    num=348, depth=2..21, filters=18374511, revisions=(18180731,useless=9829793), ccks=17942252762, wck=1635.417, mem=51M958
1646.13/1637.66	    decisions=856420, wrong=426315, backtracks=214193, failedAssignments=260414, nogoods=3109, foundSolutions=20, bestBound=304
1646.13/1637.66	    nFilterCalls=12276900, avgTableProportion=0.33797790973291303, avgTableSize=0.6759558194658261
1646.13/1637.66	    
1661.05/1652.51	    num=349, depth=0..18, filters=18488974, revisions=(18301281,useless=9893211), ccks=18105388035, wck=1650.27, mem=27M433
1661.05/1652.51	    decisions=862170, wrong=429188, backtracks=215716, failedAssignments=262132, nogoods=3116, foundSolutions=20, bestBound=304
1661.05/1652.51	    nFilterCalls=12346385, avgTableProportion=0.33805445885577035, avgTableSize=0.6761089177115407
1661.05/1652.51	    
1671.47/1662.99	    num=350, depth=5..25, filters=18610797, revisions=(18430502,useless=9962621), ccks=18218813335, wck=1660.749, mem=47M803
1671.47/1662.99	    decisions=867849, wrong=432020, backtracks=216884, failedAssignments=264022, nogoods=3127, foundSolutions=20, bestBound=304
1671.47/1662.99	    nFilterCalls=12417534, avgTableProportion=0.3380577818429972, avgTableSize=0.6761155636859943
1671.47/1662.99	    
1678.28/1669.77	    num=351, depth=3..18, filters=18753195, revisions=(18563835,useless=10033357), ccks=18288996267, wck=1667.533, mem=58M523
1678.28/1669.77	    decisions=873882, wrong=435034, backtracks=218065, failedAssignments=266101, nogoods=3133, foundSolutions=20, bestBound=304
1678.28/1669.77	    nFilterCalls=12513364, avgTableProportion=0.3380983722682406, avgTableSize=0.6761967445364812
1678.28/1669.77	    
1695.00/1686.48	    num=352, depth=3..18, filters=18914515, revisions=(18723945,useless=10121922), ccks=18469029340, wck=1684.239, mem=29M719
1695.00/1686.48	    decisions=881487, wrong=438834, backtracks=219982, failedAssignments=268388, nogoods=3141, foundSolutions=20, bestBound=304
1695.00/1686.48	    nFilterCalls=12620779, avgTableProportion=0.33850398616440397, avgTableSize=0.6770079723288079
1695.00/1686.48	    
1709.63/1701.06	    num=353, depth=2..23, filters=19138105, revisions=(18929304,useless=10231959), ccks=18623112766, wck=1698.817, mem=65M55
1709.63/1701.06	    decisions=890273, wrong=443220, backtracks=222404, failedAssignments=270904, nogoods=3157, foundSolutions=20, bestBound=304
1709.63/1701.06	    nFilterCalls=12781254, avgTableProportion=0.3387222411822815, avgTableSize=0.677444482364563
1709.63/1701.06	    
1727.24/1718.67	    num=354, depth=2..18, filters=19369500, revisions=(19154314,useless=10351335), ccks=18813840167, wck=1716.432, mem=49M28
1727.24/1718.67	    decisions=899892, wrong=448027, backtracks=224978, failedAssignments=273672, nogoods=3167, foundSolutions=20, bestBound=304
1727.24/1718.67	    nFilterCalls=12937057, avgTableProportion=0.3389121652629342, avgTableSize=0.6778243305258684
1727.24/1718.67	    
1747.17/1738.59	    num=355, depth=2..20, filters=19591682, revisions=(19362181,useless=10460508), ccks=19028570501, wck=1736.347, mem=66M182
1747.17/1738.59	    decisions=910155, wrong=453156, backtracks=227638, failedAssignments=276716, nogoods=3170, foundSolutions=20, bestBound=304
1747.17/1738.59	    nFilterCalls=13090393, avgTableProportion=0.33937808437072897, avgTableSize=0.6787561687414579
1747.17/1738.59	    
1764.00/1755.38	    num=356, depth=3..22, filters=19838608, revisions=(19596574,useless=10584253), ccks=19205063132, wck=1753.141, mem=67M276
1764.00/1755.38	    decisions=920881, wrong=458514, backtracks=230256, failedAssignments=280065, nogoods=3180, foundSolutions=20, bestBound=304
1764.00/1755.38	    nFilterCalls=13259245, avgTableProportion=0.33933266939407186, avgTableSize=0.6786653387881437
1764.00/1755.38	    
1788.23/1779.57	    num=357, depth=2..23, filters=20058369, revisions=(19818488,useless=10703726), ccks=19472328362, wck=1777.329, mem=42M726
1788.23/1779.57	    decisions=932183, wrong=464160, backtracks=232712, failedAssignments=283749, nogoods=3194, foundSolutions=20, bestBound=304
1788.23/1779.57	    nFilterCalls=13403079, avgTableProportion=0.3392221667871987, avgTableSize=0.6784443335743974
1788.23/1779.57	    
1811.16/1802.48	    num=358, depth=2..21, filters=20354301, revisions=(20106688,useless=10856958), ccks=19715410513, wck=1800.235, mem=54M515
1811.16/1802.48	    decisions=945092, wrong=470610, backtracks=235987, failedAssignments=287801, nogoods=3202, foundSolutions=20, bestBound=304
1811.16/1802.48	    nFilterCalls=13601777, avgTableProportion=0.3392600834435089, avgTableSize=0.6785201668870178
1811.16/1802.48	    
1846.00/1837.27	    num=359, depth=2..22, filters=20652180, revisions=(20418647,useless=11027569), ccks=20097870871, wck=1835.031, mem=55M634
1846.00/1837.27	    decisions=959970, wrong=478043, backtracks=239761, failedAssignments=292258, nogoods=3212, foundSolutions=20, bestBound=304
1846.00/1837.27	    nFilterCalls=13790563, avgTableProportion=0.33931373940280757, avgTableSize=0.6786274788056151
1846.00/1837.27	    
1876.14/1867.33	    num=360, depth=2..22, filters=20993859, revisions=(20755920,useless=11210308), ccks=20427696359, wck=1865.09, mem=62M76
1876.14/1867.33	    decisions=976275, wrong=486193, backtracks=243883, failedAssignments=297161, nogoods=3225, foundSolutions=20, bestBound=304
1876.14/1867.33	    nFilterCalls=14022969, avgTableProportion=0.33916950825463565, avgTableSize=0.6783390165092713
1876.14/1867.33	    
1909.09/1900.23	    num=361, depth=1..23, filters=21331291, revisions=(21106648,useless=11403681), ccks=20782509593, wck=1897.994, mem=49M225
1909.09/1900.23	    decisions=993887, wrong=494995, backtracks=248262, failedAssignments=302555, nogoods=3234, foundSolutions=20, bestBound=304
1909.09/1900.23	    nFilterCalls=14243106, avgTableProportion=0.33928354531659033, avgTableSize=0.6785670906331807
1909.09/1900.23	    
1946.32/1937.43	    num=362, depth=1..23, filters=21704480, revisions=(21490417,useless=11610739), ccks=21185044806, wck=1935.187, mem=52M483
1946.32/1937.43	    decisions=1013566, wrong=504831, backtracks=253621, failedAssignments=308488, nogoods=3270, foundSolutions=20, bestBound=304
1946.32/1937.43	    nFilterCalls=14483955, avgTableProportion=0.33908048595842777, avgTableSize=0.6781609719168555
1946.32/1937.43	    
1986.18/1977.27	    num=363, depth=0..22, filters=22196200, revisions=(21958665,useless=11861992), ccks=21613387916, wck=1975.027, mem=68M534
1986.18/1977.27	    decisions=1035264, wrong=515678, backtracks=259180, failedAssignments=315014, nogoods=3280, foundSolutions=20, bestBound=304
1986.18/1977.27	    nFilterCalls=14826823, avgTableProportion=0.3391304057517919, avgTableSize=0.6782608115035837
1986.18/1977.27	    
2027.86/2018.85	    num=364, depth=1..21, filters=22790347, revisions=(22508301,useless=12155002), ccks=22050773113, wck=2016.61, mem=28M986
2027.86/2018.85	    decisions=1059438, wrong=527761, backtracks=265693, failedAssignments=322193, nogoods=3292, foundSolutions=20, bestBound=304
2027.86/2018.85	    nFilterCalls=15244008, avgTableProportion=0.3396944556838333, avgTableSize=0.6793889113676665
2027.86/2018.85	    
2072.72/2063.64	    num=365, depth=1..22, filters=23464844, revisions=(23120660,useless=12478560), ccks=22530061748, wck=2061.399, mem=50M425
2072.72/2063.64	    decisions=1085116, wrong=540598, backtracks=272120, failedAssignments=330090, nogoods=3300, foundSolutions=20, bestBound=304
2072.72/2063.64	    nFilterCalls=15715612, avgTableProportion=0.3402948609319192, avgTableSize=0.6805897218638384
2072.72/2063.64	    
2133.01/2123.86	    num=366, depth=1..25, filters=24078831, revisions=(23716465,useless=12797520), ccks=23186331857, wck=2121.62, mem=41M861
2133.01/2123.86	    decisions=1114262, wrong=555169, backtracks=279788, failedAssignments=338777, nogoods=3308, foundSolutions=20, bestBound=304
2133.01/2123.86	    nFilterCalls=16141997, avgTableProportion=0.3401474117483729, avgTableSize=0.6802948234967457
2133.01/2123.86	    
2189.20/2179.91	    num=367, depth=0..24, filters=24785773, revisions=(24399899,useless=13168191), ccks=23782850719, wck=2177.672, mem=30M145
2189.20/2179.91	    decisions=1145539, wrong=570802, backtracks=287761, failedAssignments=348332, nogoods=3322, foundSolutions=20, bestBound=304
2189.20/2179.91	    nFilterCalls=16631930, avgTableProportion=0.34036335530512696, avgTableSize=0.6807267106102539
2189.20/2179.91	    
2249.09/2239.78	    num=368, depth=0..22, filters=25610591, revisions=(25185437,useless=13593374), ccks=24412592644, wck=2237.542, mem=50M491
2249.09/2239.78	    decisions=1179724, wrong=587890, backtracks=296495, failedAssignments=358843, nogoods=3333, foundSolutions=20, bestBound=304
2249.09/2239.78	    nFilterCalls=17210883, avgTableProportion=0.3410462728728096, avgTableSize=0.6820925457456192
2249.09/2239.78	    
2316.61/2307.15	    num=369, depth=1..23, filters=26641550, revisions=(26138507,useless=14101739), ccks=25131754339, wck=2304.905, mem=57M961
2316.61/2307.15	    decisions=1220002, wrong=608024, backtracks=307956, failedAssignments=370405, nogoods=3347, foundSolutions=20, bestBound=304
2316.61/2307.15	    nFilterCalls=17944024, avgTableProportion=0.3417915624722749, avgTableSize=0.6835831249445498
2316.61/2307.15	    
2400.01/2390.40	
2400.01/2390.40	v <instantiation id='sol20' type='solution' cost='304'>  <list> s[][] e[] d[][] w[][] sd[][] </list>  <values> 0 89 154 219 237 0 49 140 171 242 0 62 174 242 299 0 49 98 193 290 0 89 98 174 219 299 300 301 304 299 51 65 65 16 62 49 85 31 71 58 62 78 63 47 2 42 48 95 97 14 89 9 76 7 80 1 0 3 4 2 2 3 1 0 4 4 1 2 0 3 3 2 4 1 0 0 4 2 1 3 89 0 237 154 219 171 140 0 49 242 242 62 174 299 0 290 193 49 0 98 0 174 98 219 89 </values>  </instantiation>
2400.01/2390.40	s SATISFIABLE

Verifier Data 

OK	304

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391114-1568388546/watcher-4391114-1568388546 -o /tmp/evaluation-result-4391114-1568388546/solver-4391114-1568388546 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568388035-8103 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391114-1568388546.xml -cm 

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

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

solver pid=8345, runsolver pid=8342

[startup+0.100121 s]*
/proc/loadavg: 1.99 1.98 1.89 5/228 8360
/proc/meminfo: memFree=24780016/32770624 swapFree=66959224/67108860
[pid=8345] ppid=8342 vsize=10659884 memory=29184 CPUtime=0.14 cores=0,2,4,6
/proc/8345/stat : 8345 (java) S 8342 8345 6698 0 -1 1077944320 5796 0 0 0 13 1 0 0 20 0 15 0 414794758 10915721216 7296 33554432000 4194304 4196468 140734849264992 140734849247536 139656230375159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
/proc/8345/statm: 2664971 7296 2908 1 0 2627468 0
[pid=8345/tid=8347] ppid=8342 vsize=10659884 memory=-8124642594274839901 CPUtime=0.09 cores=0,2,4,6
/proc/8345/task/8347/stat : 8347 (java) D 8342 8345 6698 0 -1 4202560 3287 0 0 0 9 0 0 0 20 0 15 0 414794759 10915721216 7362 33554432000 4194304 4196468 140734849264992 139656234603336 139656223092311 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8348] ppid=8342 vsize=10659884 memory=5793855579469060537 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8348/stat : 8348 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 7362 33554432000 4194304 4196468 140734849264992 139656167066640 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8349] ppid=8342 vsize=10659884 memory=140328459167360 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8349/stat : 8349 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 7362 33554432000 4194304 4196468 140734849264992 139656166014096 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8350] ppid=8342 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8350/stat : 8350 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 7362 33554432000 4194304 4196468 140734849264992 139656164961040 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8351] ppid=8342 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8351/stat : 8351 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 7362 33554432000 4194304 4196468 140734849264992 139655833840528 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8352] ppid=8342 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8352/stat : 8352 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794761 10915721216 7362 33554432000 4194304 4196468 140734849264992 139655722301680 139656230386306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8353] ppid=8342 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8353/stat : 8353 (java) S 8342 8345 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414794761 10915721216 7362 33554432000 4194304 4196468 140734849264992 139655721247904 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8354] ppid=8342 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8354/stat : 8354 (java) S 8342 8345 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414794761 10915721216 7362 33554432000 4194304 4196468 140734849264992 139655720194800 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8355] ppid=8342 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8355/stat : 8355 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414794764 10915721216 7362 33554432000 4194304 4196468 140734849264992 139655719143376 139656230393755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8356] ppid=8342 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8356/stat : 8356 (java) S 8342 8345 6698 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 15 0 414794764 10915721216 7362 33554432000 4194304 4196468 140734849264992 139655718091504 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8357] ppid=8342 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8357/stat : 8357 (java) R 8342 8345 6698 0 -1 4202560 202 0 0 0 0 0 0 0 20 0 15 0 414794764 10915721216 7428 33554432000 4194304 4196468 140734849264992 139655717019864 139656208034224 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8358] ppid=8342 vsize=10659884 memory=140328459167360 CPUtime=0.02 cores=0,2,4,6
/proc/8345/task/8358/stat : 8358 (java) R 8342 8345 6698 0 -1 4202560 541 0 0 0 2 0 0 0 20 0 15 0 414794764 10915721216 7428 33554432000 4194304 4196468 140734849264992 139655715980280 139656209346133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8359] ppid=8342 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8359/stat : 8359 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414794764 10915721216 7428 33554432000 4194304 4196468 140734849264992 139655714933600 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8360] ppid=8342 vsize=10659884 memory=140328459167360 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8360/stat : 8360 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794764 10915721216 7428 33554432000 4194304 4196468 140734849264992 139655713880624 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29184 KiB

[startup+0.210728 s]*
/proc/loadavg: 1.99 1.98 1.89 3/228 8360
/proc/meminfo: memFree=24773588/32770624 swapFree=66959224/67108860
[pid=8345] ppid=8342 vsize=10659884 memory=34616 CPUtime=0.32 cores=0,2,4,6
/proc/8345/stat : 8345 (java) S 8342 8345 6698 0 -1 1077944320 6817 0 0 0 31 1 0 0 20 0 15 0 414794758 10915721216 8654 33554432000 4194304 4196468 140734849264992 140734849247536 139656230375159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
/proc/8345/statm: 2664971 8654 2988 1 0 2627468 0
[pid=8345/tid=8347] ppid=8342 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=0,2,4,6
/proc/8345/task/8347/stat : 8347 (java) R 8342 8345 6698 0 -1 4202560 3893 0 0 0 19 1 0 0 20 0 15 0 414794759 10915721216 8654 33554432000 4194304 4196468 140734849264992 139656234601520 139656230397085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8348] ppid=8342 vsize=10659884 memory=4211974054663957898 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8348/stat : 8348 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 8654 33554432000 4194304 4196468 140734849264992 139656167066640 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8349] ppid=8342 vsize=10659884 memory=140328459167360 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8349/stat : 8349 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 8654 33554432000 4194304 4196468 140734849264992 139656166014096 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8350] ppid=8342 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8350/stat : 8350 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 8654 33554432000 4194304 4196468 140734849264992 139656164961040 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8351] ppid=8342 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8351/stat : 8351 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 8654 33554432000 4194304 4196468 140734849264992 139655833840528 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8352] ppid=8342 vsize=10659884 memory=140328459167360 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8352/stat : 8352 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794761 10915721216 8654 33554432000 4194304 4196468 140734849264992 139655722301680 139656230386306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8353] ppid=8342 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8353/stat : 8353 (java) S 8342 8345 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414794761 10915721216 8654 33554432000 4194304 4196468 140734849264992 139655721247904 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8354] ppid=8342 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8354/stat : 8354 (java) S 8342 8345 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414794761 10915721216 8654 33554432000 4194304 4196468 140734849264992 139655720194800 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8355] ppid=8342 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8355/stat : 8355 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414794764 10915721216 8654 33554432000 4194304 4196468 140734849264992 139655719143376 139656230393755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8356] ppid=8342 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8345/task/8356/stat : 8356 (java) S 8342 8345 6698 0 -1 1077944384 691 0 0 0 3 0 0 0 20 0 15 0 414794764 10915721216 8654 33554432000 4194304 4196468 140734849264992 139655718091504 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8357] ppid=8342 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8345/task/8357/stat : 8357 (java) S 8342 8345 6698 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 15 0 414794764 10915721216 8654 33554432000 4194304 4196468 140734849264992 139655717038960 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8358] ppid=8342 vsize=10659884 memory=140328459167360 CPUtime=0.05 cores=0,2,4,6
/proc/8345/task/8358/stat : 8358 (java) S 8342 8345 6698 0 -1 1077944384 590 0 0 0 5 0 0 0 20 0 15 0 414794764 10915721216 8654 33554432000 4194304 4196468 140734849264992 139655715985904 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8359] ppid=8342 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8359/stat : 8359 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414794764 10915721216 8654 33554432000 4194304 4196468 140734849264992 139655714933600 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8360] ppid=8342 vsize=10659884 memory=140328459167360 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8360/stat : 8360 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794764 10915721216 8654 33554432000 4194304 4196468 140734849264992 139655713880624 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34616 KiB

[startup+0.31013 s]*
/proc/loadavg: 1.99 1.98 1.89 3/228 8360
/proc/meminfo: memFree=24765860/32770624 swapFree=66959224/67108860
[pid=8345] ppid=8342 vsize=10659884 memory=40052 CPUtime=0.47 cores=0,2,4,6
/proc/8345/stat : 8345 (java) S 8342 8345 6698 0 -1 1077944320 9372 0 0 0 44 3 0 0 20 0 15 0 414794758 10915721216 10013 33554432000 4194304 4196468 140734849264992 140734849247536 139656230375159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
/proc/8345/statm: 2664971 10013 3001 1 0 2627468 0
[pid=8345/tid=8347] ppid=8342 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=0,2,4,6
/proc/8345/task/8347/stat : 8347 (java) R 8342 8345 6698 0 -1 4202560 6369 0 0 0 28 2 0 0 20 0 15 0 414794759 10915721216 10013 33554432000 4194304 4196468 140734849264992 139656234614144 139656214455646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8348] ppid=8342 vsize=10659884 memory=4211974054663957898 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8348/stat : 8348 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 10013 33554432000 4194304 4196468 140734849264992 139656167066640 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8349] ppid=8342 vsize=10659884 memory=140328459169769 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8349/stat : 8349 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 10013 33554432000 4194304 4196468 140734849264992 139656166014096 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8350] ppid=8342 vsize=10659884 memory=140328325727290 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8350/stat : 8350 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 10013 33554432000 4194304 4196468 140734849264992 139656164961040 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8351] ppid=8342 vsize=10659884 memory=140328325729743 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8351/stat : 8351 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794759 10915721216 10013 33554432000 4194304 4196468 140734849264992 139655833840528 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8352] ppid=8342 vsize=10659884 memory=140328459174085 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8352/stat : 8352 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794761 10915721216 10013 33554432000 4194304 4196468 140734849264992 139655722301680 139656230386306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8353] ppid=8342 vsize=10659884 memory=140328325738927 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8353/stat : 8353 (java) S 8342 8345 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414794761 10915721216 10013 33554432000 4194304 4196468 140734849264992 139655721247904 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8354] ppid=8342 vsize=10659884 memory=280656651468688 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8354/stat : 8354 (java) S 8342 8345 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414794761 10915721216 10013 33554432000 4194304 4196468 140734849264992 139655720194800 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8355] ppid=8342 vsize=10659884 memory=280656651466384 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8355/stat : 8355 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414794764 10915721216 10013 33554432000 4194304 4196468 140734849264992 139655719143376 139656230393755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8356] ppid=8342 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8345/task/8356/stat : 8356 (java) S 8342 8345 6698 0 -1 1077944384 711 0 0 0 4 0 0 0 20 0 15 0 414794764 10915721216 10013 33554432000 4194304 4196468 140734849264992 139655718091504 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8357] ppid=8342 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8345/task/8357/stat : 8357 (java) S 8342 8345 6698 0 -1 1077944384 325 0 0 0 3 0 0 0 20 0 15 0 414794764 10915721216 10013 33554432000 4194304 4196468 140734849264992 139655717038960 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8358] ppid=8342 vsize=10659884 memory=140328459167360 CPUtime=0.07 cores=0,2,4,6
/proc/8345/task/8358/stat : 8358 (java) S 8342 8345 6698 0 -1 1077944384 623 0 0 0 7 0 0 0 20 0 15 0 414794764 10915721216 10013 33554432000 4194304 4196468 140734849264992 139655715985904 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8359] ppid=8342 vsize=10659884 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8359/stat : 8359 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414794764 10915721216 10013 33554432000 4194304 4196468 140734849264992 139655714933600 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8360] ppid=8342 vsize=10659884 memory=140328459167360 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8360/stat : 8360 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794764 10915721216 10013 33554432000 4194304 4196468 140734849264992 139655713880624 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40052 KiB

[startup+0.700741 s]
/proc/loadavg: 1.99 1.98 1.89 3/228 8360
/proc/meminfo: memFree=24757624/32770624 swapFree=66959224/67108860
[pid=8345] ppid=8342 vsize=10661932 memory=62292 CPUtime=1.08 cores=0,2,4,6
/proc/8345/stat : 8345 (java) S 8342 8345 6698 0 -1 1077944320 12653 0 0 0 102 6 0 0 20 0 15 0 414794758 10917818368 15573 33554432000 4194304 4196468 140734849264992 140734849247536 139656230375159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
/proc/8345/statm: 2665483 15573 3070 1 0 2627980 0
[pid=8345/tid=8347] ppid=8342 vsize=10661932 memory=10604 CPUtime=0.68 cores=0,2,4,6
/proc/8345/task/8347/stat : 8347 (java) R 8342 8345 6698 0 -1 4202560 8899 0 0 0 64 4 0 0 20 0 15 0 414794759 10917818368 15573 33554432000 4194304 4196468 140734849264992 139656234607184 139656230397085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8348] ppid=8342 vsize=10661932 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8348/stat : 8348 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794759 10917818368 15573 33554432000 4194304 4196468 140734849264992 139656167066640 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8349] ppid=8342 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8349/stat : 8349 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794759 10917818368 15573 33554432000 4194304 4196468 140734849264992 139656166014096 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8350] ppid=8342 vsize=10661932 memory=7524201410499929408 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8350/stat : 8350 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794759 10917818368 15573 33554432000 4194304 4196468 140734849264992 139656164961040 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8351] ppid=8342 vsize=10661932 memory=7738707435814409832 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8351/stat : 8351 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794759 10917818368 15573 33554432000 4194304 4196468 140734849264992 139655833840528 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8352] ppid=8342 vsize=10661932 memory=7810487918915055718 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8352/stat : 8352 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794761 10917818368 15573 33554432000 4194304 4196468 140734849264992 139655722301680 139656230386306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8353] ppid=8342 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8353/stat : 8353 (java) S 8342 8345 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414794761 10917818368 15573 33554432000 4194304 4196468 140734849264992 139655721247904 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8354] ppid=8342 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8354/stat : 8354 (java) S 8342 8345 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414794761 10917818368 15573 33554432000 4194304 4196468 140734849264992 139655720194800 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8355] ppid=8342 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8355/stat : 8355 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414794764 10917818368 15573 33554432000 4194304 4196468 140734849264992 139655719143376 139656230393755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8356] ppid=8342 vsize=10661932 memory=353 CPUtime=0.1 cores=0,2,4,6
/proc/8345/task/8356/stat : 8356 (java) R 8342 8345 6698 0 -1 4202560 967 0 0 0 10 0 0 0 20 0 15 0 414794764 10917818368 15573 33554432000 4194304 4196468 140734849264992 139655718091504 139656211091216 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8357] ppid=8342 vsize=10661932 memory=317 CPUtime=0.08 cores=0,2,4,6
/proc/8345/task/8357/stat : 8357 (java) S 8342 8345 6698 0 -1 1077944384 452 0 0 0 8 0 0 0 20 0 15 0 414794764 10917818368 15573 33554432000 4194304 4196468 140734849264992 139655717038960 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8358] ppid=8342 vsize=10661932 memory=11 CPUtime=0.18 cores=0,2,4,6
/proc/8345/task/8358/stat : 8358 (java) S 8342 8345 6698 0 -1 1077944384 976 0 0 0 18 0 0 0 20 0 15 0 414794764 10917818368 15573 33554432000 4194304 4196468 140734849264992 139655715985904 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8359] ppid=8342 vsize=10661932 memory=280656651652592 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8359/stat : 8359 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414794764 10917818368 15573 33554432000 4194304 4196468 140734849264992 139655714933600 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8360] ppid=8342 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8360/stat : 8360 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794764 10917818368 15573 33554432000 4194304 4196468 140734849264992 139655713880624 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62292 KiB

[startup+1.5008 s]
/proc/loadavg: 1.99 1.98 1.89 3/228 8360
/proc/meminfo: memFree=24742632/32770624 swapFree=66959224/67108860
[pid=8345] ppid=8342 vsize=10663980 memory=74868 CPUtime=1.97 cores=0,2,4,6
/proc/8345/stat : 8345 (java) S 8342 8345 6698 0 -1 1077944320 17932 0 0 0 190 7 0 0 20 0 15 0 414794758 10919915520 18717 33554432000 4194304 4196468 140734849264992 140734849247536 139656230375159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
/proc/8345/statm: 2665995 18717 3091 1 0 2628492 0
[pid=8345/tid=8347] ppid=8342 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/8345/task/8347/stat : 8347 (java) R 8342 8345 6698 0 -1 4202560 12980 0 0 0 143 5 0 0 20 0 15 0 414794759 10919915520 18717 33554432000 4194304 4196468 140734849264992 139656234601040 139656210651120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8348] ppid=8342 vsize=10663980 memory=-6369074288953532201 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8348/stat : 8348 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794759 10919915520 18717 33554432000 4194304 4196468 140734849264992 139656167066640 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8349] ppid=8342 vsize=10663980 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8349/stat : 8349 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794759 10919915520 18717 33554432000 4194304 4196468 140734849264992 139656166014096 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8350] ppid=8342 vsize=10663980 memory=-3472574513799858007 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8350/stat : 8350 (java) S 8342 8345 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414794759 10919915520 18717 33554432000 4194304 4196468 140734849264992 139656164961040 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8351] ppid=8342 vsize=10663980 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8351/stat : 8351 (java) S 8342 8345 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414794759 10919915520 18717 33554432000 4194304 4196468 140734849264992 139655833840528 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8352] ppid=8342 vsize=10663980 memory=4947370889565805952 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8352/stat : 8352 (java) S 8342 8345 6698 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 414794761 10919915520 18717 33554432000 4194304 4196468 140734849264992 139655722301680 139656230386306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0

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

/proc/8345/task/8351/stat : 8351 (java) S 8342 8345 6698 0 -1 1077944384 2980 0 0 0 93 3 0 0 20 0 16 0 414794759 11006283776 53330 33554432000 4194304 4196468 140734849264992 139655833840528 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8352] ppid=8342 vsize=10748324 memory=213320 CPUtime=0.34 cores=0,2,4,6
/proc/8345/task/8352/stat : 8352 (java) S 8342 8345 6698 0 -1 1077944384 6181 0 0 0 30 4 0 0 20 0 16 0 414794761 11006283776 53330 33554432000 4194304 4196468 140734849264992 139655722301680 139656230386306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8353] ppid=8342 vsize=10748324 memory=213320 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8353/stat : 8353 (java) S 8342 8345 6698 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414794761 11006283776 53330 33554432000 4194304 4196468 140734849264992 139655721247968 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8354] ppid=8342 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8354/stat : 8354 (java) S 8342 8345 6698 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414794761 11006283776 53330 33554432000 4194304 4196468 140734849264992 139655720194816 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8355] ppid=8342 vsize=10748324 memory=95 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8355/stat : 8355 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414794764 11006283776 53330 33554432000 4194304 4196468 140734849264992 139655719143376 139656230393755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8356] ppid=8342 vsize=10748324 memory=213320 CPUtime=2.77 cores=0,2,4,6
/proc/8345/task/8356/stat : 8356 (java) S 8342 8345 6698 0 -1 1077944384 15957 0 0 0 275 2 0 0 20 0 16 0 414794764 11006283776 53330 33554432000 4194304 4196468 140734849264992 139655718091504 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8357] ppid=8342 vsize=10748324 memory=8112282956445269571 CPUtime=2.85 cores=0,2,4,6
/proc/8345/task/8357/stat : 8357 (java) S 8342 8345 6698 0 -1 1077944384 17903 0 0 0 282 3 0 0 20 0 16 0 414794764 11006283776 53330 33554432000 4194304 4196468 140734849264992 139655717038960 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8358] ppid=8342 vsize=10748324 memory=580 CPUtime=0.71 cores=0,2,4,6
/proc/8345/task/8358/stat : 8358 (java) S 8342 8345 6698 0 -1 1077944384 11424 0 0 0 70 1 0 0 20 0 16 0 414794764 11006283776 53330 33554432000 4194304 4196468 140734849264992 139655715985904 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8359] ppid=8342 vsize=10748324 memory=213320 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8359/stat : 8359 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414794764 11006283776 53330 33554432000 4194304 4196468 140734849264992 139655714933600 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8360] ppid=8342 vsize=10748324 memory=3620 CPUtime=0.63 cores=0,2,4,6
/proc/8345/task/8360/stat : 8360 (java) S 8342 8345 6698 0 -1 1077944384 876 0 0 0 28 35 0 0 20 0 16 0 414794764 11006283776 53330 33554432000 4194304 4196468 140734849264992 139655713880624 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8361] ppid=8342 vsize=10748324 memory=213320 CPUtime=2258.62 cores=0,2,4,6
/proc/8345/task/8361/stat : 8361 (java) R 8342 8345 6698 0 -1 4202560 21200 0 0 0 225855 7 0 0 20 0 16 0 414794948 11006283776 53330 33554432000 4194304 4196468 140734849264992 139655696928400 139655849688384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
Current children cumulated CPU time: 2271.72 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 213320 KiB

[startup+2322.3 s]
/proc/loadavg: 1.84 1.86 1.88 3/232 8856
/proc/meminfo: memFree=25026132/32770624 swapFree=66959224/67108860
[pid=8345] ppid=8342 vsize=10748324 memory=215156 CPUtime=2331.83 cores=0,2,4,6
/proc/8345/stat : 8345 (java) S 8342 8345 6698 0 -1 1077944320 107714 0 0 0 233126 57 0 0 20 0 16 0 414794758 11006283776 53789 33554432000 4194304 4196468 140734849264992 140734849247536 139656230375159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
/proc/8345/statm: 2687081 53789 3378 1 0 2647217 0
[pid=8345/tid=8347] ppid=8342 vsize=10748324 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/8345/task/8347/stat : 8347 (java) S 8342 8345 6698 0 -1 1077944384 15275 0 0 0 181 7 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656234618032 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8348] ppid=8342 vsize=10748324 memory=215156 CPUtime=0.98 cores=0,2,4,6
/proc/8345/task/8348/stat : 8348 (java) S 8342 8345 6698 0 -1 1077944384 3163 0 0 0 95 3 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656167066640 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8349] ppid=8342 vsize=10748324 memory=215156 CPUtime=0.98 cores=0,2,4,6
/proc/8345/task/8349/stat : 8349 (java) S 8342 8345 6698 0 -1 1077944384 6898 0 0 0 96 2 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656166014096 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8350] ppid=8342 vsize=10748324 memory=215156 CPUtime=0.98 cores=0,2,4,6
/proc/8345/task/8350/stat : 8350 (java) S 8342 8345 6698 0 -1 1077944384 3831 0 0 0 95 3 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656164961040 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8351] ppid=8342 vsize=10748324 memory=215156 CPUtime=0.99 cores=0,2,4,6
/proc/8345/task/8351/stat : 8351 (java) S 8342 8345 6698 0 -1 1077944384 2988 0 0 0 96 3 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655833840528 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8352] ppid=8342 vsize=10748324 memory=215156 CPUtime=0.35 cores=0,2,4,6
/proc/8345/task/8352/stat : 8352 (java) S 8342 8345 6698 0 -1 1077944384 6369 0 0 0 31 4 0 0 20 0 16 0 414794761 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655722301680 139656230386306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8353] ppid=8342 vsize=10748324 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8353/stat : 8353 (java) S 8342 8345 6698 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414794761 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655721247968 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8354] ppid=8342 vsize=10748324 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8354/stat : 8354 (java) S 8342 8345 6698 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414794761 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655720194816 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8355] ppid=8342 vsize=10748324 memory=2720 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8355/stat : 8355 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655719143376 139656230393755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8356] ppid=8342 vsize=10748324 memory=215156 CPUtime=2.77 cores=0,2,4,6
/proc/8345/task/8356/stat : 8356 (java) S 8342 8345 6698 0 -1 1077944384 15959 0 0 0 275 2 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655718091504 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8357] ppid=8342 vsize=10748324 memory=3620 CPUtime=2.85 cores=0,2,4,6
/proc/8345/task/8357/stat : 8357 (java) S 8342 8345 6698 0 -1 1077944384 17906 0 0 0 282 3 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655717038960 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8358] ppid=8342 vsize=10748324 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/8345/task/8358/stat : 8358 (java) S 8342 8345 6698 0 -1 1077944384 11426 0 0 0 70 1 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655715985904 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8359] ppid=8342 vsize=10748324 memory=6224913012542759968 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8359/stat : 8359 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655714933600 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8360] ppid=8342 vsize=10748324 memory=1436 CPUtime=0.65 cores=0,2,4,6
/proc/8345/task/8360/stat : 8360 (java) S 8342 8345 6698 0 -1 1077944384 907 0 0 0 29 36 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655713880624 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8361] ppid=8342 vsize=10748324 memory=580 CPUtime=2318.58 cores=0,2,4,6
/proc/8345/task/8361/stat : 8361 (java) R 8342 8345 6698 0 -1 4202560 21556 0 0 0 231851 7 0 0 20 0 16 0 414794948 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655696928384 139655850568020 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
Current children cumulated CPU time: 2331.83 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 215156 KiB

[startup+2382.3 s]
/proc/loadavg: 1.86 1.87 1.88 3/229 8860
/proc/meminfo: memFree=24908280/32770624 swapFree=66959224/67108860
[pid=8345] ppid=8342 vsize=10748324 memory=215156 CPUtime=2391.89 cores=0,2,4,6
/proc/8345/stat : 8345 (java) S 8342 8345 6698 0 -1 1077944320 107766 0 0 0 239132 57 0 0 20 0 16 0 414794758 11006283776 53789 33554432000 4194304 4196468 140734849264992 140734849247536 139656230375159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
/proc/8345/statm: 2687081 53789 3378 1 0 2647217 0
[pid=8345/tid=8347] ppid=8342 vsize=10748324 memory=215156 CPUtime=1.88 cores=0,2,4,6
/proc/8345/task/8347/stat : 8347 (java) S 8342 8345 6698 0 -1 1077944384 15275 0 0 0 181 7 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656234618032 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8348] ppid=8342 vsize=10748324 memory=215156 CPUtime=1.01 cores=0,2,4,6
/proc/8345/task/8348/stat : 8348 (java) S 8342 8345 6698 0 -1 1077944384 3167 0 0 0 98 3 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656167066640 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8349] ppid=8342 vsize=10748324 memory=215156 CPUtime=1 cores=0,2,4,6
/proc/8345/task/8349/stat : 8349 (java) S 8342 8345 6698 0 -1 1077944384 6901 0 0 0 98 2 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656166014096 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8350] ppid=8342 vsize=10748324 memory=215156 CPUtime=1.01 cores=0,2,4,6
/proc/8345/task/8350/stat : 8350 (java) S 8342 8345 6698 0 -1 1077944384 3831 0 0 0 98 3 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656164961040 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8351] ppid=8342 vsize=10748324 memory=215156 CPUtime=1.01 cores=0,2,4,6
/proc/8345/task/8351/stat : 8351 (java) S 8342 8345 6698 0 -1 1077944384 2988 0 0 0 98 3 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655833840528 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8352] ppid=8342 vsize=10748324 memory=215156 CPUtime=0.37 cores=0,2,4,6
/proc/8345/task/8352/stat : 8352 (java) S 8342 8345 6698 0 -1 1077944384 6375 0 0 0 32 5 0 0 20 0 16 0 414794761 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655722301680 139656230386306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8353] ppid=8342 vsize=10748324 memory=215156 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8353/stat : 8353 (java) S 8342 8345 6698 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414794761 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655721247968 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8354] ppid=8342 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8354/stat : 8354 (java) S 8342 8345 6698 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414794761 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655720194816 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8355] ppid=8342 vsize=10748324 memory=215156 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8355/stat : 8355 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655719143376 139656230393755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8356] ppid=8342 vsize=10748324 memory=3620 CPUtime=2.77 cores=0,2,4,6
/proc/8345/task/8356/stat : 8356 (java) S 8342 8345 6698 0 -1 1077944384 15959 0 0 0 275 2 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655718091504 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8357] ppid=8342 vsize=10748324 memory=1660 CPUtime=2.85 cores=0,2,4,6
/proc/8345/task/8357/stat : 8357 (java) S 8342 8345 6698 0 -1 1077944384 17906 0 0 0 282 3 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655717038960 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8358] ppid=8342 vsize=10748324 memory=215156 CPUtime=0.71 cores=0,2,4,6
/proc/8345/task/8358/stat : 8358 (java) S 8342 8345 6698 0 -1 1077944384 11426 0 0 0 70 1 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655715985904 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8359] ppid=8342 vsize=10748324 memory=4724 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8359/stat : 8359 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655714933600 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8360] ppid=8342 vsize=10748324 memory=14004 CPUtime=0.67 cores=0,2,4,6
/proc/8345/task/8360/stat : 8360 (java) S 8342 8345 6698 0 -1 1077944384 911 0 0 0 30 37 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655713880624 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8361] ppid=8342 vsize=10748324 memory=21356 CPUtime=2378.52 cores=0,2,4,6
/proc/8345/task/8361/stat : 8361 (java) R 8342 8345 6698 0 -1 4202560 21591 0 0 0 237845 7 0 0 20 0 16 0 414794948 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655696928288 139655849688384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
Current children cumulated CPU time: 2391.89 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 215156 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2390.4 s]
/proc/loadavg: 1.80 1.86 1.88 3/229 8860
/proc/meminfo: memFree=24908436/32770624 swapFree=66959224/67108860
[pid=8345] ppid=8342 vsize=10748324 memory=215156 CPUtime=2400.01 cores=0,2,4,6
/proc/8345/stat : 8345 (java) S 8342 8345 6698 0 -1 1077944320 107768 0 0 0 239944 57 0 0 20 0 16 0 414794758 11006283776 53789 33554432000 4194304 4196468 140734849264992 140734849247536 139656230375159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
/proc/8345/statm: 2687081 53789 3378 1 0 2647217 0
[pid=8345/tid=8347] ppid=8342 vsize=10748324 memory=2008 CPUtime=1.88 cores=0,2,4,6
/proc/8345/task/8347/stat : 8347 (java) S 8342 8345 6698 0 -1 1077944384 15275 0 0 0 181 7 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656234618032 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8348] ppid=8342 vsize=10748324 memory=3620 CPUtime=1.01 cores=0,2,4,6
/proc/8345/task/8348/stat : 8348 (java) S 8342 8345 6698 0 -1 1077944384 3167 0 0 0 98 3 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656167066640 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8349] ppid=8342 vsize=10748324 memory=1660 CPUtime=1.01 cores=0,2,4,6
/proc/8345/task/8349/stat : 8349 (java) S 8342 8345 6698 0 -1 1077944384 6901 0 0 0 99 2 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656166014096 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8350] ppid=8342 vsize=10748324 memory=39808 CPUtime=1.01 cores=0,2,4,6
/proc/8345/task/8350/stat : 8350 (java) S 8342 8345 6698 0 -1 1077944384 3831 0 0 0 98 3 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139656164961040 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8351] ppid=8342 vsize=10748324 memory=8112282956445269571 CPUtime=1.02 cores=0,2,4,6
/proc/8345/task/8351/stat : 8351 (java) S 8342 8345 6698 0 -1 1077944384 2988 0 0 0 99 3 0 0 20 0 16 0 414794759 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655833840528 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8352] ppid=8342 vsize=10748324 memory=-7003737579269690708 CPUtime=0.37 cores=0,2,4,6
/proc/8345/task/8352/stat : 8352 (java) S 8342 8345 6698 0 -1 1077944384 6375 0 0 0 32 5 0 0 20 0 16 0 414794761 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655722301680 139656230386306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8353] ppid=8342 vsize=10748324 memory=13852962569061908 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8353/stat : 8353 (java) S 8342 8345 6698 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414794761 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655721247968 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8354] ppid=8342 vsize=10748324 memory=288230376155974368 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8354/stat : 8354 (java) S 8342 8345 6698 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 414794761 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655720194816 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8355] ppid=8342 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8355/stat : 8355 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655719143376 139656230393755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8356] ppid=8342 vsize=10748324 memory=580 CPUtime=2.77 cores=0,2,4,6
/proc/8345/task/8356/stat : 8356 (java) S 8342 8345 6698 0 -1 1077944384 15959 0 0 0 275 2 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655718091504 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8357] ppid=8342 vsize=10748324 memory=1720 CPUtime=2.85 cores=0,2,4,6
/proc/8345/task/8357/stat : 8357 (java) S 8342 8345 6698 0 -1 1077944384 17906 0 0 0 282 3 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655717038960 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8358] ppid=8342 vsize=10748324 memory=215156 CPUtime=0.71 cores=0,2,4,6
/proc/8345/task/8358/stat : 8358 (java) S 8342 8345 6698 0 -1 1077944384 11426 0 0 0 70 1 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655715985904 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8359] ppid=8342 vsize=10748324 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/8345/task/8359/stat : 8359 (java) S 8342 8345 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655714933600 139656230385365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8360] ppid=8342 vsize=10748324 memory=5976 CPUtime=0.67 cores=0,2,4,6
/proc/8345/task/8360/stat : 8360 (java) S 8342 8345 6698 0 -1 1077944384 911 0 0 0 30 37 0 0 20 0 16 0 414794764 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655713880624 139656230386306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
[pid=8345/tid=8361] ppid=8342 vsize=10748324 memory=1060 CPUtime=2386.61 cores=0,2,4,6
/proc/8345/task/8361/stat : 8361 (java) R 8342 8345 6698 0 -1 4202560 21593 0 0 0 238654 7 0 0 20 0 16 0 414794948 11006283776 53789 33554432000 4194304 4196468 140734849264992 139655696928288 139655849688391 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140734849270795 140734849270898 140734849270898 140734849273807 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 215156 KiB

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

[startup+2390.41 s]
# the end of solver process 8345 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.45 s, system=0.582116 s

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

Child status: 143
Real time (s): 2390.41
CPU time (s): 2400.03
CPU user time (s): 2399.45
CPU system time (s): 0.582116
CPU usage (%): 100.402
Max. virtual memory (cumulated for all children) (KiB): 10750192
Max. memory (cumulated for all children) (KiB): 270868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.45
system time used= 0.582116
maximum resident set size= 270896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108146
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62471
involuntary context switches= 7233


# summary of solver processes directly reported to runsolver:
#   pid: 8345
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2399.45
#   total CPU system time (s): 0.582116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8049 second user time and 20.1864 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-13 17:28:26
IDJOB=4391114
IDBENCH=115829
IDSOLVER=2833
FILE ID=node124/4391114-1568388546
RUNJOBID= node124-1568388035-8103
PBS_JOBID= 21701840
Free space on /tmp= 55356 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-05-05-6.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391114-1568388546/watcher-4391114-1568388546 -o /tmp/evaluation-result-4391114-1568388546/solver-4391114-1568388546 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568388035-8103 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391114-1568388546.xml -cm

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

MD5SUM BENCH= f9b69c01e6bb1a0d57b760340d1825ed
RANDOM SEED=1447794379

node124.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.47
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.47
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.47
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.47
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:        24795980 kB
MemAvailable:   30881420 kB
Buffers:          168032 kB
Cached:          6161528 kB
SwapCached:        45888 kB
Active:          2050064 kB
Inactive:        5262700 kB
Active(anon):     936832 kB
Inactive(anon):    87928 kB
Active(file):    1113232 kB
Inactive(file):  5174772 kB
Unevictable:      108760 kB
Mlocked:          108760 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:              8772 kB
Writeback:             0 kB
AnonPages:       1046740 kB
Mapped:            56088 kB
Shmem:             32744 kB
Slab:             254716 kB
SReclaimable:     225896 kB
SUnreclaim:        28820 kB
KernelStack:        3712 kB
PageTables:         7240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2872608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    921600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55348 MiB
End job on node124 at 2019-09-13 18:08:16