Trace number 4390959

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-23OPT3 28.1469 18.9524

DiagnosticValue
WRONG_DECISIONS39305

General information on the benchmark

NameOpenStacks/OpenStacks-m1-s1/
OpenStacks-m1-wbop-30-30-1.xml
MD5SUM305bfce3403e7be8ea8343edd9c7d9a7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark24.6929
Satisfiable
(Un)Satisfiability was proved
Number of variables2760
Number of constraints2731
Number of domains4
Minimum domain size2
Maximum domain size31
Distribution of domain sizes[{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}]
Minimum constraint arity2
Maximum constraint arity31
Distribution of constraint arities[{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}]
Number of extensional constraints900
Number of intensional constraints900
Distribution of constraint types[{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}]
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.40/1.89	
2.40/1.89	AbsCon 2 
2.66/1.91	
3.66/2.26	  Instance
3.66/2.26	    name=instance-4390959-1568381648, framework=COP, bounds=-infty..+infty
3.66/2.26	
3.66/2.26	  Loading variables...
4.02/2.35	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f43adb2
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ca8666e
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@397eb1a2
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@142d70c1
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d082ec
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cbfaaa2
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a1d935b
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@130e21f3
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41f9f028
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a5b7c26
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32d5d68a
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d73c743
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75c56269
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9f8005
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c00b36
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f51ee58
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e4e650
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@508f45bb
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4195614e
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4985e0f1
6.07/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@558f1468
6.07/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e768c87
6.07/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78082051
6.07/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3921e895
6.07/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f126472
6.07/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5047e186
6.07/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74612866
6.07/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bd5baf2
6.07/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39dee2b7
6.07/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d76315
6.07/2.99	
6.07/2.99	
6.07/2.99	  Domains
6.07/2.99	    nTypes=4, nValues=8130, sizes=[2#1800,3#900,30#30,31#30]
6.07/2.99	  Variables
6.07/2.99	    count=2760, degrees=[2#960,3#1770,31#30]
6.07/2.99	  Objectives
6.07/2.99	    way=min, type=ObjMaximumLE
6.07/2.99	  Constraints
6.07/2.99	    count=2732, nSpecific=962, arities=[2#930,3#1770,30#2,31#30]
6.07/2.99	    distribution=[AllDifferent#1,CtrExtensionCT-Table#900,CtrExtensionV-Bits#900,CtrIntension#870,EQ#30,ObjMaximumLE#1,SumWeightedEQ#30]
6.07/2.99	    tables=[4#900], nTotalTuples=3600
6.07/2.99	    nExtStructures=(901,shared:899), nIntStructures=(1,shared:869), nCftStructures=(901,shared:869,unbuilt:962)
6.07/2.99	    wck=1.129, cpu=2.935, mem=28M674
6.87/3.26	  Solver SolverBacktrack being built...
6.87/3.26	
7.08/3.30	
7.08/3.30	  Solver
7.08/3.30	    guaranteedGAC=false
7.08/3.30	    wck=1.447, cpu=3.165, mem=174M8
7.08/3.35	
7.08/3.35	  Preprocessing
7.08/3.35	    filters=30, revisions=(60,useless=60), ccks=228, nACremovedValues=30, nTotalRemovedValues=30, inconcistency=false
7.08/3.35	    wck=0.044, cpu=3.213, mem=174M8
7.08/3.35	
7.36/3.47	o 19
8.00/3.66	    num=0, depth=2761..2759, filters=4062, revisions=(20637,useless=17997), ccks=12209, wck=0.355, mem=174M8
8.00/3.66	    decisions=29, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=19
8.00/3.66	    nFilterCalls=5399, avgTableProportion=0.75, avgTableSize=3.0
8.00/3.66	    
8.27/3.74	    num=1, depth=0..31, filters=8651, revisions=(41430,useless=35618), ccks=17283, wck=0.435, mem=174M8
8.27/3.74	    decisions=106, wrong=24, backtracks=13, failedAssignments=11, nogoods=5, foundSolutions=1, bestBound=19
8.27/3.74	    nFilterCalls=8389, avgTableProportion=0.75, avgTableSize=3.0
8.27/3.74	    
8.58/3.83	o 17
8.89/3.96	    num=2, depth=5..2759, filters=12817, revisions=(63169,useless=54320), ccks=26122, wck=0.65, mem=176M639
8.89/3.96	    decisions=177, wrong=29, backtracks=13, failedAssignments=16, nogoods=10, foundSolutions=2, bestBound=17
8.89/3.96	    nFilterCalls=13132, avgTableProportion=0.75, avgTableSize=3.0
8.89/3.96	    
8.89/4.00	    num=3, depth=7..32, filters=14084, revisions=(66405,useless=56659), ccks=27708, wck=0.7, mem=176M639
8.89/4.00	    decisions=248, wrong=56, backtracks=29, failedAssignments=28, nogoods=21, foundSolutions=2, bestBound=17
8.89/4.00	    nFilterCalls=14653, avgTableProportion=0.75, avgTableSize=3.0
8.89/4.00	    
9.22/4.09	o 16
9.79/4.22	    num=4, depth=12..2759, filters=18338, revisions=(88451,useless=75589), ccks=35990, wck=0.913, mem=179M271
9.79/4.22	    decisions=322, wrong=63, backtracks=29, failedAssignments=35, nogoods=28, foundSolutions=3, bestBound=16
9.79/4.22	    nFilterCalls=19436, avgTableProportion=0.75, avgTableSize=3.0
9.79/4.22	    
9.79/4.26	    num=5, depth=0..12, filters=19730, revisions=(92317,useless=78481), ccks=37752, wck=0.954, mem=179M271
9.79/4.26	    decisions=374, wrong=87, backtracks=41, failedAssignments=47, nogoods=31, foundSolutions=3, bestBound=16
9.79/4.26	    nFilterCalls=21083, avgTableProportion=0.75, avgTableSize=3.0
9.79/4.26	    
10.10/4.30	    num=6, depth=0..58, filters=23086, revisions=(106869,useless=90383), ccks=42747, wck=0.993, mem=179M271
10.10/4.30	    decisions=447, wrong=98, backtracks=41, failedAssignments=58, nogoods=41, foundSolutions=3, bestBound=16
10.10/4.30	    nFilterCalls=22750, avgTableProportion=0.75, avgTableSize=3.0
10.10/4.30	    
10.10/4.32	    num=7, depth=12..52, filters=24528, revisions=(111178,useless=93373), ccks=45719, wck=1.017, mem=179M271
10.10/4.32	    decisions=512, wrong=110, backtracks=41, failedAssignments=70, nogoods=53, foundSolutions=3, bestBound=16
10.10/4.32	    nFilterCalls=23440, avgTableProportion=0.75, avgTableSize=3.0
10.10/4.32	    
10.10/4.37	    num=8, depth=0..65, filters=29259, revisions=(131136,useless=109855), ccks=53619, wck=1.066, mem=179M271
10.10/4.37	    decisions=598, wrong=123, backtracks=41, failedAssignments=83, nogoods=65, foundSolutions=3, bestBound=16
10.10/4.37	    nFilterCalls=25884, avgTableProportion=0.75, avgTableSize=3.0
10.10/4.37	    
10.40/4.42	    num=9, depth=12..74, filters=34256, revisions=(149745,useless=124814), ccks=62029, wck=1.119, mem=179M271
10.40/4.42	    decisions=689, wrong=137, backtracks=41, failedAssignments=97, nogoods=79, foundSolutions=3, bestBound=16
10.40/4.42	    nFilterCalls=28646, avgTableProportion=0.75, avgTableSize=3.0
10.40/4.42	    
10.71/4.51	o 15
11.01/4.64	    num=10, depth=12..2759, filters=38938, revisions=(173539,useless=145056), ccks=72766, wck=1.33, mem=179M271
11.01/4.64	    decisions=787, wrong=150, backtracks=41, failedAssignments=110, nogoods=92, foundSolutions=4, bestBound=15
11.01/4.64	    nFilterCalls=33661, avgTableProportion=0.75, avgTableSize=3.0
11.01/4.64	    
11.01/4.70	    num=11, depth=23..66, filters=43614, revisions=(192262,useless=160035), ccks=80006, wck=1.391, mem=181M903
11.01/4.70	    decisions=888, wrong=170, backtracks=44, failedAssignments=127, nogoods=101, foundSolutions=4, bestBound=15
11.01/4.70	    nFilterCalls=36774, avgTableProportion=0.75, avgTableSize=3.0
11.01/4.70	    
11.31/4.72	    num=12, depth=12..72, filters=45184, revisions=(198266,useless=164638), ccks=83111, wck=1.414, mem=181M903
11.31/4.72	    decisions=972, wrong=181, backtracks=44, failedAssignments=138, nogoods=112, foundSolutions=4, bestBound=15
11.31/4.72	    nFilterCalls=37534, avgTableProportion=0.75, avgTableSize=3.0
11.31/4.72	    
11.31/4.76	    num=13, depth=0..104, filters=49294, revisions=(215166,useless=178313), ccks=89451, wck=1.455, mem=181M903
11.31/4.76	    decisions=1100, wrong=196, backtracks=47, failedAssignments=150, nogoods=121, foundSolutions=4, bestBound=15
11.31/4.76	    nFilterCalls=39543, avgTableProportion=0.75, avgTableSize=3.0
11.31/4.76	    
11.61/4.80	    num=14, depth=12..114, filters=52758, revisions=(230932,useless=191204), ccks=95633, wck=1.497, mem=181M903
11.61/4.80	    decisions=1229, wrong=209, backtracks=47, failedAssignments=163, nogoods=134, foundSolutions=4, bestBound=15
11.61/4.80	    nFilterCalls=41407, avgTableProportion=0.75, avgTableSize=3.0
11.61/4.80	    
11.61/4.85	    num=15, depth=100..107, filters=58011, revisions=(250087,useless=206881), ccks=101754, wck=1.542, mem=181M903
11.61/4.85	    decisions=1368, wrong=226, backtracks=53, failedAssignments=177, nogoods=142, foundSolutions=4, bestBound=15
11.61/4.85	    nFilterCalls=43956, avgTableProportion=0.75, avgTableSize=3.0
11.61/4.85	    
11.91/4.92	o 14
12.23/5.05	    num=16, depth=18..2759, filters=62440, revisions=(274454,useless=227918), ccks=111578, wck=1.741, mem=181M903
12.23/5.05	    decisions=1499, wrong=236, backtracks=53, failedAssignments=187, nogoods=152, foundSolutions=5, bestBound=14
12.23/5.05	    nFilterCalls=48909, avgTableProportion=0.75, avgTableSize=3.0
12.23/5.05	    
12.54/5.14	o 13
12.81/5.27	    num=17, depth=86..2759, filters=66264, revisions=(298145,useless=248890), ccks=119563, wck=1.961, mem=184M546
12.81/5.27	    decisions=1597, wrong=240, backtracks=53, failedAssignments=191, nogoods=156, foundSolutions=6, bestBound=13
12.81/5.27	    nFilterCalls=54561, avgTableProportion=0.75, avgTableSize=3.0
12.81/5.27	    
13.11/5.33	    num=18, depth=0..113, filters=69498, revisions=(316599,useless=264836), ccks=124134, wck=2.022, mem=184M546
13.11/5.33	    decisions=1731, wrong=252, backtracks=54, failedAssignments=202, nogoods=160, foundSolutions=6, bestBound=13
13.11/5.33	    nFilterCalls=57341, avgTableProportion=0.75, avgTableSize=3.0
13.11/5.33	    
13.11/5.35	    num=19, depth=19..87, filters=71270, revisions=(324642,useless=271292), ccks=127107, wck=2.041, mem=184M546
13.11/5.35	    decisions=1830, wrong=263, backtracks=54, failedAssignments=213, nogoods=171, foundSolutions=6, bestBound=13
13.11/5.35	    nFilterCalls=58231, avgTableProportion=0.75, avgTableSize=3.0
13.11/5.35	    
13.11/5.37	    num=20, depth=0..118, filters=74797, revisions=(341801,useless=285597), ccks=132475, wck=2.07, mem=184M546
13.11/5.37	    decisions=1967, wrong=275, backtracks=54, failedAssignments=225, nogoods=182, foundSolutions=6, bestBound=13
13.11/5.37	    nFilterCalls=60119, avgTableProportion=0.75, avgTableSize=3.0
13.11/5.37	    
13.41/5.40	    num=21, depth=19..118, filters=77663, revisions=(355899,useless=297293), ccks=137285, wck=2.096, mem=184M546
13.41/5.40	    decisions=2101, wrong=288, backtracks=54, failedAssignments=238, nogoods=195, foundSolutions=6, bestBound=13
13.41/5.40	    nFilterCalls=61611, avgTableProportion=0.75, avgTableSize=3.0
13.41/5.40	    
13.41/5.43	    num=22, depth=19..118, filters=80805, revisions=(370982,useless=309765), ccks=142058, wck=2.121, mem=184M546
13.41/5.43	    decisions=2237, wrong=302, backtracks=54, failedAssignments=252, nogoods=209, foundSolutions=6, bestBound=13
13.41/5.43	    nFilterCalls=63258, avgTableProportion=0.75, avgTableSize=3.0
13.41/5.43	    
13.41/5.45	    num=23, depth=19..121, filters=84744, revisions=(388644,useless=324292), ccks=147863, wck=2.146, mem=184M546
13.41/5.45	    decisions=2380, wrong=318, backtracks=54, failedAssignments=268, nogoods=225, foundSolutions=6, bestBound=13
13.41/5.45	    nFilterCalls=65266, avgTableProportion=0.75, avgTableSize=3.0
13.41/5.45	    
13.41/5.48	    num=24, depth=67..120, filters=89862, revisions=(411119,useless=342984), ccks=154545, wck=2.173, mem=184M546
13.41/5.48	    decisions=2535, wrong=337, backtracks=56, failedAssignments=285, nogoods=239, foundSolutions=6, bestBound=13
13.41/5.48	    nFilterCalls=67846, avgTableProportion=0.75, avgTableSize=3.0
13.41/5.48	    
13.70/5.51	    num=25, depth=68..128, filters=95663, revisions=(435799,useless=363450), ccks=162183, wck=2.203, mem=184M546
13.70/5.51	    decisions=2697, wrong=357, backtracks=57, failedAssignments=304, nogoods=258, foundSolutions=6, bestBound=13
13.70/5.51	    nFilterCalls=70771, avgTableProportion=0.75, avgTableSize=3.0
13.70/5.51	    
13.70/5.54	    num=26, depth=21..132, filters=100903, revisions=(458824,useless=382445), ccks=169550, wck=2.231, mem=184M546
13.70/5.54	    decisions=2859, wrong=378, backtracks=57, failedAssignments=325, nogoods=279, foundSolutions=6, bestBound=13
13.70/5.54	    nFilterCalls=73391, avgTableProportion=0.75, avgTableSize=3.0
13.70/5.54	    
13.70/5.56	    num=27, depth=21..125, filters=106322, revisions=(484068,useless=403544), ccks=176996, wck=2.257, mem=184M546
13.70/5.56	    decisions=3020, wrong=401, backtracks=57, failedAssignments=348, nogoods=302, foundSolutions=6, bestBound=13
13.70/5.56	    nFilterCalls=76008, avgTableProportion=0.75, avgTableSize=3.0
13.70/5.56	    
13.85/5.61	o 12
14.05/5.73	    num=28, depth=21..2759, filters=110713, revisions=(507748,useless=423964), ccks=185663, wck=2.425, mem=184M546
14.05/5.73	    decisions=3169, wrong=414, backtracks=59, failedAssignments=359, nogoods=313, foundSolutions=7, bestBound=12
14.05/5.73	    nFilterCalls=80919, avgTableProportion=0.75, avgTableSize=3.0
14.05/5.73	    
14.16/5.80	o 11
14.27/5.92	    num=29, depth=66..2759, filters=116334, revisions=(537202,useless=449087), ccks=197420, wck=2.617, mem=187M178
14.27/5.92	    decisions=3329, wrong=435, backtracks=60, failedAssignments=379, nogoods=333, foundSolutions=8, bestBound=11
14.27/5.92	    nFilterCalls=87405, avgTableProportion=0.75, avgTableSize=3.0
14.27/5.92	    
14.27/5.97	    num=30, depth=82..114, filters=120821, revisions=(554386,useless=463147), ccks=202859, wck=2.662, mem=187M178
14.27/5.97	    decisions=3469, wrong=449, backtracks=63, failedAssignments=390, nogoods=342, foundSolutions=8, bestBound=11
14.27/5.97	    nFilterCalls=90752, avgTableProportion=0.75, avgTableSize=3.0
14.27/5.97	    
14.27/5.98	    num=31, depth=62..73, filters=124680, revisions=(573741,useless=479586), ccks=208924, wck=2.68, mem=187M178
14.27/5.98	    decisions=3569, wrong=464, backtracks=68, failedAssignments=401, nogoods=350, foundSolutions=8, bestBound=11
14.27/5.98	    nFilterCalls=92843, avgTableProportion=0.75, avgTableSize=3.0
14.27/5.98	    
14.27/6.00	    num=32, depth=42..68, filters=127745, revisions=(591272,useless=494805), ccks=213980, wck=2.7, mem=187M178
14.27/6.00	    decisions=3659, wrong=476, backtracks=68, failedAssignments=413, nogoods=362, foundSolutions=8, bestBound=11
14.27/6.00	    nFilterCalls=94476, avgTableProportion=0.75, avgTableSize=3.0
14.27/6.00	    
14.43/6.02	    num=33, depth=50..60, filters=130688, revisions=(607791,useless=509098), ccks=218349, wck=2.718, mem=187M178
14.43/6.02	    decisions=3747, wrong=491, backtracks=70, failedAssignments=426, nogoods=366, foundSolutions=8, bestBound=11
14.43/6.02	    nFilterCalls=96035, avgTableProportion=0.75, avgTableSize=3.0
14.43/6.02	    
14.43/6.04	    num=34, depth=33..62, filters=134553, revisions=(626125,useless=524483), ccks=223566, wck=2.739, mem=187M178
14.43/6.04	    decisions=3839, wrong=509, backtracks=74, failedAssignments=440, nogoods=369, foundSolutions=8, bestBound=11
14.43/6.04	    nFilterCalls=97993, avgTableProportion=0.75, avgTableSize=3.0
14.43/6.04	    
14.43/6.06	    num=35, depth=45..53, filters=138092, revisions=(643837,useless=539556), ccks=228671, wck=2.757, mem=187M178
14.43/6.06	    decisions=3930, wrong=532, backtracks=81, failedAssignments=456, nogoods=376, foundSolutions=8, bestBound=11
14.43/6.06	    nFilterCalls=99830, avgTableProportion=0.75, avgTableSize=3.0
14.43/6.06	    
14.43/6.09	    num=36, depth=41..43, filters=145128, revisions=(671548,useless=562472), ccks=237213, wck=2.784, mem=187M178
14.43/6.09	    decisions=4023, wrong=557, backtracks=89, failedAssignments=473, nogoods=380, foundSolutions=8, bestBound=11
14.43/6.09	    nFilterCalls=103123, avgTableProportion=0.75, avgTableSize=3.0
14.43/6.09	    
14.62/6.11	    num=37, depth=56..113, filters=149736, revisions=(693945,useless=581458), ccks=244117, wck=2.806, mem=187M178
14.62/6.11	    decisions=4170, wrong=579, backtracks=92, failedAssignments=492, nogoods=397, foundSolutions=8, bestBound=11
14.62/6.11	    nFilterCalls=105451, avgTableProportion=0.75, avgTableSize=3.0
14.62/6.11	    
14.62/6.15	o 10
14.74/6.28	    num=38, depth=60..2759, filters=154038, revisions=(718565,useless=602882), ccks=252999, wck=2.97, mem=189M814
14.74/6.28	    decisions=4299, wrong=592, backtracks=92, failedAssignments=505, nogoods=410, foundSolutions=9, bestBound=10
14.74/6.28	    nFilterCalls=110217, avgTableProportion=0.75, avgTableSize=3.0
14.74/6.28	    
14.84/6.32	    num=39, depth=56..58, filters=161339, revisions=(749433,useless=628569), ccks=262730, wck=3.017, mem=189M814
14.84/6.32	    decisions=4422, wrong=625, backtracks=106, failedAssignments=528, nogoods=417, foundSolutions=9, bestBound=10
14.84/6.32	    nFilterCalls=114576, avgTableProportion=0.75, avgTableSize=3.0
14.84/6.32	    
14.84/6.34	    num=40, depth=47..100, filters=165081, revisions=(769249,useless=645548), ccks=269090, wck=3.035, mem=189M814
14.84/6.34	    decisions=4538, wrong=636, backtracks=106, failedAssignments=539, nogoods=428, foundSolutions=9, bestBound=10
14.84/6.34	    nFilterCalls=116570, avgTableProportion=0.75, avgTableSize=3.0
14.84/6.34	    
14.84/6.36	    num=41, depth=50..79, filters=170498, revisions=(792597,useless=665072), ccks=276090, wck=3.055, mem=189M814
14.84/6.36	    decisions=4650, wrong=653, backtracks=111, failedAssignments=551, nogoods=435, foundSolutions=9, bestBound=10
14.84/6.36	    nFilterCalls=119350, avgTableProportion=0.75, avgTableSize=3.0
14.84/6.36	    
14.84/6.38	    num=42, depth=0..107, filters=174551, revisions=(815357,useless=684731), ccks=282532, wck=3.075, mem=189M814
14.84/6.38	    decisions=4780, wrong=667, backtracks=112, failedAssignments=564, nogoods=446, foundSolutions=9, bestBound=10
14.84/6.38	    nFilterCalls=121383, avgTableProportion=0.75, avgTableSize=3.0
14.84/6.38	    
14.95/6.40	    num=43, depth=61..102, filters=178494, revisions=(837302,useless=703694), ccks=288265, wck=3.095, mem=189M814
14.95/6.40	    decisions=4909, wrong=682, backtracks=113, failedAssignments=578, nogoods=458, foundSolutions=9, bestBound=10
14.95/6.40	    nFilterCalls=123438, avgTableProportion=0.75, avgTableSize=3.0
14.95/6.40	    
14.95/6.44	o 9
15.06/6.56	    num=44, depth=63..2759, filters=182503, revisions=(862583,useless=725951), ccks=296275, wck=3.258, mem=189M814
15.06/6.56	    decisions=5034, wrong=692, backtracks=116, failedAssignments=585, nogoods=464, foundSolutions=10, bestBound=9
15.06/6.56	    nFilterCalls=128198, avgTableProportion=0.75, avgTableSize=3.0
15.06/6.56	    
15.16/6.61	    num=45, depth=69..99, filters=188442, revisions=(891093,useless=750180), ccks=303776, wck=3.306, mem=189M814
15.16/6.61	    decisions=5200, wrong=728, backtracks=140, failedAssignments=602, nogoods=468, foundSolutions=10, bestBound=9
15.16/6.61	    nFilterCalls=131866, avgTableProportion=0.75, avgTableSize=3.0
15.16/6.61	    
15.16/6.63	    num=46, depth=52..62, filters=192201, revisions=(910691,useless=766915), ccks=309421, wck=3.322, mem=189M814
15.16/6.63	    decisions=5291, wrong=744, backtracks=145, failedAssignments=613, nogoods=476, foundSolutions=10, bestBound=9
15.16/6.63	    nFilterCalls=133793, avgTableProportion=0.75, avgTableSize=3.0
15.16/6.63	    
15.16/6.64	    num=47, depth=55..61, filters=195471, revisions=(928461,useless=782195), ccks=313924, wck=3.336, mem=189M814
15.16/6.64	    decisions=5378, wrong=759, backtracks=149, failedAssignments=625, nogoods=486, foundSolutions=10, bestBound=9
15.16/6.64	    nFilterCalls=135474, avgTableProportion=0.75, avgTableSize=3.0
15.16/6.64	    
15.16/6.66	    num=48, depth=39..43, filters=201212, revisions=(954802,useless=804299), ccks=321606, wck=3.354, mem=189M814
15.16/6.66	    decisions=5466, wrong=783, backtracks=162, failedAssignments=638, nogoods=489, foundSolutions=10, bestBound=9
15.16/6.66	    nFilterCalls=138496, avgTableProportion=0.75, avgTableSize=3.0
15.16/6.66	    
15.16/6.67	    num=49, depth=47..50, filters=204164, revisions=(971077,useless=818257), ccks=326197, wck=3.367, mem=192M445
15.16/6.67	    decisions=5555, wrong=804, backtracks=169, failedAssignments=652, nogoods=492, foundSolutions=10, bestBound=9
15.16/6.67	    nFilterCalls=140005, avgTableProportion=0.75, avgTableSize=3.0
15.16/6.67	    
15.16/6.69	    num=50, depth=52..65, filters=208948, revisions=(987296,useless=831445), ccks=331908, wck=3.383, mem=192M445
15.16/6.69	    decisions=5664, wrong=828, backtracks=178, failedAssignments=668, nogoods=498, foundSolutions=10, bestBound=9
15.16/6.69	    nFilterCalls=142312, avgTableProportion=0.75, avgTableSize=3.0
15.16/6.69	    
15.27/6.70	    num=51, depth=50..62, filters=211657, revisions=(1000970,useless=843119), ccks=335847, wck=3.397, mem=192M445
15.27/6.70	    decisions=5761, wrong=847, backtracks=180, failedAssignments=685, nogoods=508, foundSolutions=10, bestBound=9
15.27/6.70	    nFilterCalls=143705, avgTableProportion=0.75, avgTableSize=3.0
15.27/6.70	    
15.27/6.72	    num=52, depth=47..64, filters=215748, revisions=(1019238,useless=858223), ccks=341773, wck=3.413, mem=192M445
15.27/6.72	    decisions=5872, wrong=871, backtracks=185, failedAssignments=704, nogoods=518, foundSolutions=10, bestBound=9
15.27/6.72	    nFilterCalls=145842, avgTableProportion=0.75, avgTableSize=3.0
15.27/6.72	    
15.27/6.74	    num=53, depth=51..57, filters=223605, revisions=(1045477,useless=878788), ccks=351685, wck=3.435, mem=192M445
15.27/6.74	    decisions=5986, wrong=901, backtracks=194, failedAssignments=725, nogoods=529, foundSolutions=10, bestBound=9
15.27/6.74	    nFilterCalls=150067, avgTableProportion=0.75, avgTableSize=3.0
15.27/6.74	    
15.27/6.76	    num=54, depth=56..60, filters=229067, revisions=(1067433,useless=896272), ccks=359969, wck=3.454, mem=192M445
15.27/6.76	    decisions=6107, wrong=933, backtracks=205, failedAssignments=748, nogoods=535, foundSolutions=10, bestBound=9
15.27/6.76	    nFilterCalls=152792, avgTableProportion=0.75, avgTableSize=3.0
15.27/6.76	    
15.27/6.79	    num=55, depth=58..62, filters=240027, revisions=(1099128,useless=919311), ccks=375974, wck=3.482, mem=192M445
15.27/6.79	    decisions=6234, wrong=967, backtracks=215, failedAssignments=773, nogoods=540, foundSolutions=10, bestBound=9
15.27/6.79	    nFilterCalls=158206, avgTableProportion=0.75, avgTableSize=3.0
15.27/6.79	    
15.37/6.80	    num=56, depth=46..60, filters=243755, revisions=(1117233,useless=934665), ccks=381479, wck=3.499, mem=192M445
15.37/6.80	    decisions=6372, wrong=1010, backtracks=231, failedAssignments=801, nogoods=545, foundSolutions=10, bestBound=9
15.37/6.80	    nFilterCalls=159974, avgTableProportion=0.75, avgTableSize=3.0
15.37/6.80	    
15.37/6.82	    num=57, depth=59..64, filters=246741, revisions=(1132383,useless=947522), ccks=385528, wck=3.514, mem=192M445
15.37/6.82	    decisions=6503, wrong=1046, backtracks=236, failedAssignments=832, nogoods=547, foundSolutions=10, bestBound=9
15.37/6.82	    nFilterCalls=161365, avgTableProportion=0.75, avgTableSize=3.0
15.37/6.82	    
15.37/6.84	    num=58, depth=62..82, filters=250729, revisions=(1150974,useless=963042), ccks=390574, wck=3.532, mem=192M445
15.37/6.84	    decisions=6658, wrong=1086, backtracks=243, failedAssignments=866, nogoods=551, foundSolutions=10, bestBound=9
15.37/6.84	    nFilterCalls=163267, avgTableProportion=0.75, avgTableSize=3.0
15.37/6.84	    
15.37/6.86	    num=59, depth=62..82, filters=254802, revisions=(1171005,useless=979951), ccks=395652, wck=3.552, mem=192M445
15.37/6.86	    decisions=6817, wrong=1128, backtracks=248, failedAssignments=903, nogoods=560, foundSolutions=10, bestBound=9
15.37/6.86	    nFilterCalls=165245, avgTableProportion=0.75, avgTableSize=3.0
15.37/6.86	    
15.37/6.88	    num=60, depth=68..85, filters=259118, revisions=(1191174,useless=996924), ccks=401021, wck=3.572, mem=192M445
15.37/6.88	    decisions=6988, wrong=1174, backtracks=253, failedAssignments=944, nogoods=567, foundSolutions=10, bestBound=9
15.37/6.88	    nFilterCalls=167211, avgTableProportion=0.75, avgTableSize=3.0
15.37/6.88	    
15.47/6.90	    num=61, depth=65..98, filters=265681, revisions=(1220210,useless=1020952), ccks=409399, wck=3.599, mem=192M445
15.47/6.90	    decisions=7206, wrong=1239, backtracks=276, failedAssignments=989, nogoods=575, foundSolutions=10, bestBound=9
15.47/6.90	    nFilterCalls=170273, avgTableProportion=0.75, avgTableSize=3.0
15.47/6.90	    
15.47/6.93	    num=62, depth=77..83, filters=273730, revisions=(1261346,useless=1055945), ccks=422004, wck=3.63, mem=192M445
15.47/6.93	    decisions=7438, wrong=1315, backtracks=304, failedAssignments=1039, nogoods=579, foundSolutions=10, bestBound=9
15.47/6.93	    nFilterCalls=174292, avgTableProportion=0.75, avgTableSize=3.0
15.47/6.93	    
15.47/6.96	    num=63, depth=67..80, filters=278896, revisions=(1284324,useless=1075148), ccks=428619, wck=3.652, mem=192M445
15.47/6.96	    decisions=7638, wrong=1380, backtracks=314, failedAssignments=1094, nogoods=583, foundSolutions=10, bestBound=9
15.47/6.96	    nFilterCalls=176635, avgTableProportion=0.75, avgTableSize=3.0
15.47/6.96	    
15.47/6.98	    num=64, depth=72..86, filters=285872, revisions=(1308500,useless=1094536), ccks=436529, wck=3.677, mem=192M445
15.47/6.98	    decisions=7868, wrong=1458, backtracks=331, failedAssignments=1155, nogoods=589, foundSolutions=10, bestBound=9
15.47/6.98	    nFilterCalls=179878, avgTableProportion=0.75, avgTableSize=3.0
15.47/6.98	    
15.59/7.01	    num=65, depth=56..81, filters=291996, revisions=(1332357,useless=1113943), ccks=444028, wck=3.701, mem=192M445
15.59/7.01	    decisions=8093, wrong=1537, backtracks=343, failedAssignments=1222, nogoods=609, foundSolutions=10, bestBound=9
15.59/7.01	    nFilterCalls=182593, avgTableProportion=0.75, avgTableSize=3.0
15.59/7.01	    
15.59/7.07	o 8
15.69/7.19	    num=66, depth=38..2759, filters=303785, revisions=(1385359,useless=1157377), ccks=463672, wck=3.884, mem=195M92
15.69/7.19	    decisions=8371, wrong=1629, backtracks=397, failedAssignments=1275, nogoods=623, foundSolutions=11, bestBound=8
15.69/7.19	    nFilterCalls=191844, avgTableProportion=0.75, avgTableSize=3.0
15.69/7.19	    
15.78/7.25	    num=67, depth=52..68, filters=317738, revisions=(1426219,useless=1188304), ccks=481473, wck=3.946, mem=195M92
15.78/7.25	    decisions=8676, wrong=1755, backtracks=448, failedAssignments=1356, nogoods=625, foundSolutions=11, bestBound=8
15.78/7.25	    nFilterCalls=199765, avgTableProportion=0.75, avgTableSize=3.0
15.78/7.25	    
15.78/7.26	    num=68, depth=57..59, filters=319871, revisions=(1438204,useless=1198645), ccks=484711, wck=3.957, mem=195M92
15.78/7.26	    decisions=8757, wrong=1767, backtracks=449, failedAssignments=1367, nogoods=632, foundSolutions=11, bestBound=8
15.78/7.26	    nFilterCalls=200807, avgTableProportion=0.75, avgTableSize=3.0
15.78/7.26	    
15.78/7.28	    num=69, depth=55..60, filters=323023, revisions=(1452353,useless=1210328), ccks=489272, wck=3.971, mem=195M92
15.78/7.28	    decisions=8843, wrong=1782, backtracks=454, failedAssignments=1379, nogoods=635, foundSolutions=11, bestBound=8
15.78/7.28	    nFilterCalls=202364, avgTableProportion=0.75, avgTableSize=3.0
15.78/7.28	    
15.78/7.29	    num=70, depth=58..62, filters=326143, revisions=(1466806,useless=1222336), ccks=493478, wck=3.985, mem=195M92
15.78/7.29	    decisions=8936, wrong=1798, backtracks=457, failedAssignments=1392, nogoods=646, foundSolutions=11, bestBound=8
15.78/7.29	    nFilterCalls=204081, avgTableProportion=0.75, avgTableSize=3.0
15.78/7.29	    
15.89/7.31	    num=71, depth=58..61, filters=330053, revisions=(1483386,useless=1235982), ccks=499037, wck=4.0, mem=195M92
15.89/7.31	    decisions=9035, wrong=1818, backtracks=463, failedAssignments=1406, nogoods=648, foundSolutions=11, bestBound=8
15.89/7.31	    nFilterCalls=206071, avgTableProportion=0.75, avgTableSize=3.0
15.89/7.31	    
15.89/7.32	    num=72, depth=59..65, filters=332915, revisions=(1499539,useless=1249933), ccks=503118, wck=4.015, mem=195M92
15.89/7.32	    decisions=9134, wrong=1836, backtracks=465, failedAssignments=1422, nogoods=660, foundSolutions=11, bestBound=8
15.89/7.32	    nFilterCalls=207480, avgTableProportion=0.75, avgTableSize=3.0
15.89/7.32	    
15.89/7.34	    num=73, depth=59..64, filters=337097, revisions=(1514329,useless=1261500), ccks=508846, wck=4.03, mem=195M92
15.89/7.34	    decisions=9235, wrong=1855, backtracks=467, failedAssignments=1439, nogoods=671, foundSolutions=11, bestBound=8
15.89/7.34	    nFilterCalls=209743, avgTableProportion=0.75, avgTableSize=3.0
15.89/7.34	    
15.89/7.35	    num=74, depth=46..63, filters=342301, revisions=(1530838,useless=1274500), ccks=514768, wck=4.047, mem=195M92
15.89/7.35	    decisions=9344, wrong=1879, backtracks=473, failedAssignments=1458, nogoods=685, foundSolutions=11, bestBound=8
15.89/7.35	    nFilterCalls=212465, avgTableProportion=0.75, avgTableSize=3.0
15.89/7.35	    
15.89/7.37	    num=75, depth=54..61, filters=347313, revisions=(1546424,useless=1286584), ccks=520380, wck=4.064, mem=195M92
15.89/7.37	    decisions=9456, wrong=1908, backtracks=481, failedAssignments=1479, nogoods=690, foundSolutions=11, bestBound=8
15.89/7.37	    nFilterCalls=215072, avgTableProportion=0.75, avgTableSize=3.0
15.89/7.37	    
15.89/7.39	    num=76, depth=61..66, filters=355984, revisions=(1569481,useless=1303898), ccks=529350, wck=4.087, mem=195M92
15.89/7.39	    decisions=9592, wrong=1944, backtracks=494, failedAssignments=1502, nogoods=695, foundSolutions=11, bestBound=8
15.89/7.39	    nFilterCalls=219431, avgTableProportion=0.75, avgTableSize=3.0
15.89/7.39	    
15.99/7.41	    num=77, depth=55..72, filters=362939, revisions=(1593611,useless=1322838), ccks=538127, wck=4.109, mem=195M92
15.99/7.41	    decisions=9722, wrong=1973, backtracks=499, failedAssignments=1527, nogoods=706, foundSolutions=11, bestBound=8
15.99/7.41	    nFilterCalls=223005, avgTableProportion=0.75, avgTableSize=3.0
15.99/7.41	    
15.99/7.44	    num=78, depth=57..68, filters=368922, revisions=(1615768,useless=1340444), ccks=545574, wck=4.13, mem=195M92
15.99/7.44	    decisions=9856, wrong=2008, backtracks=507, failedAssignments=1555, nogoods=712, foundSolutions=11, bestBound=8
15.99/7.44	    nFilterCalls=226236, avgTableProportion=0.75, avgTableSize=3.0
15.99/7.44	    
15.99/7.45	    num=79, depth=58..68, filters=374510, revisions=(1635831,useless=1356588), ccks=552082, wck=4.15, mem=195M92
15.99/7.45	    decisions=9998, wrong=2047, backtracks=516, failedAssignments=1586, nogoods=718, foundSolutions=11, bestBound=8
15.99/7.45	    nFilterCalls=229235, avgTableProportion=0.75, avgTableSize=3.0
15.99/7.45	    
15.99/7.48	    num=80, depth=65..69, filters=381371, revisions=(1661341,useless=1377177), ccks=560495, wck=4.173, mem=195M92
15.99/7.48	    decisions=10150, wrong=2089, backtracks=524, failedAssignments=1620, nogoods=732, foundSolutions=11, bestBound=8
15.99/7.48	    nFilterCalls=232863, avgTableProportion=0.75, avgTableSize=3.0
15.99/7.48	    
16.11/7.50	    num=81, depth=60..65, filters=386073, revisions=(1681524,useless=1393733), ccks=566683, wck=4.192, mem=195M92
16.11/7.50	    decisions=10298, wrong=2131, backtracks=529, failedAssignments=1657, nogoods=747, foundSolutions=11, bestBound=8
16.11/7.50	    nFilterCalls=235019, avgTableProportion=0.75, avgTableSize=3.0
16.11/7.50	    
16.11/7.53	    num=82, depth=64..69, filters=398219, revisions=(1715454,useless=1418999), ccks=580846, wck=4.224, mem=197M724
16.11/7.53	    decisions=10469, wrong=2184, backtracks=543, failedAssignments=1698, nogoods=752, foundSolutions=11, bestBound=8
16.11/7.53	    nFilterCalls=240661, avgTableProportion=0.75, avgTableSize=3.0
16.11/7.53	    
16.11/7.58	o 7
16.36/7.70	    num=83, depth=62..2759, filters=404072, revisions=(1747628,useless=1446604), ccks=592216, wck=4.393, mem=197M724
16.36/7.70	    decisions=10643, wrong=2219, backtracks=549, failedAssignments=1728, nogoods=773, foundSolutions=12, bestBound=7
16.36/7.70	    nFilterCalls=246124, avgTableProportion=0.75, avgTableSize=3.0
16.36/7.70	    
16.36/7.75	    num=84, depth=68..73, filters=415347, revisions=(1787732,useless=1478136), ccks=607543, wck=4.45, mem=197M724
16.36/7.75	    decisions=10852, wrong=2289, backtracks=570, failedAssignments=1778, nogoods=777, foundSolutions=12, bestBound=7
16.36/7.75	    nFilterCalls=252370, avgTableProportion=0.75, avgTableSize=3.0
16.36/7.75	    
16.36/7.77	    num=85, depth=49..60, filters=418182, revisions=(1802542,useless=1490753), ccks=611942, wck=4.463, mem=197M724
16.36/7.77	    decisions=10935, wrong=2301, backtracks=571, failedAssignments=1789, nogoods=788, foundSolutions=12, bestBound=7
16.36/7.77	    nFilterCalls=253903, avgTableProportion=0.75, avgTableSize=3.0
16.36/7.77	    
16.36/7.78	    num=86, depth=52..61, filters=420933, revisions=(1816556,useless=1502692), ccks=616028, wck=4.476, mem=197M724
16.36/7.78	    decisions=11021, wrong=2314, backtracks=572, failedAssignments=1801, nogoods=800, foundSolutions=12, bestBound=7
16.36/7.78	    nFilterCalls=255360, avgTableProportion=0.75, avgTableSize=3.0
16.36/7.78	    
16.36/7.80	    num=87, depth=53..64, filters=424674, revisions=(1832722,useless=1515869), ccks=621199, wck=4.491, mem=197M724
16.36/7.80	    decisions=11114, wrong=2330, backtracks=575, failedAssignments=1814, nogoods=813, foundSolutions=12, bestBound=7
16.36/7.80	    nFilterCalls=257183, avgTableProportion=0.75, avgTableSize=3.0
16.36/7.80	    
16.46/7.81	    num=88, depth=53..62, filters=427562, revisions=(1847539,useless=1528482), ccks=625283, wck=4.504, mem=197M724
16.46/7.81	    decisions=11206, wrong=2346, backtracks=577, failedAssignments=1828, nogoods=824, foundSolutions=12, bestBound=7
16.46/7.81	    nFilterCalls=258676, avgTableProportion=0.75, avgTableSize=3.0
16.46/7.81	    
16.46/7.82	    num=89, depth=55..62, filters=430501, revisions=(1861615,useless=1540371), ccks=629396, wck=4.518, mem=197M724
16.46/7.82	    decisions=11305, wrong=2366, backtracks=581, failedAssignments=1844, nogoods=831, foundSolutions=12, bestBound=7
16.46/7.82	    nFilterCalls=260134, avgTableProportion=0.75, avgTableSize=3.0
16.46/7.82	    
16.46/7.84	    num=90, depth=56..59, filters=432996, revisions=(1874215,useless=1551164), ccks=632730, wck=4.531, mem=197M724
16.46/7.84	    decisions=11401, wrong=2385, backtracks=583, failedAssignments=1861, nogoods=843, foundSolutions=12, bestBound=7
16.46/7.84	    nFilterCalls=261321, avgTableProportion=0.75, avgTableSize=3.0
16.46/7.84	    
16.46/7.85	    num=91, depth=49..58, filters=435902, revisions=(1888318,useless=1563085), ccks=636550, wck=4.546, mem=197M724
16.46/7.85	    decisions=11507, wrong=2409, backtracks=588, failedAssignments=1880, nogoods=855, foundSolutions=12, bestBound=7
16.46/7.85	    nFilterCalls=262726, avgTableProportion=0.75, avgTableSize=3.0
16.46/7.85	    
16.46/7.87	    num=92, depth=53..63, filters=440005, revisions=(1907005,useless=1578620), ccks=641935, wck=4.563, mem=197M724
16.46/7.87	    decisions=11626, wrong=2438, backtracks=596, failedAssignments=1901, nogoods=863, foundSolutions=12, bestBound=7
16.46/7.87	    nFilterCalls=264721, avgTableProportion=0.75, avgTableSize=3.0
16.46/7.87	    
16.46/7.88	    num=93, depth=52..58, filters=443336, revisions=(1921912,useless=1590985), ccks=646003, wck=4.578, mem=197M724
16.46/7.88	    decisions=11742, wrong=2469, backtracks=604, failedAssignments=1924, nogoods=870, foundSolutions=12, bestBound=7
16.46/7.88	    nFilterCalls=266304, avgTableProportion=0.75, avgTableSize=3.0
16.46/7.88	    
16.56/7.90	    num=94, depth=54..82, filters=447988, revisions=(1945229,useless=1610757), ccks=652142, wck=4.598, mem=197M724
16.56/7.90	    decisions=11884, wrong=2499, backtracks=609, failedAssignments=1949, nogoods=879, foundSolutions=12, bestBound=7
16.56/7.90	    nFilterCalls=268607, avgTableProportion=0.75, avgTableSize=3.0
16.56/7.90	    
16.56/7.92	    num=95, depth=51..61, filters=451961, revisions=(1963927,useless=1626446), ccks=657634, wck=4.615, mem=197M724
16.56/7.92	    decisions=12014, wrong=2535, backtracks=617, failedAssignments=1977, nogoods=886, foundSolutions=12, bestBound=7
16.56/7.92	    nFilterCalls=270537, avgTableProportion=0.75, avgTableSize=3.0
16.56/7.92	    
16.56/7.94	    num=96, depth=51..82, filters=456429, revisions=(1985788,useless=1645032), ccks=663393, wck=4.635, mem=200M356
16.56/7.94	    decisions=12170, wrong=2572, backtracks=624, failedAssignments=2008, nogoods=906, foundSolutions=12, bestBound=7
16.56/7.94	    nFilterCalls=272722, avgTableProportion=0.75, avgTableSize=3.0
16.56/7.94	    
16.56/7.97	    num=97, depth=56..58, filters=464510, revisions=(2016560,useless=1669955), ccks=674324, wck=4.66, mem=200M356
16.56/7.97	    decisions=12323, wrong=2620, backtracks=641, failedAssignments=2042, nogoods=915, foundSolutions=12, bestBound=7
16.56/7.97	    nFilterCalls=276681, avgTableProportion=0.75, avgTableSize=3.0
16.56/7.97	    
16.56/7.98	    num=98, depth=54..60, filters=468956, revisions=(2034899,useless=1685036), ccks=680305, wck=4.679, mem=200M356
16.56/7.98	    decisions=12473, wrong=2667, backtracks=651, failedAssignments=2079, nogoods=927, foundSolutions=12, bestBound=7
16.56/7.98	    nFilterCalls=278760, avgTableProportion=0.75, avgTableSize=3.0
16.56/7.98	    
16.71/8.01	    num=99, depth=58..61, filters=475769, revisions=(2059953,useless=1705292), ccks=688317, wck=4.703, mem=200M356
16.71/8.01	    decisions=12639, wrong=2721, backtracks=665, failedAssignments=2120, nogoods=929, foundSolutions=12, bestBound=7
16.71/8.01	    nFilterCalls=282033, avgTableProportion=0.75, avgTableSize=3.0
16.71/8.01	    
16.71/8.03	    num=100, depth=52..64, filters=480926, revisions=(2080159,useless=1721715), ccks=695127, wck=4.724, mem=200M356
16.71/8.03	    decisions=12816, wrong=2780, backtracks=679, failedAssignments=2165, nogoods=950, foundSolutions=12, bestBound=7
16.71/8.03	    nFilterCalls=284363, avgTableProportion=0.75, avgTableSize=3.0
16.71/8.03	    
16.71/8.06	    num=101, depth=59..63, filters=489810, revisions=(2110453,useless=1745624), ccks=705698, wck=4.751, mem=200M356
16.71/8.06	    decisions=13005, wrong=2845, backtracks=696, failedAssignments=2215, nogoods=958, foundSolutions=12, bestBound=7
16.71/8.06	    nFilterCalls=288380, avgTableProportion=0.75, avgTableSize=3.0
16.71/8.06	    
16.71/8.09	    num=102, depth=56..63, filters=499260, revisions=(2146894,useless=1775049), ccks=718072, wck=4.781, mem=200M356
16.71/8.09	    decisions=13213, wrong=2919, backtracks=718, failedAssignments=2270, nogoods=968, foundSolutions=12, bestBound=7
16.71/8.09	    nFilterCalls=292788, avgTableProportion=0.75, avgTableSize=3.0
16.71/8.09	    
16.82/8.12	    num=103, depth=57..60, filters=512568, revisions=(2195243,useless=1813545), ccks=735622, wck=4.818, mem=200M356
16.82/8.12	    decisions=13441, wrong=3003, backtracks=742, failedAssignments=2331, nogoods=977, foundSolutions=12, bestBound=7
16.82/8.12	    nFilterCalls=299068, avgTableProportion=0.75, avgTableSize=3.0
16.82/8.12	    
16.82/8.16	    num=104, depth=38..44, filters=524700, revisions=(2242816,useless=1852413), ccks=751711, wck=4.852, mem=200M356
16.82/8.16	    decisions=13663, wrong=3093, backtracks=767, failedAssignments=2398, nogoods=986, foundSolutions=12, bestBound=7
16.82/8.16	    nFilterCalls=304814, avgTableProportion=0.75, avgTableSize=3.0
16.82/8.16	    
16.82/8.18	    num=105, depth=40..58, filters=531830, revisions=(2267398,useless=1872031), ccks=760155, wck=4.877, mem=200M356
16.82/8.18	    decisions=13890, wrong=3181, backtracks=781, failedAssignments=2472, nogoods=999, foundSolutions=12, bestBound=7
16.82/8.18	    nFilterCalls=307915, avgTableProportion=0.75, avgTableSize=3.0
16.82/8.18	    
16.94/8.21	    num=106, depth=42..66, filters=542277, revisions=(2302349,useless=1899479), ccks=772769, wck=4.909, mem=200M356
16.94/8.21	    decisions=14153, wrong=3281, backtracks=802, failedAssignments=2553, nogoods=1021, foundSolutions=12, bestBound=7
16.94/8.21	    nFilterCalls=312558, avgTableProportion=0.75, avgTableSize=3.0
16.94/8.21	    
16.94/8.25	    num=107, depth=54..73, filters=551533, revisions=(2333181,useless=1923794), ccks=783400, wck=4.941, mem=200M356
16.94/8.25	    decisions=14434, wrong=3387, backtracks=820, failedAssignments=2642, nogoods=1043, foundSolutions=12, bestBound=7
16.94/8.25	    nFilterCalls=316561, avgTableProportion=0.75, avgTableSize=3.0
16.94/8.25	    
17.04/8.30	    num=108, depth=53..66, filters=571715, revisions=(2400540,useless=1975715), ccks=811606, wck=4.994, mem=200M356
17.04/8.30	    decisions=14758, wrong=3519, backtracks=857, failedAssignments=2740, nogoods=1053, foundSolutions=12, bestBound=7
17.04/8.30	    nFilterCalls=326447, avgTableProportion=0.75, avgTableSize=3.0
17.04/8.30	    
17.04/8.34	    num=109, depth=41..70, filters=583290, revisions=(2445566,useless=2012005), ccks=826913, wck=5.033, mem=200M356
17.04/8.34	    decisions=15075, wrong=3647, backtracks=877, failedAssignments=2848, nogoods=1077, foundSolutions=12, bestBound=7
17.04/8.34	    nFilterCalls=331893, avgTableProportion=0.75, avgTableSize=3.0
17.04/8.34	    
17.04/8.39	    num=110, depth=44..53, filters=604987, revisions=(2508602,useless=2058735), ccks=851113, wck=5.088, mem=202M989
17.04/8.39	    decisions=15452, wrong=3812, backtracks=925, failedAssignments=2967, nogoods=1083, foundSolutions=12, bestBound=7
17.04/8.39	    nFilterCalls=341193, avgTableProportion=0.75, avgTableSize=3.0
17.04/8.39	    
17.17/8.46	    num=111, depth=28..33, filters=634418, revisions=(2583755,useless=2109176), ccks=894540, wck=5.153, mem=202M989
17.17/8.46	    decisions=15802, wrong=3972, backtracks=956, failedAssignments=3098, nogoods=1103, foundSolutions=12, bestBound=7
17.17/8.46	    nFilterCalls=353889, avgTableProportion=0.75, avgTableSize=3.0
17.17/8.46	    
17.28/8.53	    num=112, depth=35..43, filters=667078, revisions=(2667424,useless=2166500), ccks=933863, wck=5.225, mem=202M989
17.28/8.53	    decisions=16202, wrong=4153, backtracks=995, failedAssignments=3242, nogoods=1111, foundSolutions=12, bestBound=7
17.28/8.53	    nFilterCalls=368196, avgTableProportion=0.75, avgTableSize=3.0
17.28/8.53	    
17.28/8.59	    num=113, depth=31..47, filters=691868, revisions=(2723984,useless=2204150), ccks=959822, wck=5.284, mem=202M989
17.28/8.59	    decisions=16622, wrong=4346, backtracks=1030, failedAssignments=3400, nogoods=1116, foundSolutions=12, bestBound=7
17.28/8.59	    nFilterCalls=378688, avgTableProportion=0.75, avgTableSize=3.0
17.28/8.59	    
17.38/8.65	    num=114, depth=28..89, filters=711356, revisions=(2807300,useless=2272430), ccks=987146, wck=5.347, mem=202M989
17.38/8.65	    decisions=17182, wrong=4586, backtracks=1116, failedAssignments=3574, nogoods=1152, foundSolutions=12, bestBound=7
17.38/8.65	    nFilterCalls=387403, avgTableProportion=0.75, avgTableSize=3.0
17.38/8.65	    
17.48/8.72	    num=115, depth=31..66, filters=735968, revisions=(2884541,useless=2331495), ccks=1016681, wck=5.412, mem=202M989
17.48/8.72	    decisions=17738, wrong=4835, backtracks=1177, failedAssignments=3765, nogoods=1183, foundSolutions=12, bestBound=7
17.48/8.72	    nFilterCalls=398317, avgTableProportion=0.75, avgTableSize=3.0
17.48/8.72	    
17.48/8.80	    num=116, depth=32..44, filters=768029, revisions=(2978327,useless=2401183), ccks=1054791, wck=5.49, mem=205M621
17.48/8.80	    decisions=18336, wrong=5114, backtracks=1253, failedAssignments=3976, nogoods=1203, foundSolutions=12, bestBound=7
17.48/8.80	    nFilterCalls=412637, avgTableProportion=0.75, avgTableSize=3.0
17.48/8.80	    
17.69/8.91	    num=117, depth=39..45, filters=834300, revisions=(3099252,useless=2481219), ccks=1117999, wck=5.609, mem=205M621
17.69/8.91	    decisions=18959, wrong=5405, backtracks=1318, failedAssignments=4208, nogoods=1220, foundSolutions=12, bestBound=7
17.69/8.91	    nFilterCalls=442313, avgTableProportion=0.75, avgTableSize=3.0
17.69/8.91	    
17.69/9.00	    num=118, depth=28..35, filters=872970, revisions=(3194572,useless=2551026), ccks=1157546, wck=5.692, mem=205M621
17.69/9.00	    decisions=19592, wrong=5707, backtracks=1366, failedAssignments=4463, nogoods=1243, foundSolutions=12, bestBound=7
17.69/9.00	    nFilterCalls=459039, avgTableProportion=0.75, avgTableSize=3.0
17.69/9.00	    
17.90/9.12	    num=119, depth=42..47, filters=927258, revisions=(3339154,useless=2656393), ccks=1222437, wck=5.81, mem=208M253
17.90/9.12	    decisions=20336, wrong=6057, backtracks=1441, failedAssignments=4744, nogoods=1258, foundSolutions=12, bestBound=7
17.90/9.12	    nFilterCalls=483841, avgTableProportion=0.75, avgTableSize=3.0
17.90/9.12	    
17.99/9.24	    num=120, depth=32..51, filters=982542, revisions=(3472626,useless=2748398), ccks=1282433, wck=5.935, mem=208M253
17.99/9.24	    decisions=21196, wrong=6469, backtracks=1556, failedAssignments=5053, nogoods=1293, foundSolutions=12, bestBound=7
17.99/9.24	    nFilterCalls=507880, avgTableProportion=0.75, avgTableSize=3.0
17.99/9.24	    
18.10/9.32	    num=121, depth=43..65, filters=1010518, revisions=(3551602,useless=2807660), ccks=1310380, wck=6.016, mem=208M253
18.10/9.32	    decisions=22077, wrong=6886, backtracks=1635, failedAssignments=5393, nogoods=1322, foundSolutions=12, bestBound=7
18.10/9.32	    nFilterCalls=518811, avgTableProportion=0.75, avgTableSize=3.0
18.10/9.32	    
18.23/9.41	o 6
18.33/9.54	    num=122, depth=47..2759, filters=1037615, revisions=(3635749,useless=2873031), ccks=1344866, wck=6.231, mem=210M884
18.33/9.54	    decisions=22666, wrong=7126, backtracks=1693, failedAssignments=5577, nogoods=1362, foundSolutions=13, bestBound=6
18.33/9.54	    nFilterCalls=534073, avgTableProportion=0.75, avgTableSize=3.0
18.33/9.54	    
18.53/9.75	    num=123, depth=50..56, filters=1131746, revisions=(3874534,useless=3045595), ccks=1455153, wck=6.447, mem=210M884
18.53/9.75	    decisions=23759, wrong=7646, backtracks=1814, failedAssignments=5988, nogoods=1390, foundSolutions=13, bestBound=6
18.53/9.75	    nFilterCalls=579522, avgTableProportion=0.75, avgTableSize=3.0
18.53/9.75	    
18.53/9.76	    num=124, depth=35..52, filters=1133804, revisions=(3883760,useless=3053243), ccks=1458428, wck=6.457, mem=210M884
18.53/9.76	    decisions=23838, wrong=7663, backtracks=1820, failedAssignments=5999, nogoods=1397, foundSolutions=13, bestBound=6
18.53/9.76	    nFilterCalls=580509, avgTableProportion=0.75, avgTableSize=3.0
18.53/9.76	    
18.53/9.78	    num=125, depth=40..45, filters=1138522, revisions=(3898900,useless=3064543), ccks=1464371, wck=6.472, mem=210M884
18.53/9.78	    decisions=23917, wrong=7680, backtracks=1826, failedAssignments=6011, nogoods=1403, foundSolutions=13, bestBound=6
18.53/9.78	    nFilterCalls=582664, avgTableProportion=0.75, avgTableSize=3.0
18.53/9.78	    
18.53/9.79	    num=126, depth=37..84, filters=1140869, revisions=(3912554,useless=3076384), ccks=1467873, wck=6.487, mem=210M884
18.53/9.79	    decisions=24025, wrong=7693, backtracks=1826, failedAssignments=6024, nogoods=1416, foundSolutions=13, bestBound=6
18.53/9.79	    nFilterCalls=583844, avgTableProportion=0.75, avgTableSize=3.0
18.53/9.79	    
18.64/9.80	    num=127, depth=47..56, filters=1143069, revisions=(3922930,useless=3085063), ccks=1470912, wck=6.499, mem=210M884
18.64/9.80	    decisions=24113, wrong=7712, backtracks=1831, failedAssignments=6038, nogoods=1427, foundSolutions=13, bestBound=6
18.64/9.80	    nFilterCalls=584917, avgTableProportion=0.75, avgTableSize=3.0
18.64/9.80	    
18.64/9.82	    num=128, depth=41..51, filters=1146975, revisions=(3937466,useless=3096471), ccks=1475901, wck=6.514, mem=210M884
18.64/9.82	    decisions=24204, wrong=7732, backtracks=1835, failedAssignments=6054, nogoods=1443, foundSolutions=13, bestBound=6
18.64/9.82	    nFilterCalls=586750, avgTableProportion=0.75, avgTableSize=3.0
18.64/9.82	    
18.64/9.83	    num=129, depth=46..50, filters=1149393, revisions=(3948489,useless=3105694), ccks=1478810, wck=6.525, mem=210M884
18.64/9.83	    decisions=24289, wrong=7750, backtracks=1836, failedAssignments=6071, nogoods=1459, foundSolutions=13, bestBound=6
18.64/9.83	    nFilterCalls=587892, avgTableProportion=0.75, avgTableSize=3.0
18.64/9.83	    
18.64/9.85	    num=130, depth=43..61, filters=1153882, revisions=(3966206,useless=3119943), ccks=1484678, wck=6.542, mem=213M516
18.64/9.85	    decisions=24395, wrong=7773, backtracks=1840, failedAssignments=6090, nogoods=1471, foundSolutions=13, bestBound=6
18.64/9.85	    nFilterCalls=590081, avgTableProportion=0.75, avgTableSize=3.0
18.64/9.85	    
18.64/9.86	    num=131, depth=44..58, filters=1156442, revisions=(3978101,useless=3129931), ccks=1488066, wck=6.555, mem=213M516
18.64/9.86	    decisions=24501, wrong=7799, backtracks=1845, failedAssignments=6111, nogoods=1484, foundSolutions=13, bestBound=6
18.64/9.86	    nFilterCalls=591322, avgTableProportion=0.75, avgTableSize=3.0
18.64/9.86	    
18.64/9.88	    num=132, depth=42..49, filters=1161300, revisions=(3994125,useless=3142164), ccks=1494373, wck=6.571, mem=213M516
18.64/9.88	    decisions=24607, wrong=7830, backtracks=1853, failedAssignments=6134, nogoods=1492, foundSolutions=13, bestBound=6
18.64/9.88	    nFilterCalls=593652, avgTableProportion=0.75, avgTableSize=3.0
18.64/9.88	    
18.64/9.89	    num=133, depth=37..86, filters=1164235, revisions=(4008447,useless=3154290), ccks=1498509, wck=6.587, mem=213M516
18.64/9.89	    decisions=24747, wrong=7859, backtracks=1857, failedAssignments=6159, nogoods=1515, foundSolutions=13, bestBound=6
18.64/9.89	    nFilterCalls=594987, avgTableProportion=0.75, avgTableSize=3.0
18.64/9.89	    
18.75/9.91	    num=134, depth=45..56, filters=1168001, revisions=(4023672,useless=3166653), ccks=1503445, wck=6.603, mem=213M516
18.75/9.91	    decisions=24870, wrong=7893, backtracks=1864, failedAssignments=6187, nogoods=1533, foundSolutions=13, bestBound=6
18.75/9.91	    nFilterCalls=596702, avgTableProportion=0.75, avgTableSize=3.0
18.75/9.91	    
18.75/9.92	    num=135, depth=44..53, filters=1172265, revisions=(4039427,useless=3179241), ccks=1508506, wck=6.62, mem=213M516
18.75/9.92	    decisions=24998, wrong=7931, backtracks=1873, failedAssignments=6218, nogoods=1548, foundSolutions=13, bestBound=6
18.75/9.92	    nFilterCalls=598654, avgTableProportion=0.75, avgTableSize=3.0
18.75/9.92	    
18.75/9.94	    num=136, depth=41..61, filters=1176781, revisions=(4056712,useless=3193236), ccks=1514046, wck=6.637, mem=213M516
18.75/9.94	    decisions=25135, wrong=7970, backtracks=1878, failedAssignments=6252, nogoods=1572, foundSolutions=13, bestBound=6
18.75/9.94	    nFilterCalls=600714, avgTableProportion=0.75, avgTableSize=3.0
18.75/9.94	    
18.75/9.96	    num=137, depth=49..64, filters=1182446, revisions=(4077795,useless=3210090), ccks=1520855, wck=6.658, mem=213M516
18.75/9.96	    decisions=25299, wrong=8024, backtracks=1900, failedAssignments=6289, nogoods=1581, foundSolutions=13, bestBound=6
18.75/9.96	    nFilterCalls=603237, avgTableProportion=0.75, avgTableSize=3.0
18.75/9.96	    
18.75/9.99	    num=138, depth=45..90, filters=1187463, revisions=(4098388,useless=3226832), ccks=1527322, wck=6.68, mem=213M516
18.75/9.99	    decisions=25488, wrong=8075, backtracks=1910, failedAssignments=6330, nogoods=1605, foundSolutions=13, bestBound=6
18.75/9.99	    nFilterCalls=605435, avgTableProportion=0.75, avgTableSize=3.0
18.75/9.99	    
18.86/10.01	    num=139, depth=50..103, filters=1191905, revisions=(4118834,useless=3243993), ccks=1533155, wck=6.703, mem=213M516
18.86/10.01	    decisions=25682, wrong=8124, backtracks=1915, failedAssignments=6375, nogoods=1632, foundSolutions=13, bestBound=6
18.86/10.01	    nFilterCalls=607464, avgTableProportion=0.75, avgTableSize=3.0
18.86/10.01	    
18.86/10.04	    num=140, depth=50..114, filters=1197558, revisions=(4144798,useless=3265766), ccks=1539937, wck=6.731, mem=213M516
18.86/10.04	    decisions=25910, wrong=8185, backtracks=1929, failedAssignments=6425, nogoods=1667, foundSolutions=13, bestBound=6
18.86/10.04	    nFilterCalls=609996, avgTableProportion=0.75, avgTableSize=3.0
18.86/10.04	    
18.86/10.06	    num=141, depth=50..112, filters=1202597, revisions=(4167206,useless=3284394), ccks=1545981, wck=6.756, mem=213M516
18.86/10.06	    decisions=26142, wrong=8249, backtracks=1939, failedAssignments=6480, nogoods=1699, foundSolutions=13, bestBound=6
18.86/10.06	    nFilterCalls=612267, avgTableProportion=0.75, avgTableSize=3.0
18.86/10.06	    
18.86/10.09	    num=142, depth=67..100, filters=1209432, revisions=(4194092,useless=3306061), ccks=1553757, wck=6.784, mem=213M516
18.86/10.09	    decisions=26388, wrong=8327, backtracks=1959, failedAssignments=6541, nogoods=1725, foundSolutions=13, bestBound=6
18.86/10.09	    nFilterCalls=615181, avgTableProportion=0.75, avgTableSize=3.0
18.86/10.09	    
18.97/10.13	o 5
19.06/10.25	    num=143, depth=96..2759, filters=1213246, revisions=(4218671,useless=3327668), ccks=1562032, wck=6.948, mem=213M516
19.06/10.25	    decisions=26542, wrong=8342, backtracks=1959, failedAssignments=6556, nogoods=1740, foundSolutions=14, bestBound=5
19.06/10.25	    nFilterCalls=619778, avgTableProportion=0.75, avgTableSize=3.0
19.06/10.25	    
19.16/10.30	    num=144, depth=44..54, filters=1220754, revisions=(4242286,useless=3345668), ccks=1570276, wck=6.996, mem=216M148
19.16/10.30	    decisions=26762, wrong=8428, backtracks=1971, failedAssignments=6630, nogoods=1744, foundSolutions=14, bestBound=5
19.16/10.30	    nFilterCalls=623711, avgTableProportion=0.75, avgTableSize=3.0
19.16/10.30	    
19.16/10.31	    num=145, depth=41..49, filters=1222404, revisions=(4248470,useless=3350613), ccks=1572408, wck=7.005, mem=216M148
19.16/10.31	    decisions=26837, wrong=8443, backtracks=1975, failedAssignments=6641, nogoods=1750, foundSolutions=14, bestBound=5
19.16/10.31	    nFilterCalls=624497, avgTableProportion=0.75, avgTableSize=3.0
19.16/10.31	    
19.16/10.32	    num=146, depth=44..47, filters=1223888, revisions=(4254964,useless=3356018), ccks=1574380, wck=7.013, mem=216M148
19.16/10.32	    decisions=26908, wrong=8455, backtracks=1975, failedAssignments=6653, nogoods=1762, foundSolutions=14, bestBound=5
19.16/10.32	    nFilterCalls=625228, avgTableProportion=0.75, avgTableSize=3.0
19.16/10.32	    
19.16/10.33	    num=147, depth=47..52, filters=1225546, revisions=(4262629,useless=3362445), ccks=1576567, wck=7.022, mem=216M148
19.16/10.33	    decisions=26986, wrong=8468, backtracks=1975, failedAssignments=6666, nogoods=1775, foundSolutions=14, bestBound=5
19.16/10.33	    nFilterCalls=626050, avgTableProportion=0.75, avgTableSize=3.0
19.16/10.33	    
19.16/10.34	    num=148, depth=44..51, filters=1227614, revisions=(4271665,useless=3369987), ccks=1579232, wck=7.033, mem=216M148
19.16/10.34	    decisions=27066, wrong=8483, backtracks=1976, failedAssignments=6680, nogoods=1788, foundSolutions=14, bestBound=5
19.16/10.34	    nFilterCalls=627059, avgTableProportion=0.75, avgTableSize=3.0
19.16/10.34	    
19.16/10.35	    num=149, depth=41..47, filters=1231065, revisions=(4283373,useless=3379177), ccks=1583193, wck=7.045, mem=216M148
19.16/10.35	    decisions=27157, wrong=8507, backtracks=1984, failedAssignments=6696, nogoods=1795, foundSolutions=14, bestBound=5
19.16/10.35	    nFilterCalls=628701, avgTableProportion=0.75, avgTableSize=3.0
19.16/10.35	    
19.16/10.36	    num=150, depth=41..48, filters=1235832, revisions=(4297153,useless=3389299), ccks=1589077, wck=7.06, mem=216M148
19.16/10.36	    decisions=27261, wrong=8538, backtracks=1998, failedAssignments=6713, nogoods=1802, foundSolutions=14, bestBound=5
19.16/10.36	    nFilterCalls=630785, avgTableProportion=0.75, avgTableSize=3.0
19.16/10.36	    
19.16/10.38	    num=151, depth=40..45, filters=1238497, revisions=(4306399,useless=3396608), ccks=1592119, wck=7.071, mem=216M148
19.16/10.38	    decisions=27352, wrong=8562, backtracks=2003, failedAssignments=6732, nogoods=1812, foundSolutions=14, bestBound=5
19.16/10.38	    nFilterCalls=631970, avgTableProportion=0.75, avgTableSize=3.0
19.16/10.38	    
19.16/10.39	    num=152, depth=38..50, filters=1242861, revisions=(4319018,useless=3406065), ccks=1597067, wck=7.085, mem=216M148
19.16/10.39	    decisions=27466, wrong=8599, backtracks=2019, failedAssignments=6753, nogoods=1815, foundSolutions=14, bestBound=5
19.16/10.39	    nFilterCalls=633899, avgTableProportion=0.75, avgTableSize=3.0
19.16/10.39	    
19.26/10.40	    num=153, depth=41..47, filters=1245691, revisions=(4327363,useless=3412567), ccks=1600044, wck=7.096, mem=216M148
19.26/10.40	    decisions=27566, wrong=8628, backtracks=2025, failedAssignments=6776, nogoods=1822, foundSolutions=14, bestBound=5
19.26/10.40	    nFilterCalls=635094, avgTableProportion=0.75, avgTableSize=3.0
19.26/10.40	    
19.26/10.41	    num=154, depth=42..49, filters=1248604, revisions=(4337096,useless=3420261), ccks=1603209, wck=7.108, mem=216M148
19.26/10.41	    decisions=27676, wrong=8662, backtracks=2035, failedAssignments=6801, nogoods=1824, foundSolutions=14, bestBound=5
19.26/10.41	    nFilterCalls=636362, avgTableProportion=0.75, avgTableSize=3.0
19.26/10.41	    
19.26/10.42	    num=155, depth=42..49, filters=1251218, revisions=(4347234,useless=3428511), ccks=1606420, wck=7.12, mem=216M148
19.26/10.42	    decisions=27792, wrong=8696, backtracks=2041, failedAssignments=6829, nogoods=1826, foundSolutions=14, bestBound=5
19.26/10.42	    nFilterCalls=637492, avgTableProportion=0.75, avgTableSize=3.0
19.26/10.42	    
19.26/10.44	    num=156, depth=43..51, filters=1254019, revisions=(4357127,useless=3436399), ccks=1609356, wck=7.132, mem=216M148
19.26/10.44	    decisions=27913, wrong=8735, backtracks=2049, failedAssignments=6860, nogoods=1827, foundSolutions=14, bestBound=5
19.26/10.44	    nFilterCalls=638648, avgTableProportion=0.75, avgTableSize=3.0
19.26/10.44	    
19.26/10.46	    num=157, depth=46..55, filters=1259890, revisions=(4374476,useless=3449402), ccks=1616221, wck=7.151, mem=216M148
19.26/10.46	    decisions=28052, wrong=8780, backtracks=2060, failedAssignments=6894, nogoods=1830, foundSolutions=14, bestBound=5
19.26/10.46	    nFilterCalls=641278, avgTableProportion=0.75, avgTableSize=3.0
19.26/10.46	    
19.26/10.47	    num=158, depth=38..44, filters=1265584, revisions=(4388373,useless=3459624), ccks=1621291, wck=7.168, mem=216M148
19.26/10.47	    decisions=28189, wrong=8829, backtracks=2072, failedAssignments=6931, nogoods=1845, foundSolutions=14, bestBound=5
19.26/10.47	    nFilterCalls=643627, avgTableProportion=0.75, avgTableSize=3.0
19.26/10.47	    
19.26/10.49	    num=159, depth=44..50, filters=1271599, revisions=(4408110,useless=3475013), ccks=1628122, wck=7.187, mem=216M148
19.26/10.49	    decisions=28336, wrong=8879, backtracks=2081, failedAssignments=6972, nogoods=1852, foundSolutions=14, bestBound=5
19.26/10.49	    nFilterCalls=646355, avgTableProportion=0.75, avgTableSize=3.0
19.26/10.49	    
19.36/10.51	    num=160, depth=34..44, filters=1278398, revisions=(4426852,useless=3488591), ccks=1635275, wck=7.207, mem=216M148
19.36/10.51	    decisions=28506, wrong=8946, backtracks=2103, failedAssignments=7017, nogoods=1866, foundSolutions=14, bestBound=5
19.36/10.51	    nFilterCalls=649155, avgTableProportion=0.75, avgTableSize=3.0
19.36/10.51	    
19.36/10.53	    num=161, depth=41..52, filters=1284965, revisions=(4443773,useless=3500655), ccks=1641834, wck=7.227, mem=216M148
19.36/10.53	    decisions=28679, wrong=9012, backtracks=2120, failedAssignments=7067, nogoods=1882, foundSolutions=14, bestBound=5
19.36/10.53	    nFilterCalls=651741, avgTableProportion=0.75, avgTableSize=3.0
19.36/10.53	    
19.36/10.56	    num=162, depth=36..49, filters=1295898, revisions=(4469011,useless=3517272), ccks=1653206, wck=7.255, mem=216M148
19.36/10.56	    decisions=28869, wrong=9088, backtracks=2141, failedAssignments=7122, nogoods=1912, foundSolutions=14, bestBound=5
19.36/10.56	    nFilterCalls=656171, avgTableProportion=0.75, avgTableSize=3.0
19.36/10.56	    
19.36/10.59	    num=163, depth=38..51, filters=1308134, revisions=(4498754,useless=3538122), ccks=1667777, wck=7.286, mem=216M148
19.36/10.59	    decisions=29075, wrong=9170, backtracks=2164, failedAssignments=7183, nogoods=1938, foundSolutions=14, bestBound=5
19.36/10.59	    nFilterCalls=661837, avgTableProportion=0.75, avgTableSize=3.0
19.36/10.59	    
19.46/10.64	    num=164, depth=34..50, filters=1327802, revisions=(4554425,useless=3579059), ccks=1691149, wck=7.331, mem=216M148
19.46/10.64	    decisions=29319, wrong=9275, backtracks=2206, failedAssignments=7250, nogoods=1951, foundSolutions=14, bestBound=5
19.46/10.64	    nFilterCalls=671380, avgTableProportion=0.75, avgTableSize=3.0
19.46/10.64	    
19.46/10.67	    num=165, depth=34..41, filters=1343700, revisions=(4586201,useless=3600144), ccks=1707068, wck=7.366, mem=218M780
19.46/10.67	    decisions=29532, wrong=9364, backtracks=2221, failedAssignments=7324, nogoods=1962, foundSolutions=14, bestBound=5
19.46/10.67	    nFilterCalls=678298, avgTableProportion=0.75, avgTableSize=3.0
19.46/10.67	    
19.56/10.70	    num=166, depth=28..37, filters=1355695, revisions=(4615034,useless=3620785), ccks=1719069, wck=7.397, mem=218M780
19.56/10.70	    decisions=29771, wrong=9469, backtracks=2248, failedAssignments=7405, nogoods=1974, foundSolutions=14, bestBound=5
19.56/10.70	    nFilterCalls=683276, avgTableProportion=0.75, avgTableSize=3.0
19.56/10.70	    
19.56/10.74	    num=167, depth=32..38, filters=1369472, revisions=(4649214,useless=3644750), ccks=1735256, wck=7.432, mem=218M780
19.56/10.74	    decisions=30023, wrong=9579, backtracks=2269, failedAssignments=7494, nogoods=1982, foundSolutions=14, bestBound=5
19.56/10.74	    nFilterCalls=689354, avgTableProportion=0.75, avgTableSize=3.0
19.56/10.74	    
19.56/10.77	    num=168, depth=27..38, filters=1381504, revisions=(4685318,useless=3671540), ccks=1748802, wck=7.466, mem=218M780
19.56/10.77	    decisions=30317, wrong=9708, backtracks=2300, failedAssignments=7592, nogoods=1990, foundSolutions=14, bestBound=5
19.56/10.77	    nFilterCalls=694281, avgTableProportion=0.75, avgTableSize=3.0
19.56/10.77	    
19.66/10.81	    num=169, depth=26..33, filters=1399839, revisions=(4726474,useless=3699399), ccks=1769425, wck=7.508, mem=218M780
19.66/10.81	    decisions=30611, wrong=9842, backtracks=2327, failedAssignments=7700, nogoods=2004, foundSolutions=14, bestBound=5
19.66/10.81	    nFilterCalls=702347, avgTableProportion=0.75, avgTableSize=3.0
19.66/10.81	    
19.66/10.87	    num=170, depth=33..39, filters=1425627, revisions=(4784817,useless=3740179), ccks=1797744, wck=7.565, mem=218M780
19.66/10.87	    decisions=30957, wrong=9998, backtracks=2369, failedAssignments=7819, nogoods=2028, foundSolutions=14, bestBound=5
19.66/10.87	    nFilterCalls=714023, avgTableProportion=0.75, avgTableSize=3.0
19.66/10.87	    
19.76/10.93	    num=171, depth=32..40, filters=1450149, revisions=(4843071,useless=3779950), ccks=1826384, wck=7.62, mem=218M780
19.76/10.93	    decisions=31310, wrong=10157, backtracks=2399, failedAssignments=7950, nogoods=2051, foundSolutions=14, bestBound=5
19.76/10.93	    nFilterCalls=724891, avgTableProportion=0.75, avgTableSize=3.0
19.76/10.93	    
19.76/11.00	    num=172, depth=23..32, filters=1483886, revisions=(4920807,useless=3832780), ccks=1863912, wck=7.691, mem=218M780
19.76/11.00	    decisions=31699, wrong=10338, backtracks=2439, failedAssignments=8094, nogoods=2068, foundSolutions=14, bestBound=5
19.76/11.00	    nFilterCalls=739245, avgTableProportion=0.75, avgTableSize=3.0
19.76/11.00	    
19.87/11.07	    num=173, depth=28..37, filters=1519203, revisions=(5002988,useless=3888807), ccks=1900335, wck=7.766, mem=221M412
19.87/11.07	    decisions=32123, wrong=10536, backtracks=2482, failedAssignments=8252, nogoods=2076, foundSolutions=14, bestBound=5
19.87/11.07	    nFilterCalls=754845, avgTableProportion=0.75, avgTableSize=3.0
19.87/11.07	    
19.97/11.14	    num=174, depth=22..37, filters=1547659, revisions=(5071566,useless=3935603), ccks=1930814, wck=7.832, mem=221M412
19.97/11.14	    decisions=32579, wrong=10751, backtracks=2524, failedAssignments=8426, nogoods=2103, foundSolutions=14, bestBound=5
19.97/11.14	    nFilterCalls=766871, avgTableProportion=0.75, avgTableSize=3.0
19.97/11.14	    
20.06/11.24	    num=175, depth=17..28, filters=1598351, revisions=(5178436,useless=4002305), ccks=1986042, wck=7.933, mem=221M412
20.06/11.24	    decisions=33050, wrong=10977, backtracks=2560, failedAssignments=8617, nogoods=2121, foundSolutions=14, bestBound=5
20.06/11.24	    nFilterCalls=787785, avgTableProportion=0.75, avgTableSize=3.0
20.06/11.24	    
20.16/11.31	    num=176, depth=16..27, filters=1627609, revisions=(5253627,useless=4055006), ccks=2015131, wck=8.001, mem=221M412
20.16/11.31	    decisions=33573, wrong=11229, backtracks=2604, failedAssignments=8828, nogoods=2160, foundSolutions=14, bestBound=5
20.16/11.31	    nFilterCalls=799909, avgTableProportion=0.75, avgTableSize=3.0
20.16/11.31	    
20.16/11.36	    num=177, depth=16..51, filters=1649080, revisions=(5302435,useless=4088373), ccks=2035616, wck=8.057, mem=221M412
20.16/11.36	    decisions=34148, wrong=11495, backtracks=2638, failedAssignments=9060, nogoods=2202, foundSolutions=14, bestBound=5
20.16/11.36	    nFilterCalls=807447, avgTableProportion=0.75, avgTableSize=3.0
20.16/11.36	    
20.26/11.44	    num=178, depth=20..69, filters=1679659, revisions=(5380222,useless=4143442), ccks=2067579, wck=8.138, mem=224M43
20.26/11.44	    decisions=34903, wrong=11846, backtracks=2751, failedAssignments=9315, nogoods=2233, foundSolutions=14, bestBound=5
20.26/11.44	    nFilterCalls=819396, avgTableProportion=0.75, avgTableSize=3.0
20.26/11.44	    
20.36/11.53	    num=179, depth=21..68, filters=1712927, revisions=(5479414,useless=4217721), ccks=2104808, wck=8.224, mem=224M43
20.36/11.53	    decisions=35674, wrong=12204, backtracks=2841, failedAssignments=9596, nogoods=2255, foundSolutions=14, bestBound=5
20.36/11.53	    nFilterCalls=833227, avgTableProportion=0.75, avgTableSize=3.0
20.36/11.53	    
20.46/11.65	    num=180, depth=24..49, filters=1763112, revisions=(5602057,useless=4301589), ccks=2159267, wck=8.341, mem=224M43
20.46/11.65	    decisions=36513, wrong=12603, backtracks=2937, failedAssignments=9905, nogoods=2285, foundSolutions=14, bestBound=5
20.46/11.65	    nFilterCalls=854079, avgTableProportion=0.75, avgTableSize=3.0
20.46/11.65	    
20.56/11.78	    num=181, depth=24..61, filters=1824902, revisions=(5736995,useless=4389850), ccks=2224557, wck=8.476, mem=224M43
20.56/11.78	    decisions=37362, wrong=13005, backtracks=3005, failedAssignments=10245, nogoods=2301, foundSolutions=14, bestBound=5
20.56/11.78	    nFilterCalls=880397, avgTableProportion=0.75, avgTableSize=3.0
20.56/11.78	    
20.76/11.90	    num=182, depth=32..41, filters=1878555, revisions=(5861851,useless=4474588), ccks=2282409, wck=8.599, mem=226M675
20.76/11.90	    decisions=38266, wrong=13440, backtracks=3071, failedAssignments=10619, nogoods=2320, foundSolutions=14, bestBound=5
20.76/11.90	    nFilterCalls=903351, avgTableProportion=0.75, avgTableSize=3.0
20.76/11.90	    
20.87/12.05	    num=183, depth=19..39, filters=1946381, revisions=(6008107,useless=4571619), ccks=2347459, wck=8.744, mem=226M675
20.87/12.05	    decisions=39285, wrong=13939, backtracks=3160, failedAssignments=11030, nogoods=2340, foundSolutions=14, bestBound=5
20.87/12.05	    nFilterCalls=931066, avgTableProportion=0.75, avgTableSize=3.0
20.87/12.05	    
20.97/12.17	    num=184, depth=16..46, filters=1996491, revisions=(6116827,useless=4640345), ccks=2397730, wck=8.863, mem=226M675
20.97/12.17	    decisions=40301, wrong=14438, backtracks=3212, failedAssignments=11482, nogoods=2365, foundSolutions=14, bestBound=5
20.97/12.17	    nFilterCalls=950329, avgTableProportion=0.75, avgTableSize=3.0
20.97/12.17	    
21.23/12.32	    num=185, depth=12..33, filters=2057068, revisions=(6258320,useless=4736928), ccks=2458267, wck=9.011, mem=229M307
21.23/12.32	    decisions=41555, wrong=15056, backtracks=3338, failedAssignments=11979, nogoods=2391, foundSolutions=14, bestBound=5
21.23/12.32	    nFilterCalls=973943, avgTableProportion=0.75, avgTableSize=3.0
21.23/12.32	    
21.43/12.52	    num=186, depth=30..58, filters=2146650, revisions=(6481282,useless=4894885), ccks=2550224, wck=9.219, mem=229M307
21.43/12.52	    decisions=43137, wrong=15830, backtracks=3609, failedAssignments=12526, nogoods=2402, foundSolutions=14, bestBound=5
21.43/12.52	    nFilterCalls=1010770, avgTableProportion=0.75, avgTableSize=3.0
21.43/12.52	    
21.64/12.79	    num=187, depth=20..38, filters=2279718, revisions=(6743327,useless=5061022), ccks=2678323, wck=9.483, mem=231M939
21.64/12.79	    decisions=44566, wrong=16533, backtracks=3720, failedAssignments=13128, nogoods=2415, foundSolutions=14, bestBound=5
21.64/12.79	    nFilterCalls=1067421, avgTableProportion=0.75, avgTableSize=3.0
21.64/12.79	    
21.94/13.05	    num=188, depth=19..26, filters=2400597, revisions=(7026412,useless=5253545), ccks=2809026, wck=9.743, mem=234M571
21.94/13.05	    decisions=46179, wrong=17329, backtracks=3858, failedAssignments=13790, nogoods=2457, foundSolutions=14, bestBound=5
21.94/13.05	    nFilterCalls=1120906, avgTableProportion=0.75, avgTableSize=3.0
21.94/13.05	    
22.24/13.31	    num=189, depth=7..23, filters=2531740, revisions=(7291616,useless=5432036), ccks=2924271, wck=10.005, mem=234M571
22.24/13.31	    decisions=48025, wrong=18245, backtracks=4051, failedAssignments=14518, nogoods=2468, foundSolutions=14, bestBound=5
22.24/13.31	    nFilterCalls=1175375, avgTableProportion=0.75, avgTableSize=3.0
22.24/13.31	    
22.44/13.59	    num=190, depth=16..30, filters=2667340, revisions=(7570987,useless=5621007), ccks=3046986, wck=10.282, mem=237M203
22.44/13.59	    decisions=50005, wrong=19221, backtracks=4232, failedAssignments=15319, nogoods=2491, foundSolutions=14, bestBound=5
22.44/13.59	    nFilterCalls=1232744, avgTableProportion=0.75, avgTableSize=3.0
22.44/13.59	    
22.74/13.86	    num=191, depth=14..39, filters=2790798, revisions=(7853549,useless=5811230), ccks=3164184, wck=10.55, mem=239M834
22.74/13.86	    decisions=52127, wrong=20273, backtracks=4415, failedAssignments=16200, nogoods=2511, foundSolutions=14, bestBound=5
22.74/13.86	    nFilterCalls=1280909, avgTableProportion=0.75, avgTableSize=3.0
22.74/13.86	    
23.14/14.28	    num=192, depth=15..29, filters=2996370, revisions=(8349180,useless=6149235), ccks=3401996, wck=10.975, mem=242M466
23.14/14.28	    decisions=54569, wrong=21484, backtracks=4665, failedAssignments=17170, nogoods=2527, foundSolutions=14, bestBound=5
23.14/14.28	    nFilterCalls=1371851, avgTableProportion=0.75, avgTableSize=3.0
23.14/14.28	    
23.64/14.75	    num=193, depth=12..27, filters=3230109, revisions=(8882922,useless=6518569), ccks=3640030, wck=11.446, mem=245M98
23.64/14.75	    decisions=57350, wrong=22867, backtracks=5014, failedAssignments=18237, nogoods=2538, foundSolutions=14, bestBound=5
23.64/14.75	    nFilterCalls=1472745, avgTableProportion=0.75, avgTableSize=3.0
23.64/14.75	    
24.05/15.18	    num=194, depth=15..42, filters=3420623, revisions=(9332446,useless=6823332), ccks=3852318, wck=11.873, mem=247M730
24.05/15.18	    decisions=60397, wrong=24377, backtracks=5388, failedAssignments=19410, nogoods=2576, foundSolutions=14, bestBound=5
24.05/15.18	    nFilterCalls=1554397, avgTableProportion=0.75, avgTableSize=3.0
24.05/15.18	    
24.65/15.70	    num=195, depth=23..40, filters=3695640, revisions=(9926063,useless=7227348), ccks=4122766, wck=12.397, mem=247M730
24.65/15.70	    decisions=63673, wrong=26002, backtracks=5752, failedAssignments=20701, nogoods=2607, foundSolutions=14, bestBound=5
24.65/15.70	    nFilterCalls=1675677, avgTableProportion=0.75, avgTableSize=3.0
24.65/15.70	    
24.96/16.08	    num=196, depth=10..101, filters=3863259, revisions=(10355536,useless=7531585), ccks=4293094, wck=12.777, mem=247M730
24.96/16.08	    decisions=67406, wrong=27822, backtracks=6228, failedAssignments=22121, nogoods=2683, foundSolutions=14, bestBound=5
24.96/16.08	    nFilterCalls=1742157, avgTableProportion=0.75, avgTableSize=3.0
24.96/16.08	    
25.45/16.50	    num=197, depth=18..109, filters=4040241, revisions=(10849897,useless=7895688), ccks=4480049, wck=13.196, mem=247M730
25.45/16.50	    decisions=71694, wrong=29920, backtracks=6828, failedAssignments=23683, nogoods=2758, foundSolutions=14, bestBound=5
25.45/16.50	    nFilterCalls=1815073, avgTableProportion=0.75, avgTableSize=3.0
25.45/16.50	    
25.85/16.99	    num=198, depth=18..123, filters=4243837, revisions=(11418311,useless=8313098), ccks=4694714, wck=13.682, mem=250M363
25.85/16.99	    decisions=76480, wrong=32259, backtracks=7551, failedAssignments=25401, nogoods=2824, foundSolutions=14, bestBound=5
25.85/16.99	    nFilterCalls=1899134, avgTableProportion=0.75, avgTableSize=3.0
25.85/16.99	    
26.47/17.52	    num=199, depth=18..89, filters=4483739, revisions=(12034676,useless=8753204), ccks=4947082, wck=14.219, mem=250M363
26.47/17.52	    decisions=81571, wrong=34774, backtracks=8278, failedAssignments=27291, nogoods=2878, foundSolutions=14, bestBound=5
26.47/17.52	    nFilterCalls=1997689, avgTableProportion=0.75, avgTableSize=3.0
26.47/17.52	    
27.08/18.15	    num=200, depth=18..73, filters=4759734, revisions=(12759170,useless=9271796), ccks=5250631, wck=14.841, mem=250M363
27.08/18.15	    decisions=86924, wrong=37426, backtracks=8908, failedAssignments=29370, nogoods=2929, foundSolutions=14, bestBound=5
27.08/18.15	    nFilterCalls=2115628, avgTableProportion=0.75, avgTableSize=3.0
27.08/18.15	    
27.27/18.36	o 4
27.39/18.48	    num=201, depth=21..2759, filters=4831629, revisions=(12966413,useless=9426755), ccks=5327054, wck=15.178, mem=250M363
27.39/18.48	    decisions=89345, wrong=38585, backtracks=9144, failedAssignments=30317, nogoods=3018, foundSolutions=15, bestBound=4
27.39/18.48	    nFilterCalls=2144771, avgTableProportion=0.75, avgTableSize=3.0
27.39/18.48	    
27.49/18.58	o 3
27.75/18.70	    num=202, depth=23..2759, filters=4844428, revisions=(13016760,useless=9467792), ccks=5344637, wck=15.395, mem=250M363
27.75/18.70	    decisions=89935, wrong=38813, backtracks=9196, failedAssignments=30493, nogoods=3091, foundSolutions=16, bestBound=3
27.75/18.70	    nFilterCalls=2153643, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.70	    
27.75/18.73	    num=203, depth=20..20, filters=4846365, revisions=(13020289,useless=9470114), ccks=5346086, wck=15.424, mem=252M995
27.75/18.73	    decisions=89977, wrong=38824, backtracks=9196, failedAssignments=30504, nogoods=3102, foundSolutions=16, bestBound=3
27.75/18.73	    nFilterCalls=2155233, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.73	    
27.75/18.73	    num=204, depth=0..0, filters=4848858, revisions=(13023661,useless=9471926), ccks=5348033, wck=15.427, mem=252M995
27.75/18.73	    decisions=89999, wrong=38835, backtracks=9196, failedAssignments=30515, nogoods=3102, foundSolutions=16, bestBound=3
27.75/18.73	    nFilterCalls=2156086, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.73	    
27.75/18.74	    num=205, depth=0..17, filters=4850339, revisions=(13028279,useless=9475490), ccks=5349636, wck=15.433, mem=252M995
27.75/18.74	    decisions=90040, wrong=38847, backtracks=9196, failedAssignments=30527, nogoods=3112, foundSolutions=16, bestBound=3
27.75/18.74	    nFilterCalls=2156668, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.74	    
27.75/18.75	    num=206, depth=4..4, filters=4854480, revisions=(13035122,useless=9479120), ccks=5354482, wck=15.44, mem=252M995
27.75/18.75	    decisions=90070, wrong=38860, backtracks=9196, failedAssignments=30540, nogoods=3125, foundSolutions=16, bestBound=3
27.75/18.75	    nFilterCalls=2158404, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.75	    
27.75/18.75	    num=207, depth=13..17, filters=4856116, revisions=(13040320,useless=9483053), ccks=5356755, wck=15.446, mem=252M995
27.75/18.75	    decisions=90119, wrong=38878, backtracks=9200, failedAssignments=30554, nogoods=3128, foundSolutions=16, bestBound=3
27.75/18.75	    nFilterCalls=2159069, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.75	    
27.75/18.76	    num=208, depth=2..4, filters=4858875, revisions=(13046911,useless=9487507), ccks=5359957, wck=15.452, mem=252M995
27.75/18.76	    decisions=90157, wrong=38896, backtracks=9202, failedAssignments=30570, nogoods=3141, foundSolutions=16, bestBound=3
27.75/18.76	    nFilterCalls=2160233, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.76	    
27.75/18.76	    num=209, depth=13..16, filters=4860707, revisions=(13054070,useless=9493239), ccks=5362452, wck=15.458, mem=252M995
27.75/18.76	    decisions=90210, wrong=38916, backtracks=9205, failedAssignments=30587, nogoods=3150, foundSolutions=16, bestBound=3
27.75/18.76	    nFilterCalls=2161038, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.76	    
27.75/18.77	    num=210, depth=1..4, filters=4863592, revisions=(13060903,useless=9498020), ccks=5365182, wck=15.464, mem=252M995
27.75/18.77	    decisions=90253, wrong=38936, backtracks=9206, failedAssignments=30606, nogoods=3169, foundSolutions=16, bestBound=3
27.75/18.77	    nFilterCalls=2162102, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.77	    
27.75/18.78	    num=211, depth=10..13, filters=4867032, revisions=(13069659,useless=9504172), ccks=5369105, wck=15.472, mem=252M995
27.75/18.78	    decisions=90311, wrong=38960, backtracks=9209, failedAssignments=30627, nogoods=3187, foundSolutions=16, bestBound=3
27.75/18.78	    nFilterCalls=2163402, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.78	    
27.75/18.78	    num=212, depth=0..3, filters=4871339, revisions=(13078539,useless=9509777), ccks=5374089, wck=15.48, mem=252M995
27.75/18.78	    decisions=90364, wrong=38986, backtracks=9212, failedAssignments=30650, nogoods=3195, foundSolutions=16, bestBound=3
27.75/18.78	    nFilterCalls=2165148, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.78	    
27.75/18.79	    num=213, depth=7..10, filters=4873922, revisions=(13085432,useless=9514782), ccks=5377012, wck=15.487, mem=252M995
27.75/18.79	    decisions=90427, wrong=39014, backtracks=9215, failedAssignments=30675, nogoods=3197, foundSolutions=16, bestBound=3
27.75/18.79	    nFilterCalls=2166130, avgTableProportion=0.75, avgTableSize=3.0
27.75/18.79	    
27.85/18.80	    num=214, depth=2..4, filters=4880455, revisions=(13098070,useless=9522385), ccks=5383904, wck=15.499, mem=252M995
27.85/18.80	    decisions=90489, wrong=39044, backtracks=9217, failedAssignments=30703, nogoods=3211, foundSolutions=16, bestBound=3
27.85/18.80	    nFilterCalls=2168805, avgTableProportion=0.75, avgTableSize=3.0
27.85/18.80	    
27.85/18.81	    num=215, depth=3..9, filters=4883564, revisions=(13107677,useless=9529643), ccks=5387802, wck=15.507, mem=252M995
27.85/18.81	    decisions=90566, wrong=39081, backtracks=9223, failedAssignments=30734, nogoods=3216, foundSolutions=16, bestBound=3
27.85/18.81	    nFilterCalls=2170011, avgTableProportion=0.75, avgTableSize=3.0
27.85/18.81	    
27.85/18.82	    num=216, depth=0..3, filters=4889008, revisions=(13119107,useless=9536646), ccks=5393279, wck=15.518, mem=252M995
27.85/18.82	    decisions=90641, wrong=39118, backtracks=9227, failedAssignments=30768, nogoods=3236, foundSolutions=16, bestBound=3
27.85/18.82	    nFilterCalls=2172301, avgTableProportion=0.75, avgTableSize=3.0
27.85/18.82	    
27.85/18.83	    num=217, depth=1..4, filters=4892106, revisions=(13127754,useless=9542925), ccks=5396867, wck=15.526, mem=252M995
27.85/18.83	    decisions=90722, wrong=39158, backtracks=9230, failedAssignments=30805, nogoods=3244, foundSolutions=16, bestBound=3
27.85/18.83	    nFilterCalls=2173437, avgTableProportion=0.75, avgTableSize=3.0
27.85/18.83	    
27.85/18.85	    num=218, depth=0..4, filters=4899733, revisions=(13143447,useless=9552798), ccks=5405355, wck=15.541, mem=252M995
27.85/18.85	    decisions=90814, wrong=39204, backtracks=9235, failedAssignments=30846, nogoods=3244, foundSolutions=16, bestBound=3
27.85/18.85	    nFilterCalls=2176548, avgTableProportion=0.75, avgTableSize=3.0
27.85/18.85	    
27.85/18.86	    num=219, depth=0..16, filters=4904986, revisions=(13154925,useless=9560470), ccks=5410171, wck=15.553, mem=252M995
27.85/18.86	    decisions=90927, wrong=39256, backtracks=9242, failedAssignments=30891, nogoods=3245, foundSolutions=16, bestBound=3
27.85/18.86	    nFilterCalls=2178366, avgTableProportion=0.75, avgTableSize=3.0
27.85/18.86	    
27.85/18.88	
27.85/18.88	  New Bounds: 3..2
27.85/18.88	    num=220, depth=0..1, filters=4915781, revisions=(13172787,useless=9570849), ccks=5420322, wck=15.571, mem=252M995
27.85/18.88	    decisions=91023, wrong=39305, backtracks=9245, failedAssignments=30937, foundSolutions=16, bestBound=3
27.85/18.88	    nFilterCalls=2182413, avgTableProportion=0.75, avgTableSize=3.0
27.85/18.88	    
27.85/18.88	  Global
27.85/18.88	    filters=4915781, revisions=(13172787,useless=9570849), ccks=5420322
27.85/18.88	    Stop=FULL_EXPLORATION, wrong=39305, bestBound=3, bestBoundWck=16.722, bestBoundCpu=18.437, foundSolutions=16, firstSolCpu=3.323
27.85/18.88	    wck=17.02, cpu=18.736, mem=252M995
27.85/18.88	
27.85/18.88	v <instantiation id='sol16' type='solution' cost='3'>  <list> p[] np[][] r[][] o[][] so[] </list>  <values> 3 1 24 23 2 18 29 8 11 9 26 27 0 28 7 20 14 10 12 4 21 22 15 13 17 19 16 25 6 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 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 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 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 2 2 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 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 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 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 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 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 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 1 1 0 0 0 0 0 0 0 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 0 0 0 0 0 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 2 2 3 3 3 2 </values>  </instantiation>
27.85/18.88	s OPTIMUM FOUND
27.85/18.88	
27.85/18.88	d WRONG_DECISIONS 39305
27.85/18.88	d NUMBER_SOLUTIONS 16

Verifier Data 

OK	3

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390959-1568381648/watcher-4390959-1568381648 -o /tmp/evaluation-result-4390959-1568381648/solver-4390959-1568381648 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568376840-4291 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390959-1568381648.xml -cm 

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

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


[startup+0.100153 s]*
/proc/loadavg: 2.35 1.99 1.43 4/227 4774
/proc/meminfo: memFree=30492488/32770624 swapFree=66997100/67108860
[pid=4759] ppid=4756 vsize=10659884 memory=25936 CPUtime=0.13 cores=1,3,5,7
/proc/4759/stat : 4759 (java) S 4756 4759 4259 0 -1 1077944320 5495 0 0 0 12 1 0 0 20 0 15 0 414419423 10915721216 6484 33554432000 4194304 4196468 140730385362496 140730385345040 139912952246007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
/proc/4759/statm: 2664971 6484 2890 1 0 2627468 0
[pid=4759/tid=4761] ppid=4756 vsize=10659884 memory=-8617482348318186131 CPUtime=0.08 cores=1,3,5,7
/proc/4759/task/4761/stat : 4761 (java) R 4756 4759 4259 0 -1 4202560 3253 0 0 0 8 0 0 0 20 0 15 0 414419424 10915721216 6484 33554432000 4194304 4196468 140730385362496 139912956468768 139912589912480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4762] ppid=4756 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4762/stat : 4762 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 6484 33554432000 4194304 4196468 140730385362496 139912559331600 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4763] ppid=4756 vsize=10659884 memory=140594917316224 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4763/stat : 4763 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 6484 33554432000 4194304 4196468 140730385362496 139912558279056 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4764] ppid=4756 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4764/stat : 4764 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 6484 33554432000 4194304 4196468 140730385362496 139912557226512 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4765] ppid=4756 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4765/stat : 4765 (java) S 4756 4759 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 6484 33554432000 4194304 4196468 140730385362496 139912556173968 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4766] ppid=4756 vsize=10659884 memory=140594917316224 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4766/stat : 4766 (java) S 4756 4759 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414419426 10915721216 6484 33554432000 4194304 4196468 140730385362496 139912444201456 139912952257154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4767] ppid=4756 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4767/stat : 4767 (java) S 4756 4759 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414419426 10915721216 6484 33554432000 4194304 4196468 140730385362496 139912443147680 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4768] ppid=4756 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4768/stat : 4768 (java) S 4756 4759 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414419426 10915721216 6484 33554432000 4194304 4196468 140730385362496 139912442095088 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4769] ppid=4756 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4769/stat : 4769 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414419429 10915721216 6550 33554432000 4194304 4196468 140730385362496 139912441043664 139912952264603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4770] ppid=4756 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4759/task/4770/stat : 4770 (java) S 4756 4759 4259 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 414419429 10915721216 6550 33554432000 4194304 4196468 140730385362496 139912439990256 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4771] ppid=4756 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4771/stat : 4771 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414419429 10915721216 6550 33554432000 4194304 4196468 140730385362496 139912438937712 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4772] ppid=4756 vsize=10659884 memory=140594917316224 CPUtime=0.02 cores=1,3,5,7
/proc/4759/task/4772/stat : 4772 (java) R 4756 4759 4259 0 -1 4202560 398 0 0 0 2 0 0 0 20 0 15 0 414419429 10915721216 6550 33554432000 4194304 4196468 140730385362496 139912437885168 139912930610657 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4773] ppid=4756 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4773/stat : 4773 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414419429 10915721216 6550 33554432000 4194304 4196468 140730385362496 139912436832864 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4774] ppid=4756 vsize=10659884 memory=140594917316224 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4774/stat : 4774 (java) R 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419429 10915721216 6550 33554432000 4194304 4196468 140730385362496 139912435780400 139912952257154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 25936 KiB

