Trace number 4390760

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 NameAnswerCPU timeWall clock time
AbsCon 2019-07-23SAT 274.582 270.852

DiagnosticValue
WRONG_DECISIONS504546

General information on the benchmark

NameKnightTour/KnightTour-ext-s1/
KnightTour-12-ext04.xml
MD5SUM7a2ffbd3a2fba29c29472d7427b18f31
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark46.9245
Satisfiable
(Un)Satisfiability was proved
Number of variables144
Number of constraints50
Number of domains1
Minimum domain size144
Maximum domain size144
Distribution of domain sizes[{"size":144,"count":144}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":142},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity144
Distribution of constraint arities[{"arity":2,"count":1},{"arity":4,"count":48},{"arity":144,"count":1}]
Number of extensional constraints48
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":48},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

2.44/1.87	
2.44/1.87	AbsCon 2 
2.44/1.88	
3.54/2.24	  Instance
3.54/2.24	    name=instance-4390760-1568384003, framework=CSP
3.54/2.24	
3.54/2.24	  Loading variables...
3.54/2.26	  Loading constraints...
4.17/2.46	
4.17/2.46	  Domains
4.17/2.46	    nTypes=1, nValues=20736, sizes=[144#144]
4.17/2.46	  Variables
4.17/2.46	    count=144, degrees=[2#95,3#48,4#1]
4.17/2.46	  Constraints
4.17/2.46	    count=51, nSpecific=49, arities=[1#2,4#48,144#1]
4.17/2.46	    distribution=[AllDifferent#1,CtrExtensionCT-Table#48,CtrIntension#2]
4.17/2.46	    tables=[29216#48], nTotalTuples=1402368
4.17/2.46	    nExtStructures=(1,shared:47), nIntStructures=(2,shared:0)
4.17/2.46	    wck=0.627, cpu=2.408, mem=132M52
4.17/2.48	  Solver SolverBacktrack being built...
4.17/2.48	
4.46/2.51	
4.46/2.51	  Solver
4.46/2.51	    guaranteedGAC=true
4.46/2.51	    wck=0.672, cpu=2.45, mem=150M526
4.75/2.60	
4.75/2.60	  Preprocessing
4.75/2.60	    filters=54, revisions=(2,useless=0), ccks=146, nACremovedValues=11158, nTotalRemovedValues=11158, inconcistency=false
4.75/2.60	    wck=0.094, cpu=2.545, mem=150M526
4.75/2.60	
5.06/2.78	    num=0, depth=96..98, filters=746, revisions=(2,useless=0), ccks=146, wck=0.269, mem=150M526
5.06/2.78	    decisions=117, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.06/2.78	    nFilterCalls=2952, avgTableProportion=0.9999657721796212, avgTableSize=29215.0
5.06/2.78	    
5.33/2.90	    num=1, depth=27..38, filters=1262, revisions=(2,useless=0), ccks=146, wck=0.389, mem=150M526
5.33/2.90	    decisions=177, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
5.33/2.90	    nFilterCalls=4595, avgTableProportion=0.9999657721796705, avgTableSize=29215.0
5.33/2.90	    
5.61/2.99	    num=2, depth=45..64, filters=1887, revisions=(2,useless=0), ccks=146, wck=0.482, mem=150M526
5.61/2.99	    decisions=263, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
5.61/2.99	    nFilterCalls=6569, avgTableProportion=0.9999657721797923, avgTableSize=29215.0
5.61/2.99	    
5.78/3.10	    num=3, depth=28..67, filters=2625, revisions=(2,useless=0), ccks=146, wck=0.591, mem=150M526
5.78/3.10	    decisions=355, wrong=47, backtracks=1, failedAssignments=46, nogoods=46
5.78/3.10	    nFilterCalls=8946, avgTableProportion=0.9999657721798677, avgTableSize=29215.0
5.78/3.10	    
5.88/3.19	    num=4, depth=39..68, filters=3263, revisions=(2,useless=0), ccks=146, wck=0.686, mem=150M526
5.88/3.19	    decisions=449, wrong=61, backtracks=1, failedAssignments=60, nogoods=60
5.88/3.19	    nFilterCalls=11390, avgTableProportion=0.9999657721799123, avgTableSize=29215.0
5.88/3.19	    
5.98/3.29	    num=5, depth=48..82, filters=4072, revisions=(2,useless=0), ccks=146, wck=0.786, mem=150M526
5.98/3.29	    decisions=563, wrong=79, backtracks=3, failedAssignments=76, nogoods=71
5.98/3.29	    nFilterCalls=14068, avgTableProportion=0.9999657721799434, avgTableSize=29215.0
5.98/3.29	    
6.19/3.41	    num=6, depth=54..79, filters=4827, revisions=(2,useless=0), ccks=146, wck=0.901, mem=150M526
6.19/3.41	    decisions=677, wrong=98, backtracks=5, failedAssignments=93, nogoods=88
6.19/3.41	    nFilterCalls=16714, avgTableProportion=0.9999657721799285, avgTableSize=29215.0
6.19/3.41	    
6.34/3.51	    num=7, depth=57..91, filters=5605, revisions=(2,useless=0), ccks=146, wck=1.007, mem=150M526
6.34/3.51	    decisions=813, wrong=123, backtracks=11, failedAssignments=112, nogoods=96
6.34/3.51	    nFilterCalls=19541, avgTableProportion=0.9999657721796866, avgTableSize=29215.0
6.34/3.51	    
6.44/3.64	    num=8, depth=38..76, filters=6471, revisions=(2,useless=0), ccks=146, wck=1.129, mem=150M526
6.44/3.64	    decisions=928, wrong=144, backtracks=11, failedAssignments=133, nogoods=117
6.44/3.64	    nFilterCalls=22220, avgTableProportion=0.9999657721795143, avgTableSize=29215.0
6.44/3.64	    
6.56/3.74	    num=9, depth=81..88, filters=7402, revisions=(2,useless=0), ccks=146, wck=1.235, mem=150M526
6.56/3.74	    decisions=1070, wrong=173, backtracks=18, failedAssignments=156, nogoods=121
6.56/3.74	    nFilterCalls=25124, avgTableProportion=0.999965772179369, avgTableSize=29215.0
6.56/3.74	    
6.67/3.85	    num=10, depth=69..92, filters=8119, revisions=(2,useless=0), ccks=146, wck=1.339, mem=153M115
6.67/3.85	    decisions=1212, wrong=199, backtracks=19, failedAssignments=181, nogoods=135
6.67/3.85	    nFilterCalls=28065, avgTableProportion=0.9999657721792524, avgTableSize=29215.0
6.67/3.85	    
6.77/3.95	    num=11, depth=88..99, filters=8887, revisions=(2,useless=0), ccks=146, wck=1.438, mem=153M115
6.77/3.95	    decisions=1368, wrong=230, backtracks=22, failedAssignments=209, nogoods=146
6.77/3.95	    nFilterCalls=31020, avgTableProportion=0.9999657721791576, avgTableSize=29215.0
6.77/3.95	    
6.88/4.07	    num=12, depth=67..88, filters=9799, revisions=(2,useless=0), ccks=146, wck=1.567, mem=153M115
6.88/4.07	    decisions=1522, wrong=265, backtracks=27, failedAssignments=240, nogoods=159
6.88/4.07	    nFilterCalls=34000, avgTableProportion=0.9999657721790787, avgTableSize=29215.0
6.88/4.07	    
7.07/4.21	    num=13, depth=59..96, filters=10934, revisions=(2,useless=0), ccks=146, wck=1.7, mem=153M115
7.07/4.21	    decisions=1697, wrong=307, backtracks=36, failedAssignments=274, nogoods=177
7.07/4.21	    nFilterCalls=37242, avgTableProportion=0.9999657721790071, avgTableSize=29215.0
7.07/4.21	    
7.17/4.33	    num=14, depth=55..90, filters=11902, revisions=(2,useless=0), ccks=146, wck=1.823, mem=153M115
7.17/4.33	    decisions=1864, wrong=346, backtracks=38, failedAssignments=311, nogoods=194
7.17/4.33	    nFilterCalls=40302, avgTableProportion=0.9999657721789501, avgTableSize=29215.0
7.17/4.33	    
7.28/4.46	    num=15, depth=82..95, filters=12956, revisions=(2,useless=0), ccks=146, wck=1.948, mem=153M115
7.28/4.46	    decisions=2058, wrong=397, backtracks=49, failedAssignments=352, nogoods=201
7.28/4.46	    nFilterCalls=43448, avgTableProportion=0.9999657721788999, avgTableSize=29215.0
7.28/4.46	    
7.38/4.58	    num=16, depth=45..91, filters=14139, revisions=(2,useless=0), ccks=146, wck=2.071, mem=153M115
7.38/4.58	    decisions=2248, wrong=448, backtracks=56, failedAssignments=397, nogoods=221
7.38/4.58	    nFilterCalls=46683, avgTableProportion=0.9999657721788554, avgTableSize=29215.0
7.38/4.58	    
7.58/4.72	    num=17, depth=73..97, filters=15347, revisions=(2,useless=0), ccks=146, wck=2.209, mem=153M115
7.58/4.72	    decisions=2472, wrong=514, backtracks=74, failedAssignments=447, nogoods=234
7.58/4.72	    nFilterCalls=50017, avgTableProportion=0.9999657721788154, avgTableSize=29215.0
7.58/4.72	    
7.68/4.85	    num=18, depth=58..95, filters=16838, revisions=(2,useless=0), ccks=146, wck=2.344, mem=153M115
7.68/4.85	    decisions=2701, wrong=584, backtracks=94, failedAssignments=502, nogoods=250
7.68/4.85	    nFilterCalls=53730, avgTableProportion=0.9999657721787769, avgTableSize=29215.0
7.68/4.85	    
7.78/4.99	    num=19, depth=48..99, filters=18167, revisions=(2,useless=0), ccks=146, wck=2.479, mem=155M704
7.78/4.99	    decisions=2942, wrong=657, backtracks=108, failedAssignments=563, nogoods=263
7.78/4.99	    nFilterCalls=57389, avgTableProportion=0.9999657721787437, avgTableSize=29215.0
7.78/4.99	    
8.01/5.14	    num=20, depth=55..96, filters=19794, revisions=(2,useless=0), ccks=146, wck=2.638, mem=155M704
8.01/5.14	    decisions=3201, wrong=741, backtracks=131, failedAssignments=630, nogoods=279
8.01/5.14	    nFilterCalls=61190, avgTableProportion=0.9999657721787135, avgTableSize=29215.0
8.01/5.14	    
8.20/5.31	    num=21, depth=60..94, filters=21689, revisions=(2,useless=0), ccks=146, wck=2.802, mem=155M704
8.20/5.31	    decisions=3491, wrong=841, backtracks=160, failedAssignments=704, nogoods=288
8.20/5.31	    nFilterCalls=65105, avgTableProportion=0.999965772178686, avgTableSize=29215.0
8.20/5.31	    
8.31/5.44	    num=22, depth=69..97, filters=23080, revisions=(2,useless=0), ccks=146, wck=2.93, mem=155M704
8.31/5.44	    decisions=3768, wrong=934, backtracks=176, failedAssignments=785, nogoods=304
8.31/5.44	    nFilterCalls=68638, avgTableProportion=0.9999657721786639, avgTableSize=29215.0
8.31/5.44	    
8.52/5.61	    num=23, depth=13..102, filters=25186, revisions=(2,useless=0), ccks=146, wck=3.1, mem=155M704
8.52/5.61	    decisions=4104, wrong=1054, backtracks=220, failedAssignments=874, nogoods=313
8.52/5.61	    nFilterCalls=72981, avgTableProportion=0.9999657721786397, avgTableSize=29215.0
8.52/5.61	    
8.62/5.76	    num=24, depth=52..96, filters=26950, revisions=(2,useless=0), ccks=146, wck=3.249, mem=155M704
8.62/5.76	    decisions=4419, wrong=1166, backtracks=235, failedAssignments=972, nogoods=332
8.62/5.76	    nFilterCalls=76927, avgTableProportion=0.99996577217862, avgTableSize=29215.0
8.62/5.76	    
8.82/5.91	    num=25, depth=83..97, filters=28919, revisions=(2,useless=0), ccks=146, wck=3.405, mem=155M704
8.82/5.91	    decisions=4768, wrong=1295, backtracks=260, failedAssignments=1080, nogoods=338
8.82/5.91	    nFilterCalls=81151, avgTableProportion=0.9999657721786012, avgTableSize=29215.0
8.82/5.91	    
8.93/6.09	    num=26, depth=78..101, filters=31247, revisions=(2,useless=0), ccks=146, wck=3.586, mem=158M293
8.93/6.09	    decisions=5153, wrong=1440, backtracks=289, failedAssignments=1199, nogoods=361
8.93/6.09	    nFilterCalls=85524, avgTableProportion=0.9999657721785836, avgTableSize=29215.0
8.93/6.09	    
9.12/6.29	    num=27, depth=78..95, filters=33972, revisions=(2,useless=0), ccks=146, wck=3.782, mem=158M293
9.12/6.29	    decisions=5579, wrong=1609, backtracks=339, failedAssignments=1330, nogoods=383
9.12/6.29	    nFilterCalls=90293, avgTableProportion=0.9999657721785663, avgTableSize=29215.0
9.12/6.29	    
9.32/6.49	    num=28, depth=68..99, filters=36941, revisions=(2,useless=0), ccks=146, wck=3.987, mem=158M293
9.32/6.49	    decisions=6051, wrong=1798, backtracks=399, failedAssignments=1474, nogoods=397
9.32/6.49	    nFilterCalls=95334, avgTableProportion=0.99996577217855, avgTableSize=29215.0
9.32/6.49	    
9.52/6.68	    num=29, depth=48..92, filters=39424, revisions=(2,useless=0), ccks=146, wck=4.176, mem=158M293
9.52/6.68	    decisions=6513, wrong=1986, backtracks=432, failedAssignments=1632, nogoods=411
9.52/6.68	    nFilterCalls=100062, avgTableProportion=0.9999657721785361, avgTableSize=29215.0
9.52/6.68	    
9.75/6.88	    num=30, depth=91..99, filters=42435, revisions=(2,useless=0), ccks=146, wck=4.369, mem=160M882
9.75/6.88	    decisions=7046, wrong=2206, backtracks=493, failedAssignments=1806, nogoods=432
9.75/6.88	    nFilterCalls=105313, avgTableProportion=0.9999657721785222, avgTableSize=29215.0
9.75/6.88	    
9.96/7.09	    num=31, depth=63..97, filters=45547, revisions=(2,useless=0), ccks=146, wck=4.584, mem=160M882
9.96/7.09	    decisions=7599, wrong=2437, backtracks=552, failedAssignments=1997, nogoods=456
9.96/7.09	    nFilterCalls=110541, avgTableProportion=0.9999657721785097, avgTableSize=29215.0
9.96/7.09	    
10.32/7.35	    num=32, depth=74..97, filters=49531, revisions=(2,useless=0), ccks=146, wck=4.845, mem=160M882
10.32/7.35	    decisions=8215, wrong=2699, backtracks=619, failedAssignments=2208, nogoods=473
10.32/7.35	    nFilterCalls=116719, avgTableProportion=0.9999657721784962, avgTableSize=29215.0
10.32/7.35	    
10.62/7.60	    num=33, depth=72..99, filters=53898, revisions=(2,useless=0), ccks=146, wck=5.091, mem=160M882
10.62/7.60	    decisions=8930, wrong=3010, backtracks=718, failedAssignments=2440, nogoods=483
10.62/7.60	    nFilterCalls=123150, avgTableProportion=0.9999657721784838, avgTableSize=29215.0
10.62/7.60	    
10.82/7.83	    num=34, depth=32..100, filters=58174, revisions=(2,useless=0), ccks=146, wck=5.32, mem=163M471
10.82/7.83	    decisions=9652, wrong=3325, backtracks=787, failedAssignments=2695, nogoods=519
10.82/7.83	    nFilterCalls=129719, avgTableProportion=0.9999657721784723, avgTableSize=29215.0
10.82/7.83	    
11.13/8.13	    num=35, depth=52..93, filters=63086, revisions=(2,useless=0), ccks=146, wck=5.62, mem=163M471
11.13/8.13	    decisions=10443, wrong=3678, backtracks=879, failedAssignments=2976, nogoods=542
11.13/8.13	    nFilterCalls=136990, avgTableProportion=0.9999657721784608, avgTableSize=29215.0
11.13/8.13	    
11.43/8.43	    num=36, depth=53..102, filters=67900, revisions=(2,useless=0), ccks=146, wck=5.928, mem=166M60
11.43/8.43	    decisions=11304, wrong=4063, backtracks=986, failedAssignments=3285, nogoods=567
11.43/8.43	    nFilterCalls=144254, avgTableProportion=0.9999657721784506, avgTableSize=29215.0
11.43/8.43	    
11.73/8.70	    num=37, depth=55..103, filters=73107, revisions=(2,useless=0), ccks=146, wck=6.191, mem=166M60
11.73/8.70	    decisions=12273, wrong=4500, backtracks=1112, failedAssignments=3625, nogoods=585
11.73/8.70	    nFilterCalls=151553, avgTableProportion=0.9999657721784413, avgTableSize=29215.0
11.73/8.70	    
12.03/9.10	    num=38, depth=43..96, filters=80246, revisions=(2,useless=0), ccks=146, wck=6.596, mem=166M60
12.03/9.10	    decisions=13324, wrong=4982, backtracks=1271, failedAssignments=3999, nogoods=601
12.03/9.10	    nFilterCalls=161023, avgTableProportion=0.9999657721784304, avgTableSize=29215.0
12.03/9.10	    
12.48/9.49	    num=39, depth=52..98, filters=86966, revisions=(2,useless=0), ccks=146, wck=6.985, mem=168M649
12.48/9.49	    decisions=14394, wrong=5471, backtracks=1372, failedAssignments=4410, nogoods=638
12.48/9.49	    nFilterCalls=170062, avgTableProportion=0.9999657721784212, avgTableSize=29215.0
12.48/9.49	    
12.99/9.92	    num=40, depth=51..95, filters=94662, revisions=(2,useless=0), ccks=146, wck=7.415, mem=171M238
12.99/9.92	    decisions=15610, wrong=6034, backtracks=1522, failedAssignments=4862, nogoods=653
12.99/9.92	    nFilterCalls=179861, avgTableProportion=0.9999657721784122, avgTableSize=29215.0
12.99/9.92	    
13.49/10.42	    num=41, depth=26..97, filters=103649, revisions=(2,useless=0), ccks=146, wck=7.909, mem=171M238
13.49/10.42	    decisions=16952, wrong=6661, backtracks=1683, failedAssignments=5359, nogoods=675
13.49/10.42	    nFilterCalls=190752, avgTableProportion=0.9999657721784033, avgTableSize=29215.0
13.49/10.42	    
13.90/10.83	    num=42, depth=49..105, filters=112909, revisions=(2,useless=0), ccks=146, wck=8.319, mem=173M827
13.90/10.83	    decisions=18514, wrong=7396, backtracks=1923, failedAssignments=5906, nogoods=705
13.90/10.83	    nFilterCalls=202335, avgTableProportion=0.999965772178395, avgTableSize=29215.0
13.90/10.83	    
14.30/11.24	    num=43, depth=40..97, filters=120840, revisions=(2,useless=0), ccks=146, wck=8.729, mem=176M416
14.30/11.24	    decisions=20029, wrong=8108, backtracks=2060, failedAssignments=6508, nogoods=730
14.30/11.24	    nFilterCalls=212410, avgTableProportion=0.9999657721783884, avgTableSize=29215.0
14.30/11.24	    
14.90/11.82	    num=44, depth=60..95, filters=131887, revisions=(2,useless=0), ccks=146, wck=9.311, mem=179M5
14.90/11.82	    decisions=21885, wrong=8991, backtracks=2324, failedAssignments=7170, nogoods=760
14.90/11.82	    nFilterCalls=226561, avgTableProportion=0.9999657721783802, avgTableSize=29215.0
14.90/11.82	    
15.30/12.23	    num=45, depth=85..104, filters=141425, revisions=(2,useless=0), ccks=146, wck=9.725, mem=181M594
15.30/12.23	    decisions=23819, wrong=9911, backtracks=2568, failedAssignments=7898, nogoods=794
15.30/12.23	    nFilterCalls=238493, avgTableProportion=0.999965772178374, avgTableSize=29215.0
15.30/12.23	    
15.91/12.80	    num=46, depth=86..98, filters=153584, revisions=(2,useless=0), ccks=146, wck=10.297, mem=181M594
15.91/12.80	    decisions=25901, wrong=10906, backtracks=2846, failedAssignments=8699, nogoods=825
15.91/12.80	    nFilterCalls=253412, avgTableProportion=0.9999657721783671, avgTableSize=29215.0
15.91/12.80	    
16.51/13.41	    num=47, depth=65..98, filters=166894, revisions=(2,useless=0), ccks=146, wck=10.902, mem=184M183
16.51/13.41	    decisions=28176, wrong=11997, backtracks=3118, failedAssignments=9580, nogoods=881
16.51/13.41	    nFilterCalls=269109, avgTableProportion=0.9999657721791131, avgTableSize=29215.0
16.51/13.41	    
17.58/14.30	    num=48, depth=48..99, filters=184137, revisions=(2,useless=0), ccks=146, wck=11.796, mem=150M219
17.58/14.30	    decisions=30743, wrong=13235, backtracks=3457, failedAssignments=10550, nogoods=912
17.58/14.30	    nFilterCalls=288149, avgTableProportion=0.9999657721809796, avgTableSize=29215.0
17.58/14.30	    
18.39/15.16	    num=49, depth=43..94, filters=202738, revisions=(2,useless=0), ccks=146, wck=12.655, mem=152M817
18.39/15.16	    decisions=33565, wrong=14603, backtracks=3816, failedAssignments=11617, nogoods=929
18.39/15.16	    nFilterCalls=308815, avgTableProportion=0.9999657721827451, avgTableSize=29215.0
18.39/15.16	    
19.29/16.05	    num=50, depth=72..101, filters=223763, revisions=(2,useless=0), ccks=146, wck=13.543, mem=155M414
19.29/16.05	    decisions=36762, wrong=16155, backtracks=4290, failedAssignments=12790, nogoods=968
19.29/16.05	    nFilterCalls=332253, avgTableProportion=0.9999657721844815, avgTableSize=29215.0
19.29/16.05	    
20.18/16.97	    num=51, depth=84..101, filters=245652, revisions=(2,useless=0), ccks=146, wck=14.459, mem=160M610
20.18/16.97	    decisions=40284, wrong=17869, backtracks=4851, failedAssignments=14081, nogoods=994
20.18/16.97	    nFilterCalls=355714, avgTableProportion=0.9999657721859905, avgTableSize=29215.0
20.18/16.97	    
20.98/17.75	    num=52, depth=47..101, filters=262479, revisions=(2,useless=0), ccks=146, wck=15.245, mem=163M208
20.98/17.75	    decisions=43720, wrong=19543, backtracks=5163, failedAssignments=15501, nogoods=1020
20.98/17.75	    nFilterCalls=375027, avgTableProportion=0.999965772187091, avgTableSize=29215.0
20.98/17.75	    
22.18/18.97	    num=53, depth=34..98, filters=287130, revisions=(2,useless=0), ccks=146, wck=16.46, mem=168M404
22.18/18.97	    decisions=47696, wrong=21486, backtracks=5650, failedAssignments=17063, nogoods=1047
22.18/18.97	    nFilterCalls=403643, avgTableProportion=0.999965772188528, avgTableSize=29215.0
22.18/18.97	    
23.58/20.32	    num=54, depth=56..99, filters=315724, revisions=(2,useless=0), ccks=146, wck=17.808, mem=173M600
23.58/20.32	    decisions=52254, wrong=23722, backtracks=6337, failedAssignments=18781, nogoods=1102
23.58/20.32	    nFilterCalls=435789, avgTableProportion=0.9999657721899172, avgTableSize=29215.0
23.58/20.32	    
24.39/21.16	    num=55, depth=57..102, filters=339413, revisions=(2,useless=0), ccks=146, wck=18.653, mem=178M796
24.39/21.16	    decisions=57092, wrong=26096, backtracks=6972, failedAssignments=20671, nogoods=1113
24.39/21.16	    nFilterCalls=461831, avgTableProportion=0.9999657721909008, avgTableSize=29215.0
24.39/21.16	    
25.78/22.56	    num=56, depth=57..100, filters=372571, revisions=(2,useless=0), ccks=146, wck=20.056, mem=183M992
25.78/22.56	    decisions=62505, wrong=28758, backtracks=7703, failedAssignments=22750, nogoods=1159
25.78/22.56	    nFilterCalls=496973, avgTableProportion=0.9999657721920647, avgTableSize=29215.0
25.78/22.56	    
27.52/24.24	    num=57, depth=67..106, filters=413499, revisions=(2,useless=0), ccks=146, wck=21.738, mem=191M785
27.52/24.24	    decisions=68580, wrong=31750, backtracks=8679, failedAssignments=25037, nogoods=1176
27.52/24.24	    nFilterCalls=539583, avgTableProportion=0.9999657721916246, avgTableSize=29215.0
27.52/24.24	    
29.12/25.80	    num=58, depth=34..101, filters=452512, revisions=(2,useless=0), ccks=146, wck=23.293, mem=196M981
29.12/25.80	    decisions=74991, wrong=34910, backtracks=9525, failedAssignments=27553, nogoods=1219
29.12/25.80	    nFilterCalls=581122, avgTableProportion=0.9999657721885887, avgTableSize=29215.0
29.12/25.80	    
31.22/27.95	    num=59, depth=45..101, filters=501474, revisions=(2,useless=0), ccks=146, wck=25.448, mem=207M373
31.22/27.95	    decisions=82421, wrong=38581, backtracks=10773, failedAssignments=30321, nogoods=1243
31.22/27.95	    nFilterCalls=635194, avgTableProportion=0.9999657721852317, avgTableSize=29215.0
31.22/27.95	    
33.55/30.27	    num=60, depth=60..101, filters=555015, revisions=(2,useless=0), ccks=146, wck=27.764, mem=215M166
33.55/30.27	    decisions=90393, wrong=42520, backtracks=11971, failedAssignments=33365, nogoods=1264
33.55/30.27	    nFilterCalls=690069, avgTableProportion=0.9999657721823627, avgTableSize=29215.0
33.55/30.27	    
35.25/31.99	    num=61, depth=86..98, filters=601324, revisions=(2,useless=0), ccks=146, wck=29.481, mem=222M960
35.25/31.99	    decisions=98929, wrong=46743, backtracks=13105, failedAssignments=36714, nogoods=1279
35.25/31.99	    nFilterCalls=737519, avgTableProportion=0.9999657721802261, avgTableSize=29215.0
35.25/31.99	    
37.46/34.15	    num=62, depth=69..104, filters=656502, revisions=(2,useless=0), ccks=146, wck=31.643, mem=233M352
37.46/34.15	    decisions=108341, wrong=51405, backtracks=14357, failedAssignments=40398, nogoods=1311
37.46/34.15	    nFilterCalls=795817, avgTableProportion=0.9999657721779498, avgTableSize=29215.0
37.46/34.15	    
39.80/36.44	    num=63, depth=33..101, filters=712853, revisions=(2,useless=0), ccks=146, wck=33.928, mem=246M341
39.80/36.44	    decisions=118169, wrong=56273, backtracks=15392, failedAssignments=44450, nogoods=1353
39.80/36.44	    nFilterCalls=855306, avgTableProportion=0.999965772175947, avgTableSize=29215.0
39.80/36.44	    
43.41/40.06	    num=64, depth=38..96, filters=789332, revisions=(2,useless=0), ccks=146, wck=37.549, mem=264M527
43.41/40.06	    decisions=129708, wrong=61998, backtracks=17050, failedAssignments=48907, nogoods=1415
43.41/40.06	    nFilterCalls=936391, avgTableProportion=0.9999657721736267, avgTableSize=29215.0
43.41/40.06	    
47.30/43.98	    num=65, depth=45..105, filters=881946, revisions=(2,useless=0), ccks=146, wck=41.477, mem=279M741
47.30/43.98	    decisions=143325, wrong=68760, backtracks=19535, failedAssignments=53810, nogoods=1431
47.30/43.98	    nFilterCalls=1035313, avgTableProportion=0.9999657721712883, avgTableSize=29215.0
47.30/43.98	    
50.55/47.18	    num=66, depth=36..101, filters=968233, revisions=(2,useless=0), ccks=146, wck=44.675, mem=160M645
50.55/47.18	    decisions=157552, wrong=75829, backtracks=21910, failedAssignments=59204, nogoods=1452
50.55/47.18	    nFilterCalls=1124580, avgTableProportion=0.9999657721773955, avgTableSize=29215.0
50.55/47.18	    
54.94/51.54	    num=67, depth=58..102, filters=1066329, revisions=(2,useless=0), ccks=146, wck=49.029, mem=181M906
54.94/51.54	    decisions=172822, wrong=83419, backtracks=24168, failedAssignments=65137, nogoods=1483
54.94/51.54	    nFilterCalls=1228958, avgTableProportion=0.9999657721848842, avgTableSize=29215.0
54.94/51.54	    
59.75/56.37	    num=68, depth=67..98, filters=1178365, revisions=(2,useless=0), ccks=146, wck=53.867, mem=207M418
59.75/56.37	    decisions=190013, wrong=91970, backtracks=26964, failedAssignments=71663, nogoods=1516
59.75/56.37	    nFilterCalls=1346943, avgTableProportion=0.9999657721919517, avgTableSize=29215.0
59.75/56.37	    
64.67/61.28	    num=69, depth=76..99, filters=1292391, revisions=(2,useless=0), ccks=146, wck=58.776, mem=232M931
64.67/61.28	    decisions=208686, wrong=101262, backtracks=29752, failedAssignments=78842, nogoods=1559
64.67/61.28	    nFilterCalls=1462014, avgTableProportion=0.9999657721977459, avgTableSize=29215.0
64.67/61.28	    
70.77/67.31	    num=70, depth=64..100, filters=1433433, revisions=(2,useless=0), ccks=146, wck=64.803, mem=258M443
70.77/67.31	    decisions=229471, wrong=111608, backtracks=32975, failedAssignments=86739, nogoods=1601
70.77/67.31	    nFilterCalls=1611442, avgTableProportion=0.999965772204035, avgTableSize=29215.0
70.77/67.31	    
75.49/72.06	    num=71, depth=28..98, filters=1544526, revisions=(2,useless=0), ccks=146, wck=69.552, mem=283M956
75.49/72.06	    decisions=250876, wrong=122266, backtracks=35473, failedAssignments=95426, nogoods=1634
75.49/72.06	    nFilterCalls=1733721, avgTableProportion=0.9999657722083749, avgTableSize=29215.0
75.49/72.06	    
82.38/78.97	    num=72, depth=66..99, filters=1711854, revisions=(2,useless=0), ccks=146, wck=76.463, mem=313M721
82.38/78.97	    decisions=276488, wrong=135027, backtracks=39751, failedAssignments=104981, nogoods=1653
82.38/78.97	    nFilterCalls=1907594, avgTableProportion=0.999965772213588, avgTableSize=29215.0
82.38/78.97	    
90.28/86.86	    num=73, depth=70..95, filters=1901063, revisions=(2,useless=0), ccks=146, wck=84.35, mem=347M737
90.28/86.86	    decisions=304700, wrong=149089, backtracks=44308, failedAssignments=115492, nogoods=1675
90.28/86.86	    nFilterCalls=2099792, avgTableProportion=0.9999657722180612, avgTableSize=29215.0
90.28/86.86	    
100.42/96.94	    num=74, depth=50..96, filters=2113489, revisions=(2,useless=0), ccks=146, wck=94.434, mem=174M516
100.42/96.94	    decisions=335022, wrong=164209, backtracks=49052, failedAssignments=127054, nogoods=1694
100.42/96.94	    nFilterCalls=2331592, avgTableProportion=0.9999657721996368, avgTableSize=29215.0
100.42/96.94	    
110.82/107.32	    num=75, depth=55..97, filters=2337002, revisions=(2,useless=0), ccks=146, wck=104.815, mem=223M303
110.82/107.32	    decisions=368317, wrong=180815, backtracks=54429, failedAssignments=139772, nogoods=1771
110.82/107.32	    nFilterCalls=2569132, avgTableProportion=0.9999657721842055, avgTableSize=29215.0
110.82/107.32	    
121.82/118.34	    num=76, depth=38..100, filters=2595953, revisions=(2,useless=0), ccks=146, wck=115.83, mem=272M89
121.82/118.34	    decisions=406697, wrong=199962, backtracks=61419, failedAssignments=153762, nogoods=1798
121.82/118.34	    nFilterCalls=2837885, avgTableProportion=0.9999657721698612, avgTableSize=29215.0
121.82/118.34	    
132.67/129.13	    num=77, depth=42..101, filters=2866762, revisions=(2,useless=0), ccks=146, wck=126.623, mem=320M876
132.67/129.13	    decisions=447910, wrong=220528, backtracks=68700, failedAssignments=169151, nogoods=1807
132.67/129.13	    nFilterCalls=3127500, avgTableProportion=0.9999657721571632, avgTableSize=29215.0
132.67/129.13	    
144.24/140.68	    num=78, depth=41..100, filters=3126735, revisions=(2,useless=0), ccks=146, wck=138.177, mem=154M621
144.24/140.68	    decisions=490874, wrong=241967, backtracks=74153, failedAssignments=186079, nogoods=1843
144.24/140.68	    nFilterCalls=3396781, avgTableProportion=0.9999657721472993, avgTableSize=29215.0
144.24/140.68	    
158.25/154.61	    num=79, depth=41..100, filters=3452147, revisions=(2,useless=0), ccks=146, wck=152.104, mem=220M793
158.25/154.61	    decisions=540924, wrong=266948, backtracks=82605, failedAssignments=204700, nogoods=1887
158.25/154.61	    nFilterCalls=3743435, avgTableProportion=0.9999657721366906, avgTableSize=29215.0
158.25/154.61	    
171.77/168.12	    num=80, depth=82..103, filters=3803895, revisions=(2,useless=0), ccks=146, wck=165.61, mem=273M730
171.77/168.12	    decisions=596857, wrong=294868, backtracks=93030, failedAssignments=225184, nogoods=1921
171.77/168.12	    nFilterCalls=4100030, avgTableProportion=0.9999657721276494, avgTableSize=29215.0
171.77/168.12	    
187.96/184.36	    num=81, depth=46..99, filters=4174232, revisions=(2,useless=0), ccks=146, wck=181.85, mem=353M137
187.96/184.36	    decisions=655210, wrong=324003, backtracks=101675, failedAssignments=247716, nogoods=1975
187.96/184.36	    nFilterCalls=4484853, avgTableProportion=0.9999657721195055, avgTableSize=29215.0
187.96/184.36	    
202.17/198.57	    num=82, depth=72..101, filters=4534271, revisions=(2,useless=0), ccks=146, wck=196.063, mem=419M309
202.17/198.57	    decisions=719359, wrong=356032, backtracks=110822, failedAssignments=272501, nogoods=2016
202.17/198.57	    nFilterCalls=4856605, avgTableProportion=0.9999657721128639, avgTableSize=29215.0
202.17/198.57	    
220.09/216.48	    num=83, depth=56..104, filters=4984545, revisions=(2,useless=0), ccks=146, wck=213.971, mem=167M411
220.09/216.48	    decisions=791575, wrong=392094, backtracks=122402, failedAssignments=299765, nogoods=2078
220.09/216.48	    nFilterCalls=5326602, avgTableProportion=0.9999657721057938, avgTableSize=29215.0
220.09/216.48	    
238.19/234.54	    num=84, depth=74..102, filters=5427948, revisions=(2,useless=0), ccks=146, wck=232.034, mem=264M8
238.19/234.54	    decisions=868638, wrong=430581, backtracks=133563, failedAssignments=329755, nogoods=2106
238.19/234.54	    nFilterCalls=5800829, avgTableProportion=0.9999657720998214, avgTableSize=29215.0
238.19/234.54	    
261.71/258.07	    num=85, depth=51..97, filters=5977112, revisions=(2,useless=0), ccks=146, wck=255.567, mem=379M924
261.71/258.07	    decisions=955849, wrong=474146, backtracks=147612, failedAssignments=362744, nogoods=2157
261.71/258.07	    nFilterCalls=6395132, avgTableProportion=0.9999657720935873, avgTableSize=29215.0
261.71/258.07	    
274.51/270.84	    num=86, depth=95..143, filters=6348632, revisions=(2,useless=0), ccks=197, wck=268.33, mem=433M542
274.51/270.84	    decisions=1016753, wrong=504546, backtracks=158250, failedAssignments=385032, nogoods=2157, foundSolutions=1
274.51/270.84	    nFilterCalls=6756697, avgTableProportion=0.9999657720903311, avgTableSize=29215.0
274.51/270.84	    
274.51/270.84	  Global
274.51/270.84	    filters=6348632, revisions=(2,useless=0), ccks=197, nogoods=2157
274.51/270.84	    Stop=REACHED_GOAL, wrong=504546, foundSolutions=1, firstSolCpu=270.682
274.51/270.84	    wck=269.003, cpu=270.69, mem=433M542
274.51/270.84	
274.51/270.84	v <instantiation id='sol1' type='solution'>  <list> x[] </list>  <values> 0 14 4 18 41 31 45 55 65 75 61 84 98 73 87 101 76 90 67 77 54 40 63 49 39 62 48 38 24 1 15 5 19 9 23 33 8 22 32 7 17 3 13 27 37 51 28 42 52 29 6 16 30 20 10 35 21 11 34 44 58 68 82 59 69 79 89 99 85 108 133 123 109 132 122 136 126 116 141 131 117 107 130 140 115 125 139 129 143 118 95 105 119 142 128 138 124 134 120 110 96 121 135 112 137 127 113 103 93 83 106 92 102 88 111 97 72 86 100 114 104 94 80 66 91 81 71 46 56 70 47 57 43 53 78 64 74 60 50 36 26 12 2 25 </values>  </instantiation>
274.51/270.84	s SATISFIABLE
274.51/270.84	
274.51/270.84	d WRONG_DECISIONS 504546

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390760-1568384003/watcher-4390760-1568384003 -o /tmp/evaluation-result-4390760-1568384003/solver-4390760-1568384003 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568380480-27644 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390760-1568384003.xml -cm 

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

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

solver pid=28805, runsolver pid=28802

[startup+0.100076 s]*
/proc/loadavg: 1.86 1.85 1.86 4/229 28820
/proc/meminfo: memFree=31637980/32770624 swapFree=67004192/67108860
[pid=28805] ppid=28802 vsize=10659884 memory=27832 CPUtime=0.14 cores=1,3,5,7
/proc/28805/stat : 28805 (java) S 28802 28805 27612 0 -1 1077944320 5525 0 0 0 13 1 0 0 20 0 15 0 414561905 10915721216 6958 33554432000 4194304 4196468 140732562625104 140732562607648 140593778179831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
/proc/28805/statm: 2664971 6958 2873 1 0 2627468 0
[pid=28805/tid=28807] ppid=28802 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/28805/task/28807/stat : 28807 (java) R 28802 28805 27612 0 -1 4202560 3234 0 0 0 9 0 0 0 20 0 15 0 414561905 10915721216 6958 33554432000 4194304 4196468 140732562625104 140593782408792 140593778191766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28808] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28808/stat : 28808 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 7024 33554432000 4194304 4196468 140732562625104 140593385363984 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28809] ppid=28802 vsize=10659884 memory=288370250297656960 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28809/stat : 28809 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 7024 33554432000 4194304 4196468 140732562625104 140593384311440 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28810] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28810/stat : 28810 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 7024 33554432000 4194304 4196468 140732562625104 140593383258384 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28811] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28811/stat : 28811 (java) S 28802 28805 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 7024 33554432000 4194304 4196468 140732562625104 140593382205840 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28812] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28812/stat : 28812 (java) S 28802 28805 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561908 10915721216 7024 33554432000 4194304 4196468 140732562625104 140593269295856 140593778190978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28813] ppid=28802 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28813/stat : 28813 (java) S 28802 28805 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414561908 10915721216 7024 33554432000 4194304 4196468 140732562625104 140593268242080 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28814] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28814/stat : 28814 (java) S 28802 28805 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414561908 10915721216 7024 33554432000 4194304 4196468 140732562625104 140593267188976 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28815] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28815/stat : 28815 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561911 10915721216 7024 33554432000 4194304 4196468 140732562625104 140593266137552 140593778198427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28816] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28816/stat : 28816 (java) R 28802 28805 27612 0 -1 4202560 335 0 0 0 0 0 0 0 20 0 15 0 414561911 10915721216 7090 33554432000 4194304 4196468 140732562625104 140593265083048 140593771276667 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28817] ppid=28802 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28817/stat : 28817 (java) R 28802 28805 27612 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 414561911 10915721216 7090 33554432000 4194304 4196468 140732562625104 140593264032112 140593778190978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28818] ppid=28802 vsize=10659884 memory=139874145945216 CPUtime=0.02 cores=1,3,5,7
/proc/28805/task/28818/stat : 28818 (java) R 28802 28805 27612 0 -1 4202560 508 0 0 0 2 0 0 0 20 0 15 0 414561911 10915721216 7090 33554432000 4194304 4196468 140732562625104 140593262975960 140593757049401 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28819] ppid=28802 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28819/stat : 28819 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561911 10915721216 7090 33554432000 4194304 4196468 140732562625104 140593261926752 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28820] ppid=28802 vsize=10659884 memory=139874145945216 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28820/stat : 28820 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561911 10915721216 7090 33554432000 4194304 4196468 140732562625104 140593260874800 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27832 KiB

