Trace number 4390861

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 70.2618 55.0948

DiagnosticValue
WRONG_DECISIONS15420

General information on the benchmark

NameOpenStacks/
OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml
MD5SUM00ff107c10292685d5feb35a59a49636
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.2618
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.43/1.88	
2.43/1.88	AbsCon 2 
2.43/1.89	
4.31/2.46	  Instance
4.31/2.46	    name=instance-4390861-1568386464, framework=COP, bounds=-infty..+infty
4.31/2.46	
4.31/2.46	  Loading variables...
4.67/2.59	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eef0bff
8.90/3.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32796203
8.90/3.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e39935
8.90/3.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7114e29e
8.90/3.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43ed990f
8.90/3.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a1745c9
8.90/3.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66fa6c52
8.90/3.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b2f137
8.90/3.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@792f41bc
8.90/3.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3079492a
8.90/3.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ee31bbe
8.90/3.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a8fc4a8
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d43909
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e1cae3f
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eadd6f3
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5dbfd8
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cd36e24
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@694d351
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f51d4a
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ced7859
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34409146
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66d89dae
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e58f56
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23908e96
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40862f4b
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c4e3c09
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d434dc3
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34173f9d
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2922ba55
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a584578
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edccdf3
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62f31488
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3994f2a6
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eb50a70
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ede483
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b88f03d
8.90/3.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2bb2f7
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e74a4c6
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71f2e4b4
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@556802fa
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@763106ab
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23514443
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@490569a7
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9f012be
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c61deb
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3c6ab8
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2c051f
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3a013
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74961f57
8.90/3.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7465bb76
9.23/3.90	
9.23/3.90	
9.23/3.90	  Domains
9.23/3.90	    nTypes=17, nValues=118550, sizes=[2#5100,5#50,6#50,19#50...48#100,49#200,50#100,51#50]
9.23/3.90	  Variables
9.23/3.90	    count=7600, degrees=[2#2600,3#4950,51#50]
9.23/3.90	  Objectives
9.23/3.90	    way=min, type=ObjMaximumLE
9.23/3.90	  Constraints
9.23/3.90	    count=7552, nSpecific=2602, arities=[2#2550,3#4950,50#2,51#50]
9.23/3.90	    distribution=[AllDifferent#1,CtrExtensionCT-Table#2500,CtrExtensionV-Bits#2500,CtrIntension#2450,EQ#50,ObjMaximumLE#1,SumWeightedEQ#50]
9.23/3.90	    tables=[3#100,9#50,11#50,37#50...93#500,95#100,97#200,99#50], nTotalTuples=204500
9.23/3.90	    nExtStructures=(2516,shared:2484), nIntStructures=(16,shared:2434), nCftStructures=(2516,shared:2434,unbuilt:2602)
9.23/3.90	    wck=2.051, cpu=3.783, mem=82M632
18.28/7.25	  Solver SolverBacktrack being built...
18.28/7.25	
19.67/7.61	
19.67/7.61	  Solver
19.67/7.61	    guaranteedGAC=false
19.67/7.61	    wck=5.757, cpu=5.184, mem=1053M332
20.64/8.13	
20.64/8.13	  Preprocessing
20.64/8.13	    filters=1970, revisions=(3940,useless=2018), ccks=2800058, nACremovedValues=43637, nTotalRemovedValues=43637, inconcistency=false
20.64/8.13	    wck=0.522, cpu=5.712, mem=1053M332
20.64/8.13	
22.31/8.88	o 49
23.51/9.87	    num=0, depth=7601..7599, filters=66784, revisions=(180097,useless=118362), ccks=5164749, wck=2.261, mem=1053M332
23.51/9.87	    decisions=49, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=49
23.51/9.87	    nFilterCalls=69276, avgTableProportion=0.9851048995111885, avgTableSize=86.57286794849587
23.51/9.87	    
24.56/10.43	    num=1, depth=0..29, filters=114043, revisions=(308739,useless=204496), ccks=6680082, wck=2.827, mem=1053M332
24.56/10.43	    decisions=104, wrong=13, backtracks=2, failedAssignments=11, nogoods=9, foundSolutions=1, bestBound=49
24.56/10.43	    nFilterCalls=112598, avgTableProportion=0.9854895253292904, avgTableSize=86.77100836604558
24.56/10.43	    
25.43/10.96	o 48
26.48/11.90	    num=2, depth=7601..7599, filters=175324, revisions=(482133,useless=321367), ccks=8387979, wck=4.293, mem=1075M606
26.48/11.90	    decisions=166, wrong=13, backtracks=2, failedAssignments=11, nogoods=9, foundSolutions=2, bestBound=48
26.48/11.90	    nFilterCalls=174097, avgTableProportion=0.9854750913614514, avgTableSize=86.8019896953997
26.48/11.90	    
27.03/12.44	    num=3, depth=0..43, filters=229332, revisions=(634108,useless=424150), ccks=9985632, wck=4.833, mem=1075M606
27.03/12.44	    decisions=236, wrong=27, backtracks=5, failedAssignments=23, nogoods=19, foundSolutions=2, bestBound=48
27.03/12.44	    nFilterCalls=223531, avgTableProportion=0.9856762558687725, avgTableSize=86.92141134786674
27.03/12.44	    
27.54/12.92	o 47
28.45/13.86	    num=4, depth=62..7599, filters=288452, revisions=(806525,useless=542177), ccks=11618221, wck=6.255, mem=1075M606
28.45/13.86	    decisions=311, wrong=31, backtracks=5, failedAssignments=27, nogoods=23, foundSolutions=3, bestBound=47
28.45/13.86	    nFilterCalls=282718, avgTableProportion=0.9855976876034839, avgTableSize=86.90067134034621
28.45/13.86	    
28.66/14.10	    num=5, depth=1..5, filters=291005, revisions=(816710,useless=550759), ccks=11704505, wck=6.496, mem=1075M606
28.66/14.10	    decisions=346, wrong=48, backtracks=16, failedAssignments=39, nogoods=26, foundSolutions=3, bestBound=47
28.66/14.10	    nFilterCalls=286360, avgTableProportion=0.9852483159788302, avgTableSize=86.73871350747311
28.66/14.10	    
28.76/14.14	    num=6, depth=18..25, filters=299860, revisions=(827653,useless=556874), ccks=11794792, wck=6.534, mem=1075M606
28.76/14.14	    decisions=392, wrong=59, backtracks=16, failedAssignments=50, nogoods=37, foundSolutions=3, bestBound=47
28.76/14.14	    nFilterCalls=289349, avgTableProportion=0.9851487293305937, avgTableSize=86.69956350289789
28.76/14.14	    
29.07/14.47	    num=7, depth=20..71, filters=360249, revisions=(997394,useless=670822), ccks=13452859, wck=6.866, mem=1075M606
29.07/14.47	    decisions=493, wrong=75, backtracks=20, failedAssignments=62, nogoods=44, foundSolutions=3, bestBound=47
29.07/14.47	    nFilterCalls=341810, avgTableProportion=0.9853697306262525, avgTableSize=86.80166759310728
29.07/14.47	    
29.21/14.59	    num=8, depth=26..37, filters=372234, revisions=(1023821,useless=689413), ccks=14272546, wck=6.99, mem=1075M606
29.21/14.59	    decisions=560, wrong=93, backtracks=27, failedAssignments=75, nogoods=50, foundSolutions=3, bestBound=47
29.21/14.59	    nFilterCalls=347561, avgTableProportion=0.9851962724333999, avgTableSize=86.63240121877887
29.21/14.59	    
29.74/15.05	o 46
30.63/15.99	    num=9, depth=9..7599, filters=429638, revisions=(1182287,useless=794579), ccks=15823517, wck=8.382, mem=1075M606
30.63/15.99	    decisions=658, wrong=103, backtracks=31, failedAssignments=83, nogoods=56, foundSolutions=4, bestBound=46
30.63/15.99	    nFilterCalls=405518, avgTableProportion=0.9851681319540557, avgTableSize=86.63115817300341
30.63/15.99	    
31.06/16.30	    num=10, depth=0..35, filters=440800, revisions=(1212844,useless=817338), ccks=16298499, wck=8.695, mem=1075M606
31.06/16.30	    decisions=737, wrong=127, backtracks=43, failedAssignments=99, nogoods=64, foundSolutions=4, bestBound=46
31.06/16.30	    nFilterCalls=414034, avgTableProportion=0.9847958570508336, avgTableSize=86.44904524749175
31.06/16.30	    
31.17/16.41	    num=11, depth=9..20, filters=457562, revisions=(1254083,useless=845412), ccks=16997848, wck=8.804, mem=1075M606
31.17/16.41	    decisions=789, wrong=146, backtracks=53, failedAssignments=110, nogoods=66, foundSolutions=4, bestBound=46
31.17/16.41	    nFilterCalls=425091, avgTableProportion=0.9847924240664161, avgTableSize=86.48168039313936
31.17/16.41	    
31.27/16.50	    num=12, depth=9..29, filters=469781, revisions=(1281330,useless=863672), ccks=17535093, wck=8.895, mem=1075M606
31.27/16.50	    decisions=856, wrong=173, backtracks=68, failedAssignments=122, nogoods=68, foundSolutions=4, bestBound=46
31.27/16.50	    nFilterCalls=432461, avgTableProportion=0.9846855772435806, avgTableSize=86.41159318412528
31.27/16.50	    
31.27/16.57	    num=13, depth=14..24, filters=477977, revisions=(1300036,useless=876693), ccks=17909462, wck=8.964, mem=1075M606
31.27/16.57	    decisions=918, wrong=196, backtracks=81, failedAssignments=135, nogoods=72, foundSolutions=4, bestBound=46
31.27/16.57	    nFilterCalls=436576, avgTableProportion=0.9846023707480128, avgTableSize=86.35334970314447
31.27/16.57	    
31.37/16.64	    num=14, depth=15..18, filters=488212, revisions=(1321661,useless=890851), ccks=18313318, wck=9.037, mem=1075M606
31.37/16.64	    decisions=967, wrong=213, backtracks=88, failedAssignments=149, nogoods=84, foundSolutions=4, bestBound=46
31.37/16.64	    nFilterCalls=442081, avgTableProportion=0.9844611631639301, avgTableSize=86.22958236160342
31.37/16.64	    
31.47/16.74	    num=15, depth=7..16, filters=501846, revisions=(1350704,useless=910525), ccks=18838639, wck=9.135, mem=1075M606
31.47/16.74	    decisions=1024, wrong=236, backtracks=98, failedAssignments=165, nogoods=92, foundSolutions=4, bestBound=46
31.47/16.74	    nFilterCalls=449090, avgTableProportion=0.9843226459127264, avgTableSize=86.1118394976508
31.47/16.74	    
31.57/16.85	    num=16, depth=18..26, filters=516524, revisions=(1378306,useless=928119), ccks=19448618, wck=9.245, mem=1075M606
31.57/16.85	    decisions=1097, wrong=263, backtracks=115, failedAssignments=182, nogoods=98, foundSolutions=4, bestBound=46
31.57/16.85	    nFilterCalls=456612, avgTableProportion=0.9842252130229272, avgTableSize=86.0213529210796
31.57/16.85	    
31.68/16.95	    num=17, depth=0..26, filters=529564, revisions=(1403619,useless=942700), ccks=19995747, wck=9.347, mem=1075M606
31.68/16.95	    decisions=1191, wrong=302, backtracks=143, failedAssignments=201, nogoods=105, foundSolutions=4, bestBound=46
31.68/16.95	    nFilterCalls=463603, avgTableProportion=0.9840667955427059, avgTableSize=85.8755961458403
31.68/16.95	    
31.89/17.20	    num=18, depth=15..31, filters=562369, revisions=(1471877,useless=987311), ccks=21573248, wck=9.592, mem=1075M606
31.89/17.20	    decisions=1288, wrong=339, backtracks=163, failedAssignments=222, nogoods=111, foundSolutions=4, bestBound=46
31.89/17.20	    nFilterCalls=483355, avgTableProportion=0.9840174307735499, avgTableSize=85.71444590414913
31.89/17.20	    
32.08/17.34	    num=19, depth=8..32, filters=580859, revisions=(1519845,useless=1019689), ccks=22465195, wck=9.732, mem=1075M606
32.08/17.34	    decisions=1368, wrong=366, backtracks=167, failedAssignments=245, nogoods=126, foundSolutions=4, bestBound=46
32.08/17.34	    nFilterCalls=495217, avgTableProportion=0.9838357685161971, avgTableSize=85.55026584305466
32.08/17.34	    
32.18/17.50	    num=20, depth=8..25, filters=601071, revisions=(1564594,useless=1048885), ccks=23493776, wck=9.891, mem=1075M606
32.18/17.50	    decisions=1448, wrong=398, backtracks=176, failedAssignments=270, nogoods=140, foundSolutions=4, bestBound=46
32.18/17.50	    nFilterCalls=507245, avgTableProportion=0.983704022316864, avgTableSize=85.43168685743575
32.18/17.50	    
32.39/17.65	    num=21, depth=9..37, filters=623221, revisions=(1633670,useless=1098327), ccks=24371845, wck=10.05, mem=1075M606
32.39/17.65	    decisions=1558, wrong=438, backtracks=191, failedAssignments=298, nogoods=158, foundSolutions=4, bestBound=46
32.39/17.65	    nFilterCalls=522711, avgTableProportion=0.983562902534805, avgTableSize=85.3266948658054
32.39/17.65	    
32.69/17.91	    num=22, depth=10..47, filters=665684, revisions=(1733797,useless=1164446), ccks=25694488, wck=10.308, mem=1075M606
32.69/17.91	    decisions=1696, wrong=490, backtracks=217, failedAssignments=329, nogoods=178, foundSolutions=4, bestBound=46
32.69/17.91	    nFilterCalls=550575, avgTableProportion=0.983547322505466, avgTableSize=85.22622712618626
32.69/17.91	    
32.80/18.06	    num=23, depth=11..22, filters=684481, revisions=(1782783,useless=1197350), ccks=26586314, wck=10.455, mem=1075M606
32.80/18.06	    decisions=1800, wrong=533, backtracks=229, failedAssignments=363, nogoods=202, foundSolutions=4, bestBound=46
32.80/18.06	    nFilterCalls=562667, avgTableProportion=0.9834837010305225, avgTableSize=85.10965455589185
32.80/18.06	    
33.09/18.40	    num=24, depth=6..45, filters=735926, revisions=(1917587,useless=1286755), ccks=28478694, wck=10.791, mem=1075M606
33.09/18.40	    decisions=1946, wrong=589, backtracks=251, failedAssignments=400, nogoods=221, foundSolutions=4, bestBound=46
33.09/18.40	    nFilterCalls=600953, avgTableProportion=0.9835215330820073, avgTableSize=85.02633650218903
33.09/18.40	    
33.39/18.66	    num=25, depth=8..31, filters=770663, revisions=(2019091,useless=1356487), ccks=30251583, wck=11.056, mem=1075M606
33.39/18.66	    decisions=2075, wrong=644, backtracks=270, failedAssignments=441, nogoods=225, foundSolutions=4, bestBound=46
33.39/18.66	    nFilterCalls=624611, avgTableProportion=0.9834401276422761, avgTableSize=84.92254859424506
33.39/18.66	    
33.70/19.00	    num=26, depth=8..41, filters=821186, revisions=(2155353,useless=1448529), ccks=32259536, wck=11.399, mem=1075M606
33.70/19.00	    decisions=2242, wrong=710, backtracks=295, failedAssignments=486, nogoods=249, foundSolutions=4, bestBound=46
33.70/19.00	    nFilterCalls=660834, avgTableProportion=0.9834867881622391, avgTableSize=84.88386796078895
33.70/19.00	    
33.92/19.11	    num=27, depth=0..36, filters=834965, revisions=(2179966,useless=1462220), ccks=32817357, wck=11.505, mem=1075M606
33.92/19.11	    decisions=2368, wrong=764, backtracks=312, failedAssignments=536, nogoods=282, foundSolutions=4, bestBound=46
33.92/19.11	    nFilterCalls=667440, avgTableProportion=0.9833523290990671, avgTableSize=84.82406808102601
33.92/19.11	    
34.32/19.58	    num=28, depth=16..38, filters=906823, revisions=(2369515,useless=1587142), ccks=35503565, wck=11.973, mem=1075M606
34.32/19.58	    decisions=2577, wrong=860, backtracks=375, failedAssignments=591, nogoods=285, foundSolutions=4, bestBound=46
34.32/19.58	    nFilterCalls=721073, avgTableProportion=0.9832679014625334, avgTableSize=84.56205682365031
34.32/19.58	    
34.62/19.88	    num=29, depth=10..22, filters=956432, revisions=(2491828,useless=1666821), ccks=37298035, wck=12.278, mem=1075M606
34.62/19.88	    decisions=2737, wrong=931, backtracks=390, failedAssignments=652, nogoods=303, foundSolutions=4, bestBound=46
34.62/19.88	    nFilterCalls=753716, avgTableProportion=0.9831073573094379, avgTableSize=84.27682044695881
34.62/19.88	    
35.22/20.40	    num=30, depth=12..47, filters=1036552, revisions=(2714808,useless=1822486), ccks=40363685, wck=12.796, mem=1075M606
35.22/20.40	    decisions=2972, wrong=1034, backtracks=437, failedAssignments=719, nogoods=311, foundSolutions=4, bestBound=46
35.22/20.40	    nFilterCalls=809096, avgTableProportion=0.9831561831598351, avgTableSize=84.26599562969042
35.22/20.40	    
35.53/20.76	    num=31, depth=12..52, filters=1099737, revisions=(2859148,useless=1910430), ccks=42331633, wck=13.156, mem=1075M606
35.53/20.76	    decisions=3217, wrong=1137, backtracks=479, failedAssignments=793, nogoods=326, foundSolutions=4, bestBound=46
35.53/20.76	    nFilterCalls=854501, avgTableProportion=0.982795842597765, avgTableSize=84.15283773804829
35.53/20.76	    
36.03/21.21	    num=32, depth=10..42, filters=1172006, revisions=(3040308,useless=2023605), ccks=45129004, wck=13.602, mem=1075M606
36.03/21.21	    decisions=3454, wrong=1246, backtracks=513, failedAssignments=874, nogoods=342, foundSolutions=4, bestBound=46
36.03/21.21	    nFilterCalls=909093, avgTableProportion=0.9828050488369119, avgTableSize=84.23177386692011
36.03/21.21	    
36.33/21.54	    num=33, depth=11..63, filters=1230619, revisions=(3175204,useless=2106226), ccks=46914672, wck=13.937, mem=1075M606
36.33/21.54	    decisions=3718, wrong=1354, backtracks=540, failedAssignments=963, nogoods=366, foundSolutions=4, bestBound=46
36.33/21.54	    nFilterCalls=950566, avgTableProportion=0.9827723714265414, avgTableSize=84.21770397847177
36.33/21.54	    
36.63/21.84	    num=34, depth=12..52, filters=1290268, revisions=(3307416,useless=2183310), ccks=48536727, wck=14.236, mem=1075M606
36.63/21.84	    decisions=3988, wrong=1467, backtracks=568, failedAssignments=1061, nogoods=387, foundSolutions=4, bestBound=46
36.63/21.84	    nFilterCalls=994568, avgTableProportion=0.9829060266113324, avgTableSize=84.3404272005534
36.63/21.84	    
36.94/22.16	    num=35, depth=13..57, filters=1360639, revisions=(3469509,useless=2279171), ccks=50174423, wck=14.557, mem=1075M606
36.94/22.16	    decisions=4281, wrong=1588, backtracks=584, failedAssignments=1169, nogoods=406, foundSolutions=4, bestBound=46
36.94/22.16	    nFilterCalls=1051518, avgTableProportion=0.9830915118598818, avgTableSize=84.49130875553247
36.94/22.16	    
37.34/22.52	    num=36, depth=2..58, filters=1448096, revisions=(3664806,useless=2393302), ccks=51899943, wck=14.92, mem=1075M606
37.34/22.52	    decisions=4604, wrong=1725, backtracks=604, failedAssignments=1288, nogoods=420, foundSolutions=4, bestBound=46
37.34/22.52	    nFilterCalls=1121304, avgTableProportion=0.9832901636608309, avgTableSize=84.63199453493432
37.34/22.52	    
37.64/22.86	    num=37, depth=2..56, filters=1522077, revisions=(3830908,useless=2490326), ccks=53600226, wck=15.252, mem=1075M606
37.64/22.86	    decisions=4938, wrong=1873, backtracks=621, failedAssignments=1419, nogoods=430, foundSolutions=4, bestBound=46
37.64/22.86	    nFilterCalls=1179099, avgTableProportion=0.9834446464261681, avgTableSize=84.74578979373233
37.64/22.86	    
38.04/23.21	    num=38, depth=3..60, filters=1610049, revisions=(4018685,useless=2600243), ccks=55301789, wck=15.606, mem=1075M606
38.04/23.21	    decisions=5298, wrong=2032, backtracks=636, failedAssignments=1563, nogoods=437, foundSolutions=4, bestBound=46
38.04/23.21	    nFilterCalls=1244867, avgTableProportion=0.9834261766087281, avgTableSize=84.84170437484487
38.04/23.21	    
38.64/23.81	o 45
39.56/24.75	    num=39, depth=4..7599, filters=1697156, revisions=(4227091,useless=2728779), ccks=57747166, wck=17.144, mem=1075M606
39.56/24.75	    decisions=5511, wrong=2110, backtracks=657, failedAssignments=1621, nogoods=448, foundSolutions=5, bestBound=45
39.56/24.75	    nFilterCalls=1322253, avgTableProportion=0.9833964759178722, avgTableSize=84.86552119753179
39.56/24.75	    
40.16/25.36	    num=40, depth=4..36, filters=1759641, revisions=(4353744,useless=2804155), ccks=59895410, wck=17.754, mem=1075M606
40.16/25.36	    decisions=5912, wrong=2305, backtracks=694, failedAssignments=1795, nogoods=454, foundSolutions=5, bestBound=45
40.16/25.36	    nFilterCalls=1361112, avgTableProportion=0.983226530299032, avgTableSize=84.75153110104091
40.16/25.36	    
40.26/25.42	    num=41, depth=1..9, filters=1769235, revisions=(4367112,useless=2811559), ccks=60201020, wck=17.812, mem=1075M606
40.26/25.42	    decisions=5944, wrong=2318, backtracks=696, failedAssignments=1806, nogoods=462, foundSolutions=5, bestBound=45
40.26/25.42	    nFilterCalls=1366203, avgTableProportion=0.9832374838277266, avgTableSize=84.76019888698825
40.26/25.42	    
40.36/25.50	    num=42, depth=1..18, filters=1784381, revisions=(4387367,useless=2822362), ccks=60678882, wck=17.9, mem=1075M606
40.36/25.50	    decisions=5985, wrong=2334, backtracks=701, failedAssignments=1818, nogoods=471, foundSolutions=5, bestBound=45
40.36/25.50	    nFilterCalls=1374365, avgTableProportion=0.9832619760373484, avgTableSize=84.78587274850567
40.36/25.50	    
40.46/25.61	    num=43, depth=1..18, filters=1802972, revisions=(4409100,useless=2833279), ccks=61215100, wck=18.002, mem=1075M606
40.46/25.61	    decisions=6024, wrong=2350, backtracks=704, failedAssignments=1831, nogoods=483, foundSolutions=5, bestBound=45
40.46/25.61	    nFilterCalls=1383754, avgTableProportion=0.9832902865804213, avgTableSize=84.81443377941454
40.46/25.61	    
40.46/25.69	    num=44, depth=4..14, filters=1816130, revisions=(4429983,useless=2844482), ccks=61672566, wck=18.082, mem=1075M606
40.46/25.69	    decisions=6068, wrong=2367, backtracks=707, failedAssignments=1845, nogoods=496, foundSolutions=5, bestBound=45
40.46/25.69	    nFilterCalls=1391981, avgTableProportion=0.983300072452981, avgTableSize=84.82513051543089
40.46/25.69	    
40.56/25.76	    num=45, depth=1..10, filters=1827623, revisions=(4446664,useless=2853434), ccks=62051936, wck=18.152, mem=1075M606
40.56/25.76	    decisions=6114, wrong=2387, backtracks=711, failedAssignments=1861, nogoods=508, foundSolutions=5, bestBound=45
40.56/25.76	    nFilterCalls=1398403, avgTableProportion=0.9833153641398609, avgTableSize=84.83916581986738
40.56/25.76	    
40.66/25.82	    num=46, depth=6..10, filters=1835213, revisions=(4460381,useless=2861751), ccks=62502077, wck=18.218, mem=1075M606
40.66/25.82	    decisions=6158, wrong=2405, backtracks=712, failedAssignments=1878, nogoods=525, foundSolutions=5, bestBound=45
40.66/25.82	    nFilterCalls=1402498, avgTableProportion=0.9833197097566232, avgTableSize=84.84233560404364
40.66/25.82	    
40.76/25.92	    num=47, depth=4..15, filters=1849063, revisions=(4484320,useless=2875899), ccks=63065201, wck=18.316, mem=1075M606
40.76/25.92	    decisions=6214, wrong=2428, backtracks=716, failedAssignments=1897, nogoods=537, foundSolutions=5, bestBound=45
40.76/25.92	    nFilterCalls=1410649, avgTableProportion=0.9833293561193365, avgTableSize=84.85578198403714
40.76/25.92	    
40.87/26.06	    num=48, depth=4..27, filters=1869940, revisions=(4524908,useless=2900612), ccks=63900327, wck=18.459, mem=1075M606
40.87/26.06	    decisions=6290, wrong=2463, backtracks=736, failedAssignments=1918, nogoods=539, foundSolutions=5, bestBound=45
40.87/26.06	    nFilterCalls=1423254, avgTableProportion=0.9833057807041117, avgTableSize=84.8564290000239
40.87/26.06	    
40.97/26.17	    num=49, depth=0..20, filters=1886424, revisions=(4554010,useless=2916936), ccks=64565086, wck=18.57, mem=1075M606
40.97/26.17	    decisions=6354, wrong=2488, backtracks=740, failedAssignments=1941, nogoods=550, foundSolutions=5, bestBound=45
40.97/26.17	    nFilterCalls=1434160, avgTableProportion=0.9833141304644909, avgTableSize=84.8718804038601
40.97/26.17	    
41.17/26.31	    num=50, depth=1..39, filters=1909919, revisions=(4586785,useless=2935399), ccks=65237599, wck=18.707, mem=1075M606
41.17/26.31	    decisions=6431, wrong=2520, backtracks=754, failedAssignments=1966, nogoods=564, foundSolutions=5, bestBound=45
41.17/26.31	    nFilterCalls=1445616, avgTableProportion=0.9832767407638074, avgTableSize=84.87239073170191
41.17/26.31	    
41.17/26.38	    num=51, depth=1..12, filters=1921467, revisions=(4606077,useless=2947093), ccks=65600492, wck=18.779, mem=1075M606
41.17/26.38	    decisions=6497, wrong=2552, backtracks=762, failedAssignments=1994, nogoods=573, foundSolutions=5, bestBound=45
41.17/26.38	    nFilterCalls=1450994, avgTableProportion=0.9832714081122848, avgTableSize=84.86838263976281
41.17/26.38	    
41.37/26.53	    num=52, depth=12..33, filters=1943095, revisions=(4646698,useless=2972115), ccks=66427164, wck=18.929, mem=1075M606
41.37/26.53	    decisions=6584, wrong=2586, backtracks=770, failedAssignments=2025, nogoods=597, foundSolutions=5, bestBound=45
41.37/26.53	    nFilterCalls=1462480, avgTableProportion=0.9832441226819882, avgTableSize=84.85470980799738
41.37/26.53	    
41.57/26.72	    num=53, depth=6..19, filters=1972938, revisions=(4696405,useless=3000040), ccks=67551500, wck=19.121, mem=1086M680
41.57/26.72	    decisions=6685, wrong=2632, backtracks=787, failedAssignments=2059, nogoods=606, foundSolutions=5, bestBound=45
41.57/26.72	    nFilterCalls=1480745, avgTableProportion=0.9832283001424138, avgTableSize=84.86426359704068
41.57/26.72	    
41.78/26.93	    num=54, depth=0..33, filters=2002268, revisions=(4758090,useless=3038139), ccks=68703847, wck=19.322, mem=1086M680
41.78/26.93	    decisions=6794, wrong=2675, backtracks=796, failedAssignments=2096, nogoods=625, foundSolutions=5, bestBound=45
41.78/26.93	    nFilterCalls=1500063, avgTableProportion=0.9832447890819173, avgTableSize=84.88583212838394
41.78/26.93	    
41.89/27.09	    num=55, depth=1..30, filters=2023512, revisions=(4808305,useless=3071869), ccks=69654832, wck=19.484, mem=1086M680
41.89/27.09	    decisions=6909, wrong=2726, backtracks=813, failedAssignments=2137, nogoods=653, foundSolutions=5, bestBound=45
41.89/27.09	    nFilterCalls=1512423, avgTableProportion=0.9832318794276567, avgTableSize=84.88056714292232
41.89/27.09	    
42.08/27.28	    num=56, depth=8..13, filters=2051326, revisions=(4877214,useless=3118674), ccks=70797493, wck=19.676, mem=1086M680
42.08/27.28	    decisions=7024, wrong=2779, backtracks=823, failedAssignments=2182, nogoods=656, foundSolutions=5, bestBound=45
42.08/27.28	    nFilterCalls=1529970, avgTableProportion=0.9831819999669511, avgTableSize=84.86432021542906
42.08/27.28	    
42.38/27.50	    num=57, depth=11..23, filters=2101596, revisions=(4947817,useless=3156495), ccks=71737231, wck=19.893, mem=1086M680
42.38/27.50	    decisions=7153, wrong=2838, backtracks=835, failedAssignments=2232, nogoods=676, foundSolutions=5, bestBound=45
42.38/27.50	    nFilterCalls=1555570, avgTableProportion=0.9831523652366814, avgTableSize=84.84314945646933
42.38/27.50	    
42.48/27.66	    num=58, depth=1..25, filters=2125315, revisions=(5005027,useless=3195664), ccks=72632818, wck=20.056, mem=1086M680
42.48/27.66	    decisions=7296, wrong=2906, backtracks=853, failedAssignments=2287, nogoods=694, foundSolutions=5, bestBound=45
42.48/27.66	    nFilterCalls=1568525, avgTableProportion=0.9831010478265647, avgTableSize=84.82331489775426
42.48/27.66	    
42.68/27.89	    num=59, depth=1..31, filters=2155092, revisions=(5093337,useless=3260627), ccks=74068497, wck=20.289, mem=1086M680
42.68/27.89	    decisions=7460, wrong=2982, backtracks=879, failedAssignments=2348, nogoods=717, foundSolutions=5, bestBound=45
42.68/27.89	    nFilterCalls=1584988, avgTableProportion=0.9830327021115092, avgTableSize=84.78697251966577
42.68/27.89	    
43.00/28.19	    num=60, depth=8..21, filters=2198057, revisions=(5207335,useless=3340848), ccks=75712506, wck=20.581, mem=1086M680
43.00/28.19	    decisions=7635, wrong=3062, backtracks=902, failedAssignments=2415, nogoods=731, foundSolutions=5, bestBound=45
43.00/28.19	    nFilterCalls=1611950, avgTableProportion=0.9829939313130945, avgTableSize=84.76896305716679
43.00/28.19	    
43.29/28.46	    num=61, depth=1..22, filters=2231455, revisions=(5315510,useless=3421785), ccks=77541000, wck=20.857, mem=1086M680
43.29/28.46	    decisions=7821, wrong=3150, backtracks=921, failedAssignments=2489, nogoods=747, foundSolutions=5, bestBound=45
43.29/28.46	    nFilterCalls=1629410, avgTableProportion=0.9828344109373885, avgTableSize=84.68724507643871
43.29/28.46	    
43.70/28.80	    num=62, depth=9..17, filters=2283443, revisions=(5429558,useless=3494928), ccks=79650991, wck=21.198, mem=1086M680
43.70/28.80	    decisions=8020, wrong=3244, backtracks=943, failedAssignments=2570, nogoods=803, foundSolutions=5, bestBound=45
43.70/28.80	    nFilterCalls=1658061, avgTableProportion=0.982806433454541, avgTableSize=84.65007379101252
43.70/28.80	    
44.10/29.22	    num=63, depth=9..18, filters=2350068, revisions=(5595856,useless=3609445), ccks=82068450, wck=21.62, mem=1086M680
44.10/29.22	    decisions=8244, wrong=3351, backtracks=969, failedAssignments=2659, nogoods=825, foundSolutions=5, bestBound=45
44.10/29.22	    nFilterCalls=1698517, avgTableProportion=0.9827844970662766, avgTableSize=84.6157347851096
44.10/29.22	    
44.40/29.53	    num=64, depth=1..34, filters=2389319, revisions=(5706675,useless=3688409), ccks=83994299, wck=21.924, mem=1086M680
44.40/29.53	    decisions=8490, wrong=3470, backtracks=1008, failedAssignments=2757, nogoods=853, foundSolutions=5, bestBound=45
44.40/29.53	    nFilterCalls=1718796, avgTableProportion=0.982639685087929, avgTableSize=84.52411455460683
44.40/29.53	    
44.73/29.89	    num=65, depth=7..13, filters=2437963, revisions=(5833542,useless=3775450), ccks=86383242, wck=22.289, mem=1086M680
44.73/29.89	    decisions=8759, wrong=3600, backtracks=1035, failedAssignments=2865, nogoods=874, foundSolutions=5, bestBound=45
44.73/29.89	    nFilterCalls=1744923, avgTableProportion=0.9826109520346098, avgTableSize=84.4240496572055
44.73/29.89	    
45.13/30.20	    num=66, depth=10..21, filters=2485706, revisions=(5940361,useless=3845291), ccks=88091243, wck=22.594, mem=1086M680
45.13/30.20	    decisions=9038, wrong=3734, backtracks=1058, failedAssignments=2984, nogoods=917, foundSolutions=5, bestBound=45
45.13/30.20	    nFilterCalls=1771574, avgTableProportion=0.9825945310131166, avgTableSize=84.39140222197888
45.13/30.20	    
45.53/30.60	    num=67, depth=1..25, filters=2549771, revisions=(6070302,useless=3922985), ccks=90472941, wck=22.997, mem=1086M680
45.53/30.60	    decisions=9378, wrong=3898, backtracks=1105, failedAssignments=3115, nogoods=955, foundSolutions=5, bestBound=45
45.53/30.60	    nFilterCalls=1806243, avgTableProportion=0.9824859278995639, avgTableSize=84.33923231813216
45.53/30.60	    
45.87/30.93	    num=68, depth=6..27, filters=2600185, revisions=(6162556,useless=3976032), ccks=92352329, wck=23.33, mem=1086M680
45.87/30.93	    decisions=9717, wrong=4064, backtracks=1142, failedAssignments=3259, nogoods=961, foundSolutions=5, bestBound=45
45.87/30.93	    nFilterCalls=1835207, avgTableProportion=0.9824616168989407, avgTableSize=84.3284250768442
45.87/30.93	    
46.38/31.43	    num=69, depth=0..27, filters=2691198, revisions=(6310471,useless=4063083), ccks=94903969, wck=23.825, mem=1086M680
46.38/31.43	    decisions=10120, wrong=4263, backtracks=1208, failedAssignments=3417, nogoods=965, foundSolutions=5, bestBound=45
46.38/31.43	    nFilterCalls=1880288, avgTableProportion=0.9824133511831908, avgTableSize=84.27214235266086
46.38/31.43	    
46.78/31.80	    num=70, depth=0..11, filters=2749287, revisions=(6415891,useless=4120064), ccks=96986737, wck=24.193, mem=1086M680
46.78/31.80	    decisions=10506, wrong=4454, backtracks=1241, failedAssignments=3591, nogoods=966, foundSolutions=5, bestBound=45
46.78/31.80	    nFilterCalls=1913022, avgTableProportion=0.982402543461506, avgTableSize=84.23846563186414
46.78/31.80	    
47.18/32.26	    num=71, depth=2..15, filters=2827807, revisions=(6559685,useless=4202576), ccks=99527755, wck=24.655, mem=1086M680
47.18/32.26	    decisions=10960, wrong=4677, backtracks=1284, failedAssignments=3782, nogoods=988, foundSolutions=5, bestBound=45
47.18/32.26	    nFilterCalls=1955657, avgTableProportion=0.9823118042536767, avgTableSize=84.14218341968964
47.18/32.26	    
47.70/32.75	    num=72, depth=0..19, filters=2911321, revisions=(6697490,useless=4276861), ccks=102188361, wck=25.148, mem=1086M680
47.70/32.75	    decisions=11446, wrong=4917, backtracks=1328, failedAssignments=3993, nogoods=1015, foundSolutions=5, bestBound=45
47.70/32.75	    nFilterCalls=1998781, avgTableProportion=0.9822456895355428, avgTableSize=84.0905361818028
47.70/32.75	    
48.21/33.27	    num=73, depth=0..18, filters=2994136, revisions=(6835900,useless=4351219), ccks=104979958, wck=25.666, mem=1086M680
48.21/33.27	    decisions=11986, wrong=5186, backtracks=1408, failedAssignments=4225, nogoods=1031, foundSolutions=5, bestBound=45
48.21/33.27	    nFilterCalls=2041949, avgTableProportion=0.9821975853192838, avgTableSize=84.04061217983407
48.21/33.27	    
50.03/35.10	    num=74, depth=2..14, filters=3522514, revisions=(7340508,useless=4615079), ccks=112264985, wck=27.496, mem=1086M680
50.03/35.10	    decisions=12535, wrong=5459, backtracks=1446, failedAssignments=4480, nogoods=1049, foundSolutions=5, bestBound=45
50.03/35.10	    nFilterCalls=2254986, avgTableProportion=0.9824174057640083, avgTableSize=84.11425525479982
50.03/35.10	    
50.82/35.82	    num=75, depth=2..15, filters=3630719, revisions=(7544593,useless=4732448), ccks=116454074, wck=28.219, mem=1086M680
50.82/35.82	    decisions=13199, wrong=5790, backtracks=1520, failedAssignments=4761, nogoods=1085, foundSolutions=5, bestBound=45
50.82/35.82	    nFilterCalls=2312545, avgTableProportion=0.9823042860184565, avgTableSize=84.02640208082437
50.82/35.82	    
51.32/36.37	    num=76, depth=2..17, filters=3725472, revisions=(7708689,useless=4822172), ccks=119466547, wck=28.764, mem=1086M680
51.32/36.37	    decisions=13854, wrong=6115, backtracks=1551, failedAssignments=5070, nogoods=1156, foundSolutions=5, bestBound=45
51.32/36.37	    nFilterCalls=2359735, avgTableProportion=0.9821039969692925, avgTableSize=83.86750037610156
51.32/36.37	    
52.31/37.21	    num=77, depth=0..19, filters=3858879, revisions=(7931535,useless=4946738), ccks=123996065, wck=29.603, mem=1086M680
52.31/37.21	    decisions=14658, wrong=6514, backtracks=1659, failedAssignments=5410, nogoods=1172, foundSolutions=5, bestBound=45
52.31/37.21	    nFilterCalls=2427207, avgTableProportion=0.9820391784978428, avgTableSize=83.76388252011468
52.31/37.21	    
53.12/38.02	    num=78, depth=2..17, filters=3986119, revisions=(8175771,useless=5085810), ccks=128559169, wck=30.412, mem=1086M680
53.12/38.02	    decisions=15481, wrong=6924, backtracks=1729, failedAssignments=5784, nogoods=1217, foundSolutions=5, bestBound=45
53.12/38.02	    nFilterCalls=2494725, avgTableProportion=0.9818821015872493, avgTableSize=83.59230135586087
53.12/38.02	    
54.22/39.12	    num=79, depth=0..29, filters=4170259, revisions=(8491525,useless=5258549), ccks=134887465, wck=31.518, mem=1086M680
54.22/39.12	    decisions=16422, wrong=7392, backtracks=1842, failedAssignments=6195, nogoods=1256, foundSolutions=5, bestBound=45
54.22/39.12	    nFilterCalls=2589572, avgTableProportion=0.9816688416041749, avgTableSize=83.33293300977923
54.22/39.12	    
55.24/40.18	    num=80, depth=0..32, filters=4324286, revisions=(8809688,useless=5446463), ccks=140964239, wck=32.58, mem=1086M680
55.24/40.18	    decisions=17480, wrong=7919, backtracks=1978, failedAssignments=6647, nogoods=1288, foundSolutions=5, bestBound=45
55.24/40.18	    nFilterCalls=2671113, avgTableProportion=0.9815297131198801, avgTableSize=83.14636632744478
55.24/40.18	    
56.33/41.22	    num=81, depth=0..17, filters=4491317, revisions=(9094617,useless=5602809), ccks=146990908, wck=33.619, mem=1086M680
56.33/41.22	    decisions=18547, wrong=8452, backtracks=2049, failedAssignments=7144, nogoods=1316, foundSolutions=5, bestBound=45
56.33/41.22	    nFilterCalls=2754548, avgTableProportion=0.9813732445250856, avgTableSize=82.98053255924384
56.33/41.22	    
57.43/42.35	    num=82, depth=0..26, filters=4677674, revisions=(9400716,useless=5770295), ccks=153116748, wck=34.742, mem=1086M680
57.43/42.35	    decisions=19783, wrong=9069, backtracks=2194, failedAssignments=7691, nogoods=1327, foundSolutions=5, bestBound=45
57.43/42.35	    nFilterCalls=2844689, avgTableProportion=0.9812414782732403, avgTableSize=82.82222204255017
57.43/42.35	    
58.73/43.60	    num=83, depth=0..22, filters=4857652, revisions=(9779340,useless=5995826), ccks=160333409, wck=35.993, mem=1086M680
58.73/43.60	    decisions=21128, wrong=9738, backtracks=2321, failedAssignments=8293, nogoods=1358, foundSolutions=5, bestBound=45
58.73/43.60	    nFilterCalls=2943696, avgTableProportion=0.9811028935188871, avgTableSize=82.65046798310695
58.73/43.60	    
60.24/45.12	    num=84, depth=0..25, filters=5113284, revisions=(10211542,useless=6234652), ccks=168953971, wck=37.513, mem=1086M680
60.24/45.12	    decisions=22580, wrong=10463, backtracks=2436, failedAssignments=8955, nogoods=1393, foundSolutions=5, bestBound=45
60.24/45.12	    nFilterCalls=3070641, avgTableProportion=0.9809037029383755, avgTableSize=82.43821664597066
60.24/45.12	    
61.54/46.49	    num=85, depth=0..14, filters=5338027, revisions=(10607995,useless=6445188), ccks=176703372, wck=38.886, mem=1086M680
61.54/46.49	    decisions=24131, wrong=11238, backtracks=2503, failedAssignments=9683, nogoods=1414, foundSolutions=5, bestBound=45
61.54/46.49	    nFilterCalls=3184454, avgTableProportion=0.9805488237723898, avgTableSize=82.12059524175886
61.54/46.49	    
63.34/48.20	    num=86, depth=0..32, filters=5600304, revisions=(11103655,useless=6724944), ccks=186577663, wck=40.598, mem=1086M680
63.34/48.20	    decisions=25912, wrong=12125, backtracks=2667, failedAssignments=10484, nogoods=1440, foundSolutions=5, bestBound=45
63.34/48.20	    nFilterCalls=3319910, avgTableProportion=0.9803824782811053, avgTableSize=81.940232114726
63.34/48.20	    
65.35/50.22	    num=87, depth=0..23, filters=5911319, revisions=(11712575,useless=7075508), ccks=198213056, wck=42.619, mem=1086M680
65.35/50.22	    decisions=27881, wrong=13109, backtracks=2846, failedAssignments=11365, nogoods=1441, foundSolutions=5, bestBound=45
65.35/50.22	    nFilterCalls=3479580, avgTableProportion=0.9801438058931757, avgTableSize=81.6983607216963
65.35/50.22	    
67.85/52.74	    num=88, depth=0..15, filters=6293679, revisions=(12486421,useless=7533752), ccks=213157258, wck=45.134, mem=1086M680
67.85/52.74	    decisions=30132, wrong=14233, backtracks=3067, failedAssignments=12335, nogoods=1477, foundSolutions=5, bestBound=45
67.85/52.74	    nFilterCalls=3683034, avgTableProportion=0.9800337000344518, avgTableSize=81.46984958596636
67.85/52.74	    
70.16/55.07	
70.16/55.07	  New Bounds: 45..44
70.16/55.07	    num=89, depth=0..19, filters=6627657, revisions=(13138911,useless=7917033), ccks=226940606, wck=47.469, mem=1086M680
70.16/55.07	    decisions=32504, wrong=15420, backtracks=3301, failedAssignments=13370, foundSolutions=5, bestBound=45
70.16/55.07	    nFilterCalls=3858911, avgTableProportion=0.9799678482253006, avgTableSize=81.38977550920454
70.16/55.07	    
70.16/55.07	  Global
70.16/55.07	    filters=6627657, revisions=(13138911,useless=7917033), ccks=226940606
70.16/55.07	    Stop=FULL_EXPLORATION, wrong=15420, bestBound=45, bestBoundWck=21.965, bestBoundCpu=21.388, foundSolutions=5, firstSolCpu=6.446
70.16/55.07	    wck=53.229, cpu=52.651, mem=1086M680
70.16/55.08	
70.16/55.08	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>
70.16/55.08	s OPTIMUM FOUND
70.16/55.08	
70.16/55.08	d WRONG_DECISIONS 15420
70.16/55.08	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: 16374 MiB (14541 MiB free)
  memory of node 1: 16384 MiB (15741 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390861-1568386464/watcher-4390861-1568386464 -o /tmp/evaluation-result-4390861-1568386464/solver-4390861-1568386464 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20197 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390861-1568386464.xml -cm 

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

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

solver pid=21510, runsolver pid=21507

[startup+0.100105 s]*
/proc/loadavg: 1.82 1.85 1.82 4/229 21525
/proc/meminfo: memFree=30991396/32770624 swapFree=66996904/67108860
[pid=21510] ppid=21507 vsize=10659884 memory=29832 CPUtime=0.14 cores=1,3,5,7
/proc/21510/stat : 21510 (java) S 21507 21510 20165 0 -1 1077944320 5497 0 0 0 13 1 0 0 20 0 15 0 414899455 10915721216 7458 33554432000 4194304 4196468 140730224882576 140730224865120 140388427128567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
/proc/21510/statm: 2664971 7458 2878 1 0 2627468 0
[pid=21510/tid=21512] ppid=21507 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/21510/task/21512/stat : 21512 (java) R 21507 21510 20165 0 -1 4202560 3224 0 0 0 9 0 0 0 20 0 15 0 414899455 10915721216 7458 33554432000 4194304 4196468 140730224882576 140388431351328 140388427140502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21513] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21513/stat : 21513 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 7458 33554432000 4194304 4196468 140730224882576 140388034386320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21514] ppid=21507 vsize=10659884 memory=3978007170648606368 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21514/stat : 21514 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 7458 33554432000 4194304 4196468 140730224882576 140388033333520 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21515] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21515/stat : 21515 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 7458 33554432000 4194304 4196468 140730224882576 140388032281232 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21516] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21516/stat : 21516 (java) S 21507 21510 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 7458 33554432000 4194304 4196468 140730224882576 140388031228432 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21517] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21517/stat : 21517 (java) S 21507 21510 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899457 10915721216 7458 33554432000 4194304 4196468 140730224882576 140387462146672 140388427139714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21518] ppid=21507 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21518/stat : 21518 (java) S 21507 21510 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414899458 10915721216 7458 33554432000 4194304 4196468 140730224882576 140387461092640 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21519] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21519/stat : 21519 (java) S 21507 21510 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414899458 10915721216 7458 33554432000 4194304 4196468 140730224882576 140387460040304 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21520] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21520/stat : 21520 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899461 10915721216 7458 33554432000 4194304 4196468 140730224882576 140387458988624 140388427147163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21521] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21521/stat : 21521 (java) R 21507 21510 20165 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 414899461 10915721216 7458 33554432000 4194304 4196468 140730224882576 140387457935472 140388427139714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21522] ppid=21507 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21522/stat : 21522 (java) S 21507 21510 20165 0 -1 1077944384 191 0 0 0 0 0 0 0 20 0 15 0 414899461 10915721216 7458 33554432000 4194304 4196468 140730224882576 140387456882672 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21523] ppid=21507 vsize=10659884 memory=139881975350912 CPUtime=0.02 cores=1,3,5,7
/proc/21510/task/21523/stat : 21523 (java) R 21507 21510 20165 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 414899461 10915721216 7458 33554432000 4194304 4196468 140730224882576 140387455824272 140388419365694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21524] ppid=21507 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21524/stat : 21524 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899461 10915721216 7458 33554432000 4194304 4196468 140730224882576 140387454777824 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21525] ppid=21507 vsize=10659884 memory=139881975350912 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21525/stat : 21525 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899461 10915721216 7458 33554432000 4194304 4196468 140730224882576 140387453725616 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29832 KiB