[startup+0.210648 s]*
/proc/loadavg: 2.35 1.99 1.43 4/227 4774
/proc/meminfo: memFree=30481556/32770624 swapFree=66997100/67108860
[pid=4759] ppid=4756 vsize=10659884 memory=36256 CPUtime=0.33 cores=1,3,5,7
/proc/4759/stat : 4759 (java) S 4756 4759 4259 0 -1 1077944320 9296 0 0 0 30 3 0 0 20 0 15 0 414419423 10915721216 9064 33554432000 4194304 4196468 140730385362496 140730385345040 139912952246007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
/proc/4759/statm: 2664971 9064 2989 1 0 2627468 0
[pid=4759/tid=4761] ppid=4756 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4759/task/4761/stat : 4761 (java) R 4756 4759 4259 0 -1 4202560 6157 0 0 0 18 2 0 0 20 0 15 0 414419424 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912956472368 139912952267933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4762] ppid=4756 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4762/stat : 4762 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912559331600 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4763] ppid=4756 vsize=10659884 memory=3977718686262662816 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4763/stat : 4763 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912558279056 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4764] ppid=4756 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4764/stat : 4764 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912557226512 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4765] ppid=4756 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4765/stat : 4765 (java) S 4756 4759 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912556173968 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4766] ppid=4756 vsize=10659884 memory=140594917316224 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4766/stat : 4766 (java) S 4756 4759 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414419426 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912444201456 139912952257154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4767] ppid=4756 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4767/stat : 4767 (java) S 4756 4759 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414419426 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912443147680 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4768] ppid=4756 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4768/stat : 4768 (java) S 4756 4759 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414419426 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912442095088 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4769] ppid=4756 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4769/stat : 4769 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414419429 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912441043664 139912952264603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4770] ppid=4756 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4759/task/4770/stat : 4770 (java) S 4756 4759 4259 0 -1 1077944384 691 0 0 0 3 0 0 0 20 0 15 0 414419429 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912439990256 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4771] ppid=4756 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4759/task/4771/stat : 4771 (java) S 4756 4759 4259 0 -1 1077944384 201 0 0 0 2 0 0 0 20 0 15 0 414419429 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912438937712 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4772] ppid=4756 vsize=10659884 memory=140594917316224 CPUtime=0.05 cores=1,3,5,7
/proc/4759/task/4772/stat : 4772 (java) S 4756 4759 4259 0 -1 1077944384 889 0 0 0 5 0 0 0 20 0 15 0 414419429 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912437885168 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4773] ppid=4756 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4773/stat : 4773 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414419429 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912436832864 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4774] ppid=4756 vsize=10659884 memory=140594917316224 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4774/stat : 4774 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419429 10915721216 9064 33554432000 4194304 4196468 140730385362496 139912435780400 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36256 KiB

