Trace number 4390486

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-23UNSAT 19.1725 13.973

DiagnosticValue
WRONG_DECISIONS58534

General information on the benchmark

NameRlfap/Rlfap-dec-scens11/
Rlfap-scen-11-f05_c18.xml
MD5SUMf8050e8ddc741b4fb4a45c7e8cfb7628
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark11.0135
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Number of domains5
Minimum domain size6
Maximum domain size39
Distribution of domain sizes[{"size":6,"count":2},{"size":21,"count":4},{"size":22,"count":10},{"size":32,"count":336},{"size":39,"count":328}]
Minimum variable degree1
Maximum variable degree62
Distribution of variable degrees[{"degree":1,"count":1},{"degree":3,"count":26},{"degree":4,"count":13},{"degree":5,"count":86},{"degree":6,"count":20},{"degree":7,"count":89},{"degree":8,"count":12},{"degree":9,"count":87},{"degree":10,"count":28},{"degree":11,"count":42},{"degree":12,"count":25},{"degree":13,"count":40},{"degree":14,"count":14},{"degree":15,"count":40},{"degree":16,"count":8},{"degree":17,"count":29},{"degree":18,"count":6},{"degree":19,"count":18},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4103}]
Number of extensional constraints0
Number of intensional constraints4103
Distribution of constraint types[{"type":"intension","count":4103}]
Optimization problemNO
Type of objective

Solver Data 