[startup+0.210459 s]*
/proc/loadavg: 1.86 1.85 1.86 3/229 28820
/proc/meminfo: memFree=31627036/32770624 swapFree=67004192/67108860
[pid=28805] ppid=28802 vsize=10659884 memory=37644 CPUtime=0.33 cores=1,3,5,7
/proc/28805/stat : 28805 (java) S 28802 28805 27612 0 -1 1077944320 9183 0 0 0 31 2 0 0 20 0 15 0 414561905 10915721216 9411 33554432000 4194304 4196468 140732562625104 140732562607648 140593778179831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
/proc/28805/statm: 2664971 9411 2989 1 0 2627468 0
[pid=28805/tid=28807] ppid=28802 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28805/task/28807/stat : 28807 (java) R 28802 28805 27612 0 -1 4202560 6128 0 0 0 19 1 0 0 20 0 15 0 414561905 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593782406192 140593778201757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28808] ppid=28802 vsize=10659884 memory=343 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28808/stat : 28808 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593385363984 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28809] ppid=28802 vsize=10659884 memory=139874145972616 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28809/stat : 28809 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593384311440 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28810] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28810/stat : 28810 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593383258384 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28811] ppid=28802 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28811/stat : 28811 (java) S 28802 28805 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593382205840 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28812] ppid=28802 vsize=10659884 memory=139874145945216 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28812/stat : 28812 (java) S 28802 28805 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561908 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593269295856 140593778190978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28813] ppid=28802 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28813/stat : 28813 (java) S 28802 28805 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414561908 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593268242080 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28814] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28814/stat : 28814 (java) S 28802 28805 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414561908 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593267188976 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28815] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28815/stat : 28815 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561911 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593266137552 140593778198427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28816] ppid=28802 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/28805/task/28816/stat : 28816 (java) S 28802 28805 27612 0 -1 1077944384 706 0 0 0 3 0 0 0 20 0 15 0 414561911 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593265084656 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28817] ppid=28802 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28805/task/28817/stat : 28817 (java) S 28802 28805 27612 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 414561911 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593264032112 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28818] ppid=28802 vsize=10659884 memory=139874145945216 CPUtime=0.05 cores=1,3,5,7
/proc/28805/task/28818/stat : 28818 (java) S 28802 28805 27612 0 -1 1077944384 733 0 0 0 5 0 0 0 20 0 15 0 414561911 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593262979056 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28819] ppid=28802 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28819/stat : 28819 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561911 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593261926752 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28820] ppid=28802 vsize=10659884 memory=139874145945216 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28820/stat : 28820 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561911 10915721216 9411 33554432000 4194304 4196468 140732562625104 140593260874800 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37644 KiB

