Trace number 4391180

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-23OPT45 78.921 62.4464

DiagnosticValue
WRONG_DECISIONS15420

General information on the benchmark

NameOpenStacks/
OpenStacks-m1-s1/OpenStacks-m1-gp-050-1.xml
MD5SUMfc4e4ea7042e58a9368f3717c71f0857
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark70.5704
Satisfiable
(Un)Satisfiability was proved
Number of variables7600
Number of constraints7551
Number of domains17
Minimum domain size2
Maximum domain size51
Distribution of domain sizes[{"size":2,"count":5100},{"size":5,"count":50},{"size":6,"count":50},{"size":19,"count":50},{"size":20,"count":50},{"size":40,"count":50},{"size":41,"count":50},{"size":42,"count":50},{"size":43,"count":50},{"size":44,"count":250},{"size":45,"count":500},{"size":46,"count":400},{"size":47,"count":500},{"size":48,"count":100},{"size":49,"count":200},{"size":50,"count":100},{"size":51,"count":50}]
Minimum variable degree2
Maximum variable degree51
Distribution of variable degrees[{"degree":2,"count":2600},{"degree":3,"count":4950},{"degree":51,"count":50}]
Minimum constraint arity2
Maximum constraint arity51
Distribution of constraint arities[{"arity":2,"count":2550},{"arity":3,"count":4950},{"arity":50,"count":1},{"arity":51,"count":50}]
Number of extensional constraints2500
Number of intensional constraints2500
Distribution of constraint types[{"type":"extension","count":2500},{"type":"intension","count":2500},{"type":"allDifferent","count":1},{"type":"sum","count":50},{"type":"element","count":2500}]
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.89/2.11	
2.89/2.11	AbsCon 2 
2.89/2.13	
4.82/2.75	  Instance
4.82/2.75	    name=instance-4391180-1568389570, framework=COP, bounds=-infty..+infty
4.82/2.75	
4.82/2.75	  Loading variables...
5.17/2.89	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@159c7c0e
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76da541d
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17eb704d
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56df495f
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@223abbbb
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70716d44
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17d77288
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72f02430
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5f111
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7875b6f5
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fed7a49
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f886d8d
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@786ede59
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136fb793
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fdf4bec
9.41/4.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@446f9697
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e34e0ae
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fc74c23
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71f1e68
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2091aeed
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c1207e5
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66fd9ade
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fef842
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@700b2784
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74b00db0
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7466183e
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798696ae
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21991946
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f022333
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a44622
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a19b1f7
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e274b5
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6324f5c6
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@363f5c66
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0ebc92
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a53e6c0
9.41/4.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9a8e2e
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f50bc7
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b88ae81
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9081f5
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@abed976
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13c181a1
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f5aa087
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ce38cf9
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18ed11e7
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1da1fda5
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@410bf48e
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@570145a6
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@359e026b
9.41/4.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53a88c11
9.73/4.20	
9.73/4.20	
9.73/4.20	  Domains
9.73/4.20	    nTypes=17, nValues=118550, sizes=[2#5100,5#50,6#50,19#50...48#100,49#200,50#100,51#50]
9.73/4.20	  Variables
9.73/4.20	    count=7600, degrees=[2#2600,3#4950,51#50]
9.73/4.20	  Objectives
9.73/4.20	    way=min, type=ObjMaximumLE
9.73/4.20	  Constraints
9.73/4.20	    count=7552, nSpecific=2602, arities=[2#2550,3#4950,50#2,51#50]
9.73/4.20	    distribution=[AllDifferent#1,CtrExtensionCT-Table#2500,CtrExtensionV-Bits#2500,CtrIntension#2450,EQ#50,ObjMaximumLE#1,SumWeightedEQ#50]
9.73/4.20	    tables=[3#100,6#50,7#50,20#50...48#500,49#100,50#200,51#50], nTotalTuples=106000
9.73/4.20	    nExtStructures=(2516,shared:2484), nIntStructures=(16,shared:2434), nCftStructures=(2516,shared:2434,unbuilt:2602)
9.73/4.20	    wck=2.12, cpu=4.09, mem=85M673
19.77/8.01	  Solver SolverBacktrack being built...
19.77/8.01	
20.97/8.37	
20.97/8.37	  Solver
20.97/8.37	    guaranteedGAC=false
20.97/8.37	    wck=6.295, cpu=5.772, mem=1055M353
22.21/8.96	
22.21/8.96	  Preprocessing
22.21/8.96	    filters=1970, revisions=(3940,useless=2018), ccks=2800058, nACremovedValues=43637, nTotalRemovedValues=43637, inconcistency=false
22.21/8.96	    wck=0.584, cpu=6.362, mem=1055M353
22.21/8.96	
24.34/9.78	o 49
25.67/10.88	    num=0, depth=7601..7599, filters=66784, revisions=(180097,useless=118362), ccks=5164749, wck=2.501, mem=1055M353
25.67/10.88	    decisions=49, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=49
25.67/10.88	    nFilterCalls=69276, avgTableProportion=0.9739697131672282, avgTableSize=44.286433974247934
25.67/10.88	    
27.02/11.52	    num=1, depth=0..29, filters=114043, revisions=(308739,useless=204496), ccks=6680082, wck=3.145, mem=1055M353
27.02/11.52	    decisions=104, wrong=13, backtracks=2, failedAssignments=11, nogoods=9, foundSolutions=1, bestBound=49
27.02/11.52	    nFilterCalls=112598, avgTableProportion=0.9743816126201431, avgTableSize=44.38550418302279
27.02/11.52	    
27.74/12.11	o 48
28.92/13.15	    num=2, depth=7601..7599, filters=175324, revisions=(482133,useless=321367), ccks=8387979, wck=4.779, mem=1066M242
28.92/13.15	    decisions=166, wrong=13, backtracks=2, failedAssignments=11, nogoods=9, foundSolutions=2, bestBound=48
28.92/13.15	    nFilterCalls=174097, avgTableProportion=0.974387900130796, avgTableSize=44.40099484769985
28.92/13.15	    
29.58/13.76	    num=3, depth=0..43, filters=229332, revisions=(634108,useless=424150), ccks=9985632, wck=5.385, mem=1066M242
29.58/13.76	    decisions=236, wrong=27, backtracks=5, failedAssignments=23, nogoods=19, foundSolutions=2, bestBound=48
29.58/13.76	    nFilterCalls=223531, avgTableProportion=0.9746197579800913, avgTableSize=44.46070567393337
29.58/13.76	    
30.19/14.31	o 47
31.19/15.35	    num=4, depth=62..7599, filters=288452, revisions=(806525,useless=542177), ccks=11618221, wck=6.978, mem=1066M242
31.19/15.35	    decisions=311, wrong=31, backtracks=5, failedAssignments=27, nogoods=23, foundSolutions=3, bestBound=47
31.19/15.35	    nFilterCalls=282718, avgTableProportion=0.974552893759013, avgTableSize=44.450335670173104
31.19/15.35	    
31.49/15.62	    num=5, depth=1..5, filters=291005, revisions=(816710,useless=550759), ccks=11704505, wck=7.242, mem=1066M242
31.49/15.62	    decisions=346, wrong=48, backtracks=16, failedAssignments=39, nogoods=26, foundSolutions=3, bestBound=47
31.49/15.62	    nFilterCalls=286360, avgTableProportion=0.9741570255013834, avgTableSize=44.369356753736554
31.49/15.62	    
31.49/15.66	    num=6, depth=18..25, filters=299860, revisions=(827653,useless=556874), ccks=11794792, wck=7.284, mem=1066M242
31.49/15.66	    decisions=392, wrong=59, backtracks=16, failedAssignments=50, nogoods=37, foundSolutions=3, bestBound=47
31.49/15.66	    nFilterCalls=289349, avgTableProportion=0.9740431353869082, avgTableSize=44.349781751448944
31.49/15.66	    
31.94/16.04	    num=7, depth=20..71, filters=360249, revisions=(997394,useless=670822), ccks=13452859, wck=7.666, mem=1066M242
31.94/16.04	    decisions=493, wrong=75, backtracks=20, failedAssignments=62, nogoods=44, foundSolutions=3, bestBound=47
31.94/16.04	    nFilterCalls=341810, avgTableProportion=0.9742960031330703, avgTableSize=44.40083379655364
31.94/16.04	    
32.10/16.19	    num=8, depth=26..37, filters=372234, revisions=(1023821,useless=689413), ccks=14272546, wck=7.806, mem=1066M242
32.10/16.19	    decisions=560, wrong=93, backtracks=27, failedAssignments=75, nogoods=50, foundSolutions=3, bestBound=47
32.10/16.19	    nFilterCalls=347561, avgTableProportion=0.9740697194007608, avgTableSize=44.31620060938943
32.10/16.19	    
32.68/16.70	o 46
33.69/17.74	    num=9, depth=9..7599, filters=429638, revisions=(1182287,useless=794579), ccks=15823517, wck=9.37, mem=1066M242
33.69/17.74	    decisions=658, wrong=103, backtracks=31, failedAssignments=83, nogoods=56, foundSolutions=4, bestBound=46
33.69/17.74	    nFilterCalls=405518, avgTableProportion=0.9740520008043685, avgTableSize=44.31557908650171
33.69/17.74	    
34.00/18.09	    num=10, depth=0..35, filters=440800, revisions=(1212844,useless=817338), ccks=16298499, wck=9.714, mem=1066M242
34.00/18.09	    decisions=737, wrong=127, backtracks=43, failedAssignments=99, nogoods=64, foundSolutions=4, bestBound=46
34.00/18.09	    nFilterCalls=414034, avgTableProportion=0.9736375499012113, avgTableSize=44.22452262374588
34.00/18.09	    
34.23/18.21	    num=11, depth=9..20, filters=457562, revisions=(1254083,useless=845412), ccks=16997848, wck=9.839, mem=1066M242
34.23/18.21	    decisions=789, wrong=146, backtracks=53, failedAssignments=110, nogoods=66, foundSolutions=4, bestBound=46
34.23/18.21	    nFilterCalls=425091, avgTableProportion=0.9736252797003044, avgTableSize=44.24084019656968
34.23/18.21	    
34.33/18.32	    num=12, depth=9..29, filters=469781, revisions=(1281330,useless=863672), ccks=17535093, wck=9.943, mem=1066M242
34.33/18.32	    decisions=856, wrong=173, backtracks=68, failedAssignments=122, nogoods=68, foundSolutions=4, bestBound=46
34.33/18.32	    nFilterCalls=432461, avgTableProportion=0.9734873532375049, avgTableSize=44.20579659206264
34.33/18.32	    
34.33/18.40	    num=13, depth=14..24, filters=477977, revisions=(1300036,useless=876693), ccks=17909462, wck=10.021, mem=1066M242
34.33/18.40	    decisions=918, wrong=196, backtracks=81, failedAssignments=135, nogoods=72, foundSolutions=4, bestBound=46
34.33/18.40	    nFilterCalls=436576, avgTableProportion=0.9733855241363292, avgTableSize=44.17667485157224
34.33/18.40	    
34.43/18.48	    num=14, depth=15..18, filters=488212, revisions=(1321661,useless=890851), ccks=18313318, wck=10.105, mem=1066M242
34.43/18.48	    decisions=967, wrong=213, backtracks=88, failedAssignments=149, nogoods=84, foundSolutions=4, bestBound=46
34.43/18.48	    nFilterCalls=442081, avgTableProportion=0.9732012804711869, avgTableSize=44.11479118080171
34.43/18.48	    
34.55/18.59	    num=15, depth=7..16, filters=501846, revisions=(1350704,useless=910525), ccks=18838639, wck=10.215, mem=1066M242
34.55/18.59	    decisions=1024, wrong=236, backtracks=98, failedAssignments=165, nogoods=92, foundSolutions=4, bestBound=46
34.55/18.59	    nFilterCalls=449090, avgTableProportion=0.9730295638237241, avgTableSize=44.0559197488254
34.55/18.59	    
34.75/18.71	    num=16, depth=18..26, filters=516524, revisions=(1378306,useless=928119), ccks=19448618, wck=10.339, mem=1066M242
34.75/18.71	    decisions=1097, wrong=263, backtracks=115, failedAssignments=182, nogoods=98, foundSolutions=4, bestBound=46
34.75/18.71	    nFilterCalls=456612, avgTableProportion=0.972899124331684, avgTableSize=44.0106764605398
34.75/18.71	    
34.85/18.83	    num=17, depth=0..26, filters=529564, revisions=(1403619,useless=942700), ccks=19995747, wck=10.454, mem=1066M242
34.85/18.83	    decisions=1191, wrong=302, backtracks=143, failedAssignments=201, nogoods=105, foundSolutions=4, bestBound=46
34.85/18.83	    nFilterCalls=463603, avgTableProportion=0.9726964066895794, avgTableSize=43.93779807292015
34.85/18.83	    
35.17/19.11	    num=18, depth=15..31, filters=562369, revisions=(1471877,useless=987311), ccks=21573248, wck=10.733, mem=1066M242
35.17/19.11	    decisions=1288, wrong=339, backtracks=163, failedAssignments=222, nogoods=111, foundSolutions=4, bestBound=46
35.17/19.11	    nFilterCalls=483355, avgTableProportion=0.972602493877584, avgTableSize=43.857222952074565
35.17/19.11	    
35.26/19.27	    num=19, depth=8..32, filters=580859, revisions=(1519845,useless=1019689), ccks=22465195, wck=10.893, mem=1066M242
35.26/19.27	    decisions=1368, wrong=366, backtracks=167, failedAssignments=245, nogoods=126, foundSolutions=4, bestBound=46
35.26/19.27	    nFilterCalls=495217, avgTableProportion=0.9723868196490324, avgTableSize=43.77513292152733
35.26/19.27	    
35.47/19.45	    num=20, depth=8..25, filters=601071, revisions=(1564594,useless=1048885), ccks=23493776, wck=11.072, mem=1066M242
35.47/19.45	    decisions=1448, wrong=398, backtracks=176, failedAssignments=270, nogoods=140, foundSolutions=4, bestBound=46
35.47/19.45	    nFilterCalls=507245, avgTableProportion=0.9722281725123784, avgTableSize=43.715843428717875
35.47/19.45	    
35.67/19.63	    num=21, depth=9..37, filters=623221, revisions=(1633670,useless=1098327), ccks=24371845, wck=11.252, mem=1066M242
35.67/19.63	    decisions=1558, wrong=438, backtracks=191, failedAssignments=298, nogoods=158, foundSolutions=4, bestBound=46
35.67/19.63	    nFilterCalls=522711, avgTableProportion=0.9720538326094965, avgTableSize=43.6633474329027
35.67/19.63	    
35.97/19.92	    num=22, depth=10..47, filters=665684, revisions=(1733797,useless=1164446), ccks=25694488, wck=11.542, mem=1066M242
35.97/19.92	    decisions=1696, wrong=490, backtracks=217, failedAssignments=329, nogoods=178, foundSolutions=4, bestBound=46
35.97/19.92	    nFilterCalls=550575, avgTableProportion=0.9719966989488779, avgTableSize=43.61311356309313
35.97/19.92	    
36.08/20.08	    num=23, depth=11..22, filters=684481, revisions=(1782783,useless=1197350), ccks=26586314, wck=11.71, mem=1066M242
36.08/20.08	    decisions=1800, wrong=533, backtracks=229, failedAssignments=363, nogoods=202, foundSolutions=4, bestBound=46
36.08/20.08	    nFilterCalls=562667, avgTableProportion=0.9718856843448183, avgTableSize=43.554827277945925
36.08/20.08	    
36.48/20.46	    num=24, depth=6..45, filters=735926, revisions=(1917587,useless=1286755), ccks=28478694, wck=12.089, mem=1066M242
36.48/20.46	    decisions=1946, wrong=589, backtracks=251, failedAssignments=400, nogoods=221, foundSolutions=4, bestBound=46
36.48/20.46	    nFilterCalls=600953, avgTableProportion=0.9718942326268944, avgTableSize=43.51316825109451
36.48/20.46	    
36.78/20.76	    num=25, depth=8..31, filters=770663, revisions=(2019091,useless=1356487), ccks=30251583, wck=12.386, mem=1066M242
36.78/20.76	    decisions=2075, wrong=644, backtracks=270, failedAssignments=441, nogoods=225, foundSolutions=4, bestBound=46
36.78/20.76	    nFilterCalls=624611, avgTableProportion=0.9717847168947407, avgTableSize=43.46127429712253
36.78/20.76	    
37.19/21.15	    num=26, depth=8..41, filters=821186, revisions=(2155353,useless=1448529), ccks=32259536, wck=12.774, mem=1066M242
37.19/21.15	    decisions=2242, wrong=710, backtracks=295, failedAssignments=486, nogoods=249, foundSolutions=4, bestBound=46
37.19/21.15	    nFilterCalls=660834, avgTableProportion=0.9718257099141191, avgTableSize=43.441933980394474
37.19/21.15	    
37.28/21.27	    num=27, depth=0..36, filters=834965, revisions=(2179966,useless=1462220), ccks=32817357, wck=12.895, mem=1066M242
37.28/21.27	    decisions=2368, wrong=764, backtracks=312, failedAssignments=536, nogoods=282, foundSolutions=4, bestBound=46
37.28/21.27	    nFilterCalls=667440, avgTableProportion=0.9716801141283493, avgTableSize=43.41203404051301
37.28/21.27	    
37.89/21.80	    num=28, depth=16..38, filters=906823, revisions=(2369515,useless=1587142), ccks=35503565, wck=13.423, mem=1066M242
37.89/21.80	    decisions=2577, wrong=860, backtracks=375, failedAssignments=591, nogoods=285, foundSolutions=4, bestBound=46
37.89/21.80	    nFilterCalls=721073, avgTableProportion=0.9715252154022657, avgTableSize=43.281028411825154
37.89/21.80	    
38.20/22.15	    num=29, depth=10..22, filters=956432, revisions=(2491828,useless=1666821), ccks=37298035, wck=13.772, mem=1066M242
38.20/22.15	    decisions=2737, wrong=931, backtracks=390, failedAssignments=652, nogoods=303, foundSolutions=4, bestBound=46
38.20/22.15	    nFilterCalls=753716, avgTableProportion=0.9712550267365804, avgTableSize=43.138410223479404
38.20/22.15	    
38.79/22.73	    num=30, depth=12..47, filters=1036552, revisions=(2714808,useless=1822486), ccks=40363685, wck=14.352, mem=1066M242
38.79/22.73	    decisions=2972, wrong=1034, backtracks=437, failedAssignments=719, nogoods=311, foundSolutions=4, bestBound=46
38.79/22.73	    nFilterCalls=809096, avgTableProportion=0.971296255236598, avgTableSize=43.13299781484521
38.79/22.73	    
39.20/23.13	    num=31, depth=12..52, filters=1099737, revisions=(2859148,useless=1910430), ccks=42331633, wck=14.759, mem=1066M242
39.20/23.13	    decisions=3217, wrong=1137, backtracks=479, failedAssignments=793, nogoods=326, foundSolutions=4, bestBound=46
39.20/23.13	    nFilterCalls=854501, avgTableProportion=0.9709149815111838, avgTableSize=43.076418869024145
39.20/23.13	    
39.70/23.63	    num=32, depth=10..42, filters=1172006, revisions=(3040308,useless=2023605), ccks=45129004, wck=15.258, mem=1066M242
39.70/23.63	    decisions=3454, wrong=1246, backtracks=513, failedAssignments=874, nogoods=342, foundSolutions=4, bestBound=46
39.70/23.63	    nFilterCalls=909093, avgTableProportion=0.9709493732113947, avgTableSize=43.115886933460054
39.70/23.63	    
40.11/24.01	    num=33, depth=11..63, filters=1230619, revisions=(3175204,useless=2106226), ccks=46914672, wck=15.638, mem=1066M242
40.11/24.01	    decisions=3718, wrong=1354, backtracks=540, failedAssignments=963, nogoods=366, foundSolutions=4, bestBound=46
40.11/24.01	    nFilterCalls=950566, avgTableProportion=0.9709043898582538, avgTableSize=43.10885198923589
40.11/24.01	    
40.41/24.35	    num=34, depth=12..52, filters=1290268, revisions=(3307416,useless=2183310), ccks=48536727, wck=15.978, mem=1066M242
40.41/24.35	    decisions=3988, wrong=1467, backtracks=568, failedAssignments=1061, nogoods=387, foundSolutions=4, bestBound=46
40.41/24.35	    nFilterCalls=994568, avgTableProportion=0.9710625533519185, avgTableSize=43.1702136002767
40.41/24.35	    
40.81/24.71	    num=35, depth=13..57, filters=1360639, revisions=(3469509,useless=2279171), ccks=50174423, wck=16.34, mem=1066M242
40.81/24.71	    decisions=4281, wrong=1588, backtracks=584, failedAssignments=1169, nogoods=406, foundSolutions=4, bestBound=46
40.81/24.71	    nFilterCalls=1051518, avgTableProportion=0.9712824867935806, avgTableSize=43.245654377766236
40.81/24.71	    
41.23/25.12	    num=36, depth=2..58, filters=1448096, revisions=(3664806,useless=2393302), ccks=51899943, wck=16.748, mem=1066M242
41.23/25.12	    decisions=4604, wrong=1725, backtracks=604, failedAssignments=1288, nogoods=420, foundSolutions=4, bestBound=46
41.23/25.12	    nFilterCalls=1121304, avgTableProportion=0.9715113744072581, avgTableSize=43.31599726746716
41.23/25.12	    
41.63/25.50	    num=37, depth=2..56, filters=1522077, revisions=(3830908,useless=2490326), ccks=53600226, wck=17.124, mem=1066M242
41.63/25.50	    decisions=4938, wrong=1873, backtracks=621, failedAssignments=1419, nogoods=430, foundSolutions=4, bestBound=46
41.63/25.50	    nFilterCalls=1179099, avgTableProportion=0.9716964657185154, avgTableSize=43.372894896866164
41.63/25.50	    
42.03/25.90	    num=38, depth=3..60, filters=1610049, revisions=(4018685,useless=2600243), ccks=55301789, wck=17.523, mem=1066M242
42.03/25.90	    decisions=5298, wrong=2032, backtracks=636, failedAssignments=1563, nogoods=437, foundSolutions=4, bestBound=46
42.03/25.90	    nFilterCalls=1244867, avgTableProportion=0.971728181374235, avgTableSize=43.42085218742243
42.03/25.90	    
42.63/26.58	o 45
43.74/27.63	    num=39, depth=4..7599, filters=1697156, revisions=(4227091,useless=2728779), ccks=57747166, wck=19.25, mem=1077M187
43.74/27.63	    decisions=5511, wrong=2110, backtracks=657, failedAssignments=1621, nogoods=448, foundSolutions=5, bestBound=45
43.74/27.63	    nFilterCalls=1322253, avgTableProportion=0.9716914012150113, avgTableSize=43.432760598765896
43.74/27.63	    
44.44/28.31	    num=40, depth=4..36, filters=1759641, revisions=(4353744,useless=2804155), ccks=59895410, wck=19.936, mem=1077M187
44.44/28.31	    decisions=5912, wrong=2305, backtracks=694, failedAssignments=1795, nogoods=454, foundSolutions=5, bestBound=45
44.44/28.31	    nFilterCalls=1361112, avgTableProportion=0.9714728375117367, avgTableSize=43.375765550520455
44.44/28.31	    
44.44/28.38	    num=41, depth=1..9, filters=1769235, revisions=(4367112,useless=2811559), ccks=60201020, wck=20.002, mem=1077M187
44.44/28.38	    decisions=5944, wrong=2318, backtracks=696, failedAssignments=1806, nogoods=462, foundSolutions=5, bestBound=45
44.44/28.38	    nFilterCalls=1366203, avgTableProportion=0.9714865174499506, avgTableSize=43.380099443494125
44.44/28.38	    
44.54/28.48	    num=42, depth=1..18, filters=1784381, revisions=(4387367,useless=2822362), ccks=60678882, wck=20.104, mem=1077M187
44.54/28.48	    decisions=5985, wrong=2334, backtracks=701, failedAssignments=1818, nogoods=471, foundSolutions=5, bestBound=45
44.54/28.48	    nFilterCalls=1374365, avgTableProportion=0.9715180333865573, avgTableSize=43.392936374252834
44.54/28.48	    
44.64/28.60	    num=43, depth=1..18, filters=1802972, revisions=(4409100,useless=2833279), ccks=61215100, wck=20.221, mem=1077M187
44.64/28.60	    decisions=6024, wrong=2350, backtracks=704, failedAssignments=1831, nogoods=483, foundSolutions=5, bestBound=45
44.64/28.60	    nFilterCalls=1383754, avgTableProportion=0.9715539788444497, avgTableSize=43.40721688970727
44.64/28.60	    
44.74/28.69	    num=44, depth=4..14, filters=1816130, revisions=(4429983,useless=2844482), ccks=61672566, wck=20.314, mem=1077M187
44.74/28.69	    decisions=6068, wrong=2367, backtracks=707, failedAssignments=1845, nogoods=496, foundSolutions=5, bestBound=45
44.74/28.69	    nFilterCalls=1391981, avgTableProportion=0.9715643448506305, avgTableSize=43.41256525771544
44.74/28.69	    
44.84/28.77	    num=45, depth=1..10, filters=1827623, revisions=(4446664,useless=2853434), ccks=62051936, wck=20.393, mem=1077M187
44.84/28.77	    decisions=6114, wrong=2387, backtracks=711, failedAssignments=1861, nogoods=508, foundSolutions=5, bestBound=45
44.84/28.77	    nFilterCalls=1398403, avgTableProportion=0.9715835586971767, avgTableSize=43.41958290993369
44.84/28.77	    
44.94/28.85	    num=46, depth=6..10, filters=1835213, revisions=(4460381,useless=2861751), ccks=62502077, wck=20.47, mem=1077M187
44.94/28.85	    decisions=6158, wrong=2405, backtracks=712, failedAssignments=1878, nogoods=525, foundSolutions=5, bestBound=45
44.94/28.85	    nFilterCalls=1402498, avgTableProportion=0.9715888947169119, avgTableSize=43.42116780202182
44.94/28.85	    
45.04/28.96	    num=47, depth=4..15, filters=1849063, revisions=(4484320,useless=2875899), ccks=63065201, wck=20.582, mem=1077M187
45.04/28.96	    decisions=6214, wrong=2428, backtracks=716, failedAssignments=1897, nogoods=537, foundSolutions=5, bestBound=45
45.04/28.96	    nFilterCalls=1410649, avgTableProportion=0.9716023880256723, avgTableSize=43.42789099201857
45.04/28.96	    
45.25/29.12	    num=48, depth=4..27, filters=1869940, revisions=(4524908,useless=2900612), ccks=63900327, wck=20.746, mem=1077M187
45.25/29.12	    decisions=6290, wrong=2463, backtracks=736, failedAssignments=1918, nogoods=539, foundSolutions=5, bestBound=45
45.25/29.12	    nFilterCalls=1423254, avgTableProportion=0.9715780152293559, avgTableSize=43.42821450001195
45.25/29.12	    
45.34/29.25	    num=49, depth=0..20, filters=1886424, revisions=(4554010,useless=2916936), ccks=64565086, wck=20.874, mem=1077M187
45.34/29.25	    decisions=6354, wrong=2488, backtracks=740, failedAssignments=1941, nogoods=550, foundSolutions=5, bestBound=45
45.34/29.25	    nFilterCalls=1434160, avgTableProportion=0.9715882627620569, avgTableSize=43.43594020193005
45.34/29.25	    
45.54/29.41	    num=50, depth=1..39, filters=1909919, revisions=(4586785,useless=2935399), ccks=65237599, wck=21.03, mem=1077M187
45.54/29.41	    decisions=6431, wrong=2520, backtracks=754, failedAssignments=1966, nogoods=564, foundSolutions=5, bestBound=45
45.54/29.41	    nFilterCalls=1445616, avgTableProportion=0.9715525159678422, avgTableSize=43.436195365850956
45.54/29.41	    
45.54/29.49	    num=51, depth=1..12, filters=1921467, revisions=(4606077,useless=2947093), ccks=65600492, wck=21.115, mem=1077M187
45.54/29.49	    decisions=6497, wrong=2552, backtracks=762, failedAssignments=1994, nogoods=573, foundSolutions=5, bestBound=45
45.54/29.49	    nFilterCalls=1450994, avgTableProportion=0.9715455028512685, avgTableSize=43.43419131988141
45.54/29.49	    
45.74/29.66	    num=52, depth=12..33, filters=1943095, revisions=(4646698,useless=2972115), ccks=66427164, wck=21.284, mem=1077M187
45.74/29.66	    decisions=6584, wrong=2586, backtracks=770, failedAssignments=2025, nogoods=597, foundSolutions=5, bestBound=45
45.74/29.66	    nFilterCalls=1462480, avgTableProportion=0.9715126061577536, avgTableSize=43.42735490399869
45.74/29.66	    
45.94/29.88	    num=53, depth=6..19, filters=1972938, revisions=(4696405,useless=3000040), ccks=67551500, wck=21.506, mem=1077M187
45.94/29.88	    decisions=6685, wrong=2632, backtracks=787, failedAssignments=2059, nogoods=606, foundSolutions=5, bestBound=45
45.94/29.88	    nFilterCalls=1480745, avgTableProportion=0.9714960963316454, avgTableSize=43.43213179852034
45.94/29.88	    
46.26/30.11	    num=54, depth=0..33, filters=2002268, revisions=(4758090,useless=3038139), ccks=68703847, wck=21.737, mem=1077M187
46.26/30.11	    decisions=6794, wrong=2675, backtracks=796, failedAssignments=2096, nogoods=625, foundSolutions=5, bestBound=45
46.26/30.11	    nFilterCalls=1500063, avgTableProportion=0.9715142874551854, avgTableSize=43.44291606419197
46.26/30.11	    
46.35/30.30	    num=55, depth=1..30, filters=2023512, revisions=(4808305,useless=3071869), ccks=69654832, wck=21.92, mem=1077M187
46.35/30.30	    decisions=6909, wrong=2726, backtracks=813, failedAssignments=2137, nogoods=653, foundSolutions=5, bestBound=45
46.35/30.30	    nFilterCalls=1512423, avgTableProportion=0.9714991685946324, avgTableSize=43.44028357146116
46.35/30.30	    
46.64/30.52	    num=56, depth=8..13, filters=2051326, revisions=(4877214,useless=3118674), ccks=70797493, wck=22.14, mem=1077M187
46.64/30.52	    decisions=7024, wrong=2779, backtracks=823, failedAssignments=2182, nogoods=656, foundSolutions=5, bestBound=45
46.64/30.52	    nFilterCalls=1529970, avgTableProportion=0.9714440086658517, avgTableSize=43.43216010771453
46.64/30.52	    
46.85/30.76	    num=57, depth=11..23, filters=2101596, revisions=(4947817,useless=3156495), ccks=71737231, wck=22.389, mem=1077M187
46.85/30.76	    decisions=7153, wrong=2838, backtracks=835, failedAssignments=2232, nogoods=676, foundSolutions=5, bestBound=45
46.85/30.76	    nFilterCalls=1555570, avgTableProportion=0.9714088452992528, avgTableSize=43.42157472823467
46.85/30.76	    
47.05/30.95	    num=58, depth=1..25, filters=2125315, revisions=(5005027,useless=3195664), ccks=72632818, wck=22.575, mem=1077M187
47.05/30.95	    decisions=7296, wrong=2906, backtracks=853, failedAssignments=2287, nogoods=694, foundSolutions=5, bestBound=45
47.05/30.95	    nFilterCalls=1568525, avgTableProportion=0.9713541785340222, avgTableSize=43.41165744887713
47.05/30.95	    
47.35/31.21	    num=59, depth=1..31, filters=2155092, revisions=(5093337,useless=3260627), ccks=74068497, wck=22.84, mem=1077M187
47.35/31.21	    decisions=7460, wrong=2982, backtracks=879, failedAssignments=2348, nogoods=717, foundSolutions=5, bestBound=45
47.35/31.21	    nFilterCalls=1584988, avgTableProportion=0.9712740097897288, avgTableSize=43.39348625983288
47.35/31.21	    
47.66/31.55	    num=60, depth=8..21, filters=2198057, revisions=(5207335,useless=3340848), ccks=75712506, wck=23.175, mem=1077M187
47.66/31.55	    decisions=7635, wrong=3062, backtracks=902, failedAssignments=2415, nogoods=731, foundSolutions=5, bestBound=45
47.66/31.55	    nFilterCalls=1611950, avgTableProportion=0.9712274309149616, avgTableSize=43.38448152858339
47.66/31.55	    
47.97/31.86	    num=61, depth=1..22, filters=2231455, revisions=(5315510,useless=3421785), ccks=77541000, wck=23.486, mem=1077M187
47.97/31.86	    decisions=7821, wrong=3150, backtracks=921, failedAssignments=2489, nogoods=747, foundSolutions=5, bestBound=45
47.97/31.86	    nFilterCalls=1629410, avgTableProportion=0.9710438998728441, avgTableSize=43.34362253821936
47.97/31.86	    
48.37/32.25	    num=62, depth=9..17, filters=2283443, revisions=(5429558,useless=3494928), ccks=79650991, wck=23.875, mem=1077M187
48.37/32.25	    decisions=8020, wrong=3244, backtracks=943, failedAssignments=2570, nogoods=803, foundSolutions=5, bestBound=45
48.37/32.25	    nFilterCalls=1658061, avgTableProportion=0.971000657589942, avgTableSize=43.32503689550626
48.37/32.25	    
48.88/32.73	    num=63, depth=9..18, filters=2350068, revisions=(5595856,useless=3609445), ccks=82068450, wck=24.359, mem=1077M187
48.88/32.73	    decisions=8244, wrong=3351, backtracks=969, failedAssignments=2659, nogoods=825, foundSolutions=5, bestBound=45
48.88/32.73	    nFilterCalls=1698517, avgTableProportion=0.9709569454677016, avgTableSize=43.3078673925548
48.88/32.73	    
49.19/33.08	    num=64, depth=1..34, filters=2389319, revisions=(5706675,useless=3688409), ccks=83994299, wck=24.704, mem=1077M187
49.19/33.08	    decisions=8490, wrong=3470, backtracks=1008, failedAssignments=2757, nogoods=853, foundSolutions=5, bestBound=45
49.19/33.08	    nFilterCalls=1718796, avgTableProportion=0.9707802103637317, avgTableSize=43.26205727730341
49.19/33.08	    
49.61/33.49	    num=65, depth=7..13, filters=2437963, revisions=(5833542,useless=3775450), ccks=86383242, wck=25.116, mem=1077M187
49.61/33.49	    decisions=8759, wrong=3600, backtracks=1035, failedAssignments=2865, nogoods=874, foundSolutions=5, bestBound=45
49.61/33.49	    nFilterCalls=1744923, avgTableProportion=0.9707190720605176, avgTableSize=43.21202482860275
49.61/33.49	    
50.01/33.84	    num=66, depth=10..21, filters=2485706, revisions=(5940361,useless=3845291), ccks=88091243, wck=25.464, mem=1077M187
50.01/33.84	    decisions=9038, wrong=3734, backtracks=1058, failedAssignments=2984, nogoods=917, foundSolutions=5, bestBound=45
50.01/33.84	    nFilterCalls=1771574, avgTableProportion=0.9706888975237521, avgTableSize=43.19570111098944
50.01/33.84	    
50.51/34.30	    num=67, depth=1..25, filters=2549771, revisions=(6070302,useless=3922985), ccks=90472941, wck=25.924, mem=1077M187
50.51/34.30	    decisions=9378, wrong=3898, backtracks=1105, failedAssignments=3115, nogoods=955, foundSolutions=5, bestBound=45
50.51/34.30	    nFilterCalls=1806243, avgTableProportion=0.9705476023522832, avgTableSize=43.16961615906608
50.51/34.30	    
50.86/34.68	    num=68, depth=6..27, filters=2600185, revisions=(6162556,useless=3976032), ccks=92352329, wck=26.305, mem=1077M187
50.86/34.68	    decisions=9717, wrong=4064, backtracks=1142, failedAssignments=3259, nogoods=961, foundSolutions=5, bestBound=45
50.86/34.68	    nFilterCalls=1835207, avgTableProportion=0.9705125927719022, avgTableSize=43.1642125384221
50.86/34.68	    
51.46/35.25	    num=69, depth=0..27, filters=2691198, revisions=(6310471,useless=4063083), ccks=94903969, wck=26.875, mem=1077M187
51.46/35.25	    decisions=10120, wrong=4263, backtracks=1208, failedAssignments=3417, nogoods=965, foundSolutions=5, bestBound=45
51.46/35.25	    nFilterCalls=1880288, avgTableProportion=0.9704306797083919, avgTableSize=43.13607117633043
51.46/35.25	    
51.86/35.67	    num=70, depth=0..11, filters=2749287, revisions=(6415891,useless=4120064), ccks=96986737, wck=27.299, mem=1077M187
51.86/35.67	    decisions=10506, wrong=4454, backtracks=1241, failedAssignments=3591, nogoods=966, foundSolutions=5, bestBound=45
51.86/35.67	    nFilterCalls=1913022, avgTableProportion=0.9704081334664796, avgTableSize=43.11923281593207
51.86/35.67	    
52.46/36.20	    num=71, depth=2..15, filters=2827807, revisions=(6559685,useless=4202576), ccks=99527755, wck=27.829, mem=1077M187
52.46/36.20	    decisions=10960, wrong=4677, backtracks=1284, failedAssignments=3782, nogoods=988, foundSolutions=5, bestBound=45
52.46/36.20	    nFilterCalls=1955657, avgTableProportion=0.9702889587210916, avgTableSize=43.07109170984482
52.46/36.20	    
52.99/36.77	    num=72, depth=0..19, filters=2911321, revisions=(6697490,useless=4276861), ccks=102188361, wck=28.397, mem=1077M187
52.99/36.77	    decisions=11446, wrong=4917, backtracks=1328, failedAssignments=3993, nogoods=1015, foundSolutions=5, bestBound=45
52.99/36.77	    nFilterCalls=1998781, avgTableProportion=0.970199200045455, avgTableSize=43.0452680909014
52.99/36.77	    
53.60/37.37	    num=73, depth=0..18, filters=2994136, revisions=(6835900,useless=4351219), ccks=104979958, wck=28.992, mem=1077M187
53.60/37.37	    decisions=11986, wrong=5186, backtracks=1408, failedAssignments=4225, nogoods=1031, foundSolutions=5, bestBound=45
53.60/37.37	    nFilterCalls=2041949, avgTableProportion=0.970133335128515, avgTableSize=43.020306089917035
53.60/37.37	    
55.70/39.49	    num=74, depth=2..14, filters=3522514, revisions=(7340508,useless=4615079), ccks=112264985, wck=31.115, mem=1077M187
55.70/39.49	    decisions=12535, wrong=5459, backtracks=1446, failedAssignments=4480, nogoods=1049, foundSolutions=5, bestBound=45
55.70/39.49	    nFilterCalls=2254986, avgTableProportion=0.9703821542925836, avgTableSize=43.05712762739991
55.70/39.49	    
56.61/40.32	    num=75, depth=2..15, filters=3630719, revisions=(7544593,useless=4732448), ccks=116454074, wck=31.944, mem=1077M187
56.61/40.32	    decisions=13199, wrong=5790, backtracks=1520, failedAssignments=4761, nogoods=1085, foundSolutions=5, bestBound=45
56.61/40.32	    nFilterCalls=2312545, avgTableProportion=0.9702443196001037, avgTableSize=43.013201040412184
56.61/40.32	    
57.21/40.94	    num=76, depth=2..17, filters=3725472, revisions=(7708689,useless=4822172), ccks=119466547, wck=32.568, mem=1077M187
57.21/40.94	    decisions=13854, wrong=6115, backtracks=1551, failedAssignments=5070, nogoods=1156, foundSolutions=5, bestBound=45
57.21/40.94	    nFilterCalls=2359735, avgTableProportion=0.9699926256491511, avgTableSize=42.93375018805078
57.21/40.94	    
58.31/41.91	    num=77, depth=0..19, filters=3858879, revisions=(7931535,useless=4946738), ccks=123996065, wck=33.53, mem=1077M187
58.31/41.91	    decisions=14658, wrong=6514, backtracks=1659, failedAssignments=5410, nogoods=1172, foundSolutions=5, bestBound=45
58.31/41.91	    nFilterCalls=2427207, avgTableProportion=0.9698922190946241, avgTableSize=42.88194126005734
58.31/41.91	    
59.21/42.83	    num=78, depth=2..17, filters=3986119, revisions=(8175771,useless=5085810), ccks=128559169, wck=34.457, mem=1077M187
59.21/42.83	    decisions=15481, wrong=6924, backtracks=1729, failedAssignments=5784, nogoods=1217, foundSolutions=5, bestBound=45
59.21/42.83	    nFilterCalls=2494725, avgTableProportion=0.9696755105255601, avgTableSize=42.796150677930434
59.21/42.83	    
60.42/44.11	    num=79, depth=0..29, filters=4170259, revisions=(8491525,useless=5258549), ccks=134887465, wck=35.733, mem=1077M187
60.42/44.11	    decisions=16422, wrong=7392, backtracks=1842, failedAssignments=6195, nogoods=1256, foundSolutions=5, bestBound=45
60.42/44.11	    nFilterCalls=2589572, avgTableProportion=0.9693677489366543, avgTableSize=42.66646650488961
60.42/44.11	    
61.73/45.33	    num=80, depth=0..32, filters=4324286, revisions=(8809688,useless=5446463), ccks=140964239, wck=36.951, mem=1077M187
61.73/45.33	    decisions=17480, wrong=7919, backtracks=1978, failedAssignments=6647, nogoods=1288, foundSolutions=5, bestBound=45
61.73/45.33	    nFilterCalls=2671113, avgTableProportion=0.9691695581337338, avgTableSize=42.57318316372239
61.73/45.33	    
62.93/46.53	    num=81, depth=0..17, filters=4491317, revisions=(9094617,useless=5602809), ccks=146990908, wck=38.152, mem=1077M187
62.93/46.53	    decisions=18547, wrong=8452, backtracks=2049, failedAssignments=7144, nogoods=1316, foundSolutions=5, bestBound=45
62.93/46.53	    nFilterCalls=2754548, avgTableProportion=0.9689544111781638, avgTableSize=42.49026627962192
62.93/46.53	    
64.23/47.82	    num=82, depth=0..26, filters=4677674, revisions=(9400716,useless=5770295), ccks=153116748, wck=39.442, mem=1077M187
64.23/47.82	    decisions=19783, wrong=9069, backtracks=2194, failedAssignments=7691, nogoods=1327, foundSolutions=5, bestBound=45
64.23/47.82	    nFilterCalls=2844689, avgTableProportion=0.9687733696614629, avgTableSize=42.41111102127508
64.23/47.82	    
65.63/49.25	    num=83, depth=0..22, filters=4857652, revisions=(9779340,useless=5995826), ccks=160333409, wck=40.872, mem=1077M187
65.63/49.25	    decisions=21128, wrong=9738, backtracks=2321, failedAssignments=8293, nogoods=1358, foundSolutions=5, bestBound=45
65.63/49.25	    nFilterCalls=2943696, avgTableProportion=0.9685783155776556, avgTableSize=42.325233991553475
65.63/49.25	    
67.33/50.99	    num=84, depth=0..25, filters=5113284, revisions=(10211542,useless=6234652), ccks=168953971, wck=42.62, mem=1077M187
67.33/50.99	    decisions=22580, wrong=10463, backtracks=2436, failedAssignments=8955, nogoods=1393, foundSolutions=5, bestBound=45
67.33/50.99	    nFilterCalls=3070641, avgTableProportion=0.9683128195686148, avgTableSize=42.21910832298533
67.33/50.99	    
68.95/52.57	    num=85, depth=0..14, filters=5338027, revisions=(10607995,useless=6445188), ccks=176703372, wck=44.193, mem=1077M187
68.95/52.57	    decisions=24131, wrong=11238, backtracks=2503, failedAssignments=9683, nogoods=1414, foundSolutions=5, bestBound=45
68.95/52.57	    nFilterCalls=3184454, avgTableProportion=0.9678640373240444, avgTableSize=42.06029762087943
68.95/52.57	    
70.95/54.53	    num=86, depth=0..32, filters=5600304, revisions=(11103655,useless=6724944), ccks=186577663, wck=46.155, mem=1077M187
70.95/54.53	    decisions=25912, wrong=12125, backtracks=2667, failedAssignments=10484, nogoods=1440, foundSolutions=5, bestBound=45
70.95/54.53	    nFilterCalls=3319910, avgTableProportion=0.9676457644900753, avgTableSize=41.970116057363
70.95/54.53	    
73.25/56.85	    num=87, depth=0..23, filters=5911319, revisions=(11712575,useless=7075508), ccks=198213056, wck=48.471, mem=1077M187
73.25/56.85	    decisions=27881, wrong=13109, backtracks=2846, failedAssignments=11365, nogoods=1441, foundSolutions=5, bestBound=45
73.25/56.85	    nFilterCalls=3479580, avgTableProportion=0.9673429681518063, avgTableSize=41.84918036084815
73.25/56.85	    
76.16/59.74	    num=88, depth=0..15, filters=6293679, revisions=(12486421,useless=7533752), ccks=213157258, wck=51.364, mem=1077M187
76.16/59.74	    decisions=30132, wrong=14233, backtracks=3067, failedAssignments=12335, nogoods=1477, foundSolutions=5, bestBound=45
76.16/59.74	    nFilterCalls=3683034, avgTableProportion=0.9671568656458182, avgTableSize=41.73492479298318
76.16/59.74	    
78.86/62.42	
78.86/62.42	  New Bounds: 45..44
78.86/62.42	    num=89, depth=0..19, filters=6627657, revisions=(13138911,useless=7917033), ccks=226940606, wck=54.048, mem=1077M187
78.86/62.42	    decisions=32504, wrong=15420, backtracks=3301, failedAssignments=13370, foundSolutions=5, bestBound=45
78.86/62.42	    nFilterCalls=3858911, avgTableProportion=0.9670624058341925, avgTableSize=41.69488775460227
78.86/62.42	    
78.86/62.42	  Global
78.86/62.42	    filters=6627657, revisions=(13138911,useless=7917033), ccks=226940606
78.86/62.42	    Stop=FULL_EXPLORATION, wrong=15420, bestBound=45, bestBoundWck=24.502, bestBoundCpu=23.978, foundSolutions=5, firstSolCpu=7.166
78.86/62.42	    wck=60.346, cpu=59.824, mem=1077M187
78.86/62.43	
78.86/62.43	v <instantiation id='sol5' type='solution' cost='45'>  <list> p[] np[][] r[][] o[][] so[] </list>  <values> 31 19 14 4 8 0 38 47 15 13 18 22 46 40 16 2 26 20 11 25 23 5 29 49 36 27 1 39 10 9 32 30 45 34 12 3 42 24 43 35 48 33 17 6 41 21 37 28 7 44 1 2 3 4 5 5 6 7 8 9 10 10 11 12 13 14 15 16 17 17 18 19 20 21 22 23 24 25 26 27 28 29 30 30 31 32 33 34 35 36 37 38 38 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 7 8 9 10 11 12 13 14 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 39 40 41 42 42 42 43 44 45 46 1 2 3 4 5 6 7 8 9 10 11 12 13 14 14 14 15 16 17 18 19 20 21 22 23 24 25 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 1 2 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 43 44 45 45 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 24 25 26 27 28 29 30 31 32 33 34 35 36 36 37 38 39 40 41 42 43 44 44 45 46 1 1 2 3 4 5 6 7 7 8 9 10 11 12 12 13 14 15 16 16 17 18 19 20 21 22 23 24 24 25 26 27 28 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 1 2 3 4 5 6 7 7 8 9 9 10 11 11 12 13 14 15 16 17 18 19 20 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 42 43 44 1 2 3 4 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 36 36 36 37 37 38 39 40 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 12 13 14 15 16 17 18 19 20 21 22 22 23 24 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 43 44 45 0 1 2 3 3 4 5 6 7 8 9 10 11 12 13 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 18 19 20 21 22 23 23 24 25 26 27 27 27 28 29 30 31 32 33 33 34 35 36 37 38 39 39 40 41 42 42 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 1 2 3 4 5 6 7 8 9 9 10 11 12 12 13 14 15 16 17 18 18 19 20 21 22 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 20 21 22 23 24 25 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 43 44 45 46 0 0 0 0 0 1 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 16 17 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 1 2 2 3 4 5 5 6 7 8 9 10 11 12 13 13 14 15 16 17 18 19 19 20 21 22 22 23 24 25 26 27 28 29 30 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 1 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 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 1 1 2 3 4 4 4 4 5 6 7 8 8 9 10 11 11 12 13 14 15 16 17 18 19 19 20 21 22 23 24 25 25 26 27 28 29 30 30 31 31 32 32 33 34 35 36 37 38 39 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 20 21 22 23 23 24 25 26 26 27 28 29 29 30 30 31 32 33 34 35 36 37 38 39 40 41 42 42 43 44 1 2 3 4 5 6 7 8 8 9 10 11 12 12 13 14 14 15 16 17 18 19 20 21 22 23 23 24 25 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 41 42 43 44 44 0 1 2 3 4 5 6 7 8 9 9 10 11 12 13 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 45 0 1 1 1 2 3 3 4 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 24 25 26 27 28 29 30 31 32 33 33 33 34 35 36 37 38 39 40 41 1 1 2 2 3 4 4 5 6 7 8 9 10 11 12 12 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 41 42 43 44 1 2 3 4 5 6 7 8 9 10 11 12 13 13 13 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 36 37 38 39 40 41 42 43 44 44 45 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 28 29 30 31 32 32 33 34 35 36 37 38 39 40 40 41 42 43 44 45 46 1 2 3 4 4 5 5 6 7 8 9 10 11 12 13 14 15 16 17 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 39 40 41 42 43 44 45 46 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 20 20 21 22 23 24 25 25 25 26 27 28 29 30 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 38 39 40 41 41 42 43 44 44 45 1 2 3 4 5 6 7 8 8 9 10 10 11 12 12 13 14 14 15 15 16 17 17 18 19 20 21 22 23 24 25 25 26 26 27 28 29 30 31 32 33 34 34 35 36 37 38 39 40 40 1 2 3 4 5 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 18 19 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 33 33 34 34 35 36 37 38 39 40 41 42 43 0 1 2 3 3 4 4 5 6 7 8 9 9 10 11 11 12 13 14 15 16 17 18 19 20 21 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 4 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 18 18 18 18 18 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 34 35 36 37 38 38 39 40 41 42 43 44 45 46 47 48 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 40 41 42 43 44 45 46 46 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 44 45 46 47 1 1 2 2 3 4 5 6 7 7 8 9 10 11 12 13 14 15 16 17 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 37 38 39 40 41 42 43 43 1 1 2 3 4 5 6 7 8 9 10 11 12 12 13 14 15 15 15 16 17 18 18 19 20 21 22 23 24 25 26 27 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 0 1 1 2 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 30 31 32 33 34 35 36 36 37 38 38 39 40 41 42 43 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 4 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 30 31 32 33 34 35 36 37 37 38 39 40 41 42 43 43 44 44 45 1 2 3 4 5 6 7 8 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 25 25 26 27 28 29 30 31 32 33 34 35 35 36 37 38 39 40 41 42 43 44 45 46 1 2 3 4 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 0 1 2 3 4 5 6 7 8 9 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 25 26 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 40 41 42 43 44 44 1 2 3 3 4 5 6 6 7 7 8 9 10 11 12 13 14 15 16 17 17 18 19 20 21 21 22 23 24 25 26 27 28 29 30 31 32 32 33 34 35 36 37 37 38 39 40 41 42 43 1 2 3 4 5 6 7 8 8 9 9 10 11 11 12 13 14 15 16 17 18 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 40 41 42 43 44 45 1 2 3 4 4 5 6 7 8 9 10 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 46 47 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 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 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 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 0 0 0 0 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 1 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 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 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 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 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 38 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 45 39 </values>  </instantiation>
78.86/62.43	s OPTIMUM FOUND
78.86/62.43	
78.86/62.43	d WRONG_DECISIONS 15420
78.86/62.43	d NUMBER_SOLUTIONS 5

Verifier Data 

OK	45

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391180-1568389570/watcher-4391180-1568389570 -o /tmp/evaluation-result-4391180-1568389570/solver-4391180-1568389570 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568388659-19204 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391180-1568389570.xml -cm 

running on 4 cores: 4-7

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


[startup+0.101026 s]*
/proc/loadavg: 1.91 1.82 1.74 5/228 19657
/proc/meminfo: memFree=29508276/32770688 swapFree=66961080/67108860
[pid=19642] ppid=19639 vsize=10659884 memory=27436 CPUtime=0.13 cores=4-7
/proc/19642/stat : 19642 (java) S 19639 19642 17242 0 -1 1077944320 5306 0 0 0 12 1 0 0 20 0 15 0 414898658 10915721216 6859 33554432000 4194304 4196468 140733745264080 140733745246624 140166848667383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
/proc/19642/statm: 2664971 6859 2855 1 0 2627468 0
[pid=19642/tid=19644] ppid=19639 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=4-7
/proc/19642/task/19644/stat : 19644 (java) R 19639 19642 17242 0 -1 4202560 3188 0 0 0 9 0 0 0 20 0 15 0 414898658 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166852897216 140166840904510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19645] ppid=19639 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=4-7
/proc/19642/task/19645/stat : 19645 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166801288080 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19646] ppid=19639 vsize=10659884 memory=140614616565376 CPUtime=0 cores=4-7
/proc/19642/task/19646/stat : 19646 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166800235280 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19647] ppid=19639 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19647/stat : 19647 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166799182992 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19648] ppid=19639 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19642/task/19648/stat : 19648 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166798130192 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19649] ppid=19639 vsize=10659884 memory=140614616565376 CPUtime=0 cores=4-7
/proc/19642/task/19649/stat : 19649 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898660 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166407862384 140166848678530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19650] ppid=19639 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19642/task/19650/stat : 19650 (java) S 19639 19642 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414898661 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166406808352 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19651] ppid=19639 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19651/stat : 19651 (java) S 19639 19642 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414898661 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166405756016 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19652] ppid=19639 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19652/stat : 19652 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166404704336 140166848685979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19653] ppid=19639 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19653/stat : 19653 (java) S 19639 19642 17242 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166403652208 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19654] ppid=19639 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19642/task/19654/stat : 19654 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166402599408 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19655] ppid=19639 vsize=10659884 memory=140614616565376 CPUtime=0.02 cores=4-7
/proc/19642/task/19655/stat : 19655 (java) R 19639 19642 17242 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 414898664 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166401547120 140166827298977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19656] ppid=19639 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19642/task/19656/stat : 19656 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166400494560 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19657] ppid=19639 vsize=10659884 memory=140614616565376 CPUtime=0 cores=4-7
/proc/19642/task/19657/stat : 19657 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 6859 33554432000 4194304 4196468 140733745264080 140166399441328 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27436 KiB

