Trace number 4391328

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.04 2385.32

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_19_19.xml
MD5SUM96fe93baa9d8ae993bfc516e2d84a024
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1288.59
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":10,"count":111},{"size":48,"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.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.89	
4.03/2.31	  Instance
4.03/2.31	    name=instance-4391328-1568391325, framework=COP, bounds=-infty..+infty
4.03/2.31	
4.03/2.31	  Loading variables...
4.71/2.56	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad8f52e
11.04/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6ab1b
11.04/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea65c4
11.04/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4736ee1a
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738511a1
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29141ca0
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d2ae2c
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17bf7a9d
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542d7b5b
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a68ba39
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482218e5
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc847c1
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ad290d
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3c64f7
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3927b4b4
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db64b37
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4712b4ec
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157f558b
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253f3793
11.04/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0cb002
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63fc4803
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad8abb9
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ffcc589
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3989d923
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f67d65
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f04e217
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c0877d6
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3a56e
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291d1c4d
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4396fceb
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745b64e
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@feb115e
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7f90e2
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60718f3d
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23739d55
11.04/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4014264c
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753913fa
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac47ea3
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c15ace
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a87f5e2
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5e259a
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57e018ab
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c7123f
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3febf50d
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea787c7
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a560e0d
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b15132
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82275a
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3660da83
11.04/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e80ec65
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8570d90
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56523561
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454f86e1
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d8f01c4
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@602cd57d
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@514b06e8
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d646c4
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37d1beac
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce87161
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cd601a2
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6546bb39
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e07a8e
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a9342c
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259dc7fa
11.04/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a78d73e
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@584fae5e
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e255a9
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b17b26
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31f7575e
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5726a282
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b019d71
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b353508
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370851e1
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51d60c0c
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290810f8
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745afe8e
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e2590f
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482c1716
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1396ed3c
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ba0a17
11.04/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24273097
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3e5dbc
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160f0941
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de7e48
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@695f6116
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15052370
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21bf8da5
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b3c20b
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39cdde1d
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10138d12
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e66b92
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e510426
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79048136
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e060c7d
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b1eee1
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756ba478
11.04/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29eb1d55
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b552841
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7445dc62
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dcf9607
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2969550e
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2293f98c
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bf0bc0c
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c77b0c1
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f8b5c3
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f0fdc5
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b5699d2
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@88cd172
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ad84980
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68d4ca44
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1bb805
11.04/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f619dc1
11.37/4.59	
11.37/4.59	
11.37/4.59	  Domains
11.37/4.59	    nTypes=4, nValues=43401, sizes=[2#12321,10#111,48#111,111#111]
11.37/4.59	  Variables
11.37/4.59	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.37/4.59	  Objectives
11.37/4.59	    way=min, type=SumSimpleLE
11.37/4.59	  Constraints
11.37/4.59	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.37/4.59	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.37/4.59	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.37/4.59	    wck=2.74, cpu=4.107, mem=933M330
11.73/4.61	  Solver SolverBacktrack being built...
11.73/4.61	
12.03/4.72	
12.03/4.72	  Solver
12.03/4.72	    guaranteedGAC=false
12.03/4.72	    wck=2.875, cpu=4.239, mem=965M249
13.22/5.45	
13.22/5.45	  Preprocessing
13.22/5.45	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.22/5.45	    wck=0.733, cpu=4.975, mem=965M249
13.22/5.45	
13.42/5.53	    num=0, depth=111..120, filters=2246, revisions=(28527,useless=26303), ccks=1385701, wck=0.801, mem=965M249
13.42/5.53	    decisions=140, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.42/5.53	    
14.07/5.77	    num=1, depth=1089..1104, filters=7094, revisions=(126000,useless=119335), ccks=1467779, wck=1.047, mem=965M249
14.07/5.77	    decisions=1266, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
14.07/5.77	    
15.08/6.13	    num=2, depth=2283..2294, filters=13994, revisions=(352587,useless=340034), ccks=1653211, wck=1.408, mem=965M249
15.08/6.13	    decisions=3584, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
15.08/6.13	    
16.12/6.63	    num=3, depth=3588..3600, filters=23168, revisions=(690636,useless=670309), ccks=1804893, wck=1.911, mem=965M249
16.12/6.63	    decisions=7210, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
16.12/6.63	    
17.40/7.28	    num=4, depth=5001..5014, filters=34951, revisions=(1158354,useless=1128147), ccks=1988767, wck=2.562, mem=973M222
17.40/7.28	    decisions=12252, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
17.40/7.28	    
18.56/8.04	    num=5, depth=6527..6532, filters=47629, revisions=(1712666,useless=1671736), ccks=2179084, wck=3.316, mem=977M238
18.56/8.04	    decisions=18816, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
18.56/8.04	    
19.77/9.03	    num=6, depth=6820..7003, filters=156226, revisions=(2501528,useless=2356513), ccks=2610728, wck=4.311, mem=977M238
19.77/9.03	    decisions=29256, wrong=1879, backtracks=1802, failedAssignments=93, nogoods=78
19.77/9.03	    
20.87/10.01	    num=7, depth=7038..7255, filters=265621, revisions=(3307557,useless=3057731), ccks=3028465, wck=5.29, mem=977M238
20.87/10.01	    decisions=40105, wrong=3736, backtracks=3658, failedAssignments=112, nogoods=80
20.87/10.01	    
21.69/10.80	    num=8, depth=7148..7255, filters=285654, revisions=(3919322,useless=3651643), ccks=3154177, wck=6.084, mem=977M238
21.69/10.80	    decisions=47662, wrong=3909, backtracks=3810, failedAssignments=133, nogoods=99
21.69/10.80	    
22.75/11.84	    num=9, depth=7090..7256, filters=425086, revisions=(4792846,useless=4391178), ccks=3649686, wck=7.12, mem=977M238
22.75/11.84	    decisions=59605, wrong=6335, backtracks=6234, failedAssignments=156, nogoods=101
22.75/11.84	    
23.55/12.67	    num=10, depth=7319..7397, filters=449379, revisions=(5420015,useless=4996669), ccks=3792980, wck=7.948, mem=977M238
23.55/12.67	    decisions=67941, wrong=6805, backtracks=6680, failedAssignments=181, nogoods=113
23.55/12.67	    
24.68/13.78	    num=11, depth=7151..7368, filters=612778, revisions=(6352658,useless=5771956), ccks=4359308, wck=9.063, mem=977M238
24.68/13.78	    decisions=80924, wrong=9668, backtracks=9539, failedAssignments=209, nogoods=115
24.68/13.78	    
25.88/14.97	    num=12, depth=7310..7475, filters=807638, revisions=(7360027,useless=6591305), ccks=5029069, wck=10.248, mem=977M238
25.88/14.97	    decisions=94998, wrong=13050, backtracks=12920, failedAssignments=240, nogoods=116
25.88/14.97	    
26.88/15.93	    num=13, depth=7367..7476, filters=869970, revisions=(8062639,useless=7235755), ccks=5270607, wck=11.215, mem=977M238
26.88/15.93	    decisions=105685, wrong=14710, backtracks=14579, failedAssignments=274, nogoods=117
26.88/15.93	    
27.78/16.89	    num=14, depth=1169..7442, filters=928776, revisions=(8758260,useless=7876584), ccks=5501949, wck=12.175, mem=977M238
27.78/16.89	    decisions=116171, wrong=16279, backtracks=16142, failedAssignments=311, nogoods=123
27.78/16.89	    
28.90/17.92	    num=15, depth=1113..7389, filters=1019653, revisions=(9521440,useless=8553750), ccks=5831361, wck=13.196, mem=977M238
28.90/17.92	    decisions=127791, wrong=18450, backtracks=18304, failedAssignments=352, nogoods=132
28.90/17.92	    
29.95/18.96	    num=16, depth=1134..7357, filters=1115176, revisions=(10295242,useless=9237404), ccks=6173376, wck=14.242, mem=977M238
29.95/18.96	    decisions=139987, wrong=20928, backtracks=20778, failedAssignments=397, nogoods=136
29.95/18.96	    
30.96/19.95	    num=17, depth=1167..7310, filters=1196476, revisions=(11031164,useless=9897014), ccks=6467889, wck=15.232, mem=977M238
30.96/19.95	    decisions=151781, wrong=23226, backtracks=23072, failedAssignments=447, nogoods=140
30.96/19.95	    
31.98/20.96	    num=18, depth=1246..7253, filters=1285507, revisions=(11780075,useless=10562201), ccks=6783861, wck=16.24, mem=982M390
31.98/20.96	    decisions=163992, wrong=25765, backtracks=25607, failedAssignments=502, nogoods=144
31.98/20.96	    
32.98/21.92	    num=19, depth=1268..7195, filters=1352049, revisions=(12477661,useless=11197708), ccks=7030382, wck=17.197, mem=982M390
32.98/21.92	    decisions=175259, wrong=27859, backtracks=27697, failedAssignments=563, nogoods=148
32.98/21.92	    
33.88/22.85	    num=20, depth=1358..7127, filters=1409306, revisions=(13152172,useless=11818985), ccks=7249970, wck=18.13, mem=982M390
33.88/22.85	    decisions=186003, wrong=29737, backtracks=29571, failedAssignments=630, nogoods=152
33.88/22.85	    
34.69/23.65	    num=21, depth=1425..7082, filters=1437499, revisions=(13787479,useless=12428401), ccks=7405348, wck=18.934, mem=982M390
34.69/23.65	    decisions=193656, wrong=30023, backtracks=29784, failedAssignments=704, nogoods=225
34.69/23.65	    
37.99/25.66	    num=22, depth=6836..7052, filters=1803254, revisions=(15171031,useless=13457529), ccks=8592875, wck=20.937, mem=716M63
37.99/25.66	    decisions=213651, wrong=36510, backtracks=36247, failedAssignments=785, nogoods=249
37.99/25.66	    
39.22/26.73	    num=23, depth=6946..7163, filters=1972308, revisions=(16125015,useless=14248576), ccks=9184363, wck=22.008, mem=716M63
39.22/26.73	    decisions=226657, wrong=39441, backtracks=39113, failedAssignments=874, nogoods=312
39.22/26.73	    
40.12/27.61	    num=24, depth=7166..7342, filters=2023396, revisions=(16895481,useless=14971605), ccks=9498257, wck=22.893, mem=716M63
40.12/27.61	    decisions=235939, wrong=40486, backtracks=40085, failedAssignments=972, nogoods=358
40.12/27.61	    
41.04/28.54	    num=25, depth=7385..7602, filters=2094565, revisions=(17681904,useless=15690576), ccks=9817551, wck=23.818, mem=724M47
41.04/28.54	    decisions=245871, wrong=41663, backtracks=41166, failedAssignments=1080, nogoods=454
41.04/28.54	    
43.14/30.61	    num=26, depth=7463..7745, filters=2788538, revisions=(19796061,useless=17130628), ccks=12008512, wck=25.893, mem=724M47
43.14/30.61	    decisions=278590, wrong=54276, backtracks=53779, failedAssignments=1199, nogoods=456
43.14/30.61	    
45.34/32.88	    num=27, depth=7552..7881, filters=3582637, revisions=(22156591,useless=18719843), ccks=14505593, wck=28.163, mem=724M47
45.34/32.88	    decisions=314916, wrong=68587, backtracks=68086, failedAssignments=1330, nogoods=459
45.34/32.88	    
46.24/33.72	    num=28, depth=7882..8012, filters=3608244, revisions=(22811955,useless=19351554), ccks=14641401, wck=29.001, mem=724M47
46.24/33.72	    decisions=323429, wrong=68839, backtracks=68194, failedAssignments=1474, nogoods=496
46.24/33.72	    
48.14/35.67	    num=29, depth=4452..8040, filters=4190188, revisions=(24822183,useless=20804953), ccks=16636754, wck=30.95, mem=724M47
48.14/35.67	    decisions=353456, wrong=79903, backtracks=79254, failedAssignments=1632, nogoods=503
48.14/35.67	    
49.04/36.53	    num=30, depth=4588..8135, filters=4219122, revisions=(25503340,useless=21459222), ccks=16798684, wck=31.808, mem=732M32
49.04/36.53	    decisions=362154, wrong=80186, backtracks=79364, failedAssignments=1806, nogoods=570
49.04/36.53	    
51.27/38.71	    num=31, depth=4590..8318, filters=4835737, revisions=(28123461,useless=23488747), ccks=19302292, wck=33.988, mem=732M32
51.27/38.71	    decisions=397256, wrong=93670, backtracks=92851, failedAssignments=1997, nogoods=575
51.27/38.71	    
52.68/40.19	    num=32, depth=4987..8460, filters=5208578, revisions=(29551779,useless=24555229), ccks=20508784, wck=35.47, mem=732M32
52.68/40.19	    decisions=418900, wrong=100303, backtracks=99333, failedAssignments=2208, nogoods=621
52.68/40.19	    
53.97/41.40	    num=33, depth=8242..8459, filters=5428648, revisions=(30646785,useless=25436982), ccks=21247713, wck=36.683, mem=732M32
53.97/41.40	    decisions=435092, wrong=104174, backtracks=103007, failedAssignments=2440, nogoods=713
53.97/41.40	    
57.38/44.81	    num=34, depth=8346..8568, filters=6878951, revisions=(34470304,useless=27850620), ccks=25747617, wck=40.088, mem=739M985
57.38/44.81	    decisions=497340, wrong=131084, backtracks=129923, failedAssignments=2695, nogoods=715
57.38/44.81	    
58.38/45.81	    num=35, depth=8559..8679, filters=6978832, revisions=(35311494,useless=28595450), ccks=26119831, wck=41.088, mem=739M985
58.38/45.81	    decisions=509178, wrong=132684, backtracks=131256, failedAssignments=2976, nogoods=770
58.38/45.81	    
59.18/46.69	    num=36, depth=8573..8684, filters=7009583, revisions=(36004336,useless=29259212), ccks=26273918, wck=41.974, mem=747M973
59.18/46.69	    decisions=518480, wrong=132995, backtracks=131259, failedAssignments=3285, nogoods=865
59.18/46.69	    
61.59/49.07	    num=37, depth=8574..8856, filters=7759958, revisions=(38781907,useless=31312000), ccks=28973394, wck=44.348, mem=747M973
61.59/49.07	    decisions=559916, wrong=149396, backtracks=147648, failedAssignments=3625, nogoods=867
61.59/49.07	    
63.28/50.78	    num=38, depth=8789..9010, filters=8264240, revisions=(40536472,useless=32576432), ccks=30587023, wck=46.059, mem=747M973
63.28/50.78	    decisions=586897, wrong=158398, backtracks=156352, failedAssignments=3999, nogoods=950
63.28/50.78	    
64.48/51.96	    num=39, depth=8791..9011, filters=8457935, revisions=(41606036,useless=33458144), ccks=31242376, wck=47.237, mem=755M962
64.48/51.96	    decisions=602465, wrong=161689, backtracks=159255, failedAssignments=4410, nogoods=1015
64.48/51.96	    
65.38/52.89	    num=40, depth=9120..9123, filters=8497137, revisions=(42344785,useless=34159437), ccks=31442374, wck=48.172, mem=755M962
65.38/52.89	    decisions=612501, wrong=162147, backtracks=159263, failedAssignments=4862, nogoods=1062
65.38/52.89	    
70.00/57.42	    num=41, depth=9339..9662, filters=10459977, revisions=(48432214,useless=38345327), ccks=38185254, wck=52.702, mem=755M962
70.00/57.42	    decisions=704239, wrong=203271, backtracks=200410, failedAssignments=5359, nogoods=1065
70.00/57.42	    
71.10/58.53	    num=42, depth=9545..9664, filters=10597399, revisions=(49387786,useless=39167417), ccks=38672088, wck=53.809, mem=763M954
71.10/58.53	    decisions=718420, wrong=205587, backtracks=202195, failedAssignments=5906, nogoods=1171
71.10/58.53	    
77.71/65.12	    num=43, depth=9490..9724, filters=14114807, revisions=(57851310,useless=44209008), ccks=49513883, wck=60.398, mem=763M954
77.71/65.12	    decisions=857887, wrong=270525, backtracks=267129, failedAssignments=6508, nogoods=1173
77.71/65.12	    
78.81/66.21	    num=44, depth=9504..9725, filters=14219141, revisions=(58814464,useless=45071381), ccks=49930198, wck=61.487, mem=771M907
78.81/66.21	    decisions=870837, wrong=272144, backtracks=268093, failedAssignments=7170, nogoods=1183
78.81/66.21	    
80.01/67.43	    num=45, depth=9615..9829, filters=14363857, revisions=(60085874,useless=46204517), ccks=50629429, wck=62.706, mem=771M907
80.01/67.43	    decisions=888124, wrong=275934, backtracks=271222, failedAssignments=7898, nogoods=1223
80.01/67.43	    
81.75/69.16	    num=46, depth=9712..9846, filters=14663712, revisions=(62164899,useless=48000459), ccks=51853609, wck=64.439, mem=771M907
81.75/69.16	    decisions=918036, wrong=286002, backtracks=281091, failedAssignments=8699, nogoods=1230
81.75/69.16	    
82.75/70.14	    num=47, depth=9605..10143, filters=14728812, revisions=(62988104,useless=48760135), ccks=52109686, wck=65.423, mem=771M907
82.75/70.14	    decisions=929982, wrong=286924, backtracks=281132, failedAssignments=9580, nogoods=1256
82.75/70.14	    
84.84/72.27	    num=48, depth=10144..10364, filters=15453849, revisions=(65473256,useless=50543320), ccks=54474983, wck=67.546, mem=779M860
84.84/72.27	    decisions=971637, wrong=302621, backtracks=296052, failedAssignments=10550, nogoods=1270
84.84/72.27	    
93.85/81.27	    num=49, depth=10187..10417, filters=20689832, revisions=(77783857,useless=57765406), ccks=70554554, wck=76.55, mem=779M860
93.85/81.27	    decisions=1184069, wrong=403706, backtracks=397077, failedAssignments=11617, nogoods=1272
93.85/81.27	    
101.15/88.52	    num=50, depth=1351..10527, filters=24679933, revisions=(87321243,useless=63431434), ccks=82793704, wck=83.796, mem=787M813
101.15/88.52	    decisions=1355713, wrong=484357, backtracks=477666, failedAssignments=12790, nogoods=1281
101.15/88.52	    
103.55/90.98	    num=51, depth=2640..10525, filters=25135407, revisions=(91637399,useless=67323101), ccks=85532946, wck=86.261, mem=787M813
103.55/90.98	    decisions=1406172, wrong=504370, backtracks=496900, failedAssignments=14081, nogoods=1315
103.55/90.98	    
104.95/92.39	    num=52, depth=1678..10479, filters=25247651, revisions=(92515904,useless=68109862), ccks=85783057, wck=87.674, mem=787M813
104.95/92.39	    decisions=1427244, wrong=509711, backtracks=501927, failedAssignments=15501, nogoods=1330
104.95/92.39	    
114.15/101.57	    num=53, depth=9172..10328, filters=29232440, revisions=(108176125,useless=79942567), ccks=101011864, wck=96.852, mem=795M766
114.15/101.57	    decisions=1643787, wrong=612901, backtracks=605104, failedAssignments=17063, nogoods=1344
114.15/101.57	    
122.55/109.98	    num=54, depth=4438..10453, filters=33603765, revisions=(120231503,useless=87767688), ccks=115258270, wck=105.264, mem=803M719
122.55/109.98	    decisions=1835553, wrong=703648, backtracks=694990, failedAssignments=18781, nogoods=1361
122.55/109.98	    
128.76/116.12	    num=55, depth=4663..10438, filters=36557342, revisions=(127255073,useless=91939571), ccks=124086991, wck=111.396, mem=811M672
128.76/116.12	    decisions=1988175, wrong=774792, backtracks=766117, failedAssignments=20671, nogoods=1376
128.76/116.12	    
136.56/123.91	    num=56, depth=4885..10368, filters=40383603, revisions=(135815882,useless=96804793), ccks=135297699, wck=119.188, mem=819M626
136.56/123.91	    decisions=2190598, wrong=870906, backtracks=862207, failedAssignments=22750, nogoods=1408
136.56/123.91	    
150.27/137.69	    num=57, depth=5848..10248, filters=48212205, revisions=(153529294,useless=106926277), ccks=158983722, wck=132.971, mem=827M579
150.27/137.69	    decisions=2532582, wrong=1036873, backtracks=1028200, failedAssignments=25037, nogoods=1454
150.27/137.69	    
160.37/147.77	    num=58, depth=6190..10303, filters=53530599, revisions=(165881739,useless=114141011), ccks=175083513, wck=143.05, mem=835M532
160.37/147.77	    decisions=2785734, wrong=1158412, backtracks=1149725, failedAssignments=27553, nogoods=1477
160.37/147.77	    
169.48/156.84	    num=59, depth=3328..10212, filters=58004967, revisions=(176338760,useless=120347439), ccks=191179027, wck=152.123, mem=843M485
169.48/156.84	    decisions=3004813, wrong=1262873, backtracks=1254286, failedAssignments=30321, nogoods=1524
169.48/156.84	    
181.69/169.06	    num=60, depth=6522..10247, filters=63323662, revisions=(193760429,useless=132690757), ccks=209838242, wck=164.338, mem=859M431
181.69/169.06	    decisions=3322724, wrong=1416773, backtracks=1408089, failedAssignments=33365, nogoods=1558
181.69/169.06	    
196.69/184.06	    num=61, depth=4392..10304, filters=70803677, revisions=(211221506,useless=142968453), ccks=232564798, wck=179.343, mem=867M384
196.69/184.06	    decisions=3731882, wrong=1616253, backtracks=1607632, failedAssignments=36714, nogoods=1609
196.69/184.06	    
202.49/189.88	    num=62, depth=5019..10398, filters=72920675, revisions=(216782156,useless=146531417), ccks=238955736, wck=185.164, mem=875M337
202.49/189.88	    decisions=3901662, wrong=1695979, backtracks=1685376, failedAssignments=40398, nogoods=1723
202.49/189.88	    
226.70/214.07	    num=63, depth=7072..10395, filters=87139933, revisions=(251228733,useless=167181585), ccks=283330653, wck=209.351, mem=899M196
226.70/214.07	    decisions=4506215, wrong=1993147, backtracks=1982487, failedAssignments=44450, nogoods=1785
226.70/214.07	    
256.11/243.45	    num=64, depth=6230..10371, filters=104463250, revisions=(289934123,useless=189099973), ccks=335895876, wck=238.733, mem=923M56
256.11/243.45	    decisions=5260716, wrong=2365357, backtracks=2354764, failedAssignments=48907, nogoods=1792
256.11/243.45	    
272.62/259.91	    num=65, depth=4355..10359, filters=114204708, revisions=(312325449,useless=202037704), ccks=365680644, wck=255.187, mem=939M3
272.62/259.91	    decisions=5668160, wrong=2563936, backtracks=2550825, failedAssignments=53810, nogoods=1900
272.62/259.91	    
288.42/275.73	    num=66, depth=8787..10186, filters=122307849, revisions=(330561471,useless=212476322), ccks=389901517, wck=271.014, mem=946M956
288.42/275.73	    decisions=6088322, wrong=2769001, backtracks=2755888, failedAssignments=59204, nogoods=1920
288.42/275.73	    
308.44/295.79	    num=67, depth=6588..10062, filters=133598862, revisions=(357297370,useless=228288637), ccks=424677156, wck=291.069, mem=962M863
308.44/295.79	    decisions=6559448, wrong=2999600, backtracks=2984693, failedAssignments=65137, nogoods=1930
308.44/295.79	    
352.05/339.33	    num=68, depth=8897..10298, filters=159638524, revisions=(415769206,useless=261525902), ccks=504054793, wck=334.61, mem=994M675
352.05/339.33	    decisions=7667590, wrong=3548553, backtracks=3533872, failedAssignments=71663, nogoods=1940
352.05/339.33	    
381.56/368.81	    num=69, depth=7154..10363, filters=175017569, revisions=(455160538,useless=286130624), ccks=552987596, wck=364.09, mem=1018M535
381.56/368.81	    decisions=8456111, wrong=3937748, backtracks=3922402, failedAssignments=78842, nogoods=1960
381.56/368.81	    
423.39/410.68	    num=70, depth=5088..10453, filters=199490086, revisions=(510403447,useless=317696816), ccks=627489287, wck=405.96, mem=1058M340
423.39/410.68	    decisions=9563228, wrong=4486206, backtracks=4470295, failedAssignments=86739, nogoods=2103
423.39/410.68	    
441.81/429.08	    num=71, depth=5995..10425, filters=208007144, revisions=(529621022,useless=328786013), ccks=652730146, wck=424.361, mem=1074M247
441.81/429.08	    decisions=10111491, wrong=4755188, backtracks=4738392, failedAssignments=95426, nogoods=2205
441.81/429.08	    
485.54/472.75	    num=72, depth=6239..10475, filters=231206284, revisions=(581817958,useless=358694393), ccks=722766341, wck=468.033, mem=1109M686
485.54/472.75	    decisions=11353421, wrong=5371020, backtracks=5354049, failedAssignments=104981, nogoods=2313
485.54/472.75	    
507.70/494.53	    num=73, depth=5712..10678, filters=242710533, revisions=(606179958,useless=372018574), ccks=756080750, wck=489.806, mem=809M416
507.70/494.53	    decisions=11966718, wrong=5672397, backtracks=5650321, failedAssignments=115492, nogoods=2432
507.70/494.53	    
588.73/575.57	    num=74, depth=5967..10652, filters=294425750, revisions=(721918887,useless=437534423), ccks=913924418, wck=570.854, mem=866M543
588.73/575.57	    decisions=14054028, wrong=6710798, backtracks=6688902, failedAssignments=127054, nogoods=2559
588.73/575.57	    
629.64/616.42	    num=75, depth=6065..10745, filters=318099925, revisions=(774396438,useless=467180062), ccks=985132481, wck=611.699, mem=909M389
629.64/616.42	    decisions=15238981, wrong=7297963, backtracks=7273754, failedAssignments=139772, nogoods=2707
629.64/616.42	    
649.09/635.86	    num=76, depth=6730..10832, filters=327185154, revisions=(803140189,useless=487307962), ccks=1016091784, wck=631.141, mem=923M670
649.09/635.86	    decisions=15787468, wrong=7566836, backtracks=7537363, failedAssignments=153762, nogoods=2753
649.09/635.86	    
679.24/665.93	    num=77, depth=7050..10946, filters=339550047, revisions=(858339375,useless=530812494), ccks=1066591865, wck=661.213, mem=952M234
679.24/665.93	    decisions=16682498, wrong=8008906, backtracks=7978285, failedAssignments=169151, nogoods=2836
679.24/665.93	    
773.77/760.49	    num=78, depth=7331..10829, filters=397420300, revisions=(985856672,useless=602765125), ccks=1239815933, wck=755.774, mem=1023M643
773.77/760.49	    decisions=18996566, wrong=9160711, backtracks=9127131, failedAssignments=186079, nogoods=2931
773.77/760.49	    
864.90/851.55	    num=79, depth=7856..10811, filters=451411612, revisions=(1104119131,useless=668903507), ccks=1401765614, wck=846.826, mem=1095M52
864.90/851.55	    decisions=21484940, wrong=10399598, backtracks=10364607, failedAssignments=204700, nogoods=2969
864.90/851.55	    
950.13/936.79	    num=80, depth=7744..11007, filters=506347414, revisions=(1229369978,useless=740889696), ccks=1570459233, wck=932.073, mem=1166M460
950.13/936.79	    decisions=23789830, wrong=11546670, backtracks=11511022, failedAssignments=225184, nogoods=3120
950.13/936.79	    
1028.26/1014.89	    num=81, depth=8046..11054, filters=550960369, revisions=(1325649866,useless=794289044), ccks=1702798733, wck=1010.168, mem=1237M869
1028.26/1014.89	    decisions=26223688, wrong=12758131, backtracks=12722656, failedAssignments=247716, nogoods=3291
1028.26/1014.89	    
1071.07/1057.62	    num=82, depth=8317..11071, filters=570812372, revisions=(1381081909,useless=830901544), ccks=1769681350, wck=1052.901, mem=1280M715
1071.07/1057.62	    decisions=27612122, wrong=13446886, backtracks=13409202, failedAssignments=272501, nogoods=3356
1071.07/1057.62	    
1156.52/1143.06	    num=83, depth=8974..11005, filters=618941104, revisions=(1484990727,useless=888600026), ccks=1911271832, wck=1138.343, mem=1366M405
1156.52/1143.06	    decisions=30218155, wrong=14744469, backtracks=14706130, failedAssignments=299765, nogoods=3464
1156.52/1143.06	    
1266.45/1252.98	    num=84, depth=8738..11142, filters=682103026, revisions=(1621240823,useless=964196749), ccks=2098268788, wck=1248.257, mem=1466M378
1266.45/1252.98	    decisions=33663895, wrong=16461874, backtracks=16422571, failedAssignments=329755, nogoods=3634
1266.45/1252.98	    
1323.13/1309.33	    num=85, depth=6199..11194, filters=709199862, revisions=(1678114334,useless=995424233), ccks=2175551557, wck=1304.611, mem=860M58
1323.13/1309.33	    decisions=35668073, wrong=17458435, backtracks=17416681, failedAssignments=362744, nogoods=3780
1323.13/1309.33	    
1362.54/1348.79	    num=86, depth=6402..11149, filters=725352309, revisions=(1744110389,useless=1046223279), ccks=2237336348, wck=1344.074, mem=903M2
1362.54/1348.79	    decisions=36943554, wrong=18090667, backtracks=18040305, failedAssignments=399032, nogoods=3925
1362.54/1348.79	    
1442.88/1429.01	    num=87, depth=8879..11184, filters=768037107, revisions=(1877276697,useless=1138419931), ccks=2385095727, wck=1424.294, mem=988M934
1442.88/1429.01	    decisions=39344268, wrong=19285451, backtracks=19234305, failedAssignments=438949, nogoods=4121
1442.88/1429.01	    
1538.31/1524.43	    num=88, depth=9110..11179, filters=820231762, revisions=(1997131413,useless=1208655484), ccks=2541843728, wck=1519.708, mem=1074M859
1538.31/1524.43	    decisions=42346381, wrong=20780982, backtracks=20726721, failedAssignments=482858, nogoods=4284
1538.31/1524.43	    
1672.46/1658.36	    num=89, depth=7072..11348, filters=878398444, revisions=(2149538125,useless=1306024705), ccks=2724885234, wck=1653.642, mem=1232M364
1672.46/1658.36	    decisions=46235201, wrong=22719882, backtracks=24137446, failedAssignments=531158, nogoods=4436
1672.46/1658.36	    
1756.30/1742.18	    num=90, depth=5952..11117, filters=924092110, revisions=(2276515222,useless=1389239492), ccks=2876228250, wck=1737.456, mem=1289M623
1756.30/1742.18	    decisions=48491804, wrong=23842696, backtracks=25248793, failedAssignments=584288, nogoods=4567
1756.30/1742.18	    
1827.12/1812.97	    num=91, depth=6141..11164, filters=951953450, revisions=(2332442749,useless=1419560472), ccks=2950227306, wck=1808.25, mem=1375M512
1827.12/1812.97	    decisions=51050362, wrong=25116421, backtracks=26516619, failedAssignments=642731, nogoods=4699
1827.12/1812.97	    
1954.77/1940.57	    num=92, depth=8384..11075, filters=1011233461, revisions=(2532054216,useless=1562790229), ccks=3161695495, wck=1935.845, mem=1490M30
1954.77/1940.57	    decisions=54871159, wrong=27021336, backtracks=28401399, failedAssignments=707018, nogoods=4821
1954.77/1940.57	    
2055.04/2040.57	    num=93, depth=6556..11020, filters=1070402425, revisions=(2661913969,useless=1635641141), ccks=3339096588, wck=2035.855, mem=899M452
2055.04/2040.57	    decisions=57523139, wrong=28341907, backtracks=29674403, failedAssignments=777734, nogoods=4932
2055.04/2040.57	    
2174.20/2159.69	    num=94, depth=7847..11251, filters=1085786744, revisions=(2742373041,useless=1702049393), ccks=3392057635, wck=2154.973, mem=1121M445
2174.20/2159.69	    decisions=58969859, wrong=29059792, backtracks=37439007, failedAssignments=855521, nogoods=5024
2174.20/2159.69	    
2303.66/2289.01	    num=95, depth=6955..11265, filters=1126423913, revisions=(2864028354,useless=1785516890), ccks=3519597466, wck=2284.294, mem=1282M894
2303.66/2289.01	    decisions=61583346, wrong=30361056, backtracks=42299397, failedAssignments=941087, nogoods=5134
2303.66/2289.01	    
2400.00/2385.30	
2400.00/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: 16374 MiB (15124 MiB free)
  memory of node 1: 16384 MiB (15519 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391328-1568391325/watcher-4391328-1568391325 -o /tmp/evaluation-result-4391328-1568391325/solver-4391328-1568391325 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27767 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391328-1568391325.xml -cm 

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

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


[startup+0.10645 s]*
/proc/loadavg: 1.64 1.65 1.68 5/229 28542
/proc/meminfo: memFree=31363024/32770624 swapFree=66918708/67108860
[pid=28527] ppid=28524 vsize=10659884 memory=29768 CPUtime=0.15 cores=1,3,5,7
/proc/28527/stat : 28527 (java) S 28524 28527 26121 0 -1 1077944320 6024 0 0 0 14 1 0 0 20 0 15 0 415070444 10915721216 7442 33554432000 4194304 4196468 140726469985712 140726469968256 139886060355319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
/proc/28527/statm: 2664971 7442 2890 1 0 2627468 0
[pid=28527/tid=28529] ppid=28524 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/28527/task/28529/stat : 28529 (java) R 28524 28527 26121 0 -1 4202560 3374 0 0 0 9 0 0 0 20 0 15 0 415070445 10915721216 7442 33554432000 4194304 4196468 140726469985712 139886064582896 139886044398949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28530] ppid=28524 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28530/stat : 28530 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 7442 33554432000 4194304 4196468 140726469985712 139886012975376 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28531] ppid=28524 vsize=10659884 memory=140357367375488 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28531/stat : 28531 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885665769872 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28532] ppid=28524 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28532/stat : 28532 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885664717328 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28533] ppid=28524 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28533/stat : 28533 (java) S 28524 28527 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885663664784 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28534] ppid=28524 vsize=10659884 memory=140357367375488 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28534/stat : 28534 (java) S 28524 28527 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415070447 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885619546608 139886060366466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28535] ppid=28524 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28535/stat : 28535 (java) S 28524 28527 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415070447 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885618492832 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28536] ppid=28524 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28536/stat : 28536 (java) S 28524 28527 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415070448 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885617440240 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28537] ppid=28524 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28537/stat : 28537 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415070450 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885616388816 139886060373915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28538] ppid=28524 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28538/stat : 28538 (java) R 28524 28527 26121 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 415070450 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885615335408 139886060366466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28539] ppid=28524 vsize=10659884 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28527/task/28539/stat : 28539 (java) R 28524 28527 26121 0 -1 4202560 383 0 0 0 1 0 0 0 20 0 15 0 415070450 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885614282864 139886038288704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28540] ppid=28524 vsize=10659884 memory=140357367375488 CPUtime=0.03 cores=1,3,5,7
/proc/28527/task/28540/stat : 28540 (java) R 28524 28527 26121 0 -1 4202560 719 0 0 0 3 0 0 0 20 0 15 0 415070450 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885613226488 139886052592446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28541] ppid=28524 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28541/stat : 28541 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415070450 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885612178016 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28542] ppid=28524 vsize=10659884 memory=140357367375488 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28542/stat : 28542 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070450 10915721216 7442 33554432000 4194304 4196468 140726469985712 139885611125552 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29768 KiB