[startup+0.31013 s]*
/proc/loadavg: 2.35 1.99 1.43 3/227 4774
/proc/meminfo: memFree=30479236/32770624 swapFree=66997100/67108860
[pid=4759] ppid=4756 vsize=10659884 memory=39056 CPUtime=0.47 cores=1,3,5,7
/proc/4759/stat : 4759 (java) S 4756 4759 4259 0 -1 1077944320 9533 0 0 0 44 3 0 0 20 0 15 0 414419423 10915721216 9764 33554432000 4194304 4196468 140730385362496 140730385345040 139912952246007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
/proc/4759/statm: 2664971 9764 3002 1 0 2627468 0
[pid=4759/tid=4761] ppid=4756 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/4759/task/4761/stat : 4761 (java) R 4756 4759 4259 0 -1 4202560 6299 0 0 0 27 2 0 0 20 0 15 0 414419424 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912956484992 139912937614807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4762] ppid=4756 vsize=10659884 memory=2669794 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4762/stat : 4762 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912559331600 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4763] ppid=4756 vsize=10659884 memory=4123246742485243552 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4763/stat : 4763 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912558279056 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4764] ppid=4756 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4764/stat : 4764 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912557226512 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4765] ppid=4756 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4765/stat : 4765 (java) S 4756 4759 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414419424 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912556173968 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4766] ppid=4756 vsize=10659884 memory=140594917316224 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4766/stat : 4766 (java) S 4756 4759 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414419426 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912444201456 139912952257154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4767] ppid=4756 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4767/stat : 4767 (java) S 4756 4759 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414419426 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912443147680 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4768] ppid=4756 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4768/stat : 4768 (java) S 4756 4759 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414419426 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912442095088 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4769] ppid=4756 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4769/stat : 4769 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414419429 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912441043664 139912952264603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4770] ppid=4756 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4759/task/4770/stat : 4770 (java) S 4756 4759 4259 0 -1 1077944384 706 0 0 0 4 0 0 0 20 0 15 0 414419429 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912439990256 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4771] ppid=4756 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/4759/task/4771/stat : 4771 (java) S 4756 4759 4259 0 -1 1077944384 242 0 0 0 4 0 0 0 20 0 15 0 414419429 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912438937712 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4772] ppid=4756 vsize=10659884 memory=140594917316224 CPUtime=0.08 cores=1,3,5,7
/proc/4759/task/4772/stat : 4772 (java) S 4756 4759 4259 0 -1 1077944384 944 0 0 0 8 0 0 0 20 0 15 0 414419429 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912437885168 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4773] ppid=4756 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4773/stat : 4773 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414419429 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912436832864 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4774] ppid=4756 vsize=10659884 memory=140594917316224 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4774/stat : 4774 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419429 10915721216 9764 33554432000 4194304 4196468 140730385362496 139912435780400 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39056 KiB