[startup+0.21602 s]*
/proc/loadavg: 1.91 1.82 1.74 4/228 19657
/proc/meminfo: memFree=29500292/32770688 swapFree=66961080/67108860
[pid=19642] ppid=19639 vsize=10659884 memory=35000 CPUtime=0.34 cores=4-7
/proc/19642/stat : 19642 (java) S 19639 19642 17242 0 -1 1077944320 6907 0 0 0 33 1 0 0 20 0 15 0 414898658 10915721216 8750 33554432000 4194304 4196468 140733745264080 140733745246624 140166848667383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
/proc/19642/statm: 2664971 8750 2988 1 0 2627468 0
[pid=19642/tid=19644] ppid=19639 vsize=10659884 memory=7022364594140610616 CPUtime=0.21 cores=4-7
/proc/19642/task/19644/stat : 19644 (java) R 19639 19642 17242 0 -1 4202560 3865 0 0 0 20 1 0 0 20 0 15 0 414898658 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166852898992 140166848689309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19645] ppid=19639 vsize=10659884 memory=365 CPUtime=0 cores=4-7
/proc/19642/task/19645/stat : 19645 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166801288080 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19646] ppid=19639 vsize=10659884 memory=140614616584493 CPUtime=0 cores=4-7
/proc/19642/task/19646/stat : 19646 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166800235280 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19647] ppid=19639 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19647/stat : 19647 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166799182992 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19648] ppid=19639 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19642/task/19648/stat : 19648 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166798130192 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19649] ppid=19639 vsize=10659884 memory=140614616565376 CPUtime=0 cores=4-7
/proc/19642/task/19649/stat : 19649 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898660 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166407862384 140166848678530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19650] ppid=19639 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19642/task/19650/stat : 19650 (java) S 19639 19642 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414898661 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166406808352 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19651] ppid=19639 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19651/stat : 19651 (java) S 19639 19642 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414898661 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166405756016 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19652] ppid=19639 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19652/stat : 19652 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166404704336 140166848685979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19653] ppid=19639 vsize=10659884 memory=0 CPUtime=0.03 cores=4-7
/proc/19642/task/19653/stat : 19653 (java) S 19639 19642 17242 0 -1 1077944384 520 0 0 0 3 0 0 0 20 0 15 0 414898664 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166403652208 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19654] ppid=19639 vsize=10659884 memory=-1 CPUtime=0.03 cores=4-7
/proc/19642/task/19654/stat : 19654 (java) S 19639 19642 17242 0 -1 1077944384 427 0 0 0 3 0 0 0 20 0 15 0 414898664 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166402599408 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19655] ppid=19639 vsize=10659884 memory=140614616565376 CPUtime=0.06 cores=4-7
/proc/19642/task/19655/stat : 19655 (java) S 19639 19642 17242 0 -1 1077944384 735 0 0 0 6 0 0 0 20 0 15 0 414898664 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166401547120 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19656] ppid=19639 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19642/task/19656/stat : 19656 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166400494560 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19657] ppid=19639 vsize=10659884 memory=140614616565376 CPUtime=0 cores=4-7
/proc/19642/task/19657/stat : 19657 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 8750 33554432000 4194304 4196468 140733745264080 140166399441328 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35000 KiB

