Trace number 4391124

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-23OPT312 1072.37 1064.88

DiagnosticValue
WRONG_DECISIONS325042

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-05-05-5.xml
MD5SUM5197a9101df9cd680fadf9dcc86a0dcb
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark312
Best CPU time to get the best result obtained on this benchmark31.7673
Satisfiable
(Un)Satisfiability was proved
Number of variables105
Number of constraints90
Number of domains7
Minimum domain size5
Maximum domain size412
Distribution of domain sizes[{"size":5,"count":50},{"size":412,"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.39/1.89	
2.39/1.89	AbsCon 2 
2.62/1.90	
2.88/2.05	  Instance
2.88/2.05	    name=instance-4391124-1568388083, framework=COP, bounds=-infty..+infty
2.88/2.05	
2.88/2.05	  Loading variables...
2.88/2.09	  Loading constraints...
3.11/2.20	
3.11/2.20	  Domains
3.11/2.20	    nTypes=7, nValues=22910, sizes=[5#50,412#55]
3.11/2.20	  Variables
3.11/2.20	    count=105, degrees=[2#30,3#50,9#25]
3.11/2.20	  Objectives
3.11/2.20	    way=min, type=ObjMaximumLE
3.11/2.20	  Constraints
3.11/2.20	    count=136, nSpecific=81, arities=[1#5,2#75,3#25,5#6,7#25]
3.11/2.20	    distribution=[AllDifferent#5,CtrExtensionSmart-TableSmart#50,CtrExtensionV-Bits#25,CtrIntension#30,ElementVariable#25,ObjMaximumLE#1]
3.11/2.20	    tables=[2#50], nTotalTuples=100
3.11/2.20	    nExtStructures=(55,shared:20), nIntStructures=(15,shared:15), nCftStructures=(5,shared:20,unbuilt:111)
3.11/2.20	    wck=0.348, cpu=2.174, mem=26M521
3.39/2.21	  Solver SolverBacktrack being built...
3.39/2.21	
3.39/2.23	
3.39/2.23	  Solver
3.39/2.23	    guaranteedGAC=true
3.39/2.23	    wck=0.379, cpu=2.203, mem=37M163
4.32/2.88	
4.32/2.88	  Preprocessing
4.32/2.88	    filters=55, revisions=(140,useless=60), ccks=6374110, nACremovedValues=4159, nTotalRemovedValues=4159, inconcistency=false
4.32/2.88	    wck=0.648, cpu=2.852, mem=37M163
4.32/2.88	
4.69/3.02	    num=0, depth=22..22, filters=464, revisions=(699,useless=386), ccks=7518139, wck=0.781, mem=39M806
4.69/3.02	    decisions=42, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.69/3.02	    nFilterCalls=285, avgTableProportion=0.3385964912280702, avgTableSize=0.6771929824561403
4.69/3.02	    
4.96/3.14	    num=1, depth=0..18, filters=901, revisions=(1253,useless=692), ccks=8850693, wck=0.908, mem=42M448
4.96/3.14	    decisions=82, wrong=21, backtracks=0, failedAssignments=21, nogoods=18
4.96/3.14	    nFilterCalls=567, avgTableProportion=0.3201058201058201, avgTableSize=0.6402116402116402
4.96/3.14	    
5.07/3.22	    num=2, depth=0..0, filters=1012, revisions=(1463,useless=790), ccks=9763734, wck=0.988, mem=42M448
5.07/3.22	    decisions=106, wrong=33, backtracks=0, failedAssignments=33, nogoods=18
5.07/3.22	    nFilterCalls=567, avgTableProportion=0.3201058201058201, avgTableSize=0.6402116402116402
5.07/3.22	    
5.18/3.35	    num=3, depth=0..0, filters=1155, revisions=(1723,useless=907), ccks=11262543, wck=1.117, mem=42M448
5.18/3.35	    decisions=132, wrong=46, backtracks=0, failedAssignments=46, nogoods=18
5.18/3.35	    nFilterCalls=567, avgTableProportion=0.3201058201058201, avgTableSize=0.6402116402116402
5.18/3.35	    
5.42/3.55	    num=4, depth=0..8, filters=1472, revisions=(2159,useless=1098), ccks=13587317, wck=1.32, mem=42M448
5.42/3.55	    decisions=170, wrong=61, backtracks=1, failedAssignments=60, nogoods=23
5.42/3.55	    nFilterCalls=702, avgTableProportion=0.3425925925925926, avgTableSize=0.6851851851851852
5.42/3.55	    
5.67/3.66	    num=5, depth=0..0, filters=1627, revisions=(2451,useless=1234), ccks=14649633, wck=1.425, mem=45M91
5.67/3.66	    decisions=202, wrong=77, backtracks=1, failedAssignments=76, nogoods=23
5.67/3.66	    nFilterCalls=702, avgTableProportion=0.3425925925925926, avgTableSize=0.6851851851851852
5.67/3.66	    
6.07/3.80	    num=6, depth=0..0, filters=1806, revisions=(2784,useless=1384), ccks=16273677, wck=1.566, mem=45M91
6.07/3.80	    decisions=236, wrong=94, backtracks=1, failedAssignments=93, nogoods=23
6.07/3.80	    nFilterCalls=702, avgTableProportion=0.3425925925925926, avgTableSize=0.6851851851851852
6.07/3.80	    
6.28/3.96	    num=7, depth=0..11, filters=2428, revisions=(3455,useless=1715), ccks=18025412, wck=1.725, mem=45M91
6.28/3.96	    decisions=289, wrong=115, backtracks=3, failedAssignments=112, nogoods=38
6.28/3.96	    nFilterCalls=1123, avgTableProportion=0.3846838824577026, avgTableSize=0.7693677649154052
6.28/3.96	    
6.91/4.28	    num=8, depth=20..20, filters=3067, revisions=(4378,useless=2241), ccks=21598664, wck=2.041, mem=47M733
6.91/4.28	    decisions=351, wrong=136, backtracks=3, failedAssignments=133, nogoods=59
6.91/4.28	    nFilterCalls=1532, avgTableProportion=0.389686684073107, avgTableSize=0.779373368146214
6.91/4.28	    
7.36/4.43	    num=9, depth=14..15, filters=3934, revisions=(5263,useless=2673), ccks=23290522, wck=2.195, mem=47M733
7.36/4.43	    decisions=413, wrong=160, backtracks=4, failedAssignments=156, nogoods=82
7.36/4.43	    nFilterCalls=2198, avgTableProportion=0.37283894449499544, avgTableSize=0.7456778889899909
7.36/4.43	    
7.90/4.63	    num=10, depth=18..18, filters=4628, revisions=(5983,useless=3035), ccks=25482583, wck=2.4, mem=50M375
7.90/4.63	    decisions=481, wrong=185, backtracks=4, failedAssignments=181, nogoods=107
7.90/4.63	    nFilterCalls=2771, avgTableProportion=0.3866835077589318, avgTableSize=0.7733670155178636
7.90/4.63	    
8.04/4.75	    num=11, depth=0..0, filters=4846, revisions=(6426,useless=3232), ccks=26801610, wck=2.516, mem=50M375
8.04/4.75	    decisions=537, wrong=213, backtracks=4, failedAssignments=209, nogoods=107
8.04/4.75	    nFilterCalls=2771, avgTableProportion=0.3866835077589318, avgTableSize=0.7733670155178636
8.04/4.75	    
8.46/5.11	    num=12, depth=0..0, filters=5094, revisions=(6922,useless=3449), ccks=31023020, wck=2.876, mem=50M375
8.46/5.11	    decisions=599, wrong=244, backtracks=4, failedAssignments=240, nogoods=107
8.46/5.11	    nFilterCalls=2771, avgTableProportion=0.3866835077589318, avgTableSize=0.7733670155178636
8.46/5.11	    
8.73/5.37	    num=13, depth=0..25, filters=6063, revisions=(8295,useless=4206), ccks=34038480, wck=3.141, mem=53M18
8.73/5.37	    decisions=695, wrong=280, backtracks=6, failedAssignments=274, nogoods=140
8.73/5.37	    nFilterCalls=3290, avgTableProportion=0.3738601823708207, avgTableSize=0.7477203647416414
8.73/5.37	    
9.10/5.60	o 411
9.10/5.60	    num=14, depth=18..104, filters=7050, revisions=(9228,useless=4778), ccks=36514741, wck=3.368, mem=55M660
9.10/5.60	    decisions=760, wrong=297, backtracks=6, failedAssignments=291, nogoods=157, foundSolutions=1, bestBound=411
9.10/5.60	    nFilterCalls=4493, avgTableProportion=0.3549966614734031, avgTableSize=0.7099933229468062
9.10/5.60	    
9.39/5.86	o 401
9.39/5.86	    num=15, depth=22..104, filters=8451, revisions=(10811,useless=5622), ccks=39368611, wck=3.625, mem=55M660
9.39/5.86	    decisions=850, wrong=327, backtracks=6, failedAssignments=321, nogoods=187, foundSolutions=2, bestBound=401
9.39/5.86	    nFilterCalls=5561, avgTableProportion=0.34220463945333573, avgTableSize=0.6844092789066715
9.39/5.86	    
9.82/6.10	    num=16, depth=16..16, filters=9050, revisions=(11487,useless=5955), ccks=42065709, wck=3.861, mem=55M660
9.82/6.10	    decisions=888, wrong=338, backtracks=6, failedAssignments=332, nogoods=198, foundSolutions=2, bestBound=401
9.82/6.10	    nFilterCalls=6009, avgTableProportion=0.34123814278582126, avgTableSize=0.6824762855716425
9.82/6.10	    
10.20/6.26	o 399
10.20/6.26	    num=17, depth=17..104, filters=9645, revisions=(12153,useless=6330), ccks=43959825, wck=4.029, mem=58M303
10.20/6.26	    decisions=933, wrong=345, backtracks=7, failedAssignments=338, nogoods=204, foundSolutions=3, bestBound=399
10.20/6.26	    nFilterCalls=6615, avgTableProportion=0.3327286470143613, avgTableSize=0.6654572940287226
10.20/6.26	    
10.61/6.46	    num=18, depth=17..17, filters=10510, revisions=(13050,useless=6817), ccks=46258212, wck=4.231, mem=58M303
10.61/6.46	    decisions=974, wrong=357, backtracks=7, failedAssignments=350, nogoods=216, foundSolutions=3, bestBound=399
10.61/6.46	    nFilterCalls=7323, avgTableProportion=0.3336747234739861, avgTableSize=0.6673494469479722
10.61/6.46	    
11.03/6.62	o 396
11.03/6.62	    num=19, depth=17..104, filters=11080, revisions=(13704,useless=7171), ccks=48012854, wck=4.386, mem=58M303
11.03/6.62	    decisions=1019, wrong=365, backtracks=11, failedAssignments=354, nogoods=217, foundSolutions=4, bestBound=396
11.03/6.62	    nFilterCalls=7869, avgTableProportion=0.32850425721184395, avgTableSize=0.6570085144236879
11.03/6.62	    
11.45/6.81	    num=20, depth=17..17, filters=11672, revisions=(14362,useless=7508), ccks=50149754, wck=4.574, mem=60M945
11.45/6.81	    decisions=1060, wrong=377, backtracks=11, failedAssignments=366, nogoods=229, foundSolutions=4, bestBound=396
11.45/6.81	    nFilterCalls=8379, avgTableProportion=0.33029001074113856, avgTableSize=0.6605800214822771
11.45/6.81	    
11.65/6.95	o 379
11.65/6.95	    num=21, depth=106..104, filters=12100, revisions=(14912,useless=7841), ccks=51787743, wck=4.72, mem=60M945
11.65/6.95	    decisions=1092, wrong=377, backtracks=11, failedAssignments=366, nogoods=229, foundSolutions=5, bestBound=379
11.65/6.95	    nFilterCalls=8771, avgTableProportion=0.3280127693535515, avgTableSize=0.656025538707103
11.65/6.95	    
12.10/7.18	o 364
12.10/7.18	    num=22, depth=15..104, filters=12616, revisions=(15603,useless=8247), ccks=54333804, wck=4.943, mem=60M945
12.10/7.18	    decisions=1125, wrong=380, backtracks=12, failedAssignments=368, nogoods=231, foundSolutions=6, bestBound=364
12.10/7.18	    nFilterCalls=9257, avgTableProportion=0.32802203737712, avgTableSize=0.65604407475424
12.10/7.18	    
12.49/7.35	    num=23, depth=11..11, filters=13232, revisions=(16212,useless=8592), ccks=56327708, wck=5.119, mem=63M588
12.49/7.35	    decisions=1158, wrong=391, backtracks=12, failedAssignments=379, nogoods=242, foundSolutions=6, bestBound=364
12.49/7.35	    nFilterCalls=9717, avgTableProportion=0.33343624575486264, avgTableSize=0.6668724915097253
12.49/7.35	    
12.72/7.53	    num=24, depth=13..18, filters=14216, revisions=(17340,useless=9170), ccks=58283953, wck=5.294, mem=63M588
12.72/7.53	    decisions=1214, wrong=411, backtracks=23, failedAssignments=390, nogoods=246, foundSolutions=6, bestBound=364
12.72/7.53	    nFilterCalls=10346, avgTableProportion=0.33022424125265804, avgTableSize=0.6604484825053161
12.72/7.53	    
12.92/7.73	    num=25, depth=15..18, filters=15563, revisions=(18629,useless=9883), ccks=60624186, wck=5.5, mem=63M588
12.92/7.73	    decisions=1257, wrong=424, backtracks=24, failedAssignments=402, nogoods=258, foundSolutions=6, bestBound=364
12.92/7.73	    nFilterCalls=11648, avgTableProportion=0.31739354395604397, avgTableSize=0.6347870879120879
12.92/7.73	    
13.02/7.88	o 359
13.02/7.88	    num=26, depth=13..104, filters=16010, revisions=(19149,useless=10167), ccks=62340518, wck=5.65, mem=63M588
13.02/7.88	    decisions=1289, wrong=425, backtracks=24, failedAssignments=403, nogoods=259, foundSolutions=7, bestBound=359
13.02/7.88	    nFilterCalls=12067, avgTableProportion=0.3166901466810309, avgTableSize=0.6333802933620618
13.02/7.88	    
13.24/8.05	    num=27, depth=9..17, filters=16902, revisions=(20017,useless=10672), ccks=64178776, wck=5.812, mem=66M230
13.24/8.05	    decisions=1334, wrong=442, backtracks=27, failedAssignments=417, nogoods=273, foundSolutions=7, bestBound=359
13.24/8.05	    nFilterCalls=12892, avgTableProportion=0.32198262488364876, avgTableSize=0.6439652497672975
13.24/8.05	    
13.34/8.20	    num=28, depth=10..12, filters=17409, revisions=(20449,useless=10885), ccks=65887348, wck=5.961, mem=66M230
13.34/8.20	    decisions=1367, wrong=453, backtracks=27, failedAssignments=428, nogoods=284, foundSolutions=7, bestBound=359
13.34/8.20	    nFilterCalls=13377, avgTableProportion=0.32316662928907824, avgTableSize=0.6463332585781565
13.34/8.20	    
13.53/8.39	o 353
13.53/8.39	    num=29, depth=5..104, filters=18301, revisions=(21581,useless=11507), ccks=68163768, wck=6.16, mem=68M872
13.53/8.39	    decisions=1426, wrong=468, backtracks=32, failedAssignments=438, nogoods=288, foundSolutions=8, bestBound=353
13.53/8.39	    nFilterCalls=14037, avgTableProportion=0.3194414760988815, avgTableSize=0.638882952197763
13.53/8.39	    
13.85/8.63	    num=30, depth=13..17, filters=19145, revisions=(22712,useless=12145), ccks=70868720, wck=6.395, mem=68M872
13.85/8.63	    decisions=1475, wrong=486, backtracks=39, failedAssignments=451, nogoods=292, foundSolutions=8, bestBound=353
13.85/8.63	    nFilterCalls=14598, avgTableProportion=0.321619399917797, avgTableSize=0.643238799835594
13.85/8.63	    
13.95/8.77	    num=31, depth=11..11, filters=19658, revisions=(23103,useless=12324), ccks=72470831, wck=6.534, mem=68M872
13.95/8.77	    decisions=1508, wrong=497, backtracks=39, failedAssignments=462, nogoods=303, foundSolutions=8, bestBound=353
13.95/8.77	    nFilterCalls=15096, avgTableProportion=0.322800741918389, avgTableSize=0.645601483836778
13.95/8.77	    
14.16/8.96	    num=32, depth=8..13, filters=20432, revisions=(24068,useless=12807), ccks=74622330, wck=6.721, mem=71M515
14.16/8.96	    decisions=1552, wrong=515, backtracks=49, failedAssignments=474, nogoods=305, foundSolutions=8, bestBound=353
14.16/8.96	    nFilterCalls=15507, avgTableProportion=0.3224672728445218, avgTableSize=0.6449345456890436
14.16/8.96	    
14.37/9.19	    num=33, depth=8..16, filters=21544, revisions=(25177,useless=13391), ccks=77316390, wck=6.956, mem=71M515
14.37/9.19	    decisions=1606, wrong=536, backtracks=59, failedAssignments=487, nogoods=311, foundSolutions=8, bestBound=353
14.37/9.19	    nFilterCalls=16305, avgTableProportion=0.3237350505979761, avgTableSize=0.6474701011959522
14.37/9.19	    
14.56/9.37	o 341
14.56/9.37	    num=34, depth=13..104, filters=22376, revisions=(26214,useless=13992), ccks=79359421, wck=7.135, mem=71M515
14.56/9.37	    decisions=1660, wrong=549, backtracks=64, failedAssignments=496, nogoods=316, foundSolutions=9, bestBound=341
14.56/9.37	    nFilterCalls=16925, avgTableProportion=0.3232496307237814, avgTableSize=0.6464992614475628
14.56/9.37	    
14.76/9.59	o 337
14.76/9.60	    num=35, depth=4..104, filters=23208, revisions=(27248,useless=14577), ccks=81947430, wck=7.361, mem=74M157
14.76/9.60	    decisions=1712, wrong=561, backtracks=68, failedAssignments=504, nogoods=321, foundSolutions=10, bestBound=337
14.76/9.60	    nFilterCalls=17700, avgTableProportion=0.3239265536723164, avgTableSize=0.6478531073446328
14.76/9.60	    
14.98/9.80	    num=36, depth=11..15, filters=24106, revisions=(28363,useless=15243), ccks=84241629, wck=7.562, mem=74M157
14.98/9.80	    decisions=1758, wrong=578, backtracks=76, failedAssignments=515, nogoods=324, foundSolutions=10, bestBound=337
14.98/9.80	    nFilterCalls=18374, avgTableProportion=0.3237455099597257, avgTableSize=0.6474910199194513
14.98/9.80	    
15.21/9.93	o 333
15.21/9.93	    num=37, depth=8..104, filters=24668, revisions=(28987,useless=15593), ccks=85794820, wck=7.699, mem=74M157
15.21/9.93	    decisions=1791, wrong=582, backtracks=76, failedAssignments=519, nogoods=328, foundSolutions=11, bestBound=333
15.21/9.93	    nFilterCalls=18879, avgTableProportion=0.3230573653265533, avgTableSize=0.6461147306531067
15.21/9.93	    
15.47/10.13	    num=38, depth=9..16, filters=25760, revisions=(30270,useless=16323), ccks=87978230, wck=7.891, mem=76M800
15.47/10.13	    decisions=1841, wrong=601, backtracks=87, failedAssignments=531, nogoods=335, foundSolutions=11, bestBound=333
15.47/10.13	    nFilterCalls=19723, avgTableProportion=0.3224154540384323, avgTableSize=0.6448309080768646
15.47/10.13	    
15.67/10.33	    num=39, depth=9..14, filters=27026, revisions=(31523,useless=16991), ccks=90307630, wck=8.095, mem=76M800
15.67/10.33	    decisions=1887, wrong=619, backtracks=97, failedAssignments=542, nogoods=338, foundSolutions=11, bestBound=333
15.67/10.33	    nFilterCalls=20698, avgTableProportion=0.3214320224176249, avgTableSize=0.6428640448352498
15.67/10.33	    
16.19/10.82	o 323
16.19/10.82	    num=40, depth=5..104, filters=28210, revisions=(32878,useless=17710), ccks=96074530, wck=8.59, mem=79M442
16.19/10.82	    decisions=1956, wrong=639, backtracks=107, failedAssignments=553, nogoods=340, foundSolutions=12, bestBound=323
16.19/10.82	    nFilterCalls=21574, avgTableProportion=0.3216603318809678, avgTableSize=0.6433206637619356
16.19/10.82	    
16.40/11.03	    num=41, depth=7..14, filters=29422, revisions=(34251,useless=18484), ccks=98416604, wck=8.796, mem=79M442
16.40/11.03	    decisions=2007, wrong=660, backtracks=116, failedAssignments=566, nogoods=346, foundSolutions=12, bestBound=323
16.40/11.03	    nFilterCalls=22407, avgTableProportion=0.32364885973133395, avgTableSize=0.6472977194626679
16.40/11.03	    
16.50/11.16	    num=42, depth=5..11, filters=29928, revisions=(34748,useless=18701), ccks=99921324, wck=8.928, mem=82M85
16.50/11.16	    decisions=2042, wrong=672, backtracks=117, failedAssignments=577, nogoods=357, foundSolutions=12, bestBound=323
16.50/11.16	    nFilterCalls=22739, avgTableProportion=0.32545406570209773, avgTableSize=0.6509081314041955
16.50/11.16	    
16.71/11.32	    num=43, depth=9..17, filters=30851, revisions=(35750,useless=19254), ccks=101695478, wck=9.084, mem=82M85
16.71/11.32	    decisions=2093, wrong=693, backtracks=129, failedAssignments=589, nogoods=363, foundSolutions=12, bestBound=323
16.71/11.32	    nFilterCalls=23390, avgTableProportion=0.3264643009833262, avgTableSize=0.6529286019666524
16.71/11.32	    
16.95/11.52	    num=44, depth=8..13, filters=32333, revisions=(37189,useless=20010), ccks=103987466, wck=9.286, mem=82M85
16.95/11.52	    decisions=2149, wrong=716, backtracks=145, failedAssignments=602, nogoods=368, foundSolutions=12, bestBound=323
16.95/11.52	    nFilterCalls=24537, avgTableProportion=0.3281778538533643, avgTableSize=0.6563557077067286
16.95/11.52	    
17.15/11.78	    num=45, depth=9..14, filters=33220, revisions=(38126,useless=20456), ccks=106992242, wck=9.546, mem=84M727
17.15/11.78	    decisions=2197, wrong=735, backtracks=150, failedAssignments=616, nogoods=375, foundSolutions=12, bestBound=323
17.15/11.78	    nFilterCalls=25066, avgTableProportion=0.32863241043644775, avgTableSize=0.6572648208728955
17.15/11.78	    
17.46/12.04	    num=46, depth=8..17, filters=35167, revisions=(40046,useless=21505), ccks=109921012, wck=9.802, mem=84M727
17.46/12.04	    decisions=2266, wrong=765, backtracks=165, failedAssignments=632, nogoods=378, foundSolutions=12, bestBound=323
17.46/12.04	    nFilterCalls=26585, avgTableProportion=0.326349445175851, avgTableSize=0.652698890351702
17.46/12.04	    
17.75/12.32	    num=47, depth=8..15, filters=36992, revisions=(41949,useless=22525), ccks=113216784, wck=10.089, mem=87M369
17.75/12.32	    decisions=2335, wrong=795, backtracks=181, failedAssignments=649, nogoods=384, foundSolutions=12, bestBound=323
17.75/12.32	    nFilterCalls=27883, avgTableProportion=0.3265968511279274, avgTableSize=0.6531937022558548
17.75/12.32	    
18.06/12.60	    num=48, depth=9..15, filters=38765, revisions=(43734,useless=23505), ccks=116379288, wck=10.366, mem=87M369
18.06/12.60	    decisions=2400, wrong=821, backtracks=193, failedAssignments=668, nogoods=392, foundSolutions=12, bestBound=323
18.06/12.60	    nFilterCalls=29254, avgTableProportion=0.32602379161824024, avgTableSize=0.6520475832364805
18.06/12.60	    
18.26/12.81	    num=49, depth=5..15, filters=39904, revisions=(45069,useless=24185), ccks=118852123, wck=10.581, mem=90M12
18.26/12.81	    decisions=2477, wrong=854, backtracks=208, failedAssignments=689, nogoods=398, foundSolutions=12, bestBound=323
18.26/12.81	    nFilterCalls=29877, avgTableProportion=0.3254008099876159, avgTableSize=0.6508016199752318
18.26/12.81	    
18.47/13.06	    num=50, depth=6..21, filters=41348, revisions=(46676,useless=25017), ccks=121632247, wck=10.824, mem=90M12
18.47/13.06	    decisions=2561, wrong=889, backtracks=223, failedAssignments=712, nogoods=403, foundSolutions=12, bestBound=323
18.47/13.06	    nFilterCalls=30867, avgTableProportion=0.325914406971847, avgTableSize=0.651828813943694
18.47/13.06	    
18.76/13.35	    num=51, depth=7..18, filters=43200, revisions=(48518,useless=25906), ccks=124975308, wck=11.115, mem=92M654
18.76/13.35	    decisions=2642, wrong=926, backtracks=239, failedAssignments=737, nogoods=404, foundSolutions=12, bestBound=323
18.76/13.35	    nFilterCalls=31976, avgTableProportion=0.32580685514135604, avgTableSize=0.6516137102827121
18.76/13.35	    
18.96/13.60	    num=52, depth=7..16, filters=44731, revisions=(50319,useless=26868), ccks=127751996, wck=11.361, mem=92M654
18.96/13.60	    decisions=2741, wrong=970, backtracks=259, failedAssignments=765, nogoods=410, foundSolutions=12, bestBound=323
18.96/13.60	    nFilterCalls=32876, avgTableProportion=0.32631707020318773, avgTableSize=0.6526341404063755
18.96/13.60	    
19.47/14.04	    num=53, depth=6..13, filters=47713, revisions=(53461,useless=28495), ccks=132907201, wck=11.811, mem=95M297
19.47/14.04	    decisions=2862, wrong=1027, backtracks=294, failedAssignments=796, nogoods=412, foundSolutions=12, bestBound=323
19.47/14.04	    nFilterCalls=34891, avgTableProportion=0.32727637499641743, avgTableSize=0.6545527499928349
19.47/14.04	    
20.26/14.88	    num=54, depth=5..15, filters=49926, revisions=(56070,useless=29788), ccks=142588871, wck=12.647, mem=97M939
20.26/14.88	    decisions=2981, wrong=1081, backtracks=315, failedAssignments=830, nogoods=419, foundSolutions=12, bestBound=323
20.26/14.88	    nFilterCalls=35884, avgTableProportion=0.3274718537509754, avgTableSize=0.6549437075019507
20.26/14.88	    
20.66/15.23	    num=55, depth=6..18, filters=53624, revisions=(59563,useless=31555), ccks=146559092, wck=13.001, mem=100M582
20.66/15.23	    decisions=3112, wrong=1141, backtracks=341, failedAssignments=867, nogoods=432, foundSolutions=12, bestBound=323
20.66/15.23	    nFilterCalls=38621, avgTableProportion=0.32638978793920403, avgTableSize=0.6527795758784081
20.66/15.23	    
21.47/16.01	    num=56, depth=6..15, filters=56167, revisions=(62704,useless=33104), ccks=155553183, wck=13.775, mem=103M224
21.47/16.01	    decisions=3288, wrong=1222, backtracks=384, failedAssignments=908, nogoods=437, foundSolutions=12, bestBound=323
21.47/16.01	    nFilterCalls=39693, avgTableProportion=0.32858438515607286, avgTableSize=0.6571687703121457
21.47/16.01	    
21.66/16.28	    num=57, depth=7..19, filters=58794, revisions=(65354,useless=34548), ccks=158610541, wck=14.045, mem=103M224
21.66/16.28	    decisions=3422, wrong=1281, backtracks=404, failedAssignments=953, nogoods=447, foundSolutions=12, bestBound=323
21.66/16.28	    nFilterCalls=41764, avgTableProportion=0.326106215879705, avgTableSize=0.65221243175941
21.66/16.28	    
22.36/16.98	    num=58, depth=7..18, filters=61860, revisions=(68495,useless=36154), ccks=166698077, wck=14.749, mem=105M867
22.36/16.98	    decisions=3576, wrong=1353, backtracks=434, failedAssignments=1003, nogoods=453, foundSolutions=12, bestBound=323
22.36/16.98	    nFilterCalls=43809, avgTableProportion=0.3254582391745988, avgTableSize=0.6509164783491976
22.36/16.98	    
23.06/17.64	    num=59, depth=7..15, filters=65152, revisions=(72077,useless=37980), ccks=174113767, wck=15.403, mem=111M152
23.06/17.64	    decisions=3790, wrong=1455, backtracks=488, failedAssignments=1058, nogoods=459, foundSolutions=12, bestBound=323
23.06/17.64	    nFilterCalls=45682, avgTableProportion=0.3275469550369949, avgTableSize=0.6550939100739898
23.06/17.64	    
23.51/18.10	o 322
23.51/18.10	    num=60, depth=6..104, filters=70306, revisions=(77321,useless=40752), ccks=179320812, wck=15.869, mem=113M794
23.51/18.10	    decisions=4021, wrong=1560, backtracks=544, failedAssignments=1116, nogoods=475, foundSolutions=13, bestBound=322
23.51/18.10	    nFilterCalls=49150, avgTableProportion=0.32555442522889116, avgTableSize=0.6511088504577823
23.51/18.10	    
24.51/19.05	    num=61, depth=7..14, filters=75232, revisions=(82958,useless=43793), ccks=190212490, wck=16.813, mem=116M437
24.51/19.05	    decisions=4258, wrong=1675, backtracks=607, failedAssignments=1183, nogoods=481, foundSolutions=13, bestBound=322
24.51/19.05	    nFilterCalls=51764, avgTableProportion=0.3283556139401901, avgTableSize=0.6567112278803802
24.51/19.05	    
24.80/19.30	    num=62, depth=11..14, filters=75873, revisions=(83726,useless=44191), ccks=193117316, wck=17.064, mem=119M79
24.80/19.30	    decisions=4295, wrong=1688, backtracks=609, failedAssignments=1194, nogoods=485, foundSolutions=13, bestBound=322
24.80/19.30	    nFilterCalls=52118, avgTableProportion=0.32876357496450365, avgTableSize=0.6575271499290073
24.80/19.30	    
25.00/19.52	    num=63, depth=8..13, filters=77153, revisions=(84958,useless=44772), ccks=195610092, wck=17.282, mem=119M79
25.00/19.52	    decisions=4353, wrong=1713, backtracks=623, failedAssignments=1206, nogoods=486, foundSolutions=13, bestBound=322
25.00/19.52	    nFilterCalls=52958, avgTableProportion=0.3291853921975905, avgTableSize=0.658370784395181
25.00/19.52	    
25.10/19.65	    num=64, depth=4..18, filters=77816, revisions=(85735,useless=45173), ccks=197145661, wck=17.417, mem=119M79
25.10/19.65	    decisions=4402, wrong=1732, backtracks=630, failedAssignments=1219, nogoods=491, foundSolutions=13, bestBound=322
25.10/19.65	    nFilterCalls=53369, avgTableProportion=0.32984504112874513, avgTableSize=0.6596900822574903
25.10/19.65	    
25.40/19.97	    num=65, depth=9..12, filters=79008, revisions=(87095,useless=45882), ccks=200789789, wck=17.731, mem=121M721
25.40/19.97	    decisions=4458, wrong=1755, backtracks=641, failedAssignments=1233, nogoods=495, foundSolutions=13, bestBound=322
25.40/19.97	    nFilterCalls=53958, avgTableProportion=0.3306645909781682, avgTableSize=0.6613291819563364
25.40/19.97	    
25.70/20.20	    num=66, depth=10..16, filters=79884, revisions=(88124,useless=46402), ccks=203470417, wck=17.965, mem=121M721
25.70/20.20	    decisions=4515, wrong=1778, backtracks=648, failedAssignments=1249, nogoods=502, foundSolutions=13, bestBound=322
25.70/20.20	    nFilterCalls=54455, avgTableProportion=0.3308695252961161, avgTableSize=0.6617390505922321
25.70/20.20	    
25.80/20.40	    num=67, depth=7..14, filters=80992, revisions=(89376,useless=47037), ccks=205712099, wck=18.162, mem=124M364
25.80/20.40	    decisions=4571, wrong=1802, backtracks=657, failedAssignments=1266, nogoods=509, foundSolutions=13, bestBound=322
25.80/20.40	    nFilterCalls=55050, avgTableProportion=0.33080835603996367, avgTableSize=0.6616167120799273
25.80/20.40	    
26.30/20.80	    num=68, depth=10..15, filters=82275, revisions=(90864,useless=47810), ccks=210411590, wck=18.568, mem=124M364
26.30/20.80	    decisions=4651, wrong=1836, backtracks=674, failedAssignments=1285, nogoods=514, foundSolutions=13, bestBound=322
26.30/20.80	    nFilterCalls=55771, avgTableProportion=0.33142672715210414, avgTableSize=0.6628534543042083
26.30/20.80	    
26.51/21.07	    num=69, depth=8..16, filters=84040, revisions=(92796,useless=48818), ccks=213537529, wck=18.84, mem=127M6
26.51/21.07	    decisions=4731, wrong=1870, backtracks=690, failedAssignments=1306, nogoods=518, foundSolutions=13, bestBound=322
26.51/21.07	    nFilterCalls=57035, avgTableProportion=0.33040238450074516, avgTableSize=0.6608047690014903
26.51/21.07	    
26.90/21.41	    num=70, depth=10..17, filters=85168, revisions=(94117,useless=49504), ccks=217451466, wck=19.181, mem=127M6
26.90/21.41	    decisions=4809, wrong=1903, backtracks=707, failedAssignments=1329, nogoods=522, foundSolutions=13, bestBound=322
26.90/21.41	    nFilterCalls=57711, avgTableProportion=0.3306562007242987, avgTableSize=0.6613124014485974
26.90/21.41	    
27.31/21.83	    num=71, depth=6..16, filters=87381, revisions=(96432,useless=50602), ccks=222251920, wck=19.596, mem=129M649
27.31/21.83	    decisions=4908, wrong=1948, backtracks=730, failedAssignments=1354, nogoods=528, foundSolutions=13, bestBound=322
27.31/21.83	    nFilterCalls=58914, avgTableProportion=0.3310588315171267, avgTableSize=0.6621176630342533
27.31/21.83	    
27.51/22.06	    num=72, depth=9..17, filters=88936, revisions=(98362,useless=51597), ccks=224839817, wck=19.824, mem=129M649
27.51/22.06	    decisions=5021, wrong=1999, backtracks=754, failedAssignments=1382, nogoods=533, foundSolutions=13, bestBound=322
27.51/22.06	    nFilterCalls=59596, avgTableProportion=0.3313729109336197, avgTableSize=0.6627458218672394
27.51/22.06	    
27.91/22.41	    num=73, depth=7..12, filters=91806, revisions=(101183,useless=52988), ccks=228796797, wck=20.172, mem=132M291
27.91/22.41	    decisions=5131, wrong=2050, backtracks=784, failedAssignments=1413, nogoods=536, foundSolutions=13, bestBound=322
27.91/22.41	    nFilterCalls=61370, avgTableProportion=0.3319537233175819, avgTableSize=0.6639074466351638
27.91/22.41	    
28.31/22.82	    num=74, depth=12..20, filters=93903, revisions=(103614,useless=54297), ccks=233589289, wck=20.59, mem=134M934
28.31/22.82	    decisions=5259, wrong=2108, backtracks=810, failedAssignments=1447, nogoods=539, foundSolutions=13, bestBound=322
28.31/22.82	    nFilterCalls=62605, avgTableProportion=0.33212203498123155, avgTableSize=0.6642440699624631
28.31/22.82	    
28.63/23.17	    num=75, depth=8..19, filters=96374, revisions=(106650,useless=55899), ccks=237537739, wck=20.933, mem=134M934
28.63/23.17	    decisions=5385, wrong=2164, backtracks=831, failedAssignments=1484, nogoods=546, foundSolutions=13, bestBound=322
28.63/23.17	    nFilterCalls=63953, avgTableProportion=0.33032070426719623, avgTableSize=0.6606414085343925
28.63/23.17	    
29.22/23.70	    num=76, depth=8..20, filters=99452, revisions=(109602,useless=57409), ccks=243572433, wck=21.462, mem=137M576
29.22/23.70	    decisions=5527, wrong=2231, backtracks=864, failedAssignments=1525, nogoods=564, foundSolutions=13, bestBound=322
29.22/23.70	    nFilterCalls=65961, avgTableProportion=0.3310668425281606, avgTableSize=0.6621336850563212
29.22/23.70	    
29.53/24.07	    num=77, depth=5..12, filters=102313, revisions=(112825,useless=59109), ccks=247826265, wck=21.837, mem=140M218
29.53/24.07	    decisions=5668, wrong=2298, backtracks=897, failedAssignments=1570, nogoods=567, foundSolutions=13, bestBound=322
29.53/24.07	    nFilterCalls=67361, avgTableProportion=0.33203188788765015, avgTableSize=0.6640637757753003
29.53/24.07	    
30.12/24.69	    num=78, depth=7..18, filters=105414, revisions=(116392,useless=60987), ccks=255009822, wck=22.459, mem=142M778
30.12/24.69	    decisions=5851, wrong=2384, backtracks=940, failedAssignments=1620, nogoods=572, foundSolutions=13, bestBound=322
30.12/24.69	    nFilterCalls=69015, avgTableProportion=0.3318119249438528, avgTableSize=0.6636238498877056
30.12/24.69	    
30.77/25.23	o 321
30.77/25.23	    num=79, depth=7..104, filters=110155, revisions=(120816,useless=63180), ccks=260945569, wck=22.997, mem=24M806
30.77/25.23	    decisions=6050, wrong=2472, backtracks=982, failedAssignments=1672, nogoods=580, foundSolutions=14, bestBound=321
30.77/25.23	    nFilterCalls=72367, avgTableProportion=0.33111086544972157, avgTableSize=0.6622217308994431
30.77/25.23	    
31.38/25.89	    num=80, depth=7..21, filters=115022, revisions=(126267,useless=66119), ccks=268509525, wck=23.658, mem=30M38
31.38/25.89	    decisions=6259, wrong=2569, backtracks=1043, failedAssignments=1733, nogoods=585, foundSolutions=14, bestBound=321
31.38/25.89	    nFilterCalls=75317, avgTableProportion=0.33225566605148904, avgTableSize=0.6645113321029781
31.38/25.89	    
31.59/26.04	    num=81, depth=11..19, filters=115780, revisions=(127101,useless=66540), ccks=270208733, wck=23.806, mem=30M38
31.59/26.04	    decisions=6303, wrong=2584, backtracks=1048, failedAssignments=1744, nogoods=590, foundSolutions=14, bestBound=321
31.59/26.04	    nFilterCalls=75792, avgTableProportion=0.3324757230314545, avgTableSize=0.664951446062909
31.59/26.04	    
31.78/26.24	    num=82, depth=8..13, filters=116780, revisions=(128300,useless=67129), ccks=272540846, wck=24.007, mem=30M38
31.78/26.24	    decisions=6359, wrong=2608, backtracks=1060, failedAssignments=1756, nogoods=592, foundSolutions=14, bestBound=321
31.78/26.24	    nFilterCalls=76246, avgTableProportion=0.33284369016079535, avgTableSize=0.6656873803215907
31.78/26.24	    
32.18/26.60	    num=83, depth=10..15, filters=118264, revisions=(130037,useless=68039), ccks=276706412, wck=24.365, mem=32M654
32.18/26.60	    decisions=6416, wrong=2631, backtracks=1072, failedAssignments=1769, nogoods=595, foundSolutions=14, bestBound=321
32.18/26.60	    nFilterCalls=77070, avgTableProportion=0.3329830024652913, avgTableSize=0.6659660049305826
32.18/26.60	    
32.38/26.83	    num=84, depth=6..16, filters=119065, revisions=(131021,useless=68535), ccks=279420734, wck=24.597, mem=32M654
32.38/26.83	    decisions=6467, wrong=2651, backtracks=1079, failedAssignments=1783, nogoods=601, foundSolutions=14, bestBound=321
32.38/26.83	    nFilterCalls=77458, avgTableProportion=0.3332451134808541, avgTableSize=0.6664902269617082
32.38/26.83	    
32.59/27.05	    num=85, depth=7..13, filters=120585, revisions=(132542,useless=69282), ccks=281910751, wck=24.814, mem=35M270
32.59/27.05	    decisions=6522, wrong=2675, backtracks=1092, failedAssignments=1799, nogoods=603, foundSolutions=14, bestBound=321
32.59/27.05	    nFilterCalls=78530, avgTableProportion=0.33312746720998343, avgTableSize=0.6662549344199669
32.59/27.05	    
32.78/27.24	    num=86, depth=7..19, filters=121452, revisions=(133611,useless=69833), ccks=284108502, wck=25.004, mem=35M270
32.78/27.24	    decisions=6590, wrong=2703, backtracks=1105, failedAssignments=1816, nogoods=609, foundSolutions=14, bestBound=321
32.78/27.24	    nFilterCalls=78995, avgTableProportion=0.33344515475663017, avgTableSize=0.6668903095132603
32.78/27.24	    
32.98/27.50	    num=87, depth=9..16, filters=122889, revisions=(135243,useless=70662), ccks=287089412, wck=25.262, mem=35M270
32.98/27.50	    decisions=6662, wrong=2734, backtracks=1122, failedAssignments=1835, nogoods=616, foundSolutions=14, bestBound=321
32.98/27.50	    nFilterCalls=79881, avgTableProportion=0.33318936918666514, avgTableSize=0.6663787383733303
32.98/27.50	    
33.18/27.66	o 319
33.18/27.66	    num=88, depth=9..104, filters=123716, revisions=(136173,useless=71163), ccks=288943309, wck=25.423, mem=37M885
33.18/27.66	    decisions=6718, wrong=2747, backtracks=1126, failedAssignments=1844, nogoods=623, foundSolutions=15, bestBound=319
33.18/27.66	    nFilterCalls=80605, avgTableProportion=0.3332485577817753, avgTableSize=0.6664971155635506
33.18/27.66	    
33.42/27.83	    num=89, depth=8..16, filters=125058, revisions=(137704,useless=72027), ccks=290943201, wck=25.6, mem=37M885
33.42/27.83	    decisions=6796, wrong=2782, backtracks=1141, failedAssignments=1867, nogoods=625, foundSolutions=15, bestBound=319
33.42/27.83	    nFilterCalls=81587, avgTableProportion=0.33377253729148026, avgTableSize=0.6675450745829605
33.42/27.83	    
33.52/27.99	    num=90, depth=10..16, filters=126005, revisions=(138679,useless=72509), ccks=292753148, wck=25.758, mem=40M501
33.52/27.99	    decisions=6848, wrong=2802, backtracks=1150, failedAssignments=1878, nogoods=629, foundSolutions=15, bestBound=319
33.52/27.99	    nFilterCalls=82204, avgTableProportion=0.33433896160770765, avgTableSize=0.6686779232154153
33.52/27.99	    
33.73/28.19	    num=91, depth=8..12, filters=127374, revisions=(140072,useless=73191), ccks=295068730, wck=25.96, mem=40M501
33.73/28.19	    decisions=6905, wrong=2826, backtracks=1163, failedAssignments=1890, nogoods=634, foundSolutions=15, bestBound=319
33.73/28.19	    nFilterCalls=83063, avgTableProportion=0.33440882221927937, avgTableSize=0.6688176444385587
33.73/28.19	    
34.04/28.46	    num=92, depth=8..15, filters=128308, revisions=(141029,useless=73668), ccks=298119276, wck=26.222, mem=40M501
34.04/28.46	    decisions=6958, wrong=2848, backtracks=1174, failedAssignments=1903, nogoods=636, foundSolutions=15, bestBound=319
34.04/28.46	    nFilterCalls=83611, avgTableProportion=0.334860245661456, avgTableSize=0.669720491322912
34.04/28.46	    
34.34/28.70	    num=93, depth=6..12, filters=129623, revisions=(142343,useless=74292), ccks=300926345, wck=26.465, mem=43M117
34.34/28.70	    decisions=7006, wrong=2869, backtracks=1188, failedAssignments=1917, nogoods=638, foundSolutions=15, bestBound=319
34.34/28.70	    nFilterCalls=84437, avgTableProportion=0.3351966554946291, avgTableSize=0.6703933109892583
34.34/28.70	    
34.44/28.89	    num=94, depth=6..13, filters=130814, revisions=(143574,useless=74899), ccks=303153811, wck=26.659, mem=43M117
34.44/28.89	    decisions=7062, wrong=2892, backtracks=1196, failedAssignments=1933, nogoods=645, foundSolutions=15, bestBound=319
34.44/28.89	    nFilterCalls=85153, avgTableProportion=0.3356487733843787, avgTableSize=0.6712975467687574
34.44/28.89	    
34.75/29.15	    num=95, depth=7..17, filters=132147, revisions=(144695,useless=75428), ccks=306101129, wck=26.915, mem=45M733
34.75/29.15	    decisions=7124, wrong=2917, backtracks=1205, failedAssignments=1950, nogoods=649, foundSolutions=15, bestBound=319
34.75/29.15	    nFilterCalls=86190, avgTableProportion=0.336094674556213, avgTableSize=0.672189349112426
34.75/29.15	    
34.94/29.30	    num=96, depth=7..18, filters=133228, revisions=(145901,useless=76080), ccks=307869610, wck=27.07, mem=45M733
34.94/29.30	    decisions=7192, wrong=2945, backtracks=1216, failedAssignments=1969, nogoods=654, foundSolutions=15, bestBound=319
34.94/29.30	    nFilterCalls=86898, avgTableProportion=0.335657897765196, avgTableSize=0.671315795530392
34.94/29.30	    
35.24/29.65	    num=97, depth=9..17, filters=134860, revisions=(147624,useless=77012), ccks=311889721, wck=27.418, mem=48M349
35.24/29.65	    decisions=7268, wrong=2977, backtracks=1231, failedAssignments=1990, nogoods=662, foundSolutions=15, bestBound=319
35.24/29.65	    nFilterCalls=87957, avgTableProportion=0.335260411337358, avgTableSize=0.670520822674716
35.24/29.65	    
35.54/29.95	    num=98, depth=8..17, filters=136654, revisions=(149689,useless=78103), ccks=315339934, wck=27.718, mem=48M349
35.54/29.95	    decisions=7353, wrong=3015, backtracks=1254, failedAssignments=2013, nogoods=664, foundSolutions=15, bestBound=319
35.54/29.95	    nFilterCalls=89065, avgTableProportion=0.33490709032728905, avgTableSize=0.6698141806545781
35.54/29.95	    
35.84/30.28	    num=99, depth=9..13, filters=138524, revisions=(151422,useless=78942), ccks=319086998, wck=28.044, mem=50M965
35.84/30.28	    decisions=7448, wrong=3058, backtracks=1278, failedAssignments=2038, nogoods=667, foundSolutions=15, bestBound=319
35.84/30.28	    nFilterCalls=90152, avgTableProportion=0.33612121749933443, avgTableSize=0.6722424349986689
35.84/30.28	    
36.14/30.59	    num=100, depth=6..17, filters=141000, revisions=(153950,useless=80229), ccks=322613724, wck=28.354, mem=54M902
36.14/30.59	    decisions=7562, wrong=3109, backtracks=1304, failedAssignments=2066, nogoods=671, foundSolutions=15, bestBound=319
36.14/30.59	    nFilterCalls=91746, avgTableProportion=0.33642338630567, avgTableSize=0.67284677261134
36.14/30.59	    
36.54/30.94	    num=101, depth=7..14, filters=143959, revisions=(156849,useless=81727), ccks=326583307, wck=28.701, mem=54M902
36.54/30.94	    decisions=7679, wrong=3164, backtracks=1338, failedAssignments=2097, nogoods=675, foundSolutions=15, bestBound=319
36.54/30.94	    nFilterCalls=93725, avgTableProportion=0.3361323019471859, avgTableSize=0.6722646038943718
36.54/30.94	    
36.85/31.24	    num=102, depth=7..15, filters=146026, revisions=(159202,useless=82972), ccks=330032380, wck=29.004, mem=57M518
36.85/31.24	    decisions=7798, wrong=3218, backtracks=1363, failedAssignments=2131, nogoods=682, foundSolutions=15, bestBound=319
36.85/31.24	    nFilterCalls=94898, avgTableProportion=0.33635060802124384, avgTableSize=0.6727012160424877
36.85/31.24	    
37.15/31.56	    num=103, depth=6..14, filters=149073, revisions=(162298,useless=84510), ccks=333669637, wck=29.325, mem=60M134
37.15/31.56	    decisions=7931, wrong=3281, backtracks=1399, failedAssignments=2168, nogoods=685, foundSolutions=15, bestBound=319
37.15/31.56	    nFilterCalls=96723, avgTableProportion=0.3364556517064194, avgTableSize=0.6729113034128388
37.15/31.56	    
37.35/31.75	    num=104, depth=8..15, filters=150522, revisions=(163979,useless=85430), ccks=335781702, wck=29.512, mem=60M134
37.35/31.75	    decisions=8041, wrong=3330, backtracks=1413, failedAssignments=2209, nogoods=712, foundSolutions=15, bestBound=319
37.35/31.75	    nFilterCalls=97551, avgTableProportion=0.3370032085780771, avgTableSize=0.6740064171561542
37.35/31.75	    
37.79/32.14	    num=105, depth=6..16, filters=154370, revisions=(167809,useless=87339), ccks=340249441, wck=29.907, mem=62M750
37.79/32.14	    decisions=8210, wrong=3410, backtracks=1454, failedAssignments=2254, nogoods=716, foundSolutions=15, bestBound=319
37.79/32.14	    nFilterCalls=100125, avgTableProportion=0.33675905118601746, avgTableSize=0.6735181023720349
37.79/32.14	    
38.28/32.61	    num=106, depth=7..17, filters=159141, revisions=(172243,useless=89602), ccks=345498738, wck=30.372, mem=65M366
38.28/32.61	    decisions=8397, wrong=3499, backtracks=1502, failedAssignments=2304, nogoods=722, foundSolutions=15, bestBound=319
38.28/32.61	    nFilterCalls=103499, avgTableProportion=0.33708055150291305, avgTableSize=0.6741611030058261
38.28/32.61	    
39.08/33.49	    num=107, depth=7..16, filters=162136, revisions=(175783,useless=91473), ccks=355890371, wck=31.259, mem=67M982
39.08/33.49	    decisions=8586, wrong=3589, backtracks=1541, failedAssignments=2359, nogoods=729, foundSolutions=15, bestBound=319
39.08/33.49	    nFilterCalls=104923, avgTableProportion=0.33718059910601106, avgTableSize=0.6743611982120221
39.08/33.49	    
39.58/33.97	    num=108, depth=5..13, filters=167225, revisions=(180983,useless=94160), ccks=361298682, wck=31.74, mem=70M598
39.58/33.97	    decisions=8798, wrong=3691, backtracks=1598, failedAssignments=2420, nogoods=736, foundSolutions=15, bestBound=319
39.58/33.97	    nFilterCalls=108072, avgTableProportion=0.337483344437042, avgTableSize=0.674966688874084
39.58/33.97	    
40.68/35.08	    num=109, depth=6..16, filters=171284, revisions=(185628,useless=96512), ccks=374191070, wck=32.843, mem=75M830
40.68/35.08	    decisions=9037, wrong=3807, backtracks=1662, failedAssignments=2487, nogoods=740, foundSolutions=15, bestBound=319
40.68/35.08	    nFilterCalls=110152, avgTableProportion=0.33842326966373737, avgTableSize=0.6768465393274747
40.68/35.08	    
41.38/35.71	    num=110, depth=6..15, filters=177597, revisions=(191766,useless=99699), ccks=381378771, wck=33.478, mem=78M446
41.38/35.71	    decisions=9281, wrong=3925, backtracks=1724, failedAssignments=2561, nogoods=747, foundSolutions=15, bestBound=319
41.38/35.71	    nFilterCalls=114218, avgTableProportion=0.3384667915740076, avgTableSize=0.6769335831480152
41.38/35.71	    
42.18/36.52	    num=111, depth=6..17, filters=182047, revisions=(197186,useless=102594), ccks=390768686, wck=34.289, mem=83M677
42.18/36.52	    decisions=9575, wrong=4068, backtracks=1795, failedAssignments=2642, nogoods=752, foundSolutions=15, bestBound=319
42.18/36.52	    nFilterCalls=116148, avgTableProportion=0.338735923132555, avgTableSize=0.67747184626511
42.18/36.52	    
42.81/37.18	    num=112, depth=6..22, filters=187620, revisions=(203313,useless=105857), ccks=398308190, wck=34.948, mem=86M293
42.81/37.18	    decisions=9876, wrong=4214, backtracks=1864, failedAssignments=2731, nogoods=761, foundSolutions=15, bestBound=319
42.81/37.18	    nFilterCalls=119450, avgTableProportion=0.33766010883214737, avgTableSize=0.6753202176642947
42.81/37.18	    
43.60/37.98	    num=113, depth=6..17, filters=193893, revisions=(209877,useless=109381), ccks=407460629, wck=35.745, mem=91M525
43.60/37.98	    decisions=10187, wrong=4364, backtracks=1930, failedAssignments=2829, nogoods=790, foundSolutions=15, bestBound=319
43.60/37.98	    nFilterCalls=123165, avgTableProportion=0.33795721187025535, avgTableSize=0.6759144237405107
43.60/37.98	    
45.00/39.33	    num=114, depth=0..12, filters=200654, revisions=(217146,useless=113147), ccks=423191090, wck=37.099, mem=99M373
45.00/39.33	    decisions=10561, wrong=4546, backtracks=2024, failedAssignments=2937, nogoods=796, foundSolutions=15, bestBound=319
45.00/39.33	    nFilterCalls=127105, avgTableProportion=0.33821250147515836, avgTableSize=0.6764250029503167
45.00/39.33	    
45.81/40.17	    num=115, depth=5..17, filters=209387, revisions=(225807,useless=117626), ccks=432703364, wck=37.938, mem=104M605
45.81/40.17	    decisions=10959, wrong=4741, backtracks=2125, failedAssignments=3056, nogoods=803, foundSolutions=15, bestBound=319
45.81/40.17	    nFilterCalls=133038, avgTableProportion=0.33779822306408697, avgTableSize=0.6755964461281739
45.81/40.17	    
47.56/41.83	    num=116, depth=5..16, filters=217672, revisions=(235176,useless=122622), ccks=451968360, wck=39.599, mem=112M453
47.56/41.83	    decisions=11454, wrong=4983, backtracks=2260, failedAssignments=3187, nogoods=812, foundSolutions=15, bestBound=319
47.56/41.83	    nFilterCalls=137645, avgTableProportion=0.33931127174979114, avgTableSize=0.6786225434995823
47.56/41.83	    
48.46/42.74	o 312
48.46/42.74	    num=117, depth=5..104, filters=228524, revisions=(245731,useless=128130), ccks=462129397, wck=40.509, mem=117M685
48.46/42.74	    decisions=11910, wrong=5198, backtracks=2376, failedAssignments=3317, nogoods=819, foundSolutions=16, bestBound=312
48.46/42.74	    nFilterCalls=145031, avgTableProportion=0.3395549916914315, avgTableSize=0.679109983382863
48.46/42.74	    
49.87/44.16	    num=118, depth=5..14, filters=242314, revisions=(258857,useless=134968), ccks=478072784, wck=41.923, mem=128M148
49.87/44.16	    decisions=12428, wrong=5454, backtracks=2511, failedAssignments=3475, nogoods=826, foundSolutions=16, bestBound=312
49.87/44.16	    nFilterCalls=153268, avgTableProportion=0.34296134874859724, avgTableSize=0.6859226974971945
49.87/44.16	    
49.97/44.29	    num=119, depth=8..15, filters=243117, revisions=(259668,useless=135374), ccks=479635350, wck=42.059, mem=128M148
49.97/44.29	    decisions=12472, wrong=5470, backtracks=2519, failedAssignments=3486, nogoods=830, foundSolutions=16, bestBound=312
49.97/44.29	    nFilterCalls=153775, avgTableProportion=0.34316046171354253, avgTableSize=0.6863209234270851
49.97/44.29	    
50.17/44.47	    num=120, depth=8..13, filters=244057, revisions=(260664,useless=135881), ccks=481618998, wck=42.231, mem=130M764
50.17/44.47	    decisions=12514, wrong=5487, backtracks=2526, failedAssignments=3498, nogoods=834, foundSolutions=16, bestBound=312
50.17/44.47	    nFilterCalls=154372, avgTableProportion=0.34320666960329593, avgTableSize=0.6864133392065919
50.17/44.47	    
50.37/44.63	    num=121, depth=5..12, filters=244885, revisions=(261630,useless=136370), ccks=483555340, wck=42.4, mem=130M764
50.37/44.63	    decisions=12559, wrong=5506, backtracks=2533, failedAssignments=3511, nogoods=838, foundSolutions=16, bestBound=312
50.37/44.63	    nFilterCalls=154790, avgTableProportion=0.34325214807158083, avgTableSize=0.6865042961431617
50.37/44.63	    
50.57/44.82	    num=122, depth=9..14, filters=246116, revisions=(262927,useless=136990), ccks=485704714, wck=42.588, mem=130M764
50.57/44.82	    decisions=12613, wrong=5528, backtracks=2541, failedAssignments=3525, nogoods=841, foundSolutions=16, bestBound=312
50.57/44.82	    nFilterCalls=155558, avgTableProportion=0.34346674552257034, avgTableSize=0.6869334910451407
50.57/44.82	    
50.67/44.98	    num=123, depth=9..17, filters=247216, revisions=(264207,useless=137691), ccks=487517417, wck=42.747, mem=133M380
50.67/44.98	    decisions=12685, wrong=5559, backtracks=2558, failedAssignments=3541, nogoods=844, foundSolutions=16, bestBound=312
50.67/44.98	    nFilterCalls=156205, avgTableProportion=0.34365737332351715, avgTableSize=0.6873147466470343
50.67/44.98	    
50.88/45.16	    num=124, depth=7..14, filters=248574, revisions=(265649,useless=138432), ccks=489557962, wck=42.928, mem=133M380
50.88/45.16	    decisions=12754, wrong=5589, backtracks=2574, failedAssignments=3558, nogoods=847, foundSolutions=16, bestBound=312
50.88/45.16	    nFilterCalls=157015, avgTableProportion=0.3439512148520842, avgTableSize=0.6879024297041684
50.88/45.16	    
51.07/45.35	    num=125, depth=7..12, filters=249799, revisions=(266951,useless=139066), ccks=491762989, wck=43.12, mem=135M996
51.07/45.35	    decisions=12818, wrong=5617, backtracks=2586, failedAssignments=3577, nogoods=853, foundSolutions=16, bestBound=312
51.07/45.35	    nFilterCalls=157707, avgTableProportion=0.3442079298953122, avgTableSize=0.6884158597906244
51.07/45.35	    
51.27/45.54	    num=126, depth=8..15, filters=251282, revisions=(268514,useless=139834), ccks=493825448, wck=43.301, mem=135M996
51.27/45.54	    decisions=12893, wrong=5649, backtracks=2600, failedAssignments=3598, nogoods=861, foundSolutions=16, bestBound=312
51.27/45.54	    nFilterCalls=158521, avgTableProportion=0.3445064060913065, avgTableSize=0.689012812182613
51.27/45.54	    
51.57/45.86	    num=127, depth=7..11, filters=253341, revisions=(270583,useless=140885), ccks=497507133, wck=43.622, mem=138M612
51.57/45.86	    decisions=12967, wrong=5681, backtracks=2620, failedAssignments=3621, nogoods=869, foundSolutions=16, bestBound=312
51.57/45.86	    nFilterCalls=159916, avgTableProportion=0.3449373421046049, avgTableSize=0.6898746842092098
51.57/45.86	    
51.78/46.04	    num=128, depth=5..9, filters=254844, revisions=(272101,useless=141610), ccks=499549879, wck=43.803, mem=141M228
51.78/46.04	    decisions=13058, wrong=5724, backtracks=2639, failedAssignments=3646, nogoods=875, foundSolutions=16, bestBound=312
51.78/46.04	    nFilterCalls=160717, avgTableProportion=0.34524972467131665, avgTableSize=0.6904994493426333
51.78/46.04	    
52.07/46.32	    num=129, depth=8..16, filters=257106, revisions=(274708,useless=143070), ccks=502792962, wck=44.089, mem=141M228
52.07/46.32	    decisions=13180, wrong=5781, backtracks=2675, failedAssignments=3674, nogoods=880, foundSolutions=16, bestBound=312
52.07/46.32	    nFilterCalls=162046, avgTableProportion=0.3455777988966096, avgTableSize=0.6911555977932192
52.07/46.32	    
52.47/46.74	    num=130, depth=8..16, filters=259757, revisions=(277626,useless=144650), ccks=507584358, wck=44.507, mem=143M844
52.47/46.74	    decisions=13312, wrong=5842, backtracks=2708, failedAssignments=3705, nogoods=887, foundSolutions=16, bestBound=312
52.47/46.74	    nFilterCalls=163546, avgTableProportion=0.34572230442811197, avgTableSize=0.6914446088562239
52.47/46.74	    
52.98/47.22	    num=131, depth=5..14, filters=262582, revisions=(280675,useless=146213), ccks=513135742, wck=44.99, mem=146M460
52.98/47.22	    decisions=13439, wrong=5901, backtracks=2742, failedAssignments=3739, nogoods=895, foundSolutions=16, bestBound=312
52.98/47.22	    nFilterCalls=165208, avgTableProportion=0.34613941213500554, avgTableSize=0.6922788242700111
52.98/47.22	    
53.88/48.14	    num=132, depth=6..13, filters=264689, revisions=(283011,useless=147287), ccks=523844721, wck=45.903, mem=149M76
53.88/48.14	    decisions=13563, wrong=5958, backtracks=2763, failedAssignments=3776, nogoods=898, foundSolutions=16, bestBound=312
53.88/48.14	    nFilterCalls=166122, avgTableProportion=0.3464501992511528, avgTableSize=0.6929003985023056
53.88/48.14	    
54.27/48.59	    num=133, depth=6..13, filters=268217, revisions=(286312,useless=148945), ccks=529025052, wck=46.356, mem=151M692
54.27/48.59	    decisions=13700, wrong=6023, backtracks=2793, failedAssignments=3817, nogoods=903, foundSolutions=16, bestBound=312
54.27/48.59	    nFilterCalls=168400, avgTableProportion=0.34672209026128264, avgTableSize=0.6934441805225653
54.27/48.59	    
54.88/49.12	    num=134, depth=6..16, filters=270699, revisions=(289066,useless=150390), ccks=535129047, wck=46.885, mem=154M308
54.88/49.12	    decisions=13842, wrong=6089, backtracks=2823, failedAssignments=3862, nogoods=914, foundSolutions=16, bestBound=312
54.88/49.12	    nFilterCalls=169759, avgTableProportion=0.347006638823273, avgTableSize=0.694013277646546
54.88/49.12	    
55.10/49.37	    num=135, depth=7..16, filters=273851, revisions=(292454,useless=152236), ccks=537800842, wck=47.138, mem=24M880
55.10/49.37	    decisions=14018, wrong=6171, backtracks=2863, failedAssignments=3912, nogoods=918, foundSolutions=16, bestBound=312
55.10/49.37	    nFilterCalls=171827, avgTableProportion=0.3462115965476904, avgTableSize=0.6924231930953808
55.10/49.37	    
55.70/49.93	    num=136, depth=7..15, filters=278492, revisions=(297341,useless=154765), ccks=544081936, wck=47.695, mem=27M496
55.70/49.93	    decisions=14239, wrong=6276, backtracks=2927, failedAssignments=3967, nogoods=923, foundSolutions=16, bestBound=312
55.70/49.93	    nFilterCalls=174555, avgTableProportion=0.34644381427057375, avgTableSize=0.6928876285411475
55.70/49.93	    
56.10/50.35	    num=137, depth=6..15, filters=284154, revisions=(302682,useless=157585), ccks=548804521, wck=48.12, mem=32M727
56.10/50.35	    decisions=14446, wrong=6376, backtracks=2977, failedAssignments=4028, nogoods=935, foundSolutions=16, bestBound=312
56.10/50.35	    nFilterCalls=178349, avgTableProportion=0.3461135189992655, avgTableSize=0.692227037998531
56.10/50.35	    
56.70/50.95	    num=138, depth=7..15, filters=289193, revisions=(307928,useless=160313), ccks=555520468, wck=48.714, mem=35M343
56.70/50.95	    decisions=14676, wrong=6484, backtracks=3036, failedAssignments=4095, nogoods=943, foundSolutions=16, bestBound=312
56.70/50.95	    nFilterCalls=181576, avgTableProportion=0.3462076485879191, avgTableSize=0.6924152971758382
56.70/50.95	    
57.50/51.75	    num=139, depth=0..13, filters=293678, revisions=(312783,useless=162823), ccks=564515061, wck=49.512, mem=41M434
57.50/51.75	    decisions=14924, wrong=6605, backtracks=3093, failedAssignments=4169, nogoods=953, foundSolutions=16, bestBound=312
57.50/51.75	    nFilterCalls=183954, avgTableProportion=0.3464779238287833, avgTableSize=0.6929558476575666
57.50/51.75	    
58.40/52.68	    num=140, depth=6..19, filters=298993, revisions=(318275,useless=165753), ccks=575048800, wck=50.443, mem=46M666
58.40/52.68	    decisions=15197, wrong=6735, backtracks=3151, failedAssignments=4250, nogoods=959, foundSolutions=16, bestBound=312
58.40/52.68	    nFilterCalls=187374, avgTableProportion=0.3469318048395188, avgTableSize=0.6938636096790376
58.40/52.68	    
59.70/53.98	    num=141, depth=6..15, filters=305524, revisions=(325239,useless=169250), ccks=589811221, wck=51.743, mem=51M898
59.70/53.98	    decisions=15527, wrong=6896, backtracks=3241, failedAssignments=4339, nogoods=966, foundSolutions=16, bestBound=312
59.70/53.98	    nFilterCalls=190758, avgTableProportion=0.347877939588379, avgTableSize=0.695755879176758
59.70/53.98	    
60.40/54.62	    num=142, depth=5..15, filters=313510, revisions=(333148,useless=173497), ccks=596982894, wck=52.388, mem=57M130
60.40/54.62	    decisions=15870, wrong=7064, backtracks=3331, failedAssignments=4437, nogoods=973, foundSolutions=16, bestBound=312
60.40/54.62	    nFilterCalls=196167, avgTableProportion=0.3475533601472215, avgTableSize=0.695106720294443
60.40/54.62	    
62.20/56.43	    num=143, depth=7..17, filters=320256, revisions=(340785,useless=177531), ccks=617700997, wck=54.199, mem=62M362
62.20/56.43	    decisions=16223, wrong=7235, backtracks=3406, failedAssignments=4545, nogoods=980, foundSolutions=16, bestBound=312
62.20/56.43	    nFilterCalls=199292, avgTableProportion=0.347580434738976, avgTableSize=0.695160869477952
62.20/56.43	    
62.91/57.11	    num=144, depth=5..18, filters=328307, revisions=(349256,useless=181946), ccks=625285089, wck=54.878, mem=67M594
62.91/57.11	    decisions=16630, wrong=7434, backtracks=3507, failedAssignments=4664, nogoods=987, foundSolutions=16, bestBound=312
62.91/57.11	    nFilterCalls=204064, avgTableProportion=0.3470038811353301, avgTableSize=0.6940077622706602
62.91/57.11	    
64.20/58.43	    num=145, depth=5..16, filters=339323, revisions=(360013,useless=187564), ccks=640049950, wck=56.199, mem=75M441
64.20/58.43	    decisions=17115, wrong=7673, backtracks=3643, failedAssignments=4795, nogoods=1001, foundSolutions=16, bestBound=312
64.20/58.43	    nFilterCalls=211266, avgTableProportion=0.34791211079870876, avgTableSize=0.6958242215974175
64.20/58.43	    
65.70/59.95	    num=146, depth=0..17, filters=349000, revisions=(370694,useless=193393), ccks=657252145, wck=57.714, mem=85M905
65.70/59.95	    decisions=17617, wrong=7918, backtracks=3763, failedAssignments=4939, nogoods=1010, foundSolutions=16, bestBound=312
65.70/59.95	    nFilterCalls=216762, avgTableProportion=0.34729103809708345, avgTableSize=0.6945820761941669
65.70/59.95	    
67.20/61.44	    num=147, depth=5..16, filters=360345, revisions=(382159,useless=199395), ccks=673971264, wck=59.202, mem=93M753
67.20/61.44	    decisions=18167, wrong=8189, backtracks=3903, failedAssignments=5097, nogoods=1023, foundSolutions=16, bestBound=312
67.20/61.44	    nFilterCalls=224356, avgTableProportion=0.34823673090980406, avgTableSize=0.6964734618196081
67.20/61.44	    
68.81/63.02	    num=148, depth=7..18, filters=371674, revisions=(393976,useless=205697), ccks=691680989, wck=60.782, mem=104M217
68.81/63.02	    decisions=18732, wrong=8466, backtracks=4033, failedAssignments=5271, nogoods=1030, foundSolutions=16, bestBound=312
68.81/63.02	    nFilterCalls=231564, avgTableProportion=0.34754538702043497, avgTableSize=0.6950907740408699
68.81/63.02	    
69.82/64.06	    num=149, depth=6..17, filters=382187, revisions=(404960,useless=211587), ccks=703382371, wck=61.827, mem=112M65
69.82/64.06	    decisions=19280, wrong=8736, backtracks=4138, failedAssignments=5462, nogoods=1033, foundSolutions=16, bestBound=312
69.82/64.06	    nFilterCalls=237664, avgTableProportion=0.34762732260670526, avgTableSize=0.6952546452134105
69.82/64.06	    
72.01/66.21	    num=150, depth=6..19, filters=393348, revisions=(418004,useless=218653), ccks=728078004, wck=63.977, mem=122M528
72.01/66.21	    decisions=20029, wrong=9107, backtracks=4312, failedAssignments=5673, nogoods=1041, foundSolutions=16, bestBound=312
72.01/66.21	    nFilterCalls=243100, avgTableProportion=0.3481509666803784, avgTableSize=0.6963019333607569
72.01/66.21	    
73.71/67.91	    num=151, depth=5..18, filters=410425, revisions=(435792,useless=228193), ccks=747328125, wck=65.679, mem=132M992
73.71/67.91	    decisions=20846, wrong=9512, backtracks=4531, failedAssignments=5905, nogoods=1049, foundSolutions=16, bestBound=312
73.71/67.91	    nFilterCalls=253870, avgTableProportion=0.3484046953165006, avgTableSize=0.6968093906330012
73.71/67.91	    
76.31/70.55	    num=152, depth=6..16, filters=423676, revisions=(450717,useless=235629), ccks=777767899, wck=68.32, mem=143M456
76.31/70.55	    decisions=21685, wrong=9927, backtracks=4736, failedAssignments=6160, nogoods=1058, foundSolutions=16, bestBound=312
76.31/70.55	    nFilterCalls=259918, avgTableProportion=0.3489985303057118, avgTableSize=0.6979970606114236
76.31/70.55	    
80.03/73.90	    num=153, depth=5..16, filters=444245, revisions=(471721,useless=246610), ccks=815877925, wck=71.669, mem=30M97
80.03/73.90	    decisions=22678, wrong=10419, backtracks=5000, failedAssignments=6441, nogoods=1064, foundSolutions=16, bestBound=312
80.03/73.90	    nFilterCalls=271640, avgTableProportion=0.3504307171256074, avgTableSize=0.7008614342512148
80.03/73.90	    
82.14/76.01	    num=154, depth=5..20, filters=465488, revisions=(492488,useless=257773), ccks=839080897, wck=73.776, mem=45M812
82.14/76.01	    decisions=23754, wrong=10952, backtracks=5268, failedAssignments=6750, nogoods=1072, foundSolutions=16, bestBound=312
82.14/76.01	    nFilterCalls=285991, avgTableProportion=0.3505739691109161, avgTableSize=0.7011479382218322
82.14/76.01	    
85.03/78.91	    num=155, depth=7..23, filters=487100, revisions=(515440,useless=269724), ccks=871753268, wck=76.671, mem=64M146
85.03/78.91	    decisions=24924, wrong=11533, backtracks=5583, failedAssignments=7090, nogoods=1077, foundSolutions=16, bestBound=312
85.03/78.91	    nFilterCalls=297706, avgTableProportion=0.3505488636439978, avgTableSize=0.7010977272879956
85.03/78.91	    
87.03/80.94	    num=156, depth=4..17, filters=515151, revisions=(542680,useless=284076), ccks=894224280, wck=78.708, mem=82M480
87.03/80.94	    decisions=26167, wrong=12151, backtracks=5889, failedAssignments=7464, nogoods=1087, foundSolutions=16, bestBound=312
87.03/80.94	    nFilterCalls=316522, avgTableProportion=0.3493264291265694, avgTableSize=0.6986528582531388
87.03/80.94	    
90.64/84.55	    num=157, depth=6..19, filters=542269, revisions=(571907,useless=300100), ccks=934862620, wck=82.314, mem=106M53
90.64/84.55	    decisions=27585, wrong=12856, backtracks=6262, failedAssignments=7875, nogoods=1094, foundSolutions=16, bestBound=312
90.64/84.55	    nFilterCalls=332599, avgTableProportion=0.35066852275563065, avgTableSize=0.7013370455112613
90.64/84.55	    
92.66/86.59	    num=158, depth=4..16, filters=575584, revisions=(604563,useless=316849), ccks=957069756, wck=84.358, mem=132M245
92.66/86.59	    decisions=29129, wrong=13625, backtracks=6634, failedAssignments=8327, nogoods=1101, foundSolutions=16, bestBound=312
92.66/86.59	    nFilterCalls=353166, avgTableProportion=0.35000821143598193, avgTableSize=0.7000164228719639
92.66/86.59	    
97.86/91.77	    num=159, depth=5..20, filters=601053, revisions=(634415,useless=332670), ccks=1014993688, wck=89.537, mem=24M767
97.86/91.77	    decisions=30850, wrong=14482, backtracks=7062, failedAssignments=8824, nogoods=1108, foundSolutions=16, bestBound=312
97.86/91.77	    nFilterCalls=365334, avgTableProportion=0.34968001883208244, avgTableSize=0.6993600376641649
97.86/91.77	    
102.99/96.80	    num=160, depth=5..20, filters=632904, revisions=(669865,useless=351888), ccks=1072677140, wck=94.562, mem=55M795
102.99/96.80	    decisions=32832, wrong=15470, backtracks=7571, failedAssignments=9371, nogoods=1119, foundSolutions=16, bestBound=312
102.99/96.80	    nFilterCalls=383400, avgTableProportion=0.3516510172143975, avgTableSize=0.703302034428795
102.99/96.80	    
105.89/99.78	    num=161, depth=4..18, filters=670348, revisions=(707303,useless=370704), ccks=1105744624, wck=97.545, mem=84M236
105.89/99.78	    decisions=34791, wrong=16446, backtracks=8038, failedAssignments=9973, nogoods=1131, foundSolutions=16, bestBound=312
105.89/99.78	    nFilterCalls=405858, avgTableProportion=0.35247672831384375, avgTableSize=0.7049534566276875
105.89/99.78	    
110.89/104.72	    num=162, depth=5..20, filters=715293, revisions=(754774,useless=396237), ccks=1161723593, wck=102.486, mem=123M21
110.89/104.72	    decisions=37133, wrong=17611, backtracks=8672, failedAssignments=10635, nogoods=1137, foundSolutions=16, bestBound=312
110.89/104.72	    nFilterCalls=433217, avgTableProportion=0.35170826629610563, avgTableSize=0.7034165325922113
110.89/104.72	    
116.73/110.54	    num=163, depth=3..18, filters=765541, revisions=(805802,useless=422777), ccks=1227546260, wck=108.305, mem=37M541
116.73/110.54	    decisions=39764, wrong=18922, backtracks=9367, failedAssignments=11363, nogoods=1145, foundSolutions=16, bestBound=312
116.73/110.54	    nFilterCalls=463733, avgTableProportion=0.3543590816267119, avgTableSize=0.7087181632534238
116.73/110.54	    
120.83/114.66	    num=164, depth=3..18, filters=818538, revisions=(855394,useless=448772), ccks=1273026084, wck=112.425, mem=68M130
120.83/114.66	    decisions=42172, wrong=20123, backtracks=9910, failedAssignments=12164, nogoods=1200, foundSolutions=16, bestBound=312
120.83/114.66	    nFilterCalls=498567, avgTableProportion=0.3567975818696384, avgTableSize=0.7135951637392768
120.83/114.66	    
126.93/120.79	    num=165, depth=6..21, filters=870293, revisions=(912993,useless=480805), ccks=1342831790, wck=118.557, mem=111M463
126.93/120.79	    decisions=44962, wrong=21514, backtracks=10602, failedAssignments=13045, nogoods=1211, foundSolutions=16, bestBound=312
126.93/120.79	    nFilterCalls=529110, avgTableProportion=0.35406153729848233, avgTableSize=0.7081230745969647
126.93/120.79	    
130.53/124.37	    num=166, depth=4..19, filters=895692, revisions=(945533,useless=499213), ccks=1383685504, wck=122.139, mem=142M51
130.53/124.37	    decisions=47079, wrong=22569, backtracks=10708, failedAssignments=14015, nogoods=1234, foundSolutions=16, bestBound=312
130.53/124.37	    nFilterCalls=538193, avgTableProportion=0.35398082100659056, avgTableSize=0.7079616420131811
130.53/124.37	    
138.56/132.35	    num=167, depth=0..16, filters=982098, revisions=(1026905,useless=538582), ccks=1472634719, wck=130.12, mem=77M519
138.56/132.35	    decisions=50804, wrong=24428, backtracks=11752, failedAssignments=15082, nogoods=1251, foundSolutions=16, bestBound=312
138.56/132.35	    nFilterCalls=588016, avgTableProportion=0.3567479456341324, avgTableSize=0.7134958912682648
138.56/132.35	    
143.77/137.59	    num=168, depth=4..22, filters=1058762, revisions=(1102904,useless=578273), ccks=1529886775, wck=135.36, mem=135M261
143.77/137.59	    decisions=54683, wrong=26364, backtracks=12689, failedAssignments=16255, nogoods=1262, foundSolutions=16, bestBound=312
143.77/137.59	    nFilterCalls=635612, avgTableProportion=0.3545134453094026, avgTableSize=0.7090268906188052
143.77/137.59	    
150.90/144.64	    num=169, depth=5..18, filters=1166438, revisions=(1204787,useless=634856), ccks=1606749917, wck=142.407, mem=81M586
150.90/144.64	    decisions=59212, wrong=28624, backtracks=13877, failedAssignments=17546, nogoods=1272, foundSolutions=16, bestBound=312
150.90/144.64	    nFilterCalls=712513, avgTableProportion=0.35270163491753836, avgTableSize=0.7054032698350767
150.90/144.64	    
161.20/154.93	    num=170, depth=4..19, filters=1282374, revisions=(1313489,useless=693698), ccks=1722083358, wck=152.693, mem=36M869
161.20/154.93	    decisions=64033, wrong=31031, backtracks=15100, failedAssignments=18966, nogoods=1284, foundSolutions=16, bestBound=312
161.20/154.93	    nFilterCalls=792277, avgTableProportion=0.352506131062747, avgTableSize=0.705012262125494
161.20/154.93	    
172.21/165.97	    num=171, depth=3..19, filters=1372526, revisions=(1403189,useless=740282), ccks=1847674297, wck=163.738, mem=124M357
172.21/165.97	    decisions=68878, wrong=33450, backtracks=16110, failedAssignments=20528, nogoods=1292, foundSolutions=16, bestBound=312
172.21/165.97	    nFilterCalls=845757, avgTableProportion=0.3537038416471871, avgTableSize=0.7074076832943742
172.21/165.97	    
178.81/172.54	    num=172, depth=2..17, filters=1496757, revisions=(1517644,useless=799959), ccks=1917661197, wck=170.307, mem=91M582
178.81/172.54	    decisions=74568, wrong=36292, backtracks=17556, failedAssignments=22246, nogoods=1318, foundSolutions=16, bestBound=312
178.81/172.54	    nFilterCalls=932384, avgTableProportion=0.3545116604317534, avgTableSize=0.7090233208635068
178.81/172.54	    
191.36/185.08	    num=173, depth=3..19, filters=1643522, revisions=(1655836,useless=871383), ccks=2056766427, wck=182.843, mem=88M328
191.36/185.08	    decisions=81242, wrong=39625, backtracks=19374, failedAssignments=24136, nogoods=1331, foundSolutions=16, bestBound=312
191.36/185.08	    nFilterCalls=1026891, avgTableProportion=0.35724823764158026, avgTableSize=0.7144964752831605
191.36/185.08	    
199.86/193.52	    num=174, depth=3..20, filters=1827300, revisions=(1819467,useless=955909), ccks=2145066009, wck=191.29, mem=87M457
199.86/193.52	    decisions=88594, wrong=43298, backtracks=21401, failedAssignments=26215, nogoods=1345, foundSolutions=16, bestBound=312
199.86/193.52	    nFilterCalls=1157170, avgTableProportion=0.3581954250455853, avgTableSize=0.7163908500911707
199.86/193.52	    
215.99/209.63	    num=175, depth=1..18, filters=1977933, revisions=(1964934,useless=1030542), ccks=2326021170, wck=207.392, mem=123M351
215.99/209.63	    decisions=96601, wrong=47296, backtracks=23498, failedAssignments=28502, nogoods=1361, foundSolutions=16, bestBound=312
215.99/209.63	    nFilterCalls=1254470, avgTableProportion=0.35755418623004137, avgTableSize=0.7151083724600827
215.99/209.63	    
228.11/221.79	    num=176, depth=2..19, filters=2162286, revisions=(2145120,useless=1125031), ccks=2458666559, wck=219.561, mem=31M262
228.11/221.79	    decisions=105182, wrong=51582, backtracks=25727, failedAssignments=31018, nogoods=1377, foundSolutions=16, bestBound=312
228.11/221.79	    nFilterCalls=1371330, avgTableProportion=0.3575390314512189, avgTableSize=0.7150780629024378
228.11/221.79	    
248.92/242.53	    num=177, depth=3..18, filters=2389710, revisions=(2362250,useless=1239746), ccks=2691040881, wck=240.291, mem=66M334
248.92/242.53	    decisions=114672, wrong=56324, backtracks=28241, failedAssignments=33786, nogoods=1384, foundSolutions=16, bestBound=312
248.92/242.53	    nFilterCalls=1524603, avgTableProportion=0.35570571486478775, avgTableSize=0.7114114297295755
248.92/242.53	    
265.04/258.66	    num=178, depth=2..20, filters=2569203, revisions=(2546182,useless=1337127), ccks=2871432010, wck=256.429, mem=98M451
265.04/258.66	    decisions=124099, wrong=61035, backtracks=30385, failedAssignments=36830, nogoods=1394, foundSolutions=16, bestBound=312
265.04/258.66	    nFilterCalls=1633229, avgTableProportion=0.3556828221884378, avgTableSize=0.7113656443768755
265.04/258.66	    
283.16/276.78	    num=179, depth=2..22, filters=2796058, revisions=(2767729,useless=1454599), ccks=3072726978, wck=274.542, mem=68M877
283.16/276.78	    decisions=135425, wrong=66696, backtracks=33258, failedAssignments=40179, nogoods=1408, foundSolutions=16, bestBound=312
283.16/276.78	    nFilterCalls=1779686, avgTableProportion=0.35533431178308983, avgTableSize=0.7106686235661797
283.16/276.78	    
302.78/296.31	    num=180, depth=3..19, filters=3045206, revisions=(3012124,useless=1584465), ccks=3288534062, wck=294.077, mem=47M46
302.78/296.31	    decisions=147533, wrong=72746, backtracks=36195, failedAssignments=43863, nogoods=1413, foundSolutions=16, bestBound=312
302.78/296.31	    nFilterCalls=1947371, avgTableProportion=0.3563039605704306, avgTableSize=0.7126079211408612
302.78/296.31	    
324.81/318.31	    num=181, depth=1..19, filters=3402049, revisions=(3329154,useless=1747711), ccks=3526913662, wck=316.08, mem=76M358
324.81/318.31	    decisions=161602, wrong=79776, backtracks=39960, failedAssignments=47915, nogoods=1434, foundSolutions=16, bestBound=312
324.81/318.31	    nFilterCalls=2192328, avgTableProportion=0.3594628632211968, avgTableSize=0.7189257264423936
324.81/318.31	    
346.93/340.45	    num=182, depth=1..20, filters=3705221, revisions=(3617195,useless=1899212), ccks=3770616947, wck=338.213, mem=104M539
346.93/340.45	    decisions=175874, wrong=86910, backtracks=43362, failedAssignments=52372, nogoods=1450, foundSolutions=16, bestBound=312
346.93/340.45	    nFilterCalls=2389009, avgTableProportion=0.36084146187812605, avgTableSize=0.7216829237562521
346.93/340.45	    
374.95/368.40	    num=183, depth=1..16, filters=4113570, revisions=(3981720,useless=2084348), ccks=4076382213, wck=366.165, mem=66M125
374.95/368.40	    decisions=192610, wrong=95274, backtracks=47682, failedAssignments=57275, nogoods=1467, foundSolutions=16, bestBound=312
374.95/368.40	    nFilterCalls=2657339, avgTableProportion=0.36447513847499324, avgTableSize=0.7289502769499865
374.95/368.40	    
405.19/398.64	    num=184, depth=1..19, filters=4481991, revisions=(4339707,useless=2272566), ccks=4411440876, wck=396.402, mem=86M629
405.19/398.64	    decisions=211400, wrong=104664, backtracks=52550, failedAssignments=62669, nogoods=1484, foundSolutions=16, bestBound=312
405.19/398.64	    nFilterCalls=2898370, avgTableProportion=0.3646791127426795, avgTableSize=0.729358225485359
405.19/398.64	    
433.53/426.93	    num=185, depth=2..20, filters=4985550, revisions=(4793956,useless=2506914), ccks=4715119546, wck=424.695, mem=94M219
433.53/426.93	    decisions=232540, wrong=115231, backtracks=58300, failedAssignments=68602, nogoods=1491, foundSolutions=16, bestBound=312
433.53/426.93	    nFilterCalls=3252658, avgTableProportion=0.3627322638900247, avgTableSize=0.7254645277800494
433.53/426.93	    
469.16/462.55	    num=186, depth=1..17, filters=5541758, revisions=(5281054,useless=2756702), ccks=5102035923, wck=460.314, mem=58M896
469.16/462.55	    decisions=254600, wrong=126257, backtracks=64010, failedAssignments=75128, nogoods=1502, foundSolutions=16, bestBound=312
469.16/462.55	    nFilterCalls=3636106, avgTableProportion=0.36566797007567986, avgTableSize=0.7313359401513597
469.16/462.55	    
497.61/490.97	    num=187, depth=1..21, filters=6074337, revisions=(5748656,useless=2997399), ccks=5404378168, wck=488.735, mem=63M556
497.61/490.97	    decisions=277990, wrong=137950, backtracks=69614, failedAssignments=82307, nogoods=1508, foundSolutions=16, bestBound=312
497.61/490.97	    nFilterCalls=4010087, avgTableProportion=0.36626748995720043, avgTableSize=0.7325349799144009
497.61/490.97	    
545.95/539.20	    num=188, depth=1..19, filters=6704714, revisions=(6327908,useless=3300737), ccks=5937755544, wck=536.963, mem=70M926
545.95/539.20	    decisions=305069, wrong=151485, backtracks=76669, failedAssignments=90204, nogoods=1517, foundSolutions=16, bestBound=312
545.95/539.20	    nFilterCalls=4447472, avgTableProportion=0.3670502029017833, avgTableSize=0.7341004058035666
545.95/539.20	    
593.60/586.84	    num=189, depth=1..21, filters=7342934, revisions=(6917945,useless=3608703), ccks=6462645157, wck=584.601, mem=47M244
593.60/586.84	    decisions=334545, wrong=166219, backtracks=84344, failedAssignments=98891, nogoods=1588, foundSolutions=16, bestBound=312
593.60/586.84	    nFilterCalls=4885347, avgTableProportion=0.36741146534729263, avgTableSize=0.7348229306945853
593.60/586.84	    
644.36/637.57	    num=190, depth=1..21, filters=8009471, revisions=(7552395,useless=3942442), ccks=7020968462, wck=635.339, mem=82M567
644.36/637.57	    decisions=366787, wrong=182336, backtracks=92723, failedAssignments=108446, nogoods=1609, foundSolutions=16, bestBound=312
644.36/637.57	    nFilterCalls=5335104, avgTableProportion=0.36766949622725253, avgTableSize=0.7353389924545051
644.36/637.57	    
693.94/687.07	    num=191, depth=0..23, filters=8815074, revisions=(8299154,useless=4336752), ccks=7557623023, wck=684.834, mem=37M999
693.94/687.07	    decisions=402987, wrong=200432, backtracks=102193, failedAssignments=118957, nogoods=1652, foundSolutions=16, bestBound=312
693.94/687.07	    nFilterCalls=5894318, avgTableProportion=0.3664601231219625, avgTableSize=0.732920246243925
693.94/687.07	    
748.02/741.06	    num=192, depth=1..21, filters=9705742, revisions=(9106349,useless=4759126), ccks=8140600844, wck=738.822, mem=32M142
748.02/741.06	    decisions=442285, wrong=220077, backtracks=112260, failedAssignments=130519, nogoods=1665, foundSolutions=16, bestBound=312
748.02/741.06	    nFilterCalls=6522051, avgTableProportion=0.36614302770708174, avgTableSize=0.7322860554141635
748.02/741.06	    
811.20/804.19	    num=193, depth=0..22, filters=10676771, revisions=(9986669,useless=5225208), ccks=8827964739, wck=801.955, mem=71M676
811.20/804.19	    decisions=484531, wrong=241197, backtracks=123018, failedAssignments=143237, nogoods=1674, foundSolutions=16, bestBound=312
811.20/804.19	    nFilterCalls=7205854, avgTableProportion=0.3668241127283456, avgTableSize=0.7336482254566912
811.20/804.19	    
884.11/877.00	    num=194, depth=0..23, filters=11879196, revisions=(11010499,useless=5746828), ccks=9613533190, wck=874.771, mem=67M364
884.11/877.00	    decisions=532273, wrong=265065, backtracks=135441, failedAssignments=157227, nogoods=1698, foundSolutions=16, bestBound=312
884.11/877.00	    nFilterCalls=8059379, avgTableProportion=0.36856673448413335, avgTableSize=0.7371334689682667
884.11/877.00	    
957.12/949.88	    num=195, depth=0..21, filters=13011037, revisions=(12047675,useless=6300839), ccks=10407398377, wck=947.648, mem=45M780
957.12/949.88	    decisions=583417, wrong=290634, backtracks=148268, failedAssignments=172616, nogoods=1710, foundSolutions=16, bestBound=312
957.12/949.88	    nFilterCalls=8857163, avgTableProportion=0.36721589068644217, avgTableSize=0.7344317813728843
957.12/949.88	    
1054.96/1047.51	    num=196, depth=0..21, filters=14350947, revisions=(13260385,useless=6933628), ccks=11480144880, wck=1045.278, mem=33M924
1054.96/1047.51	    decisions=642062, wrong=319954, backtracks=163644, failedAssignments=189544, nogoods=1732, foundSolutions=16, bestBound=312
1054.96/1047.51	    nFilterCalls=9805779, avgTableProportion=0.3659841813689662, avgTableSize=0.7319683627379324
1054.96/1047.51	    
1072.28/1064.86	
1072.28/1064.86	  New Bounds: 312..311
1072.28/1064.86	    num=197, depth=0..17, filters=14599534, revisions=(13482690,useless=7046531), ccks=11669232221, wck=1062.629, mem=67M470
1072.28/1064.86	    decisions=652236, wrong=325042, backtracks=166393, failedAssignments=192446, foundSolutions=16, bestBound=312
1072.28/1064.86	    nFilterCalls=9975946, avgTableProportion=0.3663847518821774, avgTableSize=0.7327695037643548
1072.28/1064.86	    
1072.28/1064.86	  Global
1072.28/1064.86	    filters=14599534, revisions=(13482690,useless=7046531), ccks=11669232221
1072.28/1064.86	    Stop=FULL_EXPLORATION, wrong=325042, bestBound=312, bestBoundWck=40.888, bestBoundCpu=42.69, foundSolutions=16, firstSolCpu=5.558
1072.28/1064.86	    wck=1063.009, cpu=1064.325, mem=67M470
1072.28/1064.86	
1072.28/1064.86	v <instantiation id='sol16' type='solution' cost='312'>  <list> s[][] e[] d[][] w[][] sd[][] </list>  <values> 0 60 113 214 300 0 101 180 261 300 0 96 113 164 261 0 60 86 171 251 0 98 180 214 251 305 306 307 312 307 60 41 93 86 5 96 63 81 4 6 81 17 50 62 46 55 26 85 78 61 98 82 34 37 56 2 1 0 3 4 0 1 2 4 3 3 0 4 1 2 1 2 3 4 0 4 2 3 0 1 113 60 0 214 300 0 101 180 300 261 96 164 261 0 113 251 0 60 86 171 214 251 98 180 0 </values>  </instantiation>
1072.28/1064.86	s OPTIMUM FOUND
1072.28/1064.86	
1072.28/1064.86	d WRONG_DECISIONS 325042
1072.28/1064.86	d NUMBER_SOLUTIONS 16

Verifier Data 

OK	312

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391124-1568388083/watcher-4391124-1568388083 -o /tmp/evaluation-result-4391124-1568388083/solver-4391124-1568388083 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568388027-27066 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391124-1568388083.xml -cm 

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

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


[startup+0.100107 s]*
/proc/loadavg: 2.29 1.82 1.74 5/230 27204
/proc/meminfo: memFree=26485400/32770624 swapFree=66999916/67108860
[pid=27189] ppid=27186 vsize=10659884 memory=26960 CPUtime=0.14 cores=1,3,5,7
/proc/27189/stat : 27189 (java) S 27186 27189 25641 0 -1 1077944320 5708 0 0 0 13 1 0 0 20 0 15 0 415073194 10915721216 6609 33554432000 4194304 4196468 140734110797600 140734110780144 140029455912695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
/proc/27189/statm: 2664971 6740 2872 1 0 2627468 0
[pid=27189/tid=27191] ppid=27186 vsize=10659884 memory=720575944405811505 CPUtime=0.1 cores=1,3,5,7
/proc/27189/task/27191/stat : 27191 (java) R 27186 27189 25641 0 -1 4202560 3276 0 0 0 9 1 0 0 20 0 15 0 415073195 10915721216 6740 33554432000 4194304 4196468 140734110797600 140029460135456 140029455934621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27192] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27192/stat : 27192 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 6740 33554432000 4194304 4196468 140734110797600 140029062474256 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27193] ppid=27186 vsize=10659884 memory=4050345073814464160 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27193/stat : 27193 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 6740 33554432000 4194304 4196468 140734110797600 140029061421712 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27194] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27194/stat : 27194 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 6740 33554432000 4194304 4196468 140734110797600 140029060368656 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27195] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27195/stat : 27195 (java) S 27186 27189 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 6740 33554432000 4194304 4196468 140734110797600 140029059316112 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27196] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27196/stat : 27196 (java) S 27186 27189 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073197 10915721216 6740 33554432000 4194304 4196468 140734110797600 140028947700464 140029455923842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27197] ppid=27186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27197/stat : 27197 (java) S 27186 27189 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073197 10915721216 6740 33554432000 4194304 4196468 140734110797600 140028946646688 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27198] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27198/stat : 27198 (java) S 27186 27189 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073197 10915721216 6806 33554432000 4194304 4196468 140734110797600 140028945593584 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27199] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27199/stat : 27199 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073200 10915721216 6806 33554432000 4194304 4196468 140734110797600 140028944542160 140029455931291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27200] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27200/stat : 27200 (java) S 27186 27189 25641 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 415073200 10915721216 6806 33554432000 4194304 4196468 140734110797600 140028943489264 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27201] ppid=27186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27201/stat : 27201 (java) S 27186 27189 25641 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 415073200 10915721216 6806 33554432000 4194304 4196468 140734110797600 140028942436720 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27202] ppid=27186 vsize=10659884 memory=139845686191744 CPUtime=0.02 cores=1,3,5,7
/proc/27189/task/27202/stat : 27202 (java) R 27186 27189 25641 0 -1 4202560 614 0 0 0 2 0 0 0 20 0 15 0 415073200 10915721216 6806 33554432000 4194304 4196468 140734110797600 140028941380216 140029434281334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27203] ppid=27186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27203/stat : 27203 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073200 10915721216 6806 33554432000 4194304 4196468 140734110797600 140028940331360 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27204] ppid=27186 vsize=10659884 memory=139845686191744 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27204/stat : 27204 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073200 10915721216 6806 33554432000 4194304 4196468 140734110797600 140028939279408 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26960 KiB