2.40/1.88	
2.40/1.88	AbsCon 2 
2.40/1.89	
4.18/2.44	  Instance
4.18/2.44	    name=instance-4390486-1568386793, framework=CSP
4.18/2.44	
4.18/2.44	  Loading variables...
4.55/2.52	  Loading constraints...
7.54/3.41	
7.54/3.41	  Domains
7.54/3.41	    nTypes=5, nValues=23860, sizes=[6#2,21#4,22#10,32#336,39#328]
7.54/3.41	  Variables
7.54/3.41	    count=680, degrees=[1#1,3#26,4#13,5#86...44#1,47#1,55#1,62#1]
7.54/3.41	  Constraints
7.54/3.41	    count=4103, arities=[2#4103]
7.54/3.41	    distribution=[CtrIntension#4103]
7.54/3.41	    nIntStructures=(173,shared:3930), nCftStructures=(173,shared:3930)
7.54/3.41	    wck=1.559, cpu=3.303, mem=55M950
7.54/3.41	  Solver SolverBacktrack being built...
7.54/3.41	
7.54/3.45	
7.54/3.45	  Solver
7.54/3.45	    guaranteedGAC=true
7.54/3.45	    wck=1.606, cpu=3.348, mem=68M232
7.87/3.51	
7.87/3.51	  Preprocessing
7.87/3.51	    filters=334, revisions=(668,useless=0), ccks=453345, nACremovedValues=2996, nTotalRemovedValues=2996, inconcistency=false
7.87/3.51	    wck=0.053, cpu=3.402, mem=68M232
7.87/3.51	
7.87/3.54	    num=0, depth=69..70, filters=2267, revisions=(4665,useless=2042), ccks=510608, wck=0.083, mem=68M232
7.87/3.54	    decisions=95, wrong=13, backtracks=3, failedAssignments=10, nogoods=8
7.87/3.54	    
7.87/3.55	    num=1, depth=34..36, filters=3724, revisions=(8409,useless=4318), ccks=538268, wck=0.096, mem=68M232
7.87/3.55	    decisions=163, wrong=30, backtracks=9, failedAssignments=21, nogoods=15
7.87/3.55	    
7.87/3.57	    num=2, depth=3..4, filters=4506, revisions=(10199,useless=5312), ccks=556922, wck=0.115, mem=68M232
7.87/3.57	    decisions=198, wrong=46, backtracks=13, failedAssignments=33, nogoods=20
7.87/3.57	    
7.87/3.58	    num=3, depth=4..6, filters=5497, revisions=(13568,useless=7684), ccks=582572, wck=0.123, mem=68M232
7.87/3.58	    decisions=243, wrong=66, backtracks=20, failedAssignments=46, nogoods=26
7.87/3.58	    
7.87/3.58	    num=4, depth=1..3, filters=6680, revisions=(15863,useless=8785), ccks=608863, wck=0.13, mem=68M232
7.87/3.58	    decisions=283, wrong=85, backtracks=25, failedAssignments=60, nogoods=32
7.87/3.58	    
7.87/3.59	    num=5, depth=4..6, filters=7791, revisions=(19730,useless=11536), ccks=634338, wck=0.139, mem=68M232
7.87/3.59	    decisions=340, wrong=111, backtracks=35, failedAssignments=76, nogoods=36
7.87/3.59	    
8.18/3.60	    num=6, depth=4..6, filters=9030, revisions=(23879,useless=14432), ccks=664062, wck=0.148, mem=72M513
8.18/3.60	    decisions=399, wrong=138, backtracks=45, failedAssignments=93, nogoods=41
8.18/3.60	    
8.18/3.61	    num=7, depth=2..5, filters=10256, revisions=(27553,useless=16872), ccks=693871, wck=0.157, mem=72M513
8.18/3.61	    decisions=452, wrong=163, backtracks=51, failedAssignments=112, nogoods=54
8.18/3.61	    
8.18/3.62	    num=8, depth=3..5, filters=11888, revisions=(32009,useless=19670), ccks=729333, wck=0.167, mem=72M513
8.18/3.62	    decisions=511, wrong=190, backtracks=57, failedAssignments=133, nogoods=58
8.18/3.62	    
8.18/3.63	    num=9, depth=4..6, filters=13620, revisions=(38411,useless=24308), ccks=770471, wck=0.178, mem=72M513
8.18/3.63	    decisions=588, wrong=226, backtracks=72, failedAssignments=156, nogoods=63
8.18/3.63	    
8.18/3.64	    num=10, depth=2..5, filters=15193, revisions=(43362,useless=27668), ccks=803171, wck=0.187, mem=76M865
8.18/3.64	    decisions=663, wrong=261, backtracks=82, failedAssignments=181, nogoods=69
8.18/3.64	    
8.18/3.65	    num=11, depth=2..4, filters=17031, revisions=(47340,useless=29791), ccks=844103, wck=0.196, mem=76M865
8.18/3.65	    decisions=736, wrong=296, backtracks=89, failedAssignments=209, nogoods=76
8.18/3.65	    
8.18/3.66	    num=12, depth=2..5, filters=19083, revisions=(54132,useless=34514), ccks=894288, wck=0.207, mem=76M865
8.18/3.66	    decisions=823, wrong=338, backtracks=100, failedAssignments=240, nogoods=80
8.18/3.66	    
8.18/3.67	    num=13, depth=2..5, filters=21656, revisions=(61032,useless=38808), ccks=949977, wck=0.218, mem=76M865
8.18/3.67	    decisions=928, wrong=388, backtracks=116, failedAssignments=274, nogoods=89
8.18/3.67	    
8.18/3.68	    num=14, depth=2..5, filters=23995, revisions=(67982,useless=43402), ccks=1008417, wck=0.23, mem=76M865
8.18/3.68	    decisions=1034, wrong=440, backtracks=131, failedAssignments=311, nogoods=91
8.18/3.68	    
8.18/3.69	    num=15, depth=3..5, filters=26281, revisions=(74739,useless=47828), ccks=1056077, wck=0.24, mem=76M865
8.18/3.69	    decisions=1141, wrong=491, backtracks=141, failedAssignments=352, nogoods=97
8.18/3.69	    
8.50/3.70	    num=16, depth=3..6, filters=28536, revisions=(81611,useless=52421), ccks=1109017, wck=0.25, mem=76M865
8.50/3.70	    decisions=1262, wrong=550, backtracks=156, failedAssignments=397, nogoods=104
8.50/3.70	    
8.50/3.72	    num=17, depth=2..5, filters=31827, revisions=(92065,useless=59558), ccks=1186093, wck=0.264, mem=76M865
8.50/3.72	    decisions=1400, wrong=618, backtracks=174, failedAssignments=447, nogoods=120
8.50/3.72	    
8.50/3.73	    num=18, depth=3..6, filters=34899, revisions=(100767,useless=65167), ccks=1256451, wck=0.277, mem=76M865
8.50/3.73	    decisions=1546, wrong=689, backtracks=191, failedAssignments=502, nogoods=137
8.50/3.73	    
8.50/3.75	    num=19, depth=2..5, filters=38548, revisions=(111681,useless=72399), ccks=1344178, wck=0.293, mem=76M865
8.50/3.75	    decisions=1704, wrong=766, backtracks=208, failedAssignments=563, nogoods=143
8.50/3.75	    
8.50/3.76	    num=20, depth=3..6, filters=42426, revisions=(125584,useless=82396), ccks=1433493, wck=0.31, mem=76M865
8.50/3.76	    decisions=1905, wrong=865, backtracks=243, failedAssignments=630, nogoods=147
8.50/3.76	    
8.50/3.78	    num=21, depth=3..6, filters=47349, revisions=(142854,useless=94683), ccks=1543248, wck=0.331, mem=76M865
8.50/3.78	    decisions=2143, wrong=982, backtracks=287, failedAssignments=704, nogoods=156
8.50/3.78	    
8.63/3.80	    num=22, depth=3..5, filters=51432, revisions=(154230,useless=101934), ccks=1619660, wck=0.345, mem=81M147
8.63/3.80	    decisions=2348, wrong=1083, backtracks=307, failedAssignments=785, nogoods=164
8.63/3.80	    
8.63/3.81	    num=23, depth=2..4, filters=56043, revisions=(165689,useless=108735), ccks=1721971, wck=0.362, mem=81M147
8.63/3.81	    decisions=2567, wrong=1191, backtracks=327, failedAssignments=874, nogoods=176
8.63/3.81	    
8.63/3.84	    num=24, depth=2..4, filters=61670, revisions=(178502,useless=115867), ccks=1850660, wck=0.383, mem=81M147
8.63/3.84	    decisions=2824, wrong=1318, backtracks=356, failedAssignments=972, nogoods=199
8.63/3.84	    
8.63/3.87	    num=25, depth=3..6, filters=68893, revisions=(204059,useless=134135), ccks=2003431, wck=0.413, mem=81M147
8.63/3.87	    decisions=3142, wrong=1475, backtracks=408, failedAssignments=1080, nogoods=211
8.63/3.87	    
8.63/3.89	    num=26, depth=2..5, filters=75342, revisions=(219698,useless=143262), ccks=2145775, wck=0.437, mem=81M147
8.63/3.89	    decisions=3444, wrong=1625, backtracks=440, failedAssignments=1199, nogoods=231
8.63/3.89	    
8.74/3.93	    num=27, depth=2..6, filters=84548, revisions=(253021,useless=167281), ccks=2343473, wck=0.476, mem=81M147
8.74/3.93	    decisions=3843, wrong=1823, backtracks=511, failedAssignments=1330, nogoods=237
8.74/3.93	    
8.74/3.96	    num=28, depth=3..6, filters=92910, revisions=(281309,useless=187126), ccks=2524494, wck=0.51, mem=85M429
8.74/3.96	    decisions=4251, wrong=2025, backtracks=572, failedAssignments=1474, nogoods=241
8.74/3.96	    
8.88/4.01	    num=29, depth=2..6, filters=103682, revisions=(317115,useless=212033), ccks=2758469, wck=0.553, mem=85M429
8.88/4.01	    decisions=4716, wrong=2256, backtracks=649, failedAssignments=1632, nogoods=255
8.88/4.01	    
8.88/4.05	    num=30, depth=2..6, filters=115231, revisions=(355855,useless=239145), ccks=3014072, wck=0.601, mem=85M429
8.88/4.05	    decisions=5243, wrong=2518, backtracks=741, failedAssignments=1806, nogoods=260
8.88/4.05	    
9.01/4.11	    num=31, depth=2..6, filters=128113, revisions=(397780,useless=268035), ccks=3294737, wck=0.653, mem=85M429
9.01/4.11	    decisions=5813, wrong=2801, backtracks=837, failedAssignments=1997, nogoods=269
9.01/4.11	    
9.01/4.16	    num=32, depth=2..6, filters=140975, revisions=(439222,useless=296525), ccks=3576633, wck=0.705, mem=89M711
9.01/4.16	    decisions=6428, wrong=3107, backtracks=937, failedAssignments=2208, nogoods=285
9.01/4.16	    
9.10/4.22	    num=33, depth=2..6, filters=156183, revisions=(486425,useless=328354), ccks=3906585, wck=0.764, mem=89M711
9.10/4.22	    decisions=7088, wrong=3435, backtracks=1038, failedAssignments=2440, nogoods=298
9.10/4.22	    
9.10/4.26	    num=34, depth=2..5, filters=170026, revisions=(527551,useless=355449), ccks=4168549, wck=0.81, mem=89M711
9.10/4.26	    decisions=7735, wrong=3756, backtracks=1110, failedAssignments=2695, nogoods=303
9.10/4.26	    
9.21/4.32	    num=35, depth=1..6, filters=187290, revisions=(570312,useless=380754), ccks=4534804, wck=0.872, mem=93M993
9.21/4.32	    decisions=8443, wrong=4108, backtracks=1184, failedAssignments=2976, nogoods=312
9.21/4.32	    
9.21/4.40	    num=36, depth=2..6, filters=205977, revisions=(626613,useless=418261), ccks=4939932, wck=0.943, mem=93M993
9.21/4.40	    decisions=9303, wrong=4536, backtracks=1311, failedAssignments=3285, nogoods=325
9.21/4.40	    
9.32/4.48	    num=37, depth=2..6, filters=227259, revisions=(689640,useless=459795), ccks=5396152, wck=1.023, mem=98M275
9.32/4.48	    decisions=10230, wrong=4998, backtracks=1441, failedAssignments=3625, nogoods=344
9.32/4.48	    
9.42/4.56	    num=38, depth=2..6, filters=249849, revisions=(754668,useless=502102), ccks=5887313, wck=1.109, mem=98M275
9.42/4.56	    decisions=11235, wrong=5499, backtracks=1578, failedAssignments=3999, nogoods=366
9.42/4.56	    
9.56/4.64	    num=39, depth=2..6, filters=272525, revisions=(812053,useless=536629), ccks=6361577, wck=1.187, mem=102M557
9.56/4.64	    decisions=12244, wrong=6002, backtracks=1680, failedAssignments=4410, nogoods=383
9.56/4.64	    
9.66/4.72	    num=40, depth=2..5, filters=297682, revisions=(887347,useless=586476), ccks=6837595, wck=1.27, mem=102M557
9.66/4.72	    decisions=13388, wrong=6572, backtracks=1802, failedAssignments=4862, nogoods=393
9.66/4.72	    
9.85/4.82	    num=41, depth=1..6, filters=326399, revisions=(964363,useless=634529), ccks=7443232, wck=1.372, mem=106M838
9.85/4.82	    decisions=14631, wrong=7192, backtracks=1934, failedAssignments=5359, nogoods=408
9.85/4.82	    
9.98/4.94	    num=42, depth=1..5, filters=356952, revisions=(1043323,useless=682721), ccks=8163929, wck=1.487, mem=111M120
9.98/4.94	    decisions=16020, wrong=7885, backtracks=2088, failedAssignments=5906, nogoods=440
9.98/4.94	    
10.08/5.07	    num=43, depth=1..6, filters=392221, revisions=(1139042,useless=742947), ccks=8938283, wck=1.614, mem=111M120
10.08/5.07	    decisions=17588, wrong=8668, backtracks=2284, failedAssignments=6508, nogoods=451
10.08/5.07	    
10.28/5.21	    num=44, depth=1..6, filters=433219, revisions=(1249990,useless=812520), ccks=9826796, wck=1.76, mem=115M402
10.28/5.21	    decisions=19317, wrong=9531, backtracks=2499, failedAssignments=7170, nogoods=480
10.28/5.21	    
10.38/5.38	    num=45, depth=1..6, filters=478825, revisions=(1371230,useless=887717), ccks=10871869, wck=1.93, mem=119M684
10.38/5.38	    decisions=21215, wrong=10478, backtracks=2725, failedAssignments=7898, nogoods=503
10.38/5.38	    
10.58/5.54	    num=46, depth=1..6, filters=522061, revisions=(1477781,useless=950775), ccks=11859363, wck=2.084, mem=123M966
10.58/5.54	    decisions=23198, wrong=11468, backtracks=2929, failedAssignments=8699, nogoods=537
10.58/5.54	    
10.82/5.73	    num=47, depth=1..6, filters=576353, revisions=(1625660,useless=1043874), ccks=13054655, wck=2.282, mem=132M530
10.82/5.73	    decisions=25466, wrong=12600, backtracks=3189, failedAssignments=9580, nogoods=566
10.82/5.73	    
11.02/5.94	    num=48, depth=1..6, filters=633149, revisions=(1777263,useless=1138182), ccks=14349489, wck=2.491, mem=136M812
11.02/5.94	    decisions=27926, wrong=13829, backtracks=3461, failedAssignments=10550, nogoods=589
11.02/5.94	    
11.23/6.17	    num=49, depth=1..6, filters=695801, revisions=(1946191,useless=1243908), ccks=15717797, wck=2.716, mem=141M94
11.23/6.17	    decisions=30655, wrong=15192, backtracks=3779, failedAssignments=11617, nogoods=632
11.23/6.17	    
11.52/6.44	    num=50, depth=1..6, filters=768594, revisions=(2147088,useless=1371381), ccks=17343836, wck=2.985, mem=149M657
11.52/6.44	    decisions=33673, wrong=16700, backtracks=4136, failedAssignments=12790, nogoods=661
11.52/6.44	    
11.72/6.69	    num=51, depth=1..6, filters=840412, revisions=(2331583,useless=1483495), ccks=18920798, wck=3.238, mem=158M221
11.72/6.69	    decisions=36796, wrong=18260, backtracks=4432, failedAssignments=14081, nogoods=704
11.72/6.69	    
12.02/6.97	    num=52, depth=1..6, filters=919963, revisions=(2541209,useless=1612916), ccks=20644493, wck=3.516, mem=162M503
12.02/6.97	    decisions=40271, wrong=19996, backtracks=4774, failedAssignments=15501, nogoods=731
12.02/6.97	    
12.32/7.29	    num=53, depth=1..6, filters=1009528, revisions=(2782585,useless=1764071), ccks=22649474, wck=3.842, mem=171M67
12.32/7.29	    decisions=44193, wrong=21956, backtracks=5204, failedAssignments=17063, nogoods=757
12.32/7.29	    
12.72/7.65	    num=54, depth=0..5, filters=1105718, revisions=(3031556,useless=1916077), ccks=24843314, wck=4.194, mem=183M913
12.72/7.65	    decisions=48387, wrong=24052, backtracks=5619, failedAssignments=18781, nogoods=787
12.72/7.65	    
13.23/8.11	    num=55, depth=0..6, filters=1222886, revisions=(3393413,useless=2159458), ccks=27503702, wck=4.656, mem=192M477
13.23/8.11	    decisions=53288, wrong=26502, backtracks=6218, failedAssignments=20671, nogoods=797
13.23/8.11	    
13.62/8.53	    num=56, depth=0..6, filters=1342167, revisions=(3693575,useless=2339493), ccks=30164409, wck=5.079, mem=205M322
13.62/8.53	    decisions=58432, wrong=29073, backtracks=6747, failedAssignments=22750, nogoods=820
13.62/8.53	    
14.13/9.08	    num=57, depth=0..6, filters=1486345, revisions=(4147040,useless=2647085), ccks=33234489, wck=5.629, mem=218M168
14.13/9.08	    decisions=64288, wrong=32000, backtracks=7432, failedAssignments=25037, nogoods=825
14.13/9.08	    
14.72/9.61	    num=58, depth=0..6, filters=1630869, revisions=(4524627,useless=2879008), ccks=36519289, wck=6.158, mem=231M14
14.72/9.61	    decisions=70540, wrong=35124, backtracks=8081, failedAssignments=27553, nogoods=834
14.72/9.61	    
15.38/10.24	    num=59, depth=0..6, filters=1796321, revisions=(4982018,useless=3169330), ccks=40183831, wck=6.788, mem=37M614
15.38/10.24	    decisions=77504, wrong=38604, backtracks=8833, failedAssignments=30321, nogoods=850
15.38/10.24	    
15.98/10.90	    num=60, depth=0..6, filters=1972391, revisions=(5477897,useless=3487472), ccks=44126815, wck=7.444, mem=54M691
15.98/10.90	    decisions=85133, wrong=42417, backtracks=9660, failedAssignments=33365, nogoods=878
15.98/10.90	    
16.79/11.69	    num=61, depth=0..6, filters=2182458, revisions=(6087832,useless=3885075), ccks=48809347, wck=8.237, mem=76M38
16.79/11.69	    decisions=93746, wrong=46722, backtracks=10669, failedAssignments=36714, nogoods=907
16.79/11.69	    
17.79/12.62	    num=62, depth=0..6, filters=2414551, revisions=(6846398,useless=4408609), ccks=53961895, wck=9.163, mem=97M385
17.79/12.62	    decisions=103478, wrong=51587, backtracks=11921, failedAssignments=40398, nogoods=920
17.79/12.62	    
18.79/13.65	    num=63, depth=0..6, filters=2685384, revisions=(7618846,useless=4907238), ccks=60006154, wck=10.196, mem=123M2
18.79/13.65	    decisions=114148, wrong=56921, backtracks=13271, failedAssignments=44450, nogoods=923
18.79/13.65	    
19.09/13.96	    num=64, depth=0..4, filters=2770086, revisions=(7815643,useless=5018846), ccks=61967821, wck=10.504, mem=131M541
19.09/13.96	    decisions=117372, wrong=58534, backtracks=13594, failedAssignments=45768, nogoods=923
19.09/13.96	    
19.09/13.96	  Global
19.09/13.96	    filters=2770086, revisions=(7815643,useless=5018846), ccks=61967821, nogoods=923
19.09/13.96	    Stop=FULL_EXPLORATION, wrong=58534, wck=12.111, cpu=13.833, mem=131M541
19.09/13.96	
19.09/13.96	s UNSATISFIABLE
19.09/13.96	
19.09/13.96	d WRONG_DECISIONS 58534

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390486-1568386793/watcher-4390486-1568386793 -o /tmp/evaluation-result-4390486-1568386793/solver-4390486-1568386793 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568380473-21312 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390486-1568386793.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=23057, runsolver pid=23054

[startup+0.100112 s]*
/proc/loadavg: 1.80 1.86 1.91 5/228 23072
/proc/meminfo: memFree=29248672/32770624 swapFree=66958212/67108860
[pid=23057] ppid=23054 vsize=10659884 memory=28080 CPUtime=0.14 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23054 23057 21280 0 -1 1077944320 5535 0 0 0 13 1 0 0 20 0 15 0 414615845 10915721216 7020 33554432000 4194304 4196468 140731874534304 140731874516848 140673369362167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
/proc/23057/statm: 2664971 7020 2898 1 0 2627468 0
[pid=23057/tid=23059] ppid=23054 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) R 23054 23057 21280 0 -1 4202560 3233 0 0 0 8 1 0 0 20 0 15 0 414615845 10915721216 7020 33554432000 4194304 4196468 140731874534304 140673373591128 140673007053156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23060] ppid=23054 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672976477200 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23061] ppid=23054 vsize=10659884 memory=140536522704512 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672975424656 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23062] ppid=23054 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672974371600 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23063] ppid=23054 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23054 23057 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672973319056 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23064] ppid=23054 vsize=10659884 memory=140536522704512 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23054 23057 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414615847 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672860408048 140673369373314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23065] ppid=23054 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23054 23057 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414615848 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672859354272 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23066] ppid=23054 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23054 23057 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414615848 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672858301168 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23067] ppid=23054 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414615850 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672857249744 140673369380763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23068] ppid=23054 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) S 23054 23057 21280 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 414615850 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672856197872 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23069] ppid=23054 vsize=10659884 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) S 23054 23057 21280 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 15 0 414615851 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672855145328 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23070] ppid=23054 vsize=10659884 memory=140536522704512 CPUtime=0.02 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) R 23054 23057 21280 0 -1 4202560 395 0 0 0 2 0 0 0 20 0 15 0 414615851 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672854089192 140673348763978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23071] ppid=23054 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414615851 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672853039968 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23072] ppid=23054 vsize=10659884 memory=140536522704512 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23072/stat : 23072 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615851 10915721216 7020 33554432000 4194304 4196468 140731874534304 140672851986992 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28080 KiB