[startup+0.210726 s]*
/proc/loadavg: 1.64 1.65 1.68 3/229 28542
/proc/meminfo: memFree=31357008/32770624 swapFree=66918708/67108860
[pid=28527] ppid=28524 vsize=10659884 memory=34836 CPUtime=0.32 cores=1,3,5,7
/proc/28527/stat : 28527 (java) S 28524 28527 26121 0 -1 1077944320 6821 0 0 0 31 1 0 0 20 0 15 0 415070444 10915721216 8709 33554432000 4194304 4196468 140726469985712 140726469968256 139886060355319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
/proc/28527/statm: 2664971 8709 2990 1 0 2627468 0
[pid=28527/tid=28529] ppid=28524 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28527/task/28529/stat : 28529 (java) R 28524 28527 26121 0 -1 4202560 3895 0 0 0 19 1 0 0 20 0 15 0 415070445 10915721216 8709 33554432000 4194304 4196468 140726469985712 139886064593712 139886060377245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28530] ppid=28524 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28530/stat : 28530 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 8709 33554432000 4194304 4196468 140726469985712 139886012975376 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28531] ppid=28524 vsize=10659884 memory=288370733519087232 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28531/stat : 28531 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885665769872 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28532] ppid=28524 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28532/stat : 28532 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885664717328 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28533] ppid=28524 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28533/stat : 28533 (java) S 28524 28527 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885663664784 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28534] ppid=28524 vsize=10659884 memory=140357367375488 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28534/stat : 28534 (java) S 28524 28527 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415070447 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885619546608 139886060366466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28535] ppid=28524 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28535/stat : 28535 (java) S 28524 28527 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415070447 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885618492832 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28536] ppid=28524 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28536/stat : 28536 (java) S 28524 28527 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415070448 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885617440240 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28537] ppid=28524 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28537/stat : 28537 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415070450 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885616388816 139886060373915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28538] ppid=28524 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28527/task/28538/stat : 28538 (java) S 28524 28527 26121 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 15 0 415070450 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885615335408 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28539] ppid=28524 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28527/task/28539/stat : 28539 (java) S 28524 28527 26121 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 415070450 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885614282864 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28540] ppid=28524 vsize=10659884 memory=140357367375488 CPUtime=0.06 cores=1,3,5,7
/proc/28527/task/28540/stat : 28540 (java) S 28524 28527 26121 0 -1 1077944384 742 0 0 0 6 0 0 0 20 0 15 0 415070450 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885613230320 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28541] ppid=28524 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28541/stat : 28541 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415070450 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885612178016 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28542] ppid=28524 vsize=10659884 memory=140357367375488 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28542/stat : 28542 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070450 10915721216 8709 33554432000 4194304 4196468 140726469985712 139885611125552 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34836 KiB

