Trace number 4391336

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.11 2388.13

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_12_14.xml
MD5SUMb79ed9a63f5f06b259b31d8f3686f277
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark290
Best CPU time to get the best result obtained on this benchmark2400.5
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":14,"count":111},{"size":49,"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.39/1.89	
2.39/1.89	AbsCon 2 
2.63/1.90	
3.96/2.32	  Instance
3.96/2.32	    name=instance-4391336-1568391326, framework=COP, bounds=-infty..+infty
3.96/2.32	
3.96/2.32	  Loading variables...
4.60/2.59	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad8f52e
10.36/4.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6ab1b
10.64/4.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea65c4
10.64/4.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4736ee1a
10.64/4.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738511a1
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29141ca0
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d2ae2c
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17bf7a9d
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542d7b5b
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a68ba39
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482218e5
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc847c1
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ad290d
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3c64f7
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3927b4b4
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db64b37
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4712b4ec
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157f558b
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253f3793
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0cb002
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63fc4803
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad8abb9
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ffcc589
10.64/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3989d923
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f67d65
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f04e217
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c0877d6
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3a56e
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291d1c4d
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4396fceb
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745b64e
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@feb115e
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7f90e2
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60718f3d
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23739d55
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4014264c
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753913fa
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac47ea3
10.64/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c15ace
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a87f5e2
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5e259a
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57e018ab
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c7123f
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3febf50d
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea787c7
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a560e0d
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b15132
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82275a
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3660da83
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e80ec65
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8570d90
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56523561
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454f86e1
10.64/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d8f01c4
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@602cd57d
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@514b06e8
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d646c4
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37d1beac
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce87161
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cd601a2
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6546bb39
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e07a8e
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a9342c
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259dc7fa
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a78d73e
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@584fae5e
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e255a9
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b17b26
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31f7575e
10.64/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5726a282
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b019d71
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b353508
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370851e1
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51d60c0c
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290810f8
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745afe8e
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e2590f
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482c1716
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1396ed3c
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ba0a17
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24273097
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3e5dbc
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160f0941
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de7e48
10.64/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@695f6116
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15052370
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21bf8da5
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b3c20b
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39cdde1d
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10138d12
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e66b92
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e510426
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79048136
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e060c7d
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b1eee1
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756ba478
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29eb1d55
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b552841
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7445dc62
10.64/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dcf9607
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2969550e
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2293f98c
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bf0bc0c
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c77b0c1
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f8b5c3
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f0fdc5
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b5699d2
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@88cd172
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ad84980
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68d4ca44
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1bb805
10.64/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f619dc1
11.01/4.56	
11.01/4.56	
11.01/4.56	  Domains
11.01/4.56	    nTypes=4, nValues=43956, sizes=[2#12321,14#111,49#111,111#111]
11.01/4.56	  Variables
11.01/4.56	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.01/4.56	  Objectives
11.01/4.56	    way=min, type=SumSimpleLE
11.01/4.56	  Constraints
11.01/4.56	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.01/4.56	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.01/4.56	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.01/4.56	    wck=2.704, cpu=4.089, mem=934M266
11.01/4.59	  Solver SolverBacktrack being built...
11.01/4.59	
11.61/4.70	
11.61/4.70	  Solver
11.61/4.70	    guaranteedGAC=false
11.61/4.70	    wck=2.84, cpu=4.223, mem=966M623
12.59/5.43	
12.59/5.43	  Preprocessing
12.59/5.43	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
12.59/5.43	    wck=0.724, cpu=4.952, mem=966M623
12.59/5.43	
12.59/5.48	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.777, mem=966M623
12.59/5.48	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
12.59/5.48	    
12.87/5.52	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.821, mem=966M623
12.87/5.52	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
12.87/5.52	    
12.87/5.57	    num=2, depth=220..220, filters=4235, revisions=(38962,useless=34766), ccks=1397675, wck=0.867, mem=966M623
12.87/5.57	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
12.87/5.57	    
13.19/5.63	    num=3, depth=329..329, filters=6079, revisions=(54504,useless=48486), ccks=1408602, wck=0.926, mem=966M623
13.19/5.63	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.19/5.63	    
13.19/5.70	    num=4, depth=438..438, filters=8138, revisions=(76485,useless=68435), ccks=1419946, wck=0.996, mem=966M623
13.19/5.70	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
13.19/5.70	    
13.47/5.78	    num=5, depth=547..547, filters=10573, revisions=(108679,useless=98259), ccks=1435287, wck=1.076, mem=966M623
13.47/5.78	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
13.47/5.78	    
13.65/5.87	    num=6, depth=656..656, filters=13156, revisions=(143760,useless=130795), ccks=1447759, wck=1.167, mem=966M623
13.65/5.87	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
13.65/5.87	    
13.79/5.98	    num=7, depth=763..763, filters=16531, revisions=(212035,useless=195984), ccks=1475067, wck=1.281, mem=966M623
13.79/5.98	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
13.79/5.98	    
13.91/6.11	    num=8, depth=872..872, filters=20170, revisions=(284862,useless=265448), ccks=1501153, wck=1.406, mem=966M623
13.91/6.11	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
13.91/6.11	    
14.11/6.25	    num=9, depth=980..980, filters=24331, revisions=(376562,useless=353382), ccks=1534034, wck=1.549, mem=966M623
14.11/6.25	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
14.11/6.25	    
14.36/6.40	    num=10, depth=1089..1090, filters=28921, revisions=(475034,useless=447666), ccks=1567887, wck=1.704, mem=966M623
14.36/6.40	    decisions=6479, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
14.36/6.40	    
14.46/6.59	    num=11, depth=1307..1308, filters=34127, revisions=(589714,useless=557581), ccks=1609670, wck=1.885, mem=970M707
14.46/6.59	    decisions=7843, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
14.46/6.59	    
14.67/6.80	    num=12, depth=1524..1526, filters=40233, revisions=(731815,useless=694160), ccks=1660676, wck=2.096, mem=970M707
14.67/6.80	    decisions=9431, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
14.67/6.80	    
15.02/7.03	    num=13, depth=1630..1631, filters=47146, revisions=(900117,useless=856321), ccks=1723662, wck=2.326, mem=970M707
15.02/7.03	    decisions=11130, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
15.02/7.03	    
15.22/7.29	    num=14, depth=1958..1959, filters=54594, revisions=(1087625,useless=1037166), ccks=1790651, wck=2.592, mem=970M707
15.22/7.29	    decisions=13163, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
15.22/7.29	    
15.54/7.58	    num=15, depth=2176..2178, filters=62797, revisions=(1291119,useless=1233278), ccks=1855328, wck=2.885, mem=970M707
15.54/7.58	    decisions=15423, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
15.54/7.58	    
15.94/7.90	    num=16, depth=2393..2394, filters=71693, revisions=(1517483,useless=1451668), ccks=1934599, wck=3.205, mem=970M707
15.94/7.90	    decisions=17907, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
15.94/7.90	    
16.25/8.25	    num=17, depth=2611..2613, filters=81445, revisions=(1757502,useless=1682871), ccks=2006326, wck=3.549, mem=970M707
16.25/8.25	    decisions=20620, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
16.25/8.25	    
16.65/8.63	    num=18, depth=2938..2940, filters=92113, revisions=(2019280,useless=1934952), ccks=2085807, wck=3.93, mem=970M707
16.65/8.63	    decisions=23670, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
16.65/8.63	    
17.06/9.05	    num=19, depth=3265..3267, filters=103729, revisions=(2300708,useless=2205750), ccks=2167112, wck=4.347, mem=978M839
17.06/9.05	    decisions=27059, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
17.06/9.05	    
17.56/9.50	    num=20, depth=3590..3592, filters=116727, revisions=(2627431,useless=2520713), ccks=2263476, wck=4.805, mem=978M839
17.56/9.50	    decisions=30785, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
17.56/9.50	    
17.96/10.00	    num=21, depth=3915..3918, filters=131309, revisions=(2996896,useless=2877062), ccks=2373065, wck=5.302, mem=978M839
17.96/10.00	    decisions=34851, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
17.96/10.00	    
18.56/10.55	    num=22, depth=4351..4354, filters=147168, revisions=(3397334,useless=3263171), ccks=2493237, wck=5.846, mem=978M839
18.56/10.55	    decisions=39367, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
18.56/10.55	    
19.18/11.14	    num=23, depth=4784..4787, filters=164847, revisions=(3855946,useless=3705951), ccks=2630025, wck=6.439, mem=978M839
19.18/11.14	    decisions=44332, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
19.18/11.14	    
19.77/11.77	    num=24, depth=5220..5224, filters=184014, revisions=(4341535,useless=4174246), ccks=2770288, wck=7.072, mem=986M979
19.77/11.77	    decisions=49752, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
19.77/11.77	    
20.47/12.45	    num=25, depth=5765..5769, filters=204781, revisions=(4860429,useless=4674276), ccks=2918129, wck=7.754, mem=986M979
20.47/12.45	    decisions=55737, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
20.47/12.45	    
21.19/13.18	    num=26, depth=6310..6315, filters=227316, revisions=(5412961,useless=5206208), ccks=3070098, wck=8.483, mem=986M979
21.19/13.18	    decisions=62290, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
21.19/13.18	    
22.04/13.98	    num=27, depth=6964..6965, filters=246785, revisions=(6005159,useless=5780907), ccks=3220512, wck=9.276, mem=995M126
22.04/13.98	    decisions=69518, wrong=1331, backtracks=1, failedAssignments=1330, nogoods=1223
22.04/13.98	    
23.02/14.84	    num=28, depth=7039..7149, filters=290766, revisions=(6663538,useless=6397882), ccks=3432080, wck=10.144, mem=995M126
23.02/14.84	    decisions=77802, wrong=1902, backtracks=430, failedAssignments=1474, nogoods=1258
23.02/14.84	    
24.48/16.15	    num=29, depth=7040..7257, filters=546412, revisions=(7782031,useless=7268819), ccks=4276744, wck=11.446, mem=995M126
24.48/16.15	    decisions=93807, wrong=6307, backtracks=4714, failedAssignments=1632, nogoods=1268
24.48/16.15	    
26.00/17.69	    num=30, depth=7261..7456, filters=825025, revisions=(9374231,useless=8593120), ccks=5517202, wck=12.994, mem=995M126
26.00/17.69	    decisions=114289, wrong=12836, backtracks=11191, failedAssignments=1806, nogoods=1330
26.00/17.69	    
28.55/20.16	    num=31, depth=7264..7543, filters=1584396, revisions=(12036498,useless=10518718), ccks=8274284, wck=15.463, mem=995M126
28.55/20.16	    decisions=152257, wrong=28188, backtracks=26549, failedAssignments=1997, nogoods=1331
28.55/20.16	    
29.34/21.00	    num=32, depth=7656..7666, filters=1608320, revisions=(12677566,useless=11137847), ccks=8419632, wck=16.304, mem=999M956
29.34/21.00	    decisions=160343, wrong=28400, backtracks=26550, failedAssignments=2208, nogoods=1435
29.34/21.00	    
30.66/22.13	    num=33, depth=7621..7695, filters=1661165, revisions=(13664923,useless=12079068), ccks=8757788, wck=17.434, mem=999M956
30.66/22.13	    decisions=173043, wrong=30939, backtracks=29100, failedAssignments=2440, nogoods=1437
30.66/22.13	    
32.25/23.73	    num=34, depth=7860..7980, filters=2013707, revisions=(15100327,useless=13173786), ccks=9913610, wck=19.03, mem=999M956
32.25/23.73	    decisions=195714, wrong=38295, backtracks=36450, failedAssignments=2695, nogoods=1439
32.25/23.73	    
35.72/25.72	    num=35, depth=1576..7841, filters=2378875, revisions=(16478050,useless=14197127), ccks=11088913, wck=21.023, mem=735M512
35.72/25.72	    decisions=216492, wrong=44784, backtracks=42716, failedAssignments=2976, nogoods=1450
35.72/25.72	    
37.22/27.20	    num=36, depth=1029..7843, filters=2764680, revisions=(17895317,useless=15239878), ccks=12323341, wck=22.499, mem=735M512
37.22/27.20	    decisions=237953, wrong=51660, backtracks=49346, failedAssignments=3285, nogoods=1484
37.22/27.20	    
41.53/31.57	    num=37, depth=1163..7954, filters=4760765, revisions=(22801331,useless=18202939), ccks=18433154, wck=26.872, mem=735M512
41.53/31.57	    decisions=317757, wrong=87672, backtracks=85357, failedAssignments=3625, nogoods=1493
41.53/31.57	    
42.43/32.44	    num=38, depth=1492..8068, filters=4802167, revisions=(23494701,useless=18857097), ccks=18629809, wck=27.744, mem=735M512
42.43/32.44	    decisions=326808, wrong=88176, backtracks=85488, failedAssignments=3999, nogoods=1543
42.43/32.44	    
44.34/34.30	    num=39, depth=7850..8130, filters=5353539, revisions=(25399769,useless=20234233), ccks=20502176, wck=29.599, mem=743M639
44.34/34.30	    decisions=354503, wrong=97995, backtracks=94995, failedAssignments=4410, nogoods=1644
44.34/34.30	    
46.44/36.49	    num=40, depth=8181..8395, filters=5844932, revisions=(28164647,useless=22530366), ccks=22868362, wck=31.788, mem=743M639
46.44/36.49	    decisions=390850, wrong=112002, backtracks=109002, failedAssignments=4862, nogoods=1646
46.44/36.49	    
49.34/39.34	    num=41, depth=8371..8593, filters=6921521, revisions=(31171740,useless=24493052), ccks=26190598, wck=34.64, mem=743M639
49.34/39.34	    decisions=440483, wrong=132554, backtracks=129350, failedAssignments=5359, nogoods=1650
49.34/39.34	    
54.84/44.86	    num=42, depth=3866..8694, filters=9564024, revisions=(37719821,useless=28471866), ccks=34328396, wck=40.157, mem=751M734
54.84/44.86	    decisions=549924, wrong=183016, backtracks=179785, failedAssignments=5906, nogoods=1655
54.84/44.86	    
55.90/45.89	    num=43, depth=4110..8618, filters=9695607, revisions=(38620687,useless=29245233), ccks=34794435, wck=41.194, mem=751M734
55.90/45.89	    decisions=562781, wrong=185196, backtracks=181378, failedAssignments=6508, nogoods=1699
55.90/45.89	    
57.41/47.38	    num=44, depth=4223..8620, filters=10097060, revisions=(40172448,useless=30407272), ccks=36112342, wck=42.684, mem=751M734
57.41/47.38	    decisions=585379, wrong=192281, backtracks=187862, failedAssignments=7170, nogoods=1767
57.41/47.38	    
61.81/51.73	    num=45, depth=4553..8728, filters=12208455, revisions=(45378328,useless=33557374), ccks=42584214, wck=47.026, mem=759M829
61.81/51.73	    decisions=670028, wrong=230295, backtracks=225525, failedAssignments=7898, nogoods=1825
61.81/51.73	    
69.42/59.40	    num=46, depth=4884..8729, filters=16318460, revisions=(54930418,useless=39107782), ccks=55098930, wck=54.693, mem=767M959
69.42/59.40	    decisions=827977, wrong=304913, backtracks=300069, failedAssignments=8699, nogoods=1925
69.42/59.40	    
75.52/65.49	    num=47, depth=8513..8841, filters=19509468, revisions=(62517302,useless=43587922), ccks=64861717, wck=60.789, mem=767M959
75.52/65.49	    decisions=952538, wrong=362809, backtracks=357623, failedAssignments=9580, nogoods=1945
75.52/65.49	    
85.32/75.22	    num=48, depth=8680..8950, filters=24960766, revisions=(74978430,useless=50741989), ccks=81432293, wck=70.516, mem=776M54
85.32/75.22	    decisions=1160440, wrong=462404, backtracks=457239, failedAssignments=10550, nogoods=1947
85.32/75.22	    
86.72/76.66	    num=49, depth=8842..9060, filters=25343901, revisions=(76504592,useless=51895466), ccks=82694604, wck=71.96, mem=784M149
86.72/76.66	    decisions=1182759, wrong=469091, backtracks=462911, failedAssignments=11617, nogoods=1987
86.72/76.66	    
98.74/88.69	    num=50, depth=8873..9168, filters=32335237, revisions=(92365776,useless=60948102), ccks=103965288, wck=83.99, mem=784M149
98.74/88.69	    decisions=1444463, wrong=595454, backtracks=589293, failedAssignments=12790, nogoods=1989
98.74/88.69	    
99.74/89.68	    num=51, depth=9062..9174, filters=32434027, revisions=(93309623,useless=61796061), ccks=104365926, wck=84.975, mem=792M244
99.74/89.68	    decisions=1456503, wrong=596898, backtracks=589447, failedAssignments=14081, nogoods=1996
99.74/89.68	    
100.74/90.66	    num=52, depth=9063..9174, filters=32532602, revisions=(94265138,useless=62655892), ccks=104771047, wck=85.958, mem=792M244
100.74/90.66	    decisions=1468530, wrong=598333, backtracks=589463, failedAssignments=15501, nogoods=2023
100.74/90.66	    
103.25/93.14	    num=53, depth=9065..9337, filters=33476462, revisions=(97267750,useless=64752497), ccks=108072020, wck=88.437, mem=792M244
103.25/93.14	    decisions=1513203, wrong=616023, backtracks=605822, failedAssignments=17063, nogoods=2131
103.25/93.14	    
111.75/101.62	    num=54, depth=9172..9485, filters=37713911, revisions=(109347488,useless=72747748), ccks=123137261, wck=96.921, mem=800M339
111.75/101.62	    decisions=1699777, wrong=704684, backtracks=694647, failedAssignments=18781, nogoods=2134
111.75/101.62	    
129.96/119.82	    num=55, depth=9241..9568, filters=48830877, revisions=(134278708,useless=86857501), ccks=156865364, wck=115.117, mem=816M529
129.96/119.82	    decisions=2112489, wrong=906370, backtracks=896374, failedAssignments=20671, nogoods=2137
129.96/119.82	    
130.96/120.90	    num=56, depth=9566..9573, filters=48965165, revisions=(135387262,useless=87835617), ccks=157414858, wck=116.196, mem=816M529
130.96/120.90	    decisions=2126297, wrong=908490, backtracks=896428, failedAssignments=22750, nogoods=2230
130.96/120.90	    
146.36/136.21	    num=57, depth=9570..9890, filters=58461200, revisions=(157453123,useless=100656507), ccks=186618892, wck=131.507, mem=824M624
146.36/136.21	    decisions=2485664, wrong=1083359, backtracks=1070674, failedAssignments=25037, nogoods=2233
146.36/136.21	    
169.67/159.56	    num=58, depth=9560..9887, filters=73436127, revisions=(190718820,useless=119338160), ccks=232134949, wck=154.857, mem=840M814
169.67/159.56	    decisions=3038219, wrong=1354840, backtracks=1342198, failedAssignments=27553, nogoods=2236
169.67/159.56	    
181.38/171.21	    num=59, depth=9767..10098, filters=80574764, revisions=(207621824,useless=129322530), ccks=254550133, wck=166.509, mem=848M909
181.38/171.21	    decisions=3311561, wrong=1486611, backtracks=1472402, failedAssignments=30321, nogoods=2239
181.38/171.21	    
200.19/190.03	    num=60, depth=9891..10216, filters=92604449, revisions=(234591089,useless=144597475), ccks=291069791, wck=185.329, mem=865M99
200.19/190.03	    decisions=3787988, wrong=1719869, backtracks=1705208, failedAssignments=33365, nogoods=2241
200.19/190.03	    
207.98/197.83	    num=61, depth=10003..10386, filters=96513935, revisions=(247287600,useless=153524605), ccks=305088112, wck=193.134, mem=873M194
207.98/197.83	    decisions=3977476, wrong=1809494, backtracks=1793103, failedAssignments=36714, nogoods=2245
207.98/197.83	    
209.29/199.13	    num=62, depth=5910..10445, filters=96747449, revisions=(248863000,useless=154876212), ccks=305975010, wck=194.433, mem=873M194
209.29/199.13	    decisions=3995568, wrong=1813325, backtracks=1793252, failedAssignments=40398, nogoods=2286
209.29/199.13	    
227.39/217.24	    num=63, depth=10223..10766, filters=106878305, revisions=(280003426,useless=176238883), ccks=342601585, wck=212.545, mem=889M384
227.39/217.24	    decisions=4482023, wrong=2051286, backtracks=2031517, failedAssignments=44450, nogoods=2292
227.39/217.24	    
241.09/230.93	    num=64, depth=10493..10726, filters=115864273, revisions=(300037060,useless=187545409), ccks=369662435, wck=226.234, mem=897M479
241.09/230.93	    decisions=4827559, wrong=2218759, backtracks=2197293, failedAssignments=48907, nogoods=2295
241.09/230.93	    
260.80/250.63	    num=65, depth=8460..10675, filters=125739736, revisions=(337340901,useless=215365352), ccks=406840689, wck=245.93, mem=913M669
260.80/250.63	    decisions=5372057, wrong=2485720, backtracks=2463868, failedAssignments=53810, nogoods=2303
260.80/250.63	    
278.60/268.47	    num=66, depth=6918..10819, filters=137628112, revisions=(364008498,useless=230490818), ccks=442871246, wck=263.771, mem=929M860
278.60/268.47	    decisions=5863112, wrong=2725901, backtracks=2702021, failedAssignments=59204, nogoods=2314
278.60/268.47	    
288.32/278.16	    num=67, depth=6962..10661, filters=143665311, revisions=(378024161,useless=238645636), ccks=461209701, wck=273.457, mem=939M76
288.32/278.16	    decisions=6113509, wrong=2845845, backtracks=2819537, failedAssignments=65137, nogoods=2389
288.32/278.16	    
299.33/289.15	    num=68, depth=8833..10701, filters=150134176, revisions=(392735716,useless=247109125), ccks=480607595, wck=284.452, mem=947M171
299.33/289.15	    decisions=6426805, wrong=2997241, backtracks=2966830, failedAssignments=71663, nogoods=2394
299.33/289.15	    
315.72/305.56	    num=69, depth=8058..10858, filters=156869242, revisions=(429384484,useless=277423700), ccks=510879197, wck=300.857, mem=963M361
315.72/305.56	    decisions=6889995, wrong=3223478, backtracks=3193069, failedAssignments=78842, nogoods=2402
315.72/305.56	    
318.53/308.33	    num=70, depth=8368..11025, filters=158008315, revisions=(433789607,useless=280732223), ccks=514907801, wck=303.633, mem=971M500
318.53/308.33	    decisions=6950487, wrong=3248308, backtracks=3210208, failedAssignments=86739, nogoods=2511
318.53/308.33	    
357.85/347.63	    num=71, depth=10896..11196, filters=181892181, revisions=(491771713,useless=315783732), ccks=590028536, wck=342.933, mem=1003M880
357.85/347.63	    decisions=8190853, wrong=3862980, backtracks=3825049, failedAssignments=95426, nogoods=2540
357.85/347.63	    
376.39/366.12	    num=72, depth=4275..11030, filters=190853375, revisions=(516460020,useless=331968506), ccks=617756943, wck=361.42, mem=1028M165
376.39/366.12	    decisions=8842185, wrong=4183155, backtracks=4144660, failedAssignments=104981, nogoods=2552
376.39/366.12	    
394.39/383.81	    num=73, depth=7946..11240, filters=193683102, revisions=(531752304,useless=344568892), ccks=628086634, wck=379.114, mem=1060M545
394.39/383.81	    decisions=9001258, wrong=4257196, backtracks=5267092, failedAssignments=115492, nogoods=2565
394.39/383.81	    
421.40/410.87	    num=74, depth=8164..10918, filters=212347837, revisions=(575089965,useless=369787063), ccks=685424894, wck=406.168, mem=1076M735
421.40/410.87	    decisions=9736133, wrong=4619221, backtracks=5626883, failedAssignments=127054, nogoods=2595
421.40/410.87	    
466.92/456.36	    num=75, depth=8391..11200, filters=230260849, revisions=(644334318,useless=421931258), ccks=752544098, wck=451.657, mem=1133M400
466.92/456.36	    decisions=10733532, wrong=5112501, backtracks=7251100, failedAssignments=139772, nogoods=2629
466.92/456.36	    
490.96/480.09	    num=76, depth=8658..10962, filters=231110331, revisions=(659884269,useless=436688397), ccks=756958793, wck=475.391, mem=829M296
490.96/480.09	    decisions=10807401, wrong=5144157, backtracks=9498533, failedAssignments=153762, nogoods=2668
490.96/480.09	    
519.86/508.92	    num=77, depth=4947..10912, filters=231402185, revisions=(677136303,useless=453703351), ccks=759721327, wck=504.216, mem=901M725
519.86/508.92	    decisions=10888010, wrong=5179143, backtracks=12381805, failedAssignments=169151, nogoods=2704
519.86/508.92	    
538.87/527.92	    num=78, depth=4947..10644, filters=237773019, revisions=(696187123,useless=466761434), ccks=779775052, wck=523.217, mem=930M697
538.87/527.92	    decisions=11288586, wrong=5374277, backtracks=13176373, failedAssignments=186079, nogoods=2734
538.87/527.92	    
603.69/592.71	    num=79, depth=5136..10622, filters=267543142, revisions=(780412564,useless=522600684), ccks=878373702, wck=588.011, mem=1003M126
603.69/592.71	    decisions=13021413, wrong=6235574, backtracks=14824306, failedAssignments=204700, nogoods=2772
603.69/592.71	    
746.83/735.80	    num=80, depth=468..10096, filters=359448884, revisions=(983997379,useless=637110657), ccks=1156971442, wck=731.103, mem=1104M527
746.83/735.80	    decisions=16746325, wrong=8093079, backtracks=16682301, failedAssignments=225184, nogoods=2811
746.83/735.80	    
806.46/795.49	    num=81, depth=5645..10097, filters=393516669, revisions=(1074483712,useless=694725809), ccks=1263690189, wck=790.79, mem=1162M471
806.46/795.49	    decisions=18430936, wrong=8930440, backtracks=17519490, failedAssignments=247716, nogoods=2861
806.46/795.49	    
917.00/905.96	    num=82, depth=5221..10202, filters=454484120, revisions=(1232498437,useless=794185116), ccks=1462591364, wck=901.261, mem=1249M386
917.00/905.96	    decisions=21510450, wrong=10465198, backtracks=19055256, failedAssignments=272501, nogoods=2932
917.00/905.96	    
936.50/925.49	    num=83, depth=4091..10269, filters=461362983, revisions=(1265356430,useless=820655174), ccks=1492171704, wck=920.788, mem=1263M872
936.50/925.49	    decisions=22107113, wrong=10758448, backtracks=19336432, failedAssignments=299765, nogoods=2982
936.50/925.49	    
1036.44/1025.39	    num=84, depth=6575..10370, filters=524426330, revisions=(1400899508,useless=895262636), ccks=1679992741, wck=1020.691, mem=1350M787
1036.44/1025.39	    decisions=24902593, wrong=12151064, backtracks=20724617, failedAssignments=329755, nogoods=3032
1036.44/1025.39	    
1050.44/1039.31	    num=85, depth=4345..10428, filters=530893875, revisions=(1428051423,useless=916196044), ccks=1705725759, wck=1034.606, mem=1365M273
1050.44/1039.31	    decisions=25307800, wrong=12348529, backtracks=20890783, failedAssignments=362744, nogoods=3104
1050.44/1039.31	    
1105.27/1094.18	    num=86, depth=10237..10519, filters=562152785, revisions=(1513273304,useless=971481169), ccks=1806467318, wck=1089.481, mem=1408M730
1105.27/1094.18	    decisions=26762693, wrong=13070821, backtracks=21593818, failedAssignments=399032, nogoods=3115
1105.27/1094.18	    
1175.98/1164.86	    num=87, depth=10246..10563, filters=609225688, revisions=(1622642557,useless=1035312451), ccks=1948376543, wck=1160.159, mem=1452M188
1175.98/1164.86	    decisions=28560230, wrong=13964425, backtracks=22460805, failedAssignments=438949, nogoods=3121
1175.98/1164.86	    
1249.05/1237.66	    num=88, depth=10563..10718, filters=655052068, revisions=(1720689469,useless=1089203616), ccks=2083326126, wck=1232.956, mem=806M429
1249.05/1237.66	    decisions=30660282, wrong=15009160, backtracks=23487775, failedAssignments=482858, nogoods=3133
1249.05/1237.66	    
1378.39/1366.99	    num=89, depth=4357..11040, filters=726378102, revisions=(1908332381,useless=1208366402), ccks=2313255634, wck=1362.288, mem=937M116
1378.39/1366.99	    decisions=34310618, wrong=16828975, backtracks=26177173, failedAssignments=531158, nogoods=3152
1378.39/1366.99	    
1804.73/1793.12	    num=90, depth=4590..10621, filters=1026785498, revisions=(2576405932,useless=1584181606), ccks=3233507713, wck=1788.417, mem=1256M599
1804.73/1793.12	    decisions=45546042, wrong=22441573, backtracks=31787488, failedAssignments=584288, nogoods=3223
1804.73/1793.12	    
1814.82/1803.28	    num=91, depth=10612..10893, filters=1029901154, revisions=(2592404130,useless=1597135987), ccks=3246127676, wck=1798.58, mem=1271M120
1814.82/1803.28	    decisions=45680668, wrong=22503575, backtracks=32406564, failedAssignments=642731, nogoods=3268
1814.82/1803.28	    
1860.94/1849.39	    num=92, depth=10426..10822, filters=1056293810, revisions=(2665575242,useless=1644887258), ccks=3332380816, wck=1844.689, mem=1314M682
1860.94/1849.39	    decisions=47016646, wrong=23166335, backtracks=33104738, failedAssignments=707018, nogoods=3344
1860.94/1849.39	    
1887.54/1875.90	    num=93, depth=8921..10614, filters=1070728637, revisions=(2718001360,useless=1683435896), ccks=3385714262, wck=1871.204, mem=1343M765
1887.54/1875.90	    decisions=47758881, wrong=23532194, backtracks=33402621, failedAssignments=777734, nogoods=3440
1887.54/1875.90	    
2048.84/2037.09	    num=94, depth=9265..10986, filters=1077031501, revisions=(2824484755,useless=1784001107), ccks=3417715761, wck=2032.388, mem=988M19
2048.84/2037.09	    decisions=48306468, wrong=23800669, backtracks=48046542, failedAssignments=855521, nogoods=3470
2048.84/2037.09	    
2112.26/2100.40	    num=95, depth=5402..10858, filters=1079765068, revisions=(2868970411,useless=1825863907), ccks=3431983677, wck=2095.703, mem=1151M370
2112.26/2100.40	    decisions=48516882, wrong=23900588, backtracks=54552146, failedAssignments=941087, nogoods=3581
2112.26/2100.40	    
2274.53/2262.62	    num=96, depth=5217..10806, filters=1085397917, revisions=(2974926894,useless=1926559548), ccks=3459278755, wck=2257.916, mem=1580M209
2274.53/2262.62	    decisions=49061140, wrong=24167453, backtracks=71261041, failedAssignments=1035210, nogoods=3643
2274.53/2262.62	    
2400.08/2388.11	
2400.08/2388.11	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 (15202 MiB free)
  memory of node 1: 16384 MiB (14760 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391336-1568391326/watcher-4391336-1568391326 -o /tmp/evaluation-result-4391336-1568391326/solver-4391336-1568391326 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568388884-12407 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391336-1568391326.xml -cm 

running on 4 cores: 0,2,4,6

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

solver pid=13019, runsolver pid=13016

[startup+0.100123 s]*
/proc/loadavg: 2.08 2.07 2.05 4/233 13034
/proc/meminfo: memFree=30666412/32770624 swapFree=66967268/67108860
[pid=13019] ppid=13016 vsize=10659884 memory=28548 CPUtime=0.14 cores=0,2,4,6
/proc/13019/stat : 13019 (java) S 13016 13019 10443 0 -1 1077944320 5532 0 0 0 12 2 0 0 20 0 15 0 415382202 10915721216 7071 33554432000 4194304 4196468 140724525526304 140724525508848 140636060368631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
/proc/13019/statm: 2664971 7071 2900 1 0 2627468 0
[pid=13019/tid=13021] ppid=13016 vsize=10659884 memory=-8197568871503139198 CPUtime=0.09 cores=0,2,4,6
/proc/13019/task/13021/stat : 13021 (java) R 13016 13019 10443 0 -1 4202560 3373 0 0 0 8 1 0 0 20 0 15 0 415382202 10915721216 7137 33554432000 4194304 4196468 140724525526304 140636064597152 140636046049576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13022] ppid=13016 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 7137 33554432000 4194304 4196468 140724525526304 140636021328656 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13023] ppid=13016 vsize=10659884 memory=139790306838144 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635666094992 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13024] ppid=13016 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635665042448 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13025] ppid=13016 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635663989904 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13026] ppid=13016 vsize=10659884 memory=139790306838144 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415382204 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635619547120 140636060379778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13027] ppid=13016 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415382205 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635618493344 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13028] ppid=13016 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415382205 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635549983728 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13029] ppid=13016 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415382207 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635548932304 140636060387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13030] ppid=13016 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 10443 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 15 0 415382207 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635547879920 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13031] ppid=13016 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382207 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635546827376 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13032] ppid=13016 vsize=10659884 memory=139790306838144 CPUtime=0.02 cores=0,2,4,6
/proc/13019/task/13032/stat : 13032 (java) R 13016 13019 10443 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 415382207 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635545771256 140636039041457 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13033] ppid=13016 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415382208 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635544722528 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13034] ppid=13016 vsize=10659884 memory=139790306838144 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382208 10915721216 7137 33554432000 4194304 4196468 140724525526304 140635543669040 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28548 KiB