[startup+0.210688 s]*
/proc/loadavg: 2.29 1.82 1.74 3/230 27204
/proc/meminfo: memFree=26477400/32770624 swapFree=66999916/67108860
[pid=27189] ppid=27186 vsize=10659884 memory=33852 CPUtime=0.33 cores=1,3,5,7
/proc/27189/stat : 27189 (java) S 27186 27189 25641 0 -1 1077944320 7109 0 0 0 31 2 0 0 20 0 15 0 415073194 10915721216 8463 33554432000 4194304 4196468 140734110797600 140734110780144 140029455912695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
/proc/27189/statm: 2664971 8463 2989 1 0 2627468 0
[pid=27189/tid=27191] ppid=27186 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27189/task/27191/stat : 27191 (java) R 27186 27189 25641 0 -1 4202560 3915 0 0 0 19 1 0 0 20 0 15 0 415073195 10915721216 8463 33554432000 4194304 4196468 140734110797600 140029460144784 140029455934621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27192] ppid=27186 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27192/stat : 27192 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 8463 33554432000 4194304 4196468 140734110797600 140029062474256 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27193] ppid=27186 vsize=10659884 memory=139845689203992 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27193/stat : 27193 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 8463 33554432000 4194304 4196468 140734110797600 140029061421712 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27194] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27194/stat : 27194 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 8463 33554432000 4194304 4196468 140734110797600 140029060368656 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27195] ppid=27186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27195/stat : 27195 (java) S 27186 27189 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 8463 33554432000 4194304 4196468 140734110797600 140029059316112 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27196] ppid=27186 vsize=10659884 memory=139845686191744 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27196/stat : 27196 (java) S 27186 27189 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073197 10915721216 8463 33554432000 4194304 4196468 140734110797600 140028947700464 140029455923842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27197] ppid=27186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27197/stat : 27197 (java) S 27186 27189 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073197 10915721216 8463 33554432000 4194304 4196468 140734110797600 140028946646688 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27198] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27198/stat : 27198 (java) S 27186 27189 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073197 10915721216 8463 33554432000 4194304 4196468 140734110797600 140028945593584 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27199] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27199/stat : 27199 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073200 10915721216 8463 33554432000 4194304 4196468 140734110797600 140028944542160 140029455931291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27200] ppid=27186 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27189/task/27200/stat : 27200 (java) S 27186 27189 25641 0 -1 1077944384 561 0 0 0 3 0 0 0 20 0 15 0 415073200 10915721216 8463 33554432000 4194304 4196468 140734110797600 140028943489264 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27201] ppid=27186 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27189/task/27201/stat : 27201 (java) S 27186 27189 25641 0 -1 1077944384 420 0 0 0 3 0 0 0 20 0 15 0 415073200 10915721216 8463 33554432000 4194304 4196468 140734110797600 140028942436720 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27202] ppid=27186 vsize=10659884 memory=139845686191744 CPUtime=0.05 cores=1,3,5,7
/proc/27189/task/27202/stat : 27202 (java) S 27186 27189 25641 0 -1 1077944384 854 0 0 0 5 0 0 0 20 0 15 0 415073200 10915721216 8463 33554432000 4194304 4196468 140734110797600 140028941383664 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27203] ppid=27186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27203/stat : 27203 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073200 10915721216 8463 33554432000 4194304 4196468 140734110797600 140028940331360 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27204] ppid=27186 vsize=10659884 memory=139845686191744 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27204/stat : 27204 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073200 10915721216 8463 33554432000 4194304 4196468 140734110797600 140028939279408 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 33852 KiB