[startup+0.211537 s]*
/proc/loadavg: 1.82 1.85 1.82 5/229 21525
/proc/meminfo: memFree=30980608/32770624 swapFree=66996904/67108860
[pid=21510] ppid=21507 vsize=10659884 memory=39660 CPUtime=0.33 cores=1,3,5,7
/proc/21510/stat : 21510 (java) S 21507 21510 20165 0 -1 1077944320 9153 0 0 0 31 2 0 0 20 0 15 0 414899455 10915721216 9915 33554432000 4194304 4196468 140730224882576 140730224865120 140388427128567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
/proc/21510/statm: 2664971 9915 2983 1 0 2627468 0
[pid=21510/tid=21512] ppid=21507 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21510/task/21512/stat : 21512 (java) R 21507 21510 20165 0 -1 4202560 6119 0 0 0 18 2 0 0 20 0 15 0 414899455 10915721216 9915 33554432000 4194304 4196468 140730224882576 140388431366736 140388427150493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21513] ppid=21507 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21513/stat : 21513 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 9915 33554432000 4194304 4196468 140730224882576 140388034386320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21514] ppid=21507 vsize=10659884 memory=139881978619159 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21514/stat : 21514 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 9915 33554432000 4194304 4196468 140730224882576 140388033333520 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21515] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21515/stat : 21515 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 9915 33554432000 4194304 4196468 140730224882576 140388032281232 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21516] ppid=21507 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21516/stat : 21516 (java) S 21507 21510 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 9915 33554432000 4194304 4196468 140730224882576 140388031228432 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21517] ppid=21507 vsize=10659884 memory=139881975350912 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21517/stat : 21517 (java) S 21507 21510 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899457 10915721216 9915 33554432000 4194304 4196468 140730224882576 140387462146672 140388427139714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21518] ppid=21507 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21518/stat : 21518 (java) S 21507 21510 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414899458 10915721216 9915 33554432000 4194304 4196468 140730224882576 140387461092640 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21519] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21519/stat : 21519 (java) S 21507 21510 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414899458 10915721216 9915 33554432000 4194304 4196468 140730224882576 140387460040304 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21520] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21520/stat : 21520 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899461 10915721216 9915 33554432000 4194304 4196468 140730224882576 140387458988624 140388427147163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21521] ppid=21507 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21510/task/21521/stat : 21521 (java) S 21507 21510 20165 0 -1 1077944384 578 0 0 0 3 0 0 0 20 0 15 0 414899461 10915721216 9915 33554432000 4194304 4196468 140730224882576 140387457935472 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21522] ppid=21507 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21510/task/21522/stat : 21522 (java) S 21507 21510 20165 0 -1 1077944384 369 0 0 0 3 0 0 0 20 0 15 0 414899461 10915721216 9915 33554432000 4194304 4196468 140730224882576 140387456882672 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21523] ppid=21507 vsize=10659884 memory=139881975350912 CPUtime=0.05 cores=1,3,5,7
/proc/21510/task/21523/stat : 21523 (java) S 21507 21510 20165 0 -1 1077944384 728 0 0 0 5 0 0 0 20 0 15 0 414899461 10915721216 9915 33554432000 4194304 4196468 140730224882576 140387455830384 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21524] ppid=21507 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21524/stat : 21524 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899461 10915721216 9915 33554432000 4194304 4196468 140730224882576 140387454777824 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21525] ppid=21507 vsize=10659884 memory=139881975350912 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21525/stat : 21525 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899461 10915721216 9915 33554432000 4194304 4196468 140730224882576 140387453725616 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39660 KiB

