Trace number 4391045

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-23SAT (TO)3472 2520.03 2511.31

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-088.xml
MD5SUM433b6a25d6964ee5472894f745fbe815
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark812
Best CPU time to get the best result obtained on this benchmark2520.07
Satisfiable
(Un)Satisfiability was proved
Number of variables7831
Number of constraints4002
Number of domains175
Minimum domain size2
Maximum domain size175
Distribution of domain sizes[{"size":2,"count":3917},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"count":1}, {"size":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}]
Minimum variable degree0
Maximum variable degree87
Distribution of variable degrees[{"degree":0,"count":3741},{"degree":2,"count":4002},{"degree":87,"count":88}]
Minimum constraint arity2
Maximum constraint arity88
Distribution of constraint arities[{"arity":2,"count":88},{"arity":3,"count":3829},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"count":1}, {"arity":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}]
Number of extensional constraints0
Number of intensional constraints3915
Distribution of constraint types[{"type":"intension","count":3915},{"type":"sum","count":87}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

2.41/1.88	
2.41/1.88	AbsCon 2 
2.41/1.90	
3.97/2.30	  Instance
3.97/2.30	    name=instance-4391045-1568382525, framework=COP, bounds=-infty..+infty
3.97/2.30	
3.97/2.30	  Loading variables...
4.30/2.44	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8d7a02
6.59/3.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772d1736
6.59/3.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ed1062
6.59/3.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40bef710
6.59/3.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@193c8035
6.59/3.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f325675
6.59/3.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45ac8fbb
6.59/3.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c217bc
6.59/3.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fde25
6.59/3.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a45fb61
6.59/3.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f82f8a0
6.59/3.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c8fc93
6.59/3.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b46bdc8
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b8236f
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@306b6bd9
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f8a24bc
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b78dbe
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48917d34
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576bbf63
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6262a828
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a3422b
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e885b77
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55edd363
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44fafb3
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ba6ec87
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac46fd5
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc221ac
6.59/3.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d076770
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15751e4
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@434a07ef
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a5afd19
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a19fd6f
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c412314
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f49e51d
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e2fe3a6
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30936016
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73130204
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e9fd48
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160d7e8f
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fd179d7
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@556791c5
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7be29d5
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d34adf3
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77766e27
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1caacda4
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5962714e
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a309ff8
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64bbb2d2
6.59/3.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47b75af7
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aac8ce6
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28136f6a
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c208b2
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@208bfcfc
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@759efc80
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c05b1d3
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d1fd57f
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@690c5424
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f0e919b
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9f3058
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481a941
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39107d18
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5dbe38
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61d9fd1b
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf32056
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@536ffaae
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c85db69
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a101c22
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53ea489a
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e66cf84
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ab0d610
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f932838
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@778f6d74
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1f10
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@605dff9
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31aefb25
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c4c50ef
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@610a2a98
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e5cd85a
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15a6de11
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@241c8f2f
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613103c7
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d35afab
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@668be61b
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a792aa9
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53cef597
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f3f3f9
6.59/3.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b1fdb48
7.27/3.39	
7.27/3.39	
7.27/3.39	  Domains
7.27/3.39	    nTypes=175, nValues=19490, sizes=[2#3917,3#2,4#1,5#2...169#1,171#1,173#1,175#1]
7.27/3.39	  Variables
7.27/3.39	    count=4090, degrees=[2#4002,87#88]
7.27/3.39	  Objectives
7.27/3.39	    way=min, type=SumSimpleLE
7.27/3.39	  Constraints
7.27/3.39	    count=4003, nSpecific=88, arities=[2#88,3#3829,4#1,5#1...85#1,86#1,87#2,88#1]
7.27/3.39	    distribution=[CtrIntension#3915,SumSimpleLE#1,SumWeightedEQ#87]
7.27/3.39	    nIntStructures=(88,shared:3827), nCftStructures=(88,shared:3827,unbuilt:88)
7.27/3.39	    wck=1.535, cpu=3.321, mem=30M925
7.58/3.41	  Solver SolverBacktrack being built...
7.58/3.41	
7.58/3.46	
7.58/3.46	  Solver
7.58/3.46	    guaranteedGAC=false
7.58/3.46	    wck=1.614, cpu=3.4, mem=110M431
7.83/3.58	
7.83/3.58	  Preprocessing
7.83/3.58	    filters=0, ccks=458179, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
7.83/3.58	    wck=0.112, cpu=3.514, mem=110M431
7.83/3.58	
8.31/3.79	o 223300
8.67/3.81	    num=0, depth=4091..4089, filters=9592, revisions=(15399,useless=9635), ccks=924094, wck=0.345, mem=113M47
8.67/3.81	    decisions=88, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=223300
8.67/3.81	    
9.26/4.02	o 208336
9.26/4.03	    num=1, depth=0..4089, filters=19114, revisions=(30928,useless=19428), ccks=1046286, wck=0.563, mem=118M279
9.26/4.03	    decisions=178, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=208336
9.26/4.03	    
9.57/4.20	o 194060
9.79/4.21	    num=2, depth=87..4089, filters=28821, revisions=(46849,useless=29470), ccks=1172588, wck=0.741, mem=120M895
9.79/4.21	    decisions=267, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=194060
9.79/4.21	    
10.02/4.37	o 36208
10.02/4.38	    num=3, depth=47..4089, filters=38248, revisions=(68393,useless=45283), ccks=1201922, wck=0.917, mem=123M511
10.02/4.38	    decisions=319, wrong=4, backtracks=0, failedAssignments=4, nogoods=3, foundSolutions=4, bestBound=36208
10.02/4.38	    
10.41/4.52	o 33656
10.41/4.53	    num=4, depth=4091..4089, filters=45205, revisions=(86535,useless=59427), ccks=1231684, wck=1.061, mem=126M127
10.41/4.53	    decisions=368, wrong=4, backtracks=0, failedAssignments=4, nogoods=3, foundSolutions=5, bestBound=33656
10.41/4.53	    
10.69/4.72	    num=5, depth=48..89, filters=63490, revisions=(115674,useless=77289), ccks=1408788, wck=1.251, mem=126M127
10.69/4.72	    decisions=486, wrong=22, backtracks=13, failedAssignments=15, nogoods=7, foundSolutions=5, bestBound=33656
10.69/4.72	    
10.69/4.78	o 24932
10.69/4.78	    num=6, depth=79..4089, filters=71905, revisions=(144220,useless=100460), ccks=1548645, wck=1.317, mem=128M804
10.69/4.78	    decisions=582, wrong=29, backtracks=16, failedAssignments=21, nogoods=11, foundSolutions=6, bestBound=24932
10.69/4.78	    
10.95/4.93	o 16092
10.95/4.94	    num=7, depth=79..4089, filters=79399, revisions=(169935,useless=121326), ccks=1723973, wck=1.476, mem=131M420
10.95/4.94	    decisions=666, wrong=31, backtracks=16, failedAssignments=23, nogoods=13, foundSolutions=7, bestBound=16092
10.95/4.94	    
11.17/5.10	    num=8, depth=78..84, filters=92087, revisions=(193729,useless=136087), ccks=1942921, wck=1.635, mem=131M420
11.17/5.10	    decisions=782, wrong=48, backtracks=24, failedAssignments=34, nogoods=17, foundSolutions=7, bestBound=16092
11.17/5.10	    
11.28/5.18	o 4376
11.28/5.19	    num=9, depth=72..4089, filters=104875, revisions=(225227,useless=159863), ccks=2112453, wck=1.722, mem=134M36
11.28/5.19	    decisions=864, wrong=51, backtracks=24, failedAssignments=37, nogoods=20, foundSolutions=8, bestBound=4376
11.28/5.19	    
11.47/5.39	    num=10, depth=72..78, filters=128737, revisions=(261156,useless=181062), ccks=2336723, wck=1.922, mem=134M36
11.47/5.39	    decisions=969, wrong=67, backtracks=35, failedAssignments=49, nogoods=25, foundSolutions=8, bestBound=4376
11.47/5.39	    
11.68/5.51	    num=11, depth=75..82, filters=160688, revisions=(304960,useless=206091), ccks=2535125, wck=2.047, mem=134M36
11.68/5.51	    decisions=1075, wrong=81, backtracks=39, failedAssignments=60, nogoods=35, foundSolutions=8, bestBound=4376
11.68/5.51	    
11.80/5.61	    num=12, depth=80..85, filters=179753, revisions=(336830,useless=225278), ccks=2769171, wck=2.145, mem=134M36
11.80/5.61	    decisions=1196, wrong=101, backtracks=49, failedAssignments=72, nogoods=41, foundSolutions=8, bestBound=4376
11.80/5.61	    
11.90/5.70	    num=13, depth=79..85, filters=199858, revisions=(367408,useless=242502), ccks=3015524, wck=2.239, mem=136M652
11.90/5.70	    decisions=1315, wrong=121, backtracks=62, failedAssignments=85, nogoods=42, foundSolutions=8, bestBound=4376
11.90/5.70	    
11.90/5.77	    num=14, depth=79..90, filters=210527, revisions=(387159,useless=254587), ccks=3217800, wck=2.303, mem=136M652
11.90/5.77	    decisions=1440, wrong=140, backtracks=67, failedAssignments=99, nogoods=51, foundSolutions=8, bestBound=4376
11.90/5.77	    
12.01/5.84	    num=15, depth=78..87, filters=222354, revisions=(409037,useless=267830), ccks=3426798, wck=2.371, mem=136M652
12.01/5.84	    decisions=1570, wrong=162, backtracks=75, failedAssignments=115, nogoods=56, foundSolutions=8, bestBound=4376
12.01/5.84	    
12.15/5.90	    num=16, depth=82..87, filters=233059, revisions=(428917,useless=280064), ccks=3621304, wck=2.439, mem=136M652
12.15/5.90	    decisions=1701, wrong=186, backtracks=84, failedAssignments=132, nogoods=58, foundSolutions=8, bestBound=4376
12.15/5.90	    
12.15/5.97	    num=17, depth=83..92, filters=245609, revisions=(451126,useless=293092), ccks=3811412, wck=2.51, mem=136M652
12.15/5.97	    decisions=1845, wrong=216, backtracks=95, failedAssignments=151, nogoods=63, foundSolutions=8, bestBound=4376
12.15/5.97	    
12.28/6.06	    num=18, depth=83..91, filters=259722, revisions=(475409,useless=306969), ccks=4021953, wck=2.596, mem=136M652
12.28/6.06	    decisions=1987, wrong=242, backtracks=100, failedAssignments=172, nogoods=80, foundSolutions=8, bestBound=4376
12.28/6.06	    
12.39/6.15	o 3660
12.39/6.15	    num=19, depth=76..4089, filters=276739, revisions=(511222,useless=330184), ccks=4241679, wck=2.687, mem=139M268
12.39/6.15	    decisions=2102, wrong=260, backtracks=112, failedAssignments=181, nogoods=81, foundSolutions=9, bestBound=3660
12.39/6.15	    
12.59/6.33	    num=20, depth=85..92, filters=295617, revisions=(541115,useless=346080), ccks=4471014, wck=2.865, mem=139M268
12.59/6.33	    decisions=2271, wrong=300, backtracks=128, failedAssignments=206, nogoods=89, foundSolutions=9, bestBound=3660
12.59/6.33	    
12.78/6.41	o 3472
12.78/6.41	    num=21, depth=79..4089, filters=304012, revisions=(564350,useless=363552), ccks=4637587, wck=2.946, mem=141M884
12.78/6.41	    decisions=2357, wrong=302, backtracks=128, failedAssignments=208, nogoods=91, foundSolutions=10, bestBound=3472
12.78/6.41	    
12.89/6.57	    num=22, depth=85..90, filters=316353, revisions=(586018,useless=376238), ccks=4810432, wck=3.101, mem=141M884
12.89/6.57	    decisions=2477, wrong=319, backtracks=134, failedAssignments=220, nogoods=98, foundSolutions=10, bestBound=3472
12.89/6.57	    
12.99/6.63	    num=23, depth=84..88, filters=328165, revisions=(606785,useless=388655), ccks=4981010, wck=3.164, mem=141M884
12.99/6.63	    decisions=2594, wrong=335, backtracks=139, failedAssignments=231, nogoods=106, foundSolutions=10, bestBound=3472
12.99/6.63	    
12.99/6.70	    num=24, depth=82..86, filters=341708, revisions=(630567,useless=402413), ccks=5151034, wck=3.231, mem=144M500
12.99/6.70	    decisions=2715, wrong=354, backtracks=147, failedAssignments=243, nogoods=108, foundSolutions=10, bestBound=3472
12.99/6.70	    
13.09/6.76	    num=25, depth=82..89, filters=354118, revisions=(653328,useless=415942), ccks=5328323, wck=3.294, mem=144M500
13.09/6.76	    decisions=2837, wrong=373, backtracks=154, failedAssignments=256, nogoods=111, foundSolutions=10, bestBound=3472
13.09/6.76	    
13.19/6.83	    num=26, depth=81..86, filters=369433, revisions=(679653,useless=431114), ccks=5508472, wck=3.366, mem=144M500
13.19/6.83	    decisions=2960, wrong=394, backtracks=163, failedAssignments=270, nogoods=113, foundSolutions=10, bestBound=3472
13.19/6.83	    
13.30/6.92	    num=27, depth=79..84, filters=388624, revisions=(712964,useless=449984), ccks=5746474, wck=3.455, mem=144M500
13.30/6.92	    decisions=3091, wrong=420, backtracks=176, failedAssignments=286, nogoods=115, foundSolutions=10, bestBound=3472
13.30/6.92	    
13.30/7.01	    num=28, depth=78..85, filters=407201, revisions=(744298,useless=467659), ccks=5979684, wck=3.541, mem=144M500
13.30/7.01	    decisions=3225, wrong=447, backtracks=188, failedAssignments=303, nogoods=118, foundSolutions=10, bestBound=3472
13.30/7.01	    
13.40/7.10	    num=29, depth=80..87, filters=427950, revisions=(777231,useless=485248), ccks=6201273, wck=3.631, mem=144M500
13.40/7.10	    decisions=3369, wrong=479, backtracks=204, failedAssignments=322, nogoods=119, foundSolutions=10, bestBound=3472
13.40/7.10	    
13.51/7.17	    num=30, depth=82..86, filters=443708, revisions=(803886,useless=500481), ccks=6375361, wck=3.704, mem=147M116
13.51/7.17	    decisions=3512, wrong=509, backtracks=218, failedAssignments=343, nogoods=129, foundSolutions=10, bestBound=3472
13.51/7.17	    
13.70/7.30	    num=31, depth=73..81, filters=478897, revisions=(858550,useless=528462), ccks=6659895, wck=3.834, mem=147M116
13.70/7.30	    decisions=3689, wrong=560, backtracks=257, failedAssignments=366, nogoods=134, foundSolutions=10, bestBound=3472
13.70/7.30	    
13.70/7.37	    num=32, depth=85..91, filters=492824, revisions=(880759,useless=540594), ccks=6856299, wck=3.906, mem=147M116
13.70/7.37	    decisions=3842, wrong=592, backtracks=265, failedAssignments=391, nogoods=143, foundSolutions=10, bestBound=3472
13.70/7.37	    
13.80/7.46	    num=33, depth=80..93, filters=513164, revisions=(911144,useless=555955), ccks=7044060, wck=3.993, mem=147M116
13.80/7.46	    decisions=4010, wrong=633, backtracks=282, failedAssignments=419, nogoods=155, foundSolutions=10, bestBound=3472
13.80/7.46	    
13.90/7.53	    num=34, depth=84..91, filters=529412, revisions=(936103,useless=568894), ccks=7217964, wck=4.067, mem=147M116
13.90/7.53	    decisions=4189, wrong=679, backtracks=299, failedAssignments=450, nogoods=159, foundSolutions=10, bestBound=3472
13.90/7.53	    
14.18/7.75	    num=35, depth=77..83, filters=575245, revisions=(998305,useless=597230), ccks=7607181, wck=4.29, mem=149M732
14.18/7.75	    decisions=4405, wrong=747, backtracks=346, failedAssignments=484, nogoods=163, foundSolutions=10, bestBound=3472
14.18/7.75	    
14.28/7.83	    num=36, depth=83..91, filters=593367, revisions=(1026191,useless=611238), ccks=7790162, wck=4.367, mem=149M732
14.28/7.83	    decisions=4603, wrong=803, backtracks=366, failedAssignments=521, nogoods=167, foundSolutions=10, bestBound=3472
14.28/7.83	    
14.39/7.92	    num=37, depth=76..87, filters=609916, revisions=(1051531,useless=625146), ccks=8023277, wck=4.458, mem=149M732
14.39/7.92	    decisions=4791, wrong=858, backtracks=410, failedAssignments=562, nogoods=170, foundSolutions=10, bestBound=3472
14.39/7.92	    
14.50/8.02	    num=38, depth=80..88, filters=637007, revisions=(1094445,useless=646717), ccks=8259355, wck=4.559, mem=149M732
14.50/8.02	    decisions=5011, wrong=926, backtracks=440, failedAssignments=607, nogoods=175, foundSolutions=10, bestBound=3472
14.50/8.02	    
14.60/8.16	    num=39, depth=80..87, filters=676292, revisions=(1153560,useless=675788), ccks=8529044, wck=4.693, mem=149M732
14.60/8.16	    decisions=5265, wrong=1012, backtracks=483, failedAssignments=657, nogoods=184, foundSolutions=10, bestBound=3472
14.60/8.16	    
14.69/8.28	    num=40, depth=80..87, filters=708280, revisions=(1202667,useless=701001), ccks=8798759, wck=4.82, mem=152M348
14.69/8.28	    decisions=5507, wrong=1092, backtracks=524, failedAssignments=712, nogoods=193, foundSolutions=10, bestBound=3472
14.69/8.28	    
14.89/8.40	    num=41, depth=26..92, filters=738444, revisions=(1247909,useless=723651), ccks=9063109, wck=4.936, mem=152M348
14.89/8.40	    decisions=5777, wrong=1186, backtracks=567, failedAssignments=773, nogoods=199, foundSolutions=10, bestBound=3472
14.89/8.40	    
14.99/8.59	    num=42, depth=46..89, filters=789368, revisions=(1325156,useless=761572), ccks=9528274, wck=5.128, mem=152M348
14.99/8.59	    decisions=6098, wrong=1307, backtracks=636, failedAssignments=840, nogoods=207, foundSolutions=10, bestBound=3472
14.99/8.59	    
15.19/8.73	    num=43, depth=82..89, filters=825272, revisions=(1374941,useless=783867), ccks=9803906, wck=5.261, mem=154M964
15.19/8.73	    decisions=6405, wrong=1419, backtracks=681, failedAssignments=914, nogoods=213, foundSolutions=10, bestBound=3472
15.19/8.73	    
15.29/8.87	    num=44, depth=67..80, filters=849910, revisions=(1414510,useless=806463), ccks=10252917, wck=5.408, mem=154M964
15.29/8.87	    decisions=6713, wrong=1538, backtracks=777, failedAssignments=995, nogoods=218, foundSolutions=10, bestBound=3472
15.29/8.87	    
15.50/9.04	    num=45, depth=79..87, filters=890727, revisions=(1484346,useless=844099), ccks=10664883, wck=5.573, mem=154M964
15.50/9.04	    decisions=7058, wrong=1670, backtracks=837, failedAssignments=1084, nogoods=226, foundSolutions=10, bestBound=3472
15.50/9.04	    
16.06/9.41	    num=46, depth=79..87, filters=978450, revisions=(1608510,useless=903320), ccks=11297685, wck=5.944, mem=109M570
16.06/9.41	    decisions=7451, wrong=1825, backtracks=921, failedAssignments=1182, nogoods=231, foundSolutions=10, bestBound=3472
16.06/9.41	    
16.26/9.67	    num=47, depth=37..86, filters=1034917, revisions=(1737155,useless=980230), ccks=11553130, wck=6.209, mem=109M570
16.26/9.67	    decisions=8570, wrong=2350, backtracks=1388, failedAssignments=1290, nogoods=234, foundSolutions=10, bestBound=3472
16.26/9.67	    
16.77/10.18	    num=48, depth=75..88, filters=1147189, revisions=(1960590,useless=1110702), ccks=12417969, wck=6.715, mem=113M557
16.77/10.18	    decisions=9018, wrong=2535, backtracks=1507, failedAssignments=1409, nogoods=246, foundSolutions=10, bestBound=3472
16.77/10.18	    
17.27/10.62	    num=49, depth=75..86, filters=1259578, revisions=(2173493,useless=1229388), ccks=13268633, wck=7.159, mem=118M395
17.27/10.62	    decisions=9509, wrong=2742, backtracks=1629, failedAssignments=1540, nogoods=250, foundSolutions=10, bestBound=3472
17.27/10.62	    
17.58/10.91	    num=50, depth=72..82, filters=1348502, revisions=(2348392,useless=1323903), ccks=13617710, wck=7.447, mem=118M395
17.58/10.91	    decisions=10051, wrong=2975, backtracks=1759, failedAssignments=1684, nogoods=255, foundSolutions=10, bestBound=3472
17.58/10.91	    
18.20/11.52	    num=51, depth=75..85, filters=1515037, revisions=(2601283,useless=1448412), ccks=14821277, wck=8.059, mem=122M383
18.20/11.52	    decisions=10627, wrong=3225, backtracks=1912, failedAssignments=1842, nogoods=262, foundSolutions=10, bestBound=3472
18.20/11.52	    
18.71/12.07	    num=52, depth=76..87, filters=1675506, revisions=(2836613,useless=1559315), ccks=15776561, wck=8.608, mem=126M370
18.71/12.07	    decisions=11308, wrong=3526, backtracks=2087, failedAssignments=2016, nogoods=269, foundSolutions=10, bestBound=3472
18.71/12.07	    
19.30/12.69	    num=53, depth=78..87, filters=1862375, revisions=(3083315,useless=1667616), ccks=16814027, wck=9.226, mem=130M357
19.30/12.69	    decisions=12024, wrong=3843, backtracks=2261, failedAssignments=2207, nogoods=288, foundSolutions=10, bestBound=3472
19.30/12.69	    
20.00/13.34	    num=54, depth=72..90, filters=2052549, revisions=(3333741,useless=1776314), ccks=17836251, wck=9.877, mem=134M345
20.00/13.34	    decisions=12898, wrong=4241, backtracks=2566, failedAssignments=2418, nogoods=294, foundSolutions=10, bestBound=3472
20.00/13.34	    
20.62/13.95	    num=55, depth=77..87, filters=2237684, revisions=(3574901,useless=1875340), ccks=18868579, wck=10.487, mem=138M332
20.62/13.95	    decisions=13794, wrong=4650, backtracks=2828, failedAssignments=2650, nogoods=302, foundSolutions=10, bestBound=3472
20.62/13.95	    
21.02/14.35	    num=56, depth=78..89, filters=2365853, revisions=(3736350,useless=1936789), ccks=19535993, wck=10.886, mem=142M319
21.02/14.35	    decisions=14626, wrong=5025, backtracks=3009, failedAssignments=2905, nogoods=318, foundSolutions=10, bestBound=3472
21.02/14.35	    
22.13/15.45	    num=57, depth=66..84, filters=2658939, revisions=(4089771,useless=2067310), ccks=20923961, wck=11.983, mem=146M307
22.13/15.45	    decisions=15585, wrong=5469, backtracks=3360, failedAssignments=3186, nogoods=322, foundSolutions=10, bestBound=3472
22.13/15.45	    
22.74/16.01	    num=58, depth=74..86, filters=2853360, revisions=(4334403,useless=2145707), ccks=22039485, wck=12.547, mem=150M294
22.74/16.01	    decisions=16583, wrong=5930, backtracks=3590, failedAssignments=3495, nogoods=329, foundSolutions=10, bestBound=3472
22.74/16.01	    
24.53/17.82	    num=59, depth=60..81, filters=3261745, revisions=(4831194,useless=2323376), ccks=24035460, wck=14.355, mem=158M269
24.53/17.82	    decisions=17650, wrong=6430, backtracks=3985, failedAssignments=3835, nogoods=345, foundSolutions=10, bestBound=3472
24.53/17.82	    
25.84/19.18	    num=60, depth=67..77, filters=3613322, revisions=(5283239,useless=2469067), ccks=27303794, wck=15.717, mem=166M244
25.84/19.18	    decisions=18763, wrong=6951, backtracks=4362, failedAssignments=4209, nogoods=357, foundSolutions=10, bestBound=3472
25.84/19.18	    
27.04/20.37	    num=61, depth=63..75, filters=3959886, revisions=(5745232,useless=2619484), ccks=29755914, wck=16.909, mem=174M218
27.04/20.37	    decisions=19962, wrong=7518, backtracks=4704, failedAssignments=4620, nogoods=365, foundSolutions=10, bestBound=3472
27.04/20.37	    
28.54/21.87	    num=62, depth=62..80, filters=4335395, revisions=(6195521,useless=2773519), ccks=31868154, wck=18.403, mem=178M206
28.54/21.87	    decisions=21216, wrong=8112, backtracks=5135, failedAssignments=5072, nogoods=369, foundSolutions=10, bestBound=3472
28.54/21.87	    
29.44/22.73	    num=63, depth=63..83, filters=4504156, revisions=(6432743,useless=2883192), ccks=34398279, wck=19.268, mem=182M193
29.44/22.73	    decisions=22549, wrong=8745, backtracks=5709, failedAssignments=5569, nogoods=376, foundSolutions=10, bestBound=3472
29.44/22.73	    
31.05/24.36	    num=64, depth=66..76, filters=4874065, revisions=(6900219,useless=3035976), ccks=38237441, wck=20.895, mem=190M168
31.05/24.36	    decisions=24102, wrong=9488, backtracks=6205, failedAssignments=6116, nogoods=395, foundSolutions=10, bestBound=3472
31.05/24.36	    
33.16/26.47	    num=65, depth=67..77, filters=5323977, revisions=(7457283,useless=3217295), ccks=43825763, wck=23.006, mem=202M130
33.16/26.47	    decisions=25846, wrong=10326, backtracks=6872, failedAssignments=6718, nogoods=410, foundSolutions=10, bestBound=3472
33.16/26.47	    
35.47/28.73	    num=66, depth=64..76, filters=5885883, revisions=(8175868,useless=3444319), ccks=49226959, wck=25.27, mem=214M92
35.47/28.73	    decisions=27726, wrong=11233, backtracks=7504, failedAssignments=7380, nogoods=420, foundSolutions=10, bestBound=3472
35.47/28.73	    
37.99/31.25	    num=67, depth=61..73, filters=6537327, revisions=(9057631,useless=3737053), ccks=55718440, wck=27.785, mem=226M54
37.99/31.25	    decisions=29781, wrong=12229, backtracks=8250, failedAssignments=8108, nogoods=437, foundSolutions=10, bestBound=3472
37.99/31.25	    
40.80/34.04	    num=68, depth=61..72, filters=7234988, revisions=(9992429,useless=4061592), ccks=61964234, wck=30.576, mem=242M3
40.80/34.04	    decisions=31995, wrong=13305, backtracks=9046, failedAssignments=8909, nogoods=452, foundSolutions=10, bestBound=3472
40.80/34.04	    
43.99/37.25	    num=69, depth=62..75, filters=8066277, revisions=(11079726,useless=4411553), ccks=69853252, wck=33.786, mem=257M953
43.99/37.25	    decisions=34455, wrong=14503, backtracks=9955, failedAssignments=9790, nogoods=466, foundSolutions=10, bestBound=3472
43.99/37.25	    
49.40/42.63	    num=70, depth=23..71, filters=9600302, revisions=(14758548,useless=6605070), ccks=72262340, wck=39.169, mem=289M852
49.40/42.63	    decisions=38056, wrong=16287, backtracks=11618, failedAssignments=10760, nogoods=470, foundSolutions=10, bestBound=3472
49.40/42.63	    
53.96/47.19	    num=71, depth=67..78, filters=11017206, revisions=(16510163,useless=7173749), ccks=80240957, wck=43.726, mem=113M655
53.96/47.19	    decisions=41379, wrong=17913, backtracks=13016, failedAssignments=11827, nogoods=480, foundSolutions=10, bestBound=3472
53.96/47.19	    
58.65/51.89	    num=72, depth=66..78, filters=12255195, revisions=(18050662,useless=7664083), ccks=91017106, wck=48.423, mem=141M767
58.65/51.89	    decisions=44739, wrong=19559, backtracks=14484, failedAssignments=13000, nogoods=492, foundSolutions=10, bestBound=3472
58.65/51.89	    
63.65/56.89	    num=73, depth=65..77, filters=13567847, revisions=(19692716,useless=8180510), ccks=102594031, wck=53.428, mem=165M862
63.65/56.89	    decisions=48501, wrong=21406, backtracks=15935, failedAssignments=14291, nogoods=498, foundSolutions=10, bestBound=3472
63.65/56.89	    
69.05/62.24	    num=74, depth=65..79, filters=14985265, revisions=(21460439,useless=8715095), ccks=114893491, wck=58.773, mem=197M989
69.05/62.24	    decisions=52502, wrong=23372, backtracks=17475, failedAssignments=15711, nogoods=511, foundSolutions=10, bestBound=3472
69.05/62.24	    
75.05/68.29	    num=75, depth=62..74, filters=16539042, revisions=(23506044,useless=9365567), ccks=130748249, wck=64.823, mem=230M117
75.05/68.29	    decisions=57032, wrong=25605, backtracks=19178, failedAssignments=17273, nogoods=526, foundSolutions=10, bestBound=3472
75.05/68.29	    
81.35/74.53	    num=76, depth=61..74, filters=18061143, revisions=(25498264,useless=10019362), ccks=146261433, wck=71.066, mem=262M244
81.35/74.53	    decisions=61779, wrong=27947, backtracks=20946, failedAssignments=18991, nogoods=547, foundSolutions=10, bestBound=3472
81.35/74.53	    
88.06/81.27	    num=77, depth=59..72, filters=19801169, revisions=(27838070,useless=10806036), ccks=162021005, wck=77.806, mem=302M403
88.06/81.27	    decisions=66865, wrong=30459, backtracks=22879, failedAssignments=20881, nogoods=564, foundSolutions=10, bestBound=3472
88.06/81.27	    
95.70/88.82	    num=78, depth=59..74, filters=21664282, revisions=(30335628,useless=11647733), ccks=180010455, wck=85.353, mem=137M195
95.70/88.82	    decisions=72425, wrong=33209, backtracks=25068, failedAssignments=22960, nogoods=586, foundSolutions=10, bestBound=3472
95.70/88.82	    
103.40/96.51	    num=79, depth=61..74, filters=23418704, revisions=(32629862,useless=12412475), ccks=200270350, wck=93.05, mem=176M525
103.40/96.51	    decisions=78754, wrong=36342, backtracks=27471, failedAssignments=25247, nogoods=604, foundSolutions=10, bestBound=3472
103.40/96.51	    
112.63/105.75	    num=80, depth=59..73, filters=25613065, revisions=(35546266,useless=13409724), ccks=223514824, wck=102.288, mem=223M722
112.63/105.75	    decisions=85712, wrong=39790, backtracks=30176, failedAssignments=27763, nogoods=619, foundSolutions=10, bestBound=3472
112.63/105.75	    
121.24/114.34	    num=81, depth=58..73, filters=27575797, revisions=(38235838,useless=14382889), ccks=245609554, wck=110.875, mem=270M919
121.24/114.34	    decisions=93063, wrong=43435, backtracks=33076, failedAssignments=30531, nogoods=637, foundSolutions=10, bestBound=3472
121.24/114.34	    
131.79/124.90	    num=82, depth=60..74, filters=30149684, revisions=(41550636,useless=15484324), ccks=270168225, wck=121.431, mem=125M86
131.79/124.90	    decisions=101365, wrong=47555, backtracks=36194, failedAssignments=33575, nogoods=650, foundSolutions=10, bestBound=3472
131.79/124.90	    
145.39/138.47	    num=83, depth=59..76, filters=33485517, revisions=(45972336,useless=16973237), ccks=302756282, wck=135.004, mem=198M359
145.39/138.47	    decisions=110341, wrong=52012, backtracks=40060, failedAssignments=36924, nogoods=662, foundSolutions=10, bestBound=3472
145.39/138.47	    
159.59/152.64	    num=84, depth=60..74, filters=36804659, revisions=(50300240,useless=18368223), ccks=339848545, wck=149.171, mem=271M632
159.59/152.64	    decisions=120188, wrong=56904, backtracks=44228, failedAssignments=40608, nogoods=673, foundSolutions=10, bestBound=3472
159.59/152.64	    
173.16/166.16	    num=85, depth=60..74, filters=39860412, revisions=(54266017,useless=19663960), ccks=374487439, wck=162.698, mem=147M353
173.16/166.16	    decisions=131185, wrong=62371, backtracks=48411, failedAssignments=44660, nogoods=690, foundSolutions=10, bestBound=3472
173.16/166.16	    
187.95/180.96	    num=86, depth=59..74, filters=43474135, revisions=(58990866,useless=21225914), ccks=409429383, wck=177.491, mem=222M898
187.95/180.96	    decisions=143139, wrong=68317, backtracks=52887, failedAssignments=49117, nogoods=699, foundSolutions=10, bestBound=3472
187.95/180.96	    
190.85/183.85	    num=87, depth=26..80, filters=44240393, revisions=(61366081,useless=22848940), ccks=412151092, wck=180.387, mem=253M116
190.85/183.85	    decisions=157968, wrong=75714, backtracks=59383, failedAssignments=54020, nogoods=712, foundSolutions=10, bestBound=3472
190.85/183.85	    
209.88/202.88	    num=88, depth=59..75, filters=48636030, revisions=(67158370,useless=24758669), ccks=460839462, wck=199.413, mem=161M240
209.88/202.88	    decisions=172265, wrong=82832, backtracks=65303, failedAssignments=59414, nogoods=728, foundSolutions=10, bestBound=3472
209.88/202.88	    
230.78/223.77	    num=89, depth=58..75, filters=54141912, revisions=(74419038,useless=27146780), ccks=506453061, wck=220.301, mem=275M826
230.78/223.77	    decisions=188116, wrong=90727, backtracks=71366, failedAssignments=65347, nogoods=754, foundSolutions=10, bestBound=3472
230.78/223.77	    
254.01/246.96	    num=90, depth=59..74, filters=59545279, revisions=(81516656,useless=29516607), ccks=568966068, wck=243.496, mem=210M963
254.01/246.96	    decisions=205852, wrong=99563, backtracks=78938, failedAssignments=71873, nogoods=766, foundSolutions=10, bestBound=3472
254.01/246.96	    
279.67/272.55	    num=91, depth=59..75, filters=65453052, revisions=(89258239,useless=32150694), ccks=636869208, wck=269.089, mem=162M686
279.67/272.55	    decisions=226436, wrong=109823, backtracks=86795, failedAssignments=79052, nogoods=778, foundSolutions=10, bestBound=3472
279.67/272.55	    
308.99/301.85	    num=92, depth=60..74, filters=72215861, revisions=(97908115,useless=34971925), ccks=712046463, wck=298.387, mem=130M171
308.99/301.85	    decisions=248510, wrong=120828, backtracks=95510, failedAssignments=86949, nogoods=793, foundSolutions=10, bestBound=3472
308.99/301.85	    
342.72/335.58	    num=93, depth=58..74, filters=80444966, revisions=(108658745,useless=38518474), ccks=792154532, wck=332.113, mem=133M101
342.72/335.58	    decisions=272058, wrong=132571, backtracks=105356, failedAssignments=95636, nogoods=807, foundSolutions=10, bestBound=3472
342.72/335.58	    
374.75/367.51	    num=94, depth=60..75, filters=87797000, revisions=(118101026,useless=41533316), ccks=876920771, wck=364.042, mem=122M514
374.75/367.51	    decisions=297515, wrong=145269, backtracks=115708, failedAssignments=105191, nogoods=822, foundSolutions=10, bestBound=3472
374.75/367.51	    
418.29/411.09	    num=95, depth=58..75, filters=97887619, revisions=(131257521,useless=45842763), ccks=996195029, wck=407.622, mem=184M337
418.29/411.09	    decisions=328264, wrong=160612, backtracks=128476, failedAssignments=115702, nogoods=833, foundSolutions=10, bestBound=3472
418.29/411.09	    
467.45/460.14	    num=96, depth=58..74, filters=109730124, revisions=(146355514,useless=50636418), ccks=1115169336, wck=456.674, mem=112M762
467.45/460.14	    decisions=360439, wrong=176667, backtracks=142260, failedAssignments=127264, nogoods=838, foundSolutions=10, bestBound=3472
467.45/460.14	    
511.66/504.31	    num=97, depth=59..75, filters=119508000, revisions=(158935321,useless=54752400), ccks=1240012280, wck=500.849, mem=169M878
511.66/504.31	    decisions=395564, wrong=194198, backtracks=157021, failedAssignments=139982, nogoods=847, foundSolutions=10, bestBound=3472
511.66/504.31	    
560.30/552.90	    num=98, depth=59..75, filters=131401060, revisions=(174305941,useless=59576636), ccks=1375633854, wck=549.435, mem=126M882
560.30/552.90	    decisions=433704, wrong=213236, backtracks=172965, failedAssignments=153972, nogoods=858, foundSolutions=10, bestBound=3472
560.30/552.90	    
611.43/604.06	    num=99, depth=57..73, filters=144731561, revisions=(191806634,useless=65394917), ccks=1499507861, wck=600.597, mem=114M358
611.43/604.06	    decisions=476062, wrong=234384, backtracks=189144, failedAssignments=169361, nogoods=868, foundSolutions=10, bestBound=3472
611.43/604.06	    
671.25/663.86	    num=100, depth=60..76, filters=159195084, revisions=(209961190,useless=71046985), ccks=1653685195, wck=660.392, mem=135M924
671.25/663.86	    decisions=522839, wrong=257741, backtracks=207854, failedAssignments=186289, nogoods=889, foundSolutions=10, bestBound=3472
671.25/663.86	    
747.40/739.96	    num=101, depth=59..74, filters=177203716, revisions=(232932684,useless=78286721), ccks=1863866925, wck=736.496, mem=126M161
747.40/739.96	    decisions=575272, wrong=283926, backtracks=231252, failedAssignments=204910, nogoods=903, foundSolutions=10, bestBound=3472
747.40/739.96	    
820.14/812.67	    num=102, depth=59..76, filters=193543916, revisions=(253798186,useless=84795569), ccks=2070894441, wck=809.204, mem=107M307
820.14/812.67	    decisions=631060, wrong=311788, backtracks=255248, failedAssignments=225394, nogoods=921, foundSolutions=10, bestBound=3472
820.14/812.67	    
898.47/890.93	    num=103, depth=57..74, filters=213625359, revisions=(280290141,useless=93940032), ccks=2267169961, wck=887.463, mem=168M699
898.47/890.93	    decisions=694699, wrong=343577, backtracks=281032, failedAssignments=247926, nogoods=935, foundSolutions=10, bestBound=3472
898.47/890.93	    
994.43/986.89	    num=104, depth=58..75, filters=235668972, revisions=(308230575,useless=102727963), ccks=2523520608, wck=983.427, mem=187M551
994.43/986.89	    decisions=763342, wrong=377867, backtracks=310496, failedAssignments=272711, nogoods=949, foundSolutions=10, bestBound=3472
994.43/986.89	    
1101.80/1094.16	    num=105, depth=57..74, filters=259611809, revisions=(339070495,useless=112821859), ccks=2817507350, wck=1090.694, mem=172M920
1101.80/1094.16	    decisions=838216, wrong=415273, backtracks=344185, failedAssignments=299975, nogoods=965, foundSolutions=10, bestBound=3472
1101.80/1094.16	    
1212.55/1204.81	    num=106, depth=58..75, filters=285663319, revisions=(372185191,useless=123415833), ccks=3116633209, wck=1201.343, mem=136M269
1212.55/1204.81	    decisions=921476, wrong=456871, backtracks=380131, failedAssignments=329965, nogoods=975, foundSolutions=10, bestBound=3472
1212.55/1204.81	    
1351.33/1343.57	    num=107, depth=59..77, filters=316096416, revisions=(410450699,useless=135245009), ccks=3517707752, wck=1340.103, mem=172M796
1351.33/1343.57	    decisions=1014968, wrong=503586, backtracks=424842, failedAssignments=362954, nogoods=989, foundSolutions=10, bestBound=3472
1351.33/1343.57	    
1493.51/1485.69	    num=108, depth=57..75, filters=351056847, revisions=(455691323,useless=149855895), ccks=3900088768, wck=1482.227, mem=163M338
1493.51/1485.69	    decisions=1117076, wrong=554610, backtracks=468468, failedAssignments=399242, nogoods=1002, foundSolutions=10, bestBound=3472
1493.51/1485.69	    
1647.92/1639.97	    num=109, depth=57..75, filters=388117946, revisions=(503250995,useless=165397110), ccks=4303612714, wck=1636.504, mem=116M807
1647.92/1639.97	    decisions=1229997, wrong=611039, backtracks=516547, failedAssignments=439159, nogoods=1016, foundSolutions=10, bestBound=3472
1647.92/1639.97	    
1810.43/1802.30	    num=110, depth=60..77, filters=428510661, revisions=(553847278,useless=181355838), ccks=4731841493, wck=1798.84, mem=132M780
1810.43/1802.30	    decisions=1354782, wrong=673399, backtracks=572553, failedAssignments=483068, nogoods=1031, foundSolutions=10, bestBound=3472
1810.43/1802.30	    
1984.08/1975.86	    num=111, depth=58..74, filters=468965159, revisions=(605301735,useless=197967760), ccks=5200417485, wck=1972.393, mem=116M929
1984.08/1975.86	    decisions=1490659, wrong=741307, backtracks=629581, failedAssignments=531368, nogoods=1052, foundSolutions=10, bestBound=3472
1984.08/1975.86	    
2178.83/2170.40	    num=112, depth=58..78, filters=515864281, revisions=(664584514,useless=216807514), ccks=5704017287, wck=2166.939, mem=111M482
2178.83/2170.40	    decisions=1636003, wrong=813949, backtracks=693317, failedAssignments=584498, nogoods=1070, foundSolutions=10, bestBound=3472
2178.83/2170.40	    
2410.72/2402.18	    num=113, depth=56..75, filters=572529741, revisions=(737868216,useless=240511104), ccks=6350300266, wck=2398.714, mem=132M897
2410.72/2402.18	    decisions=1804735, wrong=898283, backtracks=765962, failedAssignments=642941, nogoods=1078, foundSolutions=10, bestBound=3472
2410.72/2402.18	    
2520.01/2511.30	
2520.01/2511.30	v <instantiation id='sol10' type='solution' cost='3472'>  <list> x[] y[][] c[] s[] </list>  <values> -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 * 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 * * 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 * * * -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 * * * * 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 * * * * * 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 * * * * * * -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 * * * * * * * -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 * * * * * * * * 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 * * * * * * * * * 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 * * * * * * * * * * 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 * * * * * * * * * * * -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 * * * * * * * * * * * * -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 1 * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -9 12 -29 8 -11 8 3 2 -5 -2 -5 6 -3 -2 1 2 13 0 -5 -2 -1 12 -1 6 -9 -6 -5 -2 11 -2 -3 -6 -5 -2 -1 14 3 0 5 4 3 -10 5 -2 -1 -2 9 -4 -1 -8 5 2 9 -2 -7 2 -5 6 -3 10 -3 2 -7 6 -3 0 -7 10 5 4 -9 -2 -1 2 3 2 1 -2 1 -2 1 0 3 0 1 0 1 81 144 841 64 121 64 9 4 25 4 25 36 9 4 1 4 169 0 25 4 1 144 1 36 81 36 25 4 121 4 9 36 25 4 1 196 9 0 25 16 9 100 25 4 1 4 81 16 1 64 25 4 81 4 49 4 25 36 9 100 9 4 49 36 9 0 49 100 25 16 81 4 1 4 9 4 1 4 1 4 1 0 9 0 1 0 1 </values>  </instantiation>
2520.01/2511.30	s SATISFIABLE

Verifier Data 

OK	3472

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

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

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

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


[startup+0.103502 s]*
/proc/loadavg: 4.85 3.97 2.84 4/227 5242
/proc/meminfo: memFree=30479340/32770624 swapFree=66997108/67108860
[pid=5225] ppid=5222 vsize=10659884 memory=28980 CPUtime=0.15 cores=1,3,5,7
/proc/5225/stat : 5225 (java) S 5222 5225 4259 0 -1 1077944320 5178 0 0 0 13 2 0 0 20 0 15 0 414507113 10915721216 7245 33554432000 4194304 4196468 140735986329648 140735986312192 140165732364023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
/proc/5225/statm: 2664971 7245 2888 1 0 2627468 0
[pid=5225/tid=5227] ppid=5222 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/5225/task/5227/stat : 5227 (java) R 5222 5225 4259 0 -1 4202560 2980 0 0 0 8 1 0 0 20 0 15 0 414507114 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165736592984 140165713758125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5228] ppid=5222 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5228/stat : 5228 (java) S 5222 5225 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165658438672 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5229] ppid=5222 vsize=10659884 memory=140279872714368 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5229/stat : 5229 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165657386128 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5230] ppid=5222 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5230/stat : 5230 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165656333072 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5231] ppid=5222 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5231/stat : 5231 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165655280528 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5234] ppid=5222 vsize=10659884 memory=140279872714368 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5234/stat : 5234 (java) S 5222 5225 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414507116 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165240269040 140165732375170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5235] ppid=5222 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5235/stat : 5235 (java) S 5222 5225 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414507116 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165239215264 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5236] ppid=5222 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5236/stat : 5236 (java) S 5222 5225 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414507116 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165238162160 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5237] ppid=5222 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5237/stat : 5237 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414507119 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165237110736 140165732382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5238] ppid=5222 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5238/stat : 5238 (java) S 5222 5225 4259 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 414507119 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165236058864 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5239] ppid=5222 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5239/stat : 5239 (java) R 5222 5225 4259 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 15 0 414507119 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165234997336 140165713064320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5240] ppid=5222 vsize=10659884 memory=140279872714368 CPUtime=0.03 cores=1,3,5,7
/proc/5225/task/5240/stat : 5240 (java) R 5222 5225 4259 0 -1 4202560 359 0 0 0 3 0 0 0 20 0 15 0 414507119 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165233953264 140165732375958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5241] ppid=5222 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5241/stat : 5241 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414507119 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165232900960 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5242] ppid=5222 vsize=10659884 memory=140279872714368 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5242/stat : 5242 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507119 10915721216 7245 33554432000 4194304 4196468 140735986329648 140165231847984 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28980 KiB