[startup+0.210846 s]*
/proc/loadavg: 1.80 1.86 1.91 4/228 23072
/proc/meminfo: memFree=29236960/32770624 swapFree=66958212/67108860
[pid=23057] ppid=23054 vsize=10659884 memory=37628 CPUtime=0.33 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23054 23057 21280 0 -1 1077944320 9168 0 0 0 30 3 0 0 20 0 15 0 414615845 10915721216 9407 33554432000 4194304 4196468 140731874534304 140731874516848 140673369362167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
/proc/23057/statm: 2664971 9407 2987 1 0 2627468 0
[pid=23057/tid=23059] ppid=23054 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) R 23054 23057 21280 0 -1 4202560 6126 0 0 0 18 2 0 0 20 0 15 0 414615845 10915721216 9407 33554432000 4194304 4196468 140731874534304 140673373588528 140673369384093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23060] ppid=23054 vsize=10659884 memory=331 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672976477200 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23061] ppid=23054 vsize=10659884 memory=140536525725501 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672975424656 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23062] ppid=23054 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672974371600 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23063] ppid=23054 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23054 23057 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672973319056 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23064] ppid=23054 vsize=10659884 memory=140536522704512 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23054 23057 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414615847 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672860408048 140673369373314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23065] ppid=23054 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23054 23057 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414615848 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672859354272 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23066] ppid=23054 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23054 23057 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414615848 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672858301168 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23067] ppid=23054 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414615850 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672857249744 140673369380763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23068] ppid=23054 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) S 23054 23057 21280 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 414615850 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672856197872 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23069] ppid=23054 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) S 23054 23057 21280 0 -1 1077944384 588 0 0 0 3 0 0 0 20 0 15 0 414615851 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672855145328 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23070] ppid=23054 vsize=10659884 memory=140536522704512 CPUtime=0.05 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) S 23054 23057 21280 0 -1 1077944384 693 0 0 0 5 0 0 0 20 0 15 0 414615851 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672854092272 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23071] ppid=23054 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414615851 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672853039968 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23072] ppid=23054 vsize=10659884 memory=140536522704512 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23072/stat : 23072 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615851 10915721216 9407 33554432000 4194304 4196468 140731874534304 140672851986992 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37628 KiB