[startup+0.310189 s]*
/proc/loadavg: 1.82 1.85 1.82 4/229 21525
/proc/meminfo: memFree=30978188/32770624 swapFree=66996904/67108860
[pid=21510] ppid=21507 vsize=10659884 memory=42448 CPUtime=0.47 cores=1,3,5,7
/proc/21510/stat : 21510 (java) S 21507 21510 20165 0 -1 1077944320 9345 0 0 0 45 2 0 0 20 0 15 0 414899455 10915721216 10612 33554432000 4194304 4196468 140730224882576 140730224865120 140388427128567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
/proc/21510/statm: 2664971 10612 3020 1 0 2627468 0
[pid=21510/tid=21512] ppid=21507 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/21510/task/21512/stat : 21512 (java) R 21507 21510 20165 0 -1 4202560 6243 0 0 0 28 2 0 0 20 0 15 0 414899455 10915721216 10612 33554432000 4194304 4196468 140730224882576 140388431360976 140388427150493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21513] ppid=21507 vsize=10659884 memory=4294976387 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21513/stat : 21513 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 10612 33554432000 4194304 4196468 140730224882576 140388034386320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21514] ppid=21507 vsize=10659884 memory=139881978618972 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21514/stat : 21514 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 10612 33554432000 4194304 4196468 140730224882576 140388033333520 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21515] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21515/stat : 21515 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 10612 33554432000 4194304 4196468 140730224882576 140388032281232 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21516] ppid=21507 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21516/stat : 21516 (java) S 21507 21510 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899456 10915721216 10612 33554432000 4194304 4196468 140730224882576 140388031228432 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21517] ppid=21507 vsize=10659884 memory=139881975350912 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21517/stat : 21517 (java) S 21507 21510 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899457 10915721216 10612 33554432000 4194304 4196468 140730224882576 140387462146672 140388427139714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21518] ppid=21507 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21518/stat : 21518 (java) S 21507 21510 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414899458 10915721216 10612 33554432000 4194304 4196468 140730224882576 140387461092640 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21519] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21519/stat : 21519 (java) S 21507 21510 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414899458 10915721216 10612 33554432000 4194304 4196468 140730224882576 140387460040304 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21520] ppid=21507 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21520/stat : 21520 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899461 10915721216 10612 33554432000 4194304 4196468 140730224882576 140387458988624 140388427147163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21521] ppid=21507 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21510/task/21521/stat : 21521 (java) S 21507 21510 20165 0 -1 1077944384 613 0 0 0 4 0 0 0 20 0 15 0 414899461 10915721216 10612 33554432000 4194304 4196468 140730224882576 140387457935472 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21522] ppid=21507 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/21510/task/21522/stat : 21522 (java) S 21507 21510 20165 0 -1 1077944384 377 0 0 0 4 0 0 0 20 0 15 0 414899461 10915721216 10612 33554432000 4194304 4196468 140730224882576 140387456882672 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21523] ppid=21507 vsize=10659884 memory=139881975350912 CPUtime=0.08 cores=1,3,5,7
/proc/21510/task/21523/stat : 21523 (java) S 21507 21510 20165 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 15 0 414899461 10915721216 10612 33554432000 4194304 4196468 140730224882576 140387455830384 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21524] ppid=21507 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21524/stat : 21524 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899461 10915721216 10612 33554432000 4194304 4196468 140730224882576 140387454777824 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21525] ppid=21507 vsize=10659884 memory=139881975350912 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21525/stat : 21525 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899461 10915721216 10612 33554432000 4194304 4196468 140730224882576 140387453725616 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 42448 KiB

