Trace number 4390964

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-23OPT5 186.083 181.511

DiagnosticValue
WRONG_DECISIONS1237080

General information on the benchmark

NameOpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbop-10-20-1.xml
MD5SUM4579a6cf23fef813b27c8fe20d1b5728
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark27.9238
Satisfiable
(Un)Satisfiability was proved
Number of variables640
Number of constraints621
Number of domains4
Minimum domain size2
Maximum domain size21
Distribution of domain sizes[{"size":2,"count":400},{"size":5,"count":200},{"size":20,"count":20},{"size":21,"count":20}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":230},{"degree":3,"count":390},{"degree":11,"count":20}]
Minimum constraint arity2
Maximum constraint arity20
Distribution of constraint arities[{"arity":2,"count":210},{"arity":3,"count":390},{"arity":11,"count":20},{"arity":20,"count":1}]
Number of extensional constraints200
Number of intensional constraints200
Distribution of constraint types[{"type":"extension","count":200},{"type":"intension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"element","count":200}]
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.60/1.91	
3.24/2.13	  Instance
3.24/2.13	    name=instance-4390964-1568386506, framework=COP, bounds=-infty..+infty
3.24/2.13	
3.24/2.13	  Loading variables...
3.24/2.17	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d677aef
4.06/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64927e1f
4.06/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303498f3
4.06/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b71e583
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55627479
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d47c130
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d596b2
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fffb35c
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@228bade9
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79ba42bc
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201492f1
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba395aa
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cc8bf58
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173f9906
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f574f4e
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@467cb8c0
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@450b9dba
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c469fa0
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e85d7d
4.06/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72663d00
4.06/2.44	
4.06/2.44	
4.06/2.44	  Domains
4.06/2.44	    nTypes=4, nValues=2620, sizes=[2#400,5#200,20#20,21#20]
4.06/2.44	  Variables
4.06/2.44	    count=640, degrees=[2#230,3#390,11#20]
4.06/2.44	  Objectives
4.06/2.44	    way=min, type=ObjMaximumLE
4.06/2.44	  Constraints
4.06/2.44	    count=622, nSpecific=232, arities=[2#210,3#390,11#20,20#2]
4.06/2.44	    distribution=[AllDifferent#1,CtrExtensionCT-Table#200,CtrExtensionV-Bits#200,CtrIntension#190,EQ#10,ObjMaximumLE#1,SumWeightedEQ#20]
4.06/2.44	    tables=[9#200], nTotalTuples=1800
4.06/2.44	    nExtStructures=(201,shared:199), nIntStructures=(1,shared:189), nCftStructures=(201,shared:189,unbuilt:232)
4.06/2.44	    wck=0.578, cpu=2.396, mem=47M652
4.06/2.47	  Solver SolverBacktrack being built...
4.06/2.47	
4.06/2.49	
4.06/2.49	  Solver
4.06/2.49	    guaranteedGAC=false
4.06/2.49	    wck=0.632, cpu=2.448, mem=66M225
4.39/2.51	
4.39/2.51	  Preprocessing
4.39/2.51	    filters=50, revisions=(62,useless=42), ccks=600, nACremovedValues=260, nTotalRemovedValues=260, inconcistency=false
4.39/2.51	    wck=0.016, cpu=2.465, mem=66M225
4.39/2.51	
4.39/2.56	o 9
4.39/2.57	    num=0, depth=641..639, filters=1349, revisions=(3925,useless=2975), ccks=7153, wck=0.081, mem=66M225
4.39/2.57	    decisions=19, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=9
4.39/2.57	    nFilterCalls=1566, avgTableProportion=0.8888888888889089, avgTableSize=8.0
4.39/2.57	    
4.39/2.59	    num=1, depth=0..20, filters=2973, revisions=(7963,useless=5840), ccks=10616, wck=0.096, mem=68M868
4.39/2.59	    decisions=62, wrong=12, backtracks=2, failedAssignments=11, nogoods=8, foundSolutions=1, bestBound=9
4.39/2.59	    nFilterCalls=2625, avgTableProportion=0.8888888888888832, avgTableSize=8.0
4.39/2.59	    
4.39/2.60	    num=2, depth=17..18, filters=4599, revisions=(10663,useless=7413), ccks=15411, wck=0.11, mem=68M868
4.39/2.60	    decisions=103, wrong=24, backtracks=3, failedAssignments=22, nogoods=12, foundSolutions=1, bestBound=9
4.39/2.60	    nFilterCalls=3434, avgTableProportion=0.888888888888837, avgTableSize=8.0
4.39/2.60	    
4.70/2.62	    num=3, depth=20..23, filters=6480, revisions=(14154,useless=9533), ccks=20338, wck=0.123, mem=68M868
4.70/2.62	    decisions=150, wrong=36, backtracks=3, failedAssignments=34, nogoods=24, foundSolutions=1, bestBound=9
4.70/2.62	    nFilterCalls=4348, avgTableProportion=0.8888888888888054, avgTableSize=8.0
4.70/2.62	    
4.70/2.63	    num=4, depth=20..23, filters=8447, revisions=(17755,useless=11724), ccks=24690, wck=0.135, mem=68M868
4.70/2.63	    decisions=199, wrong=50, backtracks=5, failedAssignments=47, nogoods=30, foundSolutions=1, bestBound=9
4.70/2.63	    nFilterCalls=5253, avgTableProportion=0.8888888888887849, avgTableSize=8.0
4.70/2.63	    
4.70/2.64	    num=5, depth=18..26, filters=10186, revisions=(21256,useless=13976), ccks=29291, wck=0.147, mem=68M868
4.70/2.64	    decisions=252, wrong=65, backtracks=7, failedAssignments=61, nogoods=39, foundSolutions=1, bestBound=9
4.70/2.64	    nFilterCalls=6104, avgTableProportion=0.8888888888887713, avgTableSize=8.0
4.70/2.64	    
4.70/2.65	    num=6, depth=21..30, filters=12167, revisions=(25406,useless=16687), ccks=34306, wck=0.159, mem=68M868
4.70/2.65	    decisions=312, wrong=82, backtracks=9, failedAssignments=77, nogoods=48, foundSolutions=1, bestBound=9
4.70/2.65	    nFilterCalls=7096, avgTableProportion=0.8888888888887595, avgTableSize=8.0
4.70/2.65	    
4.70/2.67	o 8
4.70/2.67	    num=7, depth=33..639, filters=13379, revisions=(29435,useless=19831), ccks=38393, wck=0.18, mem=68M868
4.70/2.67	    decisions=354, wrong=84, backtracks=9, failedAssignments=79, nogoods=50, foundSolutions=2, bestBound=8
4.70/2.67	    nFilterCalls=8376, avgTableProportion=0.8888888888887484, avgTableSize=8.0
4.70/2.67	    
4.70/2.69	    num=8, depth=29..34, filters=14622, revisions=(33166,useless=22603), ccks=41841, wck=0.192, mem=68M868
4.70/2.69	    decisions=429, wrong=107, backtracks=14, failedAssignments=98, nogoods=51, foundSolutions=2, bestBound=8
4.70/2.69	    nFilterCalls=9283, avgTableProportion=0.8888888888887424, avgTableSize=8.0
4.70/2.69	    
5.00/2.70	    num=9, depth=19..37, filters=17479, revisions=(37768,useless=25420), ccks=46973, wck=0.206, mem=68M868
5.00/2.70	    decisions=504, wrong=129, backtracks=25, failedAssignments=109, nogoods=53, foundSolutions=2, bestBound=8
5.00/2.70	    nFilterCalls=10671, avgTableProportion=0.8888888888887352, avgTableSize=8.0
5.00/2.70	    
5.00/2.71	    num=10, depth=30..39, filters=18834, revisions=(41359,useless=28030), ccks=50598, wck=0.217, mem=68M868
5.00/2.71	    decisions=566, wrong=143, backtracks=27, failedAssignments=121, nogoods=59, foundSolutions=2, bestBound=8
5.00/2.71	    nFilterCalls=11402, avgTableProportion=0.8888888888887321, avgTableSize=8.0
5.00/2.71	    
5.00/2.72	    num=11, depth=16..36, filters=20271, revisions=(45206,useless=30793), ccks=54279, wck=0.227, mem=68M868
5.00/2.72	    decisions=630, wrong=160, backtracks=31, failedAssignments=134, nogoods=62, foundSolutions=2, bestBound=8
5.00/2.72	    nFilterCalls=12233, avgTableProportion=0.888888888888729, avgTableSize=8.0
5.00/2.72	    
5.00/2.74	    num=12, depth=21..25, filters=24848, revisions=(53380,useless=35894), ccks=62881, wck=0.247, mem=68M868
5.00/2.74	    decisions=698, wrong=183, backtracks=42, failedAssignments=148, nogoods=64, foundSolutions=2, bestBound=8
5.00/2.74	    nFilterCalls=14643, avgTableProportion=0.8888888888887221, avgTableSize=8.0
5.00/2.74	    
5.00/2.76	    num=13, depth=20..23, filters=28049, revisions=(58827,useless=39203), ccks=70329, wck=0.261, mem=68M868
5.00/2.76	    decisions=761, wrong=204, backtracks=47, failedAssignments=164, nogoods=70, foundSolutions=2, bestBound=8
5.00/2.76	    nFilterCalls=16171, avgTableProportion=0.8888888888887188, avgTableSize=8.0
5.00/2.76	    
5.00/2.77	    num=14, depth=21..25, filters=29883, revisions=(63667,useless=42661), ccks=75143, wck=0.273, mem=68M868
5.00/2.77	    decisions=829, wrong=227, backtracks=55, failedAssignments=181, nogoods=72, foundSolutions=2, bestBound=8
5.00/2.77	    nFilterCalls=17176, avgTableProportion=0.8888888888887169, avgTableSize=8.0
5.00/2.77	    
5.00/2.78	    num=15, depth=13..23, filters=32380, revisions=(69041,useless=46130), ccks=81988, wck=0.288, mem=71M510
5.00/2.78	    decisions=913, wrong=261, backtracks=70, failedAssignments=200, nogoods=77, foundSolutions=2, bestBound=8
5.00/2.78	    nFilterCalls=18459, avgTableProportion=0.8888888888887174, avgTableSize=8.0
5.00/2.78	    
5.00/2.80	o 7
5.31/2.80	    num=16, depth=15..639, filters=34086, revisions=(73466,useless=49305), ccks=87230, wck=0.31, mem=71M510
5.31/2.80	    decisions=975, wrong=274, backtracks=75, failedAssignments=208, nogoods=81, foundSolutions=3, bestBound=7
5.31/2.80	    nFilterCalls=19944, avgTableProportion=0.8888888888888505, avgTableSize=8.0
5.31/2.80	    
5.31/2.83	    num=17, depth=16..28, filters=37957, revisions=(80271,useless=53520), ccks=95022, wck=0.331, mem=71M510
5.31/2.83	    decisions=1067, wrong=308, backtracks=93, failedAssignments=231, nogoods=89, foundSolutions=3, bestBound=7
5.31/2.83	    nFilterCalls=22166, avgTableProportion=0.8888888888890165, avgTableSize=8.0
5.31/2.83	    
5.31/2.84	    num=18, depth=15..27, filters=39673, revisions=(83923,useless=55805), ccks=99778, wck=0.342, mem=71M510
5.31/2.84	    decisions=1127, wrong=325, backtracks=100, failedAssignments=242, nogoods=95, foundSolutions=3, bestBound=7
5.31/2.84	    nFilterCalls=23128, avgTableProportion=0.8888888888890785, avgTableSize=8.0
5.31/2.84	    
5.31/2.85	    num=19, depth=17..25, filters=41342, revisions=(87421,useless=58076), ccks=103620, wck=0.352, mem=71M510
5.31/2.85	    decisions=1181, wrong=342, backtracks=107, failedAssignments=254, nogoods=99, foundSolutions=3, bestBound=7
5.31/2.85	    nFilterCalls=23939, avgTableProportion=0.8888888888891268, avgTableSize=8.0
5.31/2.85	    
5.31/2.86	    num=20, depth=18..29, filters=42822, revisions=(90337,useless=59883), ccks=107631, wck=0.362, mem=71M510
5.31/2.86	    decisions=1248, wrong=362, backtracks=114, failedAssignments=267, nogoods=105, foundSolutions=3, bestBound=7
5.31/2.86	    nFilterCalls=24698, avgTableProportion=0.8888888888891692, avgTableSize=8.0
5.31/2.86	    
5.31/2.87	    num=21, depth=17..20, filters=45726, revisions=(96213,useless=63677), ccks=114513, wck=0.377, mem=71M510
5.31/2.87	    decisions=1305, wrong=382, backtracks=121, failedAssignments=281, nogoods=109, foundSolutions=3, bestBound=7
5.31/2.87	    nFilterCalls=26213, avgTableProportion=0.8888888888892464, avgTableSize=8.0
5.31/2.87	    
5.31/2.88	    num=22, depth=24..27, filters=48139, revisions=(100615,useless=66380), ccks=119297, wck=0.391, mem=71M510
5.31/2.88	    decisions=1371, wrong=402, backtracks=125, failedAssignments=297, nogoods=114, foundSolutions=3, bestBound=7
5.31/2.88	    nFilterCalls=27343, avgTableProportion=0.8888888888892985, avgTableSize=8.0
5.31/2.88	    
5.62/2.90	    num=23, depth=15..19, filters=51711, revisions=(107857,useless=71131), ccks=127503, wck=0.408, mem=71M510
5.62/2.90	    decisions=1441, wrong=428, backtracks=135, failedAssignments=314, nogoods=124, foundSolutions=3, bestBound=7
5.62/2.90	    nFilterCalls=29319, avgTableProportion=0.8888888888893799, avgTableSize=8.0
5.62/2.90	    
5.62/2.92	o 6
5.62/2.93	    num=24, depth=20..639, filters=54085, revisions=(113746,useless=75459), ccks=133647, wck=0.433, mem=71M510
5.62/2.93	    decisions=1518, wrong=444, backtracks=138, failedAssignments=327, nogoods=132, foundSolutions=4, bestBound=6
5.62/2.93	    nFilterCalls=31133, avgTableProportion=0.8888888888894454, avgTableSize=8.0
5.62/2.93	    
5.62/2.94	    num=25, depth=21..32, filters=56598, revisions=(118321,useless=78179), ccks=140052, wck=0.45, mem=71M510
5.62/2.94	    decisions=1599, wrong=469, backtracks=142, failedAssignments=348, nogoods=139, foundSolutions=4, bestBound=6
5.62/2.94	    nFilterCalls=32513, avgTableProportion=0.8888888888894905, avgTableSize=8.0
5.62/2.94	    
5.62/2.95	    num=26, depth=17..21, filters=57875, revisions=(121174,useless=80053), ccks=143599, wck=0.459, mem=74M153
5.62/2.95	    decisions=1647, wrong=483, backtracks=146, failedAssignments=359, nogoods=143, foundSolutions=4, bestBound=6
5.62/2.95	    nFilterCalls=33218, avgTableProportion=0.888888888889512, avgTableSize=8.0
5.62/2.95	    
5.62/2.96	    num=27, depth=15..17, filters=59779, revisions=(124797,useless=82391), ccks=147975, wck=0.469, mem=74M153
5.62/2.96	    decisions=1692, wrong=498, backtracks=149, failedAssignments=371, nogoods=144, foundSolutions=4, bestBound=6
5.62/2.96	    nFilterCalls=34196, avgTableProportion=0.8888888888895404, avgTableSize=8.0
5.62/2.96	    
5.62/2.97	    num=28, depth=17..19, filters=61218, revisions=(127759,useless=84340), ccks=151524, wck=0.478, mem=74M153
5.62/2.97	    decisions=1741, wrong=514, backtracks=153, failedAssignments=384, nogoods=147, foundSolutions=4, bestBound=6
5.62/2.97	    nFilterCalls=34918, avgTableProportion=0.8888888888895604, avgTableSize=8.0
5.62/2.97	    
5.62/2.98	    num=29, depth=17..19, filters=62926, revisions=(130780,useless=86249), ccks=154991, wck=0.488, mem=74M153
5.62/2.98	    decisions=1792, wrong=531, backtracks=157, failedAssignments=398, nogoods=150, foundSolutions=4, bestBound=6
5.62/2.98	    nFilterCalls=35750, avgTableProportion=0.8888888888895824, avgTableSize=8.0
5.62/2.98	    
5.62/2.99	    num=30, depth=18..21, filters=64769, revisions=(134458,useless=88558), ccks=159509, wck=0.499, mem=74M153
5.62/2.99	    decisions=1852, wrong=552, backtracks=163, failedAssignments=414, nogoods=155, foundSolutions=4, bestBound=6
5.62/2.99	    nFilterCalls=36727, avgTableProportion=0.8888888888896069, avgTableSize=8.0
5.62/2.99	    
5.62/3.00	    num=31, depth=20..24, filters=66586, revisions=(137981,useless=90820), ccks=163892, wck=0.511, mem=74M153
5.62/3.00	    decisions=1920, wrong=575, backtracks=171, failedAssignments=431, nogoods=159, foundSolutions=4, bestBound=6
5.62/3.00	    nFilterCalls=37687, avgTableProportion=0.8888888888896298, avgTableSize=8.0
5.62/3.00	    
5.95/3.02	    num=32, depth=22..25, filters=70050, revisions=(143173,useless=93819), ccks=170048, wck=0.527, mem=74M153
5.95/3.02	    decisions=1990, wrong=599, backtracks=176, failedAssignments=450, nogoods=165, foundSolutions=4, bestBound=6
5.95/3.02	    nFilterCalls=39475, avgTableProportion=0.8888888888896695, avgTableSize=8.0
5.95/3.02	    
5.95/3.03	    num=33, depth=24..28, filters=72180, revisions=(147666,useless=96670), ccks=175199, wck=0.54, mem=74M153
5.95/3.03	    decisions=2070, wrong=627, backtracks=185, failedAssignments=471, nogoods=173, foundSolutions=4, bestBound=6
5.95/3.03	    nFilterCalls=40614, avgTableProportion=0.888888888889693, avgTableSize=8.0
5.95/3.03	    
5.95/3.05	    num=34, depth=21..24, filters=76226, revisions=(153963,useless=100317), ccks=182508, wck=0.56, mem=74M153
5.95/3.05	    decisions=2159, wrong=661, backtracks=196, failedAssignments=494, nogoods=176, foundSolutions=4, bestBound=6
5.95/3.05	    nFilterCalls=42511, avgTableProportion=0.8888888888897293, avgTableSize=8.0
5.95/3.05	    
5.95/3.08	    num=35, depth=20..23, filters=81225, revisions=(162124,useless=104980), ccks=192191, wck=0.584, mem=74M153
5.95/3.08	    decisions=2256, wrong=699, backtracks=209, failedAssignments=519, nogoods=183, foundSolutions=4, bestBound=6
5.95/3.08	    nFilterCalls=45048, avgTableProportion=0.888888888889773, avgTableSize=8.0
5.95/3.08	    
5.95/3.10	    num=36, depth=15..19, filters=84504, revisions=(168166,useless=108719), ccks=200024, wck=0.603, mem=74M153
5.95/3.10	    decisions=2352, wrong=739, backtracks=221, failedAssignments=547, nogoods=194, foundSolutions=4, bestBound=6
5.95/3.10	    nFilterCalls=46739, avgTableProportion=0.8888888888897994, avgTableSize=8.0
5.95/3.10	    
6.24/3.12	    num=37, depth=13..18, filters=89975, revisions=(176094,useless=113024), ccks=209927, wck=0.629, mem=74M153
6.24/3.12	    decisions=2444, wrong=778, backtracks=231, failedAssignments=578, nogoods=200, foundSolutions=4, bestBound=6
6.24/3.12	    nFilterCalls=49293, avgTableProportion=0.8888888888898361, avgTableSize=8.0
6.24/3.12	    
6.24/3.14	    num=38, depth=17..19, filters=94352, revisions=(183028,useless=116849), ccks=219689, wck=0.651, mem=76M795
6.24/3.14	    decisions=2540, wrong=817, backtracks=236, failedAssignments=612, nogoods=205, foundSolutions=4, bestBound=6
6.24/3.14	    nFilterCalls=51437, avgTableProportion=0.888888888889864, avgTableSize=8.0
6.24/3.14	    
6.24/3.17	    num=39, depth=14..21, filters=97643, revisions=(190616,useless=121886), ccks=226585, wck=0.671, mem=76M795
6.24/3.17	    decisions=2674, wrong=877, backtracks=266, failedAssignments=649, nogoods=209, foundSolutions=4, bestBound=6
6.24/3.17	    nFilterCalls=53040, avgTableProportion=0.8888888888898834, avgTableSize=8.0
6.24/3.17	    
6.24/3.19	    num=40, depth=13..19, filters=103008, revisions=(199085,useless=126547), ccks=237551, wck=0.694, mem=76M795
6.24/3.19	    decisions=2792, wrong=928, backtracks=276, failedAssignments=690, nogoods=218, foundSolutions=4, bestBound=6
6.24/3.19	    nFilterCalls=55515, avgTableProportion=0.8888888888899111, avgTableSize=8.0
6.24/3.19	    
6.52/3.21	    num=41, depth=11..16, filters=106300, revisions=(205398,useless=130471), ccks=245498, wck=0.711, mem=76M795
6.52/3.21	    decisions=2916, wrong=984, backtracks=289, failedAssignments=735, nogoods=235, foundSolutions=4, bestBound=6
6.52/3.21	    nFilterCalls=57034, avgTableProportion=0.888888888889927, avgTableSize=8.0
6.52/3.21	    
6.52/3.24	    num=42, depth=11..22, filters=113432, revisions=(217064,useless=137144), ccks=258425, wck=0.742, mem=76M795
6.52/3.24	    decisions=3067, wrong=1051, backtracks=308, failedAssignments=785, nogoods=246, foundSolutions=4, bestBound=6
6.52/3.24	    nFilterCalls=60420, avgTableProportion=0.8888888888899594, avgTableSize=8.0
6.52/3.24	    
6.52/3.26	    num=43, depth=14..18, filters=120066, revisions=(228586,useless=144210), ccks=271939, wck=0.765, mem=76M795
6.52/3.26	    decisions=3215, wrong=1117, backtracks=322, failedAssignments=840, nogoods=259, foundSolutions=4, bestBound=6
6.52/3.26	    nFilterCalls=63629, avgTableProportion=0.888888888889987, avgTableSize=8.0
6.52/3.26	    
6.52/3.29	    num=44, depth=12..29, filters=128491, revisions=(242757,useless=152619), ccks=286293, wck=0.792, mem=76M795
6.52/3.29	    decisions=3401, wrong=1203, backtracks=349, failedAssignments=901, nogoods=273, foundSolutions=4, bestBound=6
6.52/3.29	    nFilterCalls=67709, avgTableProportion=0.8888888888900183, avgTableSize=8.0
6.52/3.29	    
6.83/3.32	    num=45, depth=16..24, filters=141212, revisions=(263840,useless=165050), ccks=311848, wck=0.831, mem=76M795
6.83/3.32	    decisions=3628, wrong=1307, backtracks=391, failedAssignments=968, nogoods=278, foundSolutions=4, bestBound=6
6.83/3.32	    nFilterCalls=74168, avgTableProportion=0.8888888888900606, avgTableSize=8.0
6.83/3.32	    
6.83/3.35	    num=46, depth=15..20, filters=150683, revisions=(277630,useless=172689), ccks=328174, wck=0.86, mem=76M795
6.83/3.35	    decisions=3828, wrong=1399, backtracks=410, failedAssignments=1042, nogoods=285, foundSolutions=4, bestBound=6
6.83/3.35	    nFilterCalls=78682, avgTableProportion=0.8888888888900861, avgTableSize=8.0
6.83/3.35	    
6.83/3.39	    num=47, depth=14..30, filters=160350, revisions=(296288,useless=184348), ccks=347846, wck=0.895, mem=76M795
6.83/3.39	    decisions=4111, wrong=1533, backtracks=479, failedAssignments=1123, nogoods=296, foundSolutions=4, bestBound=6
6.83/3.39	    nFilterCalls=83166, avgTableProportion=0.8888888888901088, avgTableSize=8.0
6.83/3.39	    
7.13/3.43	    num=48, depth=11..29, filters=169894, revisions=(317685,useless=198548), ccks=365570, wck=0.932, mem=79M437
7.13/3.43	    decisions=4490, wrong=1714, backtracks=598, failedAssignments=1212, nogoods=299, foundSolutions=4, bestBound=6
7.13/3.43	    nFilterCalls=87626, avgTableProportion=0.888888888890129, avgTableSize=8.0
7.13/3.43	    
7.13/3.46	    num=49, depth=9..16, filters=185562, revisions=(348864,useless=218583), ccks=398777, wck=0.97, mem=79M437
7.13/3.46	    decisions=4843, wrong=1886, backtracks=682, failedAssignments=1310, nogoods=309, foundSolutions=4, bestBound=6
7.13/3.46	    nFilterCalls=95797, avgTableProportion=0.888888888890161, avgTableSize=8.0
7.13/3.46	    
7.13/3.49	    num=50, depth=18..36, filters=195337, revisions=(366811,useless=229421), ccks=416907, wck=0.994, mem=79M437
7.13/3.49	    decisions=5159, wrong=2033, backtracks=727, failedAssignments=1418, nogoods=327, foundSolutions=4, bestBound=6
7.13/3.49	    nFilterCalls=100539, avgTableProportion=0.8888888888901774, avgTableSize=8.0
7.13/3.49	    
7.42/3.52	    num=51, depth=22..28, filters=214393, revisions=(394412,useless=244355), ccks=452339, wck=1.03, mem=79M437
7.42/3.52	    decisions=5487, wrong=2186, backtracks=768, failedAssignments=1537, nogoods=331, foundSolutions=4, bestBound=6
7.42/3.52	    nFilterCalls=109342, avgTableProportion=0.8888888888902038, avgTableSize=8.0
7.42/3.52	    
7.42/3.56	    num=52, depth=10..18, filters=233165, revisions=(427901,useless=265289), ccks=487350, wck=1.07, mem=79M437
7.42/3.56	    decisions=5926, wrong=2399, backtracks=867, failedAssignments=1668, nogoods=353, foundSolutions=4, bestBound=6
7.42/3.56	    nFilterCalls=118860, avgTableProportion=0.888888888890228, avgTableSize=8.0
7.42/3.56	    
7.71/3.60	    num=53, depth=17..29, filters=252300, revisions=(463378,useless=287642), ccks=520919, wck=1.107, mem=79M437
7.71/3.60	    decisions=6398, wrong=2625, backtracks=976, failedAssignments=1812, nogoods=378, foundSolutions=4, bestBound=6
7.71/3.60	    nFilterCalls=128015, avgTableProportion=0.8888888888902479, avgTableSize=8.0
7.71/3.60	    
7.71/3.64	    num=54, depth=20..31, filters=272546, revisions=(501510,useless=311065), ccks=562595, wck=1.144, mem=79M437
7.71/3.64	    decisions=6877, wrong=2854, backtracks=1065, failedAssignments=1970, nogoods=388, foundSolutions=4, bestBound=6
7.71/3.64	    nFilterCalls=138184, avgTableProportion=0.8888888888902668, avgTableSize=8.0
7.71/3.64	    
7.71/3.69	    num=55, depth=18..31, filters=299391, revisions=(553398,useless=343758), ccks=609200, wck=1.193, mem=82M80
7.71/3.69	    decisions=7560, wrong=3184, backtracks=1263, failedAssignments=2144, nogoods=404, foundSolutions=4, bestBound=6
7.71/3.69	    nFilterCalls=151219, avgTableProportion=0.8888888888899252, avgTableSize=8.0
7.71/3.69	    
7.87/3.74	    num=56, depth=22..30, filters=336066, revisions=(614957,useless=378997), ccks=690660, wck=1.251, mem=82M80
7.87/3.74	    decisions=8152, wrong=3469, backtracks=1364, failedAssignments=2335, nogoods=405, foundSolutions=4, bestBound=6
7.87/3.74	    nFilterCalls=169547, avgTableProportion=0.8888888888884149, avgTableSize=8.0
7.87/3.74	    
7.87/3.80	    num=57, depth=24..29, filters=370108, revisions=(663423,useless=404310), ccks=749518, wck=1.302, mem=82M80
7.87/3.80	    decisions=8715, wrong=3738, backtracks=1424, failedAssignments=2546, nogoods=410, foundSolutions=4, bestBound=6
7.87/3.80	    nFilterCalls=185791, avgTableProportion=0.8888888888873254, avgTableSize=8.0
7.87/3.80	    
7.97/3.85	    num=58, depth=10..28, filters=395266, revisions=(718475,useless=440278), ccks=795173, wck=1.353, mem=84M723
7.97/3.85	    decisions=9669, wrong=4209, backtracks=1731, failedAssignments=2778, nogoods=440, foundSolutions=4, bestBound=6
7.97/3.85	    nFilterCalls=197411, avgTableProportion=0.8888888888866561, avgTableSize=8.0
7.97/3.85	    
8.09/3.91	o 5
8.09/3.92	    num=59, depth=18..639, filters=432745, revisions=(776308,useless=473128), ccks=859606, wck=1.421, mem=84M723
8.09/3.92	    decisions=10316, wrong=4513, backtracks=1799, failedAssignments=3018, nogoods=461, foundSolutions=5, bestBound=5
8.09/3.92	    nFilterCalls=214826, avgTableProportion=0.8888888888857884, avgTableSize=8.0
8.09/3.92	    
8.09/3.97	    num=60, depth=23..34, filters=460470, revisions=(819672,useless=497731), ccks=915691, wck=1.474, mem=84M723
8.09/3.97	    decisions=11063, wrong=4874, backtracks=1887, failedAssignments=3299, nogoods=465, foundSolutions=5, bestBound=5
8.09/3.97	    nFilterCalls=227731, avgTableProportion=0.8888888888852312, avgTableSize=8.0
8.09/3.97	    
8.09/3.97	    num=61, depth=7..12, filters=461214, revisions=(821176,useless=498680), ccks=917527, wck=1.476, mem=84M723
8.09/3.97	    decisions=11098, wrong=4887, backtracks=1890, failedAssignments=3310, nogoods=472, foundSolutions=5, bestBound=5
8.09/3.97	    nFilterCalls=228093, avgTableProportion=0.8888888888852164, avgTableSize=8.0
8.09/3.97	    
8.09/3.97	    num=62, depth=7..10, filters=463037, revisions=(824201,useless=500478), ccks=921142, wck=1.479, mem=84M723
8.09/3.97	    decisions=11138, wrong=4903, backtracks=1895, failedAssignments=3322, nogoods=478, foundSolutions=5, bestBound=5
8.09/3.97	    nFilterCalls=228918, avgTableProportion=0.888888888885183, avgTableSize=8.0
8.09/3.97	    
8.09/3.98	    num=63, depth=9..14, filters=464911, revisions=(827952,useless=502888), ccks=926705, wck=1.485, mem=84M723
8.09/3.98	    decisions=11182, wrong=4919, backtracks=1898, failedAssignments=3335, nogoods=482, foundSolutions=5, bestBound=5
8.09/3.98	    nFilterCalls=230016, avgTableProportion=0.8888888888851391, avgTableSize=8.0
8.09/3.98	    
8.09/3.98	    num=64, depth=9..13, filters=467128, revisions=(831107,useless=504509), ccks=931287, wck=1.489, mem=84M723
8.09/3.98	    decisions=11227, wrong=4937, backtracks=1902, failedAssignments=3349, nogoods=484, foundSolutions=5, bestBound=5
8.09/3.98	    nFilterCalls=231013, avgTableProportion=0.8888888888850994, avgTableSize=8.0
8.09/3.98	    
8.09/3.99	    num=65, depth=7..12, filters=469417, revisions=(835816,useless=507532), ccks=936628, wck=1.494, mem=84M723
8.09/3.99	    decisions=11286, wrong=4963, backtracks=1914, failedAssignments=3365, nogoods=488, foundSolutions=5, bestBound=5
8.09/3.99	    nFilterCalls=232109, avgTableProportion=0.8888888888850562, avgTableSize=8.0
8.09/3.99	    
8.09/3.99	    num=66, depth=9..14, filters=470728, revisions=(838361,useless=509172), ccks=939613, wck=1.497, mem=84M723
8.09/3.99	    decisions=11339, wrong=4985, backtracks=1921, failedAssignments=3382, nogoods=489, foundSolutions=5, bestBound=5
8.09/3.99	    nFilterCalls=232744, avgTableProportion=0.8888888888850314, avgTableSize=8.0
8.09/3.99	    
8.09/4.00	    num=67, depth=9..14, filters=474154, revisions=(843447,useless=511824), ccks=947144, wck=1.503, mem=84M723
8.09/4.00	    decisions=11408, wrong=5014, backtracks=1931, failedAssignments=3401, nogoods=494, foundSolutions=5, bestBound=5
8.09/4.00	    nFilterCalls=234363, avgTableProportion=0.8888888888849686, avgTableSize=8.0
8.09/4.00	    
8.09/4.00	    num=68, depth=7..11, filters=475863, revisions=(846798,useless=513975), ccks=950743, wck=1.507, mem=84M723
8.09/4.00	    decisions=11468, wrong=5040, backtracks=1938, failedAssignments=3422, nogoods=503, foundSolutions=5, bestBound=5
8.09/4.00	    nFilterCalls=235162, avgTableProportion=0.888888888884938, avgTableSize=8.0
8.09/4.00	    
8.09/4.01	    num=69, depth=9..12, filters=478601, revisions=(851387,useless=516636), ccks=956585, wck=1.512, mem=84M723
8.09/4.01	    decisions=11541, wrong=5072, backtracks=1947, failedAssignments=3445, nogoods=505, foundSolutions=5, bestBound=5
8.09/4.01	    nFilterCalls=236459, avgTableProportion=0.8888888888848887, avgTableSize=8.0
8.09/4.01	    
8.30/4.01	    num=70, depth=11..17, filters=480262, revisions=(854321,useless=518374), ccks=960099, wck=1.516, mem=84M723
8.30/4.01	    decisions=11616, wrong=5104, backtracks=1954, failedAssignments=3470, nogoods=513, foundSolutions=5, bestBound=5
8.30/4.01	    nFilterCalls=237226, avgTableProportion=0.8888888888848598, avgTableSize=8.0
8.30/4.01	    
8.30/4.02	    num=71, depth=12..15, filters=484253, revisions=(860531,useless=521921), ccks=968657, wck=1.524, mem=84M723
8.30/4.02	    decisions=11709, wrong=5144, backtracks=1966, failedAssignments=3498, nogoods=524, foundSolutions=5, bestBound=5
8.30/4.02	    nFilterCalls=239121, avgTableProportion=0.8888888888847892, avgTableSize=8.0
8.30/4.02	    
8.30/4.02	    num=72, depth=8..12, filters=488315, revisions=(867041,useless=525785), ccks=976776, wck=1.531, mem=84M723
8.30/4.02	    decisions=11803, wrong=5186, backtracks=1978, failedAssignments=3529, nogoods=539, foundSolutions=5, bestBound=5
8.30/4.02	    nFilterCalls=241092, avgTableProportion=0.8888888888847171, avgTableSize=8.0
8.30/4.02	    
8.30/4.03	    num=73, depth=13..16, filters=491647, revisions=(872408,useless=529011), ccks=982836, wck=1.538, mem=84M723
8.30/4.03	    decisions=11906, wrong=5231, backtracks=1990, failedAssignments=3563, nogoods=553, foundSolutions=5, bestBound=5
8.30/4.03	    nFilterCalls=242670, avgTableProportion=0.8888888888846601, avgTableSize=8.0
8.30/4.03	    
8.30/4.04	    num=74, depth=16..20, filters=497699, revisions=(881419,useless=533698), ccks=996136, wck=1.548, mem=84M723
8.30/4.04	    decisions=12031, wrong=5285, backtracks=2009, failedAssignments=3600, nogoods=560, foundSolutions=5, bestBound=5
8.30/4.04	    nFilterCalls=245544, avgTableProportion=0.8888888888845582, avgTableSize=8.0
8.30/4.04	    
8.30/4.05	    num=75, depth=11..21, filters=503347, revisions=(890364,useless=538753), ccks=1005949, wck=1.557, mem=84M723
8.30/4.05	    decisions=12174, wrong=5350, backtracks=2037, failedAssignments=3641, nogoods=571, foundSolutions=5, bestBound=5
8.30/4.05	    nFilterCalls=248151, avgTableProportion=0.8888888888844677, avgTableSize=8.0
8.30/4.05	    
8.30/4.06	    num=76, depth=13..27, filters=506483, revisions=(897072,useless=543193), ccks=1012851, wck=1.564, mem=84M723
8.30/4.06	    decisions=12315, wrong=5408, backtracks=2051, failedAssignments=3686, nogoods=583, foundSolutions=5, bestBound=5
8.30/4.06	    nFilterCalls=249634, avgTableProportion=0.8888888888844172, avgTableSize=8.0
8.30/4.06	    
8.30/4.07	    num=77, depth=16..30, filters=511337, revisions=(905939,useless=548497), ccks=1021546, wck=1.573, mem=84M723
8.30/4.07	    decisions=12471, wrong=5475, backtracks=2071, failedAssignments=3736, nogoods=594, foundSolutions=5, bestBound=5
8.30/4.07	    nFilterCalls=251865, avgTableProportion=0.8888888888843423, avgTableSize=8.0
8.30/4.07	    
8.30/4.08	    num=78, depth=14..16, filters=518539, revisions=(916226,useless=553687), ccks=1036532, wck=1.585, mem=84M723
8.30/4.08	    decisions=12621, wrong=5543, backtracks=2084, failedAssignments=3791, nogoods=611, foundSolutions=5, bestBound=5
8.30/4.08	    nFilterCalls=255130, avgTableProportion=0.8888888888842349, avgTableSize=8.0
8.30/4.08	    
8.30/4.09	    num=79, depth=11..23, filters=521663, revisions=(922127,useless=557329), ccks=1042181, wck=1.592, mem=84M723
8.30/4.09	    decisions=12790, wrong=5622, backtracks=2104, failedAssignments=3852, nogoods=617, foundSolutions=5, bestBound=5
8.30/4.09	    nFilterCalls=256472, avgTableProportion=0.8888888888841915, avgTableSize=8.0
8.30/4.09	    
8.30/4.10	    num=80, depth=11..22, filters=527159, revisions=(930777,useless=562086), ccks=1052699, wck=1.602, mem=84M723
8.30/4.10	    decisions=12974, wrong=5708, backtracks=2124, failedAssignments=3919, nogoods=632, foundSolutions=5, bestBound=5
8.30/4.10	    nFilterCalls=258823, avgTableProportion=0.8888888888841167, avgTableSize=8.0
8.30/4.10	    
8.41/4.11	    num=81, depth=12..19, filters=533596, revisions=(943376,useless=569665), ccks=1064212, wck=1.614, mem=84M723
8.41/4.11	    decisions=13202, wrong=5815, backtracks=2167, failedAssignments=3993, nogoods=654, foundSolutions=5, bestBound=5
8.41/4.11	    nFilterCalls=261677, avgTableProportion=0.8888888888840277, avgTableSize=8.0
8.41/4.11	    
8.41/4.12	    num=82, depth=15..29, filters=541907, revisions=(957470,useless=578050), ccks=1080466, wck=1.63, mem=87M365
8.41/4.12	    decisions=13461, wrong=5935, backtracks=2211, failedAssignments=4074, nogoods=660, foundSolutions=5, bestBound=5
8.41/4.12	    nFilterCalls=265540, avgTableProportion=0.8888888888839103, avgTableSize=8.0
8.41/4.12	    
8.41/4.14	    num=83, depth=18..23, filters=554959, revisions=(974483,useless=586341), ccks=1105080, wck=1.649, mem=87M365
8.41/4.14	    decisions=13690, wrong=6040, backtracks=2229, failedAssignments=4163, nogoods=671, foundSolutions=5, bestBound=5
8.41/4.14	    nFilterCalls=271517, avgTableProportion=0.8888888888837351, avgTableSize=8.0
8.41/4.14	    
8.41/4.16	    num=84, depth=9..15, filters=566719, revisions=(993977,useless=597983), ccks=1127286, wck=1.669, mem=87M365
8.41/4.16	    decisions=13975, wrong=6177, backtracks=2272, failedAssignments=4261, nogoods=680, foundSolutions=5, bestBound=5
8.41/4.16	    nFilterCalls=276954, avgTableProportion=0.8888888888835823, avgTableSize=8.0
8.41/4.16	    
8.41/4.18	    num=85, depth=9..15, filters=578009, revisions=(1011498,useless=608054), ccks=1147385, wck=1.688, mem=87M365
8.41/4.18	    decisions=14265, wrong=6317, backtracks=2305, failedAssignments=4369, nogoods=690, foundSolutions=5, bestBound=5
8.41/4.18	    nFilterCalls=282049, avgTableProportion=0.8888888888834445, avgTableSize=8.0
8.41/4.18	    
8.53/4.21	    num=86, depth=8..15, filters=593079, revisions=(1032452,useless=619397), ccks=1172024, wck=1.711, mem=87M365
8.53/4.21	    decisions=14573, wrong=6466, backtracks=2336, failedAssignments=4488, nogoods=699, foundSolutions=5, bestBound=5
8.53/4.21	    nFilterCalls=288750, avgTableProportion=0.8888888888832707, avgTableSize=8.0
8.53/4.21	    
8.53/4.23	    num=87, depth=5..12, filters=609359, revisions=(1055015,useless=630930), ccks=1200966, wck=1.737, mem=87M365
8.53/4.23	    decisions=14889, wrong=6619, backtracks=2364, failedAssignments=4619, nogoods=704, foundSolutions=5, bestBound=5
8.53/4.23	    nFilterCalls=295964, avgTableProportion=0.8888888888830925, avgTableSize=8.0
8.53/4.23	    
8.53/4.26	    num=88, depth=8..18, filters=625005, revisions=(1085544,useless=649285), ccks=1228875, wck=1.764, mem=87M365
8.53/4.26	    decisions=15334, wrong=6836, backtracks=2452, failedAssignments=4763, nogoods=715, foundSolutions=5, bestBound=5
8.53/4.26	    nFilterCalls=302925, avgTableProportion=0.8888888888829284, avgTableSize=8.0
8.53/4.26	    
8.53/4.29	    num=89, depth=15..23, filters=647237, revisions=(1114043,useless=663915), ccks=1266853, wck=1.797, mem=87M365
8.53/4.29	    decisions=15779, wrong=7051, backtracks=2512, failedAssignments=4921, nogoods=727, foundSolutions=5, bestBound=5
8.53/4.29	    nFilterCalls=313044, avgTableProportion=0.8888888888827029, avgTableSize=8.0
8.53/4.29	    
8.63/4.33	    num=90, depth=6..14, filters=669542, revisions=(1147700,useless=683132), ccks=1304409, wck=1.833, mem=87M365
8.63/4.33	    decisions=16273, wrong=7294, backtracks=2585, failedAssignments=5095, nogoods=733, foundSolutions=5, bestBound=5
8.63/4.33	    nFilterCalls=322851, avgTableProportion=0.888888888882498, avgTableSize=8.0
8.63/4.33	    
8.63/4.36	    num=91, depth=8..20, filters=684727, revisions=(1173226,useless=698260), ccks=1331464, wck=1.861, mem=87M365
8.63/4.36	    decisions=16801, wrong=7553, backtracks=2662, failedAssignments=5286, nogoods=749, foundSolutions=5, bestBound=5
8.63/4.36	    nFilterCalls=329423, avgTableProportion=0.8888888888823674, avgTableSize=8.0
8.63/4.36	    
8.63/4.39	    num=92, depth=4..14, filters=705771, revisions=(1208654,useless=718681), ccks=1368888, wck=1.897, mem=87M365
8.63/4.39	    decisions=17376, wrong=7838, backtracks=2740, failedAssignments=5497, nogoods=759, foundSolutions=5, bestBound=5
8.63/4.39	    nFilterCalls=338887, avgTableProportion=0.8888888888821883, avgTableSize=8.0
8.63/4.39	    
8.74/4.44	    num=93, depth=5..17, filters=735110, revisions=(1252915,useless=743453), ccks=1420550, wck=1.945, mem=87M365
8.74/4.44	    decisions=18031, wrong=8162, backtracks=2845, failedAssignments=5729, nogoods=765, foundSolutions=5, bestBound=5
8.74/4.44	    nFilterCalls=352888, avgTableProportion=0.888888888881941, avgTableSize=8.0
8.74/4.44	    
8.74/4.48	    num=94, depth=8..16, filters=759116, revisions=(1291472,useless=765374), ccks=1466705, wck=1.987, mem=87M365
8.74/4.48	    decisions=18714, wrong=8499, backtracks=2939, failedAssignments=5984, nogoods=783, foundSolutions=5, bestBound=5
8.74/4.48	    nFilterCalls=363667, avgTableProportion=0.8888888888817634, avgTableSize=8.0
8.74/4.48	    
8.84/4.53	    num=95, depth=4..17, filters=786220, revisions=(1339027,useless=793075), ccks=1522070, wck=2.036, mem=87M365
8.84/4.53	    decisions=19485, wrong=8881, backtracks=3051, failedAssignments=6265, nogoods=809, foundSolutions=5, bestBound=5
8.84/4.53	    nFilterCalls=376248, avgTableProportion=0.8888888888815693, avgTableSize=8.0
8.84/4.53	    
8.84/4.59	    num=96, depth=5..12, filters=827555, revisions=(1394027,useless=820601), ccks=1590641, wck=2.096, mem=87M365
8.84/4.59	    decisions=20233, wrong=9251, backtracks=3122, failedAssignments=6574, nogoods=831, foundSolutions=5, bestBound=5
8.84/4.59	    nFilterCalls=394671, avgTableProportion=0.8888888888813071, avgTableSize=8.0
8.84/4.59	    
8.96/4.65	    num=97, depth=0..15, filters=862000, revisions=(1449278,useless=851615), ccks=1655236, wck=2.154, mem=87M365
8.96/4.65	    decisions=21102, wrong=9682, backtracks=3230, failedAssignments=6914, nogoods=834, foundSolutions=5, bestBound=5
8.96/4.65	    nFilterCalls=409794, avgTableProportion=0.8888888888811095, avgTableSize=8.0
8.96/4.65	    
9.06/4.72	    num=98, depth=7..16, filters=909708, revisions=(1516728,useless=887283), ccks=1731511, wck=2.224, mem=87M365
9.06/4.72	    decisions=22009, wrong=10132, backtracks=3316, failedAssignments=7288, nogoods=848, foundSolutions=5, bestBound=5
9.06/4.72	    nFilterCalls=431002, avgTableProportion=0.8888888888808558, avgTableSize=8.0
9.06/4.72	    
9.17/4.80	    num=99, depth=2..18, filters=963360, revisions=(1595829,useless=929944), ccks=1827398, wck=2.309, mem=87M365
9.17/4.80	    decisions=23136, wrong=10694, backtracks=3492, failedAssignments=7699, nogoods=871, foundSolutions=5, bestBound=5
9.17/4.80	    nFilterCalls=455062, avgTableProportion=0.8888888888805967, avgTableSize=8.0
9.17/4.80	    
9.17/4.88	    num=100, depth=1..10, filters=1019176, revisions=(1671919,useless=968671), ccks=1921106, wck=2.39, mem=87M365
9.17/4.88	    decisions=24156, wrong=11203, backtracks=3556, failedAssignments=8151, nogoods=898, foundSolutions=5, bestBound=5
9.17/4.88	    nFilterCalls=478754, avgTableProportion=0.8888888888803669, avgTableSize=8.0
9.17/4.88	    
9.28/4.98	    num=101, depth=0..12, filters=1082578, revisions=(1769429,useless=1023206), ccks=2030866, wck=2.488, mem=87M365
9.28/4.98	    decisions=25460, wrong=11854, backtracks=3736, failedAssignments=8648, nogoods=910, foundSolutions=5, bestBound=5
9.28/4.98	    nFilterCalls=507720, avgTableProportion=0.8888888888801151, avgTableSize=8.0
9.28/4.98	    
9.39/5.08	    num=102, depth=0..10, filters=1139600, revisions=(1866370,useless=1079469), ccks=2137336, wck=2.583, mem=87M365
9.39/5.08	    decisions=26887, wrong=12566, backtracks=3943, failedAssignments=9195, nogoods=946, foundSolutions=5, bestBound=5
9.39/5.08	    nFilterCalls=533378, avgTableProportion=0.8888888888799149, avgTableSize=8.0
9.39/5.08	    
9.52/5.19	    num=103, depth=4..17, filters=1215975, revisions=(1979348,useless=1143497), ccks=2256974, wck=2.697, mem=87M365
9.52/5.19	    decisions=28434, wrong=13337, backtracks=4156, failedAssignments=9797, nogoods=969, foundSolutions=5, bestBound=5
9.52/5.19	    nFilterCalls=567922, avgTableProportion=0.888888888879674, avgTableSize=8.0
9.52/5.19	    
9.71/5.32	    num=104, depth=0..11, filters=1296287, revisions=(2109173,useless=1218074), ccks=2401086, wck=2.823, mem=87M365
9.71/5.32	    decisions=30250, wrong=14244, backtracks=4458, failedAssignments=10459, nogoods=990, foundSolutions=5, bestBound=5
9.71/5.32	    nFilterCalls=604378, avgTableProportion=0.8888888888794497, avgTableSize=8.0
9.71/5.32	    
9.81/5.47	    num=105, depth=0..13, filters=1397465, revisions=(2258997,useless=1299196), ccks=2582163, wck=2.974, mem=87M365
9.81/5.47	    decisions=32171, wrong=15203, backtracks=4742, failedAssignments=11187, nogoods=997, foundSolutions=5, bestBound=5
9.81/5.47	    nFilterCalls=650327, avgTableProportion=0.8888888888792027, avgTableSize=8.0
9.81/5.47	    
10.01/5.61	    num=106, depth=0..19, filters=1487702, revisions=(2395092,useless=1378105), ccks=2721885, wck=3.115, mem=87M365
10.01/5.61	    decisions=34309, wrong=16271, backtracks=5099, failedAssignments=11988, nogoods=1014, foundSolutions=5, bestBound=5
10.01/5.61	    nFilterCalls=690302, avgTableProportion=0.8888888888790146, avgTableSize=8.0
10.01/5.61	    
10.11/5.79	    num=107, depth=0..16, filters=1603386, revisions=(2578657,useless=1479792), ccks=2940735, wck=3.293, mem=87M365
10.11/5.79	    decisions=36731, wrong=17478, backtracks=5460, failedAssignments=12869, nogoods=1034, foundSolutions=5, bestBound=5
10.11/5.79	    nFilterCalls=742498, avgTableProportion=0.8888888888787995, avgTableSize=8.0
10.11/5.79	    
10.31/5.98	    num=108, depth=0..16, filters=1725858, revisions=(2781195,useless=1596608), ccks=3164680, wck=3.485, mem=87M365
10.31/5.98	    decisions=39485, wrong=18853, backtracks=5944, failedAssignments=13839, nogoods=1059, foundSolutions=5, bestBound=5
10.31/5.98	    nFilterCalls=797511, avgTableProportion=0.8888888888786031, avgTableSize=8.0
10.31/5.98	    
10.52/6.14	    num=109, depth=5..33, filters=1819190, revisions=(2960865,useless=1708305), ccks=3325665, wck=3.642, mem=87M365
10.52/6.14	    decisions=42640, wrong=20426, backtracks=6536, failedAssignments=14906, nogoods=1072, foundSolutions=5, bestBound=5
10.52/6.14	    nFilterCalls=838320, avgTableProportion=0.8888888888784742, avgTableSize=8.0
10.52/6.14	    
10.81/6.40	    num=110, depth=2..18, filters=2001922, revisions=(3224230,useless=1848100), ccks=3647153, wck=3.904, mem=87M365
10.81/6.40	    decisions=45691, wrong=21949, backtracks=6924, failedAssignments=16079, nogoods=1080, foundSolutions=5, bestBound=5
10.81/6.40	    nFilterCalls=920079, avgTableProportion=0.8888888888782502, avgTableSize=8.0
10.81/6.40	    
11.02/6.64	    num=111, depth=4..18, filters=2154183, revisions=(3454373,useless=1975807), ccks=3955161, wck=4.15, mem=87M365
11.02/6.64	    decisions=49182, wrong=23692, backtracks=7440, failedAssignments=17370, nogoods=1096, foundSolutions=5, bestBound=5
11.02/6.64	    nFilterCalls=990630, avgTableProportion=0.8888888888780867, avgTableSize=8.0
11.02/6.64	    
11.22/6.85	    num=112, depth=3..26, filters=2274612, revisions=(3690086,useless=2121282), ccks=4167818, wck=4.352, mem=87M365
11.22/6.85	    decisions=53207, wrong=25701, backtracks=8148, failedAssignments=18790, nogoods=1119, foundSolutions=5, bestBound=5
11.22/6.85	    nFilterCalls=1043218, avgTableProportion=0.8888888888779791, avgTableSize=8.0
11.22/6.85	    
11.53/7.15	    num=113, depth=0..22, filters=2483318, revisions=(4006135,useless=2291321), ccks=4545366, wck=4.66, mem=87M365
11.53/7.15	    decisions=57120, wrong=27652, backtracks=8589, failedAssignments=20352, nogoods=1154, foundSolutions=5, bestBound=5
11.53/7.15	    nFilterCalls=1135784, avgTableProportion=0.888888888877814, avgTableSize=8.0
11.53/7.15	    
11.72/7.38	    num=114, depth=5..26, filters=2618913, revisions=(4253448,useless=2439832), ccks=4770925, wck=4.882, mem=90M9
11.72/7.38	    decisions=61582, wrong=29878, backtracks=9146, failedAssignments=22070, nogoods=1183, foundSolutions=5, bestBound=5
11.72/7.38	    nFilterCalls=1194239, avgTableProportion=0.8888888888791453, avgTableSize=8.0
11.72/7.38	    
12.12/7.72	    num=115, depth=4..21, filters=2842102, revisions=(4620631,useless=2650531), ccks=5162466, wck=5.227, mem=90M9
12.12/7.72	    decisions=66454, wrong=32311, backtracks=9804, failedAssignments=23960, nogoods=1205, foundSolutions=5, bestBound=5
12.12/7.72	    nFilterCalls=1295572, avgTableProportion=0.8888888888880011, avgTableSize=8.0
12.12/7.72	    
12.44/8.04	    num=116, depth=0..19, filters=3035882, revisions=(4996065,useless=2882238), ccks=5497442, wck=5.545, mem=90M9
12.44/8.04	    decisions=72382, wrong=35271, backtracks=10810, failedAssignments=26039, nogoods=1223, foundSolutions=5, bestBound=5
12.44/8.04	    nFilterCalls=1381146, avgTableProportion=0.8888888888944676, avgTableSize=8.0
12.44/8.04	    
12.73/8.39	    num=117, depth=13..29, filters=3247686, revisions=(5407454,useless=3135062), ccks=5863937, wck=5.894, mem=90M9
12.73/8.39	    decisions=78866, wrong=38504, backtracks=11977, failedAssignments=28326, nogoods=1236, foundSolutions=5, bestBound=5
12.73/8.39	    nFilterCalls=1475325, avgTableProportion=0.8888888889007173, avgTableSize=8.0
12.73/8.39	    
13.24/8.88	    num=118, depth=4..16, filters=3563009, revisions=(5919583,useless=3426525), ccks=6492896, wck=6.382, mem=90M9
13.24/8.88	    decisions=85184, wrong=41660, backtracks=12733, failedAssignments=30842, nogoods=1252, foundSolutions=5, bestBound=5
13.24/8.88	    nFilterCalls=1620893, avgTableProportion=0.8888888889089482, avgTableSize=8.0
13.24/8.88	    
13.64/9.30	    num=119, depth=2..18, filters=3817279, revisions=(6412370,useless=3730200), ccks=6933099, wck=6.802, mem=90M9
13.64/9.30	    decisions=92980, wrong=45554, backtracks=14052, failedAssignments=33610, nogoods=1293, foundSolutions=5, bestBound=5
13.64/9.30	    nFilterCalls=1732566, avgTableProportion=0.8888888889143252, avgTableSize=8.0
13.64/9.30	    
14.34/9.90	    num=120, depth=15..29, filters=4209202, revisions=(7121765,useless=4147684), ccks=7573598, wck=7.41, mem=90M9
14.34/9.90	    decisions=101869, wrong=49990, backtracks=15699, failedAssignments=36654, nogoods=1313, foundSolutions=5, bestBound=5
14.34/9.90	    nFilterCalls=1907372, avgTableProportion=0.8888888889214777, avgTableSize=8.0
14.34/9.90	    
15.15/10.78	    num=121, depth=12..26, filters=4795028, revisions=(8129242,useless=4723606), ccks=8582987, wck=8.282, mem=90M9
15.15/10.78	    decisions=112448, wrong=55270, backtracks=17991, failedAssignments=40003, nogoods=1330, foundSolutions=5, bestBound=5
15.15/10.78	    nFilterCalls=2178703, avgTableProportion=0.8888888889303064, avgTableSize=8.0
15.15/10.78	    
16.06/11.61	    num=122, depth=10..23, filters=5358226, revisions=(8978357,useless=5172518), ccks=9670217, wck=9.121, mem=90M9
16.06/11.61	    decisions=122162, wrong=60121, backtracks=19291, failedAssignments=43687, nogoods=1346, foundSolutions=5, bestBound=5
16.06/11.61	    nFilterCalls=2436123, avgTableProportion=0.8888888889368645, avgTableSize=8.0
16.06/11.61	    
16.76/12.32	    num=123, depth=2..26, filters=5790646, revisions=(9818891,useless=5683942), ccks=10445264, wck=9.824, mem=90M9
16.76/12.32	    decisions=134012, wrong=66042, backtracks=21590, failedAssignments=47739, nogoods=1365, foundSolutions=5, bestBound=5
16.76/12.32	    nFilterCalls=2629218, avgTableProportion=0.8888888889409408, avgTableSize=8.0
16.76/12.32	    
17.57/13.12	    num=124, depth=13..32, filters=6301575, revisions=(10640662,useless=6148490), ccks=11395158, wck=10.63, mem=92M651
17.57/13.12	    decisions=145862, wrong=71959, backtracks=23311, failedAssignments=52196, nogoods=1375, foundSolutions=5, bestBound=5
17.57/13.12	    nFilterCalls=2859927, avgTableProportion=0.8888888889450896, avgTableSize=8.0
17.57/13.12	    
18.36/13.94	    num=125, depth=0..21, filters=6801987, revisions=(11610473,useless=6738592), ccks=12277657, wck=11.442, mem=92M651
18.36/13.94	    decisions=159815, wrong=78932, backtracks=25808, failedAssignments=57099, nogoods=1403, foundSolutions=5, bestBound=5
18.36/13.94	    nFilterCalls=3084092, avgTableProportion=0.888888888948526, avgTableSize=8.0
18.36/13.94	    
19.76/15.37	    num=126, depth=20..35, filters=7778131, revisions=(13148514,useless=7579673), ccks=14138329, wck=12.872, mem=92M651
19.76/15.37	    decisions=175298, wrong=86662, backtracks=28489, failedAssignments=62493, nogoods=1437, foundSolutions=5, bestBound=5
19.76/15.37	    nFilterCalls=3554472, avgTableProportion=0.8888888889543279, avgTableSize=8.0
19.76/15.37	    
20.68/16.24	    num=127, depth=7..28, filters=8302741, revisions=(14184854,useless=8227400), ccks=15036903, wck=13.747, mem=92M651
20.68/16.24	    decisions=192008, wrong=95011, backtracks=31514, failedAssignments=68426, nogoods=1463, foundSolutions=5, bestBound=5
20.68/16.24	    nFilterCalls=3787867, avgTableProportion=0.888888888956672, avgTableSize=8.0
20.68/16.24	    
22.18/17.74	    num=128, depth=11..24, filters=9335081, revisions=(15721300,useless=9037232), ccks=16948352, wck=15.249, mem=92M651
22.18/17.74	    decisions=208682, wrong=103341, backtracks=33541, failedAssignments=74952, nogoods=1486, foundSolutions=5, bestBound=5
22.18/17.74	    nFilterCalls=4263288, avgTableProportion=0.8888888889606528, avgTableSize=8.0
22.18/17.74	    
23.49/19.02	    num=129, depth=0..22, filters=10133683, revisions=(17101858,useless=9847148), ccks=18461277, wck=16.53, mem=95M293
23.49/19.02	    decisions=228259, wrong=113126, backtracks=36555, failedAssignments=82131, nogoods=1509, foundSolutions=5, bestBound=5
23.49/19.02	    nFilterCalls=4623009, avgTableProportion=0.8888888889631206, avgTableSize=8.0
23.49/19.02	    
25.18/20.79	    num=130, depth=2..22, filters=11330882, revisions=(19057353,useless=10941458), ccks=20526581, wck=18.298, mem=95M293
25.18/20.79	    decisions=249318, wrong=123653, backtracks=39723, failedAssignments=90028, nogoods=1540, foundSolutions=5, bestBound=5
25.18/20.79	    nFilterCalls=5167601, avgTableProportion=0.8888888889662029, avgTableSize=8.0
25.18/20.79	    
26.68/22.27	    num=131, depth=0..20, filters=12237022, revisions=(20742954,useless=11960225), ccks=22128041, wck=19.775, mem=95M293
26.68/22.27	    decisions=273516, wrong=135749, backtracks=43728, failedAssignments=98715, nogoods=1571, foundSolutions=5, bestBound=5
26.68/22.27	    nFilterCalls=5574296, avgTableProportion=0.8888888889681119, avgTableSize=8.0
26.68/22.27	    
28.49/24.09	    num=132, depth=0..24, filters=13414388, revisions=(22811465,useless=13157938), ccks=24174982, wck=21.598, mem=95M293
28.49/24.09	    decisions=300066, wrong=149020, backtracks=48172, failedAssignments=108270, nogoods=1595, foundSolutions=5, bestBound=5
28.49/24.09	    nFilterCalls=6099237, avgTableProportion=0.8888888889701997, avgTableSize=8.0
28.49/24.09	    
31.08/26.65	    num=133, depth=0..27, filters=15157927, revisions=(25656576,useless=14718080), ccks=27329459, wck=24.161, mem=97M936
31.08/26.65	    decisions=329622, wrong=163796, backtracks=52969, failedAssignments=118781, nogoods=1605, foundSolutions=5, bestBound=5
31.08/26.65	    nFilterCalls=6880720, avgTableProportion=0.8888888889727177, avgTableSize=8.0
31.08/26.65	    
33.08/28.65	    num=134, depth=3..23, filters=16401225, revisions=(28092468,useless=16212935), ccks=29448104, wck=26.158, mem=97M936
33.08/28.65	    decisions=362806, wrong=180383, backtracks=58999, failedAssignments=130343, nogoods=1626, foundSolutions=5, bestBound=5
33.08/28.65	    nFilterCalls=7445338, avgTableProportion=0.8888888889742079, avgTableSize=8.0
33.08/28.65	    
35.69/31.25	    num=135, depth=12..34, filters=18056075, revisions=(31032841,useless=17926878), ccks=32405651, wck=28.758, mem=100M578
35.69/31.25	    decisions=400277, wrong=199109, backtracks=66217, failedAssignments=143061, nogoods=1656, foundSolutions=5, bestBound=5
35.69/31.25	    nFilterCalls=8208331, avgTableProportion=0.888888888975896, avgTableSize=8.0
35.69/31.25	    
38.89/34.43	    num=136, depth=0..24, filters=20166438, revisions=(34624081,useless=19955859), ccks=36128354, wck=31.935, mem=100M578
38.89/34.43	    decisions=439657, wrong=218794, backtracks=72924, failedAssignments=157051, nogoods=1663, foundSolutions=5, bestBound=5
38.89/34.43	    nFilterCalls=9153639, avgTableProportion=0.8888888889775972, avgTableSize=8.0
38.89/34.43	    
41.89/37.48	    num=137, depth=10..34, filters=22157012, revisions=(38173542,useless=22001086), ccks=39665464, wck=34.991, mem=100M578
41.89/37.48	    decisions=482421, wrong=240170, backtracks=79844, failedAssignments=172440, nogoods=1689, foundSolutions=5, bestBound=5
41.89/37.48	    nFilterCalls=10063133, avgTableProportion=0.888888888921002, avgTableSize=8.0
41.89/37.48	    
44.99/40.59	    num=138, depth=0..26, filters=24134748, revisions=(41679861,useless=24047163), ccks=43210684, wck=38.093, mem=103M221
44.99/40.59	    decisions=529921, wrong=263914, backtracks=87829, failedAssignments=189368, nogoods=1717, foundSolutions=5, bestBound=5
44.99/40.59	    nFilterCalls=10937114, avgTableProportion=0.8888888888522832, avgTableSize=8.0
44.99/40.59	    
49.99/45.53	    num=139, depth=16..40, filters=27559919, revisions=(47278066,useless=27208582), ccks=48907936, wck=43.039, mem=105M863
49.99/45.53	    decisions=585429, wrong=291658, backtracks=98848, failedAssignments=207989, nogoods=1731, foundSolutions=5, bestBound=5
49.99/45.53	    nFilterCalls=12554567, avgTableProportion=0.8888888887503452, avgTableSize=8.0
49.99/45.53	    
53.39/48.94	    num=140, depth=8..28, filters=29664685, revisions=(51319434,useless=29663416), ccks=52537282, wck=46.442, mem=105M863
53.39/48.94	    decisions=643723, wrong=320799, backtracks=109561, failedAssignments=228473, nogoods=1751, foundSolutions=5, bestBound=5
53.39/48.94	    nFilterCalls=13488390, avgTableProportion=0.888888888702624, avgTableSize=8.0
53.39/48.94	    
58.89/54.49	    num=141, depth=8..29, filters=33448881, revisions=(57556760,useless=33142270), ccks=59400166, wck=52.0, mem=108M506
58.89/54.49	    decisions=705334, wrong=351600, backtracks=118718, failedAssignments=251005, nogoods=1762, foundSolutions=5, bestBound=5
58.89/54.49	    nFilterCalls=15253269, avgTableProportion=0.8888888886283902, avgTableSize=8.0
58.89/54.49	    
62.80/58.40	    num=142, depth=5..26, filters=35826190, revisions=(62289135,useless=36099004), ccks=63503969, wck=55.902, mem=111M148
62.80/58.40	    decisions=775940, wrong=386899, backtracks=131572, failedAssignments=275790, nogoods=1792, foundSolutions=5, bestBound=5
62.80/58.40	    nFilterCalls=16315743, avgTableProportion=0.8888888885914451, avgTableSize=8.0
62.80/58.40	    
68.90/64.42	    num=143, depth=8..27, filters=39770344, revisions=(69186315,useless=40120954), ccks=71084060, wck=61.925, mem=113M790
68.90/64.42	    decisions=847890, wrong=422868, backtracks=141087, failedAssignments=303054, nogoods=1818, foundSolutions=5, bestBound=5
68.90/64.42	    nFilterCalls=18191401, avgTableProportion=0.8888888885367574, avgTableSize=8.0
68.90/64.42	    
73.90/69.46	    num=144, depth=10..29, filters=43016416, revisions=(75240978,useless=43734989), ccks=76532916, wck=66.97, mem=113M790
73.90/69.46	    decisions=930233, wrong=464033, backtracks=154143, failedAssignments=333044, nogoods=1853, foundSolutions=5, bestBound=5
73.90/69.46	    nFilterCalls=19655316, avgTableProportion=0.8888888885013267, avgTableSize=8.0
73.90/69.46	    
82.61/78.18	    num=145, depth=21..37, filters=48864345, revisions=(85388771,useless=49524626), ccks=87261818, wck=75.688, mem=116M433
82.61/78.18	    decisions=1024493, wrong=511151, backtracks=170887, failedAssignments=366033, nogoods=1878, foundSolutions=5, bestBound=5
82.61/78.18	    nFilterCalls=22536272, avgTableProportion=0.8888888884450429, avgTableSize=8.0
82.61/78.18	    
89.80/85.33	    num=146, depth=0..27, filters=53471284, revisions=(93540483,useless=54271279), ccks=95562103, wck=82.841, mem=121M718
89.80/85.33	    decisions=1126267, wrong=562035, backtracks=187759, failedAssignments=402321, nogoods=1895, foundSolutions=5, bestBound=5
89.80/85.33	    nFilterCalls=24613868, avgTableProportion=0.8888888884126307, avgTableSize=8.0
89.80/85.33	    
96.40/91.92	    num=147, depth=0..26, filters=57522474, revisions=(101284159,useless=58986252), ccks=102746757, wck=89.428, mem=124M360
96.40/91.92	    decisions=1236251, wrong=617023, backtracks=205656, failedAssignments=442238, nogoods=1920, foundSolutions=5, bestBound=5
96.40/91.92	    nFilterCalls=26432571, avgTableProportion=0.8888888883884398, avgTableSize=8.0
96.40/91.92	    
106.10/101.67	    num=148, depth=0..23, filters=64021635, revisions=(112560168,useless=65402527), ccks=114445839, wck=99.177, mem=127M3
106.10/101.67	    decisions=1359016, wrong=678402, backtracks=226129, failedAssignments=486147, nogoods=1953, foundSolutions=5, bestBound=5
106.10/101.67	    nFilterCalls=29363484, avgTableProportion=0.8888888883557612, avgTableSize=8.0
106.10/101.67	    
117.80/113.34	    num=149, depth=2..25, filters=72004417, revisions=(125635431,useless=72622916), ccks=129006249, wck=110.846, mem=132M288
117.80/113.34	    decisions=1488484, wrong=743133, backtracks=244094, failedAssignments=534447, nogoods=1990, foundSolutions=5, bestBound=5
117.80/113.34	    nFilterCalls=32982285, avgTableProportion=0.8888888883234252, avgTableSize=8.0
117.80/113.34	    
126.80/122.32	    num=150, depth=0..26, filters=77569182, revisions=(136245199,useless=79063159), ccks=138897323, wck=119.827, mem=134M930
126.80/122.32	    decisions=1637481, wrong=817629, backtracks=269851, failedAssignments=587577, nogoods=2022, foundSolutions=5, bestBound=5
126.80/122.32	    nFilterCalls=35468704, avgTableProportion=0.888888888305032, avgTableSize=8.0
126.80/122.32	    
137.62/133.13	    num=151, depth=0..26, filters=84481534, revisions=(148863350,useless=86454271), ccks=151131831, wck=130.635, mem=140M215
137.62/133.13	    decisions=1797629, wrong=897701, backtracks=295546, failedAssignments=646020, nogoods=2036, foundSolutions=5, bestBound=5
137.62/133.13	    nFilterCalls=38577263, avgTableProportion=0.8888888882853717, avgTableSize=8.0
137.62/133.13	    
154.17/149.68	    num=152, depth=6..28, filters=96055634, revisions=(167955403,useless=97111338), ccks=171645656, wck=147.185, mem=31M276
154.17/149.68	    decisions=1982243, wrong=990004, backtracks=327538, failedAssignments=710307, nogoods=2072, foundSolutions=5, bestBound=5
154.17/149.68	    nFilterCalls=43962758, avgTableProportion=0.8888888882578916, avgTableSize=8.0
154.17/149.68	    
166.58/162.02	    num=153, depth=0..32, filters=104471190, revisions=(183091290,useless=106082982), ccks=186175639, wck=159.522, mem=36M508
166.58/162.02	    decisions=2174302, wrong=1086028, backtracks=357070, failedAssignments=781023, nogoods=2094, foundSolutions=5, bestBound=5
166.58/162.02	    nFilterCalls=47800383, avgTableProportion=0.888888888242088, avgTableSize=8.0
166.58/162.02	    
180.17/175.62	    num=154, depth=0..27, filters=113614657, revisions=(199768229,useless=115978057), ccks=202256225, wck=173.13, mem=41M740
180.17/175.62	    decisions=2388720, wrong=1193234, backtracks=391366, failedAssignments=858810, nogoods=2123, foundSolutions=5, bestBound=5
180.17/175.62	    nFilterCalls=51949108, avgTableProportion=0.8888888882276298, avgTableSize=8.0
180.17/175.62	    
185.97/181.48	
185.97/181.48	  New Bounds: 5..4
185.97/181.48	    num=155, depth=0..27, filters=117509029, revisions=(206822298,useless=120168264), ccks=209443684, wck=178.985, mem=44M356
185.97/181.48	    decisions=2476408, wrong=1237079, backtracks=405550, failedAssignments=890640, foundSolutions=5, bestBound=5
185.97/181.48	    nFilterCalls=53719913, avgTableProportion=0.8888888882221386, avgTableSize=8.0
185.97/181.48	    
185.97/181.48	  Global
185.97/181.48	    filters=117509029, revisions=(206822298,useless=120168264), ccks=209443684
185.97/181.48	    Stop=FULL_EXPLORATION, wrong=1237079, bestBound=5, bestBoundWck=2.046, bestBoundCpu=3.86, foundSolutions=5, firstSolCpu=2.507
185.97/181.48	    wck=179.618, cpu=181.391, mem=44M356
185.97/181.48	
185.97/181.48	v <instantiation id='sol5' type='solution' cost='5'>  <list> p[] np[][] r[][] o[][] so[] </list>  <values> 19 13 15 18 1 2 16 0 4 9 5 10 8 11 12 14 17 3 6 7 0 1 2 2 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 1 1 1 2 2 3 3 3 3 3 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 3 3 4 1 1 1 1 1 1 1 1 1 2 2 3 3 3 3 3 4 4 4 4 0 0 0 0 0 0 0 1 2 2 2 3 4 4 4 4 4 4 4 4 0 0 0 0 0 1 1 1 1 1 2 2 3 3 3 3 3 4 4 4 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 3 4 0 1 1 1 2 2 2 3 3 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 3 4 4 1 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 4 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 4 3 2 </values>  </instantiation>
185.97/181.48	s OPTIMUM FOUND
185.97/181.48	
185.97/181.48	d WRONG_DECISIONS 1237079
185.97/181.48	d NUMBER_SOLUTIONS 5

Verifier Data 

OK	5

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

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

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

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

solver pid=19262, runsolver pid=19259

[startup+0.100058 s]*
/proc/loadavg: 1.72 1.78 1.79 4/229 19277
/proc/meminfo: memFree=26400452/32770624 swapFree=66927240/67108860
[pid=19262] ppid=19259 vsize=10659884 memory=27996 CPUtime=0.14 cores=0,2,4,6
/proc/19262/stat : 19262 (java) S 19259 19262 17167 0 -1 1077944320 5502 0 0 0 12 2 0 0 20 0 15 0 414897968 10915721216 6999 33554432000 4194304 4196468 140734530632368 140734530614912 140535348362999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
/proc/19262/statm: 2664971 6999 2910 1 0 2627468 0
[pid=19262/tid=19264] ppid=19259 vsize=10659884 memory=-8269626465541196922 CPUtime=0.09 cores=0,2,4,6
/proc/19262/task/19264/stat : 19264 (java) R 19259 19262 17167 0 -1 4202560 3205 0 0 0 8 1 0 0 20 0 15 0 414897968 10915721216 6999 33554432000 4194304 4196468 140734530632368 140535352591960 140535348374934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19265] ppid=19259 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19265/stat : 19265 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 6999 33554432000 4194304 4196468 140734530632368 140534954645904 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19266] ppid=19259 vsize=10659884 memory=139792557266560 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19266/stat : 19266 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 6999 33554432000 4194304 4196468 140734530632368 140534953593104 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19267] ppid=19259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19267/stat : 19267 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 6999 33554432000 4194304 4196468 140734530632368 140534952540816 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19268] ppid=19259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19268/stat : 19268 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 6999 33554432000 4194304 4196468 140734530632368 140534951488016 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19269] ppid=19259 vsize=10659884 memory=139792557266560 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19269/stat : 19269 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897970 10915721216 6999 33554432000 4194304 4196468 140734530632368 140534585518704 140535348374146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19270] ppid=19259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19270/stat : 19270 (java) S 19259 19262 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414897971 10915721216 6999 33554432000 4194304 4196468 140734530632368 140534584464672 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19271] ppid=19259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19271/stat : 19271 (java) S 19259 19262 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414897971 10915721216 6999 33554432000 4194304 4196468 140734530632368 140534583412336 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19272] ppid=19259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19272/stat : 19272 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897973 10915721216 6999 33554432000 4194304 4196468 140734530632368 140534582360656 140535348381595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19273] ppid=19259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19273/stat : 19273 (java) R 19259 19262 17167 0 -1 1077944384 517 0 0 0 0 0 0 0 20 0 15 0 414897973 10915721216 6999 33554432000 4194304 4196468 140734530632368 140534581307504 140535348374146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19274] ppid=19259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19274/stat : 19274 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897973 10915721216 6999 33554432000 4194304 4196468 140734530632368 140534580254704 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19275] ppid=19259 vsize=10659884 memory=139792557266560 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19275/stat : 19275 (java) R 19259 19262 17167 0 -1 4202560 459 0 0 0 2 0 0 0 20 0 15 0 414897973 10915721216 6999 33554432000 4194304 4196468 140734530632368 140534579198360 140535327225700 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19276] ppid=19259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19276/stat : 19276 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897974 10915721216 7065 33554432000 4194304 4196468 140734530632368 140534578149856 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19277] ppid=19259 vsize=10659884 memory=139792557266560 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19277/stat : 19277 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897974 10915721216 7065 33554432000 4194304 4196468 140734530632368 140534577097648 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27996 KiB