[startup+0.310154 s]*
/proc/loadavg: 1.64 1.65 1.68 3/229 28542
/proc/meminfo: memFree=31348960/32770624 swapFree=66918708/67108860
[pid=28527] ppid=28524 vsize=10659884 memory=40032 CPUtime=0.48 cores=1,3,5,7
/proc/28527/stat : 28527 (java) S 28524 28527 26121 0 -1 1077944320 9502 0 0 0 45 3 0 0 20 0 15 0 415070444 10915721216 10008 33554432000 4194304 4196468 140726469985712 140726469968256 139886060355319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
/proc/28527/statm: 2664971 10008 3002 1 0 2627468 0
[pid=28527/tid=28529] ppid=28524 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/28527/task/28529/stat : 28529 (java) R 28524 28527 26121 0 -1 4202560 6495 0 0 0 28 2 0 0 20 0 15 0 415070445 10915721216 10008 33554432000 4194304 4196468 140726469985712 139886064575472 139886044435806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28530] ppid=28524 vsize=10659884 memory=2810766 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28530/stat : 28530 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 10008 33554432000 4194304 4196468 140726469985712 139886012975376 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28531] ppid=28524 vsize=10659884 memory=288370733519087232 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28531/stat : 28531 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885665769872 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28532] ppid=28524 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28532/stat : 28532 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885664717328 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28533] ppid=28524 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28533/stat : 28533 (java) S 28524 28527 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415070446 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885663664784 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28534] ppid=28524 vsize=10659884 memory=140357367375488 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28534/stat : 28534 (java) S 28524 28527 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415070447 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885619546608 139886060366466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28535] ppid=28524 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28535/stat : 28535 (java) S 28524 28527 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415070447 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885618492832 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28536] ppid=28524 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28536/stat : 28536 (java) S 28524 28527 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415070448 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885617440240 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28537] ppid=28524 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28537/stat : 28537 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415070450 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885616388816 139886060373915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28538] ppid=28524 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28527/task/28538/stat : 28538 (java) S 28524 28527 26121 0 -1 1077944384 323 0 0 0 4 0 0 0 20 0 15 0 415070450 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885615335408 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28539] ppid=28524 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/28527/task/28539/stat : 28539 (java) S 28524 28527 26121 0 -1 1077944384 568 0 0 0 4 0 0 0 20 0 15 0 415070450 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885614282864 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28540] ppid=28524 vsize=10659884 memory=140357367375488 CPUtime=0.08 cores=1,3,5,7
/proc/28527/task/28540/stat : 28540 (java) S 28524 28527 26121 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 415070450 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885613230320 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28541] ppid=28524 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28541/stat : 28541 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415070450 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885612178016 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28542] ppid=28524 vsize=10659884 memory=140357367375488 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28542/stat : 28542 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070450 10915721216 10008 33554432000 4194304 4196468 140726469985712 139885611125552 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40032 KiB