[startup+0.211033 s]*
/proc/loadavg: 2.08 2.07 2.05 3/233 13034
/proc/meminfo: memFree=30659776/32770624 swapFree=66967268/67108860
[pid=13019] ppid=13016 vsize=10659884 memory=35092 CPUtime=0.33 cores=0,2,4,6
/proc/13019/stat : 13019 (java) S 13016 13019 10443 0 -1 1077944320 6915 0 0 0 31 2 0 0 20 0 15 0 415382202 10915721216 8773 33554432000 4194304 4196468 140724525526304 140724525508848 140636060368631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
/proc/13019/statm: 2664971 8773 2990 1 0 2627468 0
[pid=13019/tid=13021] ppid=13016 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/13019/task/13021/stat : 13021 (java) R 13016 13019 10443 0 -1 4202560 3902 0 0 0 19 1 0 0 20 0 15 0 415382202 10915721216 8773 33554432000 4194304 4196468 140724525526304 140636064607024 140636060390557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13022] ppid=13016 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 8773 33554432000 4194304 4196468 140724525526304 140636021328656 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13023] ppid=13016 vsize=10659884 memory=288370166458549888 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635666094992 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13024] ppid=13016 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635665042448 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13025] ppid=13016 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635663989904 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13026] ppid=13016 vsize=10659884 memory=139790306838144 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415382204 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635619547120 140636060379778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13027] ppid=13016 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415382205 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635618493344 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13028] ppid=13016 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415382205 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635549983728 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13029] ppid=13016 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415382207 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635548932304 140636060387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13030] ppid=13016 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 10443 0 -1 1077944384 635 0 0 0 3 0 0 0 20 0 15 0 415382207 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635547879920 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13031] ppid=13016 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 10443 0 -1 1077944384 244 0 0 0 2 0 0 0 20 0 15 0 415382207 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635546827376 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13032] ppid=13016 vsize=10659884 memory=139790306838144 CPUtime=0.05 cores=0,2,4,6
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 10443 0 -1 1077944384 774 0 0 0 5 0 0 0 20 0 15 0 415382207 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635545774832 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13033] ppid=13016 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415382208 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635544722528 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13034] ppid=13016 vsize=10659884 memory=139790306838144 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382208 10915721216 8773 33554432000 4194304 4196468 140724525526304 140635543669040 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35092 KiB