[startup+0.211225 s]*
/proc/loadavg: 1.72 1.78 1.79 3/229 19277
/proc/meminfo: memFree=26392744/32770624 swapFree=66927240/67108860
[pid=19262] ppid=19259 vsize=10659884 memory=35156 CPUtime=0.32 cores=0,2,4,6
/proc/19262/stat : 19262 (java) S 19259 19262 17167 0 -1 1077944320 6944 0 0 0 30 2 0 0 20 0 15 0 414897968 10915721216 8789 33554432000 4194304 4196468 140734530632368 140734530614912 140535348362999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
/proc/19262/statm: 2664971 8789 2990 1 0 2627468 0
[pid=19262/tid=19264] ppid=19259 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/19262/task/19264/stat : 19264 (java) R 19259 19262 17167 0 -1 4202560 3862 0 0 0 18 1 0 0 20 0 15 0 414897968 10915721216 8789 33554432000 4194304 4196468 140734530632368 140535352595088 140535304974256 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19265] ppid=19259 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19265/stat : 19265 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534954645904 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19266] ppid=19259 vsize=10659884 memory=3473316941840242336 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19266/stat : 19266 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534953593104 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19267] ppid=19259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19267/stat : 19267 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534952540816 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19268] ppid=19259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19268/stat : 19268 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534951488016 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19269] ppid=19259 vsize=10659884 memory=139792557266560 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19269/stat : 19269 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897970 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534585518704 140535348374146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19270] ppid=19259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19270/stat : 19270 (java) S 19259 19262 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414897971 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534584464672 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19271] ppid=19259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19271/stat : 19271 (java) S 19259 19262 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414897971 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534583412336 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19272] ppid=19259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19272/stat : 19272 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897973 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534582360656 140535348381595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19273] ppid=19259 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19262/task/19273/stat : 19273 (java) S 19259 19262 17167 0 -1 1077944384 910 0 0 0 4 0 0 0 20 0 15 0 414897973 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534581307504 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19274] ppid=19259 vsize=10659884 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19262/task/19274/stat : 19274 (java) S 19259 19262 17167 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 15 0 414897973 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534580254704 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19275] ppid=19259 vsize=10659884 memory=139792557266560 CPUtime=0.05 cores=0,2,4,6
/proc/19262/task/19275/stat : 19275 (java) S 19259 19262 17167 0 -1 1077944384 729 0 0 0 5 0 0 0 20 0 15 0 414897973 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534579202416 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19276] ppid=19259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19276/stat : 19276 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897974 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534578149856 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19277] ppid=19259 vsize=10659884 memory=139792557266560 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19277/stat : 19277 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897974 10915721216 8789 33554432000 4194304 4196468 140734530632368 140534577097648 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35156 KiB