[startup+0.700758 s]
/proc/loadavg: 1.64 1.65 1.68 4/229 28542
/proc/meminfo: memFree=31341284/32770624 swapFree=66918708/67108860
[pid=28527] ppid=28524 vsize=10661932 memory=62668 CPUtime=1.12 cores=1,3,5,7
/proc/28527/stat : 28527 (java) S 28524 28527 26121 0 -1 1077944320 12792 0 0 0 107 5 0 0 20 0 15 0 415070444 10917818368 15667 33554432000 4194304 4196468 140726469985712 140726469968256 139886060355319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
/proc/28527/statm: 2665483 15667 3065 1 0 2627980 0
[pid=28527/tid=28529] ppid=28524 vsize=10661932 memory=4481 CPUtime=0.68 cores=1,3,5,7
/proc/28527/task/28529/stat : 28529 (java) R 28524 28527 26121 0 -1 4202560 8923 0 0 0 64 4 0 0 20 0 15 0 415070445 10917818368 15667 33554432000 4194304 4196468 140726469985712 139886064578400 139886043542149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28530] ppid=28524 vsize=10661932 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28530/stat : 28530 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10917818368 15667 33554432000 4194304 4196468 140726469985712 139886012975376 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28531] ppid=28524 vsize=10661932 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28531/stat : 28531 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885665769872 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28532] ppid=28524 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28532/stat : 28532 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885664717328 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28533] ppid=28524 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28533/stat : 28533 (java) S 28524 28527 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415070446 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885663664784 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28534] ppid=28524 vsize=10661932 memory=262909846389461 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28534/stat : 28534 (java) S 28524 28527 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415070447 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885619546608 139886060366466 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28535] ppid=28524 vsize=10661932 memory=3545796572287875304 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28535/stat : 28535 (java) S 28524 28527 26121 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415070447 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885618492832 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28536] ppid=28524 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28536/stat : 28536 (java) S 28524 28527 26121 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415070448 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885617440240 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28537] ppid=28524 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28537/stat : 28537 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415070450 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885616388816 139886060373915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28538] ppid=28524 vsize=10661932 memory=280714499091360 CPUtime=0.11 cores=1,3,5,7
/proc/28527/task/28538/stat : 28538 (java) R 28524 28527 26121 0 -1 4202560 637 0 0 0 11 0 0 0 20 0 15 0 415070450 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885615335408 139886038747300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28539] ppid=28524 vsize=10661932 memory=19153 CPUtime=0.12 cores=1,3,5,7
/proc/28527/task/28539/stat : 28539 (java) S 28524 28527 26121 0 -1 1077944384 833 0 0 0 12 0 0 0 20 0 15 0 415070450 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885614282864 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28540] ppid=28524 vsize=10661932 memory=280714499064048 CPUtime=0.19 cores=1,3,5,7
/proc/28527/task/28540/stat : 28540 (java) S 28524 28527 26121 0 -1 1077944384 1040 0 0 0 19 0 0 0 20 0 15 0 415070450 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885613230320 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28541] ppid=28524 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28541/stat : 28541 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415070450 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885612178016 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28542] ppid=28524 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28542/stat : 28542 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070450 10917818368 15667 33554432000 4194304 4196468 140726469985712 139885611125552 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62668 KiB