[startup+0.210642 s]*
/proc/loadavg: 4.85 3.97 2.84 3/227 5242
/proc/meminfo: memFree=30472920/32770624 swapFree=66997108/67108860
[pid=5225] ppid=5222 vsize=10659884 memory=35464 CPUtime=0.33 cores=1,3,5,7
/proc/5225/stat : 5225 (java) S 5222 5225 4259 0 -1 1077944320 6489 0 0 0 31 2 0 0 20 0 15 0 414507113 10915721216 8866 33554432000 4194304 4196468 140735986329648 140735986312192 140165732364023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
/proc/5225/statm: 2664971 8866 2988 1 0 2627468 0
[pid=5225/tid=5227] ppid=5222 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/5225/task/5227/stat : 5227 (java) R 5222 5225 4259 0 -1 4202560 3476 0 0 0 19 1 0 0 20 0 15 0 414507114 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165736600720 140165732385949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5228] ppid=5222 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5228/stat : 5228 (java) S 5222 5225 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165658438672 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5229] ppid=5222 vsize=10659884 memory=288370656024426112 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5229/stat : 5229 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165657386128 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5230] ppid=5222 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5230/stat : 5230 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165656333072 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5231] ppid=5222 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5231/stat : 5231 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165655280528 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5234] ppid=5222 vsize=10659884 memory=140279872714368 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5234/stat : 5234 (java) S 5222 5225 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414507116 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165240269040 140165732375170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5235] ppid=5222 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5235/stat : 5235 (java) S 5222 5225 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414507116 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165239215264 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5236] ppid=5222 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5236/stat : 5236 (java) S 5222 5225 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414507116 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165238162160 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5237] ppid=5222 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5237/stat : 5237 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414507119 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165237110736 140165732382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5238] ppid=5222 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5225/task/5238/stat : 5238 (java) S 5222 5225 4259 0 -1 1077944384 636 0 0 0 3 0 0 0 20 0 15 0 414507119 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165236058864 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5239] ppid=5222 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5225/task/5239/stat : 5239 (java) S 5222 5225 4259 0 -1 1077944384 365 0 0 0 3 0 0 0 20 0 15 0 414507119 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165235006320 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5240] ppid=5222 vsize=10659884 memory=140279872714368 CPUtime=0.05 cores=1,3,5,7
/proc/5225/task/5240/stat : 5240 (java) S 5222 5225 4259 0 -1 1077944384 653 0 0 0 5 0 0 0 20 0 15 0 414507119 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165233953264 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5241] ppid=5222 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5241/stat : 5241 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414507119 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165232900960 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5242] ppid=5222 vsize=10659884 memory=140279872714368 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5242/stat : 5242 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507119 10915721216 8866 33554432000 4194304 4196468 140735986329648 140165231847984 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35464 KiB

