Trace number 4391326

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2400.09 2385.32

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_10_9.xml
MD5SUM3187efa1e901acb6cc373eb045baee33
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark142
Best CPU time to get the best result obtained on this benchmark2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables12654
Number of constraints466
Number of domains4
Minimum domain size2
Maximum domain size111
Distribution of domain sizes[{"size":2,"count":12321},{"size":12,"count":111},{"size":47,"count":111},{"size":111,"count":111}]
Minimum variable degree2
Maximum variable degree114
Distribution of variable degrees[{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}]
Minimum constraint arity2
Maximum constraint arity112
Distribution of constraint arities[{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}]
Number of extensional constraints0
Number of intensional constraints132
Distribution of constraint types[{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

2.79/2.13	
2.79/2.13	AbsCon 2 
2.79/2.15	
4.05/2.59	  Instance
4.05/2.59	    name=instance-4391326-1568391322, framework=COP, bounds=-infty..+infty
4.05/2.59	
4.05/2.59	  Loading variables...
5.07/2.89	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2314b3a3
11.56/4.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac91a16
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6411dea5
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@761d42c7
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a180bd1
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62e5d0d3
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c3e091
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f807f79
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f8b952
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad8d4b
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64c4a119
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd8423
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e6ca33
11.56/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52b17d54
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e2a8c0f
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24bb7865
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d301470
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@363067
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fe9e69c
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69967e9f
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54a8fd96
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400b8de6
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed0d652
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@534fdb2e
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78204967
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22079211
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba4aef8
11.56/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f084762
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dfa4857
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f982cd8
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c698485
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ea931e
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375e24bd
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@197d3981
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2631201b
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c71813
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8ac542
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67724764
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ece77d8
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ae651fc
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c720d99
11.56/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78958a96
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b11554f
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d34b2e4
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4741f57a
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c0b7eba
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39c1948c
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6884a192
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36f3dc5c
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b483f4d
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aa1959a
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a9fef91
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bae92f4
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e390a4
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7f4505
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0ca6f6
11.56/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ce3156
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@681f9a08
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b6e1b2
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660df2c2
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ddd23ed
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71166715
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497ec550
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53479b0c
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3361043c
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1637650c
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@713fb1a6
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfd84d4
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b8c33a0
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4663f434
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b4e0da4
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d8a5177
11.56/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef79030
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b9eeb18
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501ca3dc
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68bae50b
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@296c948e
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52d06608
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df83b2b
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b93fc33
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f819345
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30045dde
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@462e27ff
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62fa1b2b
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@440657c0
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e5b92c
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15c073f5
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c4d8384
11.56/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d9d0352
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba4b1ce
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61add2d0
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9946d4
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b0cfdbc
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e9972e
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ec942ff
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50531d6c
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@234a27bd
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@588fe3bf
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa7d0d5
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61a1324a
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e652351
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3550306b
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2691165d
11.56/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@142c0b9d
11.56/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45831046
11.56/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c15ef01
11.56/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5ea7b1
11.56/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c29e2c6
11.56/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6093f73f
11.56/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77e20c2b
11.56/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2e56b0
11.56/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28fa7dd2
11.91/4.98	
11.91/4.98	
11.91/4.98	  Domains
11.91/4.98	    nTypes=4, nValues=43512, sizes=[2#12321,12#111,47#111,111#111]
11.91/4.98	  Variables
11.91/4.98	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.91/4.98	  Objectives
11.91/4.98	    way=min, type=SumSimpleLE
11.91/4.98	  Constraints
11.91/4.98	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.91/4.98	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.91/4.98	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.91/4.98	    wck=2.876, cpu=4.49, mem=933M946
12.26/5.01	  Solver SolverBacktrack being built...
12.26/5.01	
12.55/5.13	
12.55/5.13	  Solver
12.55/5.13	    guaranteedGAC=false
12.55/5.13	    wck=3.028, cpu=4.64, mem=966M21
13.68/5.91	
13.68/5.91	  Preprocessing
13.68/5.91	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.68/5.91	    wck=0.778, cpu=5.423, mem=966M21
13.68/5.91	
13.68/5.98	    num=0, depth=111..120, filters=2246, revisions=(28527,useless=26303), ccks=1385701, wck=0.848, mem=966M21
13.68/5.98	    decisions=140, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.68/5.98	    
14.60/6.26	    num=1, depth=1089..1104, filters=7094, revisions=(126000,useless=119335), ccks=1467779, wck=1.126, mem=966M21
14.60/6.26	    decisions=1266, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
14.60/6.26	    
15.73/6.69	    num=2, depth=2283..2294, filters=13994, revisions=(352587,useless=340034), ccks=1653211, wck=1.555, mem=966M21
15.73/6.69	    decisions=3584, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
15.73/6.69	    
17.03/7.29	    num=3, depth=3588..3600, filters=23168, revisions=(690636,useless=670309), ccks=1804893, wck=2.158, mem=966M21
17.03/7.29	    decisions=7210, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
17.03/7.29	    
18.71/8.09	    num=4, depth=5001..5014, filters=34951, revisions=(1158354,useless=1128147), ccks=1988767, wck=2.958, mem=966M21
18.71/8.09	    decisions=12252, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
18.71/8.09	    
19.98/9.02	    num=5, depth=6527..6531, filters=47507, revisions=(1712555,useless=1671746), ccks=2178841, wck=3.887, mem=974M63
19.98/9.02	    decisions=18815, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
19.98/9.02	    
21.29/10.15	    num=6, depth=6805..6926, filters=128024, revisions=(2440419,useless=2322971), ccks=2518765, wck=5.023, mem=974M63
21.29/10.15	    decisions=28266, wrong=1399, backtracks=1317, failedAssignments=93, nogoods=77
21.29/10.15	    
22.65/11.34	    num=7, depth=6938..7144, filters=235349, revisions=(3232521,useless=3012397), ccks=2927209, wck=6.213, mem=974M63
22.65/11.34	    decisions=38995, wrong=3288, backtracks=3207, failedAssignments=112, nogoods=79
22.65/11.34	    
23.83/12.49	    num=8, depth=319..7135, filters=318508, revisions=(3984067,useless=3684760), ccks=3251973, wck=7.359, mem=974M63
23.83/12.49	    decisions=48930, wrong=4693, backtracks=4603, failedAssignments=133, nogoods=88
23.83/12.49	    
25.09/13.70	    num=9, depth=540..7102, filters=437457, revisions=(4807515,useless=4394165), ccks=3687816, wck=8.564, mem=974M63
25.09/13.70	    decisions=59912, wrong=6719, backtracks=6623, failedAssignments=156, nogoods=94
25.09/13.70	    
26.46/14.95	    num=10, depth=760..7249, filters=569768, revisions=(5672071,useless=5131689), ccks=4175839, wck=9.82, mem=974M63
26.46/14.95	    decisions=71592, wrong=9003, backtracks=8903, failedAssignments=181, nogoods=99
26.46/14.95	    
27.47/15.96	    num=11, depth=7140..7281, filters=594928, revisions=(6297329,useless=5734080), ccks=4319896, wck=10.831, mem=974M63
27.47/15.96	    decisions=79364, wrong=9249, backtracks=9122, failedAssignments=209, nogoods=123
27.47/15.96	    
28.87/17.36	    num=12, depth=7083..7248, filters=786639, revisions=(7295420,useless=6547362), ccks=4979801, wck=12.224, mem=974M63
28.87/17.36	    decisions=93221, wrong=12636, backtracks=12508, failedAssignments=240, nogoods=124
28.87/17.36	    
30.07/18.50	    num=13, depth=7270..7359, filters=846232, revisions=(7988424,useless=7184934), ccks=5219614, wck=13.374, mem=974M63
30.07/18.50	    decisions=103721, wrong=14251, backtracks=14122, failedAssignments=274, nogoods=125
30.07/18.50	    
31.07/19.59	    num=14, depth=1268..7331, filters=892274, revisions=(8658417,useless=7812163), ccks=5419339, wck=14.464, mem=974M63
31.07/19.59	    decisions=112981, wrong=15216, backtracks=15062, failedAssignments=311, nogoods=140
31.07/19.59	    
32.61/21.01	    num=15, depth=1348..7280, filters=1089136, revisions=(9680053,useless=8644077), ccks=6098820, wck=15.881, mem=974M63
32.61/21.01	    decisions=127281, wrong=18763, backtracks=18602, failedAssignments=352, nogoods=148
32.61/21.01	    
34.18/22.54	    num=16, depth=1591..7417, filters=1333551, revisions=(10809172,useless=9537141), ccks=6927824, wck=17.413, mem=974M63
34.18/22.54	    decisions=143241, wrong=23123, backtracks=22956, failedAssignments=397, nogoods=154
34.18/22.54	    
35.30/23.69	    num=17, depth=1751..7432, filters=1384197, revisions=(11485140,useless=10166331), ccks=7131016, wck=18.561, mem=982M72
35.30/23.69	    decisions=153659, wrong=24664, backtracks=24490, failedAssignments=447, nogoods=161
35.30/23.69	    
36.40/24.71	    num=18, depth=1698..7393, filters=1402840, revisions=(12105062,useless=10769743), ccks=7253535, wck=19.574, mem=982M72
36.40/24.71	    decisions=161353, wrong=24815, backtracks=24587, failedAssignments=502, nogoods=215
36.40/24.71	    
38.11/26.49	    num=19, depth=7147..7363, filters=1758757, revisions=(13487401,useless=11807614), ccks=8425173, wck=21.356, mem=982M72
38.11/26.49	    decisions=181505, wrong=31299, backtracks=31069, failedAssignments=563, nogoods=217
38.11/26.49	    
39.21/27.52	    num=20, depth=7365..7473, filters=1781790, revisions=(14124666,useless=12424055), ccks=8567803, wck=22.389, mem=982M72
39.21/27.52	    decisions=189358, wrong=31506, backtracks=31209, failedAssignments=630, nogoods=283
39.21/27.52	    
40.61/28.96	    num=21, depth=7257..7480, filters=1974870, revisions=(15150073,useless=13263371), ccks=9233517, wck=23.827, mem=982M72
40.61/28.96	    decisions=203722, wrong=34950, backtracks=34611, failedAssignments=704, nogoods=325
40.61/28.96	    
42.12/30.47	    num=22, depth=7478..7677, filters=2146372, revisions=(16349834,useless=14299208), ccks=10012185, wck=25.337, mem=982M72
42.12/30.47	    decisions=219108, wrong=38857, backtracks=38500, failedAssignments=785, nogoods=344
42.12/30.47	    
43.23/31.53	    num=23, depth=7617..7751, filters=2169429, revisions=(16994810,useless=14923218), ccks=10167372, wck=26.397, mem=990M16
43.23/31.53	    decisions=227250, wrong=39053, backtracks=38608, failedAssignments=874, nogoods=432
43.23/31.53	    
44.84/33.11	    num=24, depth=7612..7830, filters=2365665, revisions=(18266995,useless=16008145), ccks=11104457, wck=27.982, mem=990M16
44.84/33.11	    decisions=244167, wrong=43703, backtracks=43268, failedAssignments=972, nogoods=434
44.84/33.11	    
45.84/34.18	    num=25, depth=8075..8076, filters=2383748, revisions=(18910157,useless=16635069), ccks=11229286, wck=29.046, mem=990M16
45.84/34.18	    decisions=252460, wrong=43812, backtracks=43269, failedAssignments=1080, nogoods=436
45.84/34.18	    
47.84/36.17	    num=26, depth=7834..8050, filters=2821161, revisions=(20489998,useless=17790741), ccks=12638407, wck=31.037, mem=990M16
47.84/36.17	    decisions=276323, wrong=51722, backtracks=51130, failedAssignments=1199, nogoods=485
47.84/36.17	    
49.63/37.94	    num=27, depth=7834..8052, filters=3156718, revisions=(21839629,useless=18815247), ccks=13732116, wck=32.808, mem=990M16
49.63/37.94	    decisions=296363, wrong=57728, backtracks=57057, failedAssignments=1330, nogoods=564
49.63/37.94	    
52.59/39.54	    num=28, depth=8053..8164, filters=3178578, revisions=(22512660,useless=19468452), ccks=13887682, wck=34.406, mem=726M680
52.59/39.54	    decisions=304814, wrong=57873, backtracks=57058, failedAssignments=1474, nogoods=602
52.59/39.54	    
54.79/41.67	    num=29, depth=8054..8330, filters=3621791, revisions=(24407878,useless=20935853), ccks=15536457, wck=36.543, mem=726M680
54.79/41.67	    decisions=331986, wrong=67324, backtracks=66496, failedAssignments=1632, nogoods=626
54.79/41.67	    
56.49/43.32	    num=30, depth=8057..8350, filters=3906327, revisions=(25693351,useless=21946749), ccks=16580273, wck=38.193, mem=726M680
56.49/43.32	    decisions=350612, wrong=72509, backtracks=71556, failedAssignments=1806, nogoods=688
56.49/43.32	    
57.59/44.40	    num=31, depth=8165..8274, filters=3931065, revisions=(26359666,useless=22590266), ccks=16733723, wck=39.273, mem=726M680
57.59/44.40	    decisions=359280, wrong=72713, backtracks=71571, failedAssignments=1997, nogoods=772
57.59/44.40	    
61.09/47.92	    num=32, depth=8339..8664, filters=5139119, revisions=(29700180,useless=24757263), ccks=20527003, wck=42.785, mem=734M631
61.09/47.92	    decisions=412618, wrong=95165, backtracks=94027, failedAssignments=2208, nogoods=775
61.09/47.92	    
62.20/49.03	    num=33, depth=8509..8618, filters=5179659, revisions=(30401859,useless=25420482), ccks=20720466, wck=43.904, mem=734M631
62.20/49.03	    decisions=422194, wrong=95682, backtracks=94315, failedAssignments=2440, nogoods=792
62.20/49.03	    
66.30/53.14	    num=34, depth=8388..8618, filters=6691496, revisions=(34448267,useless=27997877), ccks=25470260, wck=48.011, mem=734M631
66.30/53.14	    decisions=486699, wrong=123724, backtracks=122352, failedAssignments=2695, nogoods=794
66.30/53.14	    
67.89/54.75	    num=35, depth=8510..8728, filters=6966928, revisions=(35694843,useless=28977507), ccks=26392395, wck=49.615, mem=734M631
67.89/54.75	    decisions=505146, wrong=128603, backtracks=126992, failedAssignments=2976, nogoods=820
67.89/54.75	    
69.00/55.89	    num=36, depth=8620..8729, filters=7012302, revisions=(36419929,useless=29659380), ccks=26596896, wck=50.761, mem=734M631
69.00/55.89	    decisions=514987, wrong=129197, backtracks=127280, failedAssignments=3285, nogoods=914
69.00/55.89	    
70.70/57.58	    num=37, depth=8705..8840, filters=7232841, revisions=(37783000,useless=30811914), ccks=27394295, wck=52.445, mem=734M631
70.70/57.58	    decisions=535744, wrong=135223, backtracks=133270, failedAssignments=3625, nogoods=915
70.70/57.58	    
72.60/59.49	    num=38, depth=8840..9060, filters=7655754, revisions=(39385051,useless=32003540), ccks=28781041, wck=54.361, mem=742M582
72.60/59.49	    decisions=560155, wrong=142900, backtracks=140635, failedAssignments=3999, nogoods=1010
72.60/59.49	    
78.40/65.22	    num=39, depth=8812..9042, filters=10028431, revisions=(45389928,useless=35702445), ccks=36174284, wck=60.084, mem=742M582
78.40/65.22	    decisions=657910, wrong=187344, backtracks=185091, failedAssignments=4410, nogoods=1012
78.40/65.22	    
79.60/66.47	    num=40, depth=9046..9159, filters=10102912, revisions=(46208355,useless=36449160), ccks=36476377, wck=61.344, mem=750M570
79.60/66.47	    decisions=669241, wrong=188431, backtracks=185730, failedAssignments=4862, nogoods=1139
79.60/66.47	    
80.90/67.78	    num=41, depth=9157..9366, filters=10180757, revisions=(47172456,useless=37340693), ccks=36911749, wck=62.654, mem=750M570
80.90/67.78	    decisions=681498, wrong=189931, backtracks=186749, failedAssignments=5359, nogoods=1143
80.90/67.78	    
82.10/68.98	    num=42, depth=9494..9603, filters=10225799, revisions=(47934155,useless=38059039), ccks=37131557, wck=63.85, mem=750M570
82.10/68.98	    decisions=692199, wrong=190483, backtracks=186754, failedAssignments=5906, nogoods=1151
82.10/68.98	    
87.33/74.14	    num=43, depth=9385..9683, filters=11895212, revisions=(54369258,useless=42888248), ccks=43485766, wck=69.012, mem=750M570
87.33/74.14	    decisions=784860, wrong=232069, backtracks=228379, failedAssignments=6508, nogoods=1154
87.33/74.14	    
89.02/75.83	    num=44, depth=9436..9654, filters=12199914, revisions=(55780596,useless=44004068), ccks=44531506, wck=70.696, mem=750M570
89.02/75.83	    decisions=805077, wrong=237411, backtracks=233102, failedAssignments=7170, nogoods=1238
89.02/75.83	    
90.82/77.60	    num=45, depth=9436..9659, filters=12565589, revisions=(57280983,useless=45149217), ccks=45732085, wck=72.47, mem=758M521
90.82/77.60	    decisions=827786, wrong=243941, backtracks=238955, failedAssignments=7898, nogoods=1272
90.82/77.60	    
92.12/78.91	    num=46, depth=9548..9771, filters=12662913, revisions=(58203326,useless=45978117), ccks=46116656, wck=73.779, mem=758M521
92.12/78.91	    decisions=840436, wrong=245396, backtracks=239617, failedAssignments=8699, nogoods=1312
92.12/78.91	    
100.12/86.97	    num=47, depth=9758..9986, filters=16524870, revisions=(67893027,useless=51916505), ccks=58226969, wck=81.837, mem=766M512
100.12/86.97	    decisions=995781, wrong=318091, backtracks=312098, failedAssignments=9580, nogoods=1416
100.12/86.97	    
102.23/89.01	    num=48, depth=9773..9991, filters=17031808, revisions=(69791450,useless=53322699), ccks=59913605, wck=83.881, mem=766M512
102.23/89.01	    decisions=1025037, wrong=327746, backtracks=320858, failedAssignments=10550, nogoods=1496
102.23/89.01	    
103.52/90.32	    num=49, depth=9896..10116, filters=17145420, revisions=(70746251,useless=54166800), ccks=60350750, wck=85.19, mem=774M503
103.52/90.32	    decisions=1038615, wrong=329515, backtracks=321565, failedAssignments=11617, nogoods=1597
103.52/90.32	    
104.72/91.59	    num=50, depth=10193..10225, filters=17230742, revisions=(71663651,useless=55001322), ccks=60701269, wck=86.463, mem=774M503
104.72/91.59	    decisions=1051315, wrong=330762, backtracks=321640, failedAssignments=12790, nogoods=1691
104.72/91.59	    
109.03/95.83	    num=51, depth=10168..10301, filters=18897559, revisions=(76013336,useless=57744989), ccks=65793840, wck=90.696, mem=774M503
109.03/95.83	    decisions=1132376, wrong=366153, backtracks=356557, failedAssignments=14081, nogoods=1695
109.03/95.83	    
113.94/100.79	    num=52, depth=5858..10161, filters=21051788, revisions=(81753195,useless=61396329), ccks=72591634, wck=95.663, mem=782M454
113.94/100.79	    decisions=1228410, wrong=409137, backtracks=399448, failedAssignments=15501, nogoods=1703
113.94/100.79	    
116.64/103.47	    num=53, depth=6115..10298, filters=21912762, revisions=(84379860,useless=63190526), ccks=75285175, wck=98.341, mem=782M454
116.64/103.47	    decisions=1273464, wrong=426577, backtracks=415867, failedAssignments=17063, nogoods=1745
116.64/103.47	    
121.04/107.84	    num=54, depth=9556..10238, filters=22991692, revisions=(90474076,useless=68266195), ccks=79972633, wck=102.708, mem=782M454
121.04/107.84	    decisions=1364737, wrong=467128, backtracks=456206, failedAssignments=18781, nogoods=1751
121.04/107.84	    
124.64/111.40	    num=55, depth=5517..10315, filters=23937208, revisions=(94619430,useless=71511648), ccks=83322974, wck=106.272, mem=782M454
124.64/111.40	    decisions=1438564, wrong=498947, backtracks=487739, failedAssignments=20671, nogoods=1779
124.64/111.40	    
144.37/131.15	    num=56, depth=7379..10356, filters=34667056, revisions=(119786192,useless=86259680), ccks=116635732, wck=126.022, mem=790M405
144.37/131.15	    decisions=1870283, wrong=709707, backtracks=698548, failedAssignments=22750, nogoods=1820
144.37/131.15	    
151.16/137.97	    num=57, depth=3067..10428, filters=37018454, revisions=(128200431,useless=92438446), ccks=125051053, wck=132.838, mem=798M368
151.16/137.97	    decisions=2021908, wrong=780357, backtracks=768939, failedAssignments=25037, nogoods=1854
151.16/137.97	    
157.06/143.83	    num=58, depth=3916..10489, filters=39480902, revisions=(134587176,useless=96456337), ccks=132648106, wck=138.696, mem=798M368
157.06/143.83	    decisions=2150225, wrong=839295, backtracks=826733, failedAssignments=27553, nogoods=1886
157.06/143.83	    
164.27/151.08	    num=59, depth=6006..10463, filters=41685556, revisions=(142355985,useless=102167627), ccks=140489058, wck=145.951, mem=798M368
164.27/151.08	    decisions=2334079, wrong=926061, backtracks=913434, failedAssignments=30321, nogoods=1917
164.27/151.08	    
189.97/176.77	    num=60, depth=5646..10197, filters=54959829, revisions=(172617777,useless=119634120), ccks=180867929, wck=171.643, mem=806M319
189.97/176.77	    decisions=2879835, wrong=1193938, backtracks=1181218, failedAssignments=33365, nogoods=1934
189.97/176.77	    
194.17/180.92	    num=61, depth=8196..10462, filters=56457353, revisions=(176750088,useless=122324712), ccks=185499319, wck=175.786, mem=814M311
194.17/180.92	    decisions=2966756, wrong=1232271, backtracks=1217189, failedAssignments=36714, nogoods=1958
194.17/180.92	    
218.58/205.33	    num=62, depth=8515..9951, filters=67790628, revisions=(209689456,useless=144322366), ccks=223640286, wck=200.202, mem=814M311
218.58/205.33	    decisions=3494505, wrong=1491200, backtracks=1476224, failedAssignments=40398, nogoods=1969
218.58/205.33	    
256.20/242.98	    num=63, depth=7051..10083, filters=88437448, revisions=(257037402,useless=171620411), ccks=287393769, wck=237.848, mem=830M213
256.20/242.98	    decisions=4318711, wrong=1898388, backtracks=1883535, failedAssignments=44450, nogoods=2018
256.20/242.98	    
272.21/259.00	    num=64, depth=4016..10267, filters=95827123, revisions=(274234684,useless=181715771), ccks=309792059, wck=253.872, mem=838M181
272.21/259.00	    decisions=4695493, wrong=2081723, backtracks=2066668, failedAssignments=48907, nogoods=2066
272.21/259.00	    
279.11/265.87	    num=65, depth=6543..10126, filters=97424620, revisions=(278328201,useless=184351888), ccks=314234918, wck=260.734, mem=838M181
279.11/265.87	    decisions=4878886, wrong=2168416, backtracks=2152997, failedAssignments=53810, nogoods=2098
279.11/265.87	    
286.02/272.74	    num=66, depth=7233..9889, filters=99560336, revisions=(284503792,useless=188506175), ccks=320650377, wck=267.611, mem=846M170
286.02/272.74	    decisions=5043670, wrong=2245929, backtracks=2229439, failedAssignments=59204, nogoods=2129
286.02/272.74	    
303.83/290.52	    num=67, depth=8232..9998, filters=105118535, revisions=(311304628,useless=210044668), ccks=343750286, wck=285.388, mem=846M170
303.83/290.52	    decisions=5453184, wrong=2445736, backtracks=2429067, failedAssignments=65137, nogoods=2158
303.83/290.52	    
312.03/298.76	    num=68, depth=7713..10175, filters=107340938, revisions=(318509817,useless=215175875), ccks=350967664, wck=293.631, mem=854M121
312.03/298.76	    decisions=5660246, wrong=2544226, backtracks=2526053, failedAssignments=71663, nogoods=2180
312.03/298.76	    
352.95/339.60	    num=69, depth=8482..10092, filters=123904705, revisions=(380291941,useless=261152384), ccks=421960632, wck=334.474, mem=862M72
352.95/339.60	    decisions=6527138, wrong=2972671, backtracks=2954588, failedAssignments=78842, nogoods=2218
352.95/339.60	    
363.06/349.74	    num=70, depth=5615..10125, filters=127576013, revisions=(392215317,useless=269573998), ccks=434477062, wck=344.605, mem=870M23
363.06/349.74	    decisions=6756292, wrong=3082214, backtracks=3061903, failedAssignments=86739, nogoods=2252
363.06/349.74	    
409.07/395.75	    num=71, depth=7969..10420, filters=149352442, revisions=(441649360,useless=298049124), ccks=500629199, wck=390.622, mem=885M925
409.07/395.75	    decisions=7881700, wrong=3639869, backtracks=3618785, failedAssignments=95426, nogoods=2326
409.07/395.75	    
467.59/454.20	    num=72, depth=4116..10375, filters=179899193, revisions=(511475355,useless=338306928), ccks=594479886, wck=449.068, mem=901M827
467.59/454.20	    decisions=9212380, wrong=4300164, backtracks=4279145, failedAssignments=104981, nogoods=2432
467.59/454.20	    
540.32/526.95	    num=73, depth=6040..10424, filters=218906644, revisions=(599671862,useless=388732806), ccks=713883277, wck=521.82, mem=925M680
540.32/526.95	    decisions=10915755, wrong=5146714, backtracks=5125905, failedAssignments=115492, nogoods=2496
540.32/526.95	    
563.24/549.81	    num=74, depth=6402..10543, filters=225822793, revisions=(637246465,useless=419826310), ccks=745157123, wck=544.678, mem=941M622
563.24/549.81	    decisions=11506010, wrong=5436627, backtracks=5412774, failedAssignments=127054, nogoods=2564
563.24/549.81	    
606.75/593.37	    num=75, depth=4992..10693, filters=245742031, revisions=(680247348,useless=443742516), ccks=803689808, wck=588.242, mem=957M552
606.75/593.37	    decisions=12703608, wrong=6030133, backtracks=6006773, failedAssignments=139772, nogoods=2683
606.75/593.37	    
667.88/654.44	    num=76, depth=5223..10771, filters=278502802, revisions=(755289021,useless=487150353), ccks=904103313, wck=649.306, mem=981M437
667.88/654.44	    decisions=14199470, wrong=6772748, backtracks=6748863, failedAssignments=153762, nogoods=2779
667.88/654.44	    
706.50/693.03	    num=77, depth=5529..10954, filters=296978448, revisions=(794970427,useless=509321877), ccks=957514427, wck=687.898, mem=997M381
706.50/693.03	    decisions=15217650, wrong=7276418, backtracks=7245650, failedAssignments=169151, nogoods=2952
706.50/693.03	    
742.98/729.42	    num=78, depth=7880..11196, filters=312781561, revisions=(841916377,useless=541221545), ccks=1013984076, wck=724.286, mem=1013M282
742.98/729.42	    decisions=16246443, wrong=7785281, backtracks=7750805, failedAssignments=186079, nogoods=2994
742.98/729.42	    
789.70/775.94	    num=79, depth=6127..11431, filters=315136080, revisions=(869313277,useless=566428600), ccks=1024879877, wck=770.804, mem=1100M768
789.70/775.94	    decisions=16479300, wrong=7896158, backtracks=11187277, failedAssignments=204700, nogoods=3098
789.70/775.94	    
842.02/828.25	    num=80, depth=6085..10908, filters=342096261, revisions=(929790392,useless=600974080), ccks=1106431300, wck=823.115, mem=1120M826
842.02/828.25	    decisions=17827953, wrong=8565094, backtracks=11851875, failedAssignments=225184, nogoods=3219
842.02/828.25	    
919.94/905.76	    num=81, depth=5462..10934, filters=382469013, revisions=(1022135443,useless=654371169), ccks=1229428628, wck=900.634, mem=843M548
919.94/905.76	    decisions=19799738, wrong=9545684, backtracks=12828822, failedAssignments=247716, nogoods=3347
919.94/905.76	    
986.46/972.22	    num=82, depth=5703..10866, filters=414550484, revisions=(1094208601,useless=695709855), ccks=1325977943, wck=967.092, mem=872M61
986.46/972.22	    decisions=21552621, wrong=10416775, backtracks=13696085, failedAssignments=272501, nogoods=3482
986.46/972.22	    
1040.48/1026.22	    num=83, depth=7742..10362, filters=431240430, revisions=(1168089737,useless=753938093), ccks=1392904444, wck=1021.086, mem=886M318
1040.48/1026.22	    decisions=22934466, wrong=11102573, backtracks=14377875, failedAssignments=299765, nogoods=3499
1040.48/1026.22	    
1101.61/1087.30	    num=84, depth=7183..10192, filters=451464590, revisions=(1264054117,useless=830620716), ccks=1478270103, wck=1082.166, mem=914M831
1101.61/1087.30	    decisions=24379527, wrong=11820062, backtracks=15088396, failedAssignments=329755, nogoods=3641
1101.61/1087.30	    
1298.98/1284.61	    num=85, depth=7433..10201, filters=557422974, revisions=(1508552798,useless=972321967), ccks=1809506521, wck=1279.477, mem=971M858
1298.98/1284.61	    decisions=28550260, wrong=13900420, backtracks=17163053, failedAssignments=362744, nogoods=3799
1298.98/1284.61	    
1424.71/1410.40	    num=86, depth=8657..10430, filters=617468006, revisions=(1643354011,useless=1049451178), ccks=2001634672, wck=1405.265, mem=1014M628
1424.71/1410.40	    decisions=31550417, wrong=15395405, backtracks=18651303, failedAssignments=399032, nogoods=3929
1424.71/1410.40	    
1494.74/1480.37	    num=87, depth=8112..10424, filters=642014470, revisions=(1734277942,useless=1117181795), ccks=2091793448, wck=1475.235, mem=1043M181
1494.74/1480.37	    decisions=33302032, wrong=16266076, backtracks=19504403, failedAssignments=438949, nogoods=4050
1494.74/1480.37	    
1600.18/1585.75	    num=88, depth=10139..10671, filters=693813987, revisions=(1849082140,useless=1182625973), ccks=2247445832, wck=1580.62, mem=1071M695
1600.18/1585.75	    decisions=35938986, wrong=17579312, backtracks=20815128, failedAssignments=482858, nogoods=4152
1600.18/1585.75	    
1803.06/1788.53	    num=89, depth=7766..10795, filters=799579269, revisions=(2115101749,useless=1346418262), ccks=2583204654, wck=1783.401, mem=1143M10
1803.06/1788.53	    decisions=40800550, wrong=20004809, backtracks=23239472, failedAssignments=531158, nogoods=4297
1803.06/1788.53	    
1823.36/1808.85	    num=90, depth=8018..10634, filters=802336386, revisions=(2139654900,useless=1368744204), ccks=2594526398, wck=1803.717, mem=1157M267
1823.36/1808.85	    decisions=41577172, wrong=20387844, backtracks=23603265, failedAssignments=584288, nogoods=4429
1823.36/1808.85	    
1924.39/1909.86	    num=91, depth=8089..10731, filters=844368230, revisions=(2232358299,useless=1421960028), ccks=2716740529, wck=1904.731, mem=1200M37
1924.39/1909.86	    decisions=44550305, wrong=21869091, backtracks=25079412, failedAssignments=642731, nogoods=4512
1924.39/1909.86	    
2020.23/2005.66	    num=92, depth=3896..10969, filters=877029875, revisions=(2314503573,useless=1473542051), ccks=2814991949, wck=2000.527, mem=1257M91
2020.23/2005.66	    decisions=47168728, wrong=23172972, backtracks=27189280, failedAssignments=707018, nogoods=4641
2020.23/2005.66	    
2370.55/2355.86	    num=93, depth=4028..10681, filters=1069744231, revisions=(2751981608,useless=1724568480), ccks=3405704529, wck=2350.731, mem=1356M888
2370.55/2355.86	    decisions=55074582, wrong=27120631, backtracks=31128887, failedAssignments=777734, nogoods=4751
2370.55/2355.86	    
2400.05/2385.30	
2400.05/2385.30	s UNKNOWN

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391326-1568391322/watcher-4391326-1568391322 -o /tmp/evaluation-result-4391326-1568391322/solver-4391326-1568391322 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568388659-19203 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391326-1568391322.xml -cm 

running on 4 cores: 0-3

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

solver pid=20152, runsolver pid=20149

[startup+0.100059 s]*
/proc/loadavg: 1.81 1.67 1.74 3/229 20167
/proc/meminfo: memFree=29866448/32770688 swapFree=66961080/67108860
[pid=20152] ppid=20149 vsize=10659884 memory=27404 CPUtime=0.13 cores=0-3
/proc/20152/stat : 20152 (java) S 20149 20152 17242 0 -1 1077944320 5299 0 0 0 11 2 0 0 20 0 15 0 415073846 10915721216 6851 33554432000 4194304 4196468 140725008110368 140725008092912 139822315224823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
/proc/20152/statm: 2664971 6851 2846 1 0 2627468 0
[pid=20152/tid=20154] ppid=20149 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=0-3
/proc/20152/task/20154/stat : 20154 (java) R 20149 20152 17242 0 -1 4202560 3178 0 0 0 8 1 0 0 20 0 15 0 415073847 10915721216 6851 33554432000 4194304 4196468 140725008110368 139822319454272 139822315236758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20155] ppid=20149 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0-3
/proc/20152/task/20155/stat : 20155 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 6851 33554432000 4194304 4196468 140725008110368 139822267845776 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20156] ppid=20149 vsize=10659884 memory=140711997101696 CPUtime=0 cores=0-3
/proc/20152/task/20156/stat : 20156 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 6851 33554432000 4194304 4196468 140725008110368 139822266792976 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20157] ppid=20149 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20157/stat : 20157 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 6851 33554432000 4194304 4196468 140725008110368 139822265740176 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20158] ppid=20149 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/20152/task/20158/stat : 20158 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 6851 33554432000 4194304 4196468 140725008110368 139822264687376 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20159] ppid=20149 vsize=10659884 memory=140711997101696 CPUtime=0 cores=0-3
/proc/20152/task/20159/stat : 20159 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073849 10915721216 6851 33554432000 4194304 4196468 140725008110368 139821874350448 139822315235970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20160] ppid=20149 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/20152/task/20160/stat : 20160 (java) S 20149 20152 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073849 10915721216 6851 33554432000 4194304 4196468 140725008110368 139821873296416 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20161] ppid=20149 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20161/stat : 20161 (java) S 20149 20152 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073850 10915721216 6851 33554432000 4194304 4196468 140725008110368 139821872243568 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20162] ppid=20149 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20162/stat : 20162 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073852 10915721216 6851 33554432000 4194304 4196468 140725008110368 139821871191888 139822315243419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20163] ppid=20149 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20163/stat : 20163 (java) S 20149 20152 17242 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 415073852 10915721216 6851 33554432000 4194304 4196468 140725008110368 139821870140272 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20164] ppid=20149 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/20152/task/20164/stat : 20164 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073852 10915721216 6851 33554432000 4194304 4196468 140725008110368 139821869087472 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20165] ppid=20149 vsize=10659884 memory=140711997101696 CPUtime=0.02 cores=0-3
/proc/20152/task/20165/stat : 20165 (java) R 20149 20152 17242 0 -1 4202560 335 0 0 0 2 0 0 0 20 0 15 0 415073852 10915721216 6851 33554432000 4194304 4196468 140725008110368 139821868034672 139822315236758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20166] ppid=20149 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/20152/task/20166/stat : 20166 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073852 10915721216 6851 33554432000 4194304 4196468 140725008110368 139821866982112 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20167] ppid=20149 vsize=10659884 memory=140711997101696 CPUtime=0 cores=0-3
/proc/20152/task/20167/stat : 20167 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073853 10915721216 6851 33554432000 4194304 4196468 140725008110368 139821865929392 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27404 KiB