[startup+1.50076 s]
/proc/loadavg: 1.67 1.66 1.68 3/229 28542
/proc/meminfo: memFree=31325156/32770624 swapFree=66918708/67108860
[pid=28527] ppid=28524 vsize=10663980 memory=75072 CPUtime=2.02 cores=1,3,5,7
/proc/28527/stat : 28527 (java) S 28524 28527 26121 0 -1 1077944320 18410 0 0 0 196 6 0 0 20 0 15 0 415070444 10919915520 18768 33554432000 4194304 4196468 140726469985712 140726469968256 139886060355319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
/proc/28527/statm: 2665995 18768 3095 1 0 2628492 0
[pid=28527/tid=28529] ppid=28524 vsize=10663980 memory=280714499941024 CPUtime=1.48 cores=1,3,5,7
/proc/28527/task/28529/stat : 28529 (java) R 28524 28527 26121 0 -1 4202560 13120 0 0 0 143 5 0 0 20 0 15 0 415070445 10919915520 18768 33554432000 4194304 4196468 140726469985712 139886064587344 139886044435806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28530] ppid=28524 vsize=10663980 memory=280714499113904 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28530/stat : 28530 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10919915520 18768 33554432000 4194304 4196468 140726469985712 139886012975376 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28531] ppid=28524 vsize=10663980 memory=56 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28531/stat : 28531 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10919915520 18768 33554432000 4194304 4196468 140726469985712 139885665769872 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28532] ppid=28524 vsize=10663980 memory=2811011 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28532/stat : 28532 (java) S 28524 28527 26121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415070446 10919915520 18768 33554432000 4194304 4196468 140726469985712 139885664717328 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28533] ppid=28524 vsize=10663980 memory=2812297 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28533/stat : 28533 (java) S 28524 28527 26121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415070446 10919915520 18768 33554432000 4194304 4196468 140726469985712 139885663664784 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28534] ppid=28524 vsize=10663980 memory=-1161699032756226647 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28534/stat : 28534 (java) S 28524 28527 26121 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 415070447 10919915520 18768 33554432000 4194304 4196468 140726469985712 139885619546608 139886060366466 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0

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