[startup+0.705577 s]
/proc/loadavg: 1.82 1.85 1.82 3/229 21525
/proc/meminfo: memFree=30968176/32770624 swapFree=66996904/67108860
[pid=21510] ppid=21507 vsize=10661932 memory=65624 CPUtime=1.12 cores=1,3,5,7
/proc/21510/stat : 21510 (java) S 21507 21510 20165 0 -1 1077944320 12901 0 0 0 108 4 0 0 20 0 15 0 414899455 10917818368 16406 33554432000 4194304 4196468 140730224882576 140730224865120 140388427128567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
/proc/21510/statm: 2665483 16406 3073 1 0 2627980 0
[pid=21510/tid=21512] ppid=21507 vsize=10661932 memory=39424 CPUtime=0.68 cores=1,3,5,7
/proc/21510/task/21512/stat : 21512 (java) R 21507 21510 20165 0 -1 4202560 8814 0 0 0 65 3 0 0 20 0 15 0 414899455 10917818368 16406 33554432000 4194304 4196468 140730224882576 140388431360592 140388408692166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21513] ppid=21507 vsize=10661932 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21513/stat : 21513 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10917818368 16406 33554432000 4194304 4196468 140730224882576 140388034386320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21514] ppid=21507 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21514/stat : 21514 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10917818368 16406 33554432000 4194304 4196468 140730224882576 140388033333520 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21515] ppid=21507 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21515/stat : 21515 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10917818368 16406 33554432000 4194304 4196468 140730224882576 140388032281232 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21516] ppid=21507 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21516/stat : 21516 (java) S 21507 21510 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899456 10917818368 16406 33554432000 4194304 4196468 140730224882576 140388031228432 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21517] ppid=21507 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21517/stat : 21517 (java) S 21507 21510 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899457 10917818368 16406 33554432000 4194304 4196468 140730224882576 140387462146672 140388427139714 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21518] ppid=21507 vsize=10661932 memory=14 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21518/stat : 21518 (java) S 21507 21510 20165 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414899458 10917818368 16406 33554432000 4194304 4196468 140730224882576 140387461092640 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21519] ppid=21507 vsize=10661932 memory=16 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21519/stat : 21519 (java) S 21507 21510 20165 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414899458 10917818368 16406 33554432000 4194304 4196468 140730224882576 140387460040304 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21520] ppid=21507 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21520/stat : 21520 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899461 10917818368 16406 33554432000 4194304 4196468 140730224882576 140387458988624 140388427147163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21521] ppid=21507 vsize=10661932 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21510/task/21521/stat : 21521 (java) R 21507 21510 20165 0 -1 4202560 889 0 0 0 12 0 0 0 20 0 15 0 414899461 10917818368 16406 33554432000 4194304 4196468 140730224882576 140387457921568 140388408672726 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21522] ppid=21507 vsize=10661932 memory=1247 CPUtime=0.1 cores=1,3,5,7
/proc/21510/task/21522/stat : 21522 (java) S 21507 21510 20165 0 -1 1077944384 669 0 0 0 10 0 0 0 20 0 15 0 414899461 10917818368 16406 33554432000 4194304 4196468 140730224882576 140387456882672 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21523] ppid=21507 vsize=10661932 memory=84928 CPUtime=0.19 cores=1,3,5,7
/proc/21510/task/21523/stat : 21523 (java) S 21507 21510 20165 0 -1 1077944384 1170 0 0 0 19 0 0 0 20 0 15 0 414899461 10917818368 16406 33554432000 4194304 4196468 140730224882576 140387455830384 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21524] ppid=21507 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21524/stat : 21524 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899461 10917818368 16406 33554432000 4194304 4196468 140730224882576 140387454777824 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21525] ppid=21507 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21525/stat : 21525 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899461 10917818368 16406 33554432000 4194304 4196468 140730224882576 140387453725616 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 65624 KiB

