Trace number 4391319

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)494 2400.07 2390.02

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n100/
TravellingSalesman-100-50-08.xml
MD5SUM8e11a97c7673f129a8c4890bd1c1105b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark443
Best CPU time to get the best result obtained on this benchmark2011.47
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints101
Number of domains2
Minimum domain size62
Maximum domain size100
Distribution of domain sizes[{"size":62,"count":100},{"size":100,"count":100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":100}]
Minimum constraint arity3
Maximum constraint arity100
Distribution of constraint arities[{"arity":3,"count":100},{"arity":100,"count":1}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"allDifferent","count":1}]
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.45/1.87	
2.45/1.87	AbsCon 2 
2.45/1.88	
2.95/2.08	  Instance
2.95/2.08	    name=instance-4391319-1568390780, framework=COP, bounds=-infty..+infty
2.95/2.08	
2.95/2.08	  Loading variables...
3.28/2.12	  Loading constraints...
3.55/2.25	
3.55/2.25	  Domains
3.55/2.25	    nTypes=2, nValues=16200, sizes=[62#100,100#100]
3.55/2.25	  Variables
3.55/2.25	    count=200, degrees=[2#100,3#100]
3.55/2.25	  Objectives
3.55/2.25	    way=min, type=SumSimpleLE
3.55/2.25	  Constraints
3.55/2.25	    count=102, nSpecific=102, arities=[3#100,100#2]
3.55/2.25	    distribution=[AllDifferent#1,CtrExtensionCT-Table#100,SumSimpleLE#1]
3.55/2.25	    tables=[9900#100], nTotalTuples=990000
3.55/2.25	    nExtStructures=(1,shared:99)
3.55/2.25	    wck=0.417, cpu=2.218, mem=77M120
3.55/2.27	  Solver SolverBacktrack being built...
3.55/2.27	
3.55/2.29	
3.55/2.29	  Solver
3.55/2.29	    guaranteedGAC=true
3.55/2.29	    wck=0.455, cpu=2.255, mem=93M127
3.88/2.31	
3.88/2.31	  Preprocessing
3.88/2.31	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.88/2.31	    wck=0.017, cpu=2.274, mem=93M127
3.88/2.31	
4.16/2.46	o 1625
4.16/2.47	    num=0, depth=201..199, filters=1127, ccks=102, wck=0.179, mem=103M771
4.16/2.47	    decisions=99, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=1625
4.16/2.47	    nFilterCalls=5247, avgTableProportion=0.9998989898989483, avgTableSize=9899.0
4.16/2.47	    
4.47/2.53	o 1612
4.47/2.54	    num=1, depth=201..199, filters=2243, ccks=204, wck=0.247, mem=103M771
4.47/2.54	    decisions=198, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=1612
4.47/2.54	    nFilterCalls=10398, avgTableProportion=0.9998989898989742, avgTableSize=9899.0
4.47/2.54	    
4.47/2.59	    num=2, depth=95..96, filters=3482, ccks=204, wck=0.302, mem=103M771
4.47/2.59	    decisions=323, wrong=15, backtracks=4, failedAssignments=11, nogoods=7, foundSolutions=2, bestBound=1612
4.47/2.59	    nFilterCalls=15616, avgTableProportion=0.9998989898991567, avgTableSize=9899.0
4.47/2.59	    
4.71/2.68	o 494
4.71/2.68	    num=3, depth=201..199, filters=4268, ccks=306, wck=0.387, mem=106M438
4.71/2.68	    decisions=424, wrong=15, backtracks=4, failedAssignments=11, nogoods=7, foundSolutions=3, bestBound=494
4.71/2.68	    nFilterCalls=19956, avgTableProportion=0.9998989898992358, avgTableSize=9899.0
4.71/2.68	    
5.02/2.74	    num=4, depth=92..94, filters=5395, ccks=306, wck=0.449, mem=109M81
5.02/2.74	    decisions=547, wrong=30, backtracks=7, failedAssignments=23, nogoods=11, foundSolutions=3, bestBound=494
5.02/2.74	    nFilterCalls=24328, avgTableProportion=0.9998989898992869, avgTableSize=9899.0
5.02/2.74	    
5.25/2.80	    num=5, depth=102..105, filters=6373, ccks=306, wck=0.51, mem=109M81
5.25/2.80	    decisions=679, wrong=44, backtracks=10, failedAssignments=34, nogoods=14, foundSolutions=3, bestBound=494
5.25/2.80	    nFilterCalls=29640, avgTableProportion=0.9998989898993288, avgTableSize=9899.0
5.25/2.80	    
5.45/2.93	    num=6, depth=89..94, filters=7424, ccks=306, wck=0.644, mem=109M81
5.45/2.93	    decisions=803, wrong=60, backtracks=14, failedAssignments=46, nogoods=18, foundSolutions=3, bestBound=494
5.45/2.93	    nFilterCalls=34912, avgTableProportion=0.9998989898991347, avgTableSize=9899.0
5.45/2.93	    
5.45/2.99	    num=7, depth=60..61, filters=8654, ccks=306, wck=0.697, mem=109M81
5.45/2.99	    decisions=893, wrong=75, backtracks=16, failedAssignments=59, nogoods=24, foundSolutions=3, bestBound=494
5.45/2.99	    nFilterCalls=39256, avgTableProportion=0.9998989898987749, avgTableSize=9899.0
5.45/2.99	    
5.58/3.04	    num=8, depth=47..50, filters=9994, ccks=306, wck=0.753, mem=111M723
5.58/3.04	    decisions=980, wrong=94, backtracks=21, failedAssignments=73, nogoods=29, foundSolutions=3, bestBound=494
5.58/3.04	    nFilterCalls=43821, avgTableProportion=0.9998989898984736, avgTableSize=9899.0
5.58/3.04	    
5.69/3.11	    num=9, depth=54..55, filters=11801, ccks=306, wck=0.819, mem=111M723
5.69/3.11	    decisions=1076, wrong=115, backtracks=26, failedAssignments=89, nogoods=44, foundSolutions=3, bestBound=494
5.69/3.11	    nFilterCalls=49397, avgTableProportion=0.999898989898181, avgTableSize=9899.0
5.69/3.11	    
5.69/3.17	    num=10, depth=46..47, filters=13356, ccks=306, wck=0.884, mem=114M366
5.69/3.17	    decisions=1166, wrong=137, backtracks=31, failedAssignments=106, nogoods=55, foundSolutions=3, bestBound=494
5.69/3.17	    nFilterCalls=53998, avgTableProportion=0.9998989898979852, avgTableSize=9899.0
5.69/3.17	    
5.78/3.24	    num=11, depth=39..45, filters=15002, ccks=306, wck=0.948, mem=117M8
5.78/3.24	    decisions=1262, wrong=163, backtracks=38, failedAssignments=125, nogoods=64, foundSolutions=3, bestBound=494
5.78/3.24	    nFilterCalls=59018, avgTableProportion=0.9998989898978063, avgTableSize=9899.0
5.78/3.24	    
5.88/3.31	    num=12, depth=44..47, filters=16792, ccks=306, wck=1.015, mem=117M8
5.88/3.31	    decisions=1363, wrong=191, backtracks=45, failedAssignments=146, nogoods=69, foundSolutions=3, bestBound=494
5.88/3.31	    nFilterCalls=64238, avgTableProportion=0.99989898989765, avgTableSize=9899.0
5.88/3.31	    
5.88/3.39	    num=13, depth=46..49, filters=18975, ccks=306, wck=1.095, mem=119M650
5.88/3.39	    decisions=1474, wrong=223, backtracks=55, failedAssignments=169, nogoods=78, foundSolutions=3, bestBound=494
5.88/3.39	    nFilterCalls=70324, avgTableProportion=0.9998989898979918, avgTableSize=9899.0
5.88/3.39	    
5.98/3.45	    num=14, depth=41..43, filters=20546, ccks=306, wck=1.163, mem=122M293
5.98/3.45	    decisions=1574, wrong=252, backtracks=59, failedAssignments=194, nogoods=86, foundSolutions=3, bestBound=494
5.98/3.45	    nFilterCalls=75434, avgTableProportion=0.9998989898983418, avgTableSize=9899.0
5.98/3.45	    
6.09/3.53	    num=15, depth=43..45, filters=22592, ccks=306, wck=1.238, mem=124M935
6.09/3.53	    decisions=1688, wrong=287, backtracks=66, failedAssignments=222, nogoods=93, foundSolutions=3, bestBound=494
6.09/3.53	    nFilterCalls=81703, avgTableProportion=0.9998989898987113, avgTableSize=9899.0
6.09/3.53	    
6.20/3.60	    num=16, depth=46..49, filters=24363, ccks=306, wck=1.31, mem=124M935
6.20/3.60	    decisions=1803, wrong=321, backtracks=69, failedAssignments=253, nogoods=97, foundSolutions=3, bestBound=494
6.20/3.60	    nFilterCalls=86849, avgTableProportion=0.9998989898989749, avgTableSize=9899.0
6.20/3.60	    
6.20/3.70	    num=17, depth=43..46, filters=27432, ccks=306, wck=1.406, mem=127M578
6.20/3.70	    decisions=1940, wrong=367, backtracks=81, failedAssignments=287, nogoods=102, foundSolutions=3, bestBound=494
6.20/3.70	    nFilterCalls=94564, avgTableProportion=0.9998989898993161, avgTableSize=9899.0
6.20/3.70	    
6.30/3.80	    num=18, depth=47..52, filters=30422, ccks=306, wck=1.505, mem=130M220
6.30/3.80	    decisions=2109, wrong=427, backtracks=106, failedAssignments=324, nogoods=116, foundSolutions=3, bestBound=494
6.30/3.80	    nFilterCalls=102680, avgTableProportion=0.9998989898996199, avgTableSize=9899.0
6.30/3.80	    
6.41/3.86	    num=19, depth=8..50, filters=31746, ccks=306, wck=1.573, mem=132M863
6.41/3.86	    decisions=2247, wrong=472, backtracks=110, failedAssignments=365, nogoods=145, foundSolutions=3, bestBound=494
6.41/3.86	    nFilterCalls=107146, avgTableProportion=0.9998989898997673, avgTableSize=9899.0
6.41/3.86	    
6.51/3.94	    num=20, depth=43..47, filters=33913, ccks=306, wck=1.653, mem=135M505
6.51/3.94	    decisions=2402, wrong=527, backtracks=120, failedAssignments=410, nogoods=155, foundSolutions=3, bestBound=494
6.51/3.94	    nFilterCalls=112450, avgTableProportion=0.9998989898999273, avgTableSize=9899.0
6.51/3.94	    
6.62/4.07	    num=21, depth=42..45, filters=38063, ccks=306, wck=1.775, mem=138M148
6.62/4.07	    decisions=2578, wrong=593, backtracks=136, failedAssignments=460, nogoods=163, foundSolutions=3, bestBound=494
6.62/4.07	    nFilterCalls=121131, avgTableProportion=0.9998989899001589, avgTableSize=9899.0
6.62/4.07	    
6.72/4.17	    num=22, depth=51..53, filters=41241, ccks=306, wck=1.876, mem=140M790
6.72/4.17	    decisions=2763, wrong=660, backtracks=148, failedAssignments=515, nogoods=171, foundSolutions=3, bestBound=494
6.72/4.17	    nFilterCalls=129072, avgTableProportion=0.9998989899003434, avgTableSize=9899.0
6.72/4.17	    
6.83/4.28	    num=23, depth=53..57, filters=42930, ccks=306, wck=1.989, mem=73M57
6.83/4.28	    decisions=2959, wrong=731, backtracks=158, failedAssignments=576, nogoods=196, foundSolutions=3, bestBound=494
6.83/4.28	    nFilterCalls=134850, avgTableProportion=0.9998989899000578, avgTableSize=9899.0
6.83/4.28	    
7.03/4.39	    num=24, depth=45..49, filters=45864, ccks=306, wck=2.1, mem=75M646
7.03/4.39	    decisions=3174, wrong=815, backtracks=175, failedAssignments=643, nogoods=212, foundSolutions=3, bestBound=494
7.03/4.39	    nFilterCalls=142162, avgTableProportion=0.9998989898994688, avgTableSize=9899.0
7.03/4.39	    
7.23/4.53	    num=25, depth=50..56, filters=49717, ccks=306, wck=2.236, mem=78M234
7.23/4.53	    decisions=3439, wrong=922, backtracks=208, failedAssignments=717, nogoods=217, foundSolutions=3, bestBound=494
7.23/4.53	    nFilterCalls=152526, avgTableProportion=0.9998989898987307, avgTableSize=9899.0
7.23/4.53	    
7.34/4.65	    num=26, depth=46..50, filters=52663, ccks=306, wck=2.36, mem=84M732
7.34/4.65	    decisions=3680, wrong=1019, backtracks=225, failedAssignments=798, nogoods=235, foundSolutions=3, bestBound=494
7.34/4.65	    nFilterCalls=161197, avgTableProportion=0.9998989898981862, avgTableSize=9899.0
7.34/4.65	    
7.44/4.76	    num=27, depth=58..61, filters=55861, ccks=306, wck=2.474, mem=89M909
7.44/4.76	    decisions=3954, wrong=1127, backtracks=244, failedAssignments=887, nogoods=251, foundSolutions=3, bestBound=494
7.44/4.76	    nFilterCalls=170502, avgTableProportion=0.9998989898976633, avgTableSize=9899.0
7.44/4.76	    
7.64/4.91	    num=28, depth=43..46, filters=60001, ccks=306, wck=2.621, mem=95M86
7.64/4.91	    decisions=4222, wrong=1239, backtracks=258, failedAssignments=985, nogoods=257, foundSolutions=3, bestBound=494
7.64/4.91	    nFilterCalls=180213, avgTableProportion=0.9998989898971753, avgTableSize=9899.0
7.64/4.91	    
7.75/5.03	    num=29, depth=55..57, filters=62897, ccks=306, wck=2.735, mem=102M851
7.75/5.03	    decisions=4514, wrong=1357, backtracks=268, failedAssignments=1093, nogoods=263, foundSolutions=3, bestBound=494
7.75/5.03	    nFilterCalls=188737, avgTableProportion=0.9998989898967883, avgTableSize=9899.0
7.75/5.03	    
7.94/5.26	    num=30, depth=49..52, filters=69708, ccks=306, wck=2.968, mem=110M616
7.94/5.26	    decisions=4878, wrong=1514, backtracks=307, failedAssignments=1212, nogoods=280, foundSolutions=3, bestBound=494
7.94/5.26	    nFilterCalls=204317, avgTableProportion=0.9998989898961644, avgTableSize=9899.0
7.94/5.26	    
8.14/5.45	    num=31, depth=50..53, filters=75128, ccks=306, wck=3.157, mem=120M970
8.14/5.45	    decisions=5243, wrong=1671, backtracks=333, failedAssignments=1343, nogoods=295, foundSolutions=3, bestBound=494
8.14/5.45	    nFilterCalls=218957, avgTableProportion=0.9998989898956591, avgTableSize=9899.0
8.14/5.45	    
8.34/5.65	    num=32, depth=51..55, filters=81209, ccks=306, wck=3.363, mem=128M735
8.34/5.65	    decisions=5642, wrong=1843, backtracks=362, failedAssignments=1487, nogoods=304, foundSolutions=3, bestBound=494
8.34/5.65	    nFilterCalls=231012, avgTableProportion=0.999898989895291, avgTableSize=9899.0
8.34/5.65	    
8.54/5.85	    num=33, depth=51..55, filters=86691, ccks=306, wck=3.555, mem=141M677
8.54/5.85	    decisions=6048, wrong=2020, backtracks=381, failedAssignments=1645, nogoods=335, foundSolutions=3, bestBound=494
8.54/5.85	    nFilterCalls=244177, avgTableProportion=0.9998989898949306, avgTableSize=9899.0
8.54/5.85	    
8.88/6.14	    num=34, depth=45..48, filters=96813, ccks=306, wck=3.848, mem=157M207
8.88/6.14	    decisions=6534, wrong=2240, backtracks=427, failedAssignments=1819, nogoods=360, foundSolutions=3, bestBound=494
8.88/6.14	    nFilterCalls=263836, avgTableProportion=0.9998989898946432, avgTableSize=9899.0
8.88/6.14	    
9.08/6.37	    num=35, depth=43..46, filters=103097, ccks=306, wck=4.079, mem=170M149
9.08/6.37	    decisions=7015, wrong=2458, backtracks=454, failedAssignments=2010, nogoods=386, foundSolutions=3, bestBound=494
9.08/6.37	    nFilterCalls=279177, avgTableProportion=0.9998989898959108, avgTableSize=9899.0
9.08/6.37	    
9.48/6.70	    num=36, depth=45..50, filters=113920, ccks=306, wck=4.407, mem=183M91
9.48/6.70	    decisions=7585, wrong=2720, backtracks=505, failedAssignments=2221, nogoods=402, foundSolutions=3, bestBound=494
9.48/6.70	    nFilterCalls=304636, avgTableProportion=0.9998989898977326, avgTableSize=9899.0
9.48/6.70	    
9.81/7.06	    num=37, depth=43..49, filters=125363, ccks=306, wck=4.767, mem=196M33
9.81/7.06	    decisions=8217, wrong=3013, backtracks=568, failedAssignments=2453, nogoods=434, foundSolutions=3, bestBound=494
9.81/7.06	    nFilterCalls=327182, avgTableProportion=0.9998989898991093, avgTableSize=9899.0
9.81/7.06	    
10.27/7.42	    num=38, depth=52..56, filters=136689, ccks=306, wck=5.13, mem=78M290
10.27/7.42	    decisions=8927, wrong=3341, backtracks=641, failedAssignments=2708, nogoods=447, foundSolutions=3, bestBound=494
10.27/7.42	    nFilterCalls=350620, avgTableProportion=0.9998989899003528, avgTableSize=9899.0
10.27/7.42	    
10.47/7.70	    num=39, depth=57..60, filters=145368, ccks=306, wck=5.405, mem=91M281
10.47/7.70	    decisions=9667, wrong=3682, backtracks=702, failedAssignments=2989, nogoods=467, foundSolutions=3, bestBound=494
10.47/7.70	    nFilterCalls=369913, avgTableProportion=0.999898989901258, avgTableSize=9899.0
10.47/7.70	    
10.98/8.11	    num=40, depth=48..54, filters=158094, ccks=306, wck=5.816, mem=104M271
10.98/8.11	    decisions=10477, wrong=4062, backtracks=775, failedAssignments=3298, nogoods=487, foundSolutions=3, bestBound=494
10.98/8.11	    nFilterCalls=394675, avgTableProportion=0.9998989899022902, avgTableSize=9899.0
10.98/8.11	    
11.27/8.48	    num=41, depth=49..53, filters=169107, ccks=306, wck=6.193, mem=130M251
11.27/8.48	    decisions=11301, wrong=4449, backtracks=823, failedAssignments=3638, nogoods=516, foundSolutions=3, bestBound=494
11.27/8.48	    nFilterCalls=419854, avgTableProportion=0.999898989903215, avgTableSize=9899.0
11.27/8.48	    
11.98/9.13	    num=42, depth=56..63, filters=196615, ccks=306, wck=6.836, mem=148M438
11.98/9.13	    decisions=12323, wrong=4930, backtracks=931, failedAssignments=4012, nogoods=556, foundSolutions=3, bestBound=494
11.98/9.13	    nFilterCalls=463704, avgTableProportion=0.9998989899045858, avgTableSize=9899.0
11.98/9.13	    
12.48/9.67	    num=43, depth=48..53, filters=215405, ccks=306, wck=7.382, mem=171M820
12.48/9.67	    decisions=13407, wrong=5447, backtracks=1037, failedAssignments=4423, nogoods=568, foundSolutions=3, bestBound=494
12.48/9.67	    nFilterCalls=501658, avgTableProportion=0.9998989899055787, avgTableSize=9899.0
12.48/9.67	    
13.01/10.11	    num=44, depth=54..58, filters=228538, ccks=306, wck=7.816, mem=197M801
13.01/10.11	    decisions=14481, wrong=5956, backtracks=1095, failedAssignments=4875, nogoods=582, foundSolutions=3, bestBound=494
13.01/10.11	    nFilterCalls=525572, avgTableProportion=0.9998989899061307, avgTableSize=9899.0
13.01/10.11	    
13.54/10.63	    num=45, depth=44..50, filters=242478, ccks=306, wck=8.341, mem=107M451
13.54/10.63	    decisions=15661, wrong=6523, backtracks=1167, failedAssignments=5372, nogoods=613, foundSolutions=3, bestBound=494
13.54/10.63	    nFilterCalls=560528, avgTableProportion=0.9998989899068529, avgTableSize=9899.0
13.54/10.63	    
14.16/11.27	    num=46, depth=58..66, filters=264040, ccks=306, wck=8.976, mem=136M988
14.16/11.27	    decisions=17151, wrong=7238, backtracks=1338, failedAssignments=5919, nogoods=647, foundSolutions=3, bestBound=494
14.16/11.27	    nFilterCalls=601880, avgTableProportion=0.9998989899075988, avgTableSize=9899.0
14.16/11.27	    
14.76/11.87	    num=47, depth=60..64, filters=288519, ccks=306, wck=9.579, mem=173M910
14.76/11.87	    decisions=18685, wrong=7974, backtracks=1473, failedAssignments=6521, nogoods=664, foundSolutions=3, bestBound=494
14.76/11.87	    nFilterCalls=647024, avgTableProportion=0.9998989899083044, avgTableSize=9899.0
14.76/11.87	    
15.66/12.77	    num=48, depth=57..62, filters=320803, ccks=306, wck=10.479, mem=203M447
15.66/12.77	    decisions=20586, wrong=8895, backtracks=1733, failedAssignments=7183, nogoods=672, foundSolutions=3, bestBound=494
15.66/12.77	    nFilterCalls=706142, avgTableProportion=0.9998989899090918, avgTableSize=9899.0
15.66/12.77	    
16.56/13.69	    num=49, depth=44..49, filters=350801, ccks=306, wck=11.396, mem=255M138
16.56/13.69	    decisions=22314, wrong=9736, backtracks=1846, failedAssignments=7911, nogoods=677, foundSolutions=3, bestBound=494
16.56/13.69	    nFilterCalls=763570, avgTableProportion=0.99989898990974, avgTableSize=9899.0
16.56/13.69	    
17.60/14.65	    num=50, depth=51..57, filters=390146, ccks=306, wck=12.355, mem=100M712
17.60/14.65	    decisions=24409, wrong=10757, backtracks=2070, failedAssignments=8712, nogoods=706, foundSolutions=3, bestBound=494
17.60/14.65	    nFilterCalls=827121, avgTableProportion=0.9998989899103524, avgTableSize=9899.0
17.60/14.65	    
18.60/15.65	    num=51, depth=55..60, filters=426043, ccks=306, wck=13.357, mem=134M538
18.60/15.65	    decisions=26746, wrong=11897, backtracks=2330, failedAssignments=9593, nogoods=727, foundSolutions=3, bestBound=494
18.60/15.65	    nFilterCalls=888854, avgTableProportion=0.9998989899108635, avgTableSize=9899.0
18.60/15.65	    
19.70/16.74	    num=52, depth=51..59, filters=466748, ccks=306, wck=14.45, mem=175M882
19.70/16.74	    decisions=29302, wrong=13147, backtracks=2611, failedAssignments=10563, nogoods=742, foundSolutions=3, bestBound=494
19.70/16.74	    nFilterCalls=954556, avgTableProportion=0.9998989899113347, avgTableSize=9899.0
19.70/16.74	    
21.41/18.41	    num=53, depth=56..65, filters=535320, ccks=306, wck=16.115, mem=236M18
21.41/18.41	    decisions=32045, wrong=14488, backtracks=2885, failedAssignments=11630, nogoods=758, foundSolutions=3, bestBound=494
21.41/18.41	    nFilterCalls=1064621, avgTableProportion=0.9998989899119939, avgTableSize=9899.0
21.41/18.41	    
22.74/19.75	    num=54, depth=64..71, filters=585797, ccks=306, wck=17.458, mem=101M250
22.74/19.75	    decisions=35189, wrong=16027, backtracks=3254, failedAssignments=12803, nogoods=781, foundSolutions=3, bestBound=494
22.74/19.75	    nFilterCalls=1147745, avgTableProportion=0.9998989899124079, avgTableSize=9899.0
22.74/19.75	    
24.35/21.37	    num=55, depth=51..57, filters=637534, ccks=306, wck=19.082, mem=182M912
24.35/21.37	    decisions=38491, wrong=17651, backtracks=3591, failedAssignments=14094, nogoods=807, foundSolutions=3, bestBound=494
24.35/21.37	    nFilterCalls=1250827, avgTableProportion=0.9998989899128449, avgTableSize=9899.0
24.35/21.37	    
25.85/22.84	    num=56, depth=61..67, filters=690384, ccks=306, wck=20.546, mem=239M55
25.85/22.84	    decisions=42339, wrong=19544, backtracks=4072, failedAssignments=15514, nogoods=837, foundSolutions=3, bestBound=494
25.85/22.84	    nFilterCalls=1338206, avgTableProportion=0.9998989899131626, avgTableSize=9899.0
25.85/22.84	    
27.25/24.23	    num=57, depth=61..68, filters=735179, ccks=306, wck=21.935, mem=310M509
27.25/24.23	    decisions=46157, wrong=21422, backtracks=4389, failedAssignments=17076, nogoods=861, foundSolutions=3, bestBound=494
27.25/24.23	    nFilterCalls=1418437, avgTableProportion=0.9998989899134199, avgTableSize=9899.0
27.25/24.23	    
28.69/25.65	    num=58, depth=53..59, filters=781872, ccks=306, wck=23.36, mem=152M527
28.69/25.65	    decisions=50146, wrong=23389, backtracks=4641, failedAssignments=18794, nogoods=881, foundSolutions=3, bestBound=494
28.69/25.65	    nFilterCalls=1507289, avgTableProportion=0.9998989899136728, avgTableSize=9899.0
28.69/25.65	    
30.29/27.28	    num=59, depth=54..61, filters=834455, ccks=306, wck=24.99, mem=249M658
30.29/27.28	    decisions=54616, wrong=25596, backtracks=4960, failedAssignments=20684, nogoods=934, foundSolutions=3, bestBound=494
30.29/27.28	    nFilterCalls=1611902, avgTableProportion=0.9998989899139348, avgTableSize=9899.0
30.29/27.28	    
32.14/29.01	    num=60, depth=58..66, filters=894652, ccks=306, wck=26.716, mem=97M609
32.14/29.01	    decisions=59684, wrong=28100, backtracks=5386, failedAssignments=22763, nogoods=957, foundSolutions=3, bestBound=494
32.14/29.01	    nFilterCalls=1728465, avgTableProportion=0.9998989899141894, avgTableSize=9899.0
32.14/29.01	    
34.04/30.98	    num=61, depth=59..68, filters=971787, ccks=306, wck=28.685, mem=205M108
34.04/30.98	    decisions=65470, wrong=30962, backtracks=5964, failedAssignments=25050, nogoods=1013, foundSolutions=3, bestBound=494
34.04/30.98	    nFilterCalls=1856964, avgTableProportion=0.999898989914433, avgTableSize=9899.0
34.04/30.98	    
36.74/33.67	    num=62, depth=53..60, filters=1059298, ccks=306, wck=31.38, mem=326M45
36.74/33.67	    decisions=71848, wrong=34123, backtracks=6615, failedAssignments=27566, nogoods=1053, foundSolutions=3, bestBound=494
36.74/33.67	    nFilterCalls=2018140, avgTableProportion=0.9998989899146948, avgTableSize=9899.0
36.74/33.67	    
39.78/36.69	    num=63, depth=55..63, filters=1161402, ccks=306, wck=34.404, mem=168M647
39.78/36.69	    decisions=78883, wrong=37612, backtracks=7343, failedAssignments=30334, nogoods=1097, foundSolutions=3, bestBound=494
39.78/36.69	    nFilterCalls=2224339, avgTableProportion=0.9998989899016832, avgTableSize=9899.0
39.78/36.69	    
41.88/38.76	    num=64, depth=68..83, filters=1273329, ccks=306, wck=36.473, mem=227M366
41.88/38.76	    decisions=86765, wrong=41516, backtracks=8236, failedAssignments=33378, nogoods=1143, foundSolutions=3, bestBound=494
41.88/38.76	    nFilterCalls=2368171, avgTableProportion=0.9998989898885156, avgTableSize=9899.0
41.88/38.76	    
44.79/41.63	    num=65, depth=55..64, filters=1375480, ccks=306, wck=39.339, mem=396M999
44.79/41.63	    decisions=94600, wrong=45403, backtracks=8776, failedAssignments=36727, nogoods=1177, foundSolutions=3, bestBound=494
44.79/41.63	    nFilterCalls=2547346, avgTableProportion=0.9998989898741922, avgTableSize=9899.0
44.79/41.63	    
48.24/45.01	    num=66, depth=62..69, filters=1511347, ccks=306, wck=42.715, mem=222M952
48.24/45.01	    decisions=103949, wrong=50045, backtracks=9735, failedAssignments=40411, nogoods=1193, foundSolutions=3, bestBound=494
48.24/45.01	    nFilterCalls=2768702, avgTableProportion=0.9998989898590569, avgTableSize=9899.0
48.24/45.01	    
52.87/49.63	    num=67, depth=55..61, filters=1679688, ccks=306, wck=47.334, mem=126M252
52.87/49.63	    decisions=114007, wrong=55046, backtracks=10700, failedAssignments=44463, nogoods=1242, foundSolutions=3, bestBound=494
52.87/49.63	    nFilterCalls=3058140, avgTableProportion=0.9998989898425719, avgTableSize=9899.0
52.87/49.63	    
57.12/53.88	    num=68, depth=58..69, filters=1859241, ccks=306, wck=51.588, mem=267M986
57.12/53.88	    decisions=125730, wrong=60877, backtracks=12087, failedAssignments=48920, nogoods=1303, foundSolutions=3, bestBound=494
57.12/53.88	    nFilterCalls=3319133, avgTableProportion=0.9998989898301721, avgTableSize=9899.0
57.12/53.88	    
61.47/58.15	    num=69, depth=66..74, filters=2013191, ccks=306, wck=55.861, mem=268M339
61.47/58.15	    decisions=137483, wrong=66718, backtracks=13032, failedAssignments=53823, nogoods=1320, foundSolutions=3, bestBound=494
61.47/58.15	    nFilterCalls=3619215, avgTableProportion=0.9998989898181254, avgTableSize=9899.0
61.47/58.15	    
67.90/64.58	    num=70, depth=46..53, filters=2233323, ccks=306, wck=62.292, mem=274M520
67.90/64.58	    decisions=150579, wrong=73242, backtracks=14171, failedAssignments=59217, nogoods=1362, foundSolutions=3, bestBound=494
67.90/64.58	    nFilterCalls=4021988, avgTableProportion=0.9998989898047818, avgTableSize=9899.0
67.90/64.58	    
73.12/69.76	    num=71, depth=58..65, filters=2432502, ccks=306, wck=67.472, mem=286M1
73.12/69.76	    decisions=164713, wrong=80279, backtracks=15276, failedAssignments=65150, nogoods=1397, foundSolutions=3, bestBound=494
73.12/69.76	    nFilterCalls=4342221, avgTableProportion=0.9998989897959392, avgTableSize=9899.0
73.12/69.76	    
80.37/77.00	    num=72, depth=56..66, filters=2706770, ccks=306, wck=74.711, mem=246M992
80.37/77.00	    decisions=181957, wrong=88871, backtracks=17347, failedAssignments=71676, nogoods=1419, foundSolutions=3, bestBound=494
80.37/77.00	    nFilterCalls=4773120, avgTableProportion=0.9998989897859132, avgTableSize=9899.0
80.37/77.00	    
89.52/86.02	    num=73, depth=56..67, filters=3087466, ccks=306, wck=83.734, mem=322M751
89.52/86.02	    decisions=202638, wrong=99181, backtracks=20567, failedAssignments=78855, nogoods=1456, foundSolutions=3, bestBound=494
89.52/86.02	    nFilterCalls=5470424, avgTableProportion=0.9998989897730346, avgTableSize=9899.0
89.52/86.02	    
96.38/92.83	    num=74, depth=54..61, filters=3332731, ccks=306, wck=90.542, mem=259M653
96.38/92.83	    decisions=220893, wrong=108280, backtracks=21779, failedAssignments=86752, nogoods=1507, foundSolutions=3, bestBound=494
96.38/92.83	    nFilterCalls=5919148, avgTableProportion=0.9998989897663517, avgTableSize=9899.0
96.38/92.83	    
105.80/102.23	    num=75, depth=63..79, filters=3766389, ccks=306, wck=99.94, mem=95M661
105.80/102.23	    decisions=246001, wrong=120798, backtracks=25652, failedAssignments=95439, nogoods=1539, foundSolutions=3, bestBound=494
105.80/102.23	    nFilterCalls=6609678, avgTableProportion=0.9998989897578401, avgTableSize=9899.0
105.80/102.23	    
114.20/110.63	    num=76, depth=61..70, filters=4159315, ccks=306, wck=108.34, mem=161M209
114.20/110.63	    decisions=269943, wrong=132736, backtracks=28091, failedAssignments=104994, nogoods=1603, foundSolutions=3, bestBound=494
114.20/110.63	    nFilterCalls=7158514, avgTableProportion=0.9998989897522463, avgTableSize=9899.0
114.20/110.63	    
123.63/120.04	    num=77, depth=60..68, filters=4549574, ccks=306, wck=117.749, mem=264M876
123.63/120.04	    decisions=297001, wrong=146233, backtracks=31095, failedAssignments=115505, nogoods=1695, foundSolutions=3, bestBound=494
123.63/120.04	    nFilterCalls=7718668, avgTableProportion=0.9998989897473575, avgTableSize=9899.0
123.63/120.04	    
136.48/132.86	    num=78, depth=63..73, filters=5119758, ccks=306, wck=130.566, mem=127M255
136.48/132.86	    decisions=328230, wrong=161814, backtracks=35180, failedAssignments=127067, nogoods=1734, foundSolutions=3, bestBound=494
136.48/132.86	    nFilterCalls=8578564, avgTableProportion=0.9998989897616252, avgTableSize=9899.0
136.48/132.86	    
149.42/145.72	    num=79, depth=56..66, filters=5629551, ccks=306, wck=143.426, mem=79M535
149.42/145.72	    decisions=358669, wrong=177004, backtracks=37702, failedAssignments=139785, nogoods=1766, foundSolutions=3, bestBound=494
149.42/145.72	    nFilterCalls=9392683, avgTableProportion=0.9998989898356964, avgTableSize=9899.0
149.42/145.72	    
163.14/159.43	    num=80, depth=61..69, filters=6252569, ccks=306, wck=157.136, mem=136M369
163.14/159.43	    decisions=392335, wrong=193805, backtracks=40544, failedAssignments=153775, nogoods=1787, foundSolutions=3, bestBound=494
163.14/159.43	    nFilterCalls=10294824, avgTableProportion=0.9998989899040925, avgTableSize=9899.0
163.14/159.43	    
179.37/175.65	    num=81, depth=55..66, filters=7145126, ccks=306, wck=173.362, mem=200M669
179.37/175.65	    decisions=430635, wrong=212926, backtracks=44287, failedAssignments=169164, nogoods=1836, foundSolutions=3, bestBound=494
179.37/175.65	    nFilterCalls=11472455, avgTableProportion=0.9998989899771896, avgTableSize=9899.0
179.37/175.65	    
199.65/195.80	    num=82, depth=55..63, filters=8032374, ccks=306, wck=193.511, mem=104M881
199.65/195.80	    decisions=474586, wrong=234873, backtracks=49448, failedAssignments=186092, nogoods=1890, foundSolutions=3, bestBound=494
199.65/195.80	    nFilterCalls=12729761, avgTableProportion=0.9998989900403042, avgTableSize=9899.0
199.65/195.80	    
212.80/209.00	    num=83, depth=54..65, filters=8509277, ccks=306, wck=206.712, mem=174M321
212.80/209.00	    decisions=518106, wrong=256605, backtracks=52573, failedAssignments=204713, nogoods=1920, foundSolutions=3, bestBound=494
212.80/209.00	    nFilterCalls=13588852, avgTableProportion=0.9998989900767127, avgTableSize=9899.0
212.80/209.00	    
230.55/226.62	    num=84, depth=55..63, filters=9128017, ccks=306, wck=224.331, mem=176M237
230.55/226.62	    decisions=566153, wrong=280600, backtracks=56108, failedAssignments=225197, nogoods=1934, foundSolutions=3, bestBound=494
230.55/226.62	    nFilterCalls=14698358, avgTableProportion=0.9998989901174361, avgTableSize=9899.0
230.55/226.62	    
258.24/254.24	    num=85, depth=44..56, filters=9976502, ccks=306, wck=251.954, mem=103M307
258.24/254.24	    decisions=625484, wrong=310240, backtracks=63290, failedAssignments=247729, nogoods=1982, foundSolutions=3, bestBound=494
258.24/254.24	    nFilterCalls=16222845, avgTableProportion=0.999898990164306, avgTableSize=9899.0
258.24/254.24	    
281.12/277.08	    num=86, depth=57..67, filters=10738570, ccks=306, wck=274.786, mem=145M4
281.12/277.08	    decisions=685151, wrong=340042, backtracks=68363, failedAssignments=272514, nogoods=2040, foundSolutions=3, bestBound=494
281.12/277.08	    nFilterCalls=17525169, avgTableProportion=0.9998989901185719, avgTableSize=9899.0
281.12/277.08	    
307.51/303.37	    num=87, depth=57..65, filters=11624330, ccks=306, wck=301.076, mem=136M298
307.51/303.37	    decisions=749614, wrong=372244, backtracks=73380, failedAssignments=299778, nogoods=2068, foundSolutions=3, bestBound=494
307.51/303.37	    nFilterCalls=19062456, avgTableProportion=0.9998989900084906, avgTableSize=9899.0
307.51/303.37	    
337.24/333.00	    num=88, depth=48..59, filters=12796990, ccks=306, wck=330.704, mem=116M223
337.24/333.00	    decisions=821148, wrong=407984, backtracks=79206, failedAssignments=329768, nogoods=2157, foundSolutions=3, bestBound=494
337.24/333.00	    nFilterCalls=20828979, avgTableProportion=0.9998989899020586, avgTableSize=9899.0
337.24/333.00	    
375.99/371.54	    num=89, depth=53..64, filters=14244061, ccks=306, wck=369.251, mem=100M934
375.99/371.54	    decisions=906012, wrong=450389, backtracks=89088, failedAssignments=362757, nogoods=2175, foundSolutions=3, bestBound=494
375.99/371.54	    nFilterCalls=23458354, avgTableProportion=0.9998989897733266, avgTableSize=9899.0
375.99/371.54	    
400.81/396.25	    num=90, depth=64..73, filters=15358695, ccks=306, wck=393.956, mem=118M63
400.81/396.25	    decisions=991546, wrong=493122, backtracks=95603, failedAssignments=399045, nogoods=2232, foundSolutions=3, bestBound=494
400.81/396.25	    nFilterCalls=25155781, avgTableProportion=0.9998989897045161, avgTableSize=9899.0
400.81/396.25	    
440.87/436.13	    num=91, depth=53..61, filters=16720628, ccks=306, wck=433.837, mem=82M809
440.87/436.13	    decisions=1088115, wrong=541378, backtracks=104049, failedAssignments=438962, nogoods=2315, foundSolutions=3, bestBound=494
440.87/436.13	    nFilterCalls=27568877, avgTableProportion=0.9998989896212789, avgTableSize=9899.0
440.87/436.13	    
484.19/479.39	    num=92, depth=66..77, filters=18763551, ccks=306, wck=477.094, mem=106M388
484.19/479.39	    decisions=1201172, wrong=597870, backtracks=116763, failedAssignments=482871, nogoods=2362, foundSolutions=3, bestBound=494
484.19/479.39	    nFilterCalls=30375453, avgTableProportion=0.9998989895411047, avgTableSize=9899.0
484.19/479.39	    
520.51/515.56	    num=93, depth=61..73, filters=20318970, ccks=306, wck=513.269, mem=83M952
520.51/515.56	    decisions=1316219, wrong=655361, backtracks=126184, failedAssignments=531171, nogoods=2384, foundSolutions=3, bestBound=494
520.51/515.56	    nFilterCalls=32511774, avgTableProportion=0.9998989894893556, avgTableSize=9899.0
520.51/515.56	    
574.17/569.03	    num=94, depth=64..76, filters=23144662, ccks=306, wck=566.743, mem=102M160
574.17/569.03	    decisions=1455889, wrong=725162, backtracks=143133, failedAssignments=584301, nogoods=2420, foundSolutions=3, bestBound=494
574.17/569.03	    nFilterCalls=36458466, avgTableProportion=0.9998989897060893, avgTableSize=9899.0
574.17/569.03	    
616.61/611.32	    num=95, depth=68..80, filters=25033941, ccks=306, wck=609.025, mem=74M384
616.61/611.32	    decisions=1592795, wrong=793579, backtracks=153285, failedAssignments=642744, nogoods=2485, foundSolutions=3, bestBound=494
616.61/611.32	    nFilterCalls=39137853, avgTableProportion=0.999898989895913, avgTableSize=9899.0
616.61/611.32	    
689.85/684.36	    num=96, depth=62..73, filters=28076751, ccks=306, wck=682.069, mem=104M364
689.85/684.36	    decisions=1757655, wrong=875977, backtracks=171716, failedAssignments=707031, nogoods=2512, foundSolutions=3, bestBound=494
689.85/684.36	    nFilterCalls=43960485, avgTableProportion=0.9998989901792706, avgTableSize=9899.0
689.85/684.36	    
760.54/754.88	    num=97, depth=60..73, filters=31346244, ccks=306, wck=752.584, mem=104M388
760.54/754.88	    decisions=1938670, wrong=966452, backtracks=191720, failedAssignments=777747, nogoods=2567, foundSolutions=3, bestBound=494
760.54/754.88	    nFilterCalls=48683578, avgTableProportion=0.9998989904023667, avgTableSize=9899.0
760.54/754.88	    
852.74/846.90	    num=98, depth=57..69, filters=36048689, ccks=306, wck=844.605, mem=102M282
852.74/846.90	    decisions=2150871, wrong=1072520, backtracks=220077, failedAssignments=855534, nogoods=2608, foundSolutions=3, bestBound=494
852.74/846.90	    nFilterCalls=55194988, avgTableProportion=0.9998989906473313, avgTableSize=9899.0
852.74/846.90	    
921.59/915.48	    num=99, depth=69..81, filters=39017961, ccks=306, wck=913.191, mem=89M472
921.59/915.48	    decisions=2349472, wrong=1171784, backtracks=233914, failedAssignments=941100, nogoods=2637, foundSolutions=3, bestBound=494
921.59/915.48	    nFilterCalls=59695848, avgTableProportion=0.9998989907854213, avgTableSize=9899.0
921.59/915.48	    
1027.76/1021.32	    num=100, depth=59..71, filters=44676585, ccks=306, wck=1019.031, mem=89M505
1027.76/1021.32	    decisions=2581780, wrong=1287907, backtracks=256270, failedAssignments=1035223, nogoods=2661, foundSolutions=3, bestBound=494
1027.76/1021.32	    nFilterCalls=67085320, avgTableProportion=0.9998989909719528, avgTableSize=9899.0
1027.76/1021.32	    
1107.54/1100.83	    num=101, depth=67..77, filters=48546303, ccks=306, wck=1098.54, mem=105M573
1107.54/1100.83	    decisions=2823396, wrong=1408679, backtracks=273802, failedAssignments=1138758, nogoods=2708, foundSolutions=3, bestBound=494
1107.54/1100.83	    nFilterCalls=72407684, avgTableProportion=0.9998989905381793, avgTableSize=9899.0
1107.54/1100.83	    
1193.86/1186.87	    num=102, depth=60..71, filters=52195183, ccks=306, wck=1184.58, mem=98M110
1193.86/1186.87	    decisions=3082604, wrong=1538250, backtracks=289646, failedAssignments=1252647, nogoods=2768, foundSolutions=3, bestBound=494
1193.86/1186.87	    nFilterCalls=77980896, avgTableProportion=0.9998989901443917, avgTableSize=9899.0
1193.86/1186.87	    
1281.43/1274.17	    num=103, depth=59..68, filters=55723359, ccks=306, wck=1271.882, mem=116M326
1281.43/1274.17	    decisions=3372904, wrong=1683369, backtracks=309796, failedAssignments=1377925, nogoods=2809, foundSolutions=3, bestBound=494
1281.43/1274.17	    nFilterCalls=83207115, avgTableProportion=0.9998989898230491, avgTableSize=9899.0
1281.43/1274.17	    
1413.25/1405.63	    num=104, depth=61..72, filters=62274547, ccks=306, wck=1403.343, mem=111M2
1413.25/1405.63	    decisions=3722805, wrong=1858287, backtracks=347070, failedAssignments=1515731, nogoods=2837, foundSolutions=3, bestBound=494
1413.25/1405.63	    nFilterCalls=92521374, avgTableProportion=0.9998989893403515, avgTableSize=9899.0
1413.25/1405.63	    
1519.16/1511.22	    num=105, depth=55..68, filters=66173618, ccks=306, wck=1508.928, mem=85M350
1519.16/1511.22	    decisions=4075341, wrong=2034525, backtracks=372265, failedAssignments=1667317, nogoods=2924, foundSolutions=3, bestBound=494
1519.16/1511.22	    nFilterCalls=98718866, avgTableProportion=0.9998989890696423, avgTableSize=9899.0
1519.16/1511.22	    
1660.82/1652.52	    num=106, depth=62..75, filters=71650455, ccks=306, wck=1650.233, mem=81M121
1660.82/1652.52	    decisions=4479002, wrong=2236320, backtracks=408210, failedAssignments=1834062, nogoods=3021, foundSolutions=3, bestBound=494
1660.82/1652.52	    nFilterCalls=106770788, avgTableProportion=0.9998989887648694, avgTableSize=9899.0
1660.82/1652.52	    
1836.63/1827.95	    num=107, depth=62..75, filters=79125471, ccks=306, wck=1825.655, mem=105M769
1836.63/1827.95	    decisions=4954219, wrong=2473895, backtracks=463071, failedAssignments=2017481, nogoods=3058, foundSolutions=3, bestBound=494
1836.63/1827.95	    nFilterCalls=117618065, avgTableProportion=0.9998989884202628, avgTableSize=9899.0
1836.63/1827.95	    
2039.81/2030.65	    num=108, depth=62..73, filters=87963741, ccks=306, wck=2028.357, mem=90M812
2039.81/2030.65	    decisions=5464064, wrong=2728783, backtracks=517309, failedAssignments=2219242, nogoods=3103, foundSolutions=3, bestBound=494
2039.81/2030.65	    nFilterCalls=130817931, avgTableProportion=0.9998989880780017, avgTableSize=9899.0
2039.81/2030.65	    
2262.03/2252.39	    num=109, depth=52..64, filters=97112718, ccks=306, wck=2250.096, mem=73M732
2262.03/2252.39	    decisions=6030583, wrong=3012014, backtracks=579313, failedAssignments=2441180, nogoods=3142, foundSolutions=3, bestBound=494
2262.03/2252.39	    nFilterCalls=144601638, avgTableProportion=0.9998989888559572, avgTableSize=9899.0
2262.03/2252.39	    
2400.05/2390.01	
2400.05/2390.01	v <instantiation id='sol3' type='solution' cost='494'>  <list> c[] d[] </list>  <values> 42 37 13 22 28 38 51 57 73 76 80 86 90 81 41 40 46 52 58 63 71 67 64 61 68 65 72 75 83 79 82 91 95 92 96 97 99 87 93 98 94 88 89 85 84 78 74 70 69 56 45 44 39 34 31 30 14 5 4 18 26 25 24 29 23 33 43 48 50 54 55 62 66 60 59 53 47 49 36 35 32 19 20 10 8 3 6 12 16 15 27 21 17 11 2 0 9 1 7 77 6 12 5 3 12 5 4 8 4 3 23 4 6 18 1 2 3 4 4 4 2 1 4 4 2 3 5 2 3 1 6 2 8 5 2 1 4 2 1 1 2 5 5 2 4 2 2 2 8 4 3 2 3 3 2 7 9 4 7 3 1 1 2 4 5 5 3 1 1 1 5 2 7 1 6 2 1 7 1 1 7 2 8 4 4 2 4 1 1 5 4 2 2 6 5 34 7 6 36 28 </values>  </instantiation>
2400.05/2390.01	s SATISFIABLE

Verifier Data 

OK	494

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14541 MiB free)
  memory of node 1: 16384 MiB (15253 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391319-1568390780/watcher-4391319-1568390780 -o /tmp/evaluation-result-4391319-1568390780/solver-4391319-1568390780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568386731-6664 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391319-1568390780.xml -cm 

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

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

solver pid=6924, runsolver pid=6921

[startup+0.100152 s]*
/proc/loadavg: 1.66 1.59 1.42 4/227 6939
/proc/meminfo: memFree=30492624/32770624 swapFree=66997216/67108860
[pid=6924] ppid=6921 vsize=10659884 memory=28968 CPUtime=0.14 cores=1,3,5,7
/proc/6924/stat : 6924 (java) S 6921 6924 4259 0 -1 1077944320 5151 0 0 0 12 2 0 0 20 0 15 0 415332647 10915721216 7242 33554432000 4194304 4196468 140727725103648 140727725086192 140717171355383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
/proc/6924/statm: 2664971 7242 2897 1 0 2627468 0
[pid=6924/tid=6926] ppid=6921 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/6924/task/6926/stat : 6926 (java) R 6921 6924 4259 0 -1 4202560 2975 0 0 0 8 1 0 0 20 0 15 0 415332647 10915721216 7308 33554432000 4194304 4196468 140727725103648 140717175583560 140717171377309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6927] ppid=6921 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 7308 33554432000 4194304 4196468 140727725103648 140717097429648 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6928] ppid=6921 vsize=10659884 memory=140406906320512 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 7308 33554432000 4194304 4196468 140727725103648 140717096376848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6929] ppid=6921 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6929/stat : 6929 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 7308 33554432000 4194304 4196468 140727725103648 140717095324048 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6930] ppid=6921 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6930/stat : 6930 (java) S 6921 6924 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 7308 33554432000 4194304 4196468 140727725103648 140717094271248 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6931] ppid=6921 vsize=10659884 memory=140406906320512 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6924 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415332649 10915721216 7308 33554432000 4194304 4196468 140727725103648 140716662528880 140717171366530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6932] ppid=6921 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6932/stat : 6932 (java) S 6921 6924 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415332650 10915721216 7308 33554432000 4194304 4196468 140727725103648 140716661474848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6933] ppid=6921 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6933/stat : 6933 (java) S 6921 6924 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415332650 10915721216 7308 33554432000 4194304 4196468 140727725103648 140716660422000 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6934] ppid=6921 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6934/stat : 6934 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415332652 10915721216 7374 33554432000 4194304 4196468 140727725103648 140716659370320 140717171373979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6935] ppid=6921 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6924/task/6935/stat : 6935 (java) S 6921 6924 4259 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 15 0 415332652 10915721216 7374 33554432000 4194304 4196468 140727725103648 140716658317680 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6936] ppid=6921 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6936/stat : 6936 (java) S 6921 6924 4259 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 15 0 415332652 10915721216 7374 33554432000 4194304 4196468 140727725103648 140716657264880 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6937] ppid=6921 vsize=10659884 memory=140406906320512 CPUtime=0.02 cores=1,3,5,7
/proc/6924/task/6937/stat : 6937 (java) R 6921 6924 4259 0 -1 4202560 482 0 0 0 2 0 0 0 20 0 15 0 415332653 10915721216 7374 33554432000 4194304 4196468 140727725103648 140716656209560 140717150057806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6938] ppid=6921 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6938/stat : 6938 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415332653 10915721216 7374 33554432000 4194304 4196468 140727725103648 140716655159520 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6939] ppid=6921 vsize=10659884 memory=140406906320512 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6939/stat : 6939 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332653 10915721216 7374 33554432000 4194304 4196468 140727725103648 140716654107824 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28968 KiB