[startup+0.211972 s]*
/proc/loadavg: 1.81 1.67 1.74 5/229 20167
/proc/meminfo: memFree=29858712/32770688 swapFree=66961080/67108860
[pid=20152] ppid=20149 vsize=10659884 memory=35148 CPUtime=0.34 cores=0-3
/proc/20152/stat : 20152 (java) S 20149 20152 17242 0 -1 1077944320 6915 0 0 0 31 3 0 0 20 0 15 0 415073846 10915721216 8787 33554432000 4194304 4196468 140725008110368 140725008092912 139822315224823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
/proc/20152/statm: 2664971 8787 2989 1 0 2627468 0
[pid=20152/tid=20154] ppid=20149 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0-3
/proc/20152/task/20154/stat : 20154 (java) R 20149 20152 17242 0 -1 4202560 3859 0 0 0 18 1 0 0 20 0 15 0 415073847 10915721216 8787 33554432000 4194304 4196468 140725008110368 139822319456624 139822315246749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20155] ppid=20149 vsize=10659884 memory=365 CPUtime=0 cores=0-3
/proc/20152/task/20155/stat : 20155 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 8787 33554432000 4194304 4196468 140725008110368 139822267845776 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20156] ppid=20149 vsize=10659884 memory=140712000119360 CPUtime=0 cores=0-3
/proc/20152/task/20156/stat : 20156 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 8787 33554432000 4194304 4196468 140725008110368 139822266792976 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20157] ppid=20149 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20157/stat : 20157 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 8787 33554432000 4194304 4196468 140725008110368 139822265740176 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20158] ppid=20149 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/20152/task/20158/stat : 20158 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 8787 33554432000 4194304 4196468 140725008110368 139822264687376 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20159] ppid=20149 vsize=10659884 memory=140711997101696 CPUtime=0 cores=0-3
/proc/20152/task/20159/stat : 20159 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073849 10915721216 8787 33554432000 4194304 4196468 140725008110368 139821874350448 139822315235970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20160] ppid=20149 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/20152/task/20160/stat : 20160 (java) S 20149 20152 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073849 10915721216 8787 33554432000 4194304 4196468 140725008110368 139821873296416 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20161] ppid=20149 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20161/stat : 20161 (java) S 20149 20152 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073850 10915721216 8787 33554432000 4194304 4196468 140725008110368 139821872243568 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20162] ppid=20149 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20162/stat : 20162 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073852 10915721216 8787 33554432000 4194304 4196468 140725008110368 139821871191888 139822315243419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20163] ppid=20149 vsize=10659884 memory=0 CPUtime=0.03 cores=0-3
/proc/20152/task/20163/stat : 20163 (java) S 20149 20152 17242 0 -1 1077944384 734 0 0 0 3 0 0 0 20 0 15 0 415073852 10915721216 8787 33554432000 4194304 4196468 140725008110368 139821870140272 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20164] ppid=20149 vsize=10659884 memory=-1 CPUtime=0.02 cores=0-3
/proc/20152/task/20164/stat : 20164 (java) S 20149 20152 17242 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 15 0 415073852 10915721216 8787 33554432000 4194304 4196468 140725008110368 139821869087472 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20165] ppid=20149 vsize=10659884 memory=140711997101696 CPUtime=0.06 cores=0-3
/proc/20152/task/20165/stat : 20165 (java) S 20149 20152 17242 0 -1 1077944384 724 0 0 0 6 0 0 0 20 0 15 0 415073852 10915721216 8787 33554432000 4194304 4196468 140725008110368 139821868034672 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20166] ppid=20149 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/20152/task/20166/stat : 20166 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073852 10915721216 8787 33554432000 4194304 4196468 140725008110368 139821866982112 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20167] ppid=20149 vsize=10659884 memory=140711997101696 CPUtime=0 cores=0-3
/proc/20152/task/20167/stat : 20167 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073853 10915721216 8787 33554432000 4194304 4196468 140725008110368 139821865929392 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35148 KiB