[startup+0.310295 s]*
/proc/loadavg: 1.72 1.78 1.79 3/229 19277
/proc/meminfo: memFree=26387852/32770624 swapFree=66927240/67108860
[pid=19262] ppid=19259 vsize=10659884 memory=40220 CPUtime=0.46 cores=0,2,4,6
/proc/19262/stat : 19262 (java) S 19259 19262 17167 0 -1 1077944320 9443 0 0 0 42 4 0 0 20 0 15 0 414897968 10915721216 10055 33554432000 4194304 4196468 140734530632368 140734530614912 140535348362999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
/proc/19262/statm: 2664971 10055 3002 1 0 2627468 0
[pid=19262/tid=19264] ppid=19259 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/19262/task/19264/stat : 19264 (java) R 19259 19262 17167 0 -1 4202560 6298 0 0 0 26 3 0 0 20 0 15 0 414897968 10915721216 10055 33554432000 4194304 4196468 140734530632368 140535352583888 140535332443486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19265] ppid=19259 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19265/stat : 19265 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534954645904 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19266] ppid=19259 vsize=10659884 memory=4123520839506974368 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19266/stat : 19266 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534953593104 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19267] ppid=19259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19267/stat : 19267 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534952540816 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19268] ppid=19259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19268/stat : 19268 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897969 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534951488016 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19269] ppid=19259 vsize=10659884 memory=139792557266560 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19269/stat : 19269 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897970 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534585518704 140535348374146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19270] ppid=19259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19270/stat : 19270 (java) S 19259 19262 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414897971 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534584464672 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19271] ppid=19259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19271/stat : 19271 (java) S 19259 19262 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414897971 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534583412336 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19272] ppid=19259 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19272/stat : 19272 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897973 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534582360656 140535348381595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19273] ppid=19259 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19262/task/19273/stat : 19273 (java) S 19259 19262 17167 0 -1 1077944384 918 0 0 0 4 0 0 0 20 0 15 0 414897973 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534581307504 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19274] ppid=19259 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/19262/task/19274/stat : 19274 (java) S 19259 19262 17167 0 -1 1077944384 118 0 0 0 3 0 0 0 20 0 15 0 414897973 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534580254704 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19275] ppid=19259 vsize=10659884 memory=139792557266560 CPUtime=0.07 cores=0,2,4,6
/proc/19262/task/19275/stat : 19275 (java) S 19259 19262 17167 0 -1 1077944384 750 0 0 0 7 0 0 0 20 0 15 0 414897973 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534579202416 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19276] ppid=19259 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19276/stat : 19276 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897974 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534578149856 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19277] ppid=19259 vsize=10659884 memory=139792557266560 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19277/stat : 19277 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897974 10915721216 10055 33554432000 4194304 4196468 140734530632368 140534577097648 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40220 KiB