[startup+0.310143 s]*
/proc/loadavg: 1.86 1.85 1.86 3/229 28820
/proc/meminfo: memFree=31624732/32770624 swapFree=67004192/67108860
[pid=28805] ppid=28802 vsize=10659884 memory=40448 CPUtime=0.47 cores=1,3,5,7
/proc/28805/stat : 28805 (java) S 28802 28805 27612 0 -1 1077944320 9406 0 0 0 45 2 0 0 20 0 15 0 414561905 10915721216 10112 33554432000 4194304 4196468 140732562625104 140732562607648 140593778179831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
/proc/28805/statm: 2664971 10112 3010 1 0 2627468 0
[pid=28805/tid=28807] ppid=28802 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/28805/task/28807/stat : 28807 (java) R 28802 28805 27612 0 -1 4202560 6283 0 0 0 29 1 0 0 20 0 15 0 414561905 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593782411632 140593762260318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28808] ppid=28802 vsize=10659884 memory=4294981932 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28808/stat : 28808 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593385363984 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28809] ppid=28802 vsize=10659884 memory=139874145972572 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28809/stat : 28809 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593384311440 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28810] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28810/stat : 28810 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593383258384 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28811] ppid=28802 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28811/stat : 28811 (java) S 28802 28805 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561906 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593382205840 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28812] ppid=28802 vsize=10659884 memory=139874145945216 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28812/stat : 28812 (java) S 28802 28805 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561908 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593269295856 140593778190978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28813] ppid=28802 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28813/stat : 28813 (java) S 28802 28805 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414561908 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593268242080 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28814] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28814/stat : 28814 (java) S 28802 28805 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414561908 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593267188976 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28815] ppid=28802 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28815/stat : 28815 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561911 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593266137552 140593778198427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28816] ppid=28802 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28805/task/28816/stat : 28816 (java) S 28802 28805 27612 0 -1 1077944384 722 0 0 0 4 0 0 0 20 0 15 0 414561911 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593265084656 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28817] ppid=28802 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28805/task/28817/stat : 28817 (java) S 28802 28805 27612 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 414561911 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593264032112 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28818] ppid=28802 vsize=10659884 memory=139874145945216 CPUtime=0.07 cores=1,3,5,7
/proc/28805/task/28818/stat : 28818 (java) R 28802 28805 27612 0 -1 4202560 759 0 0 0 7 0 0 0 20 0 15 0 414561911 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593262979056 140593778201178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28819] ppid=28802 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28819/stat : 28819 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561911 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593261926752 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28820] ppid=28802 vsize=10659884 memory=139874145945216 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28820/stat : 28820 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561911 10915721216 10112 33554432000 4194304 4196468 140732562625104 140593260874800 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40448 KiB

