Trace number 4391261

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-23OPT4 148.736 142.813

DiagnosticValue
WRONG_DECISIONS494864

General information on the benchmark

NameOpenStacks/OpenStacks-m1-s1/
OpenStacks-m1-wbo-15-30-1.xml
MD5SUM274e3e67607724bfcca0861611bdfa28
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark78.1598
Satisfiable
(Un)Satisfiability was proved
Number of variables1410
Number of constraints1381
Number of domains9
Minimum domain size2
Maximum domain size31
Distribution of domain sizes[{"size":2,"count":900},{"size":3,"count":30},{"size":4,"count":150},{"size":5,"count":150},{"size":6,"count":60},{"size":7,"count":30},{"size":8,"count":30},{"size":30,"count":30},{"size":31,"count":30}]
Minimum variable degree2
Maximum variable degree16
Distribution of variable degrees[{"degree":2,"count":495},{"degree":3,"count":885},{"degree":16,"count":30}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":465},{"arity":3,"count":885},{"arity":16,"count":30},{"arity":30,"count":1}]
Number of extensional constraints450
Number of intensional constraints450
Distribution of constraint types[{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":450}]
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.87	
2.40/1.87	AbsCon 2 
2.40/1.89	
3.32/2.18	  Instance
3.32/2.18	    name=instance-4391261-1568389619, framework=COP, bounds=-infty..+infty
3.32/2.18	
3.32/2.18	  Loading variables...
3.67/2.24	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6565ab97
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af2839b
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d7c5b2
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@426794ee
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76af69ce
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc639f8
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220a3aa0
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2df8533f
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4797f009
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b0e986
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5090cb89
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49f876f7
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cc78c67
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76e28970
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@729e2be0
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5488f530
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@488ef02
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc9ba13
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f4ed92d
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ef77e8c
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@758cdca8
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6d01e4
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52035313
5.10/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773328fe
5.10/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33e50ec0
5.10/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23feadda
5.10/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@710235e5
5.10/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a0ffb23
5.10/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15dc1837
5.10/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@740abb11
5.10/2.66	
5.10/2.66	
5.10/2.66	  Domains
5.10/2.66	    nTypes=9, nValues=5880, sizes=[2#900,3#30,4#150,5#150...7#30,8#30,30#30,31#30]
5.10/2.66	  Variables
5.10/2.66	    count=1410, degrees=[2#495,3#885,16#30]
5.10/2.66	  Objectives
5.10/2.66	    way=min, type=ObjMaximumLE
5.10/2.66	  Constraints
5.10/2.66	    count=1382, nSpecific=497, arities=[2#465,3#885,16#30,30#2]
5.10/2.66	    distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#435,EQ#15,ObjMaximumLE#1,SumWeightedEQ#30]
5.10/2.66	    tables=[4#30,5#150,6#150,7#60,8#30,9#30], nTotalTuples=2700
5.10/2.66	    nExtStructures=(456,shared:444), nIntStructures=(6,shared:429), nCftStructures=(456,shared:429,unbuilt:497)
5.10/2.66	    wck=0.818, cpu=2.627, mem=87M288
5.44/2.74	  Solver SolverBacktrack being built...
5.44/2.74	
5.44/2.78	
5.44/2.78	  Solver
5.44/2.78	    guaranteedGAC=false
5.44/2.78	    wck=0.931, cpu=2.738, mem=140M242
5.44/2.80	
5.44/2.80	  Preprocessing
5.44/2.80	    filters=75, revisions=(91,useless=61), ccks=1455, nACremovedValues=552, nTotalRemovedValues=552, inconcistency=false
5.44/2.80	    wck=0.026, cpu=2.767, mem=140M242
5.44/2.80	
5.74/2.88	o 13
6.05/2.94	    num=0, depth=1411..1409, filters=3025, revisions=(11184,useless=9021), ccks=17871, wck=0.163, mem=140M242
6.05/2.94	    decisions=29, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=13
6.05/2.94	    nFilterCalls=3543, avgTableProportion=0.83118489845841, avgTableSize=5.183460344340954
6.05/2.94	    
6.05/2.97	    num=1, depth=0..30, filters=6312, revisions=(21834,useless=17230), ccks=25891, wck=0.198, mem=140M242
6.05/2.97	    decisions=84, wrong=14, backtracks=3, failedAssignments=11, nogoods=8, foundSolutions=1, bestBound=13
6.05/2.97	    nFilterCalls=5826, avgTableProportion=0.8319541164675222, avgTableSize=5.213353930655681
6.05/2.97	    
6.40/3.01	o 12
6.40/3.05	    num=2, depth=9..1409, filters=9392, revisions=(33802,useless=26850), ccks=37272, wck=0.275, mem=142M778
6.40/3.05	    decisions=140, wrong=18, backtracks=3, failedAssignments=15, nogoods=12, foundSolutions=2, bestBound=12
6.40/3.05	    nFilterCalls=8909, avgTableProportion=0.8317532030210231, avgTableSize=5.204175552811764
6.40/3.05	    
6.40/3.07	    num=3, depth=9..19, filters=10285, revisions=(35502,useless=27802), ccks=39976, wck=0.294, mem=142M778
6.40/3.07	    decisions=193, wrong=39, backtracks=18, failedAssignments=27, nogoods=18, foundSolutions=2, bestBound=12
6.40/3.07	    nFilterCalls=9799, avgTableProportion=0.8308928510683778, avgTableSize=5.171548117154812
6.40/3.07	    
6.40/3.09	    num=4, depth=10..41, filters=13011, revisions=(44190,useless=34249), ccks=49246, wck=0.318, mem=142M778
6.40/3.09	    decisions=249, wrong=50, backtracks=18, failedAssignments=38, nogoods=29, foundSolutions=2, bestBound=12
6.40/3.09	    nFilterCalls=11351, avgTableProportion=0.8315506080857185, avgTableSize=5.194520306580918
6.40/3.09	    
6.71/3.12	    num=5, depth=14..54, filters=16301, revisions=(54535,useless=42013), ccks=58843, wck=0.346, mem=142M778
6.71/3.12	    decisions=321, wrong=62, backtracks=18, failedAssignments=50, nogoods=41, foundSolutions=2, bestBound=12
6.71/3.12	    nFilterCalls=13168, avgTableProportion=0.8320056196840856, avgTableSize=5.211725394896719
6.71/3.12	    
6.71/3.15	    num=6, depth=14..46, filters=19064, revisions=(62085,useless=47345), ccks=67675, wck=0.371, mem=142M778
6.71/3.15	    decisions=389, wrong=76, backtracks=20, failedAssignments=63, nogoods=49, foundSolutions=2, bestBound=12
6.71/3.15	    nFilterCalls=14832, avgTableProportion=0.8319237363230105, avgTableSize=5.209951456310679
6.71/3.15	    
6.71/3.17	    num=7, depth=16..43, filters=21817, revisions=(69284,useless=52370), ccks=75691, wck=0.397, mem=142M778
6.71/3.17	    decisions=455, wrong=90, backtracks=20, failedAssignments=77, nogoods=63, foundSolutions=2, bestBound=12
6.71/3.17	    nFilterCalls=16565, avgTableProportion=0.8314294577877371, avgTableSize=5.1915484455176575
6.71/3.17	    
6.71/3.20	    num=8, depth=29..39, filters=24547, revisions=(76212,useless=57254), ccks=82645, wck=0.42, mem=142M778
6.71/3.20	    decisions=526, wrong=106, backtracks=20, failedAssignments=93, nogoods=79, foundSolutions=2, bestBound=12
6.71/3.20	    nFilterCalls=18264, avgTableProportion=0.8313042962476218, avgTableSize=5.186377573368375
6.71/3.20	    
6.99/3.22	    num=9, depth=30..39, filters=27395, revisions=(82942,useless=61863), ccks=88808, wck=0.444, mem=142M778
6.99/3.22	    decisions=599, wrong=123, backtracks=20, failedAssignments=110, nogoods=96, foundSolutions=2, bestBound=12
6.99/3.22	    nFilterCalls=20033, avgTableProportion=0.8313402924856363, avgTableSize=5.187041381720162
6.99/3.22	    
6.99/3.29	    num=10, depth=31..40, filters=31272, revisions=(90756,useless=67129), ccks=95869, wck=0.517, mem=60M658
6.99/3.29	    decisions=677, wrong=142, backtracks=20, failedAssignments=129, nogoods=115, foundSolutions=2, bestBound=12
6.99/3.29	    nFilterCalls=22220, avgTableProportion=0.8310390860513708, avgTableSize=5.174167416741674
6.99/3.29	    
7.29/3.32	    num=11, depth=32..41, filters=35552, revisions=(99301,useless=72785), ccks=103801, wck=0.542, mem=60M658
7.29/3.32	    decisions=762, wrong=164, backtracks=21, failedAssignments=150, nogoods=118, foundSolutions=2, bestBound=12
7.29/3.32	    nFilterCalls=24731, avgTableProportion=0.8310369737099799, avgTableSize=5.172981278557276
7.29/3.32	    
7.29/3.34	o 11
7.29/3.39	    num=12, depth=1411..1409, filters=38106, revisions=(109572,useless=81192), ccks=113208, wck=0.611, mem=60M658
7.29/3.39	    decisions=823, wrong=164, backtracks=21, failedAssignments=150, nogoods=118, foundSolutions=3, bestBound=11
7.29/3.39	    nFilterCalls=27601, avgTableProportion=0.8309698061317242, avgTableSize=5.1715517553711825
7.29/3.39	    
7.60/3.41	    num=13, depth=13..21, filters=38928, revisions=(111598,useless=82598), ccks=115763, wck=0.63, mem=60M658
7.60/3.41	    decisions=900, wrong=196, backtracks=29, failedAssignments=175, nogoods=122, foundSolutions=3, bestBound=11
7.60/3.41	    nFilterCalls=28462, avgTableProportion=0.830687575078989, avgTableSize=5.16116225142295
7.60/3.41	    
7.60/3.43	    num=14, depth=25..50, filters=41766, revisions=(120221,useless=89005), ccks=123691, wck=0.649, mem=60M658
7.60/3.43	    decisions=973, wrong=211, backtracks=34, failedAssignments=186, nogoods=131, foundSolutions=3, bestBound=11
7.60/3.43	    nFilterCalls=30075, avgTableProportion=0.8308963437963418, avgTableSize=5.1707730673316705
7.60/3.43	    
7.60/3.45	    num=15, depth=36..63, filters=45722, revisions=(129930,useless=95736), ccks=135510, wck=0.674, mem=60M658
7.60/3.45	    decisions=1068, wrong=228, backtracks=40, failedAssignments=198, nogoods=138, foundSolutions=3, bestBound=11
7.60/3.45	    nFilterCalls=32349, avgTableProportion=0.830720976139406, avgTableSize=5.163869053139201
7.60/3.45	    
7.60/3.47	    num=16, depth=38..66, filters=48771, revisions=(138430,useless=101926), ccks=143514, wck=0.696, mem=60M658
7.60/3.47	    decisions=1158, wrong=241, backtracks=40, failedAssignments=211, nogoods=151, foundSolutions=3, bestBound=11
7.60/3.47	    nFilterCalls=34153, avgTableProportion=0.8309953249589473, avgTableSize=5.174450267912043
7.60/3.47	    
7.60/3.49	    num=17, depth=40..62, filters=51760, revisions=(146988,useless=108177), ccks=152075, wck=0.717, mem=60M658
7.60/3.49	    decisions=1246, wrong=255, backtracks=40, failedAssignments=225, nogoods=165, foundSolutions=3, bestBound=11
7.60/3.49	    nFilterCalls=35961, avgTableProportion=0.831268442046464, avgTableSize=5.185367481438225
7.60/3.49	    
7.90/3.51	    num=18, depth=41..60, filters=54713, revisions=(155085,useless=114031), ccks=159685, wck=0.736, mem=60M658
7.90/3.51	    decisions=1336, wrong=272, backtracks=42, failedAssignments=241, nogoods=178, foundSolutions=3, bestBound=11
7.90/3.51	    nFilterCalls=37715, avgTableProportion=0.8312889065649828, avgTableSize=5.186477528834681
7.90/3.51	    
7.90/3.54	o 7
7.90/3.57	    num=19, depth=55..1409, filters=57228, revisions=(163987,useless=121058), ccks=168223, wck=0.794, mem=60M658
7.90/3.57	    decisions=1411, wrong=273, backtracks=42, failedAssignments=242, nogoods=179, foundSolutions=4, bestBound=7
7.90/3.57	    nFilterCalls=40566, avgTableProportion=0.8313587048812001, avgTableSize=5.1890499433022725
7.90/3.57	    
7.90/3.59	    num=20, depth=4..14, filters=57891, revisions=(165495,useless=122090), ccks=170500, wck=0.809, mem=60M658
7.90/3.59	    decisions=1473, wrong=302, backtracks=52, failedAssignments=261, nogoods=185, foundSolutions=4, bestBound=7
7.90/3.59	    nFilterCalls=41348, avgTableProportion=0.8312816132061377, avgTableSize=5.185764728644674
7.90/3.59	    
8.21/3.60	    num=21, depth=28..59, filters=61269, revisions=(173634,useless=127617), ccks=179454, wck=0.825, mem=60M658
8.21/3.60	    decisions=1554, wrong=315, backtracks=54, failedAssignments=272, nogoods=192, foundSolutions=4, bestBound=7
8.21/3.60	    nFilterCalls=43306, avgTableProportion=0.83152253912528, avgTableSize=5.194153235117535
8.21/3.60	    
8.21/3.62	o 6
8.21/3.65	    num=22, depth=31..1409, filters=64327, revisions=(183672,useless=135227), ccks=189440, wck=0.876, mem=63M299
8.21/3.65	    decisions=1643, wrong=323, backtracks=54, failedAssignments=280, nogoods=200, foundSolutions=5, bestBound=6
8.21/3.65	    nFilterCalls=46466, avgTableProportion=0.8315674662955698, avgTableSize=5.195411698876598
8.21/3.65	    
8.21/3.66	    num=23, depth=4..12, filters=64873, revisions=(184947,useless=136105), ccks=191170, wck=0.886, mem=63M299
8.21/3.66	    decisions=1689, wrong=344, backtracks=62, failedAssignments=293, nogoods=205, foundSolutions=5, bestBound=6
8.21/3.66	    nFilterCalls=47194, avgTableProportion=0.8314656372784032, avgTableSize=5.191465016739416
8.21/3.66	    
8.21/3.68	    num=24, depth=27..62, filters=67473, revisions=(192174,useless=141246), ccks=198557, wck=0.897, mem=63M299
8.21/3.68	    decisions=1770, wrong=356, backtracks=63, failedAssignments=304, nogoods=214, foundSolutions=5, bestBound=6
8.21/3.68	    nFilterCalls=48764, avgTableProportion=0.8314912412618928, avgTableSize=5.191883356574523
8.21/3.68	    
8.79/3.84	    num=25, depth=32..63, filters=69025, revisions=(196826,useless=144517), ccks=203382, wck=0.906, mem=63M299
8.79/3.84	    decisions=1852, wrong=368, backtracks=63, failedAssignments=316, nogoods=226, foundSolutions=5, bestBound=6
8.79/3.84	    nFilterCalls=49627, avgTableProportion=0.8313379877378899, avgTableSize=5.186007616821488
8.79/3.84	    
8.79/3.84	    num=26, depth=34..70, filters=71652, revisions=(203817,useless=149408), ccks=211374, wck=0.918, mem=63M299
8.79/3.84	    decisions=1948, wrong=383, backtracks=65, failedAssignments=329, nogoods=235, foundSolutions=5, bestBound=6
8.79/3.84	    nFilterCalls=51236, avgTableProportion=0.8313079484665168, avgTableSize=5.184752908111484
8.79/3.84	    
8.79/3.84	    num=27, depth=26..71, filters=75456, revisions=(212608,useless=155189), ccks=222997, wck=0.93, mem=63M299
8.79/3.84	    decisions=2041, wrong=398, backtracks=66, failedAssignments=343, nogoods=249, foundSolutions=5, bestBound=6
8.79/3.84	    nFilterCalls=53223, avgTableProportion=0.8314041488809043, avgTableSize=5.188170527779343
8.79/3.84	    
8.79/3.84	    num=28, depth=26..57, filters=78858, revisions=(220380,useless=160327), ccks=232994, wck=0.943, mem=63M299
8.79/3.84	    decisions=2140, wrong=422, backtracks=78, failedAssignments=359, nogoods=256, foundSolutions=5, bestBound=6
8.79/3.84	    nFilterCalls=55245, avgTableProportion=0.8313156688750846, avgTableSize=5.182423748755544
8.79/3.84	    
8.79/3.84	    num=29, depth=27..65, filters=82957, revisions=(230443,useless=167091), ccks=245959, wck=0.961, mem=64M621
8.79/3.84	    decisions=2247, wrong=446, backtracks=86, failedAssignments=376, nogoods=268, foundSolutions=5, bestBound=6
8.79/3.84	    nFilterCalls=57581, avgTableProportion=0.831659073498824, avgTableSize=5.194612806307636
8.79/3.84	    
8.79/3.84	    num=30, depth=27..58, filters=86413, revisions=(238204,useless=171902), ccks=258501, wck=0.976, mem=64M621
8.79/3.84	    decisions=2352, wrong=473, backtracks=96, failedAssignments=395, nogoods=275, foundSolutions=5, bestBound=6
8.79/3.84	    nFilterCalls=59550, avgTableProportion=0.8317937041040143, avgTableSize=5.1975314861460955
8.79/3.84	    
8.79/3.84	    num=31, depth=27..63, filters=90389, revisions=(247499,useless=178178), ccks=272614, wck=0.993, mem=64M621
8.79/3.84	    decisions=2464, wrong=500, backtracks=104, failedAssignments=416, nogoods=282, foundSolutions=5, bestBound=6
8.79/3.84	    nFilterCalls=61916, avgTableProportion=0.8322087490276435, avgTableSize=5.21687447509529
8.79/3.84	    
8.79/3.84	    num=32, depth=27..75, filters=94013, revisions=(256532,useless=184313), ccks=282941, wck=1.009, mem=64M621
8.79/3.84	    decisions=2581, wrong=525, backtracks=106, failedAssignments=439, nogoods=299, foundSolutions=5, bestBound=6
8.79/3.84	    nFilterCalls=64070, avgTableProportion=0.8323035011315544, avgTableSize=5.220399562977993
8.79/3.84	    
8.79/3.84	    num=33, depth=28..59, filters=98071, revisions=(266560,useless=191215), ccks=293023, wck=1.025, mem=64M621
8.79/3.84	    decisions=2695, wrong=555, backtracks=111, failedAssignments=464, nogoods=308, foundSolutions=5, bestBound=6
8.79/3.84	    nFilterCalls=66460, avgTableProportion=0.832071839369364, avgTableSize=5.2114956364730665
8.79/3.84	    
8.79/3.84	    num=34, depth=29..62, filters=100496, revisions=(272352,useless=195082), ccks=299526, wck=1.037, mem=64M621
8.79/3.84	    decisions=2817, wrong=589, backtracks=117, failedAssignments=492, nogoods=314, foundSolutions=5, bestBound=6
8.79/3.84	    nFilterCalls=67762, avgTableProportion=0.8319659482799785, avgTableSize=5.2069891679702485
8.79/3.84	    
8.79/3.84	    num=35, depth=30..37, filters=104900, revisions=(282745,useless=202032), ccks=311978, wck=1.054, mem=64M621
8.79/3.84	    decisions=2925, wrong=626, backtracks=124, failedAssignments=523, nogoods=330, foundSolutions=5, bestBound=6
8.79/3.84	    nFilterCalls=70355, avgTableProportion=0.8317700990336473, avgTableSize=5.200198990832208
8.79/3.84	    
8.79/3.86	    num=36, depth=26..39, filters=114470, revisions=(301447,useless=213152), ccks=332927, wck=1.08, mem=64M621
8.79/3.86	    decisions=3085, wrong=689, backtracks=159, failedAssignments=557, nogoods=338, foundSolutions=5, bestBound=6
8.79/3.86	    nFilterCalls=75306, avgTableProportion=0.8308275463629753, avgTableSize=5.17045122566595
8.79/3.86	    
8.79/3.88	    num=37, depth=29..41, filters=126090, revisions=(324334,useless=227109), ccks=367295, wck=1.103, mem=64M621
8.79/3.88	    decisions=3240, wrong=749, backtracks=188, failedAssignments=594, nogoods=347, foundSolutions=5, bestBound=6
8.79/3.88	    nFilterCalls=81628, avgTableProportion=0.8307638222887043, avgTableSize=5.165445680403783
8.79/3.88	    
8.79/3.89	    num=38, depth=34..42, filters=130070, revisions=(333631,useless=233067), ccks=379034, wck=1.116, mem=64M621
8.79/3.89	    decisions=3378, wrong=798, backtracks=197, failedAssignments=635, nogoods=354, foundSolutions=5, bestBound=6
8.79/3.89	    nFilterCalls=83918, avgTableProportion=0.8307415127852031, avgTableSize=5.164386663171191
8.79/3.89	    
8.96/3.90	    num=39, depth=32..46, filters=133773, revisions=(341823,useless=238693), ccks=386125, wck=1.127, mem=64M621
8.96/3.90	    decisions=3516, wrong=847, backtracks=204, failedAssignments=680, nogoods=363, foundSolutions=5, bestBound=6
8.96/3.90	    nFilterCalls=85976, avgTableProportion=0.8305342779314411, avgTableSize=5.1597306224993025
8.96/3.90	    
8.96/3.92	    num=40, depth=33..69, filters=140184, revisions=(356215,useless=248317), ccks=400991, wck=1.143, mem=64M621
8.96/3.92	    decisions=3687, wrong=903, backtracks=210, failedAssignments=730, nogoods=392, foundSolutions=5, bestBound=6
8.96/3.92	    nFilterCalls=89608, avgTableProportion=0.8305804036424529, avgTableSize=5.161492277475225
8.96/3.92	    
8.96/3.94	    num=41, depth=24..47, filters=148359, revisions=(373662,useless=259683), ccks=417364, wck=1.161, mem=64M621
8.96/3.94	    decisions=3848, wrong=965, backtracks=224, failedAssignments=785, nogoods=413, foundSolutions=5, bestBound=6
8.96/3.94	    nFilterCalls=94030, avgTableProportion=0.8303317878968419, avgTableSize=5.149984047644369
8.96/3.94	    
8.96/3.96	    num=42, depth=28..47, filters=158373, revisions=(391862,useless=270341), ccks=440826, wck=1.182, mem=64M621
8.96/3.96	    decisions=4025, wrong=1033, backtracks=236, failedAssignments=846, nogoods=430, foundSolutions=5, bestBound=6
8.96/3.96	    nFilterCalls=98978, avgTableProportion=0.8303168741689646, avgTableSize=5.146355755824526
8.96/3.96	    
8.96/3.98	    num=43, depth=38..43, filters=170790, revisions=(416550,useless=285648), ccks=472481, wck=1.208, mem=64M621
8.96/3.98	    decisions=4235, wrong=1118, backtracks=259, failedAssignments=913, nogoods=451, foundSolutions=5, bestBound=6
8.96/3.98	    nFilterCalls=105834, avgTableProportion=0.8299354994695199, avgTableSize=5.129003911786382
8.96/3.98	    
9.08/4.02	    num=44, depth=35..55, filters=187478, revisions=(446412,useless=301568), ccks=503984, wck=1.239, mem=64M621
9.08/4.02	    decisions=4457, wrong=1206, backtracks=277, failedAssignments=987, nogoods=472, foundSolutions=5, bestBound=6
9.08/4.02	    nFilterCalls=113568, avgTableProportion=0.8292665054604029, avgTableSize=5.11197696534235
9.08/4.02	    
9.08/4.03	    num=45, depth=12..49, filters=195793, revisions=(465987,useless=314421), ccks=522605, wck=1.258, mem=64M621
9.08/4.03	    decisions=4680, wrong=1300, backtracks=292, failedAssignments=1068, nogoods=496, foundSolutions=5, bestBound=6
9.08/4.03	    nFilterCalls=118299, avgTableProportion=0.8291295516062044, avgTableSize=5.1093753962417265
9.08/4.03	    
9.08/4.07	    num=46, depth=41..53, filters=215383, revisions=(506523,useless=340496), ccks=564382, wck=1.297, mem=64M621
9.08/4.07	    decisions=4974, wrong=1422, backtracks=328, failedAssignments=1157, nogoods=522, foundSolutions=5, bestBound=6
9.08/4.07	    nFilterCalls=128544, avgTableProportion=0.8285391655162605, avgTableSize=5.081979711227284
9.08/4.07	    
9.18/4.12	    num=47, depth=31..46, filters=244025, revisions=(548929,useless=360251), ccks=619292, wck=1.346, mem=64M621
9.18/4.12	    decisions=5249, wrong=1541, backtracks=360, failedAssignments=1255, nogoods=528, foundSolutions=5, bestBound=6
9.18/4.12	    nFilterCalls=142082, avgTableProportion=0.8276865773692313, avgTableSize=5.047226249630495
9.18/4.12	    
9.18/4.15	    num=48, depth=0..39, filters=256112, revisions=(574079,useless=376659), ccks=653635, wck=1.374, mem=64M621
9.18/4.15	    decisions=5539, wrong=1669, backtracks=384, failedAssignments=1363, nogoods=533, foundSolutions=5, bestBound=6
9.18/4.15	    nFilterCalls=148331, avgTableProportion=0.8279671012485429, avgTableSize=5.055996386460012
9.18/4.15	    
9.28/4.21	    num=49, depth=12..31, filters=290015, revisions=(627614,useless=404027), ccks=742304, wck=1.434, mem=64M621
9.28/4.21	    decisions=5931, wrong=1854, backtracks=472, failedAssignments=1482, nogoods=545, foundSolutions=5, bestBound=6
9.28/4.21	    nFilterCalls=165302, avgTableProportion=0.828153129731072, avgTableSize=5.06786366771122
9.28/4.21	    
9.28/4.29	    num=50, depth=12..35, filters=335729, revisions=(695897,useless=437521), ccks=871600, wck=1.514, mem=64M621
9.28/4.29	    decisions=6420, wrong=2090, backtracks=615, failedAssignments=1613, nogoods=551, foundSolutions=5, bestBound=6
9.28/4.29	    nFilterCalls=188915, avgTableProportion=0.8290516584048823, avgTableSize=5.099494481645184
9.28/4.29	    
9.39/4.37	    num=51, depth=17..37, filters=377241, revisions=(761327,useless=470221), ccks=977619, wck=1.591, mem=64M621
9.39/4.37	    decisions=6814, wrong=2273, backtracks=673, failedAssignments=1757, nogoods=559, foundSolutions=5, bestBound=6
9.39/4.37	    nFilterCalls=209648, avgTableProportion=0.8287914780655647, avgTableSize=5.092068610241929
9.39/4.37	    
9.52/4.44	    num=52, depth=18..38, filters=414877, revisions=(828551,useless=504538), ccks=1092835, wck=1.663, mem=64M621
9.52/4.44	    decisions=7242, wrong=2474, backtracks=734, failedAssignments=1915, nogoods=573, foundSolutions=5, bestBound=6
9.52/4.44	    nFilterCalls=231294, avgTableProportion=0.8294570875976776, avgTableSize=5.131032365733655
9.52/4.44	    
9.62/4.54	    num=53, depth=17..36, filters=477338, revisions=(920509,useless=547872), ccks=1243282, wck=1.763, mem=64M621
9.62/4.54	    decisions=7775, wrong=2727, backtracks=847, failedAssignments=2089, nogoods=595, foundSolutions=5, bestBound=6
9.62/4.54	    nFilterCalls=260446, avgTableProportion=0.8293026589662912, avgTableSize=5.122651144575075
9.62/4.54	    
9.73/4.65	    num=54, depth=19..42, filters=543626, revisions=(1036406,useless=610508), ccks=1432546, wck=1.876, mem=64M621
9.73/4.65	    decisions=8355, wrong=3002, backtracks=957, failedAssignments=2280, nogoods=602, foundSolutions=5, bestBound=6
9.73/4.65	    nFilterCalls=295993, avgTableProportion=0.8303109940539739, avgTableSize=5.167402607494096
9.73/4.65	    
9.84/4.77	    num=55, depth=19..34, filters=617581, revisions=(1143366,useless=664042), ccks=1603122, wck=1.995, mem=64M621
9.84/4.77	    decisions=8976, wrong=3299, backtracks=1092, failedAssignments=2491, nogoods=628, foundSolutions=5, bestBound=6
9.84/4.77	    nFilterCalls=331840, avgTableProportion=0.8300712250385298, avgTableSize=5.153375120540019
9.84/4.77	    
9.94/4.88	    num=56, depth=24..38, filters=689018, revisions=(1246459,useless=711095), ccks=1797871, wck=2.108, mem=64M621
9.94/4.88	    decisions=9584, wrong=3589, backtracks=1157, failedAssignments=2723, nogoods=640, foundSolutions=5, bestBound=6
9.94/4.88	    nFilterCalls=365395, avgTableProportion=0.8304254473877402, avgTableSize=5.163696821248238
9.94/4.88	    
10.07/5.00	    num=57, depth=24..37, filters=754871, revisions=(1350396,useless=763635), ccks=1959813, wck=2.223, mem=67M262
10.07/5.00	    decisions=10272, wrong=3921, backtracks=1247, failedAssignments=2978, nogoods=644, foundSolutions=5, bestBound=6
10.07/5.00	    nFilterCalls=397510, avgTableProportion=0.8306241581991431, avgTableSize=5.168614626047144
10.07/5.00	    
10.28/5.06	    num=58, depth=22..54, filters=789142, revisions=(1419104,useless=805457), ccks=2021606, wck=2.288, mem=67M262
10.28/5.06	    decisions=10977, wrong=4257, backtracks=1314, failedAssignments=3259, nogoods=696, foundSolutions=5, bestBound=6
10.28/5.06	    nFilterCalls=415227, avgTableProportion=0.8305349863863115, avgTableSize=5.1655913512367935
10.28/5.06	    
10.47/5.21	    num=59, depth=33..46, filters=876320, revisions=(1556278,useless=876715), ccks=2239286, wck=2.432, mem=67M262
10.47/5.21	    decisions=11758, wrong=4631, backtracks=1395, failedAssignments=3568, nogoods=703, foundSolutions=5, bestBound=6
10.47/5.21	    nFilterCalls=459021, avgTableProportion=0.8312730029294543, avgTableSize=5.195555323176936
10.47/5.21	    
10.57/5.38	    num=60, depth=0..37, filters=983018, revisions=(1726611,useless=970800), ccks=2494415, wck=2.608, mem=67M262
10.57/5.38	    decisions=12746, wrong=5114, backtracks=1591, failedAssignments=3908, nogoods=715, foundSolutions=5, bestBound=6
10.57/5.38	    nFilterCalls=514144, avgTableProportion=0.8306615546672369, avgTableSize=5.174031010767411
10.57/5.38	    
10.79/5.53	    num=61, depth=28..40, filters=1063468, revisions=(1860281,useless=1046457), ccks=2675910, wck=2.75, mem=67M262
10.79/5.53	    decisions=13703, wrong=5577, backtracks=1713, failedAssignments=4282, nogoods=735, foundSolutions=5, bestBound=6
10.79/5.53	    nFilterCalls=556611, avgTableProportion=0.8301382191209709, avgTableSize=5.152293073618739
10.79/5.53	    
11.00/5.70	    num=62, depth=17..39, filters=1175791, revisions=(2024692,useless=1131234), ccks=2936815, wck=2.928, mem=67M262
11.00/5.70	    decisions=14726, wrong=6076, backtracks=1893, failedAssignments=4693, nogoods=740, foundSolutions=5, bestBound=6
11.00/5.70	    nFilterCalls=613042, avgTableProportion=0.830070443522682, avgTableSize=5.144689923365773
11.00/5.70	    
11.10/5.89	    num=63, depth=27..40, filters=1281359, revisions=(2210019,useless=1236905), ccks=3167526, wck=3.112, mem=67M262
11.10/5.89	    decisions=15933, wrong=6664, backtracks=2060, failedAssignments=5145, nogoods=747, foundSolutions=5, bestBound=6
11.10/5.89	    nFilterCalls=667574, avgTableProportion=0.8297887152932221, avgTableSize=5.12956616045562
11.10/5.89	    
11.32/6.07	    num=64, depth=0..41, filters=1385231, revisions=(2369496,useless=1318729), ccks=3432440, wck=3.297, mem=67M262
11.32/6.07	    decisions=17204, wrong=7285, backtracks=2224, failedAssignments=5642, nogoods=796, foundSolutions=5, bestBound=6
11.32/6.07	    nFilterCalls=719207, avgTableProportion=0.8299941584681622, avgTableSize=5.13468723190959
11.32/6.07	    
11.51/6.26	    num=65, depth=25..47, filters=1495611, revisions=(2539643,useless=1408167), ccks=3690836, wck=3.487, mem=67M262
11.51/6.26	    decisions=18553, wrong=7940, backtracks=2387, failedAssignments=6189, nogoods=809, foundSolutions=5, bestBound=6
11.51/6.26	    nFilterCalls=775222, avgTableProportion=0.8299793186750024, avgTableSize=5.133325679611776
11.51/6.26	    
11.71/6.49	    num=66, depth=6..37, filters=1632212, revisions=(2742705,useless=1506141), ccks=3991809, wck=3.712, mem=67M262
11.71/6.49	    decisions=19979, wrong=8639, backtracks=2513, failedAssignments=6791, nogoods=830, foundSolutions=5, bestBound=6
11.71/6.49	    nFilterCalls=838799, avgTableProportion=0.8298385477933387, avgTableSize=5.127088849652897
11.71/6.49	    
12.07/6.78	    num=67, depth=15..30, filters=1804005, revisions=(3032000,useless=1677977), ccks=4374357, wck=4.008, mem=67M262
12.07/6.78	    decisions=21935, wrong=9605, backtracks=2896, failedAssignments=7453, nogoods=898, foundSolutions=5, bestBound=6
12.07/6.78	    nFilterCalls=928171, avgTableProportion=0.82980069927536, avgTableSize=5.114950801091609
12.07/6.78	    
12.38/7.05	    num=68, depth=6..39, filters=1952402, revisions=(3281063,useless=1805105), ccks=4777681, wck=4.278, mem=67M262
12.38/7.05	    decisions=23724, wrong=10486, backtracks=3114, failedAssignments=8181, nogoods=930, foundSolutions=5, bestBound=6
12.38/7.05	    nFilterCalls=1000340, avgTableProportion=0.8295456092628031, avgTableSize=5.106218885578903
12.38/7.05	    
12.67/7.39	    num=69, depth=20..38, filters=2163656, revisions=(3592069,useless=1955327), ccks=5278410, wck=4.618, mem=67M262
12.67/7.39	    decisions=25614, wrong=11421, backtracks=3372, failedAssignments=8982, nogoods=956, foundSolutions=5, bestBound=6
12.67/7.39	    nFilterCalls=1103702, avgTableProportion=0.83018883160522, avgTableSize=5.132076411930032
12.67/7.39	    
13.07/7.74	    num=70, depth=20..39, filters=2369498, revisions=(3912799,useless=2119291), ccks=5769790, wck=4.965, mem=67M262
13.07/7.74	    decisions=28027, wrong=12614, backtracks=3837, failedAssignments=9863, nogoods=979, foundSolutions=5, bestBound=6
13.07/7.74	    nFilterCalls=1205052, avgTableProportion=0.8306028040712438, avgTableSize=5.1491470907479515
13.07/7.74	    
13.57/8.22	    num=71, depth=20..34, filters=2668092, revisions=(4363755,useless=2349268), ccks=6454783, wck=5.439, mem=67M262
13.57/8.22	    decisions=30581, wrong=13880, backtracks=4400, failedAssignments=10833, nogoods=994, foundSolutions=5, bestBound=6
13.57/8.22	    nFilterCalls=1351184, avgTableProportion=0.8305802875488607, avgTableSize=5.14828180321851
13.57/8.22	    
13.97/8.62	    num=72, depth=25..43, filters=2909658, revisions=(4737575,useless=2541793), ccks=7065537, wck=5.844, mem=67M262
13.97/8.62	    decisions=33219, wrong=15182, backtracks=4702, failedAssignments=11900, nogoods=1023, foundSolutions=5, bestBound=6
13.97/8.62	    nFilterCalls=1468960, avgTableProportion=0.8308895387474499, avgTableSize=5.16321819518571
13.97/8.62	    
14.57/9.29	    num=73, depth=10..29, filters=3331420, revisions=(5358165,useless=2839038), ccks=8180649, wck=6.516, mem=67M262
14.57/9.29	    decisions=36155, wrong=16643, backtracks=5112, failedAssignments=13073, nogoods=1033, foundSolutions=5, bestBound=6
14.57/9.29	    nFilterCalls=1674431, avgTableProportion=0.8306414840656545, avgTableSize=5.1663586018175724
14.57/9.29	    
15.17/9.88	    num=74, depth=8..32, filters=3673972, revisions=(5893123,useless=3103800), ccks=9139619, wck=7.101, mem=67M262
15.17/9.88	    decisions=39560, wrong=18338, backtracks=5720, failedAssignments=14364, nogoods=1064, foundSolutions=5, bestBound=6
15.17/9.88	    nFilterCalls=1842147, avgTableProportion=0.8306597001288082, avgTableSize=5.172452035586737
15.17/9.88	    
15.97/10.65	    num=75, depth=8..33, filters=4132653, revisions=(6614622,useless=3463130), ccks=10456873, wck=7.874, mem=67M262
15.97/10.65	    decisions=43219, wrong=20162, backtracks=6354, failedAssignments=15784, nogoods=1095, foundSolutions=5, bestBound=6
15.97/10.65	    nFilterCalls=2074336, avgTableProportion=0.8309673327671996, avgTableSize=5.190491800749734
15.97/10.65	    
16.38/11.08	    num=76, depth=16..58, filters=4373753, revisions=(7041443,useless=3705101), ccks=11027394, wck=8.299, mem=67M262
16.38/11.08	    decisions=47274, wrong=22174, backtracks=6929, failedAssignments=17346, nogoods=1139, foundSolutions=5, bestBound=6
16.38/11.08	    nFilterCalls=2193528, avgTableProportion=0.8311177813138427, avgTableSize=5.198612919461252
16.38/11.08	    
17.17/11.80	    num=77, depth=18..38, filters=4789195, revisions=(7694945,useless=4041781), ccks=12158659, wck=9.028, mem=67M262
17.17/11.80	    decisions=51451, wrong=24252, backtracks=7445, failedAssignments=19064, nogoods=1151, foundSolutions=5, bestBound=6
17.17/11.80	    nFilterCalls=2408530, avgTableProportion=0.8308540348903356, avgTableSize=5.191381465042993
17.17/11.80	    
17.49/12.12	    num=78, depth=11..41, filters=4934474, revisions=(7983238,useless=4218879), ccks=12444255, wck=9.347, mem=67M262
17.49/12.12	    decisions=55609, wrong=26321, backtracks=7690, failedAssignments=20954, nogoods=1202, foundSolutions=5, bestBound=6
17.49/12.12	    nFilterCalls=2478828, avgTableProportion=0.8310280833313669, avgTableSize=5.196043452793013
17.49/12.12	    
18.18/12.81	    num=79, depth=20..35, filters=5335835, revisions=(8648417,useless=4561973), ccks=13287514, wck=10.035, mem=69M903
18.18/12.81	    decisions=60134, wrong=28572, backtracks=7927, failedAssignments=23033, nogoods=1238, foundSolutions=5, bestBound=6
18.18/12.81	    nFilterCalls=2672779, avgTableProportion=0.8310203629290533, avgTableSize=5.194002571854987
18.18/12.81	    
18.88/13.59	    num=80, depth=16..31, filters=5776903, revisions=(9367318,useless=4957119), ccks=14178860, wck=10.812, mem=69M903
18.88/13.59	    decisions=65465, wrong=31227, backtracks=8512, failedAssignments=25320, nogoods=1264, foundSolutions=5, bestBound=6
18.88/13.59	    nFilterCalls=2899204, avgTableProportion=0.8304390818811963, avgTableSize=5.1709945212548
18.88/13.59	    
19.98/14.67	    num=81, depth=2..33, filters=6430866, revisions=(10398227,useless=5459462), ccks=15712924, wck=11.897, mem=69M903
19.98/14.67	    decisions=71284, wrong=34126, backtracks=9141, failedAssignments=27836, nogoods=1296, foundSolutions=5, bestBound=6
19.98/14.67	    nFilterCalls=3211376, avgTableProportion=0.83069043346108, avgTableSize=5.177669323056534
19.98/14.67	    
21.20/15.83	    num=82, depth=2..37, filters=7093593, revisions=(11459148,useless=6023998), ccks=17437942, wck=13.053, mem=69M903
21.20/15.83	    decisions=78032, wrong=37488, backtracks=9910, failedAssignments=30604, nogoods=1323, foundSolutions=5, bestBound=6
21.20/15.83	    nFilterCalls=3546711, avgTableProportion=0.830657521593721, avgTableSize=5.175206268568259
21.20/15.83	    
22.41/17.01	    num=83, depth=2..45, filters=7774366, revisions=(12535392,useless=6591631), ccks=19127512, wck=14.234, mem=69M903
22.41/17.01	    decisions=85680, wrong=41300, backtracks=11058, failedAssignments=33648, nogoods=1351, foundSolutions=5, bestBound=6
22.41/17.01	    nFilterCalls=3889754, avgTableProportion=0.8306881005664746, avgTableSize=5.177275992260693
22.41/17.01	    
23.80/18.40	    num=84, depth=2..41, filters=8565519, revisions=(13811401,useless=7220525), ccks=21338986, wck=15.622, mem=69M903
23.80/18.40	    decisions=93497, wrong=45199, backtracks=11742, failedAssignments=36997, nogoods=1367, foundSolutions=5, bestBound=6
23.80/18.40	    nFilterCalls=4272772, avgTableProportion=0.8308167448769221, avgTableSize=5.179545503481113
23.80/18.40	    
25.11/19.74	    num=85, depth=17..41, filters=9330874, revisions=(15022628,useless=7849363), ccks=23144498, wck=16.963, mem=69M903
25.11/19.74	    decisions=102261, wrong=49570, backtracks=12816, failedAssignments=40681, nogoods=1396, foundSolutions=5, bestBound=6
25.11/19.74	    nFilterCalls=4655139, avgTableProportion=0.8305519920001283, avgTableSize=5.1668160714427644
25.11/19.74	    
26.42/21.01	    num=86, depth=0..38, filters=9995424, revisions=(16175333,useless=8475810), ccks=24695077, wck=18.232, mem=69M903
26.42/21.01	    decisions=111842, wrong=54347, backtracks=13868, failedAssignments=44733, nogoods=1420, foundSolutions=5, bestBound=6
26.42/21.01	    nFilterCalls=4983488, avgTableProportion=0.830404742521233, avgTableSize=5.157391770583174
26.42/21.01	    
28.01/22.61	    num=87, depth=1..31, filters=10882734, revisions=(17598950,useless=9221499), ccks=26908778, wck=19.833, mem=69M903
28.01/22.61	    decisions=122461, wrong=59646, backtracks=15166, failedAssignments=49190, nogoods=1442, foundSolutions=5, bestBound=6
28.01/22.61	    nFilterCalls=5426560, avgTableProportion=0.8303008018066158, avgTableSize=5.15422901432952
28.01/22.61	    
29.21/23.85	    num=88, depth=5..60, filters=11556033, revisions=(18907570,useless=10014727), ccks=28240176, wck=21.07, mem=69M903
29.21/23.85	    decisions=134349, wrong=65572, backtracks=16655, failedAssignments=54093, nogoods=1485, foundSolutions=5, bestBound=6
29.21/23.85	    nFilterCalls=5778984, avgTableProportion=0.8304835209312409, avgTableSize=5.159499143794134
29.21/23.85	    
31.64/26.24	    num=89, depth=9..39, filters=12967954, revisions=(21370957,useless=11352108), ccks=31185837, wck=23.465, mem=72M544
31.64/26.24	    decisions=148288, wrong=72531, backtracks=18948, failedAssignments=59487, nogoods=1508, foundSolutions=5, bestBound=6
31.64/26.24	    nFilterCalls=6463670, avgTableProportion=0.8290968630627946, avgTableSize=5.10368196396165
31.64/26.24	    
32.94/27.58	    num=90, depth=8..42, filters=13702451, revisions=(22840237,useless=12259473), ccks=32540295, wck=24.807, mem=72M544
32.94/27.58	    decisions=162171, wrong=79461, backtracks=20171, failedAssignments=65420, nogoods=1551, foundSolutions=5, bestBound=6
32.94/27.58	    nFilterCalls=6843895, avgTableProportion=0.8295984016380098, avgTableSize=5.12153108719523
32.94/27.58	    
34.76/29.34	    num=91, depth=12..39, filters=14673737, revisions=(24528857,useless=13206715), ccks=34598442, wck=26.559, mem=72M544
34.76/29.34	    decisions=177211, wrong=86968, backtracks=21800, failedAssignments=71946, nogoods=1613, foundSolutions=5, bestBound=6
34.76/29.34	    nFilterCalls=7329098, avgTableProportion=0.8298849118089864, avgTableSize=5.132924815577579
34.76/29.34	    
38.98/33.53	    num=92, depth=8..32, filters=17264251, revisions=(28298881,useless=15080478), ccks=40889284, wck=30.751, mem=72M544
38.98/33.53	    decisions=199536, wrong=98123, backtracks=27788, failedAssignments=79125, nogoods=1625, foundSolutions=5, bestBound=6
38.98/33.53	    nFilterCalls=8669668, avgTableProportion=0.8291599251748486, avgTableSize=5.096656181067141
38.98/33.53	    
40.68/35.24	    num=93, depth=13..57, filters=18228804, revisions=(30245642,useless=16268035), ccks=42558605, wck=32.464, mem=75M185
40.68/35.24	    decisions=218052, wrong=107363, backtracks=29471, failedAssignments=87022, nogoods=1703, foundSolutions=5, bestBound=6
40.68/35.24	    nFilterCalls=9159830, avgTableProportion=0.8297339300757673, avgTableSize=5.119743925378528
40.68/35.24	    
44.38/38.95	o 5
44.38/38.98	    num=94, depth=15..1409, filters=20531559, revisions=(33614002,useless=17926908), ccks=48426266, wck=36.202, mem=75M185
44.38/38.98	    decisions=236800, wrong=116713, backtracks=34972, failedAssignments=92576, nogoods=1739, foundSolutions=6, bestBound=5
44.38/38.98	    nFilterCalls=10375030, avgTableProportion=0.8292508545499518, avgTableSize=5.095238857140654
44.38/38.98	    
46.89/41.39	    num=95, depth=0..37, filters=21951151, revisions=(35891146,useless=19033712), ccks=50996692, wck=38.614, mem=75M185
46.89/41.39	    decisions=257587, wrong=127101, backtracks=36250, failedAssignments=102131, nogoods=1798, foundSolutions=6, bestBound=5
46.89/41.39	    nFilterCalls=10991513, avgTableProportion=0.8289208369457581, avgTableSize=5.080318696798157
46.89/41.39	    
46.99/41.40	    num=96, depth=9..18, filters=21955626, revisions=(35898011,useless=19037322), ccks=51008859, wck=38.622, mem=75M185
46.99/41.40	    decisions=257635, wrong=127119, backtracks=36261, failedAssignments=102142, nogoods=1802, foundSolutions=6, bestBound=5
46.99/41.40	    nFilterCalls=10994019, avgTableProportion=0.8289205365098956, avgTableSize=5.080302207955071
46.99/41.40	    
46.99/41.41	    num=97, depth=3..29, filters=21959472, revisions=(35905563,useless=19041935), ccks=51020362, wck=38.631, mem=75M185
46.99/41.41	    decisions=257696, wrong=127138, backtracks=36270, failedAssignments=102154, nogoods=1811, foundSolutions=6, bestBound=5
46.99/41.41	    nFilterCalls=10996064, avgTableProportion=0.8289212588790695, avgTableSize=5.080327197077064
46.99/41.41	    
46.99/41.42	    num=98, depth=5..27, filters=21962526, revisions=(35911835,useless=19045711), ccks=51029129, wck=38.639, mem=75M185
46.99/41.42	    decisions=257747, wrong=127152, backtracks=36271, failedAssignments=102167, nogoods=1824, foundSolutions=6, bestBound=5
46.99/41.42	    nFilterCalls=10997669, avgTableProportion=0.8289208408639989, avgTableSize=5.0803097456379165
46.99/41.42	    
46.99/41.42	    num=99, depth=5..27, filters=21965911, revisions=(35918533,useless=19049634), ccks=51038179, wck=38.647, mem=77M828
46.99/41.42	    decisions=257800, wrong=127167, backtracks=36272, failedAssignments=102181, nogoods=1838, foundSolutions=6, bestBound=5
46.99/41.42	    nFilterCalls=10999391, avgTableProportion=0.8289203313750358, avgTableSize=5.080288263232028
46.99/41.42	    
46.99/41.43	    num=100, depth=5..27, filters=21970001, revisions=(35926662,useless=19054542), ccks=51049579, wck=38.656, mem=77M828
46.99/41.43	    decisions=257860, wrong=127186, backtracks=36275, failedAssignments=102197, nogoods=1854, foundSolutions=6, bestBound=5
46.99/41.43	    nFilterCalls=11001611, avgTableProportion=0.8289199255578457, avgTableSize=5.080268880621211
46.99/41.43	    
46.99/41.44	    num=101, depth=22..26, filters=21973198, revisions=(35933075,useless=19058392), ccks=51058065, wck=38.663, mem=77M828
46.99/41.44	    decisions=257921, wrong=127205, backtracks=36277, failedAssignments=102214, nogoods=1871, foundSolutions=6, bestBound=5
46.99/41.44	    nFilterCalls=11003303, avgTableProportion=0.82891934813622, avgTableSize=5.080242541716792
46.99/41.44	    
46.99/41.45	    num=102, depth=9..31, filters=21977811, revisions=(35942657,useless=19064485), ccks=51070835, wck=38.673, mem=77M828
46.99/41.45	    decisions=258001, wrong=127234, backtracks=36293, failedAssignments=102233, nogoods=1878, foundSolutions=6, bestBound=5
46.99/41.45	    nFilterCalls=11005842, avgTableProportion=0.8289190318869649, avgTableSize=5.0802304812298775
46.99/41.45	    
46.99/41.46	    num=103, depth=4..32, filters=21980247, revisions=(35947628,useless=19067516), ccks=51078236, wck=38.68, mem=77M828
46.99/41.46	    decisions=258072, wrong=127257, backtracks=36299, failedAssignments=102254, nogoods=1889, foundSolutions=6, bestBound=5
46.99/41.46	    nFilterCalls=11007089, avgTableProportion=0.8289200841914033, avgTableSize=5.080274630285992
46.99/41.46	    
46.99/41.47	    num=104, depth=4..28, filters=21986810, revisions=(35960302,useless=19075045), ccks=51095653, wck=38.694, mem=77M828
46.99/41.47	    decisions=258154, wrong=127287, backtracks=36308, failedAssignments=102277, nogoods=1896, foundSolutions=6, bestBound=5
46.99/41.47	    nFilterCalls=11010603, avgTableProportion=0.8289173051443464, avgTableSize=5.080162730415401
46.99/41.47	    
46.99/41.48	    num=105, depth=22..25, filters=21991518, revisions=(35969276,useless=19080291), ccks=51107947, wck=38.705, mem=77M828
46.99/41.48	    decisions=258230, wrong=127313, backtracks=36309, failedAssignments=102302, nogoods=1918, foundSolutions=6, bestBound=5
46.99/41.48	    nFilterCalls=11013053, avgTableProportion=0.8289165923019419, avgTableSize=5.080126192074078
46.99/41.48	    
46.99/41.49	    num=106, depth=21..25, filters=21997351, revisions=(35980991,useless=19087397), ccks=51122628, wck=38.717, mem=77M828
46.99/41.49	    decisions=258319, wrong=127347, backtracks=36316, failedAssignments=102330, nogoods=1919, foundSolutions=6, bestBound=5
46.99/41.49	    nFilterCalls=11016083, avgTableProportion=0.8289148014308562, avgTableSize=5.080053409183646
46.99/41.49	    
47.11/41.51	    num=107, depth=4..25, filters=22005300, revisions=(35995734,useless=19095994), ccks=51143338, wck=38.733, mem=77M828
47.11/41.51	    decisions=258422, wrong=127389, backtracks=36329, failedAssignments=102361, nogoods=1935, foundSolutions=6, bestBound=5
47.11/41.51	    nFilterCalls=11020245, avgTableProportion=0.8289119829394909, avgTableSize=5.079940963200001
47.11/41.51	    
47.11/41.53	    num=108, depth=21..26, filters=22016331, revisions=(36015933,useless=19107096), ccks=51168530, wck=38.753, mem=77M828
47.11/41.53	    decisions=258530, wrong=127431, backtracks=36337, failedAssignments=102395, nogoods=1950, foundSolutions=6, bestBound=5
47.11/41.53	    nFilterCalls=11025578, avgTableProportion=0.8289043074696159, avgTableSize=5.079686162485087
47.11/41.53	    
47.11/41.55	    num=109, depth=21..26, filters=22025187, revisions=(36032858,useless=19116805), ccks=51190727, wck=38.77, mem=77M828
47.11/41.55	    decisions=258645, wrong=127477, backtracks=36349, failedAssignments=102432, nogoods=1961, foundSolutions=6, bestBound=5
47.11/41.55	    nFilterCalls=11030045, avgTableProportion=0.828900717449878, avgTableSize=5.079546547634211
47.11/41.55	    
47.11/41.57	    num=110, depth=18..27, filters=22035649, revisions=(36050656,useless=19126352), ccks=51216689, wck=38.789, mem=77M828
47.11/41.57	    decisions=258775, wrong=127532, backtracks=36367, failedAssignments=102473, nogoods=1974, foundSolutions=6, bestBound=5
47.11/41.57	    nFilterCalls=11035178, avgTableProportion=0.8289008537959509, avgTableSize=5.079536188723009
47.11/41.57	    
47.11/41.58	    num=111, depth=7..27, filters=22041348, revisions=(36061864,useless=19132563), ccks=51233094, wck=38.801, mem=77M828
47.11/41.58	    decisions=258892, wrong=127585, backtracks=36392, failedAssignments=102518, nogoods=1988, foundSolutions=6, bestBound=5
47.11/41.58	    nFilterCalls=11038086, avgTableProportion=0.8289030389401646, avgTableSize=5.079604199496181
47.11/41.58	    
47.21/41.60	    num=112, depth=4..33, filters=22054769, revisions=(36087299,useless=19148692), ccks=51266351, wck=38.826, mem=80M469
47.21/41.60	    decisions=259073, wrong=127662, backtracks=36423, failedAssignments=102568, nogoods=2005, foundSolutions=6, bestBound=5
47.21/41.60	    nFilterCalls=11045301, avgTableProportion=0.8289001974579433, avgTableSize=5.079494891085359
47.21/41.60	    
47.21/41.63	    num=113, depth=6..16, filters=22071663, revisions=(36114173,useless=19163148), ccks=51313268, wck=38.856, mem=80M469
47.21/41.63	    decisions=259287, wrong=127765, backtracks=36482, failedAssignments=102623, nogoods=2012, foundSolutions=6, bestBound=5
47.21/41.63	    nFilterCalls=11054385, avgTableProportion=0.8288998645416743, avgTableSize=5.079452362116934
47.21/41.63	    
47.21/41.66	    num=114, depth=5..9, filters=22084853, revisions=(36138476,useless=19176932), ccks=51352716, wck=38.881, mem=80M469
47.21/41.66	    decisions=259457, wrong=127847, backtracks=36507, failedAssignments=102684, nogoods=2023, foundSolutions=6, bestBound=5
47.21/41.66	    nFilterCalls=11060881, avgTableProportion=0.8289031908478414, avgTableSize=5.079536521548329
47.21/41.66	    
47.21/41.69	    num=115, depth=19..28, filters=22101786, revisions=(36167171,useless=19193551), ccks=51391003, wck=38.912, mem=80M469
47.21/41.69	    decisions=259681, wrong=127946, backtracks=36545, failedAssignments=102751, nogoods=2038, foundSolutions=6, bestBound=5
47.21/41.69	    nFilterCalls=11069504, avgTableProportion=0.8288983563094864, avgTableSize=5.079354775064899
47.21/41.69	    
47.31/41.73	    num=116, depth=6..15, filters=22122538, revisions=(36201419,useless=19213195), ccks=51446080, wck=38.949, mem=80M469
47.31/41.73	    decisions=259933, wrong=128068, backtracks=36603, failedAssignments=102825, nogoods=2042, foundSolutions=6, bestBound=5
47.31/41.73	    nFilterCalls=11080988, avgTableProportion=0.8288978585609986, avgTableSize=5.07929076360339
47.31/41.73	    
47.31/41.76	    num=117, depth=18..23, filters=22140000, revisions=(36231864,useless=19229963), ccks=51485208, wck=38.981, mem=80M469
47.31/41.76	    decisions=260134, wrong=128159, backtracks=36617, failedAssignments=102906, nogoods=2050, foundSolutions=6, bestBound=5
47.31/41.76	    nFilterCalls=11089739, avgTableProportion=0.8288890428328437, avgTableSize=5.078944599147014
47.31/41.76	    
47.31/41.79	    num=118, depth=22..26, filters=22158114, revisions=(36262584,useless=19246184), ccks=51524091, wck=39.014, mem=80M469
47.31/41.79	    decisions=260352, wrong=128256, backtracks=36627, failedAssignments=102995, nogoods=2071, foundSolutions=6, bestBound=5
47.31/41.79	    nFilterCalls=11098433, avgTableProportion=0.8288777573999481, avgTableSize=5.078573885160185
47.31/41.79	    
47.41/41.83	    num=119, depth=22..25, filters=22180327, revisions=(36301247,useless=19267121), ccks=51578283, wck=39.054, mem=80M469
47.41/41.83	    decisions=260596, wrong=128367, backtracks=36643, failedAssignments=103093, nogoods=2081, foundSolutions=6, bestBound=5
47.41/41.83	    nFilterCalls=11109591, avgTableProportion=0.8288714048025924, avgTableSize=5.078301442420337
47.41/41.83	    
47.41/41.88	    num=120, depth=18..24, filters=22206076, revisions=(36343653,useless=19289790), ccks=51639243, wck=39.099, mem=80M469
47.41/41.88	    decisions=260887, wrong=128502, backtracks=36676, failedAssignments=103201, nogoods=2096, foundSolutions=6, bestBound=5
47.41/41.88	    nFilterCalls=11122129, avgTableProportion=0.8288711242962403, avgTableSize=5.078268648025931
47.41/41.88	    
47.52/41.90	    num=121, depth=4..22, filters=22217796, revisions=(36364833,useless=19302386), ccks=51667676, wck=39.125, mem=80M469
47.52/41.90	    decisions=261187, wrong=128646, backtracks=36709, failedAssignments=103320, nogoods=2109, foundSolutions=6, bestBound=5
47.52/41.90	    nFilterCalls=11128157, avgTableProportion=0.8288676010035922, avgTableSize=5.078116529089228
47.52/41.90	    
47.52/41.95	    num=122, depth=22..26, filters=22241311, revisions=(36412744,useless=19331113), ccks=51724175, wck=39.171, mem=80M469
47.52/41.95	    decisions=261519, wrong=128801, backtracks=36740, failedAssignments=103451, nogoods=2116, foundSolutions=6, bestBound=5
47.52/41.95	    nFilterCalls=11139895, avgTableProportion=0.8288558238808512, avgTableSize=5.077655040734226
47.52/41.95	    
47.63/42.01	    num=123, depth=22..27, filters=22278010, revisions=(36475344,useless=19364098), ccks=51813494, wck=39.235, mem=80M469
47.63/42.01	    decisions=261877, wrong=128968, backtracks=36768, failedAssignments=103595, nogoods=2137, foundSolutions=6, bestBound=5
47.63/42.01	    nFilterCalls=11157619, avgTableProportion=0.8288452572401355, avgTableSize=5.077182237536521
47.63/42.01	    
47.63/42.07	    num=124, depth=5..32, filters=22311245, revisions=(36533987,useless=19395558), ccks=51895200, wck=39.295, mem=80M469
47.63/42.07	    decisions=262261, wrong=129148, backtracks=36800, failedAssignments=103753, nogoods=2149, foundSolutions=6, bestBound=5
47.63/42.07	    nFilterCalls=11174064, avgTableProportion=0.8288343817216157, avgTableSize=5.076736718171651
47.63/42.07	    
47.73/42.13	    num=125, depth=21..30, filters=22343202, revisions=(36594089,useless=19429479), ccks=51976806, wck=39.357, mem=80M469
47.73/42.13	    decisions=262700, wrong=129355, backtracks=36845, failedAssignments=103927, nogoods=2155, foundSolutions=6, bestBound=5
47.73/42.13	    nFilterCalls=11190158, avgTableProportion=0.8288238736376972, avgTableSize=5.0763107187583945
47.73/42.13	    
47.82/42.20	    num=126, depth=21..28, filters=22383813, revisions=(36667917,useless=19471024), ccks=52065199, wck=39.428, mem=80M469
47.82/42.20	    decisions=263169, wrong=129578, backtracks=36887, failedAssignments=104118, nogoods=2178, foundSolutions=6, bestBound=5
47.82/42.20	    nFilterCalls=11210221, avgTableProportion=0.8287977262875785, avgTableSize=5.075340709161755
47.82/42.20	    
47.82/42.29	    num=127, depth=22..28, filters=22429917, revisions=(36748504,useless=19514314), ccks=52168288, wck=39.51, mem=80M469
47.82/42.29	    decisions=263679, wrong=129821, backtracks=36936, failedAssignments=104329, nogoods=2189, foundSolutions=6, bestBound=5
47.82/42.29	    nFilterCalls=11232508, avgTableProportion=0.828776094007678, avgTableSize=5.074507313949832
47.82/42.29	    
47.93/42.37	    num=128, depth=16..24, filters=22472868, revisions=(36824660,useless=19555471), ccks=52273850, wck=39.59, mem=80M469
47.93/42.37	    decisions=264217, wrong=130080, backtracks=36974, failedAssignments=104561, nogoods=2202, foundSolutions=6, bestBound=5
47.93/42.37	    nFilterCalls=11253624, avgTableProportion=0.82876546495544, avgTableSize=5.074023265749771
47.93/42.37	    
48.03/42.45	    num=129, depth=16..25, filters=22515681, revisions=(36899717,useless=19593690), ccks=52389698, wck=39.672, mem=80M469
48.03/42.45	    decisions=264807, wrong=130366, backtracks=37012, failedAssignments=104816, nogoods=2206, foundSolutions=6, bestBound=5
48.03/42.45	    nFilterCalls=11274105, avgTableProportion=0.8287589853080187, avgTableSize=5.073736407457621
48.03/42.45	    
48.13/42.54	    num=130, depth=14..26, filters=22562961, revisions=(36981194,useless=19638896), ccks=52496719, wck=39.76, mem=80M469
48.13/42.54	    decisions=265462, wrong=130682, backtracks=37052, failedAssignments=105097, nogoods=2233, foundSolutions=6, bestBound=5
48.13/42.54	    nFilterCalls=11297984, avgTableProportion=0.8287425311779428, avgTableSize=5.0731187086120855
48.13/42.54	    
48.23/42.64	    num=131, depth=17..26, filters=22618702, revisions=(37082965,useless=19693826), ccks=52631967, wck=39.863, mem=80M469
48.23/42.64	    decisions=266202, wrong=131042, backtracks=37128, failedAssignments=105406, nogoods=2247, foundSolutions=6, bestBound=5
48.23/42.64	    nFilterCalls=11325169, avgTableProportion=0.8287391502913757, avgTableSize=5.0729227970019695
48.23/42.64	    
48.33/42.77	    num=132, depth=14..24, filters=22691605, revisions=(37212803,useless=19762163), ccks=52804228, wck=39.992, mem=80M469
48.33/42.77	    decisions=267003, wrong=131434, backtracks=37193, failedAssignments=105746, nogoods=2255, foundSolutions=6, bestBound=5
48.33/42.77	    nFilterCalls=11358313, avgTableProportion=0.8287233779275036, avgTableSize=5.072260114684284
48.33/42.77	    
48.53/42.93	    num=133, depth=17..25, filters=22780097, revisions=(37364986,useless=19839377), ccks=53054235, wck=40.149, mem=80M469
48.53/42.93	    decisions=267889, wrong=131866, backtracks=37268, failedAssignments=106120, nogoods=2282, foundSolutions=6, bestBound=5
48.53/42.93	    nFilterCalls=11401729, avgTableProportion=0.8287102045050355, avgTableSize=5.07157370605809
48.53/42.93	    
48.64/43.10	    num=134, depth=14..24, filters=22879685, revisions=(37545282,useless=19938092), ccks=53310069, wck=40.327, mem=80M469
48.64/43.10	    decisions=268927, wrong=132376, backtracks=37385, failedAssignments=106531, nogoods=2302, foundSolutions=6, bestBound=5
48.64/43.10	    nFilterCalls=11451082, avgTableProportion=0.8286825876010084, avgTableSize=5.070494823109292
48.64/43.10	    
48.83/43.27	    num=135, depth=18..24, filters=22976504, revisions=(37712111,useless=20029542), ccks=53539838, wck=40.497, mem=80M469
48.83/43.27	    decisions=270025, wrong=132916, backtracks=37492, failedAssignments=106983, nogoods=2312, foundSolutions=6, bestBound=5
48.83/43.27	    nFilterCalls=11499963, avgTableProportion=0.8286621600153269, avgTableSize=5.069635789262974
48.83/43.27	    
49.03/43.45	    num=136, depth=16..25, filters=23071185, revisions=(37878943,useless=20117706), ccks=53779611, wck=40.672, mem=80M469
49.03/43.45	    decisions=271195, wrong=133492, backtracks=37586, failedAssignments=107480, nogoods=2325, foundSolutions=6, bestBound=5
49.03/43.45	    nFilterCalls=11545249, avgTableProportion=0.8286463323238162, avgTableSize=5.068957802469224
49.03/43.45	    
49.33/43.70	    num=137, depth=17..24, filters=23219040, revisions=(38122109,useless=20236608), ccks=54175452, wck=40.926, mem=80M469
49.33/43.70	    decisions=272484, wrong=134126, backtracks=37682, failedAssignments=108027, nogoods=2341, foundSolutions=6, bestBound=5
49.33/43.70	    nFilterCalls=11615402, avgTableProportion=0.8286308432484004, avgTableSize=5.068046202791776
49.33/43.70	    
49.53/43.92	    num=138, depth=18..26, filters=23341918, revisions=(38343057,useless=20361147), ccks=54463296, wck=41.147, mem=80M469
49.53/43.92	    decisions=273985, wrong=134867, backtracks=37856, failedAssignments=108629, nogoods=2371, foundSolutions=6, bestBound=5
49.53/43.92	    nFilterCalls=11676897, avgTableProportion=0.828580226841641, avgTableSize=5.066157815727928
49.53/43.92	    
49.74/44.14	    num=139, depth=7..27, filters=23459977, revisions=(38545288,useless=20467623), ccks=54737625, wck=41.367, mem=80M469
49.74/44.14	    decisions=275483, wrong=135607, backtracks=37961, failedAssignments=109291, nogoods=2387, foundSolutions=6, bestBound=5
49.74/44.14	    nFilterCalls=11734611, avgTableProportion=0.8285542248856551, avgTableSize=5.065010761754267
49.74/44.14	    
49.93/44.40	    num=140, depth=7..24, filters=23597359, revisions=(38787480,useless=20600098), ccks=55068060, wck=41.619, mem=80M469
49.93/44.40	    decisions=277220, wrong=136467, backtracks=38135, failedAssignments=110019, nogoods=2418, foundSolutions=6, bestBound=5
49.93/44.40	    nFilterCalls=11801436, avgTableProportion=0.8285146375638718, avgTableSize=5.063550147626103
49.93/44.40	    
50.33/44.74	    num=141, depth=6..20, filters=23799413, revisions=(39109196,useless=20765231), ccks=55581001, wck=41.968, mem=80M469
50.33/44.74	    decisions=279144, wrong=137425, backtracks=38355, failedAssignments=110820, nogoods=2466, foundSolutions=6, bestBound=5
50.33/44.74	    nFilterCalls=11906886, avgTableProportion=0.8285039846444234, avgTableSize=5.063264316127659
50.33/44.74	    
50.64/45.09	    num=142, depth=4..24, filters=24000782, revisions=(39438066,useless=20937598), ccks=56113558, wck=42.318, mem=80M469
50.64/45.09	    decisions=281342, wrong=138520, backtracks=38617, failedAssignments=111701, nogoods=2509, foundSolutions=6, bestBound=5
50.64/45.09	    nFilterCalls=12007464, avgTableProportion=0.8285189537458125, avgTableSize=5.064208395711201
50.64/45.09	    
51.14/45.52	    num=143, depth=0..25, filters=24234141, revisions=(39837571,useless=21155097), ccks=56806122, wck=42.744, mem=80M469
51.14/45.52	    decisions=283873, wrong=139782, backtracks=38980, failedAssignments=112671, nogoods=2540, foundSolutions=6, bestBound=5
51.14/45.52	    nFilterCalls=12134715, avgTableProportion=0.8285625282361164, avgTableSize=5.066042177339971
51.14/45.52	    
51.64/46.04	    num=144, depth=4..21, filters=24535926, revisions=(40340576,useless=21426254), ccks=57610653, wck=43.259, mem=80M469
51.64/46.04	    decisions=286608, wrong=141143, backtracks=39323, failedAssignments=113738, nogoods=2567, foundSolutions=6, bestBound=5
51.64/46.04	    nFilterCalls=12292515, avgTableProportion=0.8285676613253491, avgTableSize=5.066300752937865
51.64/46.04	    
51.94/46.38	    num=145, depth=5..20, filters=24711181, revisions=(40640028,useless=21590085), ccks=58081656, wck=43.601, mem=80M469
51.94/46.38	    decisions=289318, wrong=142492, backtracks=39571, failedAssignments=114911, nogoods=2575, foundSolutions=6, bestBound=5
51.94/46.38	    nFilterCalls=12385754, avgTableProportion=0.8285785568509639, avgTableSize=5.066684757342992
51.94/46.38	    
52.55/46.91	    num=146, depth=3..24, filters=24994894, revisions=(41176622,useless=21899514), ccks=58961101, wck=44.136, mem=80M469
52.55/46.91	    decisions=292785, wrong=144220, backtracks=40075, failedAssignments=116202, nogoods=2606, foundSolutions=6, bestBound=5
52.55/46.91	    nFilterCalls=12542557, avgTableProportion=0.8286113781708246, avgTableSize=5.0680646697479625
52.55/46.91	    
52.85/47.22	    num=147, depth=0..34, filters=25147535, revisions=(41463522,useless=22060137), ccks=59281408, wck=44.442, mem=80M469
52.85/47.22	    decisions=295997, wrong=145817, backtracks=40415, failedAssignments=117622, nogoods=2643, foundSolutions=6, bestBound=5
52.85/47.22	    nFilterCalls=12621961, avgTableProportion=0.8286371568800981, avgTableSize=5.069398011925405
52.85/47.22	    
53.45/47.82	    num=148, depth=7..24, filters=25482009, revisions=(42071718,useless=22410609), ccks=60098753, wck=45.044, mem=83M110
53.45/47.82	    decisions=300012, wrong=147819, backtracks=41010, failedAssignments=119184, nogoods=2652, foundSolutions=6, bestBound=5
53.45/47.82	    nFilterCalls=12800072, avgTableProportion=0.8286302563320929, avgTableSize=5.069051017838024
53.45/47.82	    
54.05/48.47	    num=149, depth=8..27, filters=25852322, revisions=(42669400,useless=22711350), ccks=60953850, wck=45.692, mem=83M110
54.05/48.47	    decisions=304055, wrong=149834, backtracks=41418, failedAssignments=120902, nogoods=2675, foundSolutions=6, bestBound=5
54.05/48.47	    nFilterCalls=12978378, avgTableProportion=0.8285384551117607, avgTableSize=5.06590646381235
54.05/48.47	    
54.85/49.21	    num=150, depth=8..32, filters=26281975, revisions=(43373685,useless=23068508), ccks=61955909, wck=46.434, mem=83M110
54.85/49.21	    decisions=308576, wrong=152086, backtracks=41954, failedAssignments=122792, nogoods=2699, foundSolutions=6, bestBound=5
54.85/49.21	    nFilterCalls=13188704, avgTableProportion=0.8284120688736261, avgTableSize=5.06141831676562
54.85/49.21	    
55.66/50.08	    num=151, depth=16..31, filters=26774893, revisions=(44210253,useless=23534164), ccks=63277011, wck=47.303, mem=83M110
55.66/50.08	    decisions=313778, wrong=154677, backtracks=42555, failedAssignments=124871, nogoods=2731, foundSolutions=6, bestBound=5
55.66/50.08	    nFilterCalls=13467278, avgTableProportion=0.8283180481188124, avgTableSize=5.05800533708445
55.66/50.08	    
56.55/50.97	    num=152, depth=4..29, filters=27287098, revisions=(45045030,useless=23952135), ccks=64489697, wck=48.189, mem=83M110
56.55/50.97	    decisions=319118, wrong=157339, backtracks=43043, failedAssignments=127158, nogoods=2758, foundSolutions=6, bestBound=5
56.55/50.97	    nFilterCalls=13711860, avgTableProportion=0.8282008059533758, avgTableSize=5.05368527683334
56.55/50.97	    
57.35/51.74	    num=153, depth=4..27, filters=27709118, revisions=(45748878,useless=24320860), ccks=65484617, wck=48.961, mem=83M110
57.35/51.74	    decisions=325013, wrong=160282, backtracks=43620, failedAssignments=129674, nogoods=2794, foundSolutions=6, bestBound=5
57.35/51.74	    nFilterCalls=13924117, avgTableProportion=0.8281399742956699, avgTableSize=5.05144670933173
57.35/51.74	    
58.45/52.80	    num=154, depth=6..31, filters=28320046, revisions=(46771379,useless=24853835), ccks=66883542, wck=50.027, mem=83M110
58.45/52.80	    decisions=331506, wrong=163522, backtracks=44312, failedAssignments=132442, nogoods=2824, foundSolutions=6, bestBound=5
58.45/52.80	    nFilterCalls=14227387, avgTableProportion=0.8279088033109141, avgTableSize=5.042413058701503
58.45/52.80	    
59.27/53.61	    num=155, depth=4..25, filters=28750903, revisions=(47540222,useless=25285599), ccks=67877318, wck=50.837, mem=83M110
59.27/53.61	    decisions=338861, wrong=167194, backtracks=45250, failedAssignments=135486, nogoods=2834, foundSolutions=6, bestBound=5
59.27/53.61	    nFilterCalls=14447655, avgTableProportion=0.827858233593911, avgTableSize=5.040709997574001
59.27/53.61	    
59.97/54.34	    num=156, depth=11..45, filters=29141366, revisions=(48312618,useless=25760540), ccks=68710724, wck=51.567, mem=83M110
59.97/54.34	    decisions=346926, wrong=171215, backtracks=46107, failedAssignments=138835, nogoods=2877, foundSolutions=6, bestBound=5
59.97/54.34	    nFilterCalls=14652981, avgTableProportion=0.827858599752054, avgTableSize=5.041533596474328
59.97/54.34	    
60.78/55.11	    num=157, depth=15..33, filters=29548696, revisions=(49121011,useless=26245526), ccks=69434022, wck=52.333, mem=83M110
60.78/55.11	    decisions=355546, wrong=175515, backtracks=46962, failedAssignments=142519, nogoods=2900, foundSolutions=6, bestBound=5
60.78/55.11	    nFilterCalls=14867475, avgTableProportion=0.8279276979822178, avgTableSize=5.045019009616629
60.78/55.11	    
61.68/56.08	    num=158, depth=17..35, filters=30072195, revisions=(50016683,useless=26728763), ccks=70462083, wck=53.304, mem=83M110
61.68/56.08	    decisions=364714, wrong=180086, backtracks=47672, failedAssignments=146571, nogoods=2919, foundSolutions=6, bestBound=5
61.68/56.08	    nFilterCalls=15128391, avgTableProportion=0.8280622582735212, avgTableSize=5.0513972702054035
61.68/56.08	    
63.37/57.71	    num=159, depth=10..29, filters=31005628, revisions=(51555187,useless=27540287), ccks=72758847, wck=54.936, mem=85M751
63.37/57.71	    decisions=375284, wrong=185363, backtracks=48752, failedAssignments=151028, nogoods=2976, foundSolutions=6, bestBound=5
63.37/57.71	    nFilterCalls=15593098, avgTableProportion=0.8279068238944317, avgTableSize=5.046397066189156
63.37/57.71	    
65.37/59.73	    num=160, depth=18..32, filters=32187311, revisions=(53474552,useless=28512774), ccks=75523317, wck=56.957, mem=85M751
65.37/59.73	    decisions=386937, wrong=191179, backtracks=50083, failedAssignments=155931, nogoods=3004, foundSolutions=6, bestBound=5
65.37/59.73	    nFilterCalls=16158426, avgTableProportion=0.8276887767127388, avgTableSize=5.0398348824322365
65.37/59.73	    
67.37/61.76	    num=161, depth=20..37, filters=33324428, revisions=(55304397,useless=29446282), ccks=78219467, wck=58.979, mem=85M751
67.37/61.76	    decisions=399628, wrong=197513, backtracks=51351, failedAssignments=161325, nogoods=3036, foundSolutions=6, bestBound=5
67.37/61.76	    nFilterCalls=16709881, avgTableProportion=0.8275831101973206, avgTableSize=5.0359212611986885
67.37/61.76	    
69.47/63.85	    num=162, depth=2..29, filters=34528770, revisions=(57252932,useless=30430283), ccks=81034283, wck=61.075, mem=85M751
69.47/63.85	    decisions=413647, wrong=204518, backtracks=52840, failedAssignments=167258, nogoods=3076, foundSolutions=6, bestBound=5
69.47/63.85	    nFilterCalls=17295370, avgTableProportion=0.8274876843302463, avgTableSize=5.032219200861271
69.47/63.85	    
72.07/66.47	    num=163, depth=10..41, filters=36032954, revisions=(59741870,useless=31760055), ccks=84652284, wck=63.692, mem=85M751
72.07/66.47	    decisions=429765, wrong=212568, backtracks=54729, failedAssignments=173784, nogoods=3090, foundSolutions=6, bestBound=5
72.07/66.47	    nFilterCalls=18066007, avgTableProportion=0.8273110033006005, avgTableSize=5.025585454494731
72.07/66.47	    
73.68/68.07	    num=164, depth=19..44, filters=36872594, revisions=(61308344,useless=32640445), ccks=86130832, wck=65.299, mem=85M751
73.68/68.07	    decisions=445666, wrong=220507, backtracks=55835, failedAssignments=180963, nogoods=3165, foundSolutions=6, bestBound=5
73.68/68.07	    nFilterCalls=18482390, avgTableProportion=0.8274356165295104, avgTableSize=5.029124967063242
73.68/68.07	    
75.97/70.39	    num=165, depth=18..46, filters=38156024, revisions=(63543693,useless=33876178), ccks=88886836, wck=67.612, mem=88M392
75.97/70.39	    decisions=464115, wrong=229716, backtracks=57526, failedAssignments=188860, nogoods=3267, foundSolutions=6, bestBound=5
75.97/70.39	    nFilterCalls=19119685, avgTableProportion=0.8275120077700535, avgTableSize=5.031993204908972
75.97/70.39	    
78.68/73.04	    num=166, depth=15..34, filters=39605241, revisions=(66024703,useless=35223622), ccks=92125378, wck=70.263, mem=88M392
78.68/73.04	    decisions=484110, wrong=239704, backtracks=59488, failedAssignments=197547, nogoods=3300, foundSolutions=6, bestBound=5
78.68/73.04	    nFilterCalls=19842385, avgTableProportion=0.82750031586723, avgTableSize=5.031328038438928
78.68/73.04	    
82.27/76.63	    num=167, depth=4..29, filters=41632066, revisions=(69500691,useless=37136517), ccks=96892187, wck=73.852, mem=88M392
82.27/76.63	    decisions=507768, wrong=251529, backtracks=62680, failedAssignments=207102, nogoods=3324, foundSolutions=6, bestBound=5
82.27/76.63	    nFilterCalls=20880586, avgTableProportion=0.8272763190178124, avgTableSize=5.023648953147196
82.27/76.63	    
85.68/80.05	    num=168, depth=4..35, filters=43534083, revisions=(72654760,useless=38750251), ccks=101352371, wck=77.278, mem=88M392
85.68/80.05	    decisions=531982, wrong=263627, backtracks=64934, failedAssignments=217613, nogoods=3401, foundSolutions=6, bestBound=5
85.68/80.05	    nFilterCalls=21796554, avgTableProportion=0.8271111340058633, avgTableSize=5.017816761310067
85.68/80.05	    
89.87/84.25	    num=169, depth=8..29, filters=45909409, revisions=(76632380,useless=40876986), ccks=107162557, wck=81.469, mem=91M33
89.87/84.25	    decisions=559930, wrong=277595, backtracks=68426, failedAssignments=229175, nogoods=3434, foundSolutions=6, bestBound=5
89.87/84.25	    nFilterCalls=23006280, avgTableProportion=0.8271746612712532, avgTableSize=5.020203570503358
89.87/84.25	    
93.68/88.07	    num=170, depth=15..37, filters=47989187, revisions=(80470970,useless=43046178), ccks=111741280, wck=85.295, mem=91M33
93.68/88.07	    decisions=590263, wrong=292753, backtracks=71709, failedAssignments=241893, nogoods=3450, foundSolutions=6, bestBound=5
93.68/88.07	    nFilterCalls=24040951, avgTableProportion=0.8272195578331356, avgTableSize=5.020387546233092
93.68/88.07	    
98.69/93.07	    num=171, depth=2..28, filters=50837403, revisions=(85002460,useless=45285187), ccks=118168606, wck=90.292, mem=91M33
98.69/93.07	    decisions=622230, wrong=308733, backtracks=74372, failedAssignments=255883, nogoods=3479, foundSolutions=6, bestBound=5
98.69/93.07	    nFilterCalls=25419557, avgTableProportion=0.8269642668270205, avgTableSize=5.011119351922616
98.69/93.07	    
103.88/98.23	    num=172, depth=15..38, filters=53566268, revisions=(89702821,useless=47797219), ccks=125080249, wck=95.449, mem=93M674
103.88/98.23	    decisions=659193, wrong=327206, backtracks=78661, failedAssignments=271272, nogoods=3502, foundSolutions=6, bestBound=5
103.88/98.23	    nFilterCalls=26800761, avgTableProportion=0.8268335243972944, avgTableSize=5.0062659041659305
103.88/98.23	    
106.35/100.61	o 4
106.35/100.64	    num=173, depth=8..1409, filters=54864546, revisions=(91943857,useless=49005743), ccks=128201149, wck=97.865, mem=93M674
106.35/100.64	    decisions=676570, wrong=335877, backtracks=80504, failedAssignments=278623, nogoods=3589, foundSolutions=7, bestBound=4
106.35/100.64	    nFilterCalls=27463732, avgTableProportion=0.8267735683644207, avgTableSize=5.004227721126903
106.35/100.64	    
111.79/106.07	    num=174, depth=10..35, filters=57673329, revisions=(96590887,useless=51508993), ccks=135112032, wck=103.292, mem=96M315
111.79/106.07	    decisions=718512, wrong=356839, backtracks=84207, failedAssignments=297244, nogoods=3642, foundSolutions=7, bestBound=4
111.79/106.07	    nFilterCalls=28941806, avgTableProportion=0.8267861732601661, avgTableSize=5.004583646231337
111.79/106.07	    
111.79/106.07	    num=175, depth=15..16, filters=57674945, revisions=(96593792,useless=51510518), ccks=135117437, wck=103.296, mem=96M315
111.79/106.07	    decisions=718553, wrong=356852, backtracks=84209, failedAssignments=297255, nogoods=3644, foundSolutions=7, bestBound=4
111.79/106.07	    nFilterCalls=28942620, avgTableProportion=0.8267861172662061, avgTableSize=5.0045804768193065
111.79/106.07	    
111.79/106.08	    num=176, depth=3..6, filters=57676538, revisions=(96596767,useless=51512095), ccks=135122016, wck=103.3, mem=96M315
111.79/106.08	    decisions=718584, wrong=356866, backtracks=84211, failedAssignments=297267, nogoods=3656, foundSolutions=7, bestBound=4
111.79/106.08	    nFilterCalls=28943359, avgTableProportion=0.8267859382459123, avgTableSize=5.004572862465618
111.79/106.08	    
111.79/106.08	    num=177, depth=3..6, filters=57677669, revisions=(96598771,useless=51513164), ccks=135125782, wck=103.303, mem=96M315
111.79/106.08	    decisions=718616, wrong=356880, backtracks=84212, failedAssignments=297280, nogoods=3667, foundSolutions=7, bestBound=4
111.79/106.08	    nFilterCalls=28944004, avgTableProportion=0.8267859507376858, avgTableSize=5.004573658848306
111.79/106.08	    
111.79/106.09	    num=178, depth=4..5, filters=57681449, revisions=(96604583,useless=51515600), ccks=135134165, wck=103.31, mem=96M315
111.79/106.09	    decisions=718650, wrong=356895, backtracks=84213, failedAssignments=297294, nogoods=3680, foundSolutions=7, bestBound=4
111.79/106.09	    nFilterCalls=28945632, avgTableProportion=0.8267856922074293, avgTableSize=5.004560100812447
111.79/106.09	    
111.79/106.09	    num=179, depth=2..15, filters=57684503, revisions=(96610041,useless=51518466), ccks=135144944, wck=103.317, mem=96M315
111.79/106.09	    decisions=718696, wrong=356912, backtracks=84214, failedAssignments=297310, nogoods=3696, foundSolutions=7, bestBound=4
111.79/106.09	    nFilterCalls=28947351, avgTableProportion=0.8267856110748493, avgTableSize=5.004559208198359
111.79/106.09	    
111.79/106.10	    num=180, depth=5..8, filters=57688251, revisions=(96616392,useless=51521572), ccks=135153757, wck=103.324, mem=96M315
111.79/106.10	    decisions=718739, wrong=356931, backtracks=84217, failedAssignments=297327, nogoods=3707, foundSolutions=7, bestBound=4
111.79/106.10	    nFilterCalls=28949042, avgTableProportion=0.8267853064884563, avgTableSize=5.0045476461708125
111.79/106.10	    
111.79/106.11	    num=181, depth=2..4, filters=57690545, revisions=(96620110,useless=51523356), ccks=135160088, wck=103.329, mem=96M315
111.79/106.11	    decisions=718784, wrong=356952, backtracks=84219, failedAssignments=297346, nogoods=3710, foundSolutions=7, bestBound=4
111.79/106.11	    nFilterCalls=28950174, avgTableProportion=0.8267851792743062, avgTableSize=5.004541907071094
111.79/106.11	    
111.89/106.11	    num=182, depth=2..14, filters=57694733, revisions=(96627861,useless=51527735), ccks=135171527, wck=103.338, mem=96M315
111.89/106.11	    decisions=718852, wrong=356982, backtracks=84230, failedAssignments=297367, nogoods=3712, foundSolutions=7, bestBound=4
111.89/106.11	    nFilterCalls=28952351, avgTableProportion=0.8267847996746126, avgTableSize=5.004528440540113
111.89/106.11	    
111.89/106.12	    num=183, depth=13..16, filters=57696939, revisions=(96631627,useless=51529719), ccks=135177393, wck=103.344, mem=96M315
111.89/106.12	    decisions=718915, wrong=357007, backtracks=84233, failedAssignments=297390, nogoods=3720, foundSolutions=7, bestBound=4
111.89/106.12	    nFilterCalls=28953277, avgTableProportion=0.8267847505551617, avgTableSize=5.004526879634385
111.89/106.12	    
111.89/106.13	    num=184, depth=2..7, filters=57702052, revisions=(96639799,useless=51533416), ccks=135191509, wck=103.354, mem=96M315
111.89/106.13	    decisions=718975, wrong=357036, backtracks=84238, failedAssignments=297415, nogoods=3724, foundSolutions=7, bestBound=4
111.89/106.13	    nFilterCalls=28955577, avgTableProportion=0.82678458052987, avgTableSize=5.0045164356420875
111.89/106.13	    
111.89/106.14	    num=185, depth=3..9, filters=57706907, revisions=(96648017,useless=51537633), ccks=135206594, wck=103.364, mem=96M315
111.89/106.14	    decisions=719050, wrong=357071, backtracks=84245, failedAssignments=297443, nogoods=3735, foundSolutions=7, bestBound=4
111.89/106.14	    nFilterCalls=28958246, avgTableProportion=0.8267839792827811, avgTableSize=5.0044993747204165
111.89/106.14	    
111.89/106.15	    num=186, depth=1..13, filters=57708574, revisions=(96651140,useless=51539361), ccks=135211695, wck=103.369, mem=96M315
111.89/106.15	    decisions=719129, wrong=357108, backtracks=84252, failedAssignments=297474, nogoods=3744, foundSolutions=7, bestBound=4
111.89/106.15	    nFilterCalls=28958987, avgTableProportion=0.8267841407007109, avgTableSize=5.004503645103332
111.89/106.15	    
111.89/106.16	    num=187, depth=2..8, filters=57716752, revisions=(96664115,useless=51545398), ccks=135231760, wck=103.384, mem=96M315
111.89/106.16	    decisions=719218, wrong=357151, backtracks=84263, failedAssignments=297508, nogoods=3748, foundSolutions=7, bestBound=4
111.89/106.16	    nFilterCalls=28962710, avgTableProportion=0.8267828799561863, avgTableSize=5.004461944341534
111.89/106.16	    
111.89/106.17	    num=188, depth=5..12, filters=57718044, revisions=(96666741,useless=51547028), ccks=135235177, wck=103.39, mem=96M315
111.89/106.17	    decisions=719303, wrong=357191, backtracks=84270, failedAssignments=297545, nogoods=3750, foundSolutions=7, bestBound=4
111.89/106.17	    nFilterCalls=28963363, avgTableProportion=0.826782907264417, avgTableSize=5.004462603324068
111.89/106.17	    
111.89/106.18	    num=189, depth=2..13, filters=57726736, revisions=(96682002,useless=51555367), ccks=135255977, wck=103.407, mem=96M315
111.89/106.18	    decisions=719426, wrong=357250, backtracks=84291, failedAssignments=297586, nogoods=3763, foundSolutions=7, bestBound=4
111.89/106.18	    nFilterCalls=28967698, avgTableProportion=0.8267818368351565, avgTableSize=5.004426344129934
111.89/106.18	    
111.89/106.19	    num=190, depth=0..9, filters=57728426, revisions=(96685615,useless=51557603), ccks=135263181, wck=103.413, mem=96M315
111.89/106.19	    decisions=719528, wrong=357298, backtracks=84294, failedAssignments=297631, nogoods=3768, foundSolutions=7, bestBound=4
111.89/106.19	    nFilterCalls=28968598, avgTableProportion=0.8267820116658752, avgTableSize=5.004433697481666
111.89/106.19	    
111.99/106.21	    num=191, depth=1..14, filters=57740055, revisions=(96705511,useless=51568749), ccks=135299793, wck=103.436, mem=96M315
111.99/106.21	    decisions=719713, wrong=357387, backtracks=84341, failedAssignments=297681, nogoods=3775, foundSolutions=7, bestBound=4
111.99/106.21	    nFilterCalls=28975185, avgTableProportion=0.826782571654556, avgTableSize=5.004437866401888
111.99/106.21	    
111.99/106.23	    num=192, depth=1..20, filters=57747842, revisions=(96718564,useless=51575529), ccks=135320741, wck=103.453, mem=96M315
111.99/106.23	    decisions=719856, wrong=357456, backtracks=84357, failedAssignments=297736, nogoods=3784, foundSolutions=7, bestBound=4
111.99/106.23	    nFilterCalls=28979033, avgTableProportion=0.8267818939269312, avgTableSize=5.004417918292857
111.99/106.23	    
111.99/106.26	    num=193, depth=4..12, filters=57762084, revisions=(96742692,useless=51587837), ccks=135360864, wck=103.48, mem=96M315
111.99/106.26	    decisions=720005, wrong=357526, backtracks=84367, failedAssignments=297797, nogoods=3824, foundSolutions=7, bestBound=4
111.99/106.26	    nFilterCalls=28986437, avgTableProportion=0.826780634830656, avgTableSize=5.004380945474603
111.99/106.26	    
111.99/106.28	    num=194, depth=3..11, filters=57776433, revisions=(96766897,useless=51600456), ccks=135402225, wck=103.508, mem=96M315
111.99/106.28	    decisions=720168, wrong=357605, backtracks=84386, failedAssignments=297864, nogoods=3853, foundSolutions=7, bestBound=4
111.99/106.28	    nFilterCalls=28993807, avgTableProportion=0.8267792872431261, avgTableSize=5.004340202719843
111.99/106.28	    
112.10/106.31	    num=195, depth=4..20, filters=57789295, revisions=(96787751,useless=51611902), ccks=135433755, wck=103.534, mem=96M315
112.10/106.31	    decisions=720359, wrong=357697, backtracks=84408, failedAssignments=297938, nogoods=3878, foundSolutions=7, bestBound=4
112.10/106.31	    nFilterCalls=29000554, avgTableProportion=0.8267777888970513, avgTableSize=5.004301917818536
112.10/106.31	    
112.10/106.34	    num=196, depth=4..17, filters=57806935, revisions=(96816333,useless=51625761), ccks=135479427, wck=103.566, mem=96M315
112.10/106.34	    decisions=720578, wrong=357801, backtracks=84440, failedAssignments=298019, nogoods=3893, foundSolutions=7, bestBound=4
112.10/106.34	    nFilterCalls=29009173, avgTableProportion=0.8267768744440531, avgTableSize=5.004263547947403
112.10/106.34	    
112.10/106.38	    num=197, depth=4..14, filters=57825691, revisions=(96849609,useless=51644131), ccks=135532250, wck=103.602, mem=96M315
112.10/106.38	    decisions=720812, wrong=357915, backtracks=84481, failedAssignments=298108, nogoods=3914, foundSolutions=7, bestBound=4
112.10/106.38	    nFilterCalls=29019042, avgTableProportion=0.8267764859654549, avgTableSize=5.004245453726557
112.10/106.38	    
112.20/106.40	    num=198, depth=2..10, filters=57838123, revisions=(96871778,useless=51656621), ccks=135565585, wck=103.628, mem=96M315
112.20/106.40	    decisions=721046, wrong=358029, backtracks=84500, failedAssignments=298206, nogoods=3943, foundSolutions=7, bestBound=4
112.20/106.40	    nFilterCalls=29025620, avgTableProportion=0.8267755304873738, avgTableSize=5.004214655879874
112.20/106.40	    
112.20/106.43	    num=199, depth=2..8, filters=57852062, revisions=(96895340,useless=51669623), ccks=135608657, wck=103.657, mem=96M315
112.20/106.43	    decisions=721281, wrong=358144, backtracks=84507, failedAssignments=298314, nogoods=3997, foundSolutions=7, bestBound=4
112.20/106.43	    nFilterCalls=29033073, avgTableProportion=0.8267766811149766, avgTableSize=5.004255836094236
112.20/106.43	    
112.20/106.48	    num=200, depth=3..17, filters=57876529, revisions=(96934387,useless=51689427), ccks=135665166, wck=103.703, mem=96M315
112.20/106.48	    decisions=721595, wrong=358297, backtracks=84551, failedAssignments=298433, nogoods=4013, foundSolutions=7, bestBound=4
112.20/106.48	    nFilterCalls=29044808, avgTableProportion=0.8267721129766119, avgTableSize=5.004132717971487
112.20/106.48	    
112.30/106.52	    num=201, depth=2..16, filters=57899748, revisions=(96971338,useless=51708277), ccks=135722691, wck=103.747, mem=96M315
112.30/106.52	    decisions=721915, wrong=358454, backtracks=84582, failedAssignments=298564, nogoods=4038, foundSolutions=7, bestBound=4
112.30/106.52	    nFilterCalls=29056192, avgTableProportion=0.8267683615863937, avgTableSize=5.004030466208373
112.30/106.52	    
112.30/106.58	    num=202, depth=3..13, filters=57932885, revisions=(97026830,useless=51736995), ccks=135814175, wck=103.808, mem=96M315
112.30/106.58	    decisions=722272, wrong=358630, backtracks=84626, failedAssignments=298708, nogoods=4064, foundSolutions=7, bestBound=4
112.30/106.58	    nFilterCalls=29073254, avgTableProportion=0.8267643578942685, avgTableSize=5.00390850642312
112.30/106.58	    
112.41/106.65	    num=203, depth=3..14, filters=57965727, revisions=(97083074,useless=51767113), ccks=135895336, wck=103.87, mem=96M315
112.41/106.65	    decisions=722698, wrong=358840, backtracks=84686, failedAssignments=298866, nogoods=4095, foundSolutions=7, bestBound=4
112.41/106.65	    nFilterCalls=29089846, avgTableProportion=0.8267609698679026, avgTableSize=5.003804557782808
112.41/106.65	    
112.56/106.73	    num=204, depth=2..17, filters=58012190, revisions=(97160750,useless=51807289), ccks=136010137, wck=103.953, mem=96M315
112.56/106.73	    decisions=723175, wrong=359074, backtracks=84762, failedAssignments=299040, nogoods=4112, foundSolutions=7, bestBound=4
112.56/106.73	    nFilterCalls=29112744, avgTableProportion=0.8267521291945548, avgTableSize=5.0035615674015474
112.56/106.73	    
112.56/106.78	    num=205, depth=14..28, filters=58036293, revisions=(97200840,useless=51827549), ccks=136068774, wck=104.007, mem=96M315
112.56/106.78	    decisions=723612, wrong=359285, backtracks=84793, failedAssignments=299231, nogoods=4132, foundSolutions=7, bestBound=4
112.56/106.78	    nFilterCalls=29124173, avgTableProportion=0.8267495115547628, avgTableSize=5.003474261741269
112.56/106.78	    
112.68/106.85	    num=206, depth=3..19, filters=58068163, revisions=(97257234,useless=51859491), ccks=136147562, wck=104.072, mem=96M315
112.68/106.85	    decisions=724136, wrong=359542, backtracks=84869, failedAssignments=299442, nogoods=4151, foundSolutions=7, bestBound=4
112.68/106.85	    nFilterCalls=29140425, avgTableProportion=0.8267473570132774, avgTableSize=5.003406058765443
112.68/106.85	    
112.78/106.93	    num=207, depth=0..10, filters=58115768, revisions=(97329666,useless=51892855), ccks=136256786, wck=104.156, mem=96M315
112.78/106.93	    decisions=724650, wrong=359798, backtracks=84907, failedAssignments=299674, nogoods=4167, foundSolutions=7, bestBound=4
112.78/106.93	    nFilterCalls=29163439, avgTableProportion=0.8267389395041317, avgTableSize=5.003164647351775
112.78/106.93	    
112.89/107.06	    num=208, depth=2..12, filters=58184971, revisions=(97446092,useless=51952128), ccks=136434970, wck=104.279, mem=96M315
112.89/107.06	    decisions=725364, wrong=360153, backtracks=85036, failedAssignments=299929, nogoods=4176, foundSolutions=7, bestBound=4
112.89/107.06	    nFilterCalls=29197541, avgTableProportion=0.8267306963887011, avgTableSize=5.002919629430437
112.89/107.06	    
112.99/107.14	    num=209, depth=4..16, filters=58229851, revisions=(97525478,useless=51994597), ccks=136549335, wck=104.367, mem=96M315
112.99/107.14	    decisions=726009, wrong=360473, backtracks=85087, failedAssignments=300210, nogoods=4192, foundSolutions=7, bestBound=4
112.99/107.14	    nFilterCalls=29220397, avgTableProportion=0.8267282685329149, avgTableSize=5.002835929984114
112.99/107.14	    
113.09/107.24	    num=210, depth=4..14, filters=58275647, revisions=(97605405,useless=52037468), ccks=136673180, wck=104.46, mem=96M315
113.09/107.24	    decisions=726748, wrong=360840, backtracks=85167, failedAssignments=300519, nogoods=4216, foundSolutions=7, bestBound=4
113.09/107.24	    nFilterCalls=29244187, avgTableProportion=0.8267210209240259, avgTableSize=5.002620007866863
113.09/107.24	    
113.19/107.33	    num=211, depth=0..17, filters=58325718, revisions=(97691217,useless=52081199), ccks=136801656, wck=104.558, mem=96M315
113.19/107.33	    decisions=727500, wrong=361214, backtracks=85219, failedAssignments=300859, nogoods=4230, foundSolutions=7, bestBound=4
113.19/107.33	    nFilterCalls=29269320, avgTableProportion=0.8267150250723464, avgTableSize=5.00241488357092
113.19/107.33	    
113.29/107.43	    num=212, depth=1..11, filters=58373691, revisions=(97779444,useless=52131064), ccks=136925140, wck=104.657, mem=98M956
113.29/107.43	    decisions=728364, wrong=361645, backtracks=85304, failedAssignments=301233, nogoods=4282, foundSolutions=7, bestBound=4
113.29/107.43	    nFilterCalls=29293995, avgTableProportion=0.82671210034406, avgTableSize=5.0023192466578905
113.29/107.43	    
113.39/107.53	    num=213, depth=6..19, filters=58417275, revisions=(97857885,useless=52174298), ccks=137049565, wck=104.751, mem=98M956
113.39/107.53	    decisions=729310, wrong=362114, backtracks=85411, failedAssignments=301644, nogoods=4309, foundSolutions=7, bestBound=4
113.39/107.53	    nFilterCalls=29317871, avgTableProportion=0.8267143647432719, avgTableSize=5.002384586520624
113.39/107.53	    
113.59/107.70	    num=214, depth=9..14, filters=58509178, revisions=(98009787,useless=52246994), ccks=137284266, wck=104.921, mem=98M956
113.59/107.70	    decisions=730326, wrong=362617, backtracks=85466, failedAssignments=302096, nogoods=4333, foundSolutions=7, bestBound=4
113.59/107.70	    nFilterCalls=29360297, avgTableProportion=0.8267150587781601, avgTableSize=5.002366324836564
113.59/107.70	    
113.69/107.88	    num=215, depth=5..14, filters=58607075, revisions=(98173791,useless=52332760), ccks=137542585, wck=105.104, mem=98M956
113.69/107.88	    decisions=731470, wrong=363185, backtracks=85568, failedAssignments=302593, nogoods=4374, foundSolutions=7, bestBound=4
113.69/107.88	    nFilterCalls=29410251, avgTableProportion=0.8267064586209799, avgTableSize=5.002115248863398
113.69/107.88	    
113.90/108.07	    num=216, depth=1..11, filters=58703101, revisions=(98343708,useless=52427661), ccks=137849634, wck=105.294, mem=98M956
113.90/108.07	    decisions=732789, wrong=363843, backtracks=85699, failedAssignments=303140, nogoods=4408, foundSolutions=7, bestBound=4
113.90/108.07	    nFilterCalls=29462958, avgTableProportion=0.8267172099111623, avgTableSize=5.002491433480643
113.90/108.07	    
114.19/108.33	    num=217, depth=2..18, filters=58850351, revisions=(98577583,useless=52542832), ccks=138172514, wck=105.549, mem=98M956
114.19/108.33	    decisions=734198, wrong=364544, backtracks=85814, failedAssignments=303742, nogoods=4435, foundSolutions=7, bestBound=4
114.19/108.33	    nFilterCalls=29531801, avgTableProportion=0.8266954027485401, avgTableSize=5.001868731270402
114.19/108.33	    
114.49/108.67	    num=218, depth=5..16, filters=59064996, revisions=(98903231,useless=52694873), ccks=138670806, wck=105.892, mem=98M956
114.49/108.67	    decisions=735690, wrong=365286, backtracks=85916, failedAssignments=304404, nogoods=4442, foundSolutions=7, bestBound=4
114.49/108.67	    nFilterCalls=29634310, avgTableProportion=0.8267002399525606, avgTableSize=5.001895269368513
114.49/108.67	    
114.69/108.87	    num=219, depth=0..19, filters=59166966, revisions=(99079214,useless=52789324), ccks=138920456, wck=106.095, mem=98M956
114.69/108.87	    decisions=737338, wrong=366107, backtracks=86050, failedAssignments=305132, nogoods=4461, foundSolutions=7, bestBound=4
114.69/108.87	    nFilterCalls=29686858, avgTableProportion=0.8266978861984005, avgTableSize=5.0018112728534625
114.69/108.87	    
115.00/109.15	    num=220, depth=5..15, filters=59313900, revisions=(99333130,useless=52926180), ccks=139304980, wck=106.377, mem=98M956
115.00/109.15	    decisions=739206, wrong=367038, backtracks=86274, failedAssignments=305933, nogoods=4493, foundSolutions=7, bestBound=4
115.00/109.15	    nFilterCalls=29760389, avgTableProportion=0.8266935211077119, avgTableSize=5.0016663088644435
115.00/109.15	    
115.29/109.44	    num=221, depth=2..14, filters=59467474, revisions=(99586916,useless=53056515), ccks=139671646, wck=106.667, mem=98M956
115.29/109.44	    decisions=741217, wrong=368042, backtracks=86442, failedAssignments=306814, nogoods=4530, foundSolutions=7, bestBound=4
115.29/109.44	    nFilterCalls=29834920, avgTableProportion=0.8266774237468909, avgTableSize=5.001180596428615
115.29/109.44	    
115.69/109.81	    num=222, depth=3..21, filters=59665156, revisions=(99920319,useless=53226677), ccks=140199983, wck=107.03, mem=98M956
115.69/109.81	    decisions=743400, wrong=369129, backtracks=86622, failedAssignments=307784, nogoods=4570, foundSolutions=7, bestBound=4
115.69/109.81	    nFilterCalls=29933948, avgTableProportion=0.8266608019379793, avgTableSize=5.000647291830667
115.69/109.81	    
116.00/110.17	    num=223, depth=2..15, filters=59862370, revisions=(100239556,useless=53395685), ccks=140670326, wck=107.394, mem=98M956
116.00/110.17	    decisions=745880, wrong=370367, backtracks=86877, failedAssignments=308851, nogoods=4607, foundSolutions=7, bestBound=4
116.00/110.17	    nFilterCalls=30033816, avgTableProportion=0.8266456224390856, avgTableSize=5.000205168733803
116.00/110.17	    
116.49/110.64	    num=224, depth=3..17, filters=60126525, revisions=(100676297,useless=53620142), ccks=141309952, wck=107.859, mem=98M956
116.49/110.64	    decisions=748667, wrong=371758, backtracks=87146, failedAssignments=310024, nogoods=4638, foundSolutions=7, bestBound=4
116.49/110.64	    nFilterCalls=30164278, avgTableProportion=0.8266494528938397, avgTableSize=5.0002055411371025
116.49/110.64	    
116.79/110.96	    num=225, depth=5..19, filters=60284777, revisions=(100960641,useless=53777295), ccks=141751247, wck=108.185, mem=98M956
116.79/110.96	    decisions=751589, wrong=373215, backtracks=87395, failedAssignments=311315, nogoods=4653, foundSolutions=7, bestBound=4
116.79/110.96	    nFilterCalls=30250301, avgTableProportion=0.8266528585526219, avgTableSize=5.000305451506086
116.79/110.96	    
117.29/111.40	    num=226, depth=1..13, filters=60509703, revisions=(101356404,useless=53993739), ccks=142408399, wck=108.626, mem=98M956
117.29/111.40	    decisions=754797, wrong=374818, backtracks=87624, failedAssignments=312735, nogoods=4687, foundSolutions=7, bestBound=4
117.29/111.40	    nFilterCalls=30370951, avgTableProportion=0.8266667625696309, avgTableSize=5.000771197451144
117.29/111.40	    
117.59/111.72	    num=227, depth=0..18, filters=60654944, revisions=(101609362,useless=54125739), ccks=142716536, wck=108.94, mem=98M956
117.59/111.72	    decisions=758175, wrong=376506, backtracks=87799, failedAssignments=314297, nogoods=4715, foundSolutions=7, bestBound=4
117.59/111.72	    nFilterCalls=30436196, avgTableProportion=0.8266587721123202, avgTableSize=5.0004505490765006
117.59/111.72	    
118.19/112.37	    num=228, depth=0..19, filters=61028933, revisions=(102194881,useless=54407885), ccks=143658830, wck=109.593, mem=98M956
118.19/112.37	    decisions=761988, wrong=378411, backtracks=88063, failedAssignments=316015, nogoods=4719, foundSolutions=7, bestBound=4
118.19/112.37	    nFilterCalls=30621259, avgTableProportion=0.826633298512683, avgTableSize=4.9996781647678175
118.19/112.37	    
118.79/112.96	    num=229, depth=0..18, filters=61350645, revisions=(102706599,useless=54667158), ccks=144402711, wck=110.18, mem=98M956
118.79/112.96	    decisions=766187, wrong=380509, backtracks=88345, failedAssignments=317905, nogoods=4783, foundSolutions=7, bestBound=4
118.79/112.96	    nFilterCalls=30778690, avgTableProportion=0.8266149029618359, avgTableSize=4.999051746516827
118.79/112.96	    
119.40/113.53	    num=230, depth=2..17, filters=61653183, revisions=(103224093,useless=54938990), ccks=145157042, wck=110.754, mem=98M956
119.40/113.53	    decisions=770787, wrong=382808, backtracks=88643, failedAssignments=319984, nogoods=4792, foundSolutions=7, bestBound=4
119.40/113.53	    nFilterCalls=30928787, avgTableProportion=0.8266081941544124, avgTableSize=4.998793163146036
119.40/113.53	    
120.20/114.31	    num=231, depth=0..17, filters=62087798, revisions=(103948037,useless=55318616), ccks=146180563, wck=111.532, mem=98M956
120.20/114.31	    decisions=776002, wrong=385414, backtracks=89073, failedAssignments=322271, nogoods=4819, foundSolutions=7, bestBound=4
120.20/114.31	    nFilterCalls=31147172, avgTableProportion=0.8266233925466007, avgTableSize=4.999169876481884
120.20/114.31	    
121.00/115.15	    num=232, depth=0..20, filters=62553939, revisions=(104728188,useless=55717652), ccks=147263549, wck=112.376, mem=98M956
121.00/115.15	    decisions=781805, wrong=388308, backtracks=89594, failedAssignments=324787, nogoods=4836, foundSolutions=7, bestBound=4
121.00/115.15	    nFilterCalls=31372837, avgTableProportion=0.8266036618609999, avgTableSize=4.998259513476579
121.00/115.15	    
121.80/115.95	    num=233, depth=0..20, filters=62968291, revisions=(105449414,useless=56107283), ccks=148326399, wck=113.172, mem=101M597
121.80/115.95	    decisions=788142, wrong=391475, backtracks=90147, failedAssignments=327555, nogoods=4858, foundSolutions=7, bestBound=4
121.80/115.95	    nFilterCalls=31590523, avgTableProportion=0.8265955534822466, avgTableSize=4.997854641406222
121.80/115.95	    
122.50/116.64	    num=234, depth=0..20, filters=63290989, revisions=(106054515,useless=56452191), ccks=149175179, wck=113.865, mem=101M597
122.50/116.64	    decisions=795079, wrong=394941, backtracks=90708, failedAssignments=330599, nogoods=4893, foundSolutions=7, bestBound=4
122.50/116.64	    nFilterCalls=31764844, avgTableProportion=0.8266064753850465, avgTableSize=4.998099502708088
122.50/116.64	    
123.20/117.36	    num=235, depth=0..17, filters=63616465, revisions=(106681166,useless=56811925), ccks=150013280, wck=114.588, mem=101M597
123.20/117.36	    decisions=802652, wrong=398727, backtracks=91274, failedAssignments=333948, nogoods=4979, foundSolutions=7, bestBound=4
123.20/117.36	    nFilterCalls=31933509, avgTableProportion=0.8266109376629603, avgTableSize=4.998152410998741
123.20/117.36	    
124.30/118.46	    num=236, depth=0..24, filters=64209393, revisions=(107691529,useless=57348141), ccks=151375260, wck=115.686, mem=101M597
124.30/118.46	    decisions=811120, wrong=402958, backtracks=92037, failedAssignments=337632, nogoods=5054, foundSolutions=7, bestBound=4
124.30/118.46	    nFilterCalls=32230220, avgTableProportion=0.8265689830398828, avgTableSize=4.996713270961228
124.30/118.46	    
125.91/120.01	    num=237, depth=4..24, filters=65076923, revisions=(109131378,useless=58080117), ccks=153547334, wck=117.238, mem=101M597
125.91/120.01	    decisions=820391, wrong=407590, backtracks=92812, failedAssignments=341684, nogoods=5125, foundSolutions=7, bestBound=4
125.91/120.01	    nFilterCalls=32650547, avgTableProportion=0.8265574080551579, avgTableSize=4.996485755659775
125.91/120.01	    
127.10/121.29	    num=238, depth=0..16, filters=65731336, revisions=(110295050,useless=58700912), ccks=155220438, wck=118.512, mem=101M597
127.10/121.29	    decisions=830372, wrong=412577, backtracks=93478, failedAssignments=346141, nogoods=5141, foundSolutions=7, bestBound=4
127.10/121.29	    nFilterCalls=32979679, avgTableProportion=0.8265140591279057, avgTableSize=4.994971024429923
127.10/121.29	    
128.10/122.23	    num=239, depth=0..29, filters=66163465, revisions=(111158350,useless=59227282), ccks=156050630, wck=119.453, mem=101M597
128.10/122.23	    decisions=841318, wrong=418047, backtracks=94386, failedAssignments=351044, nogoods=5210, foundSolutions=7, bestBound=4
128.10/122.23	    nFilterCalls=33195280, avgTableProportion=0.826557819049952, avgTableSize=4.996420515205776
128.10/122.23	    
129.80/123.93	    num=240, depth=5..28, filters=67065158, revisions=(112737142,useless=60080029), ccks=158306176, wck=121.156, mem=101M597
129.80/123.93	    decisions=853696, wrong=424231, backtracks=95456, failedAssignments=356438, nogoods=5245, foundSolutions=7, bestBound=4
129.80/123.93	    nFilterCalls=33644894, avgTableProportion=0.8265442530217398, avgTableSize=4.996062760667339
129.80/123.93	    
131.61/125.71	    num=241, depth=0..20, filters=68007655, revisions=(114355919,useless=60931582), ccks=160541459, wck=122.933, mem=104M238
131.61/125.71	    decisions=867364, wrong=431063, backtracks=96715, failedAssignments=362371, nogoods=5317, foundSolutions=7, bestBound=4
131.61/125.71	    nFilterCalls=34113233, avgTableProportion=0.8264727988528925, avgTableSize=4.993555814542702
131.61/125.71	    
133.61/127.73	    num=242, depth=0..18, filters=69076796, revisions=(116187453,useless=61886061), ccks=163234709, wck=124.956, mem=104M238
133.61/127.73	    decisions=882123, wrong=438441, backtracks=97826, failedAssignments=368897, nogoods=5379, foundSolutions=7, bestBound=4
133.61/127.73	    nFilterCalls=34642113, avgTableProportion=0.8264228739502865, avgTableSize=4.991882885434847
133.61/127.73	    
135.31/129.46	    num=243, depth=0..25, filters=69931896, revisions=(117765241,useless=62772461), ccks=165090296, wck=126.679, mem=104M238
135.31/129.46	    decisions=898481, wrong=446617, backtracks=99344, failedAssignments=376076, nogoods=5423, foundSolutions=7, bestBound=4
135.31/129.46	    nFilterCalls=35061612, avgTableProportion=0.8264153562377641, avgTableSize=4.991793874166425
135.31/129.46	    
137.81/131.94	    num=244, depth=4..22, filters=71216650, revisions=(120006269,useless=63976153), ccks=168505674, wck=129.159, mem=104M238
137.81/131.94	    decisions=916487, wrong=455617, backtracks=100768, failedAssignments=383973, nogoods=5452, foundSolutions=7, bestBound=4
137.81/131.94	    nFilterCalls=35709878, avgTableProportion=0.826367492487282, avgTableSize=4.990422117936107
137.81/131.94	    
140.61/134.79	    num=245, depth=0..28, filters=72762523, revisions=(122584830,useless=65301886), ccks=172241530, wck=132.012, mem=104M238
140.61/134.79	    decisions=936847, wrong=465796, backtracks=102783, failedAssignments=392660, nogoods=5475, foundSolutions=7, bestBound=4
140.61/134.79	    nFilterCalls=36471941, avgTableProportion=0.8262860106288404, avgTableSize=4.987323515356641
140.61/134.79	    
143.81/138.00	    num=246, depth=0..22, filters=74492644, revisions=(125398892,useless=66730122), ccks=176532657, wck=135.219, mem=106M880
143.81/138.00	    decisions=959005, wrong=476873, backtracks=104755, failedAssignments=402215, nogoods=5517, foundSolutions=7, bestBound=4
143.81/138.00	    nFilterCalls=37325497, avgTableProportion=0.8262257527757175, avgTableSize=4.984848212469884
143.81/138.00	    
146.92/141.07	    num=247, depth=0..23, filters=76099472, revisions=(128043479,useless=68128937), ccks=180332746, wck=138.297, mem=106M880
146.92/141.07	    decisions=983252, wrong=488995, backtracks=106879, failedAssignments=412726, nogoods=5547, foundSolutions=7, bestBound=4
146.92/141.07	    nFilterCalls=38125114, avgTableProportion=0.8261735852232877, avgTableSize=4.9825940454892805
146.92/141.07	    
148.71/142.80	
148.71/142.80	  New Bounds: 4..3
148.71/142.80	    num=248, depth=0..23, filters=76974415, revisions=(129536613,useless=68918046), ccks=182753476, wck=140.022, mem=106M880
148.71/142.80	    decisions=994988, wrong=494864, backtracks=108059, failedAssignments=417660, foundSolutions=7, bestBound=4
148.71/142.80	    nFilterCalls=38571583, avgTableProportion=0.826152470122206, avgTableSize=4.981715191725473
148.71/142.80	    
148.71/142.80	  Global
148.71/142.80	    filters=76974415, revisions=(129536613,useless=68918046), ccks=182753476
148.71/142.80	    Stop=FULL_EXPLORATION, wrong=494864, bestBound=4, bestBoundWck=98.767, bestBoundCpu=100.531, foundSolutions=7, firstSolCpu=2.833
148.71/142.80	    wck=140.955, cpu=142.721, mem=106M880
148.71/142.80	
148.71/142.80	v <instantiation id='sol7' type='solution' cost='4'>  <list> p[] np[][] r[][] o[][] so[] </list>  <values> 20 3 13 28 25 14 12 10 7 4 2 1 18 24 22 21 19 15 8 17 11 27 9 16 23 6 0 29 26 5 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 3 4 5 5 5 5 5 5 5 5 5 5 5 0 0 0 0 0 1 1 2 3 4 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 0 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 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 3 4 4 4 4 4 4 0 1 2 2 2 2 3 4 4 4 4 4 4 4 4 5 6 6 6 6 7 7 7 7 7 7 7 7 7 7 0 0 0 0 0 0 0 0 1 2 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 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 3 3 3 3 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 2 2 3 4 0 0 0 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 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 2 2 2 3 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 0 0 0 1 1 1 1 1 1 1 1 2 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 1 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 1 0 0 1 1 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 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 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 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 0 0 0 0 0 1 0 0 1 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 1 0 1 1 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 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 1 0 0 0 0 0 0 0 1 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 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 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 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 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 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 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 3 4 4 4 4 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 3 3 2 </values>  </instantiation>
148.71/142.80	s OPTIMUM FOUND
148.71/142.80	
148.71/142.80	d WRONG_DECISIONS 494864
148.71/142.80	d NUMBER_SOLUTIONS 7

Verifier Data 

OK	4

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391261-1568389619/watcher-4391261-1568389619 -o /tmp/evaluation-result-4391261-1568389619/solver-4391261-1568389619 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568389579-4914 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391261-1568389619.xml -cm 

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

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

solver pid=4938, runsolver pid=4934

[startup+0.100058 s]*
/proc/loadavg: 0.88 0.90 1.12 5/227 4972
/proc/meminfo: memFree=21904360/32770624 swapFree=66999272/67108860
[pid=4938] ppid=4934 vsize=10659884 memory=29012 CPUtime=0.14 cores=1,3,5,7
/proc/4938/stat : 4938 (java) S 4934 4938 2817 0 -1 1077944320 5832 0 0 0 12 2 0 0 20 0 15 0 414900367 10915721216 7253 33554432000 4194304 4196468 140732249677648 140732249660192 140013906964215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
/proc/4938/statm: 2664971 7253 2897 1 0 2627468 0
[pid=4938/tid=4945] ppid=4934 vsize=10659884 memory=-8253362762721355408 CPUtime=0.09 cores=1,3,5,7
/proc/4938/task/4945/stat : 4945 (java) R 4934 4938 2817 0 -1 4202560 3210 0 0 0 8 1 0 0 20 0 15 0 414900367 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013911193408 140013884966887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4947] ppid=4934 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4947/stat : 4947 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013859584912 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4948] ppid=4934 vsize=10659884 memory=140139534005888 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4948/stat : 4948 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013858532112 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4949] ppid=4934 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4949/stat : 4949 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013857479824 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4950] ppid=4934 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4950/stat : 4950 (java) S 4934 4938 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013856427024 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4955] ppid=4934 vsize=10659884 memory=140139534005888 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4955/stat : 4955 (java) S 4934 4938 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900369 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013466114160 140013906975362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4957] ppid=4934 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4957/stat : 4957 (java) S 4934 4938 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013465060128 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4958] ppid=4934 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4958/stat : 4958 (java) S 4934 4938 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013464007792 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4961] ppid=4934 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4961/stat : 4961 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900372 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013462956112 140013906982811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4962] ppid=4934 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4938/task/4962/stat : 4962 (java) R 4934 4938 2817 0 -1 1077944384 575 0 0 0 1 0 0 0 20 0 15 0 414900372 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013461903984 140013906975362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4963] ppid=4934 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4963/stat : 4963 (java) S 4934 4938 2817 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 414900372 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013460851184 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4964] ppid=4934 vsize=10659884 memory=140139534005888 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4964/stat : 4964 (java) R 4934 4938 2817 0 -1 4202560 607 0 0 0 2 0 0 0 20 0 15 0 414900372 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013459794952 140013891276284 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4965] ppid=4934 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4965/stat : 4965 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900372 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013458746336 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4970] ppid=4934 vsize=10659884 memory=140139534005888 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4970/stat : 4970 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 7319 33554432000 4194304 4196468 140732249677648 140013457693104 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29012 KiB