[startup+0.311314 s]*
/proc/loadavg: 1.91 1.82 1.74 5/228 19657
/proc/meminfo: memFree=29497996/32770688 swapFree=66961080/67108860
[pid=19642] ppid=19639 vsize=10659884 memory=37296 CPUtime=0.48 cores=4-7
/proc/19642/stat : 19642 (java) S 19639 19642 17242 0 -1 1077944320 7034 0 0 0 46 2 0 0 20 0 15 0 414898658 10915721216 9324 33554432000 4194304 4196468 140733745264080 140733745246624 140166848667383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
/proc/19642/statm: 2664971 9324 3000 1 0 2627468 0
[pid=19642/tid=19644] ppid=19639 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=4-7
/proc/19642/task/19644/stat : 19644 (java) R 19639 19642 17242 0 -1 4202560 3945 0 0 0 29 1 0 0 20 0 15 0 414898658 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166852890304 140166848689309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19645] ppid=19639 vsize=10659884 memory=9092 CPUtime=0 cores=4-7
/proc/19642/task/19645/stat : 19645 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166801288080 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19646] ppid=19639 vsize=10659884 memory=140614616584486 CPUtime=0 cores=4-7
/proc/19642/task/19646/stat : 19646 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166800235280 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19647] ppid=19639 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19647/stat : 19647 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166799182992 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19648] ppid=19639 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19642/task/19648/stat : 19648 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166798130192 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19649] ppid=19639 vsize=10659884 memory=140614616565376 CPUtime=0 cores=4-7
/proc/19642/task/19649/stat : 19649 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898660 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166407862384 140166848678530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19650] ppid=19639 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19642/task/19650/stat : 19650 (java) S 19639 19642 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414898661 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166406808352 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19651] ppid=19639 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19651/stat : 19651 (java) S 19639 19642 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414898661 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166405756016 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19652] ppid=19639 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19652/stat : 19652 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166404704336 140166848685979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19653] ppid=19639 vsize=10659884 memory=0 CPUtime=0.03 cores=4-7
/proc/19642/task/19653/stat : 19653 (java) S 19639 19642 17242 0 -1 1077944384 535 0 0 0 3 0 0 0 20 0 15 0 414898664 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166403652208 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19654] ppid=19639 vsize=10659884 memory=-1 CPUtime=0.04 cores=4-7
/proc/19642/task/19654/stat : 19654 (java) S 19639 19642 17242 0 -1 1077944384 455 0 0 0 4 0 0 0 20 0 15 0 414898664 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166402599408 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19655] ppid=19639 vsize=10659884 memory=140614616565376 CPUtime=0.07 cores=4-7
/proc/19642/task/19655/stat : 19655 (java) S 19639 19642 17242 0 -1 1077944384 749 0 0 0 7 0 0 0 20 0 15 0 414898664 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166401547120 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19656] ppid=19639 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/19642/task/19656/stat : 19656 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166400494560 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19657] ppid=19639 vsize=10659884 memory=140614616565376 CPUtime=0 cores=4-7
/proc/19642/task/19657/stat : 19657 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 9324 33554432000 4194304 4196468 140733745264080 140166399441328 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37296 KiB