[startup+0.700797 s]
/proc/loadavg: 1.72 1.78 1.79 3/229 19277
/proc/meminfo: memFree=26377148/32770624 swapFree=66927240/67108860
[pid=19262] ppid=19259 vsize=10661932 memory=60220 CPUtime=1.08 cores=0,2,4,6
/proc/19262/stat : 19262 (java) S 19259 19262 17167 0 -1 1077944320 12786 0 0 0 101 7 0 0 20 0 15 0 414897968 10917818368 15055 33554432000 4194304 4196468 140734530632368 140734530614912 140535348362999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
/proc/19262/statm: 2665483 15055 3069 1 0 2627980 0
[pid=19262/tid=19264] ppid=19259 vsize=10661932 memory=1436 CPUtime=0.67 cores=0,2,4,6
/proc/19262/task/19264/stat : 19264 (java) R 19259 19262 17167 0 -1 4202560 8827 0 0 0 62 5 0 0 20 0 15 0 414897968 10917818368 15055 33554432000 4194304 4196468 140734530632368 140535352586080 140535334341825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19265] ppid=19259 vsize=10661932 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19265/stat : 19265 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897969 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534954645904 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19266] ppid=19259 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19266/stat : 19266 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897969 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534953593104 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19267] ppid=19259 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19267/stat : 19267 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897969 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534952540816 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19268] ppid=19259 vsize=10661932 memory=692 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19268/stat : 19268 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897969 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534951488016 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19269] ppid=19259 vsize=10661932 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19269/stat : 19269 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897970 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534585518704 140535348374146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19270] ppid=19259 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19270/stat : 19270 (java) S 19259 19262 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414897971 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534584464672 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19271] ppid=19259 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19271/stat : 19271 (java) S 19259 19262 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414897971 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534583412336 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19272] ppid=19259 vsize=10661932 memory=6296683612688699741 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19272/stat : 19272 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897973 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534582360656 140535348381595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19273] ppid=19259 vsize=10661932 memory=7739276948478061671 CPUtime=0.11 cores=0,2,4,6
/proc/19262/task/19273/stat : 19273 (java) S 19259 19262 17167 0 -1 1077944384 1151 0 0 0 11 0 0 0 20 0 15 0 414897973 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534581307504 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19274] ppid=19259 vsize=10661932 memory=7019257425709197167 CPUtime=0.08 cores=0,2,4,6
/proc/19262/task/19274/stat : 19274 (java) S 19259 19262 17167 0 -1 1077944384 320 0 0 0 8 0 0 0 20 0 15 0 414897973 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534580254704 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19275] ppid=19259 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/19262/task/19275/stat : 19275 (java) S 19259 19262 17167 0 -1 1077944384 1128 0 0 0 18 0 0 0 20 0 15 0 414897973 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534579202416 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19276] ppid=19259 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19276/stat : 19276 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414897974 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534578149856 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19277] ppid=19259 vsize=10661932 memory=33 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19277/stat : 19277 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897974 10917818368 15055 33554432000 4194304 4196468 140734530632368 140534577097648 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60220 KiB