[startup+0.310107 s]*
/proc/loadavg: 1.80 1.86 1.91 6/228 23072
/proc/meminfo: memFree=29234900/32770624 swapFree=66958212/67108860
[pid=23057] ppid=23054 vsize=10659884 memory=40428 CPUtime=0.47 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23054 23057 21280 0 -1 1077944320 9376 0 0 0 44 3 0 0 20 0 15 0 414615845 10915721216 10107 33554432000 4194304 4196468 140731874534304 140731874516848 140673369362167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
/proc/23057/statm: 2664971 10107 3004 1 0 2627468 0
[pid=23057/tid=23059] ppid=23054 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) R 23054 23057 21280 0 -1 4202560 6255 0 0 0 28 2 0 0 20 0 15 0 414615845 10915721216 10107 33554432000 4194304 4196468 140731874534304 140673373601152 140673350740071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23060] ppid=23054 vsize=10659884 memory=8900 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672976477200 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23061] ppid=23054 vsize=10659884 memory=140536525726411 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672975424656 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23062] ppid=23054 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672974371600 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23063] ppid=23054 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23054 23057 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414615846 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672973319056 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23064] ppid=23054 vsize=10659884 memory=140536522704512 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23054 23057 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414615847 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672860408048 140673369373314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23065] ppid=23054 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23054 23057 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414615848 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672859354272 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23066] ppid=23054 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23054 23057 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414615848 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672858301168 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23067] ppid=23054 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414615850 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672857249744 140673369380763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23068] ppid=23054 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) R 23054 23057 21280 0 -1 1077944384 410 0 0 0 3 0 0 0 20 0 15 0 414615850 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672856197872 140673369373314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23069] ppid=23054 vsize=10659884 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) S 23054 23057 21280 0 -1 1077944384 629 0 0 0 5 0 0 0 20 0 15 0 414615851 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672855145328 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23070] ppid=23054 vsize=10659884 memory=140536522704512 CPUtime=0.07 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) R 23054 23057 21280 0 -1 4202560 726 0 0 0 7 0 0 0 20 0 15 0 414615851 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672854092272 140673353442654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23071] ppid=23054 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414615851 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672853039968 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23072] ppid=23054 vsize=10659884 memory=140536522704512 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23072/stat : 23072 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615851 10915721216 10107 33554432000 4194304 4196468 140731874534304 140672851986992 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40428 KiB