[startup+0.70079 s]
/proc/loadavg: 1.91 1.82 1.74 3/228 19657
/proc/meminfo: memFree=29486708/32770688 swapFree=66961080/67108860
[pid=19642] ppid=19639 vsize=10659884 memory=58508 CPUtime=1.11 cores=4-7
/proc/19642/stat : 19642 (java) S 19639 19642 17242 0 -1 1077944320 12879 0 0 0 107 4 0 0 20 0 15 0 414898658 10915721216 14627 33554432000 4194304 4196468 140733745264080 140733745246624 140166848667383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
/proc/19642/statm: 2664971 14627 3056 1 0 2627468 0
[pid=19642/tid=19644] ppid=19639 vsize=10659884 memory=14068 CPUtime=0.68 cores=4-7
/proc/19642/task/19644/stat : 19644 (java) R 19639 19642 17242 0 -1 4202560 8634 0 0 0 65 3 0 0 20 0 15 0 414898658 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166852890240 140166832747870 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19645] ppid=19639 vsize=10659884 memory=2120 CPUtime=0 cores=4-7
/proc/19642/task/19645/stat : 19645 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166801288080 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19646] ppid=19639 vsize=10659884 memory=496 CPUtime=0 cores=4-7
/proc/19642/task/19646/stat : 19646 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166800235280 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19647] ppid=19639 vsize=10659884 memory=1556 CPUtime=0 cores=4-7
/proc/19642/task/19647/stat : 19647 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166799182992 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19648] ppid=19639 vsize=10659884 memory=928 CPUtime=0 cores=4-7
/proc/19642/task/19648/stat : 19648 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898659 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166798130192 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19649] ppid=19639 vsize=10659884 memory=1628 CPUtime=0 cores=4-7
/proc/19642/task/19649/stat : 19649 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898660 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166407862384 140166848678530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19650] ppid=19639 vsize=10659884 memory=796 CPUtime=0 cores=4-7
/proc/19642/task/19650/stat : 19650 (java) S 19639 19642 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414898661 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166406808352 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19651] ppid=19639 vsize=10659884 memory=1444 CPUtime=0 cores=4-7
/proc/19642/task/19651/stat : 19651 (java) S 19639 19642 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414898661 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166405756016 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19652] ppid=19639 vsize=10659884 memory=1984 CPUtime=0 cores=4-7
/proc/19642/task/19652/stat : 19652 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166404704336 140166848685979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19653] ppid=19639 vsize=10659884 memory=7086240636229996643 CPUtime=0.11 cores=4-7
/proc/19642/task/19653/stat : 19653 (java) S 19639 19642 17242 0 -1 1077944384 912 0 0 0 11 0 0 0 20 0 15 0 414898664 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166403652208 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19654] ppid=19639 vsize=10659884 memory=7453282923444726100 CPUtime=0.1 cores=4-7
/proc/19642/task/19654/stat : 19654 (java) S 19639 19642 17242 0 -1 1077944384 750 0 0 0 10 0 0 0 20 0 15 0 414898664 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166402599408 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19655] ppid=19639 vsize=10659884 memory=7223879631928058176 CPUtime=0.19 cores=4-7
/proc/19642/task/19655/stat : 19655 (java) S 19639 19642 17242 0 -1 1077944384 1223 0 0 0 19 0 0 0 20 0 15 0 414898664 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166401547120 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19656] ppid=19639 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19656/stat : 19656 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166400494560 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19657] ppid=19639 vsize=10659884 memory=7236547285815093345 CPUtime=0 cores=4-7
/proc/19642/task/19657/stat : 19657 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898664 10915721216 14627 33554432000 4194304 4196468 140733745264080 140166399441328 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 58508 KiB