[startup+0.210786 s]*
/proc/loadavg: 0.88 0.90 1.12 3/227 4972
/proc/meminfo: memFree=21891560/32770624 swapFree=66999272/67108860
[pid=4938] ppid=4934 vsize=10659884 memory=34664 CPUtime=0.33 cores=1,3,5,7
/proc/4938/stat : 4938 (java) S 4934 4938 2817 0 -1 1077944320 6815 0 0 0 31 2 0 0 20 0 15 0 414900367 10915721216 8666 33554432000 4194304 4196468 140732249677648 140732249660192 140013906964215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
/proc/4938/statm: 2664971 8666 2990 1 0 2627468 0
[pid=4938/tid=4945] ppid=4934 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4938/task/4945/stat : 4945 (java) R 4934 4938 2817 0 -1 4202560 3855 0 0 0 19 1 0 0 20 0 15 0 414900367 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013911190576 140013906986141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4947] ppid=4934 vsize=10659884 memory=343 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4947/stat : 4947 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013859584912 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4948] ppid=4934 vsize=10659884 memory=288370515685717632 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4948/stat : 4948 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013858532112 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4949] ppid=4934 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4949/stat : 4949 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013857479824 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4950] ppid=4934 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4950/stat : 4950 (java) S 4934 4938 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013856427024 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4955] ppid=4934 vsize=10659884 memory=140139534005888 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4955/stat : 4955 (java) S 4934 4938 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900369 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013466114160 140013906975362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4957] ppid=4934 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4957/stat : 4957 (java) S 4934 4938 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013465060128 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4958] ppid=4934 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4958/stat : 4958 (java) S 4934 4938 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013464007792 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4961] ppid=4934 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4961/stat : 4961 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900372 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013462956112 140013906982811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4962] ppid=4934 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4938/task/4962/stat : 4962 (java) S 4934 4938 2817 0 -1 1077944384 676 0 0 0 3 0 0 0 20 0 15 0 414900372 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013461903984 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4963] ppid=4934 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4963/stat : 4963 (java) S 4934 4938 2817 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 15 0 414900372 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013460851184 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4964] ppid=4934 vsize=10659884 memory=140139534005888 CPUtime=0.05 cores=1,3,5,7
/proc/4938/task/4964/stat : 4964 (java) S 4934 4938 2817 0 -1 1077944384 646 0 0 0 5 0 0 0 20 0 15 0 414900372 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013459798896 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4965] ppid=4934 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4965/stat : 4965 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900372 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013458746336 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4970] ppid=4934 vsize=10659884 memory=140139534005888 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4970/stat : 4970 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 8666 33554432000 4194304 4196468 140732249677648 140013457693104 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34664 KiB