/proc/28527/task/28533/stat : 28533 (java) S 28524 28527 26121 0 -1 1077944384 2174 0 0 0 76 42 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885663664784 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28534] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0.08 cores=1,3,5,7
/proc/28527/task/28534/stat : 28534 (java) S 28524 28527 26121 0 -1 1077944384 10108 0 0 0 6 2 0 0 20 0 16 0 415070447 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885619546608 139886060366466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28535] ppid=28524 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28535/stat : 28535 (java) S 28524 28527 26121 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 415070447 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885618492896 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28536] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28536/stat : 28536 (java) S 28524 28527 26121 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415070448 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885617440256 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28537] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28537/stat : 28537 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885616388816 139886060373915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28538] ppid=28524 vsize=10748324 memory=2054308 CPUtime=3.92 cores=1,3,5,7
/proc/28527/task/28538/stat : 28538 (java) S 28524 28527 26121 0 -1 1077944384 15461 0 0 0 390 2 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885615335408 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28539] ppid=28524 vsize=10748324 memory=2054316 CPUtime=5.3 cores=1,3,5,7
/proc/28527/task/28539/stat : 28539 (java) S 28524 28527 26121 0 -1 1077944384 22466 0 0 0 528 2 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885614282864 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28540] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.16 cores=1,3,5,7
/proc/28527/task/28540/stat : 28540 (java) S 28524 28527 26121 0 -1 1077944384 17644 0 0 0 113 3 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885613230320 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28541] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28541/stat : 28541 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885612178016 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28542] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0.48 cores=1,3,5,7
/proc/28527/task/28542/stat : 28542 (java) S 28524 28527 26121 0 -1 1077944384 1679 0 0 0 20 28 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885611125552 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28543] ppid=28524 vsize=10748324 memory=3616 CPUtime=2319.46 cores=1,3,5,7
/proc/28527/task/28543/stat : 28543 (java) R 28524 28527 26121 0 -1 4202560 41025 0 0 0 231937 9 0 0 20 0 16 0 415070632 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885609661648 139885699796339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
Current children cumulated CPU time: 2336.98 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 2054316 KiB