[startup+0.700725 s]
/proc/loadavg: 1.86 1.85 1.86 3/229 28820
/proc/meminfo: memFree=31614348/32770624 swapFree=67004192/67108860
[pid=28805] ppid=28802 vsize=10661932 memory=63264 CPUtime=1.1 cores=1,3,5,7
/proc/28805/stat : 28805 (java) S 28802 28805 27612 0 -1 1077944320 12870 0 0 0 106 4 0 0 20 0 15 0 414561905 10917818368 15816 33554432000 4194304 4196468 140732562625104 140732562607648 140593778179831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
/proc/28805/statm: 2665483 15816 3060 1 0 2627980 0
[pid=28805/tid=28807] ppid=28802 vsize=10661932 memory=39136 CPUtime=0.68 cores=1,3,5,7
/proc/28805/task/28807/stat : 28807 (java) R 28802 28805 27612 0 -1 4202560 8828 0 0 0 65 3 0 0 20 0 15 0 414561905 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593782401168 140593778201757 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28808] ppid=28802 vsize=10661932 memory=984 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28808/stat : 28808 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593385363984 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28809] ppid=28802 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28809/stat : 28809 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593384311440 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28810] ppid=28802 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28810/stat : 28810 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593383258384 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28811] ppid=28802 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28811/stat : 28811 (java) S 28802 28805 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561906 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593382205840 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28812] ppid=28802 vsize=10661932 memory=2 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28812/stat : 28812 (java) S 28802 28805 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561908 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593269295856 140593778190978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28813] ppid=28802 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28813/stat : 28813 (java) S 28802 28805 27612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414561908 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593268242080 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28814] ppid=28802 vsize=10661932 memory=28 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28814/stat : 28814 (java) S 28802 28805 27612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414561908 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593267188976 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28815] ppid=28802 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28815/stat : 28815 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561911 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593266137552 140593778198427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28816] ppid=28802 vsize=10661932 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/28805/task/28816/stat : 28816 (java) R 28802 28805 27612 0 -1 4202560 978 0 0 0 12 0 0 0 20 0 15 0 414561911 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593265084656 140593759724365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28817] ppid=28802 vsize=10661932 memory=1371 CPUtime=0.1 cores=1,3,5,7
/proc/28805/task/28817/stat : 28817 (java) S 28802 28805 27612 0 -1 1077944384 527 0 0 0 10 0 0 0 20 0 15 0 414561911 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593264032112 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28818] ppid=28802 vsize=10661932 memory=97406 CPUtime=0.18 cores=1,3,5,7
/proc/28805/task/28818/stat : 28818 (java) S 28802 28805 27612 0 -1 1077944384 1178 0 0 0 18 0 0 0 20 0 15 0 414561911 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593262979056 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28819] ppid=28802 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28819/stat : 28819 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414561911 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593261926752 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28820] ppid=28802 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28820/stat : 28820 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561911 10917818368 15816 33554432000 4194304 4196468 140732562625104 140593260874800 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63264 KiB