[startup+0.310065 s]*
/proc/loadavg: 4.85 3.97 2.84 3/227 5242
/proc/meminfo: memFree=30465124/32770624 swapFree=66997108/67108860
[pid=5225] ppid=5222 vsize=10659884 memory=40624 CPUtime=0.47 cores=1,3,5,7
/proc/5225/stat : 5225 (java) S 5222 5225 4259 0 -1 1077944320 8957 0 0 0 44 3 0 0 20 0 15 0 414507113 10915721216 10156 33554432000 4194304 4196468 140735986329648 140735986312192 140165732364023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
/proc/5225/statm: 2664971 10156 3001 1 0 2627468 0
[pid=5225/tid=5227] ppid=5222 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/5225/task/5227/stat : 5227 (java) R 5222 5225 4259 0 -1 4202560 5872 0 0 0 28 2 0 0 20 0 15 0 414507114 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165736595824 140165732385949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5228] ppid=5222 vsize=10659884 memory=2669794 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5228/stat : 5228 (java) S 5222 5225 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165658438672 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5229] ppid=5222 vsize=10659884 memory=288370656024426112 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5229/stat : 5229 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165657386128 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5230] ppid=5222 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5230/stat : 5230 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165656333072 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5231] ppid=5222 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5231/stat : 5231 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165655280528 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5234] ppid=5222 vsize=10659884 memory=140279872714368 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5234/stat : 5234 (java) S 5222 5225 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414507116 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165240269040 140165732375170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5235] ppid=5222 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5235/stat : 5235 (java) S 5222 5225 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414507116 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165239215264 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5236] ppid=5222 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5236/stat : 5236 (java) S 5222 5225 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414507116 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165238162160 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5237] ppid=5222 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5237/stat : 5237 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414507119 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165237110736 140165732382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5238] ppid=5222 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5225/task/5238/stat : 5238 (java) S 5222 5225 4259 0 -1 1077944384 644 0 0 0 4 0 0 0 20 0 15 0 414507119 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165236058864 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5239] ppid=5222 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5225/task/5239/stat : 5239 (java) S 5222 5225 4259 0 -1 1077944384 416 0 0 0 4 0 0 0 20 0 15 0 414507119 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165235006320 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5240] ppid=5222 vsize=10659884 memory=140279872714368 CPUtime=0.08 cores=1,3,5,7
/proc/5225/task/5240/stat : 5240 (java) R 5222 5225 4259 0 -1 4202560 668 0 0 0 8 0 0 0 20 0 15 0 414507119 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165233948992 140165732385370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5241] ppid=5222 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5241/stat : 5241 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414507119 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165232900960 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5242] ppid=5222 vsize=10659884 memory=140279872714368 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5242/stat : 5242 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507119 10915721216 10156 33554432000 4194304 4196468 140735986329648 140165231847984 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40624 KiB

