Trace number 4391029

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) 2520.11 2507.13

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_9_13.xml
MD5SUM3c8d95ae467c6bf4a4f8a8c9b5dc34f0
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark244
Best CPU time to get the best result obtained on this benchmark19937.7
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":15,"count":111},{"size":50,"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.41/1.88	
2.41/1.88	AbsCon 2 
2.65/1.90	
4.00/2.34	  Instance
4.00/2.34	    name=instance-4391029-1568386285, framework=COP, bounds=-infty..+infty
4.00/2.34	
4.00/2.34	  Loading variables...
4.66/2.58	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad8f52e
11.01/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6ab1b
11.01/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea65c4
11.01/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4736ee1a
11.01/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738511a1
11.01/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29141ca0
11.01/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d2ae2c
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17bf7a9d
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542d7b5b
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a68ba39
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482218e5
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc847c1
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ad290d
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3c64f7
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3927b4b4
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db64b37
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4712b4ec
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157f558b
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253f3793
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0cb002
11.01/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63fc4803
11.01/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad8abb9
11.32/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ffcc589
11.32/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3989d923
11.32/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f67d65
11.32/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f04e217
11.32/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c0877d6
11.32/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3a56e
11.32/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291d1c4d
11.32/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4396fceb
11.32/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745b64e
11.32/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@feb115e
11.32/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7f90e2
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60718f3d
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23739d55
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4014264c
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753913fa
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac47ea3
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c15ace
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a87f5e2
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5e259a
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57e018ab
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c7123f
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3febf50d
11.32/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea787c7
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a560e0d
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b15132
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82275a
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3660da83
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e80ec65
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8570d90
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56523561
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454f86e1
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d8f01c4
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@602cd57d
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@514b06e8
11.32/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d646c4
11.32/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37d1beac
11.32/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce87161
11.32/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cd601a2
11.32/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6546bb39
11.32/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e07a8e
11.32/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a9342c
11.32/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259dc7fa
11.32/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a78d73e
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@584fae5e
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e255a9
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b17b26
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31f7575e
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5726a282
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b019d71
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b353508
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370851e1
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51d60c0c
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290810f8
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745afe8e
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e2590f
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482c1716
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1396ed3c
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ba0a17
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24273097
11.32/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3e5dbc
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160f0941
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de7e48
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@695f6116
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15052370
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21bf8da5
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b3c20b
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39cdde1d
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10138d12
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e66b92
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e510426
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79048136
11.32/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e060c7d
11.32/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b1eee1
11.32/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756ba478
11.32/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29eb1d55
11.32/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b552841
11.32/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7445dc62
11.32/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dcf9607
11.32/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2969550e
11.32/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2293f98c
11.32/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bf0bc0c
11.32/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c77b0c1
11.32/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f8b5c3
11.32/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f0fdc5
11.32/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b5699d2
11.32/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@88cd172
11.32/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ad84980
11.32/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68d4ca44
11.32/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1bb805
11.32/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f619dc1
11.65/4.67	
11.65/4.67	
11.65/4.67	  Domains
11.65/4.67	    nTypes=4, nValues=44178, sizes=[2#12321,15#111,50#111,111#111]
11.65/4.67	  Variables
11.65/4.67	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.65/4.67	  Objectives
11.65/4.67	    way=min, type=SumSimpleLE
11.65/4.67	  Constraints
11.65/4.67	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.65/4.67	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.65/4.67	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.65/4.67	    wck=2.81, cpu=4.17, mem=934M191
11.65/4.69	  Solver SolverBacktrack being built...
11.65/4.69	
12.32/4.80	
12.32/4.80	  Solver
12.32/4.80	    guaranteedGAC=false
12.32/4.80	    wck=2.946, cpu=4.304, mem=966M390
13.32/5.54	
13.32/5.54	  Preprocessing
13.32/5.54	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.32/5.54	    wck=0.733, cpu=5.042, mem=966M390
13.32/5.54	
13.32/5.59	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.787, mem=966M390
13.32/5.59	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.32/5.59	    
13.57/5.64	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.834, mem=966M390
13.57/5.64	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
13.57/5.64	    
13.57/5.69	    num=2, depth=220..220, filters=4236, revisions=(38962,useless=34765), ccks=1397675, wck=0.884, mem=966M390
13.57/5.69	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.57/5.69	    
13.88/5.75	    num=3, depth=329..329, filters=6082, revisions=(54504,useless=48483), ccks=1408602, wck=0.948, mem=966M390
13.88/5.75	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.88/5.75	    
14.19/5.83	    num=4, depth=438..438, filters=8144, revisions=(76485,useless=68429), ccks=1419946, wck=1.022, mem=966M390
14.19/5.83	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
14.19/5.83	    
14.39/5.91	    num=5, depth=547..547, filters=10583, revisions=(108679,useless=98249), ccks=1435287, wck=1.106, mem=966M390
14.39/5.91	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.39/5.91	    
14.54/6.01	    num=6, depth=656..656, filters=13171, revisions=(143760,useless=130780), ccks=1447759, wck=1.204, mem=966M390
14.54/6.01	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.54/6.01	    
14.66/6.12	    num=7, depth=763..763, filters=16554, revisions=(212035,useless=195961), ccks=1475067, wck=1.321, mem=966M390
14.66/6.12	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
14.66/6.12	    
14.76/6.25	    num=8, depth=872..872, filters=20202, revisions=(284862,useless=265416), ccks=1501153, wck=1.45, mem=966M390
14.76/6.25	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
14.76/6.25	    
14.96/6.40	    num=9, depth=980..980, filters=24374, revisions=(376562,useless=353339), ccks=1534034, wck=1.596, mem=966M390
14.96/6.40	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
14.96/6.40	    
15.11/6.56	    num=10, depth=1089..1090, filters=28976, revisions=(475034,useless=447611), ccks=1567887, wck=1.757, mem=966M390
15.11/6.56	    decisions=6479, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
15.11/6.56	    
15.33/6.75	    num=11, depth=1307..1308, filters=34196, revisions=(589714,useless=557512), ccks=1609670, wck=1.943, mem=974M485
15.33/6.75	    decisions=7843, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
15.33/6.75	    
15.55/6.96	    num=12, depth=1524..1526, filters=40319, revisions=(731815,useless=694074), ccks=1660676, wck=2.161, mem=974M485
15.55/6.96	    decisions=9431, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
15.55/6.96	    
15.87/7.20	    num=13, depth=1630..1631, filters=47252, revisions=(900117,useless=856215), ccks=1723662, wck=2.396, mem=974M485
15.87/7.20	    decisions=11130, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
15.87/7.20	    
16.07/7.47	    num=14, depth=1958..1959, filters=54723, revisions=(1087625,useless=1037037), ccks=1790651, wck=2.668, mem=974M485
16.07/7.47	    decisions=13163, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
16.07/7.47	    
16.39/7.77	    num=15, depth=2176..2178, filters=62951, revisions=(1291119,useless=1233124), ccks=1855328, wck=2.967, mem=974M485
16.39/7.77	    decisions=15423, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
16.39/7.77	    
16.71/8.10	    num=16, depth=2393..2394, filters=71875, revisions=(1517483,useless=1451486), ccks=1934599, wck=3.296, mem=982M561
16.71/8.10	    decisions=17907, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
16.71/8.10	    
17.10/8.45	    num=17, depth=2611..2613, filters=81657, revisions=(1757502,useless=1682659), ccks=2006326, wck=3.648, mem=982M561
17.10/8.45	    decisions=20620, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
17.10/8.45	    
17.51/8.84	    num=18, depth=2938..2940, filters=92358, revisions=(2019280,useless=1934707), ccks=2085807, wck=4.039, mem=982M561
17.51/8.84	    decisions=23670, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
17.51/8.84	    
17.91/9.27	    num=19, depth=3265..3267, filters=104010, revisions=(2300708,useless=2205469), ccks=2167112, wck=4.466, mem=982M561
17.91/9.27	    decisions=27059, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
17.91/9.27	    
18.42/9.74	    num=20, depth=3590..3592, filters=117049, revisions=(2627431,useless=2520391), ccks=2263476, wck=4.936, mem=982M561
18.42/9.74	    decisions=30785, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
18.42/9.74	    
18.92/10.25	    num=21, depth=3915..3918, filters=131677, revisions=(2996896,useless=2876694), ccks=2373065, wck=5.446, mem=982M561
18.92/10.25	    decisions=34851, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
18.92/10.25	    
19.52/10.81	    num=22, depth=4351..4354, filters=147586, revisions=(3397334,useless=3262753), ccks=2493237, wck=6.006, mem=982M561
19.52/10.81	    decisions=39367, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
19.52/10.81	    
20.12/11.42	    num=23, depth=4784..4787, filters=165322, revisions=(3855946,useless=3705476), ccks=2630025, wck=6.615, mem=990M373
20.12/11.42	    decisions=44332, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
20.12/11.42	    
20.73/12.07	    num=24, depth=5220..5224, filters=184550, revisions=(4341535,useless=4173710), ccks=2770288, wck=7.266, mem=990M373
20.73/12.07	    decisions=49752, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
20.73/12.07	    
21.42/12.77	    num=25, depth=5765..5769, filters=205383, revisions=(4860429,useless=4673674), ccks=2918129, wck=7.969, mem=990M373
21.42/12.77	    decisions=55737, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
21.42/12.77	    
24.15/14.05	    num=26, depth=6310..6315, filters=227989, revisions=(5412961,useless=5205535), ccks=3070098, wck=9.247, mem=726M405
24.15/14.05	    decisions=62290, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
24.15/14.05	    
25.07/14.87	    num=27, depth=6964..6966, filters=249577, revisions=(6005126,useless=5778082), ccks=3224423, wck=10.064, mem=726M405
25.07/14.87	    decisions=69518, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
25.07/14.87	    
27.13/16.58	    num=28, depth=7040..7256, filters=703438, revisions=(7515710,useless=6847286), ccks=4651964, wck=11.774, mem=734M441
27.13/16.58	    decisions=92283, wrong=9095, backtracks=7690, failedAssignments=1474, nogoods=1405
27.13/16.58	    
28.17/17.59	    num=29, depth=7255..7370, filters=786909, revisions=(8279251,useless=7531672), ccks=4967039, wck=12.792, mem=734M441
28.17/17.59	    decisions=102652, wrong=10638, backtracks=9231, failedAssignments=1632, nogoods=1407
28.17/17.59	    
29.08/18.47	    num=30, depth=7478..7583, filters=820914, revisions=(8930393,useless=8150998), ccks=5144682, wck=13.672, mem=734M441
29.08/18.47	    decisions=110989, wrong=11017, backtracks=9439, failedAssignments=1806, nogoods=1472
29.08/18.47	    
31.01/20.24	    num=31, depth=7367..7584, filters=1329068, revisions=(10570423,useless=9296626), ccks=6720349, wck=15.439, mem=734M441
31.01/20.24	    decisions=136088, wrong=19777, backtracks=18089, failedAssignments=1997, nogoods=1476
31.01/20.24	    
32.11/21.37	    num=32, depth=7582..7677, filters=1444240, revisions=(11527902,useless=10144896), ccks=7192810, wck=16.571, mem=734M441
32.11/21.37	    decisions=148722, wrong=22297, backtracks=20481, failedAssignments=2208, nogoods=1478
32.11/21.37	    
33.01/22.27	    num=33, depth=7910..8016, filters=1480234, revisions=(12185398,useless=10768409), ccks=7365835, wck=17.465, mem=734M441
33.01/22.27	    decisions=157501, wrong=22725, backtracks=20679, failedAssignments=2440, nogoods=1496
33.01/22.27	    
36.72/25.93	    num=34, depth=7796..8017, filters=3065356, revisions=(16051766,useless=13089442), ccks=12131020, wck=21.129, mem=742M448
36.72/25.93	    decisions=220514, wrong=50323, backtracks=48275, failedAssignments=2695, nogoods=1498
36.72/25.93	    
38.93/28.18	    num=35, depth=7908..8129, filters=3853512, revisions=(18281615,useless=14551324), ccks=14533979, wck=23.377, mem=742M448
38.93/28.18	    decisions=255736, wrong=63871, backtracks=61665, failedAssignments=2976, nogoods=1550
38.93/28.18	    
40.62/29.87	    num=36, depth=7909..8127, filters=4331622, revisions=(19875975,useless=15680348), ccks=16015727, wck=25.068, mem=742M448
40.62/29.87	    decisions=280230, wrong=72084, backtracks=69637, failedAssignments=3285, nogoods=1575
40.62/29.87	    
41.65/30.87	    num=37, depth=8019..8242, filters=4407530, revisions=(20679104,useless=16410833), ccks=16326403, wck=26.062, mem=742M448
41.65/30.87	    decisions=290656, wrong=73178, backtracks=70399, failedAssignments=3625, nogoods=1588
41.65/30.87	    
42.56/31.78	    num=38, depth=8241..8350, filters=4443102, revisions=(21397770,useless=17096310), ccks=16514728, wck=26.974, mem=750M488
42.56/31.78	    decisions=300193, wrong=73779, backtracks=70628, failedAssignments=3999, nogoods=1648
42.56/31.78	    
43.97/33.17	    num=39, depth=8224..8349, filters=4635532, revisions=(22711850,useless=18228265), ccks=17197810, wck=28.371, mem=750M488
43.97/33.17	    decisions=319512, wrong=79301, backtracks=76170, failedAssignments=4410, nogoods=1650
43.97/33.17	    
45.66/34.81	    num=40, depth=8458..8677, filters=5100902, revisions=(24311978,useless=19375279), ccks=18651487, wck=30.009, mem=750M488
45.66/34.81	    decisions=344067, wrong=87247, backtracks=83727, failedAssignments=4862, nogoods=1715
45.66/34.81	    
46.97/36.11	    num=41, depth=8561..8680, filters=5260397, revisions=(25399327,useless=20311068), ccks=19201946, wck=31.311, mem=750M488
46.97/36.11	    decisions=361280, wrong=91556, backtracks=88042, failedAssignments=5359, nogoods=1717
46.97/36.11	    
47.87/37.08	    num=42, depth=8788..8893, filters=5317409, revisions=(26218527,useless=21075944), ccks=19466039, wck=32.274, mem=750M488
47.87/37.08	    decisions=371675, wrong=92311, backtracks=88251, failedAssignments=5906, nogoods=1729
47.87/37.08	    
49.66/38.89	    num=43, depth=8673..8893, filters=5887954, revisions=(28046927,useless=22348394), ccks=21222158, wck=34.087, mem=758M495
49.66/38.89	    decisions=400091, wrong=102078, backtracks=97499, failedAssignments=6508, nogoods=1818
49.66/38.89	    
57.37/46.55	    num=44, depth=8662..8891, filters=9998238, revisions=(37214530,useless=27506567), ccks=33494467, wck=41.746, mem=758M495
57.37/46.55	    decisions=552710, wrong=174022, backtracks=169446, failedAssignments=7170, nogoods=1820
57.37/46.55	    
59.07/48.22	    num=45, depth=8783..9000, filters=10492990, revisions=(38914721,useless=28724841), ccks=35055944, wck=43.413, mem=766M502
59.07/48.22	    decisions=578506, wrong=182449, backtracks=177218, failedAssignments=7898, nogoods=1835
59.07/48.22	    
60.07/49.28	    num=46, depth=8890..9001, filters=10620004, revisions=(39856119,useless=29543131), ccks=35511728, wck=44.471, mem=766M502
60.07/49.28	    decisions=591473, wrong=184487, backtracks=178463, failedAssignments=8699, nogoods=1870
60.07/49.28	    
69.68/58.86	    num=47, depth=8954..9219, filters=15971986, revisions=(51655211,useless=36122390), ccks=51494279, wck=54.061, mem=774M510
69.68/58.86	    decisions=789439, wrong=278964, backtracks=272968, failedAssignments=9580, nogoods=1873
69.68/58.86	    
70.89/60.02	    num=48, depth=9108..9220, filters=16149603, revisions=(52733960,useless=37028535), ccks=52110567, wck=55.219, mem=774M510
70.89/60.02	    decisions=804320, wrong=281848, backtracks=274887, failedAssignments=10550, nogoods=1972
70.89/60.02	    
72.18/61.39	    num=49, depth=9112..9331, filters=16461248, revisions=(54103541,useless=38094772), ccks=53129011, wck=56.589, mem=782M553
72.18/61.39	    decisions=824042, wrong=287106, backtracks=279119, failedAssignments=11617, nogoods=2034
72.18/61.39	    
73.48/62.63	    num=50, depth=9113..9332, filters=16694249, revisions=(55319364,useless=39083846), ccks=53919015, wck=57.83, mem=782M553
73.48/62.63	    decisions=840889, wrong=290925, backtracks=281788, failedAssignments=12790, nogoods=2111
73.48/62.63	    
86.90/76.07	    num=51, depth=9175..9441, filters=24612762, revisions=(72493002,useless=48533906), ccks=77546843, wck=71.266, mem=790M561
86.90/76.07	    decisions=1129233, wrong=430473, backtracks=421365, failedAssignments=14081, nogoods=2113
86.90/76.07	    
88.69/77.86	    num=52, depth=9332..9550, filters=25191108, revisions=(74461660,useless=49938845), ccks=79376966, wck=73.059, mem=790M561
88.69/77.86	    decisions=1158554, wrong=440395, backtracks=429946, failedAssignments=15501, nogoods=2171
88.69/77.86	    
104.69/93.89	    num=53, depth=9223..9551, filters=34863720, revisions=(95310978,useless=61351902), ccks=108240742, wck=89.089, mem=806M575
104.69/93.89	    decisions=1507521, wrong=610206, backtracks=599775, failedAssignments=17063, nogoods=2174
104.69/93.89	    
105.79/94.98	    num=54, depth=9552..9663, filters=34992068, revisions=(96386502,useless=62302575), ccks=108748529, wck=90.18, mem=806M575
105.79/94.98	    decisions=1521061, wrong=612155, backtracks=600007, failedAssignments=18781, nogoods=2180
105.79/94.98	    
106.90/96.08	    num=55, depth=9553..9664, filters=35121415, revisions=(97479677,useless=63269977), ccks=109256075, wck=91.272, mem=806M575
106.90/96.08	    decisions=1534551, wrong=614093, backtracks=600056, failedAssignments=20671, nogoods=2247
106.90/96.08	    
109.59/98.76	    num=56, depth=9596..9880, filters=36105696, revisions=(100858955,useless=65700478), ccks=112610761, wck=93.956, mem=814M582
109.59/98.76	    decisions=1584184, wrong=634026, backtracks=618133, failedAssignments=22750, nogoods=2349
109.59/98.76	    
132.02/121.11	    num=57, depth=7151..10012, filters=50206018, revisions=(131004999,useless=82095636), ccks=154747034, wck=116.306, mem=830M596
132.02/121.11	    decisions=2089740, wrong=881947, backtracks=866083, failedAssignments=25037, nogoods=2355
132.02/121.11	    
143.96/133.08	    num=58, depth=9846..10166, filters=55981931, revisions=(148698761,useless=94200662), ccks=175601702, wck=128.273, mem=838M603
143.96/133.08	    decisions=2373390, wrong=1018750, backtracks=1003057, failedAssignments=27553, nogoods=2358
143.96/133.08	    
145.75/134.83	    num=59, depth=9961..10151, filters=56527203, revisions=(150860666,useless=95831146), ccks=177446544, wck=130.03, mem=838M603
145.75/134.83	    decisions=2402997, wrong=1028507, backtracks=1010116, failedAssignments=30321, nogoods=2380
145.75/134.83	    
167.56/156.68	    num=60, depth=9929..10255, filters=70857220, revisions=(181582488,useless=112572808), ccks=220278582, wck=151.882, mem=854M617
167.56/156.68	    decisions=2917189, wrong=1280619, backtracks=1261539, failedAssignments=33365, nogoods=2383
167.56/156.68	    
169.56/158.67	    num=61, depth=10151..10368, filters=71607749, revisions=(184120612,useless=114378103), ccks=222714695, wck=153.871, mem=854M617
169.56/158.67	    decisions=2952934, wrong=1293389, backtracks=1271040, failedAssignments=36714, nogoods=2426
169.56/158.67	    
180.36/169.40	    num=62, depth=10260..10692, filters=78489434, revisions=(199533087,useless=123081112), ccks=243391435, wck=164.598, mem=862M625
180.36/169.40	    decisions=3208116, wrong=1415722, backtracks=1390820, failedAssignments=40398, nogoods=2430
180.36/169.40	    
182.26/171.39	    num=63, depth=10590..10807, filters=79241553, revisions=(202173747,useless=124987189), ccks=245861277, wck=166.583, mem=870M632
182.26/171.39	    decisions=3244684, wrong=1428658, backtracks=1399786, failedAssignments=44450, nogoods=2438
182.26/171.39	    
183.80/172.84	    num=64, depth=10592..10704, filters=79543509, revisions=(204021137,useless=126545242), ccks=246945906, wck=168.041, mem=870M632
183.80/172.84	    decisions=3264354, wrong=1433170, backtracks=1399843, failedAssignments=48907, nogoods=2456
183.80/172.84	    
195.11/184.19	    num=65, depth=10702..10983, filters=86334890, revisions=(223014080,useless=138941136), ccks=269220827, wck=179.387, mem=878M639
195.11/184.19	    decisions=3546961, wrong=1569036, backtracks=1532536, failedAssignments=53810, nogoods=2459
195.11/184.19	    
218.07/207.10	    num=66, depth=10981..11304, filters=101865148, revisions=(260478882,useless=161319722), ccks=318231235, wck=202.293, mem=894M653
218.07/207.10	    decisions=4149530, wrong=1864793, backtracks=1825653, failedAssignments=59204, nogoods=2462
218.07/207.10	    
246.67/235.42	    num=67, depth=10977..11454, filters=114363280, revisions=(296953054,useless=185790187), ccks=360174007, wck=230.618, mem=919M786
246.67/235.42	    decisions=4783215, wrong=2176118, backtracks=2460354, failedAssignments=65137, nogoods=2465
246.67/235.42	    
267.88/256.68	    num=68, depth=3019..11377, filters=124740013, revisions=(323513559,useless=202488854), ccks=392236588, wck=251.881, mem=943M807
267.88/256.68	    decisions=5235570, wrong=2396791, backtracks=2879550, failedAssignments=71663, nogoods=2474
267.88/256.68	    
292.41/281.14	    num=69, depth=6507..10834, filters=139225321, revisions=(354938663,useless=219912690), ccks=435075176, wck=276.342, mem=959M822
292.41/281.14	    decisions=5958653, wrong=2752997, backtracks=3236021, failedAssignments=78842, nogoods=2498
292.41/281.14	    
336.92/325.66	    num=70, depth=4512..10800, filters=168581457, revisions=(414804548,useless=251214075), ccks=520868849, wck=320.859, mem=999M857
336.92/325.66	    decisions=7217294, wrong=3376992, backtracks=3860045, failedAssignments=86739, nogoods=2509
336.92/325.66	    
360.83/349.53	    num=71, depth=4050..10764, filters=182864365, revisions=(449887640,useless=272483449), ccks=565415981, wck=344.728, mem=1015M871
360.83/349.53	    decisions=7865675, wrong=3695836, backtracks=4178974, failedAssignments=95426, nogoods=2517
360.83/349.53	    
401.04/389.77	    num=72, depth=4183..10767, filters=204351673, revisions=(521676644,useless=323636874), ccks=649108971, wck=384.969, mem=1047M900
401.04/389.77	    decisions=8925305, wrong=4220356, backtracks=4704402, failedAssignments=104981, nogoods=2532
401.04/389.77	    
446.86/435.58	    num=73, depth=4209..10886, filters=232435019, revisions=(592510348,useless=367312095), ccks=738284986, wck=430.781, mem=1079M928
446.86/435.58	    decisions=10172702, wrong=4838723, backtracks=5322611, failedAssignments=115492, nogoods=2551
446.86/435.58	    
538.93/527.28	    num=74, depth=4070..10845, filters=297316345, revisions=(728811068,useless=440364002), ccks=931706736, wck=522.481, mem=796M980
538.93/527.28	    decisions=12543774, wrong=6019008, backtracks=6503113, failedAssignments=127054, nogoods=2569
538.93/527.28	    
629.88/618.19	    num=75, depth=6608..10713, filters=358526181, revisions=(858322693,useless=510685569), ccks=1124453680, wck=613.39, mem=868M489
629.88/618.19	    decisions=14866877, wrong=7175284, backtracks=7659179, failedAssignments=139772, nogoods=2574
629.88/618.19	    
721.02/709.21	    num=76, depth=5787..10810, filters=421910112, revisions=(991284259,useless=581910607), ccks=1313011957, wck=704.405, mem=925M697
721.02/709.21	    decisions=17218604, wrong=8345846, backtracks=8828497, failedAssignments=153762, nogoods=2594
721.02/709.21	    
807.16/795.36	    num=77, depth=6590..10727, filters=473031130, revisions=(1129608001,useless=670752090), ccks=1480177815, wck=790.558, mem=997M206
807.16/795.36	    decisions=19509718, wrong=9486117, backtracks=9969170, failedAssignments=169151, nogoods=2599
807.16/795.36	    
906.80/894.96	    num=78, depth=5425..10911, filters=537926056, revisions=(1269073243,useless=747408645), ccks=1680523866, wck=890.157, mem=1068M715
906.80/894.96	    decisions=22237809, wrong=10844773, backtracks=11328226, failedAssignments=186079, nogoods=2614
906.80/894.96	    
912.60/900.74	    num=79, depth=5764..10718, filters=540890980, revisions=(1277663926,useless=753124470), ccks=1690175116, wck=895.932, mem=1083M17
912.60/900.74	    decisions=22390377, wrong=10915809, backtracks=11380989, failedAssignments=204700, nogoods=2695
912.60/900.74	    
1053.46/1041.50	    num=80, depth=10371..10681, filters=634706837, revisions=(1487506268,useless=871629722), ccks=1975236287, wck=1036.697, mem=1183M130
1053.46/1041.50	    decisions=25994883, wrong=12712840, backtracks=13177452, failedAssignments=225184, nogoods=2708
1053.46/1041.50	    
1169.31/1157.32	    num=81, depth=7383..10841, filters=705603290, revisions=(1639528692,useless=955063323), ccks=2185576836, wck=1152.513, mem=1283M243
1169.31/1157.32	    decisions=29279005, wrong=14349590, backtracks=14814000, failedAssignments=247716, nogoods=2744
1169.31/1157.32	    
1294.27/1282.29	    num=82, depth=6468..10898, filters=777456465, revisions=(1841806620,useless=1088286713), ccks=2442049818, wck=1277.486, mem=1383M356
1294.27/1282.29	    decisions=32701849, wrong=16055654, backtracks=16520588, failedAssignments=272501, nogoods=2799
1294.27/1282.29	    
1392.50/1380.40	    num=83, depth=6782..10827, filters=842932250, revisions=(1981787121,useless=1164663105), ccks=2638222559, wck=1375.602, mem=1454M865
1392.50/1380.40	    decisions=35352082, wrong=17375463, backtracks=17828529, failedAssignments=299765, nogoods=2871
1392.50/1380.40	    
1409.62/1397.56	    num=84, depth=7778..10826, filters=853157933, revisions=(2007537212,useless=1180496731), ccks=2670332435, wck=1392.762, mem=1469M167
1409.62/1397.56	    decisions=35819877, wrong=17604054, backtracks=18028558, failedAssignments=329755, nogoods=2932
1409.62/1397.56	    
1535.60/1523.20	    num=85, depth=7069..10525, filters=927625629, revisions=(2170809185,useless=1271704485), ccks=2893131234, wck=1518.396, mem=871M123
1535.60/1523.20	    decisions=39249955, wrong=19313936, backtracks=19738364, failedAssignments=362744, nogoods=3022
1535.60/1523.20	    
1672.96/1660.54	    num=86, depth=8245..10434, filters=998375382, revisions=(2408264485,useless=1440946289), ccks=3146175967, wck=1655.734, mem=971M520
1672.96/1660.54	    decisions=42871080, wrong=21119365, backtracks=21541409, failedAssignments=399032, nogoods=3051
1672.96/1660.54	    
1856.66/1844.15	    num=87, depth=7850..10607, filters=1112898029, revisions=(2646995678,useless=1568671135), ccks=3483991324, wck=1839.344, mem=1114M945
1856.66/1844.15	    decisions=47892134, wrong=23624712, backtracks=24046102, failedAssignments=438949, nogoods=3151
1856.66/1844.15	    
1946.89/1934.36	    num=88, depth=5584..10539, filters=1166598021, revisions=(2758331841,useless=1628075770), ccks=3640935271, wck=1929.56, mem=1186M658
1946.89/1934.36	    decisions=50424336, wrong=24885612, backtracks=25300951, failedAssignments=482858, nogoods=3262
1946.89/1934.36	    
2200.00/2187.31	    num=89, depth=9149..10385, filters=1333518577, revisions=(3104839461,useless=1811972243), ccks=4135230522, wck=2182.511, mem=1373M110
2200.00/2187.31	    decisions=56742812, wrong=28039745, backtracks=28447445, failedAssignments=531158, nogoods=3368
2200.00/2187.31	    
2287.94/2275.29	    num=90, depth=9844..10587, filters=1372061819, revisions=(3178222691,useless=1848723640), ccks=4240458868, wck=2270.489, mem=1459M165
2287.94/2275.29	    decisions=59601935, wrong=29464078, backtracks=29869541, failedAssignments=584288, nogoods=3485
2287.94/2275.29	    
2511.67/2498.79	    num=91, depth=6407..10735, filters=1499532683, revisions=(3449029955,useless=1996558927), ccks=4617268158, wck=2493.99, mem=946M813
2511.67/2498.79	    decisions=66083271, wrong=32699480, backtracks=33099488, failedAssignments=642731, nogoods=3603
2511.67/2498.79	    
2520.09/2507.11	
2520.09/2507.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 (15311 MiB free)
  memory of node 1: 16384 MiB (15102 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391029-1568386285/watcher-4391029-1568386285 -o /tmp/evaluation-result-4391029-1568386285/solver-4391029-1568386285 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568376822-25454 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391029-1568386285.xml -cm 

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

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

solver pid=27522, runsolver pid=27519

[startup+0.100123 s]*
/proc/loadavg: 1.88 1.92 1.87 4/227 27537
/proc/meminfo: memFree=31128420/32770624 swapFree=66936356/67108860
[pid=27522] ppid=27519 vsize=10659884 memory=29036 CPUtime=0.13 cores=0,2,4,6
/proc/27522/stat : 27522 (java) S 27519 27522 25423 0 -1 1077944320 5740 0 0 0 12 1 0 0 20 0 15 0 414886889 10915721216 7259 33554432000 4194304 4196468 140725933475664 140725933458208 140216263130871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
/proc/27522/statm: 2664971 7259 2904 1 0 2627468 0
[pid=27522/tid=27524] ppid=27519 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/27522/task/27524/stat : 27524 (java) R 27519 27522 25423 0 -1 4202560 3206 0 0 0 9 0 0 0 20 0 15 0 414886890 10915721216 7259 33554432000 4194304 4196468 140725933475664 140216267361448 140216255367998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27525] ppid=27519 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27525/stat : 27525 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 7259 33554432000 4194304 4196468 140725933475664 140216189205392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27526] ppid=27519 vsize=10659884 memory=140578729387648 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27526/stat : 27526 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 7259 33554432000 4194304 4196468 140725933475664 140216188152592 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27527] ppid=27519 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27527/stat : 27527 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 7259 33554432000 4194304 4196468 140725933475664 140215867927696 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27528] ppid=27519 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27528/stat : 27528 (java) S 27519 27522 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 7259 33554432000 4194304 4196468 140725933475664 140215866874896 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27529] ppid=27519 vsize=10659884 memory=140578729387648 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27529/stat : 27529 (java) S 27519 27522 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414886892 10915721216 7259 33554432000 4194304 4196468 140725933475664 140215755077744 140216263142018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27530] ppid=27519 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27530/stat : 27530 (java) S 27519 27522 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414886892 10915721216 7259 33554432000 4194304 4196468 140725933475664 140215754023712 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27531] ppid=27519 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27531/stat : 27531 (java) S 27519 27522 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414886892 10915721216 7259 33554432000 4194304 4196468 140725933475664 140215752971376 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27532] ppid=27519 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27532/stat : 27532 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414886895 10915721216 7259 33554432000 4194304 4196468 140725933475664 140215751919696 140216263149467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27533] ppid=27519 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27533/stat : 27533 (java) S 27519 27522 25423 0 -1 1077944384 484 0 0 0 0 0 0 0 20 0 15 0 414886895 10915721216 7259 33554432000 4194304 4196468 140725933475664 140215750867568 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27534] ppid=27519 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27534/stat : 27534 (java) S 27519 27522 25423 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 414886895 10915721216 7259 33554432000 4194304 4196468 140725933475664 140215749814768 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27535] ppid=27519 vsize=10659884 memory=140578729387648 CPUtime=0.02 cores=0,2,4,6
/proc/27522/task/27535/stat : 27535 (java) R 27519 27522 25423 0 -1 4202560 544 0 0 0 2 0 0 0 20 0 15 0 414886895 10915721216 7259 33554432000 4194304 4196468 140725933475664 140215748759288 140216242101845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27536] ppid=27519 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27536/stat : 27536 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414886895 10915721216 7259 33554432000 4194304 4196468 140725933475664 140215747709920 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27537] ppid=27519 vsize=10659884 memory=140578729387648 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27537/stat : 27537 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886895 10915721216 7259 33554432000 4194304 4196468 140725933475664 140215746656688 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29036 KiB