[startup+0.310179 s]*
/proc/loadavg: 0.88 0.90 1.12 3/227 4972
/proc/meminfo: memFree=21875744/32770624 swapFree=66999272/67108860
[pid=4938] ppid=4934 vsize=10659884 memory=40116 CPUtime=0.48 cores=1,3,5,7
/proc/4938/stat : 4938 (java) S 4934 4938 2817 0 -1 1077944320 9380 0 0 0 44 4 0 0 20 0 15 0 414900367 10915721216 10029 33554432000 4194304 4196468 140732249677648 140732249660192 140013906964215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
/proc/4938/statm: 2664971 10029 3003 1 0 2627468 0
[pid=4938/tid=4945] ppid=4934 vsize=10659884 memory=140139414259106 CPUtime=0.3 cores=1,3,5,7
/proc/4938/task/4945/stat : 4945 (java) R 4934 4938 2817 0 -1 4202560 6341 0 0 0 27 3 0 0 20 0 15 0 414900367 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013911189792 140013906986141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4947] ppid=4934 vsize=10659884 memory=3832619397619673446 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4947/stat : 4947 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013859584912 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4948] ppid=4934 vsize=10659884 memory=280278828525200 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4948/stat : 4948 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013858532112 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4949] ppid=4934 vsize=10659884 memory=280278828532112 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4949/stat : 4949 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013857479824 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4950] ppid=4934 vsize=10659884 memory=1970350607106051 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4950/stat : 4950 (java) S 4934 4938 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900368 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013856427024 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4955] ppid=4934 vsize=10659884 memory=280278948278848 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4955/stat : 4955 (java) S 4934 4938 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900369 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013466114160 140013906975362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4957] ppid=4934 vsize=10659884 memory=1970350607106051 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4957/stat : 4957 (java) S 4934 4938 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013465060128 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4958] ppid=4934 vsize=10659884 memory=2110490021402468 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4958/stat : 4958 (java) S 4934 4938 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414900370 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013464007792 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4961] ppid=4934 vsize=10659884 memory=2110490021402532 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4961/stat : 4961 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900372 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013462956112 140013906982811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4962] ppid=4934 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4938/task/4962/stat : 4962 (java) S 4934 4938 2817 0 -1 1077944384 684 0 0 0 4 0 0 0 20 0 15 0 414900372 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013461903984 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4963] ppid=4934 vsize=10659884 memory=140139414284495 CPUtime=0.03 cores=1,3,5,7
/proc/4938/task/4963/stat : 4963 (java) S 4934 4938 2817 0 -1 1077944384 327 0 0 0 3 0 0 0 20 0 15 0 414900372 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013460851184 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4964] ppid=4934 vsize=10659884 memory=140139534005888 CPUtime=0.08 cores=1,3,5,7
/proc/4938/task/4964/stat : 4964 (java) S 4934 4938 2817 0 -1 1077944384 673 0 0 0 8 0 0 0 20 0 15 0 414900372 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013459798896 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4965] ppid=4934 vsize=10659884 memory=2272 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4965/stat : 4965 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900372 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013458746336 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4970] ppid=4934 vsize=10659884 memory=140143828973183 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4970/stat : 4970 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900373 10915721216 10029 33554432000 4194304 4196468 140732249677648 140013457693104 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40116 KiB