[startup+1.50069 s]
/proc/loadavg: 1.82 1.85 1.82 3/229 21525
/proc/meminfo: memFree=30952108/32770624 swapFree=66996904/67108860
[pid=21510] ppid=21507 vsize=10663980 memory=77604 CPUtime=2.01 cores=1,3,5,7
/proc/21510/stat : 21510 (java) S 21507 21510 20165 0 -1 1077944320 16651 0 0 0 196 5 0 0 20 0 15 0 414899455 10919915520 19401 33554432000 4194304 4196468 140730224882576 140730224865120 140388427128567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
/proc/21510/statm: 2665995 19401 3094 1 0 2628492 0
[pid=21510/tid=21512] ppid=21507 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/21510/task/21512/stat : 21512 (java) R 21507 21510 20165 0 -1 4202560 11532 0 0 0 144 4 0 0 20 0 15 0 414899455 10919915520 19401 33554432000 4194304 4196468 140730224882576 140388431345504 140388411209054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21513] ppid=21507 vsize=10663980 memory=39424 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21513/stat : 21513 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10919915520 19401 33554432000 4194304 4196468 140730224882576 140388034386320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21514] ppid=21507 vsize=10663980 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21514/stat : 21514 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10919915520 19401 33554432000 4194304 4196468 140730224882576 140388033333520 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21515] ppid=21507 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21515/stat : 21515 (java) S 21507 21510 20165 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899456 10919915520 19401 33554432000 4194304 4196468 140730224882576 140388032281232 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21516] ppid=21507 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21516/stat : 21516 (java) S 21507 21510 20165 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899456 10919915520 19401 33554432000 4194304 4196468 140730224882576 140388031228432 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21517] ppid=21507 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21517/stat : 21517 (java) S 21507 21510 20165 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 414899457 10919915520 19401 33554432000 4194304 4196468 140730224882576 140387462146672 140388427139714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0

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