[startup+0.311383 s]*
/proc/loadavg: 1.81 1.67 1.74 5/229 20167
/proc/meminfo: memFree=29858244/32770688 swapFree=66961080/67108860
[pid=20152] ppid=20149 vsize=10659884 memory=37456 CPUtime=0.44 cores=0-3
/proc/20152/stat : 20152 (java) S 20149 20152 17242 0 -1 1077944320 6979 0 0 0 41 3 0 0 20 0 15 0 415073846 10915721216 9364 33554432000 4194304 4196468 140725008110368 140725008092912 139822315224823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
/proc/20152/statm: 2664971 9364 2990 1 0 2627468 0
[pid=20152/tid=20154] ppid=20149 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0-3
/proc/20152/task/20154/stat : 20154 (java) R 20149 20152 17242 0 -1 4202560 3908 0 0 0 28 2 0 0 20 0 15 0 415073847 10915721216 9364 33554432000 4194304 4196468 140725008110368 139822319456912 139822315246749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20155] ppid=20149 vsize=10659884 memory=9092 CPUtime=0 cores=0-3
/proc/20152/task/20155/stat : 20155 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 9364 33554432000 4194304 4196468 140725008110368 139822267845776 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20156] ppid=20149 vsize=10659884 memory=140712000120571 CPUtime=0 cores=0-3
/proc/20152/task/20156/stat : 20156 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 9364 33554432000 4194304 4196468 140725008110368 139822266792976 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20157] ppid=20149 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20157/stat : 20157 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 9364 33554432000 4194304 4196468 140725008110368 139822265740176 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20158] ppid=20149 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/20152/task/20158/stat : 20158 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 9364 33554432000 4194304 4196468 140725008110368 139822264687376 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20159] ppid=20149 vsize=10659884 memory=140711997101696 CPUtime=0 cores=0-3
/proc/20152/task/20159/stat : 20159 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073849 10915721216 9364 33554432000 4194304 4196468 140725008110368 139821874350448 139822315235970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20160] ppid=20149 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/20152/task/20160/stat : 20160 (java) S 20149 20152 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073849 10915721216 9364 33554432000 4194304 4196468 140725008110368 139821873296416 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20161] ppid=20149 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20161/stat : 20161 (java) S 20149 20152 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073850 10915721216 9364 33554432000 4194304 4196468 140725008110368 139821872243568 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20162] ppid=20149 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20162/stat : 20162 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073852 10915721216 9364 33554432000 4194304 4196468 140725008110368 139821871191888 139822315243419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20163] ppid=20149 vsize=10659884 memory=0 CPUtime=0.03 cores=0-3
/proc/20152/task/20163/stat : 20163 (java) S 20149 20152 17242 0 -1 1077944384 737 0 0 0 3 0 0 0 20 0 15 0 415073852 10915721216 9364 33554432000 4194304 4196468 140725008110368 139821870140272 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20164] ppid=20149 vsize=10659884 memory=-1 CPUtime=0.03 cores=0-3
/proc/20152/task/20164/stat : 20164 (java) R 20149 20152 17242 0 -1 1077944384 249 0 0 0 3 0 0 0 20 0 15 0 415073852 10915721216 9364 33554432000 4194304 4196468 140725008110368 139821869087472 139822315235970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20165] ppid=20149 vsize=10659884 memory=140711997101696 CPUtime=0.06 cores=0-3
/proc/20152/task/20165/stat : 20165 (java) S 20149 20152 17242 0 -1 1077944384 726 0 0 0 6 0 0 0 20 0 15 0 415073852 10915721216 9364 33554432000 4194304 4196468 140725008110368 139821868034672 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20166] ppid=20149 vsize=10659884 memory=-1 CPUtime=0 cores=0-3
/proc/20152/task/20166/stat : 20166 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073852 10915721216 9364 33554432000 4194304 4196468 140725008110368 139821866982112 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20167] ppid=20149 vsize=10659884 memory=140711997101696 CPUtime=0 cores=0-3
/proc/20152/task/20167/stat : 20167 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073853 10915721216 9364 33554432000 4194304 4196468 140725008110368 139821865929392 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37456 KiB