[startup+0.702155 s]
/proc/loadavg: 4.85 3.97 2.84 4/227 5242
/proc/meminfo: memFree=30457040/32770624 swapFree=66997108/67108860
[pid=5225] ppid=5222 vsize=10661932 memory=63092 CPUtime=1.1 cores=1,3,5,7
/proc/5225/stat : 5225 (java) S 5222 5225 4259 0 -1 1077944320 12332 0 0 0 105 5 0 0 20 0 15 0 414507113 10917818368 15773 33554432000 4194304 4196468 140735986329648 140735986312192 140165732364023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
/proc/5225/statm: 2665483 15773 3073 1 0 2627980 0
[pid=5225/tid=5227] ppid=5222 vsize=10661932 memory=9752 CPUtime=0.67 cores=1,3,5,7
/proc/5225/task/5227/stat : 5227 (java) R 5222 5225 4259 0 -1 4202560 8420 0 0 0 63 4 0 0 20 0 15 0 414507114 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165736596048 140165712635760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5228] ppid=5222 vsize=10661932 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5228/stat : 5228 (java) S 5222 5225 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414507114 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165658438672 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5229] ppid=5222 vsize=10661932 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5229/stat : 5229 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165657386128 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5230] ppid=5222 vsize=10661932 memory=500 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5230/stat : 5230 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165656333072 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5231] ppid=5222 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5231/stat : 5231 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165655280528 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5234] ppid=5222 vsize=10661932 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5234/stat : 5234 (java) S 5222 5225 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414507116 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165240269040 140165732375170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5235] ppid=5222 vsize=10661932 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5235/stat : 5235 (java) S 5222 5225 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414507116 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165239215264 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5236] ppid=5222 vsize=10661932 memory=876 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5236/stat : 5236 (java) S 5222 5225 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414507116 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165238162160 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5237] ppid=5222 vsize=10661932 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5237/stat : 5237 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414507119 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165237110736 140165732382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5238] ppid=5222 vsize=10661932 memory=7086240636179075427 CPUtime=0.1 cores=1,3,5,7
/proc/5225/task/5238/stat : 5238 (java) S 5222 5225 4259 0 -1 1077944384 818 0 0 0 10 0 0 0 20 0 15 0 414507119 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165236058864 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5239] ppid=5222 vsize=10661932 memory=7453282923427948884 CPUtime=0.12 cores=1,3,5,7
/proc/5225/task/5239/stat : 5239 (java) R 5222 5225 4259 0 -1 4202560 699 0 0 0 12 0 0 0 20 0 15 0 414507119 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165234992416 140165709984048 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5240] ppid=5222 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7
/proc/5225/task/5240/stat : 5240 (java) S 5222 5225 4259 0 -1 1077944384 1036 0 0 0 18 0 0 0 20 0 15 0 414507119 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165233953264 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5241] ppid=5222 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5241/stat : 5241 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414507119 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165232900960 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5242] ppid=5222 vsize=10661932 memory=6441959910864939369 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5242/stat : 5242 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507119 10917818368 15773 33554432000 4194304 4196468 140735986329648 140165231847984 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63092 KiB