[startup+0.701676 s]
/proc/loadavg: 2.35 1.99 1.43 3/227 4774
/proc/meminfo: memFree=30467368/32770624 swapFree=66997100/67108860
[pid=4759] ppid=4756 vsize=10661932 memory=63160 CPUtime=1.11 cores=1,3,5,7
/proc/4759/stat : 4759 (java) S 4756 4759 4259 0 -1 1077944320 13265 0 0 0 105 6 0 0 20 0 15 0 414419423 10917818368 15790 33554432000 4194304 4196468 140730385362496 140730385345040 139912952246007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
/proc/4759/statm: 2665483 15790 3074 1 0 2627980 0
[pid=4759/tid=4761] ppid=4756 vsize=10661932 memory=9752 CPUtime=0.68 cores=1,3,5,7
/proc/4759/task/4761/stat : 4761 (java) R 4756 4759 4259 0 -1 4202560 8837 0 0 0 63 5 0 0 20 0 15 0 414419424 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912956476912 139912938460100 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4762] ppid=4756 vsize=10661932 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4762/stat : 4762 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912559331600 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4763] ppid=4756 vsize=10661932 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4763/stat : 4763 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912558279056 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4764] ppid=4756 vsize=10661932 memory=500 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4764/stat : 4764 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912557226512 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4765] ppid=4756 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4765/stat : 4765 (java) S 4756 4759 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414419424 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912556173968 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4766] ppid=4756 vsize=10661932 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4766/stat : 4766 (java) S 4756 4759 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414419426 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912444201456 139912952257154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4767] ppid=4756 vsize=10661932 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4767/stat : 4767 (java) S 4756 4759 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414419426 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912443147680 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4768] ppid=4756 vsize=10661932 memory=876 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4768/stat : 4768 (java) S 4756 4759 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414419426 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912442095088 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4769] ppid=4756 vsize=10661932 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4769/stat : 4769 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414419429 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912441043664 139912952264603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4770] ppid=4756 vsize=10661932 memory=7086240636179075427 CPUtime=0.12 cores=1,3,5,7
/proc/4759/task/4770/stat : 4770 (java) R 4756 4759 4259 0 -1 4202560 1059 0 0 0 12 0 0 0 20 0 15 0 414419429 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912439990256 139912935744872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4771] ppid=4756 vsize=10661932 memory=7453282923427948884 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4771/stat : 4771 (java) S 4756 4759 4259 0 -1 1077944384 532 0 0 0 10 0 0 0 20 0 15 0 414419429 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912438937712 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4772] ppid=4756 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7
/proc/4759/task/4772/stat : 4772 (java) S 4756 4759 4259 0 -1 1077944384 1479 0 0 0 18 0 0 0 20 0 15 0 414419429 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912437885168 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4773] ppid=4756 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4773/stat : 4773 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414419429 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912436832864 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4774] ppid=4756 vsize=10661932 memory=6441959910864939369 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4774/stat : 4774 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419429 10917818368 15790 33554432000 4194304 4196468 140730385362496 139912435780400 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63160 KiB