[startup+0.701931 s]
/proc/loadavg: 1.81 1.67 1.74 3/229 20167
/proc/meminfo: memFree=29845868/32770688 swapFree=66961080/67108860
[pid=20152] ppid=20149 vsize=10659884 memory=58368 CPUtime=1.11 cores=0-3
/proc/20152/stat : 20152 (java) S 20149 20152 17242 0 -1 1077944320 12735 0 0 0 104 7 0 0 20 0 15 0 415073846 10915721216 14592 33554432000 4194304 4196468 140725008110368 140725008092912 139822315224823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
/proc/20152/statm: 2664971 14592 3062 1 0 2627468 0
[pid=20152/tid=20154] ppid=20149 vsize=10659884 memory=14068 CPUtime=0.68 cores=0-3
/proc/20152/task/20154/stat : 20154 (java) R 20149 20152 17242 0 -1 4202560 8581 0 0 0 63 5 0 0 20 0 15 0 415073847 10915721216 14592 33554432000 4194304 4196468 140725008110368 139822319457184 139822271852003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20155] ppid=20149 vsize=10659884 memory=2120 CPUtime=0 cores=0-3
/proc/20152/task/20155/stat : 20155 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 14592 33554432000 4194304 4196468 140725008110368 139822267845776 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20156] ppid=20149 vsize=10659884 memory=496 CPUtime=0 cores=0-3
/proc/20152/task/20156/stat : 20156 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 14592 33554432000 4194304 4196468 140725008110368 139822266792976 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20157] ppid=20149 vsize=10659884 memory=1556 CPUtime=0 cores=0-3
/proc/20152/task/20157/stat : 20157 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 14592 33554432000 4194304 4196468 140725008110368 139822265740176 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20158] ppid=20149 vsize=10659884 memory=928 CPUtime=0 cores=0-3
/proc/20152/task/20158/stat : 20158 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073847 10915721216 14592 33554432000 4194304 4196468 140725008110368 139822264687376 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20159] ppid=20149 vsize=10659884 memory=1628 CPUtime=0 cores=0-3
/proc/20152/task/20159/stat : 20159 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073849 10915721216 14592 33554432000 4194304 4196468 140725008110368 139821874350448 139822315235970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20160] ppid=20149 vsize=10659884 memory=796 CPUtime=0 cores=0-3
/proc/20152/task/20160/stat : 20160 (java) S 20149 20152 17242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415073849 10915721216 14592 33554432000 4194304 4196468 140725008110368 139821873296416 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20161] ppid=20149 vsize=10659884 memory=1444 CPUtime=0 cores=0-3
/proc/20152/task/20161/stat : 20161 (java) S 20149 20152 17242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415073850 10915721216 14592 33554432000 4194304 4196468 140725008110368 139821872243568 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20162] ppid=20149 vsize=10659884 memory=1984 CPUtime=0 cores=0-3
/proc/20152/task/20162/stat : 20162 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073852 10915721216 14592 33554432000 4194304 4196468 140725008110368 139821871191888 139822315243419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20163] ppid=20149 vsize=10659884 memory=7086240636229996643 CPUtime=0.11 cores=0-3
/proc/20152/task/20163/stat : 20163 (java) S 20149 20152 17242 0 -1 1077944384 1111 0 0 0 11 0 0 0 20 0 15 0 415073852 10915721216 14592 33554432000 4194304 4196468 140725008110368 139821870140272 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20164] ppid=20149 vsize=10659884 memory=7453282923444726100 CPUtime=0.11 cores=0-3
/proc/20152/task/20164/stat : 20164 (java) S 20149 20152 17242 0 -1 1077944384 505 0 0 0 11 0 0 0 20 0 15 0 415073852 10915721216 14592 33554432000 4194304 4196468 140725008110368 139821869087472 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20165] ppid=20149 vsize=10659884 memory=7223879631928058176 CPUtime=0.18 cores=0-3
/proc/20152/task/20165/stat : 20165 (java) S 20149 20152 17242 0 -1 1077944384 1178 0 0 0 18 0 0 0 20 0 15 0 415073852 10915721216 14592 33554432000 4194304 4196468 140725008110368 139821868034672 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20166] ppid=20149 vsize=10659884 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20166/stat : 20166 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415073852 10915721216 14592 33554432000 4194304 4196468 140725008110368 139821866982112 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20167] ppid=20149 vsize=10659884 memory=7236547285815093345 CPUtime=0 cores=0-3
/proc/20152/task/20167/stat : 20167 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073853 10915721216 14592 33554432000 4194304 4196468 140725008110368 139821865929392 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 58368 KiB