[startup+1.50076 s]
/proc/loadavg: 4.85 3.97 2.84 3/227 5242
/proc/meminfo: memFree=30441284/32770624 swapFree=66997108/67108860
[pid=5225] ppid=5222 vsize=10663980 memory=75332 CPUtime=2 cores=1,3,5,7
/proc/5225/stat : 5225 (java) S 5222 5225 4259 0 -1 1077944320 17646 0 0 0 194 6 0 0 20 0 15 0 414507113 10919915520 18833 33554432000 4194304 4196468 140735986329648 140735986312192 140165732364023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
/proc/5225/statm: 2665995 18833 3095 1 0 2628492 0
[pid=5225/tid=5227] ppid=5222 vsize=10663980 memory=162759597730511 CPUtime=1.48 cores=1,3,5,7
/proc/5225/task/5227/stat : 5227 (java) R 5222 5225 4259 0 -1 4202560 12400 0 0 0 143 5 0 0 20 0 15 0 414507114 10919915520 18833 33554432000 4194304 4196468 140735986329648 140165736594704 140165716444510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5228] ppid=5222 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5228/stat : 5228 (java) S 5222 5225 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414507114 10919915520 18833 33554432000 4194304 4196468 140735986329648 140165658438672 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5229] ppid=5222 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5229/stat : 5229 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10919915520 18833 33554432000 4194304 4196468 140735986329648 140165657386128 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5230] ppid=5222 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5230/stat : 5230 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10919915520 18833 33554432000 4194304 4196468 140735986329648 140165656333072 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5231] ppid=5222 vsize=10663980 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5231/stat : 5231 (java) S 5222 5225 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414507114 10919915520 18833 33554432000 4194304 4196468 140735986329648 140165655280528 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5234] ppid=5222 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5234/stat : 5234 (java) S 5222 5225 4259 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 414507116 10919915520 18833 33554432000 4194304 4196468 140735986329648 140165240269040 140165732375170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0

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