[startup+1.50075 s]
/proc/loadavg: 2.35 1.99 1.43 3/227 4774
/proc/meminfo: memFree=30451424/32770624 swapFree=66997100/67108860
[pid=4759] ppid=4756 vsize=10663980 memory=75156 CPUtime=2.01 cores=1,3,5,7
/proc/4759/stat : 4759 (java) S 4756 4759 4259 0 -1 1077944320 19129 0 0 0 194 7 0 0 20 0 15 0 414419423 10919915520 18789 33554432000 4194304 4196468 140730385362496 140730385345040 139912952246007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
/proc/4759/statm: 2665995 18789 3097 1 0 2628492 0
[pid=4759/tid=4761] ppid=4756 vsize=10663980 memory=161064629151997 CPUtime=1.48 cores=1,3,5,7
/proc/4759/task/4761/stat : 4761 (java) R 4756 4759 4259 0 -1 4202560 13296 0 0 0 142 6 0 0 20 0 15 0 414419424 10919915520 18789 33554432000 4194304 4196468 140730385362496 139912956471888 139912936326494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4762] ppid=4756 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4762/stat : 4762 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10919915520 18789 33554432000 4194304 4196468 140730385362496 139912559331600 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4763] ppid=4756 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4763/stat : 4763 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10919915520 18789 33554432000 4194304 4196468 140730385362496 139912558279056 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4764] ppid=4756 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4764/stat : 4764 (java) S 4756 4759 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414419424 10919915520 18789 33554432000 4194304 4196468 140730385362496 139912557226512 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4765] ppid=4756 vsize=10663980 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4765/stat : 4765 (java) S 4756 4759 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414419424 10919915520 18789 33554432000 4194304 4196468 140730385362496 139912556173968 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4766] ppid=4756 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4766/stat : 4766 (java) S 4756 4759 4259 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 414419426 10919915520 18789 33554432000 4194304 4196468 140730385362496 139912444201456 139912952257154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0

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