[startup+1.50075 s]
/proc/loadavg: 1.81 1.67 1.74 3/229 20167
/proc/meminfo: memFree=29827536/32770688 swapFree=66961080/67108860
[pid=20152] ppid=20149 vsize=10663980 memory=72216 CPUtime=1.95 cores=0-3
/proc/20152/stat : 20152 (java) S 20149 20152 17242 0 -1 1077944320 17096 0 0 0 188 7 0 0 20 0 15 0 415073846 10919915520 18054 33554432000 4194304 4196468 140725008110368 140725008092912 139822315224823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
/proc/20152/statm: 2665995 18054 3078 1 0 2628492 0
[pid=20152/tid=20154] ppid=20149 vsize=10663980 memory=6360846566568 CPUtime=1.47 cores=0-3
/proc/20152/task/20154/stat : 20154 (java) R 20149 20152 17242 0 -1 4202560 12519 0 0 0 141 6 0 0 20 0 15 0 415073847 10919915520 18054 33554432000 4194304 4196468 140725008110368 139822319457184 139822300390416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20155] ppid=20149 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0-3
/proc/20152/task/20155/stat : 20155 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073847 10919915520 18054 33554432000 4194304 4196468 140725008110368 139822267845776 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20156] ppid=20149 vsize=10663980 memory=14698491322567293 CPUtime=0 cores=0-3
/proc/20152/task/20156/stat : 20156 (java) S 20149 20152 17242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415073847 10919915520 18054 33554432000 4194304 4196468 140725008110368 139822266792976 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20157] ppid=20149 vsize=10663980 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20157/stat : 20157 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073847 10919915520 18054 33554432000 4194304 4196468 140725008110368 139822265740176 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20158] ppid=20149 vsize=10663980 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20158/stat : 20158 (java) S 20149 20152 17242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415073847 10919915520 18054 33554432000 4194304 4196468 140725008110368 139822264687376 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20159] ppid=20149 vsize=10663980 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20159/stat : 20159 (java) S 20149 20152 17242 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 415073849 10919915520 18054 33554432000 4194304 4196468 140725008110368 139821874350448 139822315235970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0

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