[startup+0.700848 s]
/proc/loadavg: 1.80 1.86 1.91 3/228 23072
/proc/meminfo: memFree=29226152/32770624 swapFree=66958212/67108860
[pid=23057] ppid=23054 vsize=10661932 memory=62188 CPUtime=1.09 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23054 23057 21280 0 -1 1077944320 12590 0 0 0 103 6 0 0 20 0 15 0 414615845 10917818368 15547 33554432000 4194304 4196468 140731874534304 140731874516848 140673369362167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
/proc/23057/statm: 2665483 15547 3068 1 0 2627980 0
[pid=23057/tid=23059] ppid=23054 vsize=10661932 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) R 23054 23057 21280 0 -1 4202560 8817 0 0 0 64 4 0 0 20 0 15 0 414615845 10917818368 15547 33554432000 4194304 4196468 140731874534304 140673373578960 140673350925719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23060] ppid=23054 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672976477200 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23061] ppid=23054 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672975424656 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23062] ppid=23054 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672974371600 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23063] ppid=23054 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23054 23057 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414615846 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672973319056 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23064] ppid=23054 vsize=10661932 memory=239595488832887 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23054 23057 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414615847 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672860408048 140673369373314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23065] ppid=23054 vsize=10661932 memory=2933550 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23054 23057 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414615848 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672859354272 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23066] ppid=23054 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23054 23057 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414615848 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672858301168 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23067] ppid=23054 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414615850 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672857249744 140673369380763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23068] ppid=23054 vsize=10661932 memory=7809523229951467576 CPUtime=0.1 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) R 23054 23057 21280 0 -1 4202560 597 0 0 0 10 0 0 0 20 0 15 0 414615850 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672856197872 140673349201778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23069] ppid=23054 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) S 23054 23057 21280 0 -1 1077944384 788 0 0 0 10 0 0 0 20 0 15 0 414615851 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672855145328 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23070] ppid=23054 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) S 23054 23057 21280 0 -1 1077944384 1029 0 0 0 18 0 0 0 20 0 15 0 414615851 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672854092272 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23071] ppid=23054 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414615851 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672853039968 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23072] ppid=23054 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23072/stat : 23072 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615851 10917818368 15547 33554432000 4194304 4196468 140731874534304 140672851986992 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62188 KiB