[startup+0.309994 s]*
/proc/loadavg: 2.29 1.82 1.74 3/230 27204
/proc/meminfo: memFree=26469084/32770624 swapFree=66999916/67108860
[pid=27189] ppid=27186 vsize=10659884 memory=39216 CPUtime=0.46 cores=1,3,5,7
/proc/27189/stat : 27189 (java) S 27186 27189 25641 0 -1 1077944320 9671 0 0 0 43 3 0 0 20 0 15 0 415073194 10915721216 9804 33554432000 4194304 4196468 140734110797600 140734110780144 140029455912695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
/proc/27189/statm: 2664971 9804 3002 1 0 2627468 0
[pid=27189/tid=27191] ppid=27186 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/27189/task/27191/stat : 27191 (java) R 27186 27189 25641 0 -1 4202560 6358 0 0 0 27 3 0 0 20 0 15 0 415073195 10915721216 9804 33554432000 4194304 4196468 140734110797600 140029460145104 140029455934621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27192] ppid=27186 vsize=10659884 memory=4294977067 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27192/stat : 27192 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 9804 33554432000 4194304 4196468 140734110797600 140029062474256 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27193] ppid=27186 vsize=10659884 memory=139845689198260 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27193/stat : 27193 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 9804 33554432000 4194304 4196468 140734110797600 140029061421712 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27194] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27194/stat : 27194 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 9804 33554432000 4194304 4196468 140734110797600 140029060368656 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27195] ppid=27186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27195/stat : 27195 (java) S 27186 27189 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073195 10915721216 9804 33554432000 4194304 4196468 140734110797600 140029059316112 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27196] ppid=27186 vsize=10659884 memory=139845686191744 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27196/stat : 27196 (java) S 27186 27189 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073197 10915721216 9804 33554432000 4194304 4196468 140734110797600 140028947700464 140029455923842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27197] ppid=27186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27197/stat : 27197 (java) S 27186 27189 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073197 10915721216 9804 33554432000 4194304 4196468 140734110797600 140028946646688 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27198] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27198/stat : 27198 (java) S 27186 27189 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073197 10915721216 9804 33554432000 4194304 4196468 140734110797600 140028945593584 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27199] ppid=27186 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27199/stat : 27199 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073200 10915721216 9804 33554432000 4194304 4196468 140734110797600 140028944542160 140029455931291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27200] ppid=27186 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27189/task/27200/stat : 27200 (java) S 27186 27189 25641 0 -1 1077944384 605 0 0 0 4 0 0 0 20 0 15 0 415073200 10915721216 9804 33554432000 4194304 4196468 140734110797600 140028943489264 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27201] ppid=27186 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/27189/task/27201/stat : 27201 (java) S 27186 27189 25641 0 -1 1077944384 435 0 0 0 4 0 0 0 20 0 15 0 415073200 10915721216 9804 33554432000 4194304 4196468 140734110797600 140028942436720 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27202] ppid=27186 vsize=10659884 memory=139845686191744 CPUtime=0.07 cores=1,3,5,7
/proc/27189/task/27202/stat : 27202 (java) R 27186 27189 25641 0 -1 4202560 915 0 0 0 7 0 0 0 20 0 15 0 415073200 10915721216 9804 33554432000 4194304 4196468 140734110797600 140028941383664 140029435302065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27203] ppid=27186 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27203/stat : 27203 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073200 10915721216 9804 33554432000 4194304 4196468 140734110797600 140028940331360 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27204] ppid=27186 vsize=10659884 memory=139845686191744 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27204/stat : 27204 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073200 10915721216 9804 33554432000 4194304 4196468 140734110797600 140028939279408 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39216 KiB