[startup+0.210606 s]*
/proc/loadavg: 1.66 1.59 1.42 3/227 6939
/proc/meminfo: memFree=30482188/32770624 swapFree=66997216/67108860
[pid=6924] ppid=6921 vsize=10659884 memory=37716 CPUtime=0.32 cores=1,3,5,7
/proc/6924/stat : 6924 (java) S 6921 6924 4259 0 -1 1077944320 8686 0 0 0 29 3 0 0 20 0 15 0 415332647 10915721216 9429 33554432000 4194304 4196468 140727725103648 140727725086192 140717171355383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
/proc/6924/statm: 2664971 9429 2988 1 0 2627468 0
[pid=6924/tid=6926] ppid=6921 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6924/task/6926/stat : 6926 (java) R 6921 6924 4259 0 -1 4202560 5698 0 0 0 18 2 0 0 20 0 15 0 415332647 10915721216 9429 33554432000 4194304 4196468 140727725103648 140717175593648 140717171377309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6927] ppid=6921 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 9429 33554432000 4194304 4196468 140727725103648 140717097429648 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6928] ppid=6921 vsize=10659884 memory=140406906333558 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 9429 33554432000 4194304 4196468 140727725103648 140717096376848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6929] ppid=6921 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6929/stat : 6929 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 9429 33554432000 4194304 4196468 140727725103648 140717095324048 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6930] ppid=6921 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6930/stat : 6930 (java) S 6921 6924 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 9429 33554432000 4194304 4196468 140727725103648 140717094271248 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6931] ppid=6921 vsize=10659884 memory=140406906320512 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6924 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415332649 10915721216 9429 33554432000 4194304 4196468 140727725103648 140716662528880 140717171366530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6932] ppid=6921 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6932/stat : 6932 (java) S 6921 6924 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415332650 10915721216 9429 33554432000 4194304 4196468 140727725103648 140716661474848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6933] ppid=6921 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6933/stat : 6933 (java) S 6921 6924 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415332650 10915721216 9429 33554432000 4194304 4196468 140727725103648 140716660422000 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6934] ppid=6921 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6934/stat : 6934 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415332652 10915721216 9429 33554432000 4194304 4196468 140727725103648 140716659370320 140717171373979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6935] ppid=6921 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6924/task/6935/stat : 6935 (java) S 6921 6924 4259 0 -1 1077944384 570 0 0 0 3 0 0 0 20 0 15 0 415332652 10915721216 9429 33554432000 4194304 4196468 140727725103648 140716658317680 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6936] ppid=6921 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6924/task/6936/stat : 6936 (java) S 6921 6924 4259 0 -1 1077944384 313 0 0 0 2 0 0 0 20 0 15 0 415332652 10915721216 9429 33554432000 4194304 4196468 140727725103648 140716657264880 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6937] ppid=6921 vsize=10659884 memory=140406906320512 CPUtime=0.05 cores=1,3,5,7
/proc/6924/task/6937/stat : 6937 (java) S 6921 6924 4259 0 -1 1077944384 746 0 0 0 5 0 0 0 20 0 15 0 415332653 10915721216 9429 33554432000 4194304 4196468 140727725103648 140716656212080 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6938] ppid=6921 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6938/stat : 6938 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415332653 10915721216 9429 33554432000 4194304 4196468 140727725103648 140716655159520 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6939] ppid=6921 vsize=10659884 memory=140406906320512 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6939/stat : 6939 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332653 10915721216 9429 33554432000 4194304 4196468 140727725103648 140716654107824 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37716 KiB