[startup+1.50081 s]
/proc/loadavg: 1.72 1.78 1.79 3/229 19277
/proc/meminfo: memFree=26361180/32770624 swapFree=66927240/67108860
[pid=19262] ppid=19259 vsize=10663980 memory=75188 CPUtime=1.98 cores=0,2,4,6
/proc/19262/stat : 19262 (java) S 19259 19262 17167 0 -1 1077944320 16889 0 0 0 190 8 0 0 20 0 15 0 414897968 10919915520 18797 33554432000 4194304 4196468 140734530632368 140734530614912 140535348362999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
/proc/19262/statm: 2665995 18797 3094 1 0 2628492 0
[pid=19262/tid=19264] ppid=19259 vsize=10663980 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/19262/task/19264/stat : 19264 (java) R 19259 19262 17167 0 -1 4202560 11787 0 0 0 141 6 0 0 20 0 15 0 414897968 10919915520 18797 33554432000 4194304 4196468 140734530632368 140535352595024 140535348384925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19265] ppid=19259 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19265/stat : 19265 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897969 10919915520 18797 33554432000 4194304 4196468 140734530632368 140534954645904 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19266] ppid=19259 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19266/stat : 19266 (java) S 19259 19262 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414897969 10919915520 18797 33554432000 4194304 4196468 140734530632368 140534953593104 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19267] ppid=19259 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19267/stat : 19267 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897969 10919915520 18797 33554432000 4194304 4196468 140734530632368 140534952540816 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19268] ppid=19259 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19268/stat : 19268 (java) S 19259 19262 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414897969 10919915520 18797 33554432000 4194304 4196468 140734530632368 140534951488016 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19269] ppid=19259 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19269/stat : 19269 (java) S 19259 19262 17167 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 414897970 10919915520 18797 33554432000 4194304 4196468 140734530632368 140534585518704 140535348374146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0

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