[startup+0.21071 s]*
/proc/loadavg: 1.88 1.92 1.87 3/227 27537
/proc/meminfo: memFree=31120544/32770624 swapFree=66936356/67108860
[pid=27522] ppid=27519 vsize=10659884 memory=34872 CPUtime=0.33 cores=0,2,4,6
/proc/27522/stat : 27522 (java) S 27519 27522 25423 0 -1 1077944320 6839 0 0 0 31 2 0 0 20 0 15 0 414886889 10915721216 8718 33554432000 4194304 4196468 140725933475664 140725933458208 140216263130871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
/proc/27522/statm: 2664971 8718 2989 1 0 2627468 0
[pid=27522/tid=27524] ppid=27519 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/27522/task/27524/stat : 27524 (java) R 27519 27522 25423 0 -1 4202560 3882 0 0 0 19 1 0 0 20 0 15 0 414886890 10915721216 8718 33554432000 4194304 4196468 140725933475664 140216267357232 140216263152797 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27525] ppid=27519 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27525/stat : 27525 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 8718 33554432000 4194304 4196468 140725933475664 140216189205392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27526] ppid=27519 vsize=10659884 memory=140578729413312 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27526/stat : 27526 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 8718 33554432000 4194304 4196468 140725933475664 140216188152592 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27527] ppid=27519 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27527/stat : 27527 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 8718 33554432000 4194304 4196468 140725933475664 140215867927696 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27528] ppid=27519 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27528/stat : 27528 (java) S 27519 27522 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 8718 33554432000 4194304 4196468 140725933475664 140215866874896 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27529] ppid=27519 vsize=10659884 memory=140578729387648 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27529/stat : 27529 (java) S 27519 27522 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414886892 10915721216 8718 33554432000 4194304 4196468 140725933475664 140215755077744 140216263142018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27530] ppid=27519 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27530/stat : 27530 (java) S 27519 27522 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414886892 10915721216 8718 33554432000 4194304 4196468 140725933475664 140215754023712 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27531] ppid=27519 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27531/stat : 27531 (java) S 27519 27522 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414886892 10915721216 8718 33554432000 4194304 4196468 140725933475664 140215752971376 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27532] ppid=27519 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27532/stat : 27532 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414886895 10915721216 8718 33554432000 4194304 4196468 140725933475664 140215751919696 140216263149467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27533] ppid=27519 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27522/task/27533/stat : 27533 (java) S 27519 27522 25423 0 -1 1077944384 690 0 0 0 3 0 0 0 20 0 15 0 414886895 10915721216 8718 33554432000 4194304 4196468 140725933475664 140215750867568 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27534] ppid=27519 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27522/task/27534/stat : 27534 (java) S 27519 27522 25423 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 414886895 10915721216 8718 33554432000 4194304 4196468 140725933475664 140215749814768 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27535] ppid=27519 vsize=10659884 memory=140578729387648 CPUtime=0.05 cores=0,2,4,6
/proc/27522/task/27535/stat : 27535 (java) S 27519 27522 25423 0 -1 1077944384 651 0 0 0 5 0 0 0 20 0 15 0 414886895 10915721216 8718 33554432000 4194304 4196468 140725933475664 140215748762480 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27536] ppid=27519 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27536/stat : 27536 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414886895 10915721216 8718 33554432000 4194304 4196468 140725933475664 140215747709920 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27537] ppid=27519 vsize=10659884 memory=140578729387648 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27537/stat : 27537 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886895 10915721216 8718 33554432000 4194304 4196468 140725933475664 140215746656688 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34872 KiB