[startup+0.309989 s]*
/proc/loadavg: 1.66 1.59 1.42 3/227 6939
/proc/meminfo: memFree=30480016/32770624 swapFree=66997216/67108860
[pid=6924] ppid=6921 vsize=10659884 memory=40292 CPUtime=0.48 cores=1,3,5,7
/proc/6924/stat : 6924 (java) S 6921 6924 4259 0 -1 1077944320 8829 0 0 0 44 4 0 0 20 0 15 0 415332647 10915721216 10073 33554432000 4194304 4196468 140727725103648 140727725086192 140717171355383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
/proc/6924/statm: 2664971 10073 3027 1 0 2627468 0
[pid=6924/tid=6926] ppid=6921 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/6924/task/6926/stat : 6926 (java) R 6921 6924 4259 0 -1 4202560 5780 0 0 0 27 2 0 0 20 0 15 0 415332647 10915721216 10073 33554432000 4194304 4196468 140727725103648 140717175590800 140717155435900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6927] ppid=6921 vsize=10659884 memory=2669794 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 10073 33554432000 4194304 4196468 140727725103648 140717097429648 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6928] ppid=6921 vsize=10659884 memory=140406909248539 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 10073 33554432000 4194304 4196468 140727725103648 140717096376848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6929] ppid=6921 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6929/stat : 6929 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 10073 33554432000 4194304 4196468 140727725103648 140717095324048 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6930] ppid=6921 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6930/stat : 6930 (java) S 6921 6924 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415332648 10915721216 10073 33554432000 4194304 4196468 140727725103648 140717094271248 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6931] ppid=6921 vsize=10659884 memory=140406906320512 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6924 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415332649 10915721216 10073 33554432000 4194304 4196468 140727725103648 140716662528880 140717171366530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6932] ppid=6921 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6932/stat : 6932 (java) S 6921 6924 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415332650 10915721216 10073 33554432000 4194304 4196468 140727725103648 140716661474848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6933] ppid=6921 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6933/stat : 6933 (java) S 6921 6924 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415332650 10915721216 10073 33554432000 4194304 4196468 140727725103648 140716660422000 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6934] ppid=6921 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6934/stat : 6934 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415332652 10915721216 10073 33554432000 4194304 4196468 140727725103648 140716659370320 140717171373979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6935] ppid=6921 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6924/task/6935/stat : 6935 (java) S 6921 6924 4259 0 -1 1077944384 605 0 0 0 4 0 0 0 20 0 15 0 415332652 10915721216 10073 33554432000 4194304 4196468 140727725103648 140716658317680 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6936] ppid=6921 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/6924/task/6936/stat : 6936 (java) S 6921 6924 4259 0 -1 1077944384 321 0 0 0 3 0 0 0 20 0 15 0 415332652 10915721216 10073 33554432000 4194304 4196468 140727725103648 140716657264880 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6937] ppid=6921 vsize=10659884 memory=140406906320512 CPUtime=0.08 cores=1,3,5,7
/proc/6924/task/6937/stat : 6937 (java) S 6921 6924 4259 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 415332653 10915721216 10073 33554432000 4194304 4196468 140727725103648 140716656212080 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6938] ppid=6921 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6938/stat : 6938 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415332653 10915721216 10073 33554432000 4194304 4196468 140727725103648 140716655159520 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6939] ppid=6921 vsize=10659884 memory=140406906320512 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6939/stat : 6939 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332653 10915721216 10073 33554432000 4194304 4196468 140727725103648 140716654107824 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40292 KiB