[startup+1.50074 s]
/proc/loadavg: 1.82 1.86 1.91 3/228 23072
/proc/meminfo: memFree=29209964/32770624 swapFree=66958212/67108860
[pid=23057] ppid=23054 vsize=10663980 memory=75208 CPUtime=1.99 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23054 23057 21280 0 -1 1077944320 18200 0 0 0 192 7 0 0 20 0 15 0 414615845 10919915520 18802 33554432000 4194304 4196468 140731874534304 140731874516848 140673369362167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
/proc/23057/statm: 2665995 18802 3092 1 0 2628492 0
[pid=23057/tid=23059] ppid=23054 vsize=10663980 memory=198126841410608 CPUtime=1.47 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) R 23054 23057 21280 0 -1 4202560 13066 0 0 0 142 5 0 0 20 0 15 0 414615845 10919915520 18802 33554432000 4194304 4196468 140731874534304 140673373594192 140673349633926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23060] ppid=23054 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10919915520 18802 33554432000 4194304 4196468 140731874534304 140672976477200 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23061] ppid=23054 vsize=10663980 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10919915520 18802 33554432000 4194304 4196468 140731874534304 140672975424656 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23062] ppid=23054 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23054 23057 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414615846 10919915520 18802 33554432000 4194304 4196468 140731874534304 140672974371600 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23063] ppid=23054 vsize=10663980 memory=3472468832590792848 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23054 23057 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414615846 10919915520 18802 33554432000 4194304 4196468 140731874534304 140672973319056 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23064] ppid=23054 vsize=10663980 memory=56 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23054 23057 21280 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 414615847 10919915520 18802 33554432000 4194304 4196468 140731874534304 140672860408048 140673369373314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0

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

[startup+12.8008 s]
/proc/loadavg: 1.84 1.86 1.91 3/230 23074
/proc/meminfo: memFree=28918680/32770624 swapFree=66958212/67108860
[pid=23057] ppid=23054 vsize=10748324 memory=353380 CPUtime=17.99 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23054 23057 21280 0 -1 1077944320 41068 0 0 0 1777 22 0 0 20 0 16 0 414615845 11006283776 88345 33554432000 4194304 4196468 140731874534304 140731874516848 140673369362167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
/proc/23057/statm: 2687081 88345 3376 1 0 2647217 0
[pid=23057/tid=23059] ppid=23054 vsize=10748324 memory=5860978997287080016 CPUtime=1.85 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) S 23054 23057 21280 0 -1 1077944384 15305 0 0 0 178 7 0 0 20 0 16 0 414615845 11006283776 88345 33554432000 4194304 4196468 140731874534304 140673373605040 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23060] ppid=23054 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23054 23057 21280 0 -1 1077944384 879 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672976477200 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23061] ppid=23054 vsize=10748324 memory=281072726244128 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23054 23057 21280 0 -1 1077944384 88 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672975424656 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23062] ppid=23054 vsize=10748324 memory=2110886970255636 CPUtime=0.02 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23054 23057 21280 0 -1 1077944384 849 0 0 0 2 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672974371600 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23063] ppid=23054 vsize=10748324 memory=353360 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23054 23057 21280 0 -1 1077944384 155 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672973319056 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23064] ppid=23054 vsize=10748324 memory=1056 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23054 23057 21280 0 -1 1077944384 1438 0 0 0 1 0 0 0 20 0 16 0 414615847 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672860408048 140673369373314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23065] ppid=23054 vsize=10748324 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23054 23057 21280 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414615848 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672859354336 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23066] ppid=23054 vsize=10748324 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23054 23057 21280 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414615848 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672858301184 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23067] ppid=23054 vsize=10748324 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414615850 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672857249744 140673369380763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23068] ppid=23054 vsize=10748324 memory=1196 CPUtime=2.03 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) S 23054 23057 21280 0 -1 1077944384 4909 0 0 0 202 1 0 0 20 0 16 0 414615850 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672856197872 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23069] ppid=23054 vsize=10748324 memory=1044 CPUtime=1.99 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) S 23054 23057 21280 0 -1 1077944384 4768 0 0 0 197 2 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672855145328 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23070] ppid=23054 vsize=10748324 memory=712 CPUtime=1.06 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) S 23054 23057 21280 0 -1 1077944384 5073 0 0 0 104 2 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672854092272 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23071] ppid=23054 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672853039968 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23072] ppid=23054 vsize=10748324 memory=353360 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23072/stat : 23072 (java) S 23054 23057 21280 0 -1 1077944384 736 0 0 0 0 0 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672851986992 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23073] ppid=23054 vsize=10748324 memory=-1161699032755964503 CPUtime=10.79 cores=1,3,5,7
/proc/23057/task/23073/stat : 23073 (java) R 23054 23057 21280 0 -1 4202560 5437 0 0 0 1075 4 0 0 20 0 16 0 414616033 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672835322384 140673017569884 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
Current children cumulated CPU time: 17.99 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 353380 KiB