[startup+0.310636 s]*
/proc/loadavg: 2.08 2.07 2.05 3/233 13034
/proc/meminfo: memFree=30651176/32770624 swapFree=66967268/67108860
[pid=13019] ppid=13016 vsize=10659884 memory=40476 CPUtime=0.47 cores=0,2,4,6
/proc/13019/stat : 13019 (java) S 13016 13019 10443 0 -1 1077944320 9428 0 0 0 44 3 0 0 20 0 15 0 415382202 10915721216 10119 33554432000 4194304 4196468 140724525526304 140724525508848 140636060368631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
/proc/13019/statm: 2664971 10119 3003 1 0 2627468 0
[pid=13019/tid=13021] ppid=13016 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/13019/task/13021/stat : 13021 (java) R 13016 13019 10443 0 -1 4202560 6349 0 0 0 28 2 0 0 20 0 15 0 415382202 10915721216 10119 33554432000 4194304 4196468 140724525526304 140636064601040 140636060390557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13022] ppid=13016 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 10119 33554432000 4194304 4196468 140724525526304 140636021328656 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13023] ppid=13016 vsize=10659884 memory=288370166458549888 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635666094992 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13024] ppid=13016 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635665042448 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13025] ppid=13016 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415382203 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635663989904 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13026] ppid=13016 vsize=10659884 memory=139790306838144 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415382204 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635619547120 140636060379778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13027] ppid=13016 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415382205 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635618493344 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13028] ppid=13016 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415382205 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635549983728 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13029] ppid=13016 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415382207 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635548932304 140636060387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13030] ppid=13016 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 10443 0 -1 1077944384 674 0 0 0 4 0 0 0 20 0 15 0 415382207 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635547879920 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13031] ppid=13016 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 10443 0 -1 1077944384 252 0 0 0 3 0 0 0 20 0 15 0 415382207 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635546827376 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13032] ppid=13016 vsize=10659884 memory=139790306838144 CPUtime=0.08 cores=0,2,4,6
/proc/13019/task/13032/stat : 13032 (java) R 13016 13019 10443 0 -1 4202560 796 0 0 0 8 0 0 0 20 0 15 0 415382207 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635545774832 140636060389978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13033] ppid=13016 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415382208 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635544722528 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13034] ppid=13016 vsize=10659884 memory=139790306838144 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382208 10915721216 10119 33554432000 4194304 4196468 140724525526304 140635543669040 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40476 KiB