[startup+0.701401 s]
/proc/loadavg: 1.66 1.59 1.42 3/227 6939
/proc/meminfo: memFree=30469984/32770624 swapFree=66997216/67108860
[pid=6924] ppid=6921 vsize=10661932 memory=63496 CPUtime=1.12 cores=1,3,5,7
/proc/6924/stat : 6924 (java) S 6921 6924 4259 0 -1 1077944320 12421 0 0 0 107 5 0 0 20 0 15 0 415332647 10917818368 15874 33554432000 4194304 4196468 140727725103648 140727725086192 140717171355383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
/proc/6924/statm: 2665483 15874 3062 1 0 2627980 0
[pid=6924/tid=6926] ppid=6921 vsize=10661932 memory=9944 CPUtime=0.68 cores=1,3,5,7
/proc/6924/task/6926/stat : 6926 (java) R 6921 6924 4259 0 -1 4202560 8341 0 0 0 64 4 0 0 20 0 15 0 415332647 10917818368 15874 33554432000 4194304 4196468 140727725103648 140717175576720 140717157601334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6927] ppid=6921 vsize=10661932 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10917818368 15874 33554432000 4194304 4196468 140727725103648 140717097429648 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6928] ppid=6921 vsize=10661932 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10917818368 15874 33554432000 4194304 4196468 140727725103648 140717096376848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6929] ppid=6921 vsize=10661932 memory=500 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6929/stat : 6929 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10917818368 15874 33554432000 4194304 4196468 140727725103648 140717095324048 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6930] ppid=6921 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6930/stat : 6930 (java) S 6921 6924 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415332648 10917818368 15874 33554432000 4194304 4196468 140727725103648 140717094271248 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6931] ppid=6921 vsize=10661932 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6924 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415332649 10917818368 15874 33554432000 4194304 4196468 140727725103648 140716662528880 140717171366530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6932] ppid=6921 vsize=10661932 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6932/stat : 6932 (java) S 6921 6924 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415332650 10917818368 15874 33554432000 4194304 4196468 140727725103648 140716661474848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6933] ppid=6921 vsize=10661932 memory=876 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6933/stat : 6933 (java) S 6921 6924 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415332650 10917818368 15874 33554432000 4194304 4196468 140727725103648 140716660422000 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6934] ppid=6921 vsize=10661932 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6934/stat : 6934 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415332652 10917818368 15874 33554432000 4194304 4196468 140727725103648 140716659370320 140717171373979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6935] ppid=6921 vsize=10661932 memory=7086240636179075427 CPUtime=0.12 cores=1,3,5,7
/proc/6924/task/6935/stat : 6935 (java) S 6921 6924 4259 0 -1 1077944384 916 0 0 0 12 0 0 0 20 0 15 0 415332652 10917818368 15874 33554432000 4194304 4196468 140727725103648 140716658317680 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6936] ppid=6921 vsize=10661932 memory=7453282923427948884 CPUtime=0.11 cores=1,3,5,7
/proc/6924/task/6936/stat : 6936 (java) R 6921 6924 4259 0 -1 4202560 543 0 0 0 11 0 0 0 20 0 15 0 415332652 10917818368 15874 33554432000 4194304 4196468 140727725103648 140716657251424 140717155750575 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6937] ppid=6921 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7
/proc/6924/task/6937/stat : 6937 (java) S 6921 6924 4259 0 -1 1077944384 1262 0 0 0 18 0 0 0 20 0 15 0 415332653 10917818368 15874 33554432000 4194304 4196468 140727725103648 140716656212080 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6938] ppid=6921 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6938/stat : 6938 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415332653 10917818368 15874 33554432000 4194304 4196468 140727725103648 140716655159520 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6939] ppid=6921 vsize=10661932 memory=6441959910864939369 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6939/stat : 6939 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332653 10917818368 15874 33554432000 4194304 4196468 140727725103648 140716654107824 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63496 KiB