[startup+0.700783 s]
/proc/loadavg: 0.88 0.90 1.12 4/227 4972
/proc/meminfo: memFree=21859304/32770624 swapFree=66999272/67108860
[pid=4938] ppid=4934 vsize=10661932 memory=62084 CPUtime=1.08 cores=1,3,5,7
/proc/4938/stat : 4938 (java) S 4934 4938 2817 0 -1 1077944320 12680 0 0 0 103 5 0 0 20 0 15 0 414900367 10917818368 15521 33554432000 4194304 4196468 140732249677648 140732249660192 140013906964215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
/proc/4938/statm: 2665483 15521 3071 1 0 2627980 0
[pid=4938/tid=4945] ppid=4934 vsize=10661932 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/4938/task/4945/stat : 4945 (java) R 4934 4938 2817 0 -1 4202560 8883 0 0 0 64 4 0 0 20 0 15 0 414900367 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013911196240 140013891044702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4947] ppid=4934 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4947/stat : 4947 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013859584912 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4948] ppid=4934 vsize=10661932 memory=161420977120950 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4948/stat : 4948 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013858532112 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4949] ppid=4934 vsize=10661932 memory=3098972 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4949/stat : 4949 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013857479824 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4950] ppid=4934 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4950/stat : 4950 (java) S 4934 4938 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900368 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013856427024 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4955] ppid=4934 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4955/stat : 4955 (java) S 4934 4938 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900369 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013466114160 140013906975362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4957] ppid=4934 vsize=10661932 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4957/stat : 4957 (java) S 4934 4938 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414900370 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013465060128 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4958] ppid=4934 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4958/stat : 4958 (java) S 4934 4938 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414900370 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013464007792 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4961] ppid=4934 vsize=10661932 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4961/stat : 4961 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900372 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013462956112 140013906982811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4962] ppid=4934 vsize=10661932 memory=6944656592455360604 CPUtime=0.11 cores=1,3,5,7
/proc/4938/task/4962/stat : 4962 (java) R 4934 4938 2817 0 -1 4202560 950 0 0 0 11 0 0 0 20 0 15 0 414900372 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013461903984 140013888140104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4963] ppid=4934 vsize=10661932 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4938/task/4963/stat : 4963 (java) S 4934 4938 2817 0 -1 1077944384 466 0 0 0 8 0 0 0 20 0 15 0 414900372 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013460851184 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4964] ppid=4934 vsize=10661932 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/4938/task/4964/stat : 4964 (java) S 4934 4938 2817 0 -1 1077944384 1022 0 0 0 19 0 0 0 20 0 15 0 414900372 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013459798896 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4965] ppid=4934 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4965/stat : 4965 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414900372 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013458746336 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4970] ppid=4934 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4970/stat : 4970 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900373 10917818368 15521 33554432000 4194304 4196468 140732249677648 140013457693104 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62084 KiB