[startup+0.700711 s]
/proc/loadavg: 2.08 2.07 2.05 3/233 13034
/proc/meminfo: memFree=30644416/32770624 swapFree=66967268/67108860
[pid=13019] ppid=13016 vsize=10661932 memory=62004 CPUtime=1.08 cores=0,2,4,6
/proc/13019/stat : 13019 (java) S 13016 13019 10443 0 -1 1077944320 12640 0 0 0 103 5 0 0 20 0 15 0 415382202 10917818368 15501 33554432000 4194304 4196468 140724525526304 140724525508848 140636060368631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
/proc/13019/statm: 2665483 15501 3061 1 0 2627980 0
[pid=13019/tid=13021] ppid=13016 vsize=10661932 memory=1240 CPUtime=0.68 cores=0,2,4,6
/proc/13019/task/13021/stat : 13021 (java) R 13016 13019 10443 0 -1 4202560 8883 0 0 0 64 4 0 0 20 0 15 0 415382202 10917818368 15501 33554432000 4194304 4196468 140724525526304 140636064585568 140636060390557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13022] ppid=13016 vsize=10661932 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10917818368 15501 33554432000 4194304 4196468 140724525526304 140636021328656 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13023] ppid=13016 vsize=10661932 memory=716 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635666094992 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13024] ppid=13016 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635665042448 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13025] ppid=13016 vsize=10661932 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415382203 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635663989904 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13026] ppid=13016 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415382204 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635619547120 140636060379778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13027] ppid=13016 vsize=10661932 memory=9328 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415382205 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635618493344 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13028] ppid=13016 vsize=10661932 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415382205 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635549983728 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13029] ppid=13016 vsize=10661932 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415382207 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635548932304 140636060387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13030] ppid=13016 vsize=10661932 memory=4639098309541126757 CPUtime=0.11 cores=0,2,4,6
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 10443 0 -1 1077944384 878 0 0 0 11 0 0 0 20 0 15 0 415382207 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635547879920 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13031] ppid=13016 vsize=10661932 memory=7955443078088779376 CPUtime=0.08 cores=0,2,4,6
/proc/13019/task/13031/stat : 13031 (java) R 13016 13019 10443 0 -1 4202560 356 0 0 0 8 0 0 0 20 0 15 0 415382207 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635546827376 140636039801708 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13032] ppid=13016 vsize=10661932 memory=5865188000529146989 CPUtime=0.19 cores=0,2,4,6
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 10443 0 -1 1077944384 1163 0 0 0 19 0 0 0 20 0 15 0 415382207 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635545774832 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13033] ppid=13016 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415382208 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635544722528 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13034] ppid=13016 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382208 10917818368 15501 33554432000 4194304 4196468 140724525526304 140635543669040 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62004 KiB