/proc/19262/task/19264/stat : 19264 (java) S 19259 19262 17167 0 -1 1077944384 13813 0 0 0 179 6 0 0 20 0 16 0 414897968 11006283776 71290 33554432000 4194304 4196468 140734530632368 140535352605872 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19265] ppid=19259 vsize=10748324 memory=285160 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19265/stat : 19265 (java) S 19259 19262 17167 0 -1 1077944384 1564 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534954645904 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19266] ppid=19259 vsize=10748324 memory=285160 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19266/stat : 19266 (java) S 19259 19262 17167 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534953593104 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19267] ppid=19259 vsize=10748324 memory=285160 CPUtime=0.03 cores=0,2,4,6
/proc/19262/task/19267/stat : 19267 (java) S 19259 19262 17167 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534952540816 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19268] ppid=19259 vsize=10748324 memory=6943526294502006832 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19268/stat : 19268 (java) S 19259 19262 17167 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534951488016 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19269] ppid=19259 vsize=10748324 memory=3580 CPUtime=0.01 cores=0,2,4,6
/proc/19262/task/19269/stat : 19269 (java) S 19259 19262 17167 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414897970 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534585518704 140535348374146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19270] ppid=19259 vsize=10748324 memory=39636 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19270/stat : 19270 (java) S 19259 19262 17167 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414897971 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534584464736 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19271] ppid=19259 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19271/stat : 19271 (java) S 19259 19262 17167 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414897971 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534583412352 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19272] ppid=19259 vsize=10748324 memory=4639363131991146601 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19272/stat : 19272 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534582360656 140535348381595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19273] ppid=19259 vsize=10748324 memory=6935649255791016480 CPUtime=1.81 cores=0,2,4,6
/proc/19262/task/19273/stat : 19273 (java) S 19259 19262 17167 0 -1 1077944384 11223 0 0 0 179 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534581307504 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19274] ppid=19259 vsize=10748324 memory=285160 CPUtime=1.75 cores=0,2,4,6
/proc/19262/task/19274/stat : 19274 (java) S 19259 19262 17167 0 -1 1077944384 10422 0 0 0 173 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534580254704 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19275] ppid=19259 vsize=10748324 memory=9592 CPUtime=0.88 cores=0,2,4,6
/proc/19262/task/19275/stat : 19275 (java) S 19259 19262 17167 0 -1 1077944384 7941 0 0 0 86 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534579202416 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19276] ppid=19259 vsize=10748324 memory=776 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19276/stat : 19276 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897974 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534578149856 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19277] ppid=19259 vsize=10748324 memory=1540 CPUtime=0.05 cores=0,2,4,6
/proc/19262/task/19277/stat : 19277 (java) S 19259 19262 17167 0 -1 1077944384 492 0 0 0 3 2 0 0 20 0 16 0 414897974 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534577097648 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19278] ppid=19259 vsize=10748324 memory=6791534058613427641 CPUtime=177.22 cores=0,2,4,6
/proc/19262/task/19278/stat : 19278 (java) R 19259 19262 17167 0 -1 4202560 9289 0 0 0 17720 2 0 0 20 0 16 0 414898157 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534560022096 140534979094262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
Current children cumulated CPU time: 183.77 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285160 KiB