[startup+0.310076 s]*
/proc/loadavg: 1.88 1.92 1.87 3/227 27537
/proc/meminfo: memFree=31112588/32770624 swapFree=66936356/67108860
[pid=27522] ppid=27519 vsize=10659884 memory=40336 CPUtime=0.48 cores=0,2,4,6
/proc/27522/stat : 27522 (java) S 27519 27522 25423 0 -1 1077944320 9512 0 0 0 44 4 0 0 20 0 15 0 414886889 10915721216 10084 33554432000 4194304 4196468 140725933475664 140725933458208 140216263130871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
/proc/27522/statm: 2664971 10084 3002 1 0 2627468 0
[pid=27522/tid=27524] ppid=27519 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=0,2,4,6
/proc/27522/task/27524/stat : 27524 (java) R 27519 27522 25423 0 -1 4202560 6475 0 0 0 27 3 0 0 20 0 15 0 414886890 10915721216 10084 33554432000 4194304 4196468 140725933475664 140216267351024 140216247211358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27525] ppid=27519 vsize=10659884 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27525/stat : 27525 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 10084 33554432000 4194304 4196468 140725933475664 140216189205392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27526] ppid=27519 vsize=10659884 memory=140578729412866 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27526/stat : 27526 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 10084 33554432000 4194304 4196468 140725933475664 140216188152592 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27527] ppid=27519 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27527/stat : 27527 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 10084 33554432000 4194304 4196468 140725933475664 140215867927696 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27528] ppid=27519 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27528/stat : 27528 (java) S 27519 27522 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414886890 10915721216 10084 33554432000 4194304 4196468 140725933475664 140215866874896 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27529] ppid=27519 vsize=10659884 memory=140578729387648 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27529/stat : 27529 (java) S 27519 27522 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414886892 10915721216 10084 33554432000 4194304 4196468 140725933475664 140215755077744 140216263142018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27530] ppid=27519 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27530/stat : 27530 (java) S 27519 27522 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414886892 10915721216 10084 33554432000 4194304 4196468 140725933475664 140215754023712 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27531] ppid=27519 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27531/stat : 27531 (java) S 27519 27522 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414886892 10915721216 10084 33554432000 4194304 4196468 140725933475664 140215752971376 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27532] ppid=27519 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27532/stat : 27532 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414886895 10915721216 10084 33554432000 4194304 4196468 140725933475664 140215751919696 140216263149467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27533] ppid=27519 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27522/task/27533/stat : 27533 (java) S 27519 27522 25423 0 -1 1077944384 736 0 0 0 4 0 0 0 20 0 15 0 414886895 10915721216 10084 33554432000 4194304 4196468 140725933475664 140215750867568 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27534] ppid=27519 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/27522/task/27534/stat : 27534 (java) S 27519 27522 25423 0 -1 1077944384 265 0 0 0 3 0 0 0 20 0 15 0 414886895 10915721216 10084 33554432000 4194304 4196468 140725933475664 140215749814768 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27535] ppid=27519 vsize=10659884 memory=140578729387648 CPUtime=0.08 cores=0,2,4,6
/proc/27522/task/27535/stat : 27535 (java) S 27519 27522 25423 0 -1 1077944384 681 0 0 0 8 0 0 0 20 0 15 0 414886895 10915721216 10084 33554432000 4194304 4196468 140725933475664 140215748762480 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27536] ppid=27519 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27536/stat : 27536 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414886895 10915721216 10084 33554432000 4194304 4196468 140725933475664 140215747709920 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27537] ppid=27519 vsize=10659884 memory=140578729387648 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27537/stat : 27537 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886895 10915721216 10084 33554432000 4194304 4196468 140725933475664 140215746656688 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40336 KiB