[startup+1.50079 s]
/proc/loadavg: 0.89 0.91 1.12 3/227 4972
/proc/meminfo: memFree=21827788/32770624 swapFree=66999272/67108860
[pid=4938] ppid=4934 vsize=10663980 memory=74552 CPUtime=1.98 cores=1,3,5,7
/proc/4938/stat : 4938 (java) S 4934 4938 2817 0 -1 1077944320 18205 0 0 0 192 6 0 0 20 0 15 0 414900367 10919915520 18638 33554432000 4194304 4196468 140732249677648 140732249660192 140013906964215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
/proc/4938/statm: 2665995 18638 3096 1 0 2628492 0
[pid=4938/tid=4945] ppid=4934 vsize=10663980 memory=280278828984896 CPUtime=1.48 cores=1,3,5,7
/proc/4938/task/4945/stat : 4945 (java) R 4934 4938 2817 0 -1 4202560 13098 0 0 0 143 5 0 0 20 0 15 0 414900367 10919915520 18638 33554432000 4194304 4196468 140732249677648 140013911196240 140013891044702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4947] ppid=4934 vsize=10663980 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4947/stat : 4947 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10919915520 18638 33554432000 4194304 4196468 140732249677648 140013859584912 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4948] ppid=4934 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4948/stat : 4948 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10919915520 18638 33554432000 4194304 4196468 140732249677648 140013858532112 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4949] ppid=4934 vsize=10663980 memory=7307200722102873707 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4949/stat : 4949 (java) S 4934 4938 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414900368 10919915520 18638 33554432000 4194304 4196468 140732249677648 140013857479824 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4950] ppid=4934 vsize=10663980 memory=7378937314462426994 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4950/stat : 4950 (java) S 4934 4938 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414900368 10919915520 18638 33554432000 4194304 4196468 140732249677648 140013856427024 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4955] ppid=4934 vsize=10663980 memory=6224628225845975398 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4955/stat : 4955 (java) S 4934 4938 2817 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 414900369 10919915520 18638 33554432000 4194304 4196468 140732249677648 140013466114160 140013906975362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0

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