[startup+2382.3 s]
/proc/loadavg: 2.08 2.04 1.97 3/230 29480
/proc/meminfo: memFree=29219236/32770624 swapFree=66918732/67108860
[pid=28527] ppid=28524 vsize=10748324 memory=2054316 CPUtime=2397 cores=1,3,5,7
/proc/28527/stat : 28527 (java) S 28524 28527 26121 0 -1 1077944320 137958 0 0 0 239490 210 0 0 20 0 16 0 415070444 11006283776 513579 33554432000 4194304 4196468 140726469985712 140726469968256 139886060355319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
/proc/28527/statm: 2687081 513579 3384 1 0 2647217 0
[pid=28527/tid=28529] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.85 cores=1,3,5,7
/proc/28527/task/28529/stat : 28529 (java) S 28524 28527 26121 0 -1 1077944384 15352 0 0 0 178 7 0 0 20 0 16 0 415070445 11006283776 513579 33554432000 4194304 4196468 140726469985712 139886064598192 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28530] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.12 cores=1,3,5,7
/proc/28527/task/28530/stat : 28530 (java) S 28524 28527 26121 0 -1 1077944384 3832 0 0 0 75 37 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139886012975376 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28531] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.18 cores=1,3,5,7
/proc/28527/task/28531/stat : 28531 (java) S 28524 28527 26121 0 -1 1077944384 3036 0 0 0 75 43 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885665769872 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28532] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.16 cores=1,3,5,7
/proc/28527/task/28532/stat : 28532 (java) S 28524 28527 26121 0 -1 1077944384 3330 0 0 0 78 38 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885664717328 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28533] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.18 cores=1,3,5,7
/proc/28527/task/28533/stat : 28533 (java) S 28524 28527 26121 0 -1 1077944384 2174 0 0 0 76 42 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885663664784 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28534] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0.08 cores=1,3,5,7
/proc/28527/task/28534/stat : 28534 (java) S 28524 28527 26121 0 -1 1077944384 10114 0 0 0 6 2 0 0 20 0 16 0 415070447 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885619546608 139886060366466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28535] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28535/stat : 28535 (java) S 28524 28527 26121 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 415070447 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885618492896 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28536] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28536/stat : 28536 (java) S 28524 28527 26121 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415070448 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885617440256 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28537] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28537/stat : 28537 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885616388816 139886060373915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28538] ppid=28524 vsize=10748324 memory=2828 CPUtime=3.92 cores=1,3,5,7
/proc/28527/task/28538/stat : 28538 (java) S 28524 28527 26121 0 -1 1077944384 15463 0 0 0 390 2 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885615335408 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28539] ppid=28524 vsize=10748324 memory=2054316 CPUtime=5.3 cores=1,3,5,7
/proc/28527/task/28539/stat : 28539 (java) S 28524 28527 26121 0 -1 1077944384 22468 0 0 0 528 2 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885614282864 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28540] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.16 cores=1,3,5,7
/proc/28527/task/28540/stat : 28540 (java) S 28524 28527 26121 0 -1 1077944384 17652 0 0 0 113 3 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885613230320 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28541] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28541/stat : 28541 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885612178016 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28542] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0.5 cores=1,3,5,7
/proc/28527/task/28542/stat : 28542 (java) S 28524 28527 26121 0 -1 1077944384 1710 0 0 0 21 29 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885611125552 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28543] ppid=28524 vsize=10748324 memory=2054316 CPUtime=2379.46 cores=1,3,5,7
/proc/28527/task/28543/stat : 28543 (java) R 28524 28527 26121 0 -1 4202560 41407 0 0 0 237937 9 0 0 20 0 16 0 415070632 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885609661648 139885694664954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
Current children cumulated CPU time: 2397 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 2054316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2385.3 s]
/proc/loadavg: 2.08 2.04 1.97 3/230 29481
/proc/meminfo: memFree=29219220/32770624 swapFree=66918732/67108860
[pid=28527] ppid=28524 vsize=10748324 memory=2054316 CPUtime=2400 cores=1,3,5,7
/proc/28527/stat : 28527 (java) S 28524 28527 26121 0 -1 1077944320 138077 0 0 0 239790 210 0 0 20 0 16 0 415070444 11006283776 513579 33554432000 4194304 4196468 140726469985712 140726469968256 139886060355319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
/proc/28527/statm: 2687081 513579 3384 1 0 2647217 0
[pid=28527/tid=28529] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.85 cores=1,3,5,7
/proc/28527/task/28529/stat : 28529 (java) S 28524 28527 26121 0 -1 1077944384 15352 0 0 0 178 7 0 0 20 0 16 0 415070445 11006283776 513579 33554432000 4194304 4196468 140726469985712 139886064598192 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28530] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.12 cores=1,3,5,7
/proc/28527/task/28530/stat : 28530 (java) S 28524 28527 26121 0 -1 1077944384 3832 0 0 0 75 37 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139886012975376 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28531] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.18 cores=1,3,5,7
/proc/28527/task/28531/stat : 28531 (java) S 28524 28527 26121 0 -1 1077944384 3036 0 0 0 75 43 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885665769872 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28532] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.16 cores=1,3,5,7
/proc/28527/task/28532/stat : 28532 (java) S 28524 28527 26121 0 -1 1077944384 3330 0 0 0 78 38 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885664717328 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28533] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.18 cores=1,3,5,7
/proc/28527/task/28533/stat : 28533 (java) S 28524 28527 26121 0 -1 1077944384 2174 0 0 0 76 42 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885663664784 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28534] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0.08 cores=1,3,5,7
/proc/28527/task/28534/stat : 28534 (java) S 28524 28527 26121 0 -1 1077944384 10120 0 0 0 6 2 0 0 20 0 16 0 415070447 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885619546608 139886060366466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28535] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28535/stat : 28535 (java) S 28524 28527 26121 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 415070447 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885618492896 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28536] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28536/stat : 28536 (java) S 28524 28527 26121 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415070448 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885617440256 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28537] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28537/stat : 28537 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885616388816 139886060373915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28538] ppid=28524 vsize=10748324 memory=2054316 CPUtime=3.92 cores=1,3,5,7
/proc/28527/task/28538/stat : 28538 (java) S 28524 28527 26121 0 -1 1077944384 15463 0 0 0 390 2 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885615335408 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28539] ppid=28524 vsize=10748324 memory=2054316 CPUtime=5.3 cores=1,3,5,7
/proc/28527/task/28539/stat : 28539 (java) S 28524 28527 26121 0 -1 1077944384 22468 0 0 0 528 2 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885614282864 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28540] ppid=28524 vsize=10748324 memory=2744 CPUtime=1.16 cores=1,3,5,7
/proc/28527/task/28540/stat : 28540 (java) S 28524 28527 26121 0 -1 1077944384 17652 0 0 0 113 3 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885613230320 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28541] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28541/stat : 28541 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885612178016 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28542] ppid=28524 vsize=10748324 memory=3616 CPUtime=0.5 cores=1,3,5,7
/proc/28527/task/28542/stat : 28542 (java) S 28524 28527 26121 0 -1 1077944384 1734 0 0 0 21 29 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885611125552 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28543] ppid=28524 vsize=10748324 memory=21588 CPUtime=2382.46 cores=1,3,5,7
/proc/28527/task/28543/stat : 28543 (java) R 28524 28527 26121 0 -1 4202560 41496 0 0 0 238237 9 0 0 20 0 16 0 415070632 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885609661648 139885702484092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 2054316 KiB

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

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

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