Current children cumulated memory: 386400 KiB

[startup+17.6007 s]
/proc/loadavg: 2.40 2.03 1.45 3/228 4775
/proc/meminfo: memFree=30131912/32770624 swapFree=66997100/67108860
[pid=4759] ppid=4756 vsize=10748324 memory=386412 CPUtime=26.57 cores=1,3,5,7
/proc/4759/stat : 4759 (java) S 4756 4759 4259 0 -1 1077944320 54350 0 0 0 2622 35 0 0 20 0 16 0 414419423 11006283776 96603 33554432000 4194304 4196468 140730385362496 140730385345040 139912952246007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
/proc/4759/statm: 2687081 96603 3381 1 0 2647217 0
[pid=4759/tid=4761] ppid=4756 vsize=10748324 memory=0 CPUtime=1.87 cores=1,3,5,7
/proc/4759/task/4761/stat : 4761 (java) S 4756 4759 4259 0 -1 1077944384 15559 0 0 0 180 7 0 0 20 0 16 0 414419424 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912956488880 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4762] ppid=4756 vsize=10748324 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4762/stat : 4762 (java) S 4756 4759 4259 0 -1 1077944384 191 0 0 0 7 3 0 0 20 0 16 0 414419424 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912559331600 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4763] ppid=4756 vsize=10748324 memory=386400 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4763/stat : 4763 (java) S 4756 4759 4259 0 -1 1077944384 120 0 0 0 7 3 0 0 20 0 16 0 414419424 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912558279056 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4764] ppid=4756 vsize=10748324 memory=8112282956445269571 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4764/stat : 4764 (java) S 4756 4759 4259 0 -1 1077944384 106 0 0 0 6 4 0 0 20 0 16 0 414419424 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912557226512 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4765] ppid=4756 vsize=10748324 memory=361 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4765/stat : 4765 (java) S 4756 4759 4259 0 -1 1077944384 131 0 0 0 6 4 0 0 20 0 16 0 414419424 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912556173968 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4766] ppid=4756 vsize=10748324 memory=114 CPUtime=0.01 cores=1,3,5,7
/proc/4759/task/4766/stat : 4766 (java) S 4756 4759 4259 0 -1 1077944384 1322 0 0 0 1 0 0 0 20 0 16 0 414419426 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912444201456 139912952257154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4767] ppid=4756 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4767/stat : 4767 (java) S 4756 4759 4259 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414419426 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912443147744 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4768] ppid=4756 vsize=10748324 memory=10 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4768/stat : 4768 (java) S 4756 4759 4259 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414419426 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912442095104 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4769] ppid=4756 vsize=10748324 memory=140594815270093 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4769/stat : 4769 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414419429 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912441043664 139912952264603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4770] ppid=4756 vsize=10748324 memory=55 CPUtime=3.81 cores=1,3,5,7
/proc/4759/task/4770/stat : 4770 (java) S 4756 4759 4259 0 -1 1077944384 10794 0 0 0 379 2 0 0 20 0 16 0 414419429 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912439990256 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4771] ppid=4756 vsize=10748324 memory=-3704326594973231466 CPUtime=3.65 cores=1,3,5,7
/proc/4759/task/4771/stat : 4771 (java) S 4756 4759 4259 0 -1 1077944384 10359 0 0 0 364 1 0 0 20 0 16 0 414419429 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912438937712 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4772] ppid=4756 vsize=10748324 memory=-7531822216213012384 CPUtime=1.16 cores=1,3,5,7
/proc/4759/task/4772/stat : 4772 (java) S 4756 4759 4259 0 -1 1077944384 7060 0 0 0 114 2 0 0 20 0 16 0 414419429 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912437885168 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4773] ppid=4756 vsize=10748324 memory=-7374466869519807680 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4773/stat : 4773 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414419429 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912436832864 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4774] ppid=4756 vsize=10748324 memory=7245577201579234449 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4774/stat : 4774 (java) S 4756 4759 4259 0 -1 1077944384 752 0 0 0 0 0 0 0 20 0 16 0 414419429 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912435780400 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4775] ppid=4756 vsize=10748324 memory=8325900749618438795 CPUtime=15.56 cores=1,3,5,7
/proc/4759/task/4775/stat : 4775 (java) R 4756 4759 4259 0 -1 4202560 6560 0 0 0 1553 3 0 0 20 0 16 0 414419612 11006283776 96603 33554432000 4194304 4196468 140730385362496 139912418710160 139912601765220 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
Current children cumulated CPU time: 26.57 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 386412 KiB