[startup+0.700744 s]
/proc/loadavg: 1.88 1.92 1.87 3/227 27537
/proc/meminfo: memFree=31104672/32770624 swapFree=66936356/67108860
[pid=27522] ppid=27519 vsize=10661932 memory=62808 CPUtime=1.11 cores=0,2,4,6
/proc/27522/stat : 27522 (java) S 27519 27522 25423 0 -1 1077944320 12791 0 0 0 105 6 0 0 20 0 15 0 414886889 10917818368 15702 33554432000 4194304 4196468 140725933475664 140725933458208 140216263130871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
/proc/27522/statm: 2665483 15702 3071 1 0 2627980 0
[pid=27522/tid=27524] ppid=27519 vsize=10661932 memory=1412 CPUtime=0.68 cores=0,2,4,6
/proc/27522/task/27524/stat : 27524 (java) R 27519 27522 25423 0 -1 4202560 8896 0 0 0 64 4 0 0 20 0 15 0 414886890 10917818368 15702 33554432000 4194304 4196468 140725933475664 140216267362736 140216247211358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27525] ppid=27519 vsize=10661932 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27525/stat : 27525 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10917818368 15702 33554432000 4194304 4196468 140725933475664 140216189205392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27526] ppid=27519 vsize=10661932 memory=7148 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27526/stat : 27526 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10917818368 15702 33554432000 4194304 4196468 140725933475664 140216188152592 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27527] ppid=27519 vsize=10661932 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27527/stat : 27527 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10917818368 15702 33554432000 4194304 4196468 140725933475664 140215867927696 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27528] ppid=27519 vsize=10661932 memory=616 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27528/stat : 27528 (java) S 27519 27522 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414886890 10917818368 15702 33554432000 4194304 4196468 140725933475664 140215866874896 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27529] ppid=27519 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27529/stat : 27529 (java) S 27519 27522 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414886892 10917818368 15702 33554432000 4194304 4196468 140725933475664 140215755077744 140216263142018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27530] ppid=27519 vsize=10661932 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27530/stat : 27530 (java) S 27519 27522 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414886892 10917818368 15702 33554432000 4194304 4196468 140725933475664 140215754023712 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27531] ppid=27519 vsize=10661932 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27531/stat : 27531 (java) S 27519 27522 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414886892 10917818368 15702 33554432000 4194304 4196468 140725933475664 140215752971376 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27532] ppid=27519 vsize=10661932 memory=4639098309541127012 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27532/stat : 27532 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414886895 10917818368 15702 33554432000 4194304 4196468 140725933475664 140215751919696 140216263149467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27533] ppid=27519 vsize=10661932 memory=7811609364956278113 CPUtime=0.11 cores=0,2,4,6
/proc/27522/task/27533/stat : 27533 (java) R 27519 27522 25423 0 -1 4202560 918 0 0 0 11 0 0 0 20 0 15 0 414886895 10917818368 15702 33554432000 4194304 4196468 140725933475664 140215750867568 140216263152218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27534] ppid=27519 vsize=10661932 memory=5787213840016500561 CPUtime=0.1 cores=0,2,4,6
/proc/27522/task/27534/stat : 27534 (java) S 27519 27522 25423 0 -1 1077944384 584 0 0 0 10 0 0 0 20 0 15 0 414886895 10917818368 15702 33554432000 4194304 4196468 140725933475664 140215749814768 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27535] ppid=27519 vsize=10661932 memory=5450909908396308010 CPUtime=0.19 cores=0,2,4,6
/proc/27522/task/27535/stat : 27535 (java) S 27519 27522 25423 0 -1 1077944384 1035 0 0 0 19 0 0 0 20 0 15 0 414886895 10917818368 15702 33554432000 4194304 4196468 140725933475664 140215748762480 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27536] ppid=27519 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27536/stat : 27536 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414886895 10917818368 15702 33554432000 4194304 4196468 140725933475664 140215747709920 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27537] ppid=27519 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27537/stat : 27537 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886895 10917818368 15702 33554432000 4194304 4196468 140725933475664 140215746656688 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62808 KiB