[startup+1.50071 s]
/proc/loadavg: 1.86 1.85 1.86 4/229 28820
/proc/meminfo: memFree=31598280/32770624 swapFree=67004192/67108860
[pid=28805] ppid=28802 vsize=10663980 memory=75276 CPUtime=1.99 cores=1,3,5,7
/proc/28805/stat : 28805 (java) S 28802 28805 27612 0 -1 1077944320 18395 0 0 0 194 5 0 0 20 0 15 0 414561905 10919915520 18819 33554432000 4194304 4196468 140732562625104 140732562607648 140593778179831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
/proc/28805/statm: 2665995 18819 3096 1 0 2628492 0
[pid=28805/tid=28807] ppid=28802 vsize=10663980 memory=984 CPUtime=1.48 cores=1,3,5,7
/proc/28805/task/28807/stat : 28807 (java) R 28802 28805 27612 0 -1 4202560 13071 0 0 0 144 4 0 0 20 0 15 0 414561905 10919915520 18819 33554432000 4194304 4196468 140732562625104 140593782411856 140593762260318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28808] ppid=28802 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28808/stat : 28808 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10919915520 18819 33554432000 4194304 4196468 140732562625104 140593385363984 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28809] ppid=28802 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28809/stat : 28809 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10919915520 18819 33554432000 4194304 4196468 140732562625104 140593384311440 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28810] ppid=28802 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28810/stat : 28810 (java) S 28802 28805 27612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414561906 10919915520 18819 33554432000 4194304 4196468 140732562625104 140593383258384 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28811] ppid=28802 vsize=10663980 memory=2 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28811/stat : 28811 (java) S 28802 28805 27612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414561906 10919915520 18819 33554432000 4194304 4196468 140732562625104 140593382205840 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28812] ppid=28802 vsize=10663980 memory=5 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28812/stat : 28812 (java) S 28802 28805 27612 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 414561908 10919915520 18819 33554432000 4194304 4196468 140732562625104 140593269295856 140593778190978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0

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