/proc/5225/task/5231/stat : 5231 (java) S 5222 5225 4259 0 -1 1077944384 5734 0 0 0 45 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165655280528 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5234] ppid=5222 vsize=10748324 memory=292516 CPUtime=0.16 cores=1,3,5,7
/proc/5225/task/5234/stat : 5234 (java) S 5222 5225 4259 0 -1 1077944384 8935 0 0 0 12 4 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165240269040 140165732375170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5235] ppid=5222 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5235/stat : 5235 (java) S 5222 5225 4259 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165239215328 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5236] ppid=5222 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5236/stat : 5236 (java) S 5222 5225 4259 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165238162176 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5237] ppid=5222 vsize=10748324 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5237/stat : 5237 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165237110736 140165732382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5238] ppid=5222 vsize=10748324 memory=984 CPUtime=2.79 cores=1,3,5,7
/proc/5225/task/5238/stat : 5238 (java) S 5222 5225 4259 0 -1 1077944384 12625 0 0 0 277 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165236058864 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5239] ppid=5222 vsize=10748324 memory=2024 CPUtime=2.79 cores=1,3,5,7
/proc/5225/task/5239/stat : 5239 (java) S 5222 5225 4259 0 -1 1077944384 13209 0 0 0 277 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165235006320 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5240] ppid=5222 vsize=10748324 memory=4641078620430233453 CPUtime=1.07 cores=1,3,5,7
/proc/5225/task/5240/stat : 5240 (java) S 5222 5225 4259 0 -1 1077944384 8621 0 0 0 105 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165233953264 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5241] ppid=5222 vsize=10748324 memory=8171622563909495400 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5241/stat : 5241 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165232900960 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5242] ppid=5222 vsize=10748324 memory=292516 CPUtime=0.53 cores=1,3,5,7
/proc/5225/task/5242/stat : 5242 (java) S 5222 5225 4259 0 -1 1077944384 2203 0 0 0 21 32 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165231847984 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5243] ppid=5222 vsize=10748324 memory=292516 CPUtime=2439.64 cores=1,3,5,7
/proc/5225/task/5243/stat : 5243 (java) R 5222 5225 4259 0 -1 4202560 22629 0 0 0 243959 5 0 0 20 0 16 0 414507301 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165214891360 140165336017136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
Current children cumulated CPU time: 2450.94 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 292516 KiB