[startup+1.50074 s]
/proc/loadavg: 1.66 1.59 1.42 3/227 6939
/proc/meminfo: memFree=30453420/32770624 swapFree=66997216/67108860
[pid=6924] ppid=6921 vsize=10663980 memory=75816 CPUtime=2.01 cores=1,3,5,7
/proc/6924/stat : 6924 (java) S 6921 6924 4259 0 -1 1077944320 17803 0 0 0 195 6 0 0 20 0 15 0 415332647 10919915520 18954 33554432000 4194304 4196468 140727725103648 140727725086192 140717171355383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
/proc/6924/statm: 2665995 18954 3095 1 0 2628492 0
[pid=6924/tid=6926] ppid=6921 vsize=10663980 memory=170175194313074 CPUtime=1.48 cores=1,3,5,7
/proc/6924/task/6926/stat : 6926 (java) R 6921 6924 4259 0 -1 4202560 12382 0 0 0 143 5 0 0 20 0 15 0 415332647 10919915520 18954 33554432000 4194304 4196468 140727725103648 140717175595664 140717171377309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6927] ppid=6921 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10919915520 18954 33554432000 4194304 4196468 140727725103648 140717097429648 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6928] ppid=6921 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10919915520 18954 33554432000 4194304 4196468 140727725103648 140717096376848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6929] ppid=6921 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6929/stat : 6929 (java) S 6921 6924 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415332648 10919915520 18954 33554432000 4194304 4196468 140727725103648 140717095324048 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6930] ppid=6921 vsize=10663980 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6930/stat : 6930 (java) S 6921 6924 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415332648 10919915520 18954 33554432000 4194304 4196468 140727725103648 140717094271248 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6931] ppid=6921 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6924 4259 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 415332649 10919915520 18954 33554432000 4194304 4196468 140727725103648 140716662528880 140717171366530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0

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