[startup+268.801 s]
/proc/loadavg: 1.84 1.82 1.85 4/230 28842
/proc/meminfo: memFree=31089336/32770624 swapFree=67004192/67108860
[pid=28805] ppid=28802 vsize=10746276 memory=574544 CPUtime=272.51 cores=1,3,5,7
/proc/28805/stat : 28805 (java) S 28802 28805 27612 0 -1 1077944320 61385 0 0 0 27206 45 0 0 20 0 16 0 414561905 11004186624 143636 33554432000 4194304 4196468 140732562625104 140732562607648 140593778179831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
/proc/28805/statm: 2686569 143636 3377 1 0 2646705 0
[pid=28805/tid=28807] ppid=28802 vsize=10746276 memory=574544 CPUtime=1.84 cores=1,3,5,7
/proc/28805/task/28807/stat : 28807 (java) S 28802 28805 27612 0 -1 1077944384 15295 0 0 0 179 5 0 0 20 0 16 0 414561905 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593782422704 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28808] ppid=28802 vsize=10746276 memory=574544 CPUtime=0.13 cores=1,3,5,7
/proc/28805/task/28808/stat : 28808 (java) S 28802 28805 27612 0 -1 1077944384 1524 0 0 0 7 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593385363984 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28809] ppid=28802 vsize=10746276 memory=1940 CPUtime=0.13 cores=1,3,5,7
/proc/28805/task/28809/stat : 28809 (java) S 28802 28805 27612 0 -1 1077944384 1785 0 0 0 7 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593384311440 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28810] ppid=28802 vsize=10746276 memory=1416 CPUtime=0.12 cores=1,3,5,7
/proc/28805/task/28810/stat : 28810 (java) S 28802 28805 27612 0 -1 1077944384 840 0 0 0 6 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593383258384 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28811] ppid=28802 vsize=10746276 memory=574544 CPUtime=0.12 cores=1,3,5,7
/proc/28805/task/28811/stat : 28811 (java) S 28802 28805 27612 0 -1 1077944384 3324 0 0 0 6 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593382205840 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28812] ppid=28802 vsize=10746276 memory=39136 CPUtime=0.02 cores=1,3,5,7
/proc/28805/task/28812/stat : 28812 (java) S 28802 28805 27612 0 -1 1077944384 2633 0 0 0 2 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593269295856 140593778190978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28813] ppid=28802 vsize=10746276 memory=984 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28813/stat : 28813 (java) S 28802 28805 27612 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593268242144 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28814] ppid=28802 vsize=10746276 memory=574544 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28814/stat : 28814 (java) S 28802 28805 27612 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593267188992 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28815] ppid=28802 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28815/stat : 28815 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593266137552 140593778198427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28816] ppid=28802 vsize=10746276 memory=2120 CPUtime=1.41 cores=1,3,5,7
/proc/28805/task/28816/stat : 28816 (java) S 28802 28805 27612 0 -1 1077944384 8571 0 0 0 140 1 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593265084656 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28817] ppid=28802 vsize=10746276 memory=504 CPUtime=1.18 cores=1,3,5,7
/proc/28805/task/28817/stat : 28817 (java) S 28802 28805 27612 0 -1 1077944384 5918 0 0 0 118 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593264032112 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28818] ppid=28802 vsize=10746276 memory=1560 CPUtime=0.59 cores=1,3,5,7
/proc/28805/task/28818/stat : 28818 (java) S 28802 28805 27612 0 -1 1077944384 5729 0 0 0 58 1 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593262979056 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28819] ppid=28802 vsize=10746276 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28819/stat : 28819 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593261926752 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28820] ppid=28802 vsize=10746276 memory=288230621803970871 CPUtime=0.05 cores=1,3,5,7
/proc/28805/task/28820/stat : 28820 (java) S 28802 28805 27612 0 -1 1077944384 621 0 0 0 2 3 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593260874800 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28821] ppid=28802 vsize=10746276 memory=15262527902714418 CPUtime=266.77 cores=1,3,5,7
/proc/28805/task/28821/stat : 28821 (java) R 28802 28805 27612 0 -1 4202560 13712 0 0 0 26672 5 0 0 20 0 16 0 414562092 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593244204928 140593421407188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
Current children cumulated CPU time: 272.51 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 574544 KiB