[startup+18.4007 s]
/proc/loadavg: 2.40 2.03 1.45 3/228 4775
/proc/meminfo: memFree=30131872/32770624 swapFree=66997100/67108860
[pid=4759] ppid=4756 vsize=10748324 memory=386448 CPUtime=27.39 cores=1,3,5,7
/proc/4759/stat : 4759 (java) S 4756 4759 4259 0 -1 1077944320 54863 0 0 0 2704 35 0 0 20 0 16 0 414419423 11006283776 96612 33554432000 4194304 4196468 140730385362496 140730385345040 139912952246007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
/proc/4759/statm: 2687081 96612 3381 1 0 2647217 0
[pid=4759/tid=4761] ppid=4756 vsize=10748324 memory=5916 CPUtime=1.87 cores=1,3,5,7
/proc/4759/task/4761/stat : 4761 (java) S 4756 4759 4259 0 -1 1077944384 15559 0 0 0 180 7 0 0 20 0 16 0 414419424 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912956488880 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4762] ppid=4756 vsize=10748324 memory=386412 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4762/stat : 4762 (java) S 4756 4759 4259 0 -1 1077944384 191 0 0 0 7 3 0 0 20 0 16 0 414419424 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912559331600 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4763] ppid=4756 vsize=10748324 memory=8112282956445269571 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4763/stat : 4763 (java) S 4756 4759 4259 0 -1 1077944384 120 0 0 0 7 3 0 0 20 0 16 0 414419424 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912558279056 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4764] ppid=4756 vsize=10748324 memory=-7605839032859785923 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4764/stat : 4764 (java) S 4756 4759 4259 0 -1 1077944384 106 0 0 0 6 4 0 0 20 0 16 0 414419424 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912557226512 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4765] ppid=4756 vsize=10748324 memory=7449070784374796392 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4765/stat : 4765 (java) S 4756 4759 4259 0 -1 1077944384 131 0 0 0 6 4 0 0 20 0 16 0 414419424 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912556173968 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4766] ppid=4756 vsize=10748324 memory=281189630876320 CPUtime=0.01 cores=1,3,5,7
/proc/4759/task/4766/stat : 4766 (java) S 4756 4759 4259 0 -1 1077944384 1322 0 0 0 1 0 0 0 20 0 16 0 414419426 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912444201456 139912952257154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4767] ppid=4756 vsize=10748324 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4767/stat : 4767 (java) S 4756 4759 4259 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414419426 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912443147744 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4768] ppid=4756 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4768/stat : 4768 (java) S 4756 4759 4259 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414419426 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912442095104 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4769] ppid=4756 vsize=10748324 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4769/stat : 4769 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414419429 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912441043664 139912952264603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4770] ppid=4756 vsize=10748324 memory=772 CPUtime=3.81 cores=1,3,5,7
/proc/4759/task/4770/stat : 4770 (java) S 4756 4759 4259 0 -1 1077944384 10794 0 0 0 379 2 0 0 20 0 16 0 414419429 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912439990256 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4771] ppid=4756 vsize=10748324 memory=4008 CPUtime=3.67 cores=1,3,5,7
/proc/4759/task/4771/stat : 4771 (java) S 4756 4759 4259 0 -1 1077944384 10494 0 0 0 366 1 0 0 20 0 16 0 414419429 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912438937712 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4772] ppid=4756 vsize=10748324 memory=948 CPUtime=1.16 cores=1,3,5,7
/proc/4759/task/4772/stat : 4772 (java) S 4756 4759 4259 0 -1 1077944384 7106 0 0 0 114 2 0 0 20 0 16 0 414419429 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912437885168 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4773] ppid=4756 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4773/stat : 4773 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414419429 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912436832864 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4774] ppid=4756 vsize=10748324 memory=9404 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4774/stat : 4774 (java) S 4756 4759 4259 0 -1 1077944384 752 0 0 0 0 0 0 0 20 0 16 0 414419429 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912435780400 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4775] ppid=4756 vsize=10748324 memory=1548 CPUtime=16.36 cores=1,3,5,7
/proc/4759/task/4775/stat : 4775 (java) R 4756 4759 4259 0 -1 4202560 6892 0 0 0 1633 3 0 0 20 0 16 0 414419612 11006283776 96612 33554432000 4194304 4196468 140730385362496 139912418705168 139912599920629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
Current children cumulated CPU time: 27.39 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 386448 KiB