/proc/6924/task/6930/stat : 6930 (java) S 6921 6924 4259 0 -1 1077944384 4971 0 0 0 187 13 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717094271248 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6931] ppid=6921 vsize=10748324 memory=288230574492221466 CPUtime=1.27 cores=1,3,5,7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6924 4259 0 -1 1077944384 9246 0 0 0 116 11 0 0 20 0 16 0 415332649 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716662528880 140717171366530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6932] ppid=6921 vsize=10748324 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6932/stat : 6932 (java) S 6921 6924 4259 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415332650 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716661474912 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6933] ppid=6921 vsize=10748324 memory=772 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6933/stat : 6933 (java) S 6921 6924 4259 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415332650 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716660422016 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6934] ppid=6921 vsize=10748324 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6934/stat : 6934 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716659370320 140717171373979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6935] ppid=6921 vsize=10748324 memory=266696 CPUtime=1.11 cores=1,3,5,7
/proc/6924/task/6935/stat : 6935 (java) S 6921 6924 4259 0 -1 1077944384 5642 0 0 0 110 1 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716658317680 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6936] ppid=6921 vsize=10748324 memory=266696 CPUtime=1.21 cores=1,3,5,7
/proc/6924/task/6936/stat : 6936 (java) S 6921 6924 4259 0 -1 1077944384 6580 0 0 0 120 1 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716657264880 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6937] ppid=6921 vsize=10748324 memory=266696 CPUtime=0.65 cores=1,3,5,7
/proc/6924/task/6937/stat : 6937 (java) S 6921 6924 4259 0 -1 1077944384 6918 0 0 0 64 1 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716656212080 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6938] ppid=6921 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6938/stat : 6938 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716655159520 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6939] ppid=6921 vsize=10748324 memory=2024 CPUtime=1.15 cores=1,3,5,7
/proc/6924/task/6939/stat : 6939 (java) S 6921 6924 4259 0 -1 1077944384 1076 0 0 0 55 60 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716654107824 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6940] ppid=6921 vsize=10748324 memory=1380 CPUtime=2256.67 cores=1,3,5,7
/proc/6924/task/6940/stat : 6940 (java) R 6921 6924 4259 0 -1 4202560 26485 0 0 0 225657 10 0 0 20 0 16 0 415332834 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716637446176 140716774883421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
Current children cumulated CPU time: 2272.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 266696 KiB