[startup+1.50079 s]
/proc/loadavg: 1.91 1.82 1.74 3/228 19657
/proc/meminfo: memFree=29468592/32770688 swapFree=66961080/67108860
[pid=19642] ppid=19639 vsize=10663980 memory=72376 CPUtime=1.98 cores=4-7
/proc/19642/stat : 19642 (java) S 19639 19642 17242 0 -1 1077944320 17421 0 0 0 193 5 0 0 20 0 15 0 414898658 10919915520 18094 33554432000 4194304 4196468 140733745264080 140733745246624 140166848667383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
/proc/19642/statm: 2665995 18094 3086 1 0 2628492 0
[pid=19642/tid=19644] ppid=19639 vsize=10663980 memory=6360846566568 CPUtime=1.48 cores=4-7
/proc/19642/task/19644/stat : 19644 (java) R 19639 19642 17242 0 -1 4202560 12614 0 0 0 144 4 0 0 20 0 15 0 414898658 10919915520 18094 33554432000 4194304 4196468 140733745264080 140166852884320 140166848689309 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19645] ppid=19639 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=4-7
/proc/19642/task/19645/stat : 19645 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898659 10919915520 18094 33554432000 4194304 4196468 140733745264080 140166801288080 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19646] ppid=19639 vsize=10663980 memory=14698491322567293 CPUtime=0 cores=4-7
/proc/19642/task/19646/stat : 19646 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898659 10919915520 18094 33554432000 4194304 4196468 140733745264080 140166800235280 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19647] ppid=19639 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19647/stat : 19647 (java) S 19639 19642 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414898659 10919915520 18094 33554432000 4194304 4196468 140733745264080 140166799182992 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19648] ppid=19639 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19648/stat : 19648 (java) S 19639 19642 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414898659 10919915520 18094 33554432000 4194304 4196468 140733745264080 140166798130192 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19649] ppid=19639 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/19642/task/19649/stat : 19649 (java) S 19639 19642 17242 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414898660 10919915520 18094 33554432000 4194304 4196468 140733745264080 140166407862384 140166848678530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0

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