[startup+269.601 s]
/proc/loadavg: 1.84 1.82 1.85 4/230 28842
/proc/meminfo: memFree=31089336/32770624 swapFree=67004192/67108860
[pid=28805] ppid=28802 vsize=10746276 memory=574544 CPUtime=273.31 cores=1,3,5,7
/proc/28805/stat : 28805 (java) S 28802 28805 27612 0 -1 1077944320 61389 0 0 0 27286 45 0 0 20 0 16 0 414561905 11004186624 143636 33554432000 4194304 4196468 140732562625104 140732562607648 140593778179831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
/proc/28805/statm: 2686569 143636 3377 1 0 2646705 0
[pid=28805/tid=28807] ppid=28802 vsize=10746276 memory=740 CPUtime=1.84 cores=1,3,5,7
/proc/28805/task/28807/stat : 28807 (java) S 28802 28805 27612 0 -1 1077944384 15295 0 0 0 179 5 0 0 20 0 16 0 414561905 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593782422704 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28808] ppid=28802 vsize=10746276 memory=1052 CPUtime=0.13 cores=1,3,5,7
/proc/28805/task/28808/stat : 28808 (java) S 28802 28805 27612 0 -1 1077944384 1524 0 0 0 7 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593385363984 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28809] ppid=28802 vsize=10746276 memory=7548 CPUtime=0.13 cores=1,3,5,7
/proc/28805/task/28809/stat : 28809 (java) S 28802 28805 27612 0 -1 1077944384 1785 0 0 0 7 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593384311440 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28810] ppid=28802 vsize=10746276 memory=39136 CPUtime=0.12 cores=1,3,5,7
/proc/28805/task/28810/stat : 28810 (java) S 28802 28805 27612 0 -1 1077944384 840 0 0 0 6 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593383258384 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28811] ppid=28802 vsize=10746276 memory=984 CPUtime=0.12 cores=1,3,5,7
/proc/28805/task/28811/stat : 28811 (java) S 28802 28805 27612 0 -1 1077944384 3324 0 0 0 6 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593382205840 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28812] ppid=28802 vsize=10746276 memory=1940 CPUtime=0.02 cores=1,3,5,7
/proc/28805/task/28812/stat : 28812 (java) S 28802 28805 27612 0 -1 1077944384 2633 0 0 0 2 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593269295856 140593778190978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28813] ppid=28802 vsize=10746276 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28813/stat : 28813 (java) S 28802 28805 27612 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593268242144 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28814] ppid=28802 vsize=10746276 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28814/stat : 28814 (java) S 28802 28805 27612 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593267188992 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28815] ppid=28802 vsize=10746276 memory=5964 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28815/stat : 28815 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593266137552 140593778198427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28816] ppid=28802 vsize=10746276 memory=14012 CPUtime=1.41 cores=1,3,5,7
/proc/28805/task/28816/stat : 28816 (java) S 28802 28805 27612 0 -1 1077944384 8571 0 0 0 140 1 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593265084656 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28817] ppid=28802 vsize=10746276 memory=18964 CPUtime=1.18 cores=1,3,5,7
/proc/28805/task/28817/stat : 28817 (java) S 28802 28805 27612 0 -1 1077944384 5918 0 0 0 118 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593264032112 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28818] ppid=28802 vsize=10746276 memory=14068 CPUtime=0.59 cores=1,3,5,7
/proc/28805/task/28818/stat : 28818 (java) S 28802 28805 27612 0 -1 1077944384 5729 0 0 0 58 1 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593262979056 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28819] ppid=28802 vsize=10746276 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28819/stat : 28819 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593261926752 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28820] ppid=28802 vsize=10746276 memory=2832 CPUtime=0.05 cores=1,3,5,7
/proc/28805/task/28820/stat : 28820 (java) S 28802 28805 27612 0 -1 1077944384 621 0 0 0 2 3 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593260874800 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28821] ppid=28802 vsize=10746276 memory=776 CPUtime=267.57 cores=1,3,5,7
/proc/28805/task/28821/stat : 28821 (java) R 28802 28805 27612 0 -1 4202560 13716 0 0 0 26752 5 0 0 20 0 16 0 414562092 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593244204928 140593421580153 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
Current children cumulated CPU time: 273.31 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 574544 KiB