[startup+18.8008 s]
/proc/loadavg: 2.40 2.03 1.45 3/228 4775
/proc/meminfo: memFree=30131872/32770624 swapFree=66997100/67108860
[pid=4759] ppid=4756 vsize=10748324 memory=386464 CPUtime=27.85 cores=1,3,5,7
/proc/4759/stat : 4759 (java) S 4756 4759 4259 0 -1 1077944320 55392 0 0 0 2750 35 0 0 20 0 16 0 414419423 11006283776 96616 33554432000 4194304 4196468 140730385362496 140730385345040 139912952246007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
/proc/4759/statm: 2687081 96616 3381 1 0 2647217 0
[pid=4759/tid=4761] ppid=4756 vsize=10748324 memory=281189630537488 CPUtime=1.87 cores=1,3,5,7
/proc/4759/task/4761/stat : 4761 (java) S 4756 4759 4259 0 -1 1077944384 15559 0 0 0 180 7 0 0 20 0 16 0 414419424 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912956488880 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4762] ppid=4756 vsize=10748324 memory=22616358259434 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4762/stat : 4762 (java) S 4756 4759 4259 0 -1 1077944384 191 0 0 0 7 3 0 0 20 0 16 0 414419424 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912559331600 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4763] ppid=4756 vsize=10748324 memory=281189630971824 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4763/stat : 4763 (java) S 4756 4759 4259 0 -1 1077944384 120 0 0 0 7 3 0 0 20 0 16 0 414419424 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912558279056 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4764] ppid=4756 vsize=10748324 memory=281189630974096 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4764/stat : 4764 (java) S 4756 4759 4259 0 -1 1077944384 106 0 0 0 6 4 0 0 20 0 16 0 414419424 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912557226512 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4765] ppid=4756 vsize=10748324 memory=281189630976368 CPUtime=0.1 cores=1,3,5,7
/proc/4759/task/4765/stat : 4765 (java) S 4756 4759 4259 0 -1 1077944384 131 0 0 0 6 4 0 0 20 0 16 0 414419424 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912556173968 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4766] ppid=4756 vsize=10748324 memory=281189630978640 CPUtime=0.01 cores=1,3,5,7
/proc/4759/task/4766/stat : 4766 (java) S 4756 4759 4259 0 -1 1077944384 1322 0 0 0 1 0 0 0 20 0 16 0 414419426 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912444201456 139912952257154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4767] ppid=4756 vsize=10748324 memory=281189630980912 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4767/stat : 4767 (java) S 4756 4759 4259 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414419426 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912443147744 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4768] ppid=4756 vsize=10748324 memory=281189630983184 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4768/stat : 4768 (java) S 4756 4759 4259 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414419426 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912442095104 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4769] ppid=4756 vsize=10748324 memory=281189630985456 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4769/stat : 4769 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414419429 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912441043664 139912952264603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4770] ppid=4756 vsize=10748324 memory=281189630987728 CPUtime=3.87 cores=1,3,5,7
/proc/4759/task/4770/stat : 4770 (java) S 4756 4759 4259 0 -1 1077944384 11303 0 0 0 385 2 0 0 20 0 16 0 414419429 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912439990256 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4771] ppid=4756 vsize=10748324 memory=281189630990000 CPUtime=3.67 cores=1,3,5,7
/proc/4759/task/4771/stat : 4771 (java) S 4756 4759 4259 0 -1 1077944384 10494 0 0 0 366 1 0 0 20 0 16 0 414419429 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912438937712 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4772] ppid=4756 vsize=10748324 memory=281189630992272 CPUtime=1.16 cores=1,3,5,7
/proc/4759/task/4772/stat : 4772 (java) S 4756 4759 4259 0 -1 1077944384 7111 0 0 0 114 2 0 0 20 0 16 0 414419429 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912437885168 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4773] ppid=4756 vsize=10748324 memory=281189630905920 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4773/stat : 4773 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414419429 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912436832864 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4774] ppid=4756 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4774/stat : 4774 (java) S 4756 4759 4259 0 -1 1077944384 752 0 0 0 0 0 0 0 20 0 16 0 414419429 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912435780400 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4775] ppid=4756 vsize=10748324 memory=7374755888838174311 CPUtime=16.76 cores=1,3,5,7
/proc/4759/task/4775/stat : 4775 (java) R 4756 4759 4259 0 -1 4202560 6907 0 0 0 1673 3 0 0 20 0 16 0 414419612 11006283776 96616 33554432000 4194304 4196468 140730385362496 139912418705168 139912591359835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
Current children cumulated CPU time: 27.85 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 386464 KiB

[startup+18.9007 s]
/proc/loadavg: 2.40 2.03 1.45 3/228 4775
/proc/meminfo: memFree=30131872/32770624 swapFree=66997100/67108860
[pid=4759] ppid=4756 vsize=10749352 memory=411116 CPUtime=28 cores=1,3,5,7
/proc/4759/stat : 4759 (java) S 4756 4759 4259 0 -1 1077944320 56270 0 0 0 2762 38 0 0 20 0 16 0 414419423 11007336448 102779 33554432000 4194304 4196468 140730385362496 140730385345040 139912952246007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
/proc/4759/statm: 2687338 102779 3382 1 0 2647474 0
[pid=4759/tid=4761] ppid=4756 vsize=10749352 memory=386412 CPUtime=1.87 cores=1,3,5,7
/proc/4759/task/4761/stat : 4761 (java) S 4756 4759 4259 0 -1 1077944384 15731 0 0 0 180 7 0 0 20 0 16 0 414419424 11007336448 102779 33554432000 4194304 4196468 140730385362496 139912956486688 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4762] ppid=4756 vsize=10749352 memory=386400 CPUtime=0.12 cores=1,3,5,7
/proc/4759/task/4762/stat : 4762 (java) R 4756 4759 4259 0 -1 4202560 239 0 0 0 8 4 0 0 20 0 16 0 414419424 11007336448 102779 33554432000 4194304 4196468 140730385362496 139912559331600 139912937273881 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4763] ppid=4756 vsize=10749352 memory=386412 CPUtime=0.12 cores=1,3,5,7
/proc/4759/task/4763/stat : 4763 (java) R 4756 4759 4259 0 -1 4202560 160 0 0 0 8 4 0 0 20 0 16 0 414419424 11007336448 102779 33554432000 4194304 4196468 140730385362496 139912558279256 139912937273881 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4764] ppid=4756 vsize=10749352 memory=386464 CPUtime=0.12 cores=1,3,5,7
/proc/4759/task/4764/stat : 4764 (java) R 4756 4759 4259 0 -1 4202560 153 0 0 0 7 5 0 0 20 0 16 0 414419424 11007336448 102779 33554432000 4194304 4196468 140730385362496 139912557226512 139912945342724 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4765] ppid=4756 vsize=10749352 memory=386400 CPUtime=0.11 cores=1,3,5,7
/proc/4759/task/4765/stat : 4765 (java) R 4756 4759 4259 0 -1 4202560 199 0 0 0 7 4 0 0 20 0 16 0 414419424 11007336448 102779 33554432000 4194304 4196468 140730385362496 139912556173968 139912937273881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4766] ppid=4756 vsize=10749352 memory=628 CPUtime=0.01 cores=1,3,5,7
/proc/4759/task/4766/stat : 4766 (java) S 4756 4759 4259 0 -1 1077944384 1331 0 0 0 1 0 0 0 20 0 16 0 414419426 11007336448 102779 33554432000 4194304 4196468 140730385362496 139912444199968 139912952256213 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4767] ppid=4756 vsize=10749352 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4767/stat : 4767 (java) S 4756 4759 4259 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414419426 11007336448 102779 33554432000 4194304 4196468 140730385362496 139912443147744 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4768] ppid=4756 vsize=10749352 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4768/stat : 4768 (java) S 4756 4759 4259 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414419426 11007336448 102779 33554432000 4194304 4196468 140730385362496 139912442095104 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4769] ppid=4756 vsize=10749352 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4769/stat : 4769 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414419429 11007336448 103291 33554432000 4194304 4196468 140730385362496 139912441043664 139912952264603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4770] ppid=4756 vsize=10749352 memory=386400 CPUtime=3.87 cores=1,3,5,7
/proc/4759/task/4770/stat : 4770 (java) S 4756 4759 4259 0 -1 1077944384 11318 0 0 0 385 2 0 0 20 0 16 0 414419429 11007336448 103291 33554432000 4194304 4196468 140730385362496 139912439970320 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4771] ppid=4756 vsize=10749352 memory=1448 CPUtime=3.67 cores=1,3,5,7
/proc/4759/task/4771/stat : 4771 (java) S 4756 4759 4259 0 -1 1077944384 10495 0 0 0 366 1 0 0 20 0 16 0 414419429 11007336448 103291 33554432000 4194304 4196468 140730385362496 139912438937712 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4772] ppid=4756 vsize=10749352 memory=110 CPUtime=1.16 cores=1,3,5,7
/proc/4759/task/4772/stat : 4772 (java) S 4756 4759 4259 0 -1 1077944384 7112 0 0 0 114 2 0 0 20 0 16 0 414419429 11007336448 103291 33554432000 4194304 4196468 140730385362496 139912437885168 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4773] ppid=4756 vsize=10749352 memory=281189630528912 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4773/stat : 4773 (java) S 4756 4759 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414419429 11007336448 103291 33554432000 4194304 4196468 140730385362496 139912436832864 139912952256213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
[pid=4759/tid=4774] ppid=4756 vsize=10749352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4759/task/4774/stat : 4774 (java) S 4756 4759 4259 0 -1 1077944384 752 0 0 0 0 0 0 0 20 0 16 0 414419429 11007336448 103291 33554432000 4194304 4196468 140730385362496 139912435780400 139912952257154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25280512 140730385363979 140730385364082 140730385364082 140730385366991 0
Current children cumulated CPU time: 28 s
Current children cumulated vsize: 10749352 KiB
Current children cumulated memory: 411116 KiB

Child status: 0
Real time (s): 18.9524
CPU time (s): 28.1469
CPU user time (s): 27.7134
CPU system time (s): 0.433523
CPU usage (%): 148.514
Max. virtual memory (cumulated for all children) (KiB): 10750796
Max. memory (cumulated for all children) (KiB): 411116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7134
system time used= 0.433523
maximum resident set size= 446296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57847
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3798
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 4759
#   total CPU time (s): 28.1469
#   total CPU user time (s): 27.7134
#   total CPU system time (s): 0.433523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.160904 second user time and 0.215472 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-13 14:32:51
IDJOB=4390959
IDBENCH=126803
IDSOLVER=2832
FILE ID=node106/4390959-1568381648
RUNJOBID= node106-1568376840-4291
PBS_JOBID= 21701848
Free space on /tmp= 56724 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-30-30-1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390959-1568381648/watcher-4390959-1568381648 -o /tmp/evaluation-result-4390959-1568381648/solver-4390959-1568381648 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568376840-4291 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390959-1568381648.xml -cm

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

MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7
RANDOM SEED=1327417434

node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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:        30507064 kB
MemAvailable:   31645688 kB
Buffers:          150544 kB
Cached:          1266808 kB
SwapCached:         9720 kB
Active:           639508 kB
Inactive:        1050892 kB
Active(anon):     272300 kB
Inactive(anon):    33700 kB
Active(file):     367208 kB
Inactive(file):  1017192 kB
Unevictable:      107768 kB
Mlocked:          107768 kB
SwapTotal:      67108860 kB
SwapFree:       66997100 kB
Dirty:              8856 kB
Writeback:             0 kB
AnonPages:        371368 kB
Mapped:            49424 kB
Shmem:             24720 kB
Slab:             169700 kB
SReclaimable:     140116 kB
SUnreclaim:        29584 kB
KernelStack:        3728 kB
PageTables:         6120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1249880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 56716 MiB
End job on node106 at 2019-09-13 14:33:10