[startup+13.6006 s]
/proc/loadavg: 1.84 1.86 1.91 3/230 23074
/proc/meminfo: memFree=28918712/32770624 swapFree=66958212/67108860
[pid=23057] ppid=23054 vsize=10748324 memory=353380 CPUtime=18.79 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23054 23057 21280 0 -1 1077944320 41092 0 0 0 1857 22 0 0 20 0 16 0 414615845 11006283776 88345 33554432000 4194304 4196468 140731874534304 140731874516848 140673369362167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
/proc/23057/statm: 2687081 88345 3376 1 0 2647217 0
[pid=23057/tid=23059] ppid=23054 vsize=10748324 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) S 23054 23057 21280 0 -1 1077944384 15305 0 0 0 178 7 0 0 20 0 16 0 414615845 11006283776 88345 33554432000 4194304 4196468 140731874534304 140673373605040 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23060] ppid=23054 vsize=10748324 memory=38984 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23054 23057 21280 0 -1 1077944384 879 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672976477200 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23061] ppid=23054 vsize=10748324 memory=988 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23054 23057 21280 0 -1 1077944384 88 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672975424656 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23062] ppid=23054 vsize=10748324 memory=2020 CPUtime=0.02 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23054 23057 21280 0 -1 1077944384 849 0 0 0 2 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672974371600 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23063] ppid=23054 vsize=10748324 memory=1432 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23054 23057 21280 0 -1 1077944384 155 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672973319056 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23064] ppid=23054 vsize=10748324 memory=776 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23054 23057 21280 0 -1 1077944384 1442 0 0 0 1 0 0 0 20 0 16 0 414615847 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672860408048 140673369373314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23065] ppid=23054 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23054 23057 21280 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414615848 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672859354336 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23066] ppid=23054 vsize=10748324 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23054 23057 21280 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414615848 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672858301184 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23067] ppid=23054 vsize=10748324 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414615850 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672857249744 140673369380763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23068] ppid=23054 vsize=10748324 memory=1556 CPUtime=2.03 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) S 23054 23057 21280 0 -1 1077944384 4909 0 0 0 202 1 0 0 20 0 16 0 414615850 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672856197872 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23069] ppid=23054 vsize=10748324 memory=1196 CPUtime=1.99 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) S 23054 23057 21280 0 -1 1077944384 4768 0 0 0 197 2 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672855145328 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23070] ppid=23054 vsize=10748324 memory=1044 CPUtime=1.06 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) S 23054 23057 21280 0 -1 1077944384 5073 0 0 0 104 2 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672854092272 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23071] ppid=23054 vsize=10748324 memory=712 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672853039968 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23072] ppid=23054 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23072/stat : 23072 (java) S 23054 23057 21280 0 -1 1077944384 736 0 0 0 0 0 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672851986992 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23073] ppid=23054 vsize=10748324 memory=10274299971329 CPUtime=11.59 cores=1,3,5,7
/proc/23057/task/23073/stat : 23073 (java) R 23054 23057 21280 0 -1 4202560 5457 0 0 0 1155 4 0 0 20 0 16 0 414616033 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672835322384 140673015053876 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
Current children cumulated CPU time: 18.79 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 353380 KiB

[startup+13.8006 s]
/proc/loadavg: 1.84 1.86 1.91 3/230 23074
/proc/meminfo: memFree=28918712/32770624 swapFree=66958212/67108860
[pid=23057] ppid=23054 vsize=10748324 memory=353380 CPUtime=18.99 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23054 23057 21280 0 -1 1077944320 41096 0 0 0 1877 22 0 0 20 0 16 0 414615845 11006283776 88345 33554432000 4194304 4196468 140731874534304 140731874516848 140673369362167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
/proc/23057/statm: 2687081 88345 3376 1 0 2647217 0
[pid=23057/tid=23059] ppid=23054 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) S 23054 23057 21280 0 -1 1077944384 15305 0 0 0 178 7 0 0 20 0 16 0 414615845 11006283776 88345 33554432000 4194304 4196468 140731874534304 140673373605040 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23060] ppid=23054 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23054 23057 21280 0 -1 1077944384 879 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672976477200 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23061] ppid=23054 vsize=10748324 memory=93686859827946 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23054 23057 21280 0 -1 1077944384 88 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672975424656 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23062] ppid=23054 vsize=10748324 memory=353360 CPUtime=0.02 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23054 23057 21280 0 -1 1077944384 849 0 0 0 2 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672974371600 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23063] ppid=23054 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23054 23057 21280 0 -1 1077944384 155 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672973319056 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23064] ppid=23054 vsize=10748324 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23054 23057 21280 0 -1 1077944384 1442 0 0 0 1 0 0 0 20 0 16 0 414615847 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672860408048 140673369373314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23065] ppid=23054 vsize=10748324 memory=14080 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23054 23057 21280 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414615848 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672859354336 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23066] ppid=23054 vsize=10748324 memory=7976 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23054 23057 21280 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414615848 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672858301184 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23067] ppid=23054 vsize=10748324 memory=10428 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414615850 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672857249744 140673369380763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23068] ppid=23054 vsize=10748324 memory=14012 CPUtime=2.03 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) S 23054 23057 21280 0 -1 1077944384 4909 0 0 0 202 1 0 0 20 0 16 0 414615850 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672856197872 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23069] ppid=23054 vsize=10748324 memory=14080 CPUtime=1.99 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) S 23054 23057 21280 0 -1 1077944384 4768 0 0 0 197 2 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672855145328 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23070] ppid=23054 vsize=10748324 memory=21264 CPUtime=1.06 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) S 23054 23057 21280 0 -1 1077944384 5073 0 0 0 104 2 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672854092272 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23071] ppid=23054 vsize=10748324 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672853039968 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23072] ppid=23054 vsize=10748324 memory=508 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23072/stat : 23072 (java) S 23054 23057 21280 0 -1 1077944384 736 0 0 0 0 0 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672851986992 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23073] ppid=23054 vsize=10748324 memory=1560 CPUtime=11.79 cores=1,3,5,7
/proc/23057/task/23073/stat : 23073 (java) R 23054 23057 21280 0 -1 4202560 5461 0 0 0 1175 4 0 0 20 0 16 0 414616033 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672835317120 140673015053650 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
Current children cumulated CPU time: 18.99 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 353380 KiB