[startup+1.50082 s]
/proc/loadavg: 2.08 2.07 2.05 3/233 13034
/proc/meminfo: memFree=30628292/32770624 swapFree=66967268/67108860
[pid=13019] ppid=13016 vsize=10663980 memory=75104 CPUtime=1.98 cores=0,2,4,6
/proc/13019/stat : 13019 (java) S 13016 13019 10443 0 -1 1077944320 18293 0 0 0 192 6 0 0 20 0 15 0 415382202 10919915520 18776 33554432000 4194304 4196468 140724525526304 140724525508848 140636060368631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
/proc/13019/statm: 2665995 18776 3097 1 0 2628492 0
[pid=13019/tid=13021] ppid=13016 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/13019/task/13021/stat : 13021 (java) R 13016 13019 10443 0 -1 4202560 13038 0 0 0 144 4 0 0 20 0 15 0 415382202 10919915520 18776 33554432000 4194304 4196468 140724525526304 140636064608912 140636040644338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13022] ppid=13016 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10919915520 18776 33554432000 4194304 4196468 140724525526304 140636021328656 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13023] ppid=13016 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10919915520 18776 33554432000 4194304 4196468 140724525526304 140635666094992 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13024] ppid=13016 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415382203 10919915520 18776 33554432000 4194304 4196468 140724525526304 140635665042448 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13025] ppid=13016 vsize=10663980 memory=-7096649868621430206 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415382203 10919915520 18776 33554432000 4194304 4196468 140724525526304 140635663989904 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13026] ppid=13016 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 10443 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 415382204 10919915520 18776 33554432000 4194304 4196468 140724525526304 140635619547120 140636060379778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0

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