[startup+52.8007 s]
/proc/loadavg: 1.87 1.86 1.83 3/231 21531
/proc/meminfo: memFree=29146492/32770624 swapFree=66996904/67108860
[pid=21510] ppid=21507 vsize=10748324 memory=1890016 CPUtime=67.95 cores=1,3,5,7
/proc/21510/stat : 21510 (java) S 21507 21510 20165 0 -1 1077944320 66969 0 0 0 6606 189 0 0 20 0 16 0 414899455 11006283776 472504 33554432000 4194304 4196468 140730224882576 140730224865120 140388427128567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
/proc/21510/statm: 2687081 472504 3396 1 0 2647217 0
[pid=21510/tid=21512] ppid=21507 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/21510/task/21512/stat : 21512 (java) S 21507 21510 20165 0 -1 1077944384 13171 0 0 0 180 6 0 0 20 0 16 0 414899455 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388431371440 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21513] ppid=21507 vsize=10748324 memory=139881851105744 CPUtime=2.22 cores=1,3,5,7
/proc/21510/task/21513/stat : 21513 (java) S 21507 21510 20165 0 -1 1077944384 1132 0 0 0 180 42 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388034386320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21514] ppid=21507 vsize=10748324 memory=139881851105722 CPUtime=2.2 cores=1,3,5,7
/proc/21510/task/21514/stat : 21514 (java) S 21507 21510 20165 0 -1 1077944384 1214 0 0 0 180 40 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388033333520 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21515] ppid=21507 vsize=10748324 memory=3471342278171943456 CPUtime=2.24 cores=1,3,5,7
/proc/21510/task/21515/stat : 21515 (java) S 21507 21510 20165 0 -1 1077944384 1801 0 0 0 181 43 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388032281232 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21516] ppid=21507 vsize=10748324 memory=1804 CPUtime=2.25 cores=1,3,5,7
/proc/21510/task/21516/stat : 21516 (java) S 21507 21510 20165 0 -1 1077944384 848 0 0 0 184 41 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388031228432 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21517] ppid=21507 vsize=10748324 memory=916 CPUtime=0.12 cores=1,3,5,7
/proc/21510/task/21517/stat : 21517 (java) S 21507 21510 20165 0 -1 1077944384 2836 0 0 0 12 0 0 0 20 0 16 0 414899457 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387462146672 140388427139714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21518] ppid=21507 vsize=10748324 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21518/stat : 21518 (java) S 21507 21510 20165 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414899458 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387461092704 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21519] ppid=21507 vsize=10748324 memory=1890016 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21519/stat : 21519 (java) S 21507 21510 20165 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 414899458 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387460040320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21520] ppid=21507 vsize=10748324 memory=2616 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21520/stat : 21520 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387458988624 140388427147163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21521] ppid=21507 vsize=10748324 memory=1890016 CPUtime=3.67 cores=1,3,5,7
/proc/21510/task/21521/stat : 21521 (java) S 21507 21510 20165 0 -1 1077944384 9577 0 0 0 366 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387457935472 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21522] ppid=21507 vsize=10748324 memory=2012 CPUtime=3.47 cores=1,3,5,7
/proc/21510/task/21522/stat : 21522 (java) S 21507 21510 20165 0 -1 1077944384 9643 0 0 0 346 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387456882672 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21523] ppid=21507 vsize=10748324 memory=1388 CPUtime=1.3 cores=1,3,5,7
/proc/21510/task/21523/stat : 21523 (java) S 21507 21510 20165 0 -1 1077944384 11398 0 0 0 128 2 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387455830384 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21524] ppid=21507 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21524/stat : 21524 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387454777824 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21525] ppid=21507 vsize=10748324 memory=225 CPUtime=0.02 cores=1,3,5,7
/proc/21510/task/21525/stat : 21525 (java) S 21507 21510 20165 0 -1 1077944384 699 0 0 0 1 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387453725616 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21526] ppid=21507 vsize=10748324 memory=12 CPUtime=48.49 cores=1,3,5,7
/proc/21510/task/21526/stat : 21526 (java) R 21507 21510 20165 0 -1 4202560 13195 0 0 0 4842 7 0 0 20 0 16 0 414899643 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387450569960 140388073552839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
Current children cumulated CPU time: 67.95 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1890016 KiB