/proc/20152/task/20158/stat : 20158 (java) S 20149 20152 17242 0 -1 1077944384 2795 0 0 0 63 29 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822264687376 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20159] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.09 cores=0-3
/proc/20152/task/20159/stat : 20159 (java) S 20149 20152 17242 0 -1 1077944384 9223 0 0 0 7 2 0 0 20 0 16 0 415073849 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821874350448 139822315235970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20160] ppid=20149 vsize=10748324 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20160/stat : 20160 (java) S 20149 20152 17242 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415073849 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821873296480 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20161] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0 cores=0-3
/proc/20152/task/20161/stat : 20161 (java) S 20149 20152 17242 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415073850 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821872243584 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20162] ppid=20149 vsize=10748324 memory=0 CPUtime=0 cores=0-3
/proc/20152/task/20162/stat : 20162 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821871191888 139822315243419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20163] ppid=20149 vsize=10748324 memory=1828424 CPUtime=4.18 cores=0-3
/proc/20152/task/20163/stat : 20163 (java) S 20149 20152 17242 0 -1 1077944384 14656 0 0 0 416 2 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821870140272 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20164] ppid=20149 vsize=10748324 memory=1828424 CPUtime=5.84 cores=0-3
/proc/20152/task/20164/stat : 20164 (java) S 20149 20152 17242 0 -1 1077944384 22697 0 0 0 581 3 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821869087472 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20165] ppid=20149 vsize=10748324 memory=5924 CPUtime=1.22 cores=0-3
/proc/20152/task/20165/stat : 20165 (java) S 20149 20152 17242 0 -1 1077944384 12713 0 0 0 120 2 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821868034672 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20166] ppid=20149 vsize=10748324 memory=780 CPUtime=0 cores=0-3
/proc/20152/task/20166/stat : 20166 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821866982112 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20167] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.57 cores=0-3
/proc/20152/task/20167/stat : 20167 (java) S 20149 20152 17242 0 -1 1077944384 1957 0 0 0 23 34 0 0 20 0 16 0 415073853 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821865929392 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20168] ppid=20149 vsize=10748324 memory=1828424 CPUtime=2319.23 cores=0-3
/proc/20152/task/20168/stat : 20168 (java) R 20149 20152 17242 0 -1 4202560 36614 0 0 0 231914 9 0 0 20 0 16 0 415074060 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821392510336 139821944158272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
Current children cumulated CPU time: 2337.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1828424 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/208 20436
/proc/meminfo: memFree=28285256/32770688 swapFree=66961080/67108860
[pid=20152] ppid=20149 vsize=10748324 memory=1828424 CPUtime=2397.05 cores=0-3
/proc/20152/stat : 20152 (java) S 20149 20152 17242 0 -1 1077944320 123027 0 0 0 239528 177 0 0 20 0 16 0 415073846 11006283776 457106 33554432000 4194304 4196468 140725008110368 140725008092912 139822315224823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
/proc/20152/statm: 2687081 457106 3383 1 0 2647217 0
[pid=20152/tid=20154] ppid=20149 vsize=10748324 memory=1828424 CPUtime=2.11 cores=0-3
/proc/20152/task/20154/stat : 20154 (java) S 20149 20152 17242 0 -1 1077944384 15498 0 0 0 203 8 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822319467696 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20155] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.9 cores=0-3
/proc/20152/task/20155/stat : 20155 (java) S 20149 20152 17242 0 -1 1077944384 1441 0 0 0 59 31 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822267845776 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20156] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.95 cores=0-3
/proc/20152/task/20156/stat : 20156 (java) S 20149 20152 17242 0 -1 1077944384 2125 0 0 0 63 32 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822266792976 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20157] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.92 cores=0-3
/proc/20152/task/20157/stat : 20157 (java) S 20149 20152 17242 0 -1 1077944384 1297 0 0 0 61 31 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822265740176 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20158] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.92 cores=0-3
/proc/20152/task/20158/stat : 20158 (java) S 20149 20152 17242 0 -1 1077944384 2795 0 0 0 63 29 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822264687376 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20159] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.09 cores=0-3
/proc/20152/task/20159/stat : 20159 (java) S 20149 20152 17242 0 -1 1077944384 9229 0 0 0 7 2 0 0 20 0 16 0 415073849 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821874350448 139822315235970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20160] ppid=20149 vsize=10748324 memory=6010144297837159270 CPUtime=0 cores=0-3
/proc/20152/task/20160/stat : 20160 (java) S 20149 20152 17242 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415073849 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821873296480 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20161] ppid=20149 vsize=10748324 memory=4872558044660077418 CPUtime=0 cores=0-3
/proc/20152/task/20161/stat : 20161 (java) S 20149 20152 17242 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415073850 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821872243584 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20162] ppid=20149 vsize=10748324 memory=8560 CPUtime=0 cores=0-3
/proc/20152/task/20162/stat : 20162 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821871191888 139822315243419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20163] ppid=20149 vsize=10748324 memory=1408 CPUtime=4.18 cores=0-3
/proc/20152/task/20163/stat : 20163 (java) S 20149 20152 17242 0 -1 1077944384 14658 0 0 0 416 2 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821870140272 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20164] ppid=20149 vsize=10748324 memory=3260 CPUtime=5.84 cores=0-3
/proc/20152/task/20164/stat : 20164 (java) S 20149 20152 17242 0 -1 1077944384 22699 0 0 0 581 3 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821869087472 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20165] ppid=20149 vsize=10748324 memory=2044 CPUtime=1.22 cores=0-3
/proc/20152/task/20165/stat : 20165 (java) S 20149 20152 17242 0 -1 1077944384 12721 0 0 0 120 2 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821868034672 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20166] ppid=20149 vsize=10748324 memory=1380 CPUtime=0 cores=0-3
/proc/20152/task/20166/stat : 20166 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821866982112 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20167] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.59 cores=0-3
/proc/20152/task/20167/stat : 20167 (java) S 20149 20152 17242 0 -1 1077944384 1988 0 0 0 24 35 0 0 20 0 16 0 415073853 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821865929392 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20168] ppid=20149 vsize=10748324 memory=1828424 CPUtime=2379.23 cores=0-3
/proc/20152/task/20168/stat : 20168 (java) R 20149 20152 17242 0 -1 4202560 37156 0 0 0 237914 9 0 0 20 0 16 0 415074060 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821392510336 139821941374871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
Current children cumulated CPU time: 2397.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1828424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2385.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/208 20436
/proc/meminfo: memFree=28285404/32770688 swapFree=66961080/67108860
[pid=20152] ppid=20149 vsize=10748324 memory=1828424 CPUtime=2400.05 cores=0-3
/proc/20152/stat : 20152 (java) S 20149 20152 17242 0 -1 1077944320 123049 0 0 0 239828 177 0 0 20 0 16 0 415073846 11006283776 457106 33554432000 4194304 4196468 140725008110368 140725008092912 139822315224823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
/proc/20152/statm: 2687081 457106 3383 1 0 2647217 0
[pid=20152/tid=20154] ppid=20149 vsize=10748324 memory=1828424 CPUtime=2.11 cores=0-3
/proc/20152/task/20154/stat : 20154 (java) S 20149 20152 17242 0 -1 1077944384 15498 0 0 0 203 8 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822319467696 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20155] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.9 cores=0-3
/proc/20152/task/20155/stat : 20155 (java) S 20149 20152 17242 0 -1 1077944384 1441 0 0 0 59 31 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822267845776 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20156] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.95 cores=0-3
/proc/20152/task/20156/stat : 20156 (java) S 20149 20152 17242 0 -1 1077944384 2125 0 0 0 63 32 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822266792976 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20157] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.92 cores=0-3
/proc/20152/task/20157/stat : 20157 (java) S 20149 20152 17242 0 -1 1077944384 1297 0 0 0 61 31 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822265740176 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20158] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.92 cores=0-3
/proc/20152/task/20158/stat : 20158 (java) S 20149 20152 17242 0 -1 1077944384 2795 0 0 0 63 29 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822264687376 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20159] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.09 cores=0-3
/proc/20152/task/20159/stat : 20159 (java) S 20149 20152 17242 0 -1 1077944384 9229 0 0 0 7 2 0 0 20 0 16 0 415073849 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821874350448 139822315235970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20160] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0 cores=0-3
/proc/20152/task/20160/stat : 20160 (java) S 20149 20152 17242 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415073849 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821873296480 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20161] ppid=20149 vsize=10748324 memory=4872558044660077418 CPUtime=0 cores=0-3
/proc/20152/task/20161/stat : 20161 (java) S 20149 20152 17242 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415073850 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821872243584 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20162] ppid=20149 vsize=10748324 memory=8560 CPUtime=0 cores=0-3
/proc/20152/task/20162/stat : 20162 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821871191888 139822315243419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20163] ppid=20149 vsize=10748324 memory=2044 CPUtime=4.18 cores=0-3
/proc/20152/task/20163/stat : 20163 (java) S 20149 20152 17242 0 -1 1077944384 14658 0 0 0 416 2 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821870140272 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20164] ppid=20149 vsize=10748324 memory=1380 CPUtime=5.84 cores=0-3
/proc/20152/task/20164/stat : 20164 (java) S 20149 20152 17242 0 -1 1077944384 22699 0 0 0 581 3 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821869087472 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20165] ppid=20149 vsize=10748324 memory=3612 CPUtime=1.22 cores=0-3
/proc/20152/task/20165/stat : 20165 (java) S 20149 20152 17242 0 -1 1077944384 12721 0 0 0 120 2 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821868034672 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20166] ppid=20149 vsize=10748324 memory=38512 CPUtime=0 cores=0-3
/proc/20152/task/20166/stat : 20166 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821866982112 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20167] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.59 cores=0-3
/proc/20152/task/20167/stat : 20167 (java) S 20149 20152 17242 0 -1 1077944384 1988 0 0 0 24 35 0 0 20 0 16 0 415073853 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821865929392 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20168] ppid=20149 vsize=10748324 memory=8560 CPUtime=2382.23 cores=0-3
/proc/20152/task/20168/stat : 20168 (java) R 20149 20152 17242 0 -1 4202560 37178 0 0 0 238214 9 0 0 20 0 16 0 415074060 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821392510336 139821945160325 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1828424 KiB

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