[startup+13.9006 s]
/proc/loadavg: 1.84 1.86 1.91 3/230 23074
/proc/meminfo: memFree=28918712/32770624 swapFree=66958212/67108860
[pid=23057] ppid=23054 vsize=10748324 memory=353380 CPUtime=19.09 cores=1,3,5,7
/proc/23057/stat : 23057 (java) S 23054 23057 21280 0 -1 1077944320 41100 0 0 0 1887 22 0 0 20 0 16 0 414615845 11006283776 88345 33554432000 4194304 4196468 140731874534304 140731874516848 140673369362167 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
/proc/23057/statm: 2687081 88345 3376 1 0 2647217 0
[pid=23057/tid=23059] ppid=23054 vsize=10748324 memory=281072726248288 CPUtime=1.85 cores=1,3,5,7
/proc/23057/task/23059/stat : 23059 (java) S 23054 23057 21280 0 -1 1077944384 15305 0 0 0 178 7 0 0 20 0 16 0 414615845 11006283776 88345 33554432000 4194304 4196468 140731874534304 140673373605040 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23060] ppid=23054 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23060/stat : 23060 (java) S 23054 23057 21280 0 -1 1077944384 879 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672976477200 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23061] ppid=23054 vsize=10748324 memory=-7816663703405220396 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23061/stat : 23061 (java) S 23054 23057 21280 0 -1 1077944384 88 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672975424656 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23062] ppid=23054 vsize=10748324 memory=751928945373544753 CPUtime=0.02 cores=1,3,5,7
/proc/23057/task/23062/stat : 23062 (java) S 23054 23057 21280 0 -1 1077944384 849 0 0 0 2 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672974371600 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23063] ppid=23054 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23057/task/23063/stat : 23063 (java) S 23054 23057 21280 0 -1 1077944384 155 0 0 0 4 0 0 0 20 0 16 0 414615846 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672973319056 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23064] ppid=23054 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23057/task/23064/stat : 23064 (java) S 23054 23057 21280 0 -1 1077944384 1442 0 0 0 1 0 0 0 20 0 16 0 414615847 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672860408048 140673369373314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23065] ppid=23054 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23065/stat : 23065 (java) S 23054 23057 21280 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414615848 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672859354336 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23066] ppid=23054 vsize=10748324 memory=281072726582928 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23066/stat : 23066 (java) S 23054 23057 21280 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414615848 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672858301184 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23067] ppid=23054 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23067/stat : 23067 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414615850 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672857249744 140673369380763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23068] ppid=23054 vsize=10748324 memory=0 CPUtime=2.03 cores=1,3,5,7
/proc/23057/task/23068/stat : 23068 (java) S 23054 23057 21280 0 -1 1077944384 4909 0 0 0 202 1 0 0 20 0 16 0 414615850 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672856197872 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23069] ppid=23054 vsize=10748324 memory=0 CPUtime=1.99 cores=1,3,5,7
/proc/23057/task/23069/stat : 23069 (java) S 23054 23057 21280 0 -1 1077944384 4768 0 0 0 197 2 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672855145328 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23070] ppid=23054 vsize=10748324 memory=6791534058613427641 CPUtime=1.06 cores=1,3,5,7
/proc/23057/task/23070/stat : 23070 (java) S 23054 23057 21280 0 -1 1077944384 5073 0 0 0 104 2 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672854092272 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23071] ppid=23054 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23071/stat : 23071 (java) S 23054 23057 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672853039968 140673369372373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23072] ppid=23054 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23057/task/23072/stat : 23072 (java) S 23054 23057 21280 0 -1 1077944384 736 0 0 0 0 0 0 0 20 0 16 0 414615851 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672851986992 140673369373314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
[pid=23057/tid=23073] ppid=23054 vsize=10748324 memory=0 CPUtime=11.89 cores=1,3,5,7
/proc/23057/task/23073/stat : 23073 (java) R 23054 23057 21280 0 -1 4202560 5465 0 0 0 1185 4 0 0 20 0 16 0 414616033 11006283776 88345 33554432000 4194304 4196468 140731874534304 140672835317120 140673016804445 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 14807040 140731874538507 140731874538610 140731874538610 140731874541519 0
Current children cumulated CPU time: 19.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 353380 KiB

Child status: 0
Real time (s): 13.973
CPU time (s): 19.1725
CPU user time (s): 18.9403
CPU system time (s): 0.232229
CPU usage (%): 137.211
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 353380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.9403
system time used= 0.232229
maximum resident set size= 353452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42330
page faults= 0
swaps= 0
block input operations= 8488
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3418
involuntary context switches= 346


# summary of solver processes directly reported to runsolver:
#   pid: 23057
#   total CPU time (s): 19.1725
#   total CPU user time (s): 18.9403
#   total CPU system time (s): 0.232229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.107631 second user time and 0.162344 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-13 16:59:12
IDJOB=4390486
IDBENCH=141185
IDSOLVER=2832
FILE ID=node145/4390486-1568386793
RUNJOBID= node145-1568380473-21312
PBS_JOBID= 21701826
Free space on /tmp= 55180 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/Rlfap/Rlfap-dec-scens11/Rlfap-scen-11-f05_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390486-1568386793/watcher-4390486-1568386793 -o /tmp/evaluation-result-4390486-1568386793/solver-4390486-1568386793 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568380473-21312 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390486-1568386793.xml -cm

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

MD5SUM BENCH= f8050e8ddc741b4fb4a45c7e8cfb7628
RANDOM SEED=1885486562

node145.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.59
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.59
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.59
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.59
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:        29264744 kB
MemAvailable:   31644380 kB
Buffers:           95040 kB
Cached:          2562220 kB
SwapCached:        41040 kB
Active:          1569784 kB
Inactive:        1340672 kB
Active(anon):     217100 kB
Inactive(anon):    77332 kB
Active(file):    1352684 kB
Inactive(file):  1263340 kB
Unevictable:      110532 kB
Mlocked:          110532 kB
SwapTotal:      67108860 kB
SwapFree:       66958212 kB
Dirty:              8580 kB
Writeback:             0 kB
AnonPages:        436452 kB
Mapped:            56232 kB
Shmem:             32356 kB
Slab:             187120 kB
SReclaimable:     158892 kB
SUnreclaim:        28228 kB
KernelStack:        4032 kB
PageTables:         6452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1153324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55168 MiB
End job on node145 at 2019-09-13 16:59:26