[startup+0.700727 s]
/proc/loadavg: 2.29 1.82 1.74 3/230 27204
/proc/meminfo: memFree=26460156/32770624 swapFree=66999916/67108860
[pid=27189] ppid=27186 vsize=10661932 memory=63388 CPUtime=1.11 cores=1,3,5,7
/proc/27189/stat : 27189 (java) S 27186 27189 25641 0 -1 1077944320 13431 0 0 0 105 6 0 0 20 0 15 0 415073194 10917818368 15847 33554432000 4194304 4196468 140734110797600 140734110780144 140029455912695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
/proc/27189/statm: 2665483 15847 3072 1 0 2627980 0
[pid=27189/tid=27191] ppid=27186 vsize=10661932 memory=39264 CPUtime=0.67 cores=1,3,5,7
/proc/27189/task/27191/stat : 27191 (java) R 27186 27189 25641 0 -1 4202560 8913 0 0 0 63 4 0 0 20 0 15 0 415073195 10917818368 15847 33554432000 4194304 4196468 140734110797600 140029460145920 140029439993182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27192] ppid=27186 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27192/stat : 27192 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10917818368 15847 33554432000 4194304 4196468 140734110797600 140029062474256 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27193] ppid=27186 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27193/stat : 27193 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10917818368 15847 33554432000 4194304 4196468 140734110797600 140029061421712 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27194] ppid=27186 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27194/stat : 27194 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10917818368 15847 33554432000 4194304 4196468 140734110797600 140029060368656 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27195] ppid=27186 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27195/stat : 27195 (java) S 27186 27189 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073195 10917818368 15847 33554432000 4194304 4196468 140734110797600 140029059316112 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27196] ppid=27186 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27196/stat : 27196 (java) S 27186 27189 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073197 10917818368 15847 33554432000 4194304 4196468 140734110797600 140028947700464 140029455923842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27197] ppid=27186 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27197/stat : 27197 (java) S 27186 27189 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073197 10917818368 15847 33554432000 4194304 4196468 140734110797600 140028946646688 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27198] ppid=27186 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27198/stat : 27198 (java) S 27186 27189 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073197 10917818368 15847 33554432000 4194304 4196468 140734110797600 140028945593584 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27199] ppid=27186 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27199/stat : 27199 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073200 10917818368 15847 33554432000 4194304 4196468 140734110797600 140028944542160 140029455931291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27200] ppid=27186 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27189/task/27200/stat : 27200 (java) R 27186 27189 25641 0 -1 4202560 921 0 0 0 10 0 0 0 20 0 15 0 415073200 10917818368 15847 33554432000 4194304 4196468 140734110797600 140028943489264 140029439448902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27201] ppid=27186 vsize=10661932 memory=31 CPUtime=0.11 cores=1,3,5,7
/proc/27189/task/27201/stat : 27201 (java) S 27186 27189 25641 0 -1 1077944384 781 0 0 0 11 0 0 0 20 0 15 0 415073200 10917818368 15847 33554432000 4194304 4196468 140734110797600 140028942436720 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27202] ppid=27186 vsize=10661932 memory=2939 CPUtime=0.18 cores=1,3,5,7
/proc/27189/task/27202/stat : 27202 (java) S 27186 27189 25641 0 -1 1077944384 1458 0 0 0 18 0 0 0 20 0 15 0 415073200 10917818368 15847 33554432000 4194304 4196468 140734110797600 140028941383664 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27203] ppid=27186 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27203/stat : 27203 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073200 10917818368 15847 33554432000 4194304 4196468 140734110797600 140028940331360 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27204] ppid=27186 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27204/stat : 27204 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073200 10917818368 15847 33554432000 4194304 4196468 140734110797600 140028939279408 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63388 KiB