[startup+2385.3 s]
/proc/loadavg: 2.08 2.04 1.97 3/230 29481
/proc/meminfo: memFree=29219220/32770624 swapFree=66918732/67108860
[pid=28527] ppid=28524 vsize=10748324 memory=2054316 CPUtime=2400 cores=1,3,5,7
/proc/28527/stat : 28527 (java) S 28524 28527 26121 0 -1 1077944320 138077 0 0 0 239790 210 0 0 20 0 16 0 415070444 11006283776 513579 33554432000 4194304 4196468 140726469985712 140726469968256 139886060355319 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
/proc/28527/statm: 2687081 513579 3384 1 0 2647217 0
[pid=28527/tid=28529] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.85 cores=1,3,5,7
/proc/28527/task/28529/stat : 28529 (java) S 28524 28527 26121 0 -1 1077944384 15352 0 0 0 178 7 0 0 20 0 16 0 415070445 11006283776 513579 33554432000 4194304 4196468 140726469985712 139886064598192 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28530] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.12 cores=1,3,5,7
/proc/28527/task/28530/stat : 28530 (java) S 28524 28527 26121 0 -1 1077944384 3832 0 0 0 75 37 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139886012975376 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28531] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.18 cores=1,3,5,7
/proc/28527/task/28531/stat : 28531 (java) S 28524 28527 26121 0 -1 1077944384 3036 0 0 0 75 43 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885665769872 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28532] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.16 cores=1,3,5,7
/proc/28527/task/28532/stat : 28532 (java) S 28524 28527 26121 0 -1 1077944384 3330 0 0 0 78 38 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885664717328 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28533] ppid=28524 vsize=10748324 memory=2054316 CPUtime=1.18 cores=1,3,5,7
/proc/28527/task/28533/stat : 28533 (java) S 28524 28527 26121 0 -1 1077944384 2174 0 0 0 76 42 0 0 20 0 16 0 415070446 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885663664784 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28534] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0.08 cores=1,3,5,7
/proc/28527/task/28534/stat : 28534 (java) S 28524 28527 26121 0 -1 1077944384 10120 0 0 0 6 2 0 0 20 0 16 0 415070447 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885619546608 139886060366466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28535] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28535/stat : 28535 (java) S 28524 28527 26121 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 415070447 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885618492896 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28536] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28536/stat : 28536 (java) S 28524 28527 26121 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415070448 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885617440256 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28537] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28537/stat : 28537 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885616388816 139886060373915 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28538] ppid=28524 vsize=10748324 memory=2054316 CPUtime=3.92 cores=1,3,5,7
/proc/28527/task/28538/stat : 28538 (java) S 28524 28527 26121 0 -1 1077944384 15463 0 0 0 390 2 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885615335408 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28539] ppid=28524 vsize=10748324 memory=2054316 CPUtime=5.3 cores=1,3,5,7
/proc/28527/task/28539/stat : 28539 (java) S 28524 28527 26121 0 -1 1077944384 22468 0 0 0 528 2 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885614282864 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28540] ppid=28524 vsize=10748324 memory=2744 CPUtime=1.16 cores=1,3,5,7
/proc/28527/task/28540/stat : 28540 (java) S 28524 28527 26121 0 -1 1077944384 17652 0 0 0 113 3 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885613230320 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28541] ppid=28524 vsize=10748324 memory=2054316 CPUtime=0 cores=1,3,5,7
/proc/28527/task/28541/stat : 28541 (java) S 28524 28527 26121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885612178016 139886060365525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28542] ppid=28524 vsize=10748324 memory=3616 CPUtime=0.5 cores=1,3,5,7
/proc/28527/task/28542/stat : 28542 (java) S 28524 28527 26121 0 -1 1077944384 1734 0 0 0 21 29 0 0 20 0 16 0 415070450 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885611125552 139886060366466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
[pid=28527/tid=28543] ppid=28524 vsize=10748324 memory=21588 CPUtime=2382.46 cores=1,3,5,7
/proc/28527/task/28543/stat : 28543 (java) R 28524 28527 26121 0 -1 4202560 41496 0 0 0 238237 9 0 0 20 0 16 0 415070632 11006283776 513579 33554432000 4194304 4196468 140726469985712 139885609661648 139885702484092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23171072 140726469989387 140726469989490 140726469989490 140726469992399 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 2054316 KiB

Child status: 143
Real time (s): 2385.32
CPU time (s): 2400.04
CPU user time (s): 2397.92
CPU system time (s): 2.11952
CPU usage (%): 100.617
Max. virtual memory (cumulated for all children) (KiB): 10750708
Max. memory (cumulated for all children) (KiB): 2054316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.92
system time used= 2.11952
maximum resident set size= 2054876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55353
involuntary context switches= 741


# summary of solver processes directly reported to runsolver:
#   pid: 28527
#   total CPU time (s): 2400.04
#   total CPU user time (s): 2397.92
#   total CPU system time (s): 2.11952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0558 second user time and 21.1747 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-13 18:14:44
IDJOB=4391328
IDBENCH=139614
IDSOLVER=2833
FILE ID=node141/4391328-1568391325
RUNJOBID= node141-1568388891-27767
PBS_JOBID= 21701828
Free space on /tmp= 58532 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_19_19.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391328-1568391325/watcher-4391328-1568391325 -o /tmp/evaluation-result-4391328-1568391325/solver-4391328-1568391325 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568388891-27767 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391328-1568391325.xml -cm

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

MD5SUM BENCH= 96fe93baa9d8ae993bfc516e2d84a024
RANDOM SEED=700584016

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31379940 kB
MemAvailable:   31665276 kB
Buffers:          154832 kB
Cached:           418888 kB
SwapCached:        80840 kB
Active:           438560 kB
Inactive:         396896 kB
Active(anon):     186800 kB
Inactive(anon):   106348 kB
Active(file):     251760 kB
Inactive(file):   290548 kB
Unevictable:      109180 kB
Mlocked:          109180 kB
SwapTotal:      67108860 kB
SwapFree:       66918708 kB
Dirty:              8632 kB
Writeback:             0 kB
AnonPages:        290356 kB
Mapped:            47636 kB
Shmem:             22752 kB
Slab:             147044 kB
SReclaimable:     117728 kB
SUnreclaim:        29316 kB
KernelStack:        3728 kB
PageTables:         6580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1157820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 58524 MiB
End job on node141 at 2019-09-13 18:54:29