[startup+1.50079 s]
/proc/loadavg: 1.89 1.92 1.87 3/227 27537
/proc/meminfo: memFree=31088472/32770624 swapFree=66936356/67108860
[pid=27522] ppid=27519 vsize=10663980 memory=74908 CPUtime=2.02 cores=0,2,4,6
/proc/27522/stat : 27522 (java) S 27519 27522 25423 0 -1 1077944320 18323 0 0 0 195 7 0 0 20 0 15 0 414886889 10919915520 18727 33554432000 4194304 4196468 140725933475664 140725933458208 140216263130871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
/proc/27522/statm: 2665995 18727 3097 1 0 2628492 0
[pid=27522/tid=27524] ppid=27519 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=0,2,4,6
/proc/27522/task/27524/stat : 27524 (java) R 27519 27522 25423 0 -1 4202560 13109 0 0 0 143 5 0 0 20 0 15 0 414886890 10919915520 18727 33554432000 4194304 4196468 140725933475664 140216267362896 140216247211358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27525] ppid=27519 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27525/stat : 27525 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10919915520 18727 33554432000 4194304 4196468 140725933475664 140216189205392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27526] ppid=27519 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27526/stat : 27526 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10919915520 18727 33554432000 4194304 4196468 140725933475664 140216188152592 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27527] ppid=27519 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27527/stat : 27527 (java) S 27519 27522 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414886890 10919915520 18727 33554432000 4194304 4196468 140725933475664 140215867927696 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27528] ppid=27519 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27528/stat : 27528 (java) S 27519 27522 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414886890 10919915520 18727 33554432000 4194304 4196468 140725933475664 140215866874896 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27529] ppid=27519 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27529/stat : 27529 (java) S 27519 27522 25423 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 414886892 10919915520 18727 33554432000 4194304 4196468 140725933475664 140215755077744 140216263142018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0

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