[startup+2502.3 s]
/proc/loadavg: 1.64 1.82 1.94 3/228 5650
/proc/meminfo: memFree=30283940/32770624 swapFree=66997144/67108860
[pid=5225] ppid=5222 vsize=10748324 memory=292516 CPUtime=2511 cores=1,3,5,7
/proc/5225/stat : 5225 (java) S 5222 5225 4259 0 -1 1077944320 108141 0 0 0 251029 71 0 0 20 0 16 0 414507113 11006283776 73129 33554432000 4194304 4196468 140735986329648 140735986312192 140165732364023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
/proc/5225/statm: 2687081 73129 3382 1 0 2647217 0
[pid=5225/tid=5227] ppid=5222 vsize=10748324 memory=292516 CPUtime=1.85 cores=1,3,5,7
/proc/5225/task/5227/stat : 5227 (java) S 5222 5225 4259 0 -1 1077944384 14556 0 0 0 179 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165736606896 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5228] ppid=5222 vsize=10748324 memory=292516 CPUtime=0.51 cores=1,3,5,7
/proc/5225/task/5228/stat : 5228 (java) S 5222 5225 4259 0 -1 1077944384 5378 0 0 0 45 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165658438672 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5229] ppid=5222 vsize=10748324 memory=292516 CPUtime=0.51 cores=1,3,5,7
/proc/5225/task/5229/stat : 5229 (java) S 5222 5225 4259 0 -1 1077944384 5649 0 0 0 45 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165657386128 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5230] ppid=5222 vsize=10748324 memory=292516 CPUtime=0.52 cores=1,3,5,7
/proc/5225/task/5230/stat : 5230 (java) S 5222 5225 4259 0 -1 1077944384 6690 0 0 0 46 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165656333072 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5231] ppid=5222 vsize=10748324 memory=292516 CPUtime=0.52 cores=1,3,5,7
/proc/5225/task/5231/stat : 5231 (java) S 5222 5225 4259 0 -1 1077944384 5788 0 0 0 46 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165655280528 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5234] ppid=5222 vsize=10748324 memory=292516 CPUtime=0.17 cores=1,3,5,7
/proc/5225/task/5234/stat : 5234 (java) S 5222 5225 4259 0 -1 1077944384 9125 0 0 0 13 4 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165240269040 140165732375170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5235] ppid=5222 vsize=10748324 memory=292516 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5235/stat : 5235 (java) S 5222 5225 4259 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165239215328 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5236] ppid=5222 vsize=10748324 memory=292516 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5236/stat : 5236 (java) S 5222 5225 4259 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165238162176 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5237] ppid=5222 vsize=10748324 memory=292516 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5237/stat : 5237 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165237110736 140165732382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5238] ppid=5222 vsize=10748324 memory=2897 CPUtime=2.79 cores=1,3,5,7
/proc/5225/task/5238/stat : 5238 (java) S 5222 5225 4259 0 -1 1077944384 12627 0 0 0 277 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165236058864 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5239] ppid=5222 vsize=10748324 memory=0 CPUtime=2.79 cores=1,3,5,7
/proc/5225/task/5239/stat : 5239 (java) S 5222 5225 4259 0 -1 1077944384 13211 0 0 0 277 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165235006320 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5240] ppid=5222 vsize=10748324 memory=6944656592455360604 CPUtime=1.07 cores=1,3,5,7
/proc/5225/task/5240/stat : 5240 (java) S 5222 5225 4259 0 -1 1077944384 8623 0 0 0 105 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165233953264 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5241] ppid=5222 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5241/stat : 5241 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165232900960 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5242] ppid=5222 vsize=10748324 memory=1556 CPUtime=0.54 cores=1,3,5,7
/proc/5225/task/5242/stat : 5242 (java) S 5222 5225 4259 0 -1 1077944384 2231 0 0 0 22 32 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165231847984 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5243] ppid=5222 vsize=10748324 memory=5916 CPUtime=2499.62 cores=1,3,5,7
/proc/5225/task/5243/stat : 5243 (java) R 5222 5225 4259 0 -1 4202560 22838 0 0 0 249957 5 0 0 20 0 16 0 414507301 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165214891360 140165346019869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
Current children cumulated CPU time: 2511 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 292516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511.3 s]
/proc/loadavg: 1.69 1.82 1.95 3/228 5650
/proc/meminfo: memFree=30283940/32770624 swapFree=66997144/67108860
[pid=5225] ppid=5222 vsize=10748324 memory=292516 CPUtime=2520.01 cores=1,3,5,7
/proc/5225/stat : 5225 (java) S 5222 5225 4259 0 -1 1077944320 108197 0 0 0 251930 71 0 0 20 0 16 0 414507113 11006283776 73129 33554432000 4194304 4196468 140735986329648 140735986312192 140165732364023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
/proc/5225/statm: 2687081 73129 3382 1 0 2647217 0
[pid=5225/tid=5227] ppid=5222 vsize=10748324 memory=292516 CPUtime=1.85 cores=1,3,5,7
/proc/5225/task/5227/stat : 5227 (java) S 5222 5225 4259 0 -1 1077944384 14556 0 0 0 179 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165736606896 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5228] ppid=5222 vsize=10748324 memory=920 CPUtime=0.51 cores=1,3,5,7
/proc/5225/task/5228/stat : 5228 (java) S 5222 5225 4259 0 -1 1077944384 5378 0 0 0 45 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165658438672 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5229] ppid=5222 vsize=10748324 memory=3848 CPUtime=0.52 cores=1,3,5,7
/proc/5225/task/5229/stat : 5229 (java) S 5222 5225 4259 0 -1 1077944384 5649 0 0 0 46 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165657386128 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5230] ppid=5222 vsize=10748324 memory=3624 CPUtime=0.53 cores=1,3,5,7
/proc/5225/task/5230/stat : 5230 (java) S 5222 5225 4259 0 -1 1077944384 6690 0 0 0 47 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165656333072 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5231] ppid=5222 vsize=10748324 memory=25196 CPUtime=0.53 cores=1,3,5,7
/proc/5225/task/5231/stat : 5231 (java) S 5222 5225 4259 0 -1 1077944384 5794 0 0 0 47 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165655280528 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5234] ppid=5222 vsize=10748324 memory=3624 CPUtime=0.17 cores=1,3,5,7
/proc/5225/task/5234/stat : 5234 (java) S 5222 5225 4259 0 -1 1077944384 9127 0 0 0 13 4 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165240269040 140165732375170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5235] ppid=5222 vsize=10748324 memory=25196 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5235/stat : 5235 (java) S 5222 5225 4259 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165239215328 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5236] ppid=5222 vsize=10748324 memory=292516 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5236/stat : 5236 (java) S 5222 5225 4259 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165238162176 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5237] ppid=5222 vsize=10748324 memory=292516 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5237/stat : 5237 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165237110736 140165732382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5238] ppid=5222 vsize=10748324 memory=292516 CPUtime=2.79 cores=1,3,5,7
/proc/5225/task/5238/stat : 5238 (java) S 5222 5225 4259 0 -1 1077944384 12627 0 0 0 277 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165236058864 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5239] ppid=5222 vsize=10748324 memory=292516 CPUtime=2.79 cores=1,3,5,7
/proc/5225/task/5239/stat : 5239 (java) S 5222 5225 4259 0 -1 1077944384 13211 0 0 0 277 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165235006320 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5240] ppid=5222 vsize=10748324 memory=984 CPUtime=1.07 cores=1,3,5,7
/proc/5225/task/5240/stat : 5240 (java) S 5222 5225 4259 0 -1 1077944384 8623 0 0 0 105 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165233953264 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5241] ppid=5222 vsize=10748324 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5241/stat : 5241 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165232900960 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5242] ppid=5222 vsize=10748324 memory=9808 CPUtime=0.54 cores=1,3,5,7
/proc/5225/task/5242/stat : 5242 (java) S 5222 5225 4259 0 -1 1077944384 2231 0 0 0 22 32 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165231847984 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5243] ppid=5222 vsize=10748324 memory=12024 CPUtime=2508.61 cores=1,3,5,7
/proc/5225/task/5243/stat : 5243 (java) R 5222 5225 4259 0 -1 4202560 22886 0 0 0 250856 5 0 0 20 0 16 0 414507301 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165214891472 140165339771758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 292516 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2511.31 s]
# the end of solver process 5225 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.31 s, system=0.716091 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2511.3 s]
/proc/loadavg: 1.69 1.82 1.95 3/228 5650
/proc/meminfo: memFree=30283940/32770624 swapFree=66997144/67108860
[pid=5225] ppid=5222 vsize=10748324 memory=292516 CPUtime=2520.01 cores=1,3,5,7
/proc/5225/stat : 5225 (java) S 5222 5225 4259 0 -1 1077944320 108197 0 0 0 251930 71 0 0 20 0 16 0 414507113 11006283776 73129 33554432000 4194304 4196468 140735986329648 140735986312192 140165732364023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
/proc/5225/statm: 2687081 73129 3382 1 0 2647217 0
[pid=5225/tid=5227] ppid=5222 vsize=10748324 memory=292516 CPUtime=1.85 cores=1,3,5,7
/proc/5225/task/5227/stat : 5227 (java) S 5222 5225 4259 0 -1 1077944384 14556 0 0 0 179 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165736606896 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5228] ppid=5222 vsize=10748324 memory=920 CPUtime=0.51 cores=1,3,5,7
/proc/5225/task/5228/stat : 5228 (java) S 5222 5225 4259 0 -1 1077944384 5378 0 0 0 45 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165658438672 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5229] ppid=5222 vsize=10748324 memory=3848 CPUtime=0.52 cores=1,3,5,7
/proc/5225/task/5229/stat : 5229 (java) S 5222 5225 4259 0 -1 1077944384 5649 0 0 0 46 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165657386128 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5230] ppid=5222 vsize=10748324 memory=3624 CPUtime=0.53 cores=1,3,5,7
/proc/5225/task/5230/stat : 5230 (java) S 5222 5225 4259 0 -1 1077944384 6690 0 0 0 47 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165656333072 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5231] ppid=5222 vsize=10748324 memory=25196 CPUtime=0.53 cores=1,3,5,7
/proc/5225/task/5231/stat : 5231 (java) S 5222 5225 4259 0 -1 1077944384 5794 0 0 0 47 6 0 0 20 0 16 0 414507114 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165655280528 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5234] ppid=5222 vsize=10748324 memory=3624 CPUtime=0.17 cores=1,3,5,7
/proc/5225/task/5234/stat : 5234 (java) S 5222 5225 4259 0 -1 1077944384 9127 0 0 0 13 4 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165240269040 140165732375170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5235] ppid=5222 vsize=10748324 memory=25196 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5235/stat : 5235 (java) S 5222 5225 4259 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165239215328 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5236] ppid=5222 vsize=10748324 memory=292516 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5236/stat : 5236 (java) S 5222 5225 4259 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 414507116 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165238162176 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5237] ppid=5222 vsize=10748324 memory=292516 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5237/stat : 5237 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165237110736 140165732382619 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5238] ppid=5222 vsize=10748324 memory=292516 CPUtime=2.79 cores=1,3,5,7
/proc/5225/task/5238/stat : 5238 (java) S 5222 5225 4259 0 -1 1077944384 12627 0 0 0 277 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165236058864 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5239] ppid=5222 vsize=10748324 memory=292516 CPUtime=2.79 cores=1,3,5,7
/proc/5225/task/5239/stat : 5239 (java) S 5222 5225 4259 0 -1 1077944384 13211 0 0 0 277 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165235006320 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5240] ppid=5222 vsize=10748324 memory=984 CPUtime=1.07 cores=1,3,5,7
/proc/5225/task/5240/stat : 5240 (java) S 5222 5225 4259 0 -1 1077944384 8623 0 0 0 105 2 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165233953264 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5241] ppid=5222 vsize=10748324 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/5225/task/5241/stat : 5241 (java) S 5222 5225 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165232900960 140165732374229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5242] ppid=5222 vsize=10748324 memory=9808 CPUtime=0.54 cores=1,3,5,7
/proc/5225/task/5242/stat : 5242 (java) S 5222 5225 4259 0 -1 1077944384 2231 0 0 0 22 32 0 0 20 0 16 0 414507119 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165231847984 140165732375170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
[pid=5225/tid=5243] ppid=5222 vsize=10748324 memory=12024 CPUtime=2508.61 cores=1,3,5,7
/proc/5225/task/5243/stat : 5243 (java) R 5222 5225 4259 0 -1 4202560 22886 0 0 0 250856 5 0 0 20 0 16 0 414507301 11006283776 73129 33554432000 4194304 4196468 140735986329648 140165214891472 140165339771758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14798848 140735986336779 140735986336882 140735986336882 140735986339791 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 292516 KiB