[startup+60.8008 s]
/proc/loadavg: 2.17 1.94 1.79 4/230 19662
/proc/meminfo: memFree=27622748/32770688 swapFree=66961080/67108860
[pid=19642] ppid=19639 vsize=10748324 memory=1903832 CPUtime=77.26 cores=4-7
/proc/19642/stat : 19642 (java) S 19639 19642 17242 0 -1 1077944320 66709 0 0 0 7540 186 0 0 20 0 16 0 414898658 11006283776 475958 33554432000 4194304 4196468 140733745264080 140733745246624 140166848667383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
/proc/19642/statm: 2687081 475958 3389 1 0 2647217 0
[pid=19642/tid=19644] ppid=19639 vsize=10748324 memory=5924 CPUtime=2.09 cores=4-7
/proc/19642/task/19644/stat : 19644 (java) S 19639 19642 17242 0 -1 1077944384 15558 0 0 0 203 6 0 0 20 0 16 0 414898658 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166852910256 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19645] ppid=19639 vsize=10748324 memory=6791534058613427641 CPUtime=2.39 cores=4-7
/proc/19642/task/19645/stat : 19645 (java) S 19639 19642 17242 0 -1 1077944384 926 0 0 0 200 39 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166801288080 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19646] ppid=19639 vsize=10748324 memory=4639924115538006630 CPUtime=2.38 cores=4-7
/proc/19642/task/19646/stat : 19646 (java) S 19639 19642 17242 0 -1 1077944384 1387 0 0 0 197 41 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166800235280 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19647] ppid=19639 vsize=10748324 memory=7228952860318393920 CPUtime=2.44 cores=4-7
/proc/19642/task/19647/stat : 19647 (java) S 19639 19642 17242 0 -1 1077944384 1314 0 0 0 204 40 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166799182992 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19648] ppid=19639 vsize=10748324 memory=7523107478184158290 CPUtime=2.4 cores=4-7
/proc/19642/task/19648/stat : 19648 (java) S 19639 19642 17242 0 -1 1077944384 1314 0 0 0 198 42 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166798130192 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19649] ppid=19639 vsize=10748324 memory=780 CPUtime=0.13 cores=4-7
/proc/19642/task/19649/stat : 19649 (java) S 19639 19642 17242 0 -1 1077944384 2936 0 0 0 13 0 0 0 20 0 16 0 414898660 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166407862384 140166848678530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19650] ppid=19639 vsize=10748324 memory=3988 CPUtime=0 cores=4-7
/proc/19642/task/19650/stat : 19650 (java) S 19639 19642 17242 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414898661 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166406808416 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19651] ppid=19639 vsize=10748324 memory=1088 CPUtime=0 cores=4-7
/proc/19642/task/19651/stat : 19651 (java) S 19639 19642 17242 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414898661 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166405756032 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19652] ppid=19639 vsize=10748324 memory=2832 CPUtime=0 cores=4-7
/proc/19642/task/19652/stat : 19652 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166404704336 140166848685979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19653] ppid=19639 vsize=10748324 memory=1564 CPUtime=3.96 cores=4-7
/proc/19642/task/19653/stat : 19653 (java) S 19639 19642 17242 0 -1 1077944384 12197 0 0 0 394 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166403652208 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19654] ppid=19639 vsize=10748324 memory=6791534058613427641 CPUtime=3.9 cores=4-7
/proc/19642/task/19654/stat : 19654 (java) S 19639 19642 17242 0 -1 1077944384 8657 0 0 0 389 1 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166402599408 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19655] ppid=19639 vsize=10748324 memory=5924 CPUtime=1.33 cores=4-7
/proc/19642/task/19655/stat : 19655 (java) S 19639 19642 17242 0 -1 1077944384 10535 0 0 0 131 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166401547120 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19656] ppid=19639 vsize=10748324 memory=780 CPUtime=0 cores=4-7
/proc/19642/task/19656/stat : 19656 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166400494560 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19657] ppid=19639 vsize=10748324 memory=3988 CPUtime=0.03 cores=4-7
/proc/19642/task/19657/stat : 19657 (java) S 19639 19642 17242 0 -1 1077944384 696 0 0 0 1 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166399441328 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19658] ppid=19639 vsize=10748324 memory=1088 CPUtime=56.08 cores=4-7
/proc/19642/task/19658/stat : 19658 (java) R 19639 19642 17242 0 -1 4202560 9792 0 0 0 5601 7 0 0 20 0 16 0 414898869 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166315256912 140166486835595 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
Current children cumulated CPU time: 77.26 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1903832 KiB