[startup+1.50068 s]
/proc/loadavg: 2.29 1.82 1.74 3/230 27204
/proc/meminfo: memFree=26443848/32770624 swapFree=66999916/67108860
[pid=27189] ppid=27186 vsize=10663980 memory=75204 CPUtime=1.99 cores=1,3,5,7
/proc/27189/stat : 27189 (java) S 27186 27189 25641 0 -1 1077944320 19021 0 0 0 192 7 0 0 20 0 15 0 415073194 10919915520 18801 33554432000 4194304 4196468 140734110797600 140734110780144 140029455912695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
/proc/27189/statm: 2665995 18801 3093 1 0 2628492 0
[pid=27189/tid=27191] ppid=27186 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/27189/task/27191/stat : 27191 (java) R 27186 27189 25641 0 -1 4202560 13256 0 0 0 143 5 0 0 20 0 15 0 415073195 10919915520 18801 33554432000 4194304 4196468 140734110797600 140029460138576 140029436187830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27192] ppid=27186 vsize=10663980 memory=39264 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27192/stat : 27192 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10919915520 18801 33554432000 4194304 4196468 140734110797600 140029062474256 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27193] ppid=27186 vsize=10663980 memory=988 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27193/stat : 27193 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10919915520 18801 33554432000 4194304 4196468 140734110797600 140029061421712 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27194] ppid=27186 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27194/stat : 27194 (java) S 27186 27189 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073195 10919915520 18801 33554432000 4194304 4196468 140734110797600 140029060368656 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27195] ppid=27186 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27195/stat : 27195 (java) S 27186 27189 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073195 10919915520 18801 33554432000 4194304 4196468 140734110797600 140029059316112 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27196] ppid=27186 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27196/stat : 27196 (java) S 27186 27189 25641 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 15 0 415073197 10919915520 18801 33554432000 4194304 4196468 140734110797600 140028947700464 140029455923842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0

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