Child status: 143
Real time (s): 2511.31
CPU time (s): 2520.03
CPU user time (s): 2519.31
CPU system time (s): 0.716091
CPU usage (%): 100.347
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 477908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.31
system time used= 0.716091
maximum resident set size= 479016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60475
involuntary context switches= 871


# summary of solver processes directly reported to runsolver:
#   pid: 5225
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2519.31
#   total CPU system time (s): 0.716091

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4412 second user time and 20.0977 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-13 14:47:27
IDJOB=4391045
IDBENCH=126993
IDSOLVER=2832
FILE ID=node106/4391045-1568382525
RUNJOBID= node106-1568376840-4291
PBS_JOBID= 21701848
Free space on /tmp= 56724 MiB

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

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

MD5SUM BENCH= 433b6a25d6964ee5472894f745fbe815
RANDOM SEED=1932443271

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30497844 kB
MemAvailable:   31650452 kB
Buffers:          151644 kB
Cached:          1279984 kB
SwapCached:         9712 kB
Active:           643644 kB
Inactive:        1055440 kB
Active(anon):     267144 kB
Inactive(anon):    33700 kB
Active(file):     376500 kB
Inactive(file):  1021740 kB
Unevictable:      107768 kB
Mlocked:          107768 kB
SwapTotal:      67108860 kB
SwapFree:       66997108 kB
Dirty:              8628 kB
Writeback:             0 kB
AnonPages:        366248 kB
Mapped:            49448 kB
Shmem:             24728 kB
Slab:             170180 kB
SReclaimable:     140408 kB
SUnreclaim:        29772 kB
KernelStack:        3760 kB
PageTables:         6160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1239924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 56716 MiB
End job on node106 at 2019-09-13 15:29:19