[startup+2385.32 s]
# the end of solver process 20152 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.3 s, system=1.79038 s

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

[startup+2385.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/208 20436
/proc/meminfo: memFree=28285404/32770688 swapFree=66961080/67108860
[pid=20152] ppid=20149 vsize=10748324 memory=1828424 CPUtime=2400.05 cores=0-3
/proc/20152/stat : 20152 (java) S 20149 20152 17242 0 -1 1077944320 123049 0 0 0 239828 177 0 0 20 0 16 0 415073846 11006283776 457106 33554432000 4194304 4196468 140725008110368 140725008092912 139822315224823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
/proc/20152/statm: 2687081 457106 3383 1 0 2647217 0
[pid=20152/tid=20154] ppid=20149 vsize=10748324 memory=1828424 CPUtime=2.11 cores=0-3
/proc/20152/task/20154/stat : 20154 (java) S 20149 20152 17242 0 -1 1077944384 15498 0 0 0 203 8 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822319467696 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20155] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.9 cores=0-3
/proc/20152/task/20155/stat : 20155 (java) S 20149 20152 17242 0 -1 1077944384 1441 0 0 0 59 31 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822267845776 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20156] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.95 cores=0-3
/proc/20152/task/20156/stat : 20156 (java) S 20149 20152 17242 0 -1 1077944384 2125 0 0 0 63 32 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822266792976 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20157] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.92 cores=0-3
/proc/20152/task/20157/stat : 20157 (java) S 20149 20152 17242 0 -1 1077944384 1297 0 0 0 61 31 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822265740176 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20158] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.92 cores=0-3
/proc/20152/task/20158/stat : 20158 (java) S 20149 20152 17242 0 -1 1077944384 2795 0 0 0 63 29 0 0 20 0 16 0 415073847 11006283776 457106 33554432000 4194304 4196468 140725008110368 139822264687376 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20159] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.09 cores=0-3
/proc/20152/task/20159/stat : 20159 (java) S 20149 20152 17242 0 -1 1077944384 9229 0 0 0 7 2 0 0 20 0 16 0 415073849 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821874350448 139822315235970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20160] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0 cores=0-3
/proc/20152/task/20160/stat : 20160 (java) S 20149 20152 17242 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415073849 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821873296480 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20161] ppid=20149 vsize=10748324 memory=4872558044660077418 CPUtime=0 cores=0-3
/proc/20152/task/20161/stat : 20161 (java) S 20149 20152 17242 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415073850 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821872243584 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20162] ppid=20149 vsize=10748324 memory=8560 CPUtime=0 cores=0-3
/proc/20152/task/20162/stat : 20162 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821871191888 139822315243419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20163] ppid=20149 vsize=10748324 memory=2044 CPUtime=4.18 cores=0-3
/proc/20152/task/20163/stat : 20163 (java) S 20149 20152 17242 0 -1 1077944384 14658 0 0 0 416 2 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821870140272 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20164] ppid=20149 vsize=10748324 memory=1380 CPUtime=5.84 cores=0-3
/proc/20152/task/20164/stat : 20164 (java) S 20149 20152 17242 0 -1 1077944384 22699 0 0 0 581 3 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821869087472 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20165] ppid=20149 vsize=10748324 memory=3612 CPUtime=1.22 cores=0-3
/proc/20152/task/20165/stat : 20165 (java) S 20149 20152 17242 0 -1 1077944384 12721 0 0 0 120 2 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821868034672 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20166] ppid=20149 vsize=10748324 memory=38512 CPUtime=0 cores=0-3
/proc/20152/task/20166/stat : 20166 (java) S 20149 20152 17242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415073852 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821866982112 139822315235029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20167] ppid=20149 vsize=10748324 memory=1828424 CPUtime=0.59 cores=0-3
/proc/20152/task/20167/stat : 20167 (java) S 20149 20152 17242 0 -1 1077944384 1988 0 0 0 24 35 0 0 20 0 16 0 415073853 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821865929392 139822315235970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
[pid=20152/tid=20168] ppid=20149 vsize=10748324 memory=8560 CPUtime=2382.23 cores=0-3
/proc/20152/task/20168/stat : 20168 (java) R 20149 20152 17242 0 -1 4202560 37178 0 0 0 238214 9 0 0 20 0 16 0 415074060 11006283776 457106 33554432000 4194304 4196468 140725008110368 139821392510336 139821945160325 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16736256 140725008114699 140725008114802 140725008114802 140725008117711 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1828424 KiB