/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 10443 0 -1 1077944384 3094 0 0 0 70 37 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635663989904 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13026] ppid=13016 vsize=10748324 memory=1560 CPUtime=0.09 cores=0,2,4,6
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 10443 0 -1 1077944384 10373 0 0 0 7 2 0 0 20 0 16 0 415382204 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635619547120 140636060379778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13027] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 10443 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 415382205 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635618493408 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13028] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 10443 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415382205 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635549983744 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13029] ppid=13016 vsize=10748324 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635548932304 140636060387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13030] ppid=13016 vsize=10748324 memory=22476 CPUtime=3.47 cores=0,2,4,6
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 10443 0 -1 1077944384 13229 0 0 0 345 2 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635547879920 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13031] ppid=13016 vsize=10748324 memory=1975972 CPUtime=3.39 cores=0,2,4,6
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 10443 0 -1 1077944384 14832 0 0 0 336 3 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635546827376 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13032] ppid=13016 vsize=10748324 memory=1052 CPUtime=1.15 cores=0,2,4,6
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 10443 0 -1 1077944384 17057 0 0 0 113 2 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635545774832 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13033] ppid=13016 vsize=10748324 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415382208 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635544722528 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13034] ppid=13016 vsize=10748324 memory=6791534058613427641 CPUtime=0.77 cores=0,2,4,6
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 10443 0 -1 1077944384 2303 0 0 0 35 42 0 0 20 0 16 0 415382208 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635543669040 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13035] ppid=13016 vsize=10748324 memory=22476 CPUtime=2319.11 cores=0,2,4,6
/proc/13019/task/13035/stat : 13035 (java) R 13016 13019 10443 0 -1 4202560 35035 0 0 0 231903 8 0 0 20 0 16 0 415382391 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635526888704 140635703732176 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
Current children cumulated CPU time: 2334.25 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1975972 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/236 13344
/proc/meminfo: memFree=27018696/32770624 swapFree=66967308/67108860
[pid=13019] ppid=13016 vsize=10748324 memory=1975972 CPUtime=2394.27 cores=0,2,4,6
/proc/13019/stat : 13019 (java) S 13016 13019 10443 0 -1 1077944320 122183 0 0 0 239230 197 0 0 20 0 16 0 415382202 11006283776 493993 33554432000 4194304 4196468 140724525526304 140724525508848 140636060368631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
/proc/13019/statm: 2687081 493993 3384 1 0 2647217 0
[pid=13019/tid=13021] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.87 cores=0,2,4,6
/proc/13019/task/13021/stat : 13021 (java) S 13016 13019 10443 0 -1 1077944384 15299 0 0 0 182 5 0 0 20 0 16 0 415382202 11006283776 493993 33554432000 4194304 4196468 140724525526304 140636064611504 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13022] ppid=13016 vsize=10748324 memory=6791534058613427641 CPUtime=1.09 cores=0,2,4,6
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 10443 0 -1 1077944384 2663 0 0 0 73 36 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140636021328656 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13023] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.05 cores=0,2,4,6
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 10443 0 -1 1077944384 2272 0 0 0 70 35 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635666094992 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13024] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.08 cores=0,2,4,6
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 10443 0 -1 1077944384 4217 0 0 0 71 37 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635665042448 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13025] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.07 cores=0,2,4,6
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 10443 0 -1 1077944384 3094 0 0 0 70 37 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635663989904 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13026] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0.09 cores=0,2,4,6
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 10443 0 -1 1077944384 10385 0 0 0 7 2 0 0 20 0 16 0 415382204 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635619547120 140636060379778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13027] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 10443 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 415382205 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635618493408 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13028] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 10443 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415382205 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635549983744 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13029] ppid=13016 vsize=10748324 memory=279580359870192 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635548932304 140636060387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13030] ppid=13016 vsize=10748324 memory=1975972 CPUtime=3.47 cores=0,2,4,6
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 10443 0 -1 1077944384 13233 0 0 0 345 2 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635547879920 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13031] ppid=13016 vsize=10748324 memory=33380 CPUtime=3.39 cores=0,2,4,6
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 10443 0 -1 1077944384 14848 0 0 0 336 3 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635546827376 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13032] ppid=13016 vsize=10748324 memory=3624 CPUtime=1.15 cores=0,2,4,6
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 10443 0 -1 1077944384 17061 0 0 0 113 2 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635545774832 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13033] ppid=13016 vsize=10748324 memory=22476 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415382208 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635544722528 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13034] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0.79 cores=0,2,4,6
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 10443 0 -1 1077944384 2361 0 0 0 36 43 0 0 20 0 16 0 415382208 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635543669040 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13035] ppid=13016 vsize=10748324 memory=1975972 CPUtime=2379.11 cores=0,2,4,6
/proc/13019/task/13035/stat : 13035 (java) R 13016 13019 10443 0 -1 4202560 35327 0 0 0 237903 8 0 0 20 0 16 0 415382391 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635526888704 140635699148891 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
Current children cumulated CPU time: 2394.27 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1975972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2388.11 s]
/proc/loadavg: 2.02 2.09 2.08 3/236 13344
/proc/meminfo: memFree=27018696/32770624 swapFree=66967308/67108860
[pid=13019] ppid=13016 vsize=10748324 memory=1975972 CPUtime=2400.08 cores=0,2,4,6
/proc/13019/stat : 13019 (java) S 13016 13019 10443 0 -1 1077944320 122235 0 0 0 239811 197 0 0 20 0 16 0 415382202 11006283776 493993 33554432000 4194304 4196468 140724525526304 140724525508848 140636060368631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
/proc/13019/statm: 2687081 493993 3384 1 0 2647217 0
[pid=13019/tid=13021] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.87 cores=0,2,4,6
/proc/13019/task/13021/stat : 13021 (java) S 13016 13019 10443 0 -1 1077944384 15299 0 0 0 182 5 0 0 20 0 16 0 415382202 11006283776 493993 33554432000 4194304 4196468 140724525526304 140636064611504 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13022] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.09 cores=0,2,4,6
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 10443 0 -1 1077944384 2663 0 0 0 73 36 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140636021328656 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13023] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.05 cores=0,2,4,6
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 10443 0 -1 1077944384 2272 0 0 0 70 35 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635666094992 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13024] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.08 cores=0,2,4,6
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 10443 0 -1 1077944384 4217 0 0 0 71 37 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635665042448 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13025] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.07 cores=0,2,4,6
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 10443 0 -1 1077944384 3094 0 0 0 70 37 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635663989904 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13026] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0.09 cores=0,2,4,6
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 10443 0 -1 1077944384 10385 0 0 0 7 2 0 0 20 0 16 0 415382204 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635619547120 140636060379778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13027] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 10443 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 415382205 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635618493408 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13028] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 10443 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415382205 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635549983744 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13029] ppid=13016 vsize=10748324 memory=8932 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635548932304 140636060387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13030] ppid=13016 vsize=10748324 memory=1975972 CPUtime=3.47 cores=0,2,4,6
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 10443 0 -1 1077944384 13233 0 0 0 345 2 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635547879920 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13031] ppid=13016 vsize=10748324 memory=1975972 CPUtime=3.39 cores=0,2,4,6
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 10443 0 -1 1077944384 14848 0 0 0 336 3 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635546827376 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13032] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.15 cores=0,2,4,6
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 10443 0 -1 1077944384 17061 0 0 0 113 2 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635545774832 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13033] ppid=13016 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415382208 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635544722528 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13034] ppid=13016 vsize=10748324 memory=1980 CPUtime=0.79 cores=0,2,4,6
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 10443 0 -1 1077944384 2361 0 0 0 36 43 0 0 20 0 16 0 415382208 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635543669040 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13035] ppid=13016 vsize=10748324 memory=2404 CPUtime=2384.92 cores=0,2,4,6
/proc/13019/task/13035/stat : 13035 (java) R 13016 13019 10443 0 -1 4202560 35379 0 0 0 238484 8 0 0 20 0 16 0 415382391 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635526888704 140635702789626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1975972 KiB

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