[startup+1062.4 s]
/proc/loadavg: 1.86 1.94 1.89 3/229 27296
/proc/meminfo: memFree=25165100/32770624 swapFree=66999916/67108860
[pid=27189] ppid=27186 vsize=10748324 memory=192408 CPUtime=1069.88 cores=1,3,5,7
/proc/27189/stat : 27189 (java) S 27186 27189 25641 0 -1 1077944320 102929 0 0 0 106952 36 0 0 20 0 16 0 415073194 11006283776 48102 33554432000 4194304 4196468 140734110797600 140734110780144 140029455912695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
/proc/27189/statm: 2687081 48102 3368 1 0 2647217 0
[pid=27189/tid=27191] ppid=27186 vsize=10748324 memory=9536 CPUtime=1.86 cores=1,3,5,7
/proc/27189/task/27191/stat : 27191 (java) S 27186 27189 25641 0 -1 1077944384 15530 0 0 0 180 6 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029460155568 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27192] ppid=27186 vsize=10748324 memory=192408 CPUtime=0.38 cores=1,3,5,7
/proc/27189/task/27192/stat : 27192 (java) S 27186 27189 25641 0 -1 1077944384 3901 0 0 0 37 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029062474256 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27193] ppid=27186 vsize=10748324 memory=2020 CPUtime=0.38 cores=1,3,5,7
/proc/27189/task/27193/stat : 27193 (java) S 27186 27189 25641 0 -1 1077944384 1007 0 0 0 37 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029061421712 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27194] ppid=27186 vsize=10748324 memory=1432 CPUtime=0.37 cores=1,3,5,7
/proc/27189/task/27194/stat : 27194 (java) S 27186 27189 25641 0 -1 1077944384 3486 0 0 0 35 2 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029060368656 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27195] ppid=27186 vsize=10748324 memory=192408 CPUtime=0.37 cores=1,3,5,7
/proc/27189/task/27195/stat : 27195 (java) S 27186 27189 25641 0 -1 1077944384 6362 0 0 0 36 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029059316112 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27196] ppid=27186 vsize=10748324 memory=1760 CPUtime=0.14 cores=1,3,5,7
/proc/27189/task/27196/stat : 27196 (java) S 27186 27189 25641 0 -1 1077944384 4378 0 0 0 12 2 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028947700464 140029455923842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27197] ppid=27186 vsize=10748324 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27197/stat : 27197 (java) S 27186 27189 25641 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028946646752 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27198] ppid=27186 vsize=10748324 memory=192408 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27198/stat : 27198 (java) S 27186 27189 25641 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028945593600 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27199] ppid=27186 vsize=10748324 memory=192408 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27199/stat : 27199 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028944542160 140029455931291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27200] ppid=27186 vsize=10748324 memory=6940160692896530452 CPUtime=1.53 cores=1,3,5,7
/proc/27189/task/27200/stat : 27200 (java) S 27186 27189 25641 0 -1 1077944384 11670 0 0 0 151 2 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028943489264 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27201] ppid=27186 vsize=10748324 memory=192408 CPUtime=3.89 cores=1,3,5,7
/proc/27189/task/27201/stat : 27201 (java) S 27186 27189 25641 0 -1 1077944384 23695 0 0 0 386 3 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028942436720 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27202] ppid=27186 vsize=10748324 memory=39296 CPUtime=0.69 cores=1,3,5,7
/proc/27189/task/27202/stat : 27202 (java) S 27186 27189 25641 0 -1 1077944384 12502 0 0 0 68 1 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028941383664 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27203] ppid=27186 vsize=10748324 memory=192408 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27203/stat : 27203 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028940331360 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27204] ppid=27186 vsize=10748324 memory=3892368 CPUtime=0.2 cores=1,3,5,7
/proc/27189/task/27204/stat : 27204 (java) S 27186 27189 25641 0 -1 1077944384 746 0 0 0 8 12 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028939279408 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27205] ppid=27186 vsize=10748324 memory=1408 CPUtime=1059.97 cores=1,3,5,7
/proc/27189/task/27205/stat : 27205 (java) R 27186 27189 25641 0 -1 4202560 18215 0 0 0 105993 4 0 0 20 0 16 0 415073383 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028922392576 140029098527142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
Current children cumulated CPU time: 1069.88 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 192408 KiB