[startup+2322.3 s]
/proc/loadavg: 0.65 0.67 0.85 2/207 7200
/proc/meminfo: memFree=30497828/32770624 swapFree=66997228/67108860
[pid=6924] ppid=6921 vsize=10748324 memory=266696 CPUtime=2332.22 cores=1,3,5,7
/proc/6924/stat : 6924 (java) S 6921 6924 4259 0 -1 1077944320 97365 0 0 0 233097 125 0 0 20 0 16 0 415332647 11006283776 66674 33554432000 4194304 4196468 140727725103648 140727725086192 140717171355383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
/proc/6924/statm: 2687081 66674 3379 1 0 2647217 0
[pid=6924/tid=6926] ppid=6921 vsize=10748324 memory=266696 CPUtime=1.85 cores=1,3,5,7
/proc/6924/task/6926/stat : 6926 (java) S 6921 6924 4259 0 -1 1077944384 14508 0 0 0 179 6 0 0 20 0 16 0 415332647 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717175598256 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6927] ppid=6921 vsize=10748324 memory=266696 CPUtime=2.07 cores=1,3,5,7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6924 4259 0 -1 1077944384 5487 0 0 0 194 13 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717097429648 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6928] ppid=6921 vsize=10748324 memory=266696 CPUtime=2.06 cores=1,3,5,7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6924 4259 0 -1 1077944384 6124 0 0 0 191 15 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717096376848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6929] ppid=6921 vsize=10748324 memory=266696 CPUtime=2.07 cores=1,3,5,7
/proc/6924/task/6929/stat : 6929 (java) S 6921 6924 4259 0 -1 1077944384 8484 0 0 0 192 15 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717095324048 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6930] ppid=6921 vsize=10748324 memory=266696 CPUtime=2.04 cores=1,3,5,7
/proc/6924/task/6930/stat : 6930 (java) S 6921 6924 4259 0 -1 1077944384 5012 0 0 0 191 13 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717094271248 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6931] ppid=6921 vsize=10748324 memory=266696 CPUtime=1.3 cores=1,3,5,7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6924 4259 0 -1 1077944384 9429 0 0 0 119 11 0 0 20 0 16 0 415332649 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716662528880 140717171366530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6932] ppid=6921 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6932/stat : 6932 (java) S 6921 6924 4259 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415332650 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716661474912 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6933] ppid=6921 vsize=10748324 memory=266696 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6933/stat : 6933 (java) S 6921 6924 4259 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415332650 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716660422016 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6934] ppid=6921 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6934/stat : 6934 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716659370320 140717171373979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6935] ppid=6921 vsize=10748324 memory=266696 CPUtime=1.11 cores=1,3,5,7
/proc/6924/task/6935/stat : 6935 (java) S 6921 6924 4259 0 -1 1077944384 5644 0 0 0 110 1 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716658317680 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6936] ppid=6921 vsize=10748324 memory=266696 CPUtime=1.21 cores=1,3,5,7
/proc/6924/task/6936/stat : 6936 (java) S 6921 6924 4259 0 -1 1077944384 6582 0 0 0 120 1 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716657264880 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6937] ppid=6921 vsize=10748324 memory=266696 CPUtime=0.65 cores=1,3,5,7
/proc/6924/task/6937/stat : 6937 (java) S 6921 6924 4259 0 -1 1077944384 6920 0 0 0 64 1 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716656212080 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6938] ppid=6921 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6938/stat : 6938 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716655159520 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6939] ppid=6921 vsize=10748324 memory=266696 CPUtime=1.18 cores=1,3,5,7
/proc/6924/task/6939/stat : 6939 (java) S 6921 6924 4259 0 -1 1077944384 1104 0 0 0 56 62 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716654107824 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6940] ppid=6921 vsize=10748324 memory=948 CPUtime=2316.59 cores=1,3,5,7
/proc/6924/task/6940/stat : 6940 (java) R 6921 6924 4259 0 -1 4202560 26676 0 0 0 231649 10 0 0 20 0 16 0 415332834 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716637446032 140716774965062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
Current children cumulated CPU time: 2332.22 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 266696 KiB