[startup+2388.13 s]
# the end of solver process 13019 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.12 s, system=1.98935 s

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

[startup+2388.11 s]
/proc/loadavg: 2.02 2.09 2.08 3/236 13344
/proc/meminfo: memFree=27018696/32770624 swapFree=66967308/67108860
[pid=13019] ppid=13016 vsize=10748324 memory=1975972 CPUtime=2400.08 cores=0,2,4,6
/proc/13019/stat : 13019 (java) S 13016 13019 10443 0 -1 1077944320 122235 0 0 0 239811 197 0 0 20 0 16 0 415382202 11006283776 493993 33554432000 4194304 4196468 140724525526304 140724525508848 140636060368631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
/proc/13019/statm: 2687081 493993 3384 1 0 2647217 0
[pid=13019/tid=13021] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.87 cores=0,2,4,6
/proc/13019/task/13021/stat : 13021 (java) S 13016 13019 10443 0 -1 1077944384 15299 0 0 0 182 5 0 0 20 0 16 0 415382202 11006283776 493993 33554432000 4194304 4196468 140724525526304 140636064611504 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13022] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.09 cores=0,2,4,6
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 10443 0 -1 1077944384 2663 0 0 0 73 36 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140636021328656 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13023] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.05 cores=0,2,4,6
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 10443 0 -1 1077944384 2272 0 0 0 70 35 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635666094992 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13024] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.08 cores=0,2,4,6
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 10443 0 -1 1077944384 4217 0 0 0 71 37 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635665042448 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13025] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.07 cores=0,2,4,6
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 10443 0 -1 1077944384 3094 0 0 0 70 37 0 0 20 0 16 0 415382203 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635663989904 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13026] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0.09 cores=0,2,4,6
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 10443 0 -1 1077944384 10385 0 0 0 7 2 0 0 20 0 16 0 415382204 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635619547120 140636060379778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13027] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 10443 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 415382205 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635618493408 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13028] ppid=13016 vsize=10748324 memory=1975972 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 10443 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415382205 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635549983744 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13029] ppid=13016 vsize=10748324 memory=8932 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635548932304 140636060387227 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13030] ppid=13016 vsize=10748324 memory=1975972 CPUtime=3.47 cores=0,2,4,6
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 10443 0 -1 1077944384 13233 0 0 0 345 2 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635547879920 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13031] ppid=13016 vsize=10748324 memory=1975972 CPUtime=3.39 cores=0,2,4,6
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 10443 0 -1 1077944384 14848 0 0 0 336 3 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635546827376 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13032] ppid=13016 vsize=10748324 memory=1975972 CPUtime=1.15 cores=0,2,4,6
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 10443 0 -1 1077944384 17061 0 0 0 113 2 0 0 20 0 16 0 415382207 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635545774832 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13033] ppid=13016 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415382208 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635544722528 140636060378837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13034] ppid=13016 vsize=10748324 memory=1980 CPUtime=0.79 cores=0,2,4,6
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 10443 0 -1 1077944384 2361 0 0 0 36 43 0 0 20 0 16 0 415382208 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635543669040 140636060379778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
[pid=13019/tid=13035] ppid=13016 vsize=10748324 memory=2404 CPUtime=2384.92 cores=0,2,4,6
/proc/13019/task/13035/stat : 13035 (java) R 13016 13019 10443 0 -1 4202560 35379 0 0 0 238484 8 0 0 20 0 16 0 415382391 11006283776 493993 33554432000 4194304 4196468 140724525526304 140635526888704 140635702789626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24035328 140724525532171 140724525532274 140724525532274 140724525535183 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1975972 KiB