[startup+270.401 s]
/proc/loadavg: 1.86 1.82 1.85 4/230 28842
/proc/meminfo: memFree=31089336/32770624 swapFree=67004192/67108860
[pid=28805] ppid=28802 vsize=10746276 memory=574544 CPUtime=274.11 cores=1,3,5,7
/proc/28805/stat : 28805 (java) S 28802 28805 27612 0 -1 1077944320 61391 0 0 0 27366 45 0 0 20 0 16 0 414561905 11004186624 143636 33554432000 4194304 4196468 140732562625104 140732562607648 140593778179831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
/proc/28805/statm: 2686569 143636 3377 1 0 2646705 0
[pid=28805/tid=28807] ppid=28802 vsize=10746276 memory=1416 CPUtime=1.84 cores=1,3,5,7
/proc/28805/task/28807/stat : 28807 (java) S 28802 28805 27612 0 -1 1077944384 15295 0 0 0 179 5 0 0 20 0 16 0 414561905 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593782422704 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28808] ppid=28802 vsize=10746276 memory=1556 CPUtime=0.13 cores=1,3,5,7
/proc/28805/task/28808/stat : 28808 (java) S 28802 28805 27612 0 -1 1077944384 1524 0 0 0 7 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593385363984 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28809] ppid=28802 vsize=10746276 memory=740 CPUtime=0.13 cores=1,3,5,7
/proc/28805/task/28809/stat : 28809 (java) S 28802 28805 27612 0 -1 1077944384 1785 0 0 0 7 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593384311440 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28810] ppid=28802 vsize=10746276 memory=1052 CPUtime=0.12 cores=1,3,5,7
/proc/28805/task/28810/stat : 28810 (java) S 28802 28805 27612 0 -1 1077944384 840 0 0 0 6 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593383258384 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28811] ppid=28802 vsize=10746276 memory=7548 CPUtime=0.12 cores=1,3,5,7
/proc/28805/task/28811/stat : 28811 (java) S 28802 28805 27612 0 -1 1077944384 3324 0 0 0 6 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593382205840 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28812] ppid=28802 vsize=10746276 memory=4004 CPUtime=0.02 cores=1,3,5,7
/proc/28805/task/28812/stat : 28812 (java) S 28802 28805 27612 0 -1 1077944384 2633 0 0 0 2 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593269295856 140593778190978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28813] ppid=28802 vsize=10746276 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28813/stat : 28813 (java) S 28802 28805 27612 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593268242144 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28814] ppid=28802 vsize=10746276 memory=776 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28814/stat : 28814 (java) S 28802 28805 27612 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593267188992 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28815] ppid=28802 vsize=10746276 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28815/stat : 28815 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593266137552 140593778198427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28816] ppid=28802 vsize=10746276 memory=1720 CPUtime=1.41 cores=1,3,5,7
/proc/28805/task/28816/stat : 28816 (java) S 28802 28805 27612 0 -1 1077944384 8571 0 0 0 140 1 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593265084656 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28817] ppid=28802 vsize=10746276 memory=1096 CPUtime=1.18 cores=1,3,5,7
/proc/28805/task/28817/stat : 28817 (java) S 28802 28805 27612 0 -1 1077944384 5918 0 0 0 118 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593264032112 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28818] ppid=28802 vsize=10746276 memory=5964 CPUtime=0.59 cores=1,3,5,7
/proc/28805/task/28818/stat : 28818 (java) S 28802 28805 27612 0 -1 1077944384 5729 0 0 0 58 1 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593262979056 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28819] ppid=28802 vsize=10746276 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28819/stat : 28819 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593261926752 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28820] ppid=28802 vsize=10746276 memory=5964 CPUtime=0.05 cores=1,3,5,7
/proc/28805/task/28820/stat : 28820 (java) S 28802 28805 27612 0 -1 1077944384 621 0 0 0 2 3 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593260874800 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28821] ppid=28802 vsize=10746276 memory=14012 CPUtime=268.37 cores=1,3,5,7
/proc/28805/task/28821/stat : 28821 (java) R 28802 28805 27612 0 -1 4202560 13718 0 0 0 26832 5 0 0 20 0 16 0 414562092 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593244204928 140593421407251 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
Current children cumulated CPU time: 274.11 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 574544 KiB

[startup+270.801 s]
/proc/loadavg: 1.86 1.82 1.85 4/230 28842
/proc/meminfo: memFree=31089336/32770624 swapFree=67004192/67108860
[pid=28805] ppid=28802 vsize=10746276 memory=574544 CPUtime=274.51 cores=1,3,5,7
/proc/28805/stat : 28805 (java) S 28802 28805 27612 0 -1 1077944320 61393 0 0 0 27406 45 0 0 20 0 16 0 414561905 11004186624 143636 33554432000 4194304 4196468 140732562625104 140732562607648 140593778179831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
/proc/28805/statm: 2686569 143636 3377 1 0 2646705 0
[pid=28805/tid=28807] ppid=28802 vsize=10746276 memory=3588 CPUtime=1.84 cores=1,3,5,7
/proc/28805/task/28807/stat : 28807 (java) S 28802 28805 27612 0 -1 1077944384 15295 0 0 0 179 5 0 0 20 0 16 0 414561905 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593782422704 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28808] ppid=28802 vsize=10746276 memory=6791534058613427641 CPUtime=0.13 cores=1,3,5,7
/proc/28805/task/28808/stat : 28808 (java) S 28802 28805 27612 0 -1 1077944384 1524 0 0 0 7 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593385363984 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28809] ppid=28802 vsize=10746276 memory=4426639978525455914 CPUtime=0.13 cores=1,3,5,7
/proc/28805/task/28809/stat : 28809 (java) S 28802 28805 27612 0 -1 1077944384 1785 0 0 0 7 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593384311440 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28810] ppid=28802 vsize=10746276 memory=3047711553219693942 CPUtime=0.12 cores=1,3,5,7
/proc/28805/task/28810/stat : 28810 (java) S 28802 28805 27612 0 -1 1077944384 840 0 0 0 6 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593383258384 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28811] ppid=28802 vsize=10746276 memory=-7521736447810188379 CPUtime=0.12 cores=1,3,5,7
/proc/28805/task/28811/stat : 28811 (java) S 28802 28805 27612 0 -1 1077944384 3324 0 0 0 6 6 0 0 20 0 16 0 414561906 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593382205840 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28812] ppid=28802 vsize=10746276 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28805/task/28812/stat : 28812 (java) S 28802 28805 27612 0 -1 1077944384 2633 0 0 0 2 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593269295856 140593778190978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28813] ppid=28802 vsize=10746276 memory=7449345662179633262 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28813/stat : 28813 (java) S 28802 28805 27612 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593268242144 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28814] ppid=28802 vsize=10746276 memory=7235405881161966181 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28814/stat : 28814 (java) S 28802 28805 27612 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 16 0 414561908 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593267188992 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28815] ppid=28802 vsize=10746276 memory=7666065997109489762 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28815/stat : 28815 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593266137552 140593778198427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28816] ppid=28802 vsize=10746276 memory=7589498206508180841 CPUtime=1.41 cores=1,3,5,7
/proc/28805/task/28816/stat : 28816 (java) S 28802 28805 27612 0 -1 1077944384 8571 0 0 0 140 1 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593265084656 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28817] ppid=28802 vsize=10746276 memory=7589498206508180841 CPUtime=1.18 cores=1,3,5,7
/proc/28805/task/28817/stat : 28817 (java) S 28802 28805 27612 0 -1 1077944384 5918 0 0 0 118 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593264032112 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28818] ppid=28802 vsize=10746276 memory=7235405881161966181 CPUtime=0.59 cores=1,3,5,7
/proc/28805/task/28818/stat : 28818 (java) S 28802 28805 27612 0 -1 1077944384 5729 0 0 0 58 1 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593262979056 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28819] ppid=28802 vsize=10746276 memory=7589498206508180841 CPUtime=0 cores=1,3,5,7
/proc/28805/task/28819/stat : 28819 (java) S 28802 28805 27612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593261926752 140593778190037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28820] ppid=28802 vsize=10746276 memory=7589498206508180841 CPUtime=0.05 cores=1,3,5,7
/proc/28805/task/28820/stat : 28820 (java) S 28802 28805 27612 0 -1 1077944384 621 0 0 0 2 3 0 0 20 0 16 0 414561911 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593260874800 140593778190978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
[pid=28805/tid=28821] ppid=28802 vsize=10746276 memory=6791534058613427641 CPUtime=268.77 cores=1,3,5,7
/proc/28805/task/28821/stat : 28821 (java) R 28802 28805 27612 0 -1 4202560 13720 0 0 0 26872 5 0 0 20 0 16 0 414562092 11004186624 143636 33554432000 4194304 4196468 140732562625104 140593244204928 140593421580051 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38010880 140732562629643 140732562629746 140732562629746 140732562632655 0
Current children cumulated CPU time: 274.51 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 574544 KiB

Child status: 0
Real time (s): 270.852
CPU time (s): 274.582
CPU user time (s): 274.119
CPU system time (s): 0.463218
CPU usage (%): 101.377
Max. virtual memory (cumulated for all children) (KiB): 10746452
Max. memory (cumulated for all children) (KiB): 574544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 274.119
system time used= 0.463218
maximum resident set size= 574696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8747
involuntary context switches= 137


# summary of solver processes directly reported to runsolver:
#   pid: 28805
#   total CPU time (s): 274.582
#   total CPU user time (s): 274.119
#   total CPU system time (s): 0.463218

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3564 second user time and 2.50534 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-13 16:12:46
IDJOB=4390760
IDBENCH=134613
IDSOLVER=2832
FILE ID=node148/4390760-1568384003
RUNJOBID= node148-1568380480-27644
PBS_JOBID= 21701823
Free space on /tmp= 58788 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-12-ext04.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390760-1568384003/watcher-4390760-1568384003 -o /tmp/evaluation-result-4390760-1568384003/solver-4390760-1568384003 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568380480-27644 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390760-1568384003.xml -cm

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

MD5SUM BENCH= 7a2ffbd3a2fba29c29472d7427b18f31
RANDOM SEED=1747478263

node148.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.13
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.13
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.13
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.13
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:        31654904 kB
MemAvailable:   31736376 kB
Buffers:           23496 kB
Cached:           353376 kB
SwapCached:         3852 kB
Active:           398816 kB
Inactive:         159988 kB
Active(anon):     179068 kB
Inactive(anon):    43804 kB
Active(file):     219748 kB
Inactive(file):   116184 kB
Unevictable:      108944 kB
Mlocked:          108944 kB
SwapTotal:      67108860 kB
SwapFree:       67004192 kB
Dirty:              8988 kB
Writeback:             0 kB
AnonPages:        335596 kB
Mapped:            55888 kB
Shmem:             32312 kB
Slab:             151060 kB
SReclaimable:     122748 kB
SUnreclaim:        28312 kB
KernelStack:        4032 kB
PageTables:         5944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1152180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 58780 MiB
End job on node148 at 2019-09-13 16:17:17