[startup+180.801 s]
/proc/loadavg: 1.63 1.74 1.77 3/229 19292
/proc/meminfo: memFree=26141080/32770624 swapFree=66927240/67108860
[pid=19262] ppid=19259 vsize=10748324 memory=285160 CPUtime=185.37 cores=0,2,4,6
/proc/19262/stat : 19262 (java) S 19259 19262 17167 0 -1 1077944320 57610 0 0 0 18515 22 0 0 20 0 16 0 414897968 11006283776 71290 33554432000 4194304 4196468 140734530632368 140734530614912 140535348362999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
/proc/19262/statm: 2687081 71290 3374 1 0 2647217 0
[pid=19262/tid=19264] ppid=19259 vsize=10748324 memory=6791534058613427641 CPUtime=1.85 cores=0,2,4,6
/proc/19262/task/19264/stat : 19264 (java) S 19259 19262 17167 0 -1 1077944384 13813 0 0 0 179 6 0 0 20 0 16 0 414897968 11006283776 71290 33554432000 4194304 4196468 140734530632368 140535352605872 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19265] ppid=19259 vsize=10748324 memory=285160 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19265/stat : 19265 (java) S 19259 19262 17167 0 -1 1077944384 1564 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534954645904 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19266] ppid=19259 vsize=10748324 memory=185 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19266/stat : 19266 (java) S 19259 19262 17167 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534953593104 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19267] ppid=19259 vsize=10748324 memory=2 CPUtime=0.03 cores=0,2,4,6
/proc/19262/task/19267/stat : 19267 (java) S 19259 19262 17167 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534952540816 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19268] ppid=19259 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19268/stat : 19268 (java) S 19259 19262 17167 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534951488016 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19269] ppid=19259 vsize=10748324 memory=3580 CPUtime=0.01 cores=0,2,4,6
/proc/19262/task/19269/stat : 19269 (java) S 19259 19262 17167 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414897970 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534585518704 140535348374146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19270] ppid=19259 vsize=10748324 memory=39636 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19270/stat : 19270 (java) S 19259 19262 17167 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414897971 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534584464736 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19271] ppid=19259 vsize=10748324 memory=266396 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19271/stat : 19271 (java) S 19259 19262 17167 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414897971 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534583412352 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19272] ppid=19259 vsize=10748324 memory=285160 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19272/stat : 19272 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534582360656 140535348381595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19273] ppid=19259 vsize=10748324 memory=2832 CPUtime=1.81 cores=0,2,4,6
/proc/19262/task/19273/stat : 19273 (java) S 19259 19262 17167 0 -1 1077944384 11227 0 0 0 179 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534581307504 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19274] ppid=19259 vsize=10748324 memory=1716 CPUtime=1.75 cores=0,2,4,6
/proc/19262/task/19274/stat : 19274 (java) S 19259 19262 17167 0 -1 1077944384 10430 0 0 0 173 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534580254704 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19275] ppid=19259 vsize=10748324 memory=1124 CPUtime=0.88 cores=0,2,4,6
/proc/19262/task/19275/stat : 19275 (java) S 19259 19262 17167 0 -1 1077944384 7943 0 0 0 86 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534579202416 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19276] ppid=19259 vsize=10748324 memory=5924 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19276/stat : 19276 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897974 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534578149856 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19277] ppid=19259 vsize=10748324 memory=916 CPUtime=0.05 cores=0,2,4,6
/proc/19262/task/19277/stat : 19277 (java) S 19259 19262 17167 0 -1 1077944384 496 0 0 0 3 2 0 0 20 0 16 0 414897974 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534577097648 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19278] ppid=19259 vsize=10748324 memory=6791534058613427641 CPUtime=178.82 cores=0,2,4,6
/proc/19262/task/19278/stat : 19278 (java) R 19259 19262 17167 0 -1 4202560 9289 0 0 0 17880 2 0 0 20 0 16 0 414898157 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534560022096 140534978085632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
Current children cumulated CPU time: 185.37 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285160 KiB