Child status: 143
Real time (s): 2388.13
CPU time (s): 2400.11
CPU user time (s): 2398.12
CPU system time (s): 1.98935
CPU usage (%): 100.502
Max. virtual memory (cumulated for all children) (KiB): 10750388
Max. memory (cumulated for all children) (KiB): 1975972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.12
system time used= 1.98935
maximum resident set size= 1980636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56090
involuntary context switches= 741


# summary of solver processes directly reported to runsolver:
#   pid: 13019
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2398.12
#   total CPU system time (s): 1.98935

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1589 second user time and 20.0462 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-13 18:14:46
IDJOB=4391336
IDBENCH=139629
IDSOLVER=2833
FILE ID=node135/4391336-1568391326
RUNJOBID= node135-1568388884-12407
PBS_JOBID= 21701833
Free space on /tmp= 61364 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_12_14.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391336-1568391326/watcher-4391336-1568391326 -o /tmp/evaluation-result-4391336-1568391326/solver-4391336-1568391326 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568388884-12407 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391336-1568391326.xml -cm

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

MD5SUM BENCH= b79ed9a63f5f06b259b31d8f3686f277
RANDOM SEED=1347478600

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
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:        30682384 kB
MemAvailable:   31579336 kB
Buffers:          144260 kB
Cached:          1021548 kB
SwapCached:        35024 kB
Active:           750156 kB
Inactive:         741948 kB
Active(anon):     298556 kB
Inactive(anon):    59692 kB
Active(file):     451600 kB
Inactive(file):   682256 kB
Unevictable:      110032 kB
Mlocked:          110032 kB
SwapTotal:      67108860 kB
SwapFree:       66967268 kB
Dirty:              8432 kB
Writeback:             0 kB
AnonPages:        543292 kB
Mapped:            48308 kB
Shmem:             23688 kB
Slab:             188688 kB
SReclaimable:     157860 kB
SUnreclaim:        30828 kB
KernelStack:        4080 kB
PageTables:         5972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1262484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    473088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61356 MiB
End job on node135 at 2019-09-13 18:54:35