/proc/27522/task/27528/stat : 27528 (java) S 27519 27522 25423 0 -1 1077944384 4125 0 0 0 72 39 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215866874896 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27529] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0.09 cores=0,2,4,6
/proc/27522/task/27529/stat : 27529 (java) S 27519 27522 25423 0 -1 1077944384 10161 0 0 0 7 2 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215755077744 140216263142018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27530] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27530/stat : 27530 (java) S 27519 27522 25423 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215754023776 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27531] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27531/stat : 27531 (java) S 27519 27522 25423 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215752971392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27532] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27532/stat : 27532 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215751919696 140216263149467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27533] ppid=27519 vsize=10748324 memory=1974608 CPUtime=3.68 cores=0,2,4,6
/proc/27522/task/27533/stat : 27533 (java) S 27519 27522 25423 0 -1 1077944384 16926 0 0 0 365 3 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215750867568 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27534] ppid=27519 vsize=10748324 memory=1974608 CPUtime=3.69 cores=0,2,4,6
/proc/27522/task/27534/stat : 27534 (java) S 27519 27522 25423 0 -1 1077944384 12674 0 0 0 367 2 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215749814768 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27535] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.17 cores=0,2,4,6
/proc/27522/task/27535/stat : 27535 (java) S 27519 27522 25423 0 -1 1077944384 13195 0 0 0 114 3 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215748762480 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27536] ppid=27519 vsize=10748324 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27536/stat : 27536 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215747709920 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27537] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0.74 cores=0,2,4,6
/proc/27522/task/27537/stat : 27537 (java) S 27519 27522 25423 0 -1 1077944384 2007 0 0 0 37 37 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215746656688 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27538] ppid=27519 vsize=10748324 memory=0 CPUtime=2439.33 cores=0,2,4,6
/proc/27522/task/27538/stat : 27538 (java) R 27519 27522 25423 0 -1 4202560 35208 0 0 0 243925 8 0 0 20 0 16 0 414887078 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215729700176 140215878308598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
Current children cumulated CPU time: 2455.25 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1974608 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 1.96 1.96 3/229 27959
/proc/meminfo: memFree=29461156/32770624 swapFree=66936400/67108860
[pid=27522] ppid=27519 vsize=10748324 memory=1974608 CPUtime=2515.28 cores=0,2,4,6
/proc/27522/stat : 27522 (java) S 27519 27522 25423 0 -1 1077944320 119632 0 0 0 251312 216 0 0 20 0 16 0 414886889 11006283776 493652 33554432000 4194304 4196468 140725933475664 140725933458208 140216263130871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
/proc/27522/statm: 2687081 493652 3384 1 0 2647217 0
[pid=27522/tid=27524] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.87 cores=0,2,4,6
/proc/27522/task/27524/stat : 27524 (java) S 27519 27522 25423 0 -1 1077944384 15374 0 0 0 181 6 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140216267373744 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27525] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.16 cores=0,2,4,6
/proc/27522/task/27525/stat : 27525 (java) S 27519 27522 25423 0 -1 1077944384 3191 0 0 0 73 43 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140216189205392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27526] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.12 cores=0,2,4,6
/proc/27522/task/27526/stat : 27526 (java) S 27519 27522 25423 0 -1 1077944384 2485 0 0 0 72 40 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140216188152592 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27527] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.17 cores=0,2,4,6
/proc/27522/task/27527/stat : 27527 (java) S 27519 27522 25423 0 -1 1077944384 1895 0 0 0 73 44 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215867927696 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27528] ppid=27519 vsize=10748324 memory=10568 CPUtime=1.11 cores=0,2,4,6
/proc/27522/task/27528/stat : 27528 (java) S 27519 27522 25423 0 -1 1077944384 4125 0 0 0 72 39 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215866874896 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27529] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0.09 cores=0,2,4,6
/proc/27522/task/27529/stat : 27529 (java) S 27519 27522 25423 0 -1 1077944384 10173 0 0 0 7 2 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215755077744 140216263142018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27530] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27530/stat : 27530 (java) S 27519 27522 25423 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215754023776 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27531] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27531/stat : 27531 (java) S 27519 27522 25423 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215752971392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27532] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27532/stat : 27532 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215751919696 140216263149467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27533] ppid=27519 vsize=10748324 memory=1974608 CPUtime=3.68 cores=0,2,4,6
/proc/27522/task/27533/stat : 27533 (java) S 27519 27522 25423 0 -1 1077944384 16934 0 0 0 365 3 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215750867568 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27534] ppid=27519 vsize=10748324 memory=1974608 CPUtime=3.69 cores=0,2,4,6
/proc/27522/task/27534/stat : 27534 (java) S 27519 27522 25423 0 -1 1077944384 12686 0 0 0 367 2 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215749814768 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27535] ppid=27519 vsize=10748324 memory=3624 CPUtime=1.17 cores=0,2,4,6
/proc/27522/task/27535/stat : 27535 (java) S 27519 27522 25423 0 -1 1077944384 13199 0 0 0 114 3 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215748762480 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27536] ppid=27519 vsize=10748324 memory=1915555415553 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27536/stat : 27536 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215747709920 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27537] ppid=27519 vsize=10748324 memory=1928440317185 CPUtime=0.75 cores=0,2,4,6
/proc/27522/task/27537/stat : 27537 (java) S 27519 27522 25423 0 -1 1077944384 2062 0 0 0 37 38 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215746656688 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27538] ppid=27519 vsize=10748324 memory=1974608 CPUtime=2499.33 cores=0,2,4,6
/proc/27522/task/27538/stat : 27538 (java) R 27519 27522 25423 0 -1 4202560 36089 0 0 0 249925 8 0 0 20 0 16 0 414887078 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215729691776 140215870531890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
Current children cumulated CPU time: 2515.28 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1974608 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.11 s]
/proc/loadavg: 2.00 1.96 1.96 3/229 27960
/proc/meminfo: memFree=29461280/32770624 swapFree=66936400/67108860
[pid=27522] ppid=27519 vsize=10748324 memory=1974608 CPUtime=2520.09 cores=0,2,4,6
/proc/27522/stat : 27522 (java) S 27519 27522 25423 0 -1 1077944320 119746 0 0 0 251793 216 0 0 20 0 16 0 414886889 11006283776 493652 33554432000 4194304 4196468 140725933475664 140725933458208 140216263130871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
/proc/27522/statm: 2687081 493652 3384 1 0 2647217 0
[pid=27522/tid=27524] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.87 cores=0,2,4,6
/proc/27522/task/27524/stat : 27524 (java) S 27519 27522 25423 0 -1 1077944384 15374 0 0 0 181 6 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140216267373744 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27525] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.16 cores=0,2,4,6
/proc/27522/task/27525/stat : 27525 (java) S 27519 27522 25423 0 -1 1077944384 3191 0 0 0 73 43 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140216189205392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27526] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.12 cores=0,2,4,6
/proc/27522/task/27526/stat : 27526 (java) S 27519 27522 25423 0 -1 1077944384 2485 0 0 0 72 40 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140216188152592 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27527] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.17 cores=0,2,4,6
/proc/27522/task/27527/stat : 27527 (java) S 27519 27522 25423 0 -1 1077944384 1895 0 0 0 73 44 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215867927696 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27528] ppid=27519 vsize=10748324 memory=10568 CPUtime=1.11 cores=0,2,4,6
/proc/27522/task/27528/stat : 27528 (java) S 27519 27522 25423 0 -1 1077944384 4125 0 0 0 72 39 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215866874896 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27529] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0.09 cores=0,2,4,6
/proc/27522/task/27529/stat : 27529 (java) S 27519 27522 25423 0 -1 1077944384 10173 0 0 0 7 2 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215755077744 140216263142018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27530] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27530/stat : 27530 (java) S 27519 27522 25423 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215754023776 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27531] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27531/stat : 27531 (java) S 27519 27522 25423 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215752971392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27532] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27532/stat : 27532 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215751919696 140216263149467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27533] ppid=27519 vsize=10748324 memory=1974608 CPUtime=3.68 cores=0,2,4,6
/proc/27522/task/27533/stat : 27533 (java) S 27519 27522 25423 0 -1 1077944384 16934 0 0 0 365 3 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215750867568 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27534] ppid=27519 vsize=10748324 memory=0 CPUtime=3.69 cores=0,2,4,6
/proc/27522/task/27534/stat : 27534 (java) S 27519 27522 25423 0 -1 1077944384 12686 0 0 0 367 2 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215749814768 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27535] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.17 cores=0,2,4,6
/proc/27522/task/27535/stat : 27535 (java) S 27519 27522 25423 0 -1 1077944384 13199 0 0 0 114 3 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215748762480 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27536] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27536/stat : 27536 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215747709920 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27537] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0.75 cores=0,2,4,6
/proc/27522/task/27537/stat : 27537 (java) S 27519 27522 25423 0 -1 1077944384 2067 0 0 0 37 38 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215746656688 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27538] ppid=27519 vsize=10748324 memory=1760 CPUtime=2504.14 cores=0,2,4,6
/proc/27522/task/27538/stat : 27538 (java) R 27519 27522 25423 0 -1 4202560 36198 0 0 0 250406 8 0 0 20 0 16 0 414887078 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215729691776 140215878308598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1974608 KiB

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