[startup+1064 s]*
/proc/loadavg: 1.87 1.94 1.89 3/229 27296
/proc/meminfo: memFree=25164976/32770624 swapFree=66999916/67108860
[pid=27189] ppid=27186 vsize=10748324 memory=192408 CPUtime=1071.49 cores=1,3,5,7
/proc/27189/stat : 27189 (java) S 27186 27189 25641 0 -1 1077944320 102929 0 0 0 107113 36 0 0 20 0 16 0 415073194 11006283776 48102 33554432000 4194304 4196468 140734110797600 140734110780144 140029455912695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
/proc/27189/statm: 2687081 48102 3368 1 0 2647217 0
[pid=27189/tid=27191] ppid=27186 vsize=10748324 memory=1398722017469774279 CPUtime=1.86 cores=1,3,5,7
/proc/27189/task/27191/stat : 27191 (java) S 27186 27189 25641 0 -1 1077944384 15530 0 0 0 180 6 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029460155568 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27192] ppid=27186 vsize=10748324 memory=908 CPUtime=0.38 cores=1,3,5,7
/proc/27189/task/27192/stat : 27192 (java) S 27186 27189 25641 0 -1 1077944384 3901 0 0 0 37 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029062474256 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27193] ppid=27186 vsize=10748324 memory=1440 CPUtime=0.38 cores=1,3,5,7
/proc/27189/task/27193/stat : 27193 (java) S 27186 27189 25641 0 -1 1077944384 1007 0 0 0 37 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029061421712 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27194] ppid=27186 vsize=10748324 memory=1760 CPUtime=0.37 cores=1,3,5,7
/proc/27189/task/27194/stat : 27194 (java) S 27186 27189 25641 0 -1 1077944384 3486 0 0 0 35 2 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029060368656 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27195] ppid=27186 vsize=10748324 memory=111632 CPUtime=0.37 cores=1,3,5,7
/proc/27189/task/27195/stat : 27195 (java) S 27186 27189 25641 0 -1 1077944384 6362 0 0 0 36 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029059316112 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27196] ppid=27186 vsize=10748324 memory=800 CPUtime=0.14 cores=1,3,5,7
/proc/27189/task/27196/stat : 27196 (java) S 27186 27189 25641 0 -1 1077944384 4378 0 0 0 12 2 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028947700464 140029455923842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27197] ppid=27186 vsize=10748324 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27197/stat : 27197 (java) S 27186 27189 25641 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028946646752 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27198] ppid=27186 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27198/stat : 27198 (java) S 27186 27189 25641 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028945593600 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27199] ppid=27186 vsize=10748324 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27199/stat : 27199 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028944542160 140029455931291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27200] ppid=27186 vsize=10748324 memory=1432 CPUtime=1.53 cores=1,3,5,7
/proc/27189/task/27200/stat : 27200 (java) S 27186 27189 25641 0 -1 1077944384 11670 0 0 0 151 2 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028943489264 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27201] ppid=27186 vsize=10748324 memory=2588 CPUtime=3.89 cores=1,3,5,7
/proc/27189/task/27201/stat : 27201 (java) S 27186 27189 25641 0 -1 1077944384 23695 0 0 0 386 3 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028942436720 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27202] ppid=27186 vsize=10748324 memory=1408 CPUtime=0.69 cores=1,3,5,7
/proc/27189/task/27202/stat : 27202 (java) S 27186 27189 25641 0 -1 1077944384 12502 0 0 0 68 1 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028941383664 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27203] ppid=27186 vsize=10748324 memory=3272 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27203/stat : 27203 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028940331360 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27204] ppid=27186 vsize=10748324 memory=3892368 CPUtime=0.2 cores=1,3,5,7
/proc/27189/task/27204/stat : 27204 (java) S 27186 27189 25641 0 -1 1077944384 746 0 0 0 8 12 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028939279408 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27205] ppid=27186 vsize=10748324 memory=1408 CPUtime=1061.58 cores=1,3,5,7
/proc/27189/task/27205/stat : 27205 (java) R 27186 27189 25641 0 -1 4202560 18215 0 0 0 106154 4 0 0 20 0 16 0 415073383 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028922392576 140029094761734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
Current children cumulated CPU time: 1071.49 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 192408 KiB