[startup+140.801 s]
/proc/loadavg: 1.87 1.30 1.24 3/230 5067
/proc/meminfo: memFree=21284140/32770624 swapFree=66999272/67108860
[pid=4938] ppid=4934 vsize=10748324 memory=311648 CPUtime=146.71 cores=1,3,5,7
/proc/4938/stat : 4938 (java) S 4934 4938 2817 0 -1 1077944320 64037 0 0 0 14649 22 0 0 20 0 16 0 414900367 11006283776 77912 33554432000 4194304 4196468 140732249677648 140732249660192 140013906964215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
/proc/4938/statm: 2687081 77912 3381 1 0 2647217 0
[pid=4938/tid=4945] ppid=4934 vsize=10748324 memory=988 CPUtime=1.85 cores=1,3,5,7
/proc/4938/task/4945/stat : 4945 (java) S 4934 4938 2817 0 -1 1077944384 15339 0 0 0 179 6 0 0 20 0 16 0 414900367 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013911207088 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4947] ppid=4934 vsize=10748324 memory=1556 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4947/stat : 4947 (java) S 4934 4938 2817 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013859584912 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4948] ppid=4934 vsize=10748324 memory=932 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4948/stat : 4948 (java) S 4934 4938 2817 0 -1 1077944384 226 0 0 0 1 1 0 0 20 0 16 0 414900368 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013858532112 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4949] ppid=4934 vsize=10748324 memory=311648 CPUtime=0.03 cores=1,3,5,7
/proc/4938/task/4949/stat : 4949 (java) S 4934 4938 2817 0 -1 1077944384 124 0 0 0 2 1 0 0 20 0 16 0 414900368 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013857479824 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4950] ppid=4934 vsize=10748324 memory=311648 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4950/stat : 4950 (java) S 4934 4938 2817 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013856427024 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4955] ppid=4934 vsize=10748324 memory=311648 CPUtime=0.01 cores=1,3,5,7
/proc/4938/task/4955/stat : 4955 (java) S 4934 4938 2817 0 -1 1077944384 1582 0 0 0 1 0 0 0 20 0 16 0 414900369 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013466114160 140013906975362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4957] ppid=4934 vsize=10748324 memory=2608 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4957/stat : 4957 (java) S 4934 4938 2817 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013465060192 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4958] ppid=4934 vsize=10748324 memory=311648 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4958/stat : 4958 (java) S 4934 4938 2817 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013464007808 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4961] ppid=4934 vsize=10748324 memory=311648 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4961/stat : 4961 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900372 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013462956112 140013906982811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4962] ppid=4934 vsize=10748324 memory=311648 CPUtime=2.23 cores=1,3,5,7
/proc/4938/task/4962/stat : 4962 (java) S 4934 4938 2817 0 -1 1077944384 9514 0 0 0 222 1 0 0 20 0 16 0 414900372 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013461903984 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4963] ppid=4934 vsize=10748324 memory=311648 CPUtime=2.44 cores=1,3,5,7
/proc/4938/task/4963/stat : 4963 (java) S 4934 4938 2817 0 -1 1077944384 13718 0 0 0 242 2 0 0 20 0 16 0 414900372 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013460851184 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4964] ppid=4934 vsize=10748324 memory=4004 CPUtime=1.1 cores=1,3,5,7
/proc/4938/task/4964/stat : 4964 (java) S 4934 4938 2817 0 -1 1077944384 10563 0 0 0 108 2 0 0 20 0 16 0 414900372 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013459798896 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4965] ppid=4934 vsize=10748324 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4965/stat : 4965 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900372 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013458746336 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4970] ppid=4934 vsize=10748324 memory=311648 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4970/stat : 4970 (java) S 4934 4938 2817 0 -1 1077944384 867 0 0 0 1 1 0 0 20 0 16 0 414900373 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013457693104 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4975] ppid=4934 vsize=10748324 memory=612 CPUtime=138.83 cores=1,3,5,7
/proc/4938/task/4975/stat : 4975 (java) R 4934 4938 2817 0 -1 4202560 10441 0 0 0 13880 3 0 0 20 0 16 0 414900555 11006283776 77912 33554432000 4194304 4196468 140732249677648 140013452029168 140013545085733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
Current children cumulated CPU time: 146.71 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 311648 KiB