[startup+2507.13 s]
# the end of solver process 27522 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.94 s, system=2.17361 s

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

[startup+2507.11 s]
/proc/loadavg: 2.00 1.96 1.96 3/229 27960
/proc/meminfo: memFree=29461280/32770624 swapFree=66936400/67108860
[pid=27522] ppid=27519 vsize=10748324 memory=1974608 CPUtime=2520.09 cores=0,2,4,6
/proc/27522/stat : 27522 (java) S 27519 27522 25423 0 -1 1077944320 119746 0 0 0 251793 216 0 0 20 0 16 0 414886889 11006283776 493652 33554432000 4194304 4196468 140725933475664 140725933458208 140216263130871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
/proc/27522/statm: 2687081 493652 3384 1 0 2647217 0
[pid=27522/tid=27524] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.87 cores=0,2,4,6
/proc/27522/task/27524/stat : 27524 (java) S 27519 27522 25423 0 -1 1077944384 15374 0 0 0 181 6 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140216267373744 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27525] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.16 cores=0,2,4,6
/proc/27522/task/27525/stat : 27525 (java) S 27519 27522 25423 0 -1 1077944384 3191 0 0 0 73 43 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140216189205392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27526] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.12 cores=0,2,4,6
/proc/27522/task/27526/stat : 27526 (java) S 27519 27522 25423 0 -1 1077944384 2485 0 0 0 72 40 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140216188152592 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27527] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.17 cores=0,2,4,6
/proc/27522/task/27527/stat : 27527 (java) S 27519 27522 25423 0 -1 1077944384 1895 0 0 0 73 44 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215867927696 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27528] ppid=27519 vsize=10748324 memory=10568 CPUtime=1.11 cores=0,2,4,6
/proc/27522/task/27528/stat : 27528 (java) S 27519 27522 25423 0 -1 1077944384 4125 0 0 0 72 39 0 0 20 0 16 0 414886890 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215866874896 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27529] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0.09 cores=0,2,4,6
/proc/27522/task/27529/stat : 27529 (java) S 27519 27522 25423 0 -1 1077944384 10173 0 0 0 7 2 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215755077744 140216263142018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27530] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27530/stat : 27530 (java) S 27519 27522 25423 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215754023776 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27531] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27531/stat : 27531 (java) S 27519 27522 25423 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414886892 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215752971392 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27532] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27532/stat : 27532 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215751919696 140216263149467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27533] ppid=27519 vsize=10748324 memory=1974608 CPUtime=3.68 cores=0,2,4,6
/proc/27522/task/27533/stat : 27533 (java) S 27519 27522 25423 0 -1 1077944384 16934 0 0 0 365 3 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215750867568 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27534] ppid=27519 vsize=10748324 memory=0 CPUtime=3.69 cores=0,2,4,6
/proc/27522/task/27534/stat : 27534 (java) S 27519 27522 25423 0 -1 1077944384 12686 0 0 0 367 2 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215749814768 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27535] ppid=27519 vsize=10748324 memory=1974608 CPUtime=1.17 cores=0,2,4,6
/proc/27522/task/27535/stat : 27535 (java) S 27519 27522 25423 0 -1 1077944384 13199 0 0 0 114 3 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215748762480 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27536] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0 cores=0,2,4,6
/proc/27522/task/27536/stat : 27536 (java) S 27519 27522 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215747709920 140216263141077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27537] ppid=27519 vsize=10748324 memory=1974608 CPUtime=0.75 cores=0,2,4,6
/proc/27522/task/27537/stat : 27537 (java) S 27519 27522 25423 0 -1 1077944384 2067 0 0 0 37 38 0 0 20 0 16 0 414886895 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215746656688 140216263142018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
[pid=27522/tid=27538] ppid=27519 vsize=10748324 memory=1760 CPUtime=2504.14 cores=0,2,4,6
/proc/27522/task/27538/stat : 27538 (java) R 27519 27522 25423 0 -1 4202560 36198 0 0 0 250406 8 0 0 20 0 16 0 414887078 11006283776 493652 33554432000 4194304 4196468 140725933475664 140215729691776 140215878308598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9072640 140725933478923 140725933479026 140725933479026 140725933481935 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1974608 KiB