[startup+1064.4 s]
/proc/loadavg: 1.87 1.94 1.89 3/229 27296
/proc/meminfo: memFree=25164976/32770624 swapFree=66999916/67108860
[pid=27189] ppid=27186 vsize=10748324 memory=192408 CPUtime=1071.88 cores=1,3,5,7
/proc/27189/stat : 27189 (java) S 27186 27189 25641 0 -1 1077944320 102929 0 0 0 107152 36 0 0 20 0 16 0 415073194 11006283776 48102 33554432000 4194304 4196468 140734110797600 140734110780144 140029455912695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
/proc/27189/statm: 2687081 48102 3368 1 0 2647217 0
[pid=27189/tid=27191] ppid=27186 vsize=10748324 memory=39296 CPUtime=1.86 cores=1,3,5,7
/proc/27189/task/27191/stat : 27191 (java) S 27186 27189 25641 0 -1 1077944384 15530 0 0 0 180 6 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029460155568 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27192] ppid=27186 vsize=10748324 memory=6791534058613427641 CPUtime=0.38 cores=1,3,5,7
/proc/27189/task/27192/stat : 27192 (java) S 27186 27189 25641 0 -1 1077944384 3901 0 0 0 37 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029062474256 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27193] ppid=27186 vsize=10748324 memory=1398722017469774279 CPUtime=0.38 cores=1,3,5,7
/proc/27189/task/27193/stat : 27193 (java) S 27186 27189 25641 0 -1 1077944384 1007 0 0 0 37 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029061421712 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27194] ppid=27186 vsize=10748324 memory=12024 CPUtime=0.37 cores=1,3,5,7
/proc/27189/task/27194/stat : 27194 (java) S 27186 27189 25641 0 -1 1077944384 3486 0 0 0 35 2 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029060368656 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27195] ppid=27186 vsize=10748324 memory=2120 CPUtime=0.37 cores=1,3,5,7
/proc/27189/task/27195/stat : 27195 (java) S 27186 27189 25641 0 -1 1077944384 6362 0 0 0 36 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029059316112 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27196] ppid=27186 vsize=10748324 memory=496 CPUtime=0.14 cores=1,3,5,7
/proc/27189/task/27196/stat : 27196 (java) S 27186 27189 25641 0 -1 1077944384 4378 0 0 0 12 2 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028947700464 140029455923842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27197] ppid=27186 vsize=10748324 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27197/stat : 27197 (java) S 27186 27189 25641 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028946646752 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27198] ppid=27186 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27198/stat : 27198 (java) S 27186 27189 25641 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028945593600 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27199] ppid=27186 vsize=10748324 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27199/stat : 27199 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028944542160 140029455931291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27200] ppid=27186 vsize=10748324 memory=496 CPUtime=1.53 cores=1,3,5,7
/proc/27189/task/27200/stat : 27200 (java) S 27186 27189 25641 0 -1 1077944384 11670 0 0 0 151 2 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028943489264 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27201] ppid=27186 vsize=10748324 memory=1560 CPUtime=3.89 cores=1,3,5,7
/proc/27189/task/27201/stat : 27201 (java) S 27186 27189 25641 0 -1 1077944384 23695 0 0 0 386 3 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028942436720 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27202] ppid=27186 vsize=10748324 memory=932 CPUtime=0.69 cores=1,3,5,7
/proc/27189/task/27202/stat : 27202 (java) S 27186 27189 25641 0 -1 1077944384 12502 0 0 0 68 1 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028941383664 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27203] ppid=27186 vsize=10748324 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27203/stat : 27203 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028940331360 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27204] ppid=27186 vsize=10748324 memory=2428 CPUtime=0.2 cores=1,3,5,7
/proc/27189/task/27204/stat : 27204 (java) S 27186 27189 25641 0 -1 1077944384 746 0 0 0 8 12 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028939279408 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27205] ppid=27186 vsize=10748324 memory=1608 CPUtime=1061.97 cores=1,3,5,7
/proc/27189/task/27205/stat : 27205 (java) R 27186 27189 25641 0 -1 4202560 18215 0 0 0 106193 4 0 0 20 0 16 0 415073383 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028922392464 140029098824916 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
Current children cumulated CPU time: 1071.88 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 192408 KiB

[startup+1064.8 s]
/proc/loadavg: 1.87 1.94 1.89 3/229 27296
/proc/meminfo: memFree=25164976/32770624 swapFree=66999916/67108860
[pid=27189] ppid=27186 vsize=10748324 memory=192408 CPUtime=1072.28 cores=1,3,5,7
/proc/27189/stat : 27189 (java) S 27186 27189 25641 0 -1 1077944320 102929 0 0 0 107192 36 0 0 20 0 16 0 415073194 11006283776 48102 33554432000 4194304 4196468 140734110797600 140734110780144 140029455912695 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
/proc/27189/statm: 2687081 48102 3368 1 0 2647217 0
[pid=27189/tid=27191] ppid=27186 vsize=10748324 memory=192408 CPUtime=1.86 cores=1,3,5,7
/proc/27189/task/27191/stat : 27191 (java) S 27186 27189 25641 0 -1 1077944384 15530 0 0 0 180 6 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029460155568 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27192] ppid=27186 vsize=10748324 memory=6791534058613427641 CPUtime=0.38 cores=1,3,5,7
/proc/27189/task/27192/stat : 27192 (java) S 27186 27189 25641 0 -1 1077944384 3901 0 0 0 37 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029062474256 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27193] ppid=27186 vsize=10748324 memory=39296 CPUtime=0.38 cores=1,3,5,7
/proc/27189/task/27193/stat : 27193 (java) S 27186 27189 25641 0 -1 1077944384 1007 0 0 0 37 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029061421712 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27194] ppid=27186 vsize=10748324 memory=988 CPUtime=0.37 cores=1,3,5,7
/proc/27189/task/27194/stat : 27194 (java) S 27186 27189 25641 0 -1 1077944384 3486 0 0 0 35 2 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029060368656 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27195] ppid=27186 vsize=10748324 memory=2020 CPUtime=0.37 cores=1,3,5,7
/proc/27189/task/27195/stat : 27195 (java) S 27186 27189 25641 0 -1 1077944384 6362 0 0 0 36 1 0 0 20 0 16 0 415073195 11006283776 48102 33554432000 4194304 4196468 140734110797600 140029059316112 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27196] ppid=27186 vsize=10748324 memory=1432 CPUtime=0.14 cores=1,3,5,7
/proc/27189/task/27196/stat : 27196 (java) S 27186 27189 25641 0 -1 1077944384 4378 0 0 0 12 2 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028947700464 140029455923842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27197] ppid=27186 vsize=10748324 memory=9536 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27197/stat : 27197 (java) S 27186 27189 25641 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028946646752 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27198] ppid=27186 vsize=10748324 memory=692 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27198/stat : 27198 (java) S 27186 27189 25641 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415073197 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028945593600 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27199] ppid=27186 vsize=10748324 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27199/stat : 27199 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028944542160 140029455931291 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27200] ppid=27186 vsize=10748324 memory=2832 CPUtime=1.53 cores=1,3,5,7
/proc/27189/task/27200/stat : 27200 (java) S 27186 27189 25641 0 -1 1077944384 11670 0 0 0 151 2 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028943489264 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27201] ppid=27186 vsize=10748324 memory=1712 CPUtime=3.89 cores=1,3,5,7
/proc/27189/task/27201/stat : 27201 (java) S 27186 27189 25641 0 -1 1077944384 23695 0 0 0 386 3 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028942436720 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27202] ppid=27186 vsize=10748324 memory=1220 CPUtime=0.69 cores=1,3,5,7
/proc/27189/task/27202/stat : 27202 (java) S 27186 27189 25641 0 -1 1077944384 12502 0 0 0 68 1 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028941383664 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27203] ppid=27186 vsize=10748324 memory=992 CPUtime=0 cores=1,3,5,7
/proc/27189/task/27203/stat : 27203 (java) S 27186 27189 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028940331360 140029455922901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27204] ppid=27186 vsize=10748324 memory=5988 CPUtime=0.2 cores=1,3,5,7
/proc/27189/task/27204/stat : 27204 (java) S 27186 27189 25641 0 -1 1077944384 746 0 0 0 8 12 0 0 20 0 16 0 415073200 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028939279408 140029455923842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
[pid=27189/tid=27205] ppid=27186 vsize=10748324 memory=1544 CPUtime=1062.37 cores=1,3,5,7
/proc/27189/task/27205/stat : 27205 (java) R 27186 27189 25641 0 -1 4202560 18215 0 0 0 106233 4 0 0 20 0 16 0 415073383 11006283776 48102 33554432000 4194304 4196468 140734110797600 140028922392464 140029098218048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140734110802955 140734110803058 140734110803058 140734110805967 0
Current children cumulated CPU time: 1072.28 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 192408 KiB

Child status: 0
Real time (s): 1064.88
CPU time (s): 1072.37
CPU user time (s): 1072
CPU system time (s): 0.373114
CPU usage (%): 100.703
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 263548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1072
system time used= 0.373114
maximum resident set size= 263548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28821
involuntary context switches= 428


# summary of solver processes directly reported to runsolver:
#   pid: 27189
#   total CPU time (s): 1072.37
#   total CPU user time (s): 1072
#   total CPU system time (s): 0.373114

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89618 second user time and 9.14618 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-13 17:20:44
IDJOB=4391124
IDBENCH=115814
IDSOLVER=2833
FILE ID=node123/4391124-1568388083
RUNJOBID= node123-1568388027-27066
PBS_JOBID= 21701841
Free space on /tmp= 59176 MiB

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

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

MD5SUM BENCH= 5197a9101df9cd680fadf9dcc86a0dcb
RANDOM SEED=1297877911

node123.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.49
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.49
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.49
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.49
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:        26499132 kB
MemAvailable:   29140436 kB
Buffers:          119400 kB
Cached:          2786460 kB
SwapCached:         7392 kB
Active:          3592780 kB
Inactive:        2056384 kB
Active(anon):    2735404 kB
Inactive(anon):    49068 kB
Active(file):     857376 kB
Inactive(file):  2007316 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       66999916 kB
Dirty:              8940 kB
Writeback:             0 kB
AnonPages:       2853384 kB
Mapped:            56560 kB
Shmem:             32680 kB
Slab:             214036 kB
SReclaimable:     184892 kB
SUnreclaim:        29144 kB
KernelStack:        4032 kB
PageTables:        11112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4692304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2713600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59164 MiB
End job on node123 at 2019-09-13 17:38:29