[startup+141.601 s]
/proc/loadavg: 1.88 1.31 1.25 3/230 5067
/proc/meminfo: memFree=21284280/32770624 swapFree=66999272/67108860
[pid=4938] ppid=4934 vsize=10748324 memory=311652 CPUtime=147.51 cores=1,3,5,7
/proc/4938/stat : 4938 (java) S 4934 4938 2817 0 -1 1077944320 64127 0 0 0 14729 22 0 0 20 0 16 0 414900367 11006283776 77913 33554432000 4194304 4196468 140732249677648 140732249660192 140013906964215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
/proc/4938/statm: 2687081 77913 3381 1 0 2647217 0
[pid=4938/tid=4945] ppid=4934 vsize=10748324 memory=772 CPUtime=1.85 cores=1,3,5,7
/proc/4938/task/4945/stat : 4945 (java) S 4934 4938 2817 0 -1 1077944384 15339 0 0 0 179 6 0 0 20 0 16 0 414900367 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013911207088 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4947] ppid=4934 vsize=10748324 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4947/stat : 4947 (java) S 4934 4938 2817 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013859584912 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4948] ppid=4934 vsize=10748324 memory=988 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4948/stat : 4948 (java) S 4934 4938 2817 0 -1 1077944384 226 0 0 0 1 1 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013858532112 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4949] ppid=4934 vsize=10748324 memory=4004 CPUtime=0.03 cores=1,3,5,7
/proc/4938/task/4949/stat : 4949 (java) S 4934 4938 2817 0 -1 1077944384 124 0 0 0 2 1 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013857479824 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4950] ppid=4934 vsize=10748324 memory=2828 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4950/stat : 4950 (java) S 4934 4938 2817 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013856427024 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4955] ppid=4934 vsize=10748324 memory=1424 CPUtime=0.01 cores=1,3,5,7
/proc/4938/task/4955/stat : 4955 (java) S 4934 4938 2817 0 -1 1077944384 1582 0 0 0 1 0 0 0 20 0 16 0 414900369 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013466114160 140013906975362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4957] ppid=4934 vsize=10748324 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4957/stat : 4957 (java) S 4934 4938 2817 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013465060192 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4958] ppid=4934 vsize=10748324 memory=772 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4958/stat : 4958 (java) S 4934 4938 2817 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013464007808 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4961] ppid=4934 vsize=10748324 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4961/stat : 4961 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013462956112 140013906982811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4962] ppid=4934 vsize=10748324 memory=1048 CPUtime=2.23 cores=1,3,5,7
/proc/4938/task/4962/stat : 4962 (java) S 4934 4938 2817 0 -1 1077944384 9514 0 0 0 222 1 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013461903984 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4963] ppid=4934 vsize=10748324 memory=5900 CPUtime=2.44 cores=1,3,5,7
/proc/4938/task/4963/stat : 4963 (java) S 4934 4938 2817 0 -1 1077944384 13718 0 0 0 242 2 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013460851184 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4964] ppid=4934 vsize=10748324 memory=612 CPUtime=1.1 cores=1,3,5,7
/proc/4938/task/4964/stat : 4964 (java) S 4934 4938 2817 0 -1 1077944384 10653 0 0 0 108 2 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013459798896 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4965] ppid=4934 vsize=10748324 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4965/stat : 4965 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013458746336 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4970] ppid=4934 vsize=10748324 memory=14004 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4970/stat : 4970 (java) S 4934 4938 2817 0 -1 1077944384 867 0 0 0 1 1 0 0 20 0 16 0 414900373 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013457693104 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4975] ppid=4934 vsize=10748324 memory=14060 CPUtime=139.63 cores=1,3,5,7
/proc/4938/task/4975/stat : 4975 (java) R 4934 4938 2817 0 -1 4202560 10441 0 0 0 13960 3 0 0 20 0 16 0 414900555 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013452029168 140013544467177 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
Current children cumulated CPU time: 147.51 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 311652 KiB