Child status: 143
Real time (s): 2507.13
CPU time (s): 2520.11
CPU user time (s): 2517.94
CPU system time (s): 2.17361
CPU usage (%): 100.518
Max. virtual memory (cumulated for all children) (KiB): 10748476
Max. memory (cumulated for all children) (KiB): 1974608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.94
system time used= 2.17361
maximum resident set size= 1975104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58243
involuntary context switches= 3253


# summary of solver processes directly reported to runsolver:
#   pid: 27522
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2517.94
#   total CPU system time (s): 2.17361

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5927 second user time and 22.6035 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-13 15:49:50
IDJOB=4391029
IDBENCH=139552
IDSOLVER=2832
FILE ID=node105/4391029-1568386285
RUNJOBID= node105-1568376822-25454
PBS_JOBID= 21701849
Free space on /tmp= 54360 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_9_13.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391029-1568386285/watcher-4391029-1568386285 -o /tmp/evaluation-result-4391029-1568386285/solver-4391029-1568386285 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568376822-25454 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391029-1568386285.xml -cm

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

MD5SUM BENCH= 3c8d95ae467c6bf4a4f8a8c9b5dc34f0
RANDOM SEED=2140457270

node105.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.00
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.00
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.00
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.00
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:        31143904 kB
MemAvailable:   31390548 kB
Buffers:          147556 kB
Cached:           386656 kB
SwapCached:        68412 kB
Active:           722672 kB
Inactive:         346304 kB
Active(anon):     477480 kB
Inactive(anon):    89820 kB
Active(file):     245192 kB
Inactive(file):   256484 kB
Unevictable:      111220 kB
Mlocked:          111220 kB
SwapTotal:      67108860 kB
SwapFree:       66936356 kB
Dirty:              8756 kB
Writeback:             4 kB
AnonPages:        582732 kB
Mapped:            48836 kB
Shmem:             24008 kB
Slab:             150152 kB
SReclaimable:     121608 kB
SUnreclaim:        28544 kB
KernelStack:        4000 kB
PageTables:         6820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1667380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    509952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60844 MiB
End job on node105 at 2019-09-13 16:31:37