Child status: 143
Real time (s): 2385.32
CPU time (s): 2400.09
CPU user time (s): 2398.3
CPU system time (s): 1.79038
CPU usage (%): 100.619
Max. virtual memory (cumulated for all children) (KiB): 10750700
Max. memory (cumulated for all children) (KiB): 1828424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.3
system time used= 1.79038
maximum resident set size= 1828988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55925
involuntary context switches= 762


# summary of solver processes directly reported to runsolver:
#   pid: 20152
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2398.3
#   total CPU system time (s): 1.79038

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6719 second user time and 22.1674 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-13 18:14:41
IDJOB=4391326
IDBENCH=139585
IDSOLVER=2833
FILE ID=node116/4391326-1568391322
RUNJOBID= node116-1568388659-19203
PBS_JOBID= 21701846
Free space on /tmp= 61236 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_10_9.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391326-1568391322/watcher-4391326-1568391322 -o /tmp/evaluation-result-4391326-1568391322/solver-4391326-1568391322 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568388659-19203 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391326-1568391322.xml -cm

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

MD5SUM BENCH= 3187efa1e901acb6cc373eb045baee33
RANDOM SEED=204100487

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        29882048 kB
MemAvailable:   31642628 kB
Buffers:          126484 kB
Cached:          1919800 kB
SwapCached:        46632 kB
Active:           956636 kB
Inactive:        1355788 kB
Active(anon):     218668 kB
Inactive(anon):    87964 kB
Active(file):     737968 kB
Inactive(file):  1267824 kB
Unevictable:      109188 kB
Mlocked:          109188 kB
SwapTotal:      67108860 kB
SwapFree:       66961080 kB
Dirty:              8724 kB
Writeback:             0 kB
AnonPages:        329040 kB
Mapped:            55940 kB
Shmem:             31984 kB
Slab:             169236 kB
SReclaimable:     141248 kB
SUnreclaim:        27988 kB
KernelStack:        3728 kB
PageTables:         6640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1185532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    258048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61236 MiB
End job on node116 at 2019-09-13 18:54:26