[startup+142.401 s]
/proc/loadavg: 1.88 1.31 1.25 3/230 5067
/proc/meminfo: memFree=21284280/32770624 swapFree=66999272/67108860
[pid=4938] ppid=4934 vsize=10748324 memory=311652 CPUtime=148.31 cores=1,3,5,7
/proc/4938/stat : 4938 (java) S 4934 4938 2817 0 -1 1077944320 64127 0 0 0 14809 22 0 0 20 0 16 0 414900367 11006283776 77913 33554432000 4194304 4196468 140732249677648 140732249660192 140013906964215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
/proc/4938/statm: 2687081 77913 3381 1 0 2647217 0
[pid=4938/tid=4945] ppid=4934 vsize=10748324 memory=8112282956445269571 CPUtime=1.85 cores=1,3,5,7
/proc/4938/task/4945/stat : 4945 (java) S 4934 4938 2817 0 -1 1077944384 15339 0 0 0 179 6 0 0 20 0 16 0 414900367 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013911207088 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4947] ppid=4934 vsize=10748324 memory=3852 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4947/stat : 4947 (java) S 4934 4938 2817 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013859584912 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4948] ppid=4934 vsize=10748324 memory=4096 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4948/stat : 4948 (java) S 4934 4938 2817 0 -1 1077944384 226 0 0 0 1 1 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013858532112 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4949] ppid=4934 vsize=10748324 memory=311652 CPUtime=0.03 cores=1,3,5,7
/proc/4938/task/4949/stat : 4949 (java) S 4934 4938 2817 0 -1 1077944384 124 0 0 0 2 1 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013857479824 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4950] ppid=4934 vsize=10748324 memory=18832 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4950/stat : 4950 (java) S 4934 4938 2817 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013856427024 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4955] ppid=4934 vsize=10748324 memory=532 CPUtime=0.01 cores=1,3,5,7
/proc/4938/task/4955/stat : 4955 (java) S 4934 4938 2817 0 -1 1077944384 1582 0 0 0 1 0 0 0 20 0 16 0 414900369 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013466114160 140013906975362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4957] ppid=4934 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4957/stat : 4957 (java) S 4934 4938 2817 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013465060192 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4958] ppid=4934 vsize=10748324 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4958/stat : 4958 (java) S 4934 4938 2817 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013464007808 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4961] ppid=4934 vsize=10748324 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4961/stat : 4961 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013462956112 140013906982811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4962] ppid=4934 vsize=10748324 memory=1540 CPUtime=2.23 cores=1,3,5,7
/proc/4938/task/4962/stat : 4962 (java) S 4934 4938 2817 0 -1 1077944384 9514 0 0 0 222 1 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013461903984 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4963] ppid=4934 vsize=10748324 memory=8112282956445269571 CPUtime=2.44 cores=1,3,5,7
/proc/4938/task/4963/stat : 4963 (java) S 4934 4938 2817 0 -1 1077944384 13718 0 0 0 242 2 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013460851184 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4964] ppid=4934 vsize=10748324 memory=1980 CPUtime=1.1 cores=1,3,5,7
/proc/4938/task/4964/stat : 4964 (java) S 4934 4938 2817 0 -1 1077944384 10653 0 0 0 108 2 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013459798896 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4965] ppid=4934 vsize=10748324 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4965/stat : 4965 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013458746336 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4970] ppid=4934 vsize=10748324 memory=1760 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4970/stat : 4970 (java) S 4934 4938 2817 0 -1 1077944384 867 0 0 0 1 1 0 0 20 0 16 0 414900373 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013457693104 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4975] ppid=4934 vsize=10748324 memory=111636 CPUtime=140.43 cores=1,3,5,7
/proc/4938/task/4975/stat : 4975 (java) R 4934 4938 2817 0 -1 4202560 10441 0 0 0 14040 3 0 0 20 0 16 0 414900555 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013452029168 140013544908255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
Current children cumulated CPU time: 148.31 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 311652 KiB

[startup+142.801 s]
/proc/loadavg: 1.88 1.31 1.25 3/230 5067
/proc/meminfo: memFree=21284280/32770624 swapFree=66999272/67108860
[pid=4938] ppid=4934 vsize=10748324 memory=311652 CPUtime=148.71 cores=1,3,5,7
/proc/4938/stat : 4938 (java) S 4934 4938 2817 0 -1 1077944320 64127 0 0 0 14849 22 0 0 20 0 16 0 414900367 11006283776 77913 33554432000 4194304 4196468 140732249677648 140732249660192 140013906964215 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
/proc/4938/statm: 2687081 77913 3381 1 0 2647217 0
[pid=4938/tid=4945] ppid=4934 vsize=10748324 memory=4639948313719891052 CPUtime=1.85 cores=1,3,5,7
/proc/4938/task/4945/stat : 4945 (java) S 4934 4938 2817 0 -1 1077944384 15339 0 0 0 179 6 0 0 20 0 16 0 414900367 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013911207088 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4947] ppid=4934 vsize=10748324 memory=7521969513549096273 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4947/stat : 4947 (java) S 4934 4938 2817 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013859584912 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4948] ppid=4934 vsize=10748324 memory=7454130749351154278 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4948/stat : 4948 (java) S 4934 4938 2817 0 -1 1077944384 226 0 0 0 1 1 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013858532112 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4949] ppid=4934 vsize=10748324 memory=311648 CPUtime=0.03 cores=1,3,5,7
/proc/4938/task/4949/stat : 4949 (java) S 4934 4938 2817 0 -1 1077944384 124 0 0 0 2 1 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013857479824 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4950] ppid=4934 vsize=10748324 memory=3624 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4950/stat : 4950 (java) S 4934 4938 2817 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 16 0 414900368 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013856427024 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4955] ppid=4934 vsize=10748324 memory=772 CPUtime=0.01 cores=1,3,5,7
/proc/4938/task/4955/stat : 4955 (java) S 4934 4938 2817 0 -1 1077944384 1582 0 0 0 1 0 0 0 20 0 16 0 414900369 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013466114160 140013906975362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4957] ppid=4934 vsize=10748324 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4957/stat : 4957 (java) S 4934 4938 2817 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013465060192 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4958] ppid=4934 vsize=10748324 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4958/stat : 4958 (java) S 4934 4938 2817 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414900370 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013464007808 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4961] ppid=4934 vsize=10748324 memory=988 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4961/stat : 4961 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013462956112 140013906982811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4962] ppid=4934 vsize=10748324 memory=4004 CPUtime=2.23 cores=1,3,5,7
/proc/4938/task/4962/stat : 4962 (java) S 4934 4938 2817 0 -1 1077944384 9514 0 0 0 222 1 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013461903984 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4963] ppid=4934 vsize=10748324 memory=2828 CPUtime=2.44 cores=1,3,5,7
/proc/4938/task/4963/stat : 4963 (java) S 4934 4938 2817 0 -1 1077944384 13718 0 0 0 242 2 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013460851184 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4964] ppid=4934 vsize=10748324 memory=1048 CPUtime=1.1 cores=1,3,5,7
/proc/4938/task/4964/stat : 4964 (java) S 4934 4938 2817 0 -1 1077944384 10653 0 0 0 108 2 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013459798896 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4965] ppid=4934 vsize=10748324 memory=5900 CPUtime=0 cores=1,3,5,7
/proc/4938/task/4965/stat : 4965 (java) S 4934 4938 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414900372 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013458746336 140013906974421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4970] ppid=4934 vsize=10748324 memory=612 CPUtime=0.02 cores=1,3,5,7
/proc/4938/task/4970/stat : 4970 (java) S 4934 4938 2817 0 -1 1077944384 867 0 0 0 1 1 0 0 20 0 16 0 414900373 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013457693104 140013906975362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
[pid=4938/tid=4975] ppid=4934 vsize=10748324 memory=1220 CPUtime=140.83 cores=1,3,5,7
/proc/4938/task/4975/stat : 4975 (java) R 4934 4938 2817 0 -1 4202560 10441 0 0 0 14080 3 0 0 20 0 16 0 414900555 11006283776 77913 33554432000 4194304 4196468 140732249677648 140013452029168 140013544468538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14524416 140732249678859 140732249678962 140732249678962 140732249681871 0
Current children cumulated CPU time: 148.71 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 311652 KiB

Child status: 0
Real time (s): 142.813
CPU time (s): 148.736
CPU user time (s): 148.504
CPU system time (s): 0.232203
CPU usage (%): 104.147
Max. virtual memory (cumulated for all children) (KiB): 10750680
Max. memory (cumulated for all children) (KiB): 311652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.504
system time used= 0.232203
maximum resident set size= 312320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6645
involuntary context switches= 94


# summary of solver processes directly reported to runsolver:
#   pid: 4938
#   total CPU time (s): 148.736
#   total CPU user time (s): 148.504
#   total CPU system time (s): 0.232203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.829105 second user time and 1.31275 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-13 17:46:19
IDJOB=4391261
IDBENCH=126778
IDSOLVER=2833
FILE ID=node140/4391261-1568389619
RUNJOBID= node140-1568389579-4914
PBS_JOBID= 21701829
Free space on /tmp= 56868 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-15-30-1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391261-1568389619/watcher-4391261-1568389619 -o /tmp/evaluation-result-4391261-1568389619/solver-4391261-1568389619 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568389579-4914 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391261-1568389619.xml -cm

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

MD5SUM BENCH= 274e3e67607724bfcca0861611bdfa28
RANDOM SEED=540465701

node140.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.43
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.43
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.43
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.43
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:        21936988 kB
MemAvailable:   31858888 kB
Buffers:          164792 kB
Cached:          9931260 kB
SwapCached:         2748 kB
Active:          1595680 kB
Inactive:        8507520 kB
Active(anon):       3548 kB
Inactive(anon):    43940 kB
Active(file):    1592132 kB
Inactive(file):  8463580 kB
Unevictable:      107712 kB
Mlocked:          107712 kB
SwapTotal:      67108860 kB
SwapFree:       66999272 kB
Dirty:             17128 kB
Writeback:             0 kB
AnonPages:        112448 kB
Mapped:            43564 kB
Shmem:             32248 kB
Slab:             324744 kB
SReclaimable:     294648 kB
SUnreclaim:        30096 kB
KernelStack:        3456 kB
PageTables:         5044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56852 MiB
End job on node140 at 2019-09-13 17:48:42