[startup+61.6008 s]
/proc/loadavg: 2.17 1.94 1.79 3/229 19662
/proc/meminfo: memFree=27623120/32770688 swapFree=66961080/67108860
[pid=19642] ppid=19639 vsize=10748324 memory=1903832 CPUtime=78.06 cores=4-7
/proc/19642/stat : 19642 (java) S 19639 19642 17242 0 -1 1077944320 66711 0 0 0 7620 186 0 0 20 0 16 0 414898658 11006283776 475958 33554432000 4194304 4196468 140733745264080 140733745246624 140166848667383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
/proc/19642/statm: 2687081 475958 3389 1 0 2647217 0
[pid=19642/tid=19644] ppid=19639 vsize=10748324 memory=1088 CPUtime=2.09 cores=4-7
/proc/19642/task/19644/stat : 19644 (java) S 19639 19642 17242 0 -1 1077944384 15558 0 0 0 203 6 0 0 20 0 16 0 414898658 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166852910256 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19645] ppid=19639 vsize=10748324 memory=2832 CPUtime=2.39 cores=4-7
/proc/19642/task/19645/stat : 19645 (java) S 19639 19642 17242 0 -1 1077944384 926 0 0 0 200 39 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166801288080 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19646] ppid=19639 vsize=10748324 memory=1564 CPUtime=2.38 cores=4-7
/proc/19642/task/19646/stat : 19646 (java) S 19639 19642 17242 0 -1 1077944384 1387 0 0 0 197 41 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166800235280 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19647] ppid=19639 vsize=10748324 memory=8560 CPUtime=2.44 cores=4-7
/proc/19642/task/19647/stat : 19647 (java) S 19639 19642 17242 0 -1 1077944384 1314 0 0 0 204 40 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166799182992 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19648] ppid=19639 vsize=10748324 memory=14008 CPUtime=2.4 cores=4-7
/proc/19642/task/19648/stat : 19648 (java) S 19639 19642 17242 0 -1 1077944384 1314 0 0 0 198 42 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166798130192 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19649] ppid=19639 vsize=10748324 memory=1056 CPUtime=0.13 cores=4-7
/proc/19642/task/19649/stat : 19649 (java) S 19639 19642 17242 0 -1 1077944384 2936 0 0 0 13 0 0 0 20 0 16 0 414898660 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166407862384 140166848678530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19650] ppid=19639 vsize=10748324 memory=764 CPUtime=0 cores=4-7
/proc/19642/task/19650/stat : 19650 (java) S 19639 19642 17242 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414898661 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166406808416 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19651] ppid=19639 vsize=10748324 memory=1708 CPUtime=0 cores=4-7
/proc/19642/task/19651/stat : 19651 (java) S 19639 19642 17242 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414898661 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166405756032 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19652] ppid=19639 vsize=10748324 memory=1224 CPUtime=0 cores=4-7
/proc/19642/task/19652/stat : 19652 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166404704336 140166848685979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19653] ppid=19639 vsize=10748324 memory=5924 CPUtime=3.96 cores=4-7
/proc/19642/task/19653/stat : 19653 (java) S 19639 19642 17242 0 -1 1077944384 12197 0 0 0 394 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166403652208 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19654] ppid=19639 vsize=10748324 memory=780 CPUtime=3.9 cores=4-7
/proc/19642/task/19654/stat : 19654 (java) S 19639 19642 17242 0 -1 1077944384 8657 0 0 0 389 1 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166402599408 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19655] ppid=19639 vsize=10748324 memory=4872558044660077418 CPUtime=1.33 cores=4-7
/proc/19642/task/19655/stat : 19655 (java) S 19639 19642 17242 0 -1 1077944384 10535 0 0 0 131 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166401547120 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19656] ppid=19639 vsize=10748324 memory=76344587193066 CPUtime=0 cores=4-7
/proc/19642/task/19656/stat : 19656 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166400494560 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19657] ppid=19639 vsize=10748324 memory=79411193841409 CPUtime=0.03 cores=4-7
/proc/19642/task/19657/stat : 19657 (java) S 19639 19642 17242 0 -1 1077944384 698 0 0 0 1 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166399441328 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19658] ppid=19639 vsize=10748324 memory=84651053943530 CPUtime=56.88 cores=4-7
/proc/19642/task/19658/stat : 19658 (java) R 19639 19642 17242 0 -1 4202560 9792 0 0 0 5681 7 0 0 20 0 16 0 414898869 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166315264472 140166478672309 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
Current children cumulated CPU time: 78.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1903832 KiB