[startup+54.4007 s]
/proc/loadavg: 1.87 1.86 1.83 3/230 21531
/proc/meminfo: memFree=29146788/32770624 swapFree=66996904/67108860
[pid=21510] ppid=21507 vsize=10748324 memory=1890016 CPUtime=69.55 cores=1,3,5,7
/proc/21510/stat : 21510 (java) S 21507 21510 20165 0 -1 1077944320 66969 0 0 0 6766 189 0 0 20 0 16 0 414899455 11006283776 472504 33554432000 4194304 4196468 140730224882576 140730224865120 140388427128567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
/proc/21510/statm: 2687081 472504 3396 1 0 2647217 0
[pid=21510/tid=21512] ppid=21507 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/21510/task/21512/stat : 21512 (java) S 21507 21510 20165 0 -1 1077944384 13171 0 0 0 180 6 0 0 20 0 16 0 414899455 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388431371440 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21513] ppid=21507 vsize=10748324 memory=5948 CPUtime=2.22 cores=1,3,5,7
/proc/21510/task/21513/stat : 21513 (java) S 21507 21510 20165 0 -1 1077944384 1132 0 0 0 180 42 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388034386320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21514] ppid=21507 vsize=10748324 memory=14004 CPUtime=2.2 cores=1,3,5,7
/proc/21510/task/21514/stat : 21514 (java) S 21507 21510 20165 0 -1 1077944384 1214 0 0 0 180 40 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388033333520 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21515] ppid=21507 vsize=10748324 memory=2124 CPUtime=2.24 cores=1,3,5,7
/proc/21510/task/21515/stat : 21515 (java) S 21507 21510 20165 0 -1 1077944384 1801 0 0 0 181 43 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388032281232 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21516] ppid=21507 vsize=10748324 memory=1890016 CPUtime=2.25 cores=1,3,5,7
/proc/21510/task/21516/stat : 21516 (java) S 21507 21510 20165 0 -1 1077944384 848 0 0 0 184 41 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388031228432 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21517] ppid=21507 vsize=10748324 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21510/task/21517/stat : 21517 (java) S 21507 21510 20165 0 -1 1077944384 2836 0 0 0 12 0 0 0 20 0 16 0 414899457 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387462146672 140388427139714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21518] ppid=21507 vsize=10748324 memory=139881850893729 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21518/stat : 21518 (java) S 21507 21510 20165 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414899458 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387461092704 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21519] ppid=21507 vsize=10748324 memory=5937549073046924389 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21519/stat : 21519 (java) S 21507 21510 20165 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 414899458 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387460040320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21520] ppid=21507 vsize=10748324 memory=347 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21520/stat : 21520 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387458988624 140388427147163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21521] ppid=21507 vsize=10748324 memory=130 CPUtime=3.67 cores=1,3,5,7
/proc/21510/task/21521/stat : 21521 (java) S 21507 21510 20165 0 -1 1077944384 9577 0 0 0 366 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387457935472 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21522] ppid=21507 vsize=10748324 memory=0 CPUtime=3.47 cores=1,3,5,7
/proc/21510/task/21522/stat : 21522 (java) S 21507 21510 20165 0 -1 1077944384 9643 0 0 0 346 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387456882672 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21523] ppid=21507 vsize=10748324 memory=2 CPUtime=1.3 cores=1,3,5,7
/proc/21510/task/21523/stat : 21523 (java) S 21507 21510 20165 0 -1 1077944384 11398 0 0 0 128 2 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387455830384 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21524] ppid=21507 vsize=10748324 memory=4529 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21524/stat : 21524 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387454777824 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21525] ppid=21507 vsize=10748324 memory=39424 CPUtime=0.02 cores=1,3,5,7
/proc/21510/task/21525/stat : 21525 (java) S 21507 21510 20165 0 -1 1077944384 699 0 0 0 1 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387453725616 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21526] ppid=21507 vsize=10748324 memory=3028 CPUtime=50.09 cores=1,3,5,7
/proc/21510/task/21526/stat : 21526 (java) R 21507 21510 20165 0 -1 4202560 13195 0 0 0 5002 7 0 0 20 0 16 0 414899643 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387450564176 140388068202622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
Current children cumulated CPU time: 69.55 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1890016 KiB