[startup+181.201 s]
/proc/loadavg: 1.63 1.74 1.77 3/229 19293
/proc/meminfo: memFree=26141080/32770624 swapFree=66927240/67108860
[pid=19262] ppid=19259 vsize=10748324 memory=285160 CPUtime=185.77 cores=0,2,4,6
/proc/19262/stat : 19262 (java) S 19259 19262 17167 0 -1 1077944320 57610 0 0 0 18555 22 0 0 20 0 16 0 414897968 11006283776 71290 33554432000 4194304 4196468 140734530632368 140734530614912 140535348362999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
/proc/19262/statm: 2687081 71290 3374 1 0 2647217 0
[pid=19262/tid=19264] ppid=19259 vsize=10748324 memory=6791534058613427641 CPUtime=1.85 cores=0,2,4,6
/proc/19262/task/19264/stat : 19264 (java) S 19259 19262 17167 0 -1 1077944384 13813 0 0 0 179 6 0 0 20 0 16 0 414897968 11006283776 71290 33554432000 4194304 4196468 140734530632368 140535352605872 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19265] ppid=19259 vsize=10748324 memory=288230596050944315 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19265/stat : 19265 (java) S 19259 19262 17167 0 -1 1077944384 1564 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534954645904 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19266] ppid=19259 vsize=10748324 memory=15538522534712410 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19266/stat : 19266 (java) S 19259 19262 17167 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534953593104 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19267] ppid=19259 vsize=10748324 memory=916 CPUtime=0.03 cores=0,2,4,6
/proc/19262/task/19267/stat : 19267 (java) S 19259 19262 17167 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534952540816 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19268] ppid=19259 vsize=10748324 memory=1656 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19268/stat : 19268 (java) S 19259 19262 17167 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534951488016 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19269] ppid=19259 vsize=10748324 memory=14004 CPUtime=0.01 cores=0,2,4,6
/proc/19262/task/19269/stat : 19269 (java) S 19259 19262 17167 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414897970 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534585518704 140535348374146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19270] ppid=19259 vsize=10748324 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19270/stat : 19270 (java) S 19259 19262 17167 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414897971 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534584464736 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19271] ppid=19259 vsize=10748324 memory=21540 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19271/stat : 19271 (java) S 19259 19262 17167 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414897971 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534583412352 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19272] ppid=19259 vsize=10748324 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19272/stat : 19272 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534582360656 140535348381595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19273] ppid=19259 vsize=10748324 memory=528 CPUtime=1.81 cores=0,2,4,6
/proc/19262/task/19273/stat : 19273 (java) S 19259 19262 17167 0 -1 1077944384 11227 0 0 0 179 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534581307504 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19274] ppid=19259 vsize=10748324 memory=1560 CPUtime=1.75 cores=0,2,4,6
/proc/19262/task/19274/stat : 19274 (java) S 19259 19262 17167 0 -1 1077944384 10430 0 0 0 173 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534580254704 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19275] ppid=19259 vsize=10748324 memory=928 CPUtime=0.88 cores=0,2,4,6
/proc/19262/task/19275/stat : 19275 (java) S 19259 19262 17167 0 -1 1077944384 7943 0 0 0 86 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534579202416 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19276] ppid=19259 vsize=10748324 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19276/stat : 19276 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897974 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534578149856 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19277] ppid=19259 vsize=10748324 memory=828 CPUtime=0.05 cores=0,2,4,6
/proc/19262/task/19277/stat : 19277 (java) S 19259 19262 17167 0 -1 1077944384 496 0 0 0 3 2 0 0 20 0 16 0 414897974 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534577097648 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19278] ppid=19259 vsize=10748324 memory=6791534058613427641 CPUtime=179.22 cores=0,2,4,6
/proc/19262/task/19278/stat : 19278 (java) R 19259 19262 17167 0 -1 4202560 9289 0 0 0 17920 2 0 0 20 0 16 0 414898157 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534560022096 140534979207663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
Current children cumulated CPU time: 185.77 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285160 KiB

[startup+181.401 s]
/proc/loadavg: 1.63 1.74 1.77 3/229 19293
/proc/meminfo: memFree=26141080/32770624 swapFree=66927240/67108860
[pid=19262] ppid=19259 vsize=10748324 memory=285160 CPUtime=185.97 cores=0,2,4,6
/proc/19262/stat : 19262 (java) S 19259 19262 17167 0 -1 1077944320 57610 0 0 0 18575 22 0 0 20 0 16 0 414897968 11006283776 71290 33554432000 4194304 4196468 140734530632368 140734530614912 140535348362999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
/proc/19262/statm: 2687081 71290 3374 1 0 2647217 0
[pid=19262/tid=19264] ppid=19259 vsize=10748324 memory=804 CPUtime=1.85 cores=0,2,4,6
/proc/19262/task/19264/stat : 19264 (java) S 19259 19262 17167 0 -1 1077944384 13813 0 0 0 179 6 0 0 20 0 16 0 414897968 11006283776 71290 33554432000 4194304 4196468 140734530632368 140535352605872 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19265] ppid=19259 vsize=10748324 memory=1804 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19265/stat : 19265 (java) S 19259 19262 17167 0 -1 1077944384 1564 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534954645904 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19266] ppid=19259 vsize=10748324 memory=920 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19266/stat : 19266 (java) S 19259 19262 17167 0 -1 1077944384 95 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534953593104 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19267] ppid=19259 vsize=10748324 memory=3848 CPUtime=0.03 cores=0,2,4,6
/proc/19262/task/19267/stat : 19267 (java) S 19259 19262 17167 0 -1 1077944384 104 0 0 0 2 1 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534952540816 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19268] ppid=19259 vsize=10748324 memory=3356 CPUtime=0.02 cores=0,2,4,6
/proc/19262/task/19268/stat : 19268 (java) S 19259 19262 17167 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 16 0 414897969 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534951488016 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19269] ppid=19259 vsize=10748324 memory=2616 CPUtime=0.01 cores=0,2,4,6
/proc/19262/task/19269/stat : 19269 (java) S 19259 19262 17167 0 -1 1077944384 1101 0 0 0 1 0 0 0 20 0 16 0 414897970 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534585518704 140535348374146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19270] ppid=19259 vsize=10748324 memory=285160 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19270/stat : 19270 (java) S 19259 19262 17167 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414897971 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534584464736 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19271] ppid=19259 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19271/stat : 19271 (java) S 19259 19262 17167 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414897971 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534583412352 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19272] ppid=19259 vsize=10748324 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19272/stat : 19272 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534582360656 140535348381595 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19273] ppid=19259 vsize=10748324 memory=21540 CPUtime=1.81 cores=0,2,4,6
/proc/19262/task/19273/stat : 19273 (java) S 19259 19262 17167 0 -1 1077944384 11227 0 0 0 179 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534581307504 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19274] ppid=19259 vsize=10748324 memory=14068 CPUtime=1.75 cores=0,2,4,6
/proc/19262/task/19274/stat : 19274 (java) S 19259 19262 17167 0 -1 1077944384 10430 0 0 0 173 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534580254704 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19275] ppid=19259 vsize=10748324 memory=528 CPUtime=0.88 cores=0,2,4,6
/proc/19262/task/19275/stat : 19275 (java) S 19259 19262 17167 0 -1 1077944384 7943 0 0 0 86 2 0 0 20 0 16 0 414897973 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534579202416 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19276] ppid=19259 vsize=10748324 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/19262/task/19276/stat : 19276 (java) S 19259 19262 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414897974 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534578149856 140535348373205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19277] ppid=19259 vsize=10748324 memory=139792395286120 CPUtime=0.05 cores=0,2,4,6
/proc/19262/task/19277/stat : 19277 (java) S 19259 19262 17167 0 -1 1077944384 496 0 0 0 3 2 0 0 20 0 16 0 414897974 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534577097648 140535348374146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
[pid=19262/tid=19278] ppid=19259 vsize=10748324 memory=6127902851578480112 CPUtime=179.42 cores=0,2,4,6
/proc/19262/task/19278/stat : 19278 (java) R 19259 19262 17167 0 -1 4202560 9289 0 0 0 17940 2 0 0 20 0 16 0 414898157 11006283776 71290 33554432000 4194304 4196468 140734530632368 140534560022096 140534978661649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18919424 140734530634763 140734530634866 140734530634866 140734530637775 0
Current children cumulated CPU time: 185.97 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 285160 KiB

[startup+181.501 s]*
/proc/loadavg: 1.63 1.74 1.77 3/215 19295
/proc/meminfo: memFree=26350880/32770624 swapFree=66927240/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 181.511
CPU time (s): 186.083
CPU user time (s): 185.843
CPU system time (s): 0.240116
CPU usage (%): 102.519
Max. virtual memory (cumulated for all children) (KiB): 10753196
Max. memory (cumulated for all children) (KiB): 285160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.843
system time used= 0.240116
maximum resident set size= 285304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7562
involuntary context switches= 268


# summary of solver processes directly reported to runsolver:
#   pid: 19262
#   total CPU time (s): 186.083
#   total CPU user time (s): 185.843
#   total CPU system time (s): 0.240116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22224 second user time and 1.4936 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-13 16:54:24
IDJOB=4390964
IDBENCH=140483
IDSOLVER=2832
FILE ID=node137/4390964-1568386506
RUNJOBID= node137-1568380473-17198
PBS_JOBID= 21701831
Free space on /tmp= 61228 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-10-20-1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390964-1568386506/watcher-4390964-1568386506 -o /tmp/evaluation-result-4390964-1568386506/solver-4390964-1568386506 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568380473-17198 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390964-1568386506.xml -cm

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

MD5SUM BENCH= 4579a6cf23fef813b27c8fe20d1b5728
RANDOM SEED=1653496911

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        26415220 kB
MemAvailable:   31617844 kB
Buffers:          161360 kB
Cached:          5304912 kB
SwapCached:        77568 kB
Active:          1666076 kB
Inactive:        4067108 kB
Active(anon):     190744 kB
Inactive(anon):   117600 kB
Active(file):    1475332 kB
Inactive(file):  3949508 kB
Unevictable:      108712 kB
Mlocked:          108712 kB
SwapTotal:      67108860 kB
SwapFree:       66927240 kB
Dirty:              8796 kB
Writeback:             0 kB
AnonPages:        299712 kB
Mapped:            56624 kB
Shmem:             32752 kB
Slab:             217156 kB
SReclaimable:     187240 kB
SUnreclaim:        29916 kB
KernelStack:        3744 kB
PageTables:         6304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1167152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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= 61220 MiB
End job on node137 at 2019-09-13 16:57:26