[startup+2382.3 s]
/proc/loadavg: 0.81 0.71 0.86 2/207 7206
/proc/meminfo: memFree=30497184/32770624 swapFree=66997228/67108860
[pid=6924] ppid=6921 vsize=10748324 memory=266696 CPUtime=2392.32 cores=1,3,5,7
/proc/6924/stat : 6924 (java) S 6921 6924 4259 0 -1 1077944320 98178 0 0 0 239105 127 0 0 20 0 16 0 415332647 11006283776 66674 33554432000 4194304 4196468 140727725103648 140727725086192 140717171355383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
/proc/6924/statm: 2687081 66674 3379 1 0 2647217 0
[pid=6924/tid=6926] ppid=6921 vsize=10748324 memory=266696 CPUtime=1.85 cores=1,3,5,7
/proc/6924/task/6926/stat : 6926 (java) S 6921 6924 4259 0 -1 1077944384 14508 0 0 0 179 6 0 0 20 0 16 0 415332647 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717175598256 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6927] ppid=6921 vsize=10748324 memory=266696 CPUtime=2.1 cores=1,3,5,7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6924 4259 0 -1 1077944384 5520 0 0 0 197 13 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717097429648 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6928] ppid=6921 vsize=10748324 memory=266696 CPUtime=2.08 cores=1,3,5,7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6924 4259 0 -1 1077944384 6454 0 0 0 193 15 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717096376848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6929] ppid=6921 vsize=10748324 memory=266696 CPUtime=2.1 cores=1,3,5,7
/proc/6924/task/6929/stat : 6929 (java) S 6921 6924 4259 0 -1 1077944384 8499 0 0 0 195 15 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717095324048 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6930] ppid=6921 vsize=10748324 memory=266696 CPUtime=2.07 cores=1,3,5,7
/proc/6924/task/6930/stat : 6930 (java) S 6921 6924 4259 0 -1 1077944384 5039 0 0 0 194 13 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717094271248 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6931] ppid=6921 vsize=10748324 memory=266696 CPUtime=1.32 cores=1,3,5,7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6924 4259 0 -1 1077944384 9614 0 0 0 121 11 0 0 20 0 16 0 415332649 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716662528880 140717171366530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6932] ppid=6921 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6932/stat : 6932 (java) S 6921 6924 4259 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415332650 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716661474912 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6933] ppid=6921 vsize=10748324 memory=266696 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6933/stat : 6933 (java) S 6921 6924 4259 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415332650 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716660422016 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6934] ppid=6921 vsize=10748324 memory=25512 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6934/stat : 6934 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716659370320 140717171373979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6935] ppid=6921 vsize=10748324 memory=25512 CPUtime=1.11 cores=1,3,5,7
/proc/6924/task/6935/stat : 6935 (java) S 6921 6924 4259 0 -1 1077944384 5646 0 0 0 110 1 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716658317680 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6936] ppid=6921 vsize=10748324 memory=984 CPUtime=1.21 cores=1,3,5,7
/proc/6924/task/6936/stat : 6936 (java) S 6921 6924 4259 0 -1 1077944384 6584 0 0 0 120 1 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716657264880 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6937] ppid=6921 vsize=10748324 memory=266696 CPUtime=0.65 cores=1,3,5,7
/proc/6924/task/6937/stat : 6937 (java) S 6921 6924 4259 0 -1 1077944384 6922 0 0 0 64 1 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716656212080 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6938] ppid=6921 vsize=10748324 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6938/stat : 6938 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716655159520 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6939] ppid=6921 vsize=10748324 memory=266696 CPUtime=1.2 cores=1,3,5,7
/proc/6924/task/6939/stat : 6939 (java) S 6921 6924 4259 0 -1 1077944384 1132 0 0 0 57 63 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716654107824 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6940] ppid=6921 vsize=10748324 memory=3624 CPUtime=2376.53 cores=1,3,5,7
/proc/6924/task/6940/stat : 6940 (java) R 6921 6924 4259 0 -1 4202560 26865 0 0 0 237643 10 0 0 20 0 16 0 415332834 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716637446176 140716774256103 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
Current children cumulated CPU time: 2392.32 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 266696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2390 s]*
/proc/loadavg: 0.84 0.72 0.86 2/207 7207
/proc/meminfo: memFree=30497012/32770624 swapFree=66997228/67108860
[pid=6924] ppid=6921 vsize=10748324 memory=266696 CPUtime=2400.05 cores=1,3,5,7
/proc/6924/stat : 6924 (java) S 6921 6924 4259 0 -1 1077944320 98184 0 0 0 239877 128 0 0 20 0 16 0 415332647 11006283776 66674 33554432000 4194304 4196468 140727725103648 140727725086192 140717171355383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
/proc/6924/statm: 2687081 66674 3379 1 0 2647217 0
[pid=6924/tid=6926] ppid=6921 vsize=10748324 memory=8317482817917895235 CPUtime=1.85 cores=1,3,5,7
/proc/6924/task/6926/stat : 6926 (java) S 6921 6924 4259 0 -1 1077944384 14508 0 0 0 179 6 0 0 20 0 16 0 415332647 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717175598256 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6927] ppid=6921 vsize=10748324 memory=4872558044660077418 CPUtime=2.11 cores=1,3,5,7
/proc/6924/task/6927/stat : 6927 (java) S 6921 6924 4259 0 -1 1077944384 5520 0 0 0 197 14 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717097429648 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6928] ppid=6921 vsize=10748324 memory=876 CPUtime=2.09 cores=1,3,5,7
/proc/6924/task/6928/stat : 6928 (java) S 6921 6924 4259 0 -1 1077944384 6454 0 0 0 194 15 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717096376848 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6929] ppid=6921 vsize=10748324 memory=1980 CPUtime=2.1 cores=1,3,5,7
/proc/6924/task/6929/stat : 6929 (java) S 6921 6924 4259 0 -1 1077944384 8499 0 0 0 195 15 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717095324048 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6930] ppid=6921 vsize=10748324 memory=2552 CPUtime=2.07 cores=1,3,5,7
/proc/6924/task/6930/stat : 6930 (java) S 6921 6924 4259 0 -1 1077944384 5039 0 0 0 194 13 0 0 20 0 16 0 415332648 11006283776 66674 33554432000 4194304 4196468 140727725103648 140717094271248 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6931] ppid=6921 vsize=10748324 memory=1760 CPUtime=1.33 cores=1,3,5,7
/proc/6924/task/6931/stat : 6931 (java) S 6921 6924 4259 0 -1 1077944384 9614 0 0 0 122 11 0 0 20 0 16 0 415332649 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716662528880 140717171366530 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6932] ppid=6921 vsize=10748324 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6932/stat : 6932 (java) S 6921 6924 4259 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 415332650 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716661474912 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6933] ppid=6921 vsize=10748324 memory=800 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6933/stat : 6933 (java) S 6921 6924 4259 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 415332650 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716660422016 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6934] ppid=6921 vsize=10748324 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6934/stat : 6934 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716659370320 140717171373979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6935] ppid=6921 vsize=10748324 memory=920 CPUtime=1.11 cores=1,3,5,7
/proc/6924/task/6935/stat : 6935 (java) S 6921 6924 4259 0 -1 1077944384 5646 0 0 0 110 1 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716658317680 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6936] ppid=6921 vsize=10748324 memory=3848 CPUtime=1.21 cores=1,3,5,7
/proc/6924/task/6936/stat : 6936 (java) S 6921 6924 4259 0 -1 1077944384 6584 0 0 0 120 1 0 0 20 0 16 0 415332652 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716657264880 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6937] ppid=6921 vsize=10748324 memory=2872 CPUtime=0.65 cores=1,3,5,7
/proc/6924/task/6937/stat : 6937 (java) S 6921 6924 4259 0 -1 1077944384 6922 0 0 0 64 1 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716656212080 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6938] ppid=6921 vsize=10748324 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/6924/task/6938/stat : 6938 (java) S 6921 6924 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716655159520 140717171365589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6939] ppid=6921 vsize=10748324 memory=3276 CPUtime=1.2 cores=1,3,5,7
/proc/6924/task/6939/stat : 6939 (java) S 6921 6924 4259 0 -1 1077944384 1132 0 0 0 57 63 0 0 20 0 16 0 415332653 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716654107824 140717171366530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
[pid=6924/tid=6940] ppid=6921 vsize=10748324 memory=266696 CPUtime=2384.23 cores=1,3,5,7
/proc/6924/task/6940/stat : 6940 (java) R 6921 6924 4259 0 -1 4202560 26871 0 0 0 238413 10 0 0 20 0 16 0 415332834 11006283776 66674 33554432000 4194304 4196468 140727725103648 140716637446144 140716774962970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11198464 140727725106187 140727725106290 140727725106290 140727725109199 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 266696 KiB

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

[startup+2390.02 s]
# the end of solver process 6924 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.79 s, system=1.28891 s

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

Child status: 143
Real time (s): 2390.02
CPU time (s): 2400.07
CPU user time (s): 2398.79
CPU system time (s): 1.28891
CPU usage (%): 100.421
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 510404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.79
system time used= 1.28891
maximum resident set size= 516060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98549
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85142
involuntary context switches= 1785


# summary of solver processes directly reported to runsolver:
#   pid: 6924
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2398.79
#   total CPU system time (s): 1.28891

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1826 second user time and 19.7755 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-13 17:05:03
IDJOB=4391319
IDBENCH=135903
IDSOLVER=2833
FILE ID=node106/4391319-1568390780
RUNJOBID= node106-1568386731-6664
PBS_JOBID= 21701848
Free space on /tmp= 59104 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-08.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391319-1568390780/watcher-4391319-1568390780 -o /tmp/evaluation-result-4391319-1568390780/solver-4391319-1568390780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568386731-6664 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391319-1568390780.xml -cm

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

MD5SUM BENCH= 8e11a97c7673f129a8c4890bd1c1105b
RANDOM SEED=547152213

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:        30509684 kB
MemAvailable:   31672212 kB
Buffers:          160148 kB
Cached:          1283568 kB
SwapCached:         9604 kB
Active:           629496 kB
Inactive:        1062496 kB
Active(anon):     247644 kB
Inactive(anon):    33700 kB
Active(file):     381852 kB
Inactive(file):  1028796 kB
Unevictable:      107768 kB
Mlocked:          107768 kB
SwapTotal:      67108860 kB
SwapFree:       66997216 kB
Dirty:              8580 kB
Writeback:             0 kB
AnonPages:        354616 kB
Mapped:            49944 kB
Shmem:             24836 kB
Slab:             164880 kB
SReclaimable:     135428 kB
SUnreclaim:        29452 kB
KernelStack:        4032 kB
PageTables:         6296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1223692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    274432 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= 59104 MiB
End job on node106 at 2019-09-13 17:44:53