[startup+54.8007 s]
/proc/loadavg: 1.87 1.86 1.83 3/230 21531
/proc/meminfo: memFree=29146788/32770624 swapFree=66996904/67108860
[pid=21510] ppid=21507 vsize=10748324 memory=1890016 CPUtime=69.95 cores=1,3,5,7
/proc/21510/stat : 21510 (java) S 21507 21510 20165 0 -1 1077944320 67027 0 0 0 6806 189 0 0 20 0 16 0 414899455 11006283776 472504 33554432000 4194304 4196468 140730224882576 140730224865120 140388427128567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
/proc/21510/statm: 2687081 472504 3396 1 0 2647217 0
[pid=21510/tid=21512] ppid=21507 vsize=10748324 memory=500 CPUtime=1.86 cores=1,3,5,7
/proc/21510/task/21512/stat : 21512 (java) S 21507 21510 20165 0 -1 1077944384 13171 0 0 0 180 6 0 0 20 0 16 0 414899455 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388431371440 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21513] ppid=21507 vsize=10748324 memory=1560 CPUtime=2.22 cores=1,3,5,7
/proc/21510/task/21513/stat : 21513 (java) S 21507 21510 20165 0 -1 1077944384 1132 0 0 0 180 42 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388034386320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21514] ppid=21507 vsize=10748324 memory=932 CPUtime=2.2 cores=1,3,5,7
/proc/21510/task/21514/stat : 21514 (java) S 21507 21510 20165 0 -1 1077944384 1214 0 0 0 180 40 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388033333520 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21515] ppid=21507 vsize=10748324 memory=3624 CPUtime=2.24 cores=1,3,5,7
/proc/21510/task/21515/stat : 21515 (java) S 21507 21510 20165 0 -1 1077944384 1801 0 0 0 181 43 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388032281232 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21516] ppid=21507 vsize=10748324 memory=1980 CPUtime=2.25 cores=1,3,5,7
/proc/21510/task/21516/stat : 21516 (java) S 21507 21510 20165 0 -1 1077944384 848 0 0 0 184 41 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388031228432 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21517] ppid=21507 vsize=10748324 memory=2512 CPUtime=0.12 cores=1,3,5,7
/proc/21510/task/21517/stat : 21517 (java) S 21507 21510 20165 0 -1 1077944384 2836 0 0 0 12 0 0 0 20 0 16 0 414899457 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387462146672 140388427139714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21518] ppid=21507 vsize=10748324 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21518/stat : 21518 (java) S 21507 21510 20165 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414899458 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387461092704 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21519] ppid=21507 vsize=10748324 memory=812 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21519/stat : 21519 (java) S 21507 21510 20165 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 414899458 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387460040320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21520] ppid=21507 vsize=10748324 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21520/stat : 21520 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387458988624 140388427147163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21521] ppid=21507 vsize=10748324 memory=111628 CPUtime=3.67 cores=1,3,5,7
/proc/21510/task/21521/stat : 21521 (java) S 21507 21510 20165 0 -1 1077944384 9577 0 0 0 366 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387457935472 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21522] ppid=21507 vsize=10748324 memory=796 CPUtime=3.47 cores=1,3,5,7
/proc/21510/task/21522/stat : 21522 (java) S 21507 21510 20165 0 -1 1077944384 9643 0 0 0 346 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387456882672 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21523] ppid=21507 vsize=10748324 memory=1804 CPUtime=1.3 cores=1,3,5,7
/proc/21510/task/21523/stat : 21523 (java) S 21507 21510 20165 0 -1 1077944384 11398 0 0 0 128 2 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387455830384 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21524] ppid=21507 vsize=10748324 memory=916 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21524/stat : 21524 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387454777824 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21525] ppid=21507 vsize=10748324 memory=3848 CPUtime=0.02 cores=1,3,5,7
/proc/21510/task/21525/stat : 21525 (java) S 21507 21510 20165 0 -1 1077944384 699 0 0 0 1 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387453725616 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21526] ppid=21507 vsize=10748324 memory=2684 CPUtime=50.49 cores=1,3,5,7
/proc/21510/task/21526/stat : 21526 (java) R 21507 21510 20165 0 -1 4202560 13253 0 0 0 5042 7 0 0 20 0 16 0 414899643 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387450564176 140388068181992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
Current children cumulated CPU time: 69.95 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1890016 KiB

[startup+55.0007 s]*
/proc/loadavg: 1.87 1.86 1.83 3/230 21531
/proc/meminfo: memFree=29146788/32770624 swapFree=66996904/67108860
[pid=21510] ppid=21507 vsize=10748324 memory=1890016 CPUtime=70.16 cores=1,3,5,7
/proc/21510/stat : 21510 (java) S 21507 21510 20165 0 -1 1077944320 67027 0 0 0 6827 189 0 0 20 0 16 0 414899455 11006283776 472504 33554432000 4194304 4196468 140730224882576 140730224865120 140388427128567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
/proc/21510/statm: 2687081 472504 3396 1 0 2647217 0
[pid=21510/tid=21512] ppid=21507 vsize=10748324 memory=932 CPUtime=1.86 cores=1,3,5,7
/proc/21510/task/21512/stat : 21512 (java) S 21507 21510 20165 0 -1 1077944384 13171 0 0 0 180 6 0 0 20 0 16 0 414899455 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388431371440 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21513] ppid=21507 vsize=10748324 memory=3624 CPUtime=2.22 cores=1,3,5,7
/proc/21510/task/21513/stat : 21513 (java) S 21507 21510 20165 0 -1 1077944384 1132 0 0 0 180 42 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388034386320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21514] ppid=21507 vsize=10748324 memory=1980 CPUtime=2.2 cores=1,3,5,7
/proc/21510/task/21514/stat : 21514 (java) S 21507 21510 20165 0 -1 1077944384 1214 0 0 0 180 40 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388033333520 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21515] ppid=21507 vsize=10748324 memory=8317482817917895235 CPUtime=2.24 cores=1,3,5,7
/proc/21510/task/21515/stat : 21515 (java) S 21507 21510 20165 0 -1 1077944384 1801 0 0 0 181 43 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388032281232 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21516] ppid=21507 vsize=10748324 memory=9349 CPUtime=2.25 cores=1,3,5,7
/proc/21510/task/21516/stat : 21516 (java) S 21507 21510 20165 0 -1 1077944384 848 0 0 0 184 41 0 0 20 0 16 0 414899456 11006283776 472504 33554432000 4194304 4196468 140730224882576 140388031228432 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21517] ppid=21507 vsize=10748324 memory=2847907 CPUtime=0.12 cores=1,3,5,7
/proc/21510/task/21517/stat : 21517 (java) S 21507 21510 20165 0 -1 1077944384 2836 0 0 0 12 0 0 0 20 0 16 0 414899457 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387462146672 140388427139714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21518] ppid=21507 vsize=10748324 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21518/stat : 21518 (java) S 21507 21510 20165 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414899458 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387461092704 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21519] ppid=21507 vsize=10748324 memory=7366041353889810542 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21519/stat : 21519 (java) S 21507 21510 20165 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 414899458 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387460040320 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21520] ppid=21507 vsize=10748324 memory=5864038972324014948 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21520/stat : 21520 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387458988624 140388427147163 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21521] ppid=21507 vsize=10748324 memory=139881851120144 CPUtime=3.67 cores=1,3,5,7
/proc/21510/task/21521/stat : 21521 (java) S 21507 21510 20165 0 -1 1077944384 9577 0 0 0 366 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387457935472 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21522] ppid=21507 vsize=10748324 memory=7810763844726514514 CPUtime=3.47 cores=1,3,5,7
/proc/21510/task/21522/stat : 21522 (java) S 21507 21510 20165 0 -1 1077944384 9643 0 0 0 346 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387456882672 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21523] ppid=21507 vsize=10748324 memory=7380385388137112419 CPUtime=1.3 cores=1,3,5,7
/proc/21510/task/21523/stat : 21523 (java) S 21507 21510 20165 0 -1 1077944384 11398 0 0 0 128 2 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387455830384 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21524] ppid=21507 vsize=10748324 memory=7451554638132892756 CPUtime=0 cores=1,3,5,7
/proc/21510/task/21524/stat : 21524 (java) S 21507 21510 20165 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387454777824 140388427138773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21525] ppid=21507 vsize=10748324 memory=6944656592455097440 CPUtime=0.02 cores=1,3,5,7
/proc/21510/task/21525/stat : 21525 (java) S 21507 21510 20165 0 -1 1077944384 699 0 0 0 1 1 0 0 20 0 16 0 414899461 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387453725616 140388427139714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
[pid=21510/tid=21526] ppid=21507 vsize=10748324 memory=6655300316396806240 CPUtime=50.7 cores=1,3,5,7
/proc/21510/task/21526/stat : 21526 (java) R 21507 21510 20165 0 -1 4202560 13253 0 0 0 5063 7 0 0 20 0 16 0 414899643 11006283776 472504 33554432000 4194304 4196468 140730224882576 140387450564176 140388071113160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36483072 140730224890891 140730224890994 140730224890994 140730224893903 0
Current children cumulated CPU time: 70.16 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1890016 KiB

Child status: 0
Real time (s): 55.0948
CPU time (s): 70.2618
CPU user time (s): 68.3474
CPU system time (s): 1.91437
CPU usage (%): 127.529
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1890016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.3474
system time used= 1.91437
maximum resident set size= 1890708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68026
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5329
involuntary context switches= 155


# summary of solver processes directly reported to runsolver:
#   pid: 21510
#   total CPU time (s): 70.2618
#   total CPU user time (s): 68.3474
#   total CPU system time (s): 1.91437

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.362321 second user time and 0.573847 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-13 16:53:25
IDJOB=4390861
IDBENCH=140457
IDSOLVER=2832
FILE ID=node103/4390861-1568386464
RUNJOBID= node103-1568380458-20197
PBS_JOBID= 21701851
Free space on /tmp= 57256 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390861-1568386464/watcher-4390861-1568386464 -o /tmp/evaluation-result-4390861-1568386464/solver-4390861-1568386464 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568380458-20197 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390861-1568386464.xml -cm

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

MD5SUM BENCH= 00ff107c10292685d5feb35a59a49636
RANDOM SEED=1503652811

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31009664 kB
MemAvailable:   31216800 kB
Buffers:           50248 kB
Cached:           434924 kB
SwapCached:         9136 kB
Active:          1074012 kB
Inactive:          90612 kB
Active(anon):     673060 kB
Inactive(anon):    47624 kB
Active(file):     400952 kB
Inactive(file):    42988 kB
Unevictable:      110532 kB
Mlocked:          110532 kB
SwapTotal:      67108860 kB
SwapFree:       66996904 kB
Dirty:              9192 kB
Writeback:             0 kB
AnonPages:        591652 kB
Mapped:            56504 kB
Shmem:             32604 kB
Slab:             186808 kB
SReclaimable:     158060 kB
SUnreclaim:        28748 kB
KernelStack:        4016 kB
PageTables:         7168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1580852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    481280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 57248 MiB
End job on node103 at 2019-09-13 16:54:20