[startup+62.0008 s]*
/proc/loadavg: 2.17 1.94 1.79 3/229 19662
/proc/meminfo: memFree=27623120/32770688 swapFree=66961080/67108860
[pid=19642] ppid=19639 vsize=10748324 memory=1903832 CPUtime=78.47 cores=4-7
/proc/19642/stat : 19642 (java) S 19639 19642 17242 0 -1 1077944320 66711 0 0 0 7661 186 0 0 20 0 16 0 414898658 11006283776 475958 33554432000 4194304 4196468 140733745264080 140733745246624 140166848667383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
/proc/19642/statm: 2687081 475958 3389 1 0 2647217 0
[pid=19642/tid=19644] ppid=19639 vsize=10748324 memory=1398722017469774279 CPUtime=2.09 cores=4-7
/proc/19642/task/19644/stat : 19644 (java) S 19639 19642 17242 0 -1 1077944384 15558 0 0 0 203 6 0 0 20 0 16 0 414898658 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166852910256 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19645] ppid=19639 vsize=10748324 memory=4872558044660077418 CPUtime=2.39 cores=4-7
/proc/19642/task/19645/stat : 19645 (java) S 19639 19642 17242 0 -1 1077944384 926 0 0 0 200 39 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166801288080 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19646] ppid=19639 vsize=10748324 memory=4420 CPUtime=2.38 cores=4-7
/proc/19642/task/19646/stat : 19646 (java) S 19639 19642 17242 0 -1 1077944384 1387 0 0 0 197 41 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166800235280 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19647] ppid=19639 vsize=10748324 memory=6628 CPUtime=2.44 cores=4-7
/proc/19642/task/19647/stat : 19647 (java) S 19639 19642 17242 0 -1 1077944384 1314 0 0 0 204 40 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166799182992 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19648] ppid=19639 vsize=10748324 memory=8836 CPUtime=2.4 cores=4-7
/proc/19642/task/19648/stat : 19648 (java) S 19639 19642 17242 0 -1 1077944384 1314 0 0 0 198 42 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166798130192 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19649] ppid=19639 vsize=10748324 memory=288230574492221466 CPUtime=0.13 cores=4-7
/proc/19642/task/19649/stat : 19649 (java) S 19639 19642 17242 0 -1 1077944384 2936 0 0 0 13 0 0 0 20 0 16 0 414898660 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166407862384 140166848678530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19650] ppid=19639 vsize=10748324 memory=288230596050944315 CPUtime=0 cores=4-7
/proc/19642/task/19650/stat : 19650 (java) S 19639 19642 17242 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414898661 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166406808416 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19651] ppid=19639 vsize=10748324 memory=14698491322567293 CPUtime=0 cores=4-7
/proc/19642/task/19651/stat : 19651 (java) S 19639 19642 17242 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414898661 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166405756032 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19652] ppid=19639 vsize=10748324 memory=1984 CPUtime=0 cores=4-7
/proc/19642/task/19652/stat : 19652 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166404704336 140166848685979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19653] ppid=19639 vsize=10748324 memory=2424 CPUtime=3.96 cores=4-7
/proc/19642/task/19653/stat : 19653 (java) S 19639 19642 17242 0 -1 1077944384 12197 0 0 0 394 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166403652208 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19654] ppid=19639 vsize=10748324 memory=1760 CPUtime=3.9 cores=4-7
/proc/19642/task/19654/stat : 19654 (java) S 19639 19642 17242 0 -1 1077944384 8657 0 0 0 389 1 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166402599408 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19655] ppid=19639 vsize=10748324 memory=111636 CPUtime=1.33 cores=4-7
/proc/19642/task/19655/stat : 19655 (java) S 19639 19642 17242 0 -1 1077944384 10535 0 0 0 131 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166401547120 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19656] ppid=19639 vsize=10748324 memory=800 CPUtime=0 cores=4-7
/proc/19642/task/19656/stat : 19656 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166400494560 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19657] ppid=19639 vsize=10748324 memory=1808 CPUtime=0.03 cores=4-7
/proc/19642/task/19657/stat : 19657 (java) S 19639 19642 17242 0 -1 1077944384 698 0 0 0 1 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166399441328 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19658] ppid=19639 vsize=10748324 memory=920 CPUtime=57.29 cores=4-7
/proc/19642/task/19658/stat : 19658 (java) R 19639 19642 17242 0 -1 4202560 9792 0 0 0 5722 7 0 0 20 0 16 0 414898869 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166315264472 140166484171412 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
Current children cumulated CPU time: 78.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1903832 KiB

[startup+62.4008 s]
/proc/loadavg: 2.17 1.94 1.79 3/229 19662
/proc/meminfo: memFree=27623120/32770688 swapFree=66961080/67108860
[pid=19642] ppid=19639 vsize=10748324 memory=1903832 CPUtime=78.86 cores=4-7
/proc/19642/stat : 19642 (java) S 19639 19642 17242 0 -1 1077944320 66711 0 0 0 7700 186 0 0 20 0 16 0 414898658 11006283776 475958 33554432000 4194304 4196468 140733745264080 140733745246624 140166848667383 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
/proc/19642/statm: 2687081 475958 3389 1 0 2647217 0
[pid=19642/tid=19644] ppid=19639 vsize=10748324 memory=-7408400038543722857 CPUtime=2.09 cores=4-7
/proc/19642/task/19644/stat : 19644 (java) S 19639 19642 17242 0 -1 1077944384 15558 0 0 0 203 6 0 0 20 0 16 0 414898658 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166852910256 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19645] ppid=19639 vsize=10748324 memory=6791534058613427641 CPUtime=2.39 cores=4-7
/proc/19642/task/19645/stat : 19645 (java) S 19639 19642 17242 0 -1 1077944384 926 0 0 0 200 39 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166801288080 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19646] ppid=19639 vsize=10748324 memory=1408 CPUtime=2.38 cores=4-7
/proc/19642/task/19646/stat : 19646 (java) S 19639 19642 17242 0 -1 1077944384 1387 0 0 0 197 41 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166800235280 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19647] ppid=19639 vsize=10748324 memory=3272 CPUtime=2.44 cores=4-7
/proc/19642/task/19647/stat : 19647 (java) S 19639 19642 17242 0 -1 1077944384 1314 0 0 0 204 40 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166799182992 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19648] ppid=19639 vsize=10748324 memory=273280 CPUtime=2.4 cores=4-7
/proc/19642/task/19648/stat : 19648 (java) S 19639 19642 17242 0 -1 1077944384 1314 0 0 0 198 42 0 0 20 0 16 0 414898659 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166798130192 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19649] ppid=19639 vsize=10748324 memory=1380 CPUtime=0.13 cores=4-7
/proc/19642/task/19649/stat : 19649 (java) S 19639 19642 17242 0 -1 1077944384 2936 0 0 0 13 0 0 0 20 0 16 0 414898660 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166407862384 140166848678530 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19650] ppid=19639 vsize=10748324 memory=1056 CPUtime=0 cores=4-7
/proc/19642/task/19650/stat : 19650 (java) S 19639 19642 17242 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414898661 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166406808416 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19651] ppid=19639 vsize=10748324 memory=764 CPUtime=0 cores=4-7
/proc/19642/task/19651/stat : 19651 (java) S 19639 19642 17242 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414898661 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166405756032 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19652] ppid=19639 vsize=10748324 memory=1708 CPUtime=0 cores=4-7
/proc/19642/task/19652/stat : 19652 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166404704336 140166848685979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19653] ppid=19639 vsize=10748324 memory=85608831650538 CPUtime=3.96 cores=4-7
/proc/19642/task/19653/stat : 19653 (java) S 19639 19642 17242 0 -1 1077944384 12197 0 0 0 394 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166403652208 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19654] ppid=19639 vsize=10748324 memory=86519364717290 CPUtime=3.9 cores=4-7
/proc/19642/task/19654/stat : 19654 (java) S 19639 19642 17242 0 -1 1077944384 8657 0 0 0 389 1 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166402599408 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19655] ppid=19639 vsize=10748324 memory=86523659684330 CPUtime=1.33 cores=4-7
/proc/19642/task/19655/stat : 19655 (java) S 19639 19642 17242 0 -1 1077944384 10535 0 0 0 131 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166401547120 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19656] ppid=19639 vsize=10748324 memory=86536544586218 CPUtime=0 cores=4-7
/proc/19642/task/19656/stat : 19656 (java) S 19639 19642 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166400494560 140166848677589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19657] ppid=19639 vsize=10748324 memory=1903832 CPUtime=0.03 cores=4-7
/proc/19642/task/19657/stat : 19657 (java) S 19639 19642 17242 0 -1 1077944384 698 0 0 0 1 2 0 0 20 0 16 0 414898664 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166399441328 140166848678530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
[pid=19642/tid=19658] ppid=19639 vsize=10748324 memory=1224 CPUtime=57.68 cores=4-7
/proc/19642/task/19658/stat : 19658 (java) R 19639 19642 17242 0 -1 4202560 9792 0 0 0 5761 7 0 0 20 0 16 0 414898869 11006283776 475958 33554432000 4194304 4196468 140733745264080 140166315264472 140166484342471 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28078080 140733745267723 140733745267826 140733745267826 140733745270735 0
Current children cumulated CPU time: 78.86 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1903832 KiB

Child status: 0
Real time (s): 62.4464
CPU time (s): 78.921
CPU user time (s): 77.0408
CPU system time (s): 1.88026
CPU usage (%): 126.382
Max. virtual memory (cumulated for all children) (KiB): 10748500
Max. memory (cumulated for all children) (KiB): 1903832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.0408
system time used= 1.88026
maximum resident set size= 1904516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68245
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5365
involuntary context switches= 169


# summary of solver processes directly reported to runsolver:
#   pid: 19642
#   total CPU time (s): 78.921
#   total CPU user time (s): 77.0408
#   total CPU system time (s): 1.88026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.437685 second user time and 0.732007 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-13 17:45:29
IDJOB=4391180
IDBENCH=126777
IDSOLVER=2833
FILE ID=node116/4391180-1568389570
RUNJOBID= node116-1568388659-19204
PBS_JOBID= 21701846
Free space on /tmp= 56876 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-gp-050-1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391180-1568389570/watcher-4391180-1568389570 -o /tmp/evaluation-result-4391180-1568389570/solver-4391180-1568389570 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568388659-19204 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391180-1568389570.xml -cm

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

MD5SUM BENCH= fc4e4ea7042e58a9368f3717c71f0857
RANDOM SEED=702386917

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        29524688 kB
MemAvailable:   31592412 kB
Buffers:          125140 kB
Cached:          2218972 kB
SwapCached:        46632 kB
Active:          1110976 kB
Inactive:        1542356 kB
Active(anon):     261568 kB
Inactive(anon):    87996 kB
Active(file):     849408 kB
Inactive(file):  1454360 kB
Unevictable:      109188 kB
Mlocked:          109188 kB
SwapTotal:      67108860 kB
SwapFree:       66961080 kB
Dirty:              8996 kB
Writeback:             0 kB
AnonPages:        325048 kB
Mapped:            56448 kB
Shmem:             31984 kB
Slab:             188284 kB
SReclaimable:     159584 kB
SUnreclaim:        28700 kB
KernelStack:        4032 kB
PageTables:         6240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1248944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 56868 MiB
End job on node116 at 2019-09-13 17:46:31