Trace number 4391329

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2400.08 2388.32

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 benchmark291
Best CPU time to get the best result obtained on this benchmark2400.73
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.63/1.90	
2.63/1.90	AbsCon 2 
2.63/1.92	
3.95/2.33	  Instance
3.95/2.33	    name=instance-4391329-1568391236, framework=COP, bounds=-infty..+infty
3.95/2.33	
3.95/2.33	  Loading variables...
4.62/2.58	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad8f52e
10.86/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6ab1b
10.86/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea65c4
10.86/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4736ee1a
10.86/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738511a1
10.86/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29141ca0
10.86/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d2ae2c
10.86/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17bf7a9d
10.86/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@542d7b5b
10.86/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a68ba39
10.86/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482218e5
10.86/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc847c1
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ad290d
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3c64f7
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3927b4b4
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db64b37
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4712b4ec
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157f558b
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253f3793
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0cb002
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63fc4803
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad8abb9
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ffcc589
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3989d923
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57f67d65
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f04e217
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c0877d6
10.86/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3a56e
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291d1c4d
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4396fceb
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745b64e
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@feb115e
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7f90e2
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60718f3d
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23739d55
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4014264c
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753913fa
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac47ea3
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c15ace
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a87f5e2
10.86/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5e259a
10.86/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57e018ab
10.86/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c7123f
10.86/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3febf50d
11.19/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea787c7
11.19/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a560e0d
11.19/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b15132
11.19/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82275a
11.19/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3660da83
11.19/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e80ec65
11.19/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8570d90
11.19/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56523561
11.19/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454f86e1
11.19/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d8f01c4
11.19/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@602cd57d
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@514b06e8
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d646c4
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37d1beac
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce87161
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cd601a2
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6546bb39
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e07a8e
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a9342c
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259dc7fa
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a78d73e
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@584fae5e
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e255a9
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b17b26
11.19/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31f7575e
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5726a282
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b019d71
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b353508
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370851e1
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51d60c0c
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290810f8
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745afe8e
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e2590f
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482c1716
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1396ed3c
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ba0a17
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24273097
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3e5dbc
11.19/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160f0941
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de7e48
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@695f6116
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15052370
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21bf8da5
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b3c20b
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39cdde1d
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10138d12
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e66b92
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e510426
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79048136
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e060c7d
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b1eee1
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756ba478
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29eb1d55
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b552841
11.19/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7445dc62
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dcf9607
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2969550e
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2293f98c
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bf0bc0c
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c77b0c1
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f8b5c3
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f0fdc5
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b5699d2
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@88cd172
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ad84980
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68d4ca44
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1bb805
11.19/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f619dc1
11.53/4.64	
11.53/4.64	
11.53/4.64	  Domains
11.53/4.64	    nTypes=4, nValues=44178, sizes=[2#12321,15#111,50#111,111#111]
11.53/4.64	  Variables
11.53/4.64	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.53/4.64	  Objectives
11.53/4.64	    way=min, type=SumSimpleLE
11.53/4.64	  Constraints
11.53/4.64	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.53/4.64	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.53/4.64	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.53/4.64	    wck=2.77, cpu=4.148, mem=930M999
11.53/4.67	  Solver SolverBacktrack being built...
11.53/4.67	
11.87/4.78	
11.87/4.78	  Solver
11.87/4.78	    guaranteedGAC=false
11.87/4.78	    wck=2.905, cpu=4.281, mem=963M50
13.13/5.50	
13.13/5.50	  Preprocessing
13.13/5.50	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.13/5.50	    wck=0.723, cpu=5.007, mem=963M50
13.13/5.50	
13.13/5.56	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.777, mem=963M50
13.13/5.56	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.13/5.56	    
13.45/5.61	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.827, mem=971M68
13.45/5.61	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
13.45/5.61	    
13.45/5.65	    num=2, depth=220..220, filters=4236, revisions=(38962,useless=34765), ccks=1397675, wck=0.874, mem=971M68
13.45/5.65	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.45/5.65	    
13.78/5.72	    num=3, depth=329..329, filters=6082, revisions=(54504,useless=48483), ccks=1408602, wck=0.937, mem=971M68
13.78/5.72	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.78/5.72	    
13.78/5.79	    num=4, depth=438..438, filters=8144, revisions=(76485,useless=68429), ccks=1419946, wck=1.006, mem=971M68
13.78/5.79	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
13.78/5.79	    
14.03/5.87	    num=5, depth=547..547, filters=10583, revisions=(108679,useless=98249), ccks=1435287, wck=1.086, mem=971M68
14.03/5.87	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.03/5.87	    
14.22/5.96	    num=6, depth=656..656, filters=13171, revisions=(143760,useless=130780), ccks=1447759, wck=1.177, mem=971M68
14.22/5.96	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.22/5.96	    
14.35/6.07	    num=7, depth=763..763, filters=16554, revisions=(212035,useless=195961), ccks=1475067, wck=1.29, mem=971M68
14.35/6.07	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
14.35/6.07	    
14.45/6.19	    num=8, depth=872..872, filters=20202, revisions=(284862,useless=265416), ccks=1501153, wck=1.414, mem=971M68
14.45/6.19	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
14.45/6.19	    
14.66/6.34	    num=9, depth=980..980, filters=24374, revisions=(376562,useless=353339), ccks=1534034, wck=1.556, mem=971M68
14.66/6.34	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
14.66/6.34	    
14.82/6.49	    num=10, depth=1089..1090, filters=28976, revisions=(475034,useless=447611), ccks=1567887, wck=1.711, mem=971M68
14.82/6.49	    decisions=6479, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
14.82/6.49	    
15.05/6.67	    num=11, depth=1307..1308, filters=34196, revisions=(589714,useless=557512), ccks=1609670, wck=1.892, mem=975M105
15.05/6.67	    decisions=7843, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
15.05/6.67	    
15.26/6.88	    num=12, depth=1524..1526, filters=40319, revisions=(731815,useless=694074), ccks=1660676, wck=2.102, mem=975M105
15.26/6.88	    decisions=9431, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
15.26/6.88	    
15.59/7.11	    num=13, depth=1630..1631, filters=47252, revisions=(900117,useless=856215), ccks=1723662, wck=2.33, mem=975M105
15.59/7.11	    decisions=11130, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
15.59/7.11	    
15.78/7.38	    num=14, depth=1958..1959, filters=54723, revisions=(1087625,useless=1037037), ccks=1790651, wck=2.595, mem=975M105
15.78/7.38	    decisions=13163, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
15.78/7.38	    
16.11/7.67	    num=15, depth=2176..2178, filters=62951, revisions=(1291119,useless=1233124), ccks=1855328, wck=2.887, mem=975M105
16.11/7.67	    decisions=15423, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
16.11/7.67	    
16.41/7.99	    num=16, depth=2393..2394, filters=71875, revisions=(1517483,useless=1451486), ccks=1934599, wck=3.206, mem=975M105
16.41/7.99	    decisions=17907, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
16.41/7.99	    
16.82/8.33	    num=17, depth=2611..2613, filters=81657, revisions=(1757502,useless=1682659), ccks=2006326, wck=3.549, mem=975M105
16.82/8.33	    decisions=20620, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
16.82/8.33	    
17.22/8.71	    num=18, depth=2938..2940, filters=92358, revisions=(2019280,useless=1934707), ccks=2085807, wck=3.93, mem=975M105
17.22/8.71	    decisions=23670, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
17.22/8.71	    
17.63/9.12	    num=19, depth=3265..3267, filters=104010, revisions=(2300708,useless=2205469), ccks=2167112, wck=4.345, mem=975M105
17.63/9.12	    decisions=27059, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
17.63/9.12	    
18.03/9.58	    num=20, depth=3590..3592, filters=117049, revisions=(2627431,useless=2520391), ccks=2263476, wck=4.801, mem=975M105
18.03/9.58	    decisions=30785, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
18.03/9.58	    
18.54/10.08	    num=21, depth=3915..3918, filters=131677, revisions=(2996896,useless=2876694), ccks=2373065, wck=5.297, mem=983M138
18.54/10.08	    decisions=34851, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
18.54/10.08	    
19.14/10.62	    num=22, depth=4351..4354, filters=147586, revisions=(3397334,useless=3262753), ccks=2493237, wck=5.838, mem=983M138
19.14/10.62	    decisions=39367, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
19.14/10.62	    
19.74/11.21	    num=23, depth=4784..4787, filters=165322, revisions=(3855946,useless=3705476), ccks=2630025, wck=6.429, mem=983M138
19.74/11.21	    decisions=44332, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
19.74/11.21	    
20.34/11.84	    num=24, depth=5220..5224, filters=184550, revisions=(4341535,useless=4173710), ccks=2770288, wck=7.061, mem=983M138
20.34/11.84	    decisions=49752, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
20.34/11.84	    
21.04/12.52	    num=25, depth=5765..5769, filters=205383, revisions=(4860429,useless=4673674), ccks=2918129, wck=7.743, mem=988M243
21.04/12.52	    decisions=55737, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
21.04/12.52	    
21.74/13.25	    num=26, depth=6310..6315, filters=227989, revisions=(5412961,useless=5205535), ccks=3070098, wck=8.472, mem=988M243
21.74/13.25	    decisions=62290, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
21.74/13.25	    
24.39/14.56	    num=27, depth=6964..6966, filters=249577, revisions=(6005126,useless=5778082), ccks=3224423, wck=9.783, mem=729M631
24.39/14.56	    decisions=69518, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
24.39/14.56	    
26.56/16.25	    num=28, depth=7040..7256, filters=703438, revisions=(7515710,useless=6847286), ccks=4651964, wck=11.472, mem=729M631
26.56/16.25	    decisions=92283, wrong=9095, backtracks=7690, failedAssignments=1474, nogoods=1405
26.56/16.25	    
27.60/17.24	    num=29, depth=7255..7370, filters=786909, revisions=(8279251,useless=7531672), ccks=4967039, wck=12.459, mem=729M631
27.60/17.24	    decisions=102652, wrong=10638, backtracks=9231, failedAssignments=1632, nogoods=1407
27.60/17.24	    
28.42/18.09	    num=30, depth=7478..7583, filters=820914, revisions=(8930393,useless=8150998), ccks=5144682, wck=13.309, mem=729M631
28.42/18.09	    decisions=110989, wrong=11017, backtracks=9439, failedAssignments=1806, nogoods=1472
28.42/18.09	    
30.34/19.83	    num=31, depth=7367..7584, filters=1329068, revisions=(10570423,useless=9296626), ccks=6720349, wck=15.053, mem=737M658
30.34/19.83	    decisions=136088, wrong=19777, backtracks=18089, failedAssignments=1997, nogoods=1476
30.34/19.83	    
31.44/20.94	    num=32, depth=7582..7677, filters=1444240, revisions=(11527902,useless=10144896), ccks=7192810, wck=16.156, mem=737M658
31.44/20.94	    decisions=148722, wrong=22297, backtracks=20481, failedAssignments=2208, nogoods=1478
31.44/20.94	    
32.34/21.80	    num=33, depth=7910..8016, filters=1480234, revisions=(12185398,useless=10768409), ccks=7365835, wck=17.018, mem=737M658
32.34/21.80	    decisions=157501, wrong=22725, backtracks=20679, failedAssignments=2440, nogoods=1496
32.34/21.80	    
35.95/25.48	    num=34, depth=7796..8017, filters=3065356, revisions=(16051766,useless=13089442), ccks=12131020, wck=20.697, mem=737M658
35.95/25.48	    decisions=220514, wrong=50323, backtracks=48275, failedAssignments=2695, nogoods=1498
35.95/25.48	    
38.25/27.71	    num=35, depth=7908..8129, filters=3853512, revisions=(18281615,useless=14551324), ccks=14533979, wck=22.929, mem=737M658
38.25/27.71	    decisions=255736, wrong=63871, backtracks=61665, failedAssignments=2976, nogoods=1550
38.25/27.71	    
39.85/29.38	    num=36, depth=7909..8127, filters=4331622, revisions=(19875975,useless=15680348), ccks=16015727, wck=24.596, mem=737M658
39.85/29.38	    decisions=280230, wrong=72084, backtracks=69637, failedAssignments=3285, nogoods=1575
39.85/29.38	    
40.88/30.34	    num=37, depth=8019..8242, filters=4407530, revisions=(20679104,useless=16410833), ccks=16326403, wck=25.559, mem=737M658
40.88/30.34	    decisions=290656, wrong=73178, backtracks=70399, failedAssignments=3625, nogoods=1588
40.88/30.34	    
41.78/31.23	    num=38, depth=8241..8350, filters=4443102, revisions=(21397770,useless=17096310), ccks=16514728, wck=26.447, mem=745M687
41.78/31.23	    decisions=300193, wrong=73779, backtracks=70628, failedAssignments=3999, nogoods=1648
41.78/31.23	    
43.18/32.60	    num=39, depth=8224..8349, filters=4635532, revisions=(22711850,useless=18228265), ccks=17197810, wck=27.82, mem=745M687
43.18/32.60	    decisions=319512, wrong=79301, backtracks=76170, failedAssignments=4410, nogoods=1650
43.18/32.60	    
44.78/34.23	    num=40, depth=8458..8677, filters=5100902, revisions=(24311978,useless=19375279), ccks=18651487, wck=29.448, mem=745M687
44.78/34.23	    decisions=344067, wrong=87247, backtracks=83727, failedAssignments=4862, nogoods=1715
44.78/34.23	    
46.08/35.51	    num=41, depth=8561..8680, filters=5260397, revisions=(25399327,useless=20311068), ccks=19201946, wck=30.729, mem=745M687
46.08/35.51	    decisions=361280, wrong=91556, backtracks=88042, failedAssignments=5359, nogoods=1717
46.08/35.51	    
46.98/36.45	    num=42, depth=8788..8893, filters=5317409, revisions=(26218527,useless=21075944), ccks=19466039, wck=31.674, mem=745M687
46.98/36.45	    decisions=371675, wrong=92311, backtracks=88251, failedAssignments=5906, nogoods=1729
46.98/36.45	    
48.78/38.26	    num=43, depth=8673..8893, filters=5887954, revisions=(28046927,useless=22348394), ccks=21222158, wck=33.483, mem=753M719
48.78/38.26	    decisions=400091, wrong=102078, backtracks=97499, failedAssignments=6508, nogoods=1818
48.78/38.26	    
56.59/46.03	    num=44, depth=8662..8891, filters=9998238, revisions=(37214530,useless=27506567), ccks=33494467, wck=41.252, mem=753M719
56.59/46.03	    decisions=552710, wrong=174022, backtracks=169446, failedAssignments=7170, nogoods=1820
56.59/46.03	    
58.18/47.69	    num=45, depth=8783..9000, filters=10492990, revisions=(38914721,useless=28724841), ccks=35055944, wck=42.908, mem=753M719
58.18/47.69	    decisions=578506, wrong=182449, backtracks=177218, failedAssignments=7898, nogoods=1835
58.18/47.69	    
59.28/48.73	    num=46, depth=8890..9001, filters=10620004, revisions=(39856119,useless=29543131), ccks=35511728, wck=43.947, mem=753M719
59.28/48.73	    decisions=591473, wrong=184487, backtracks=178463, failedAssignments=8699, nogoods=1870
59.28/48.73	    
68.98/58.42	    num=47, depth=8954..9219, filters=15971986, revisions=(51655211,useless=36122390), ccks=51494279, wck=53.642, mem=753M719
68.98/58.42	    decisions=789439, wrong=278964, backtracks=272968, failedAssignments=9580, nogoods=1873
68.98/58.42	    
70.09/59.56	    num=48, depth=9108..9220, filters=16149603, revisions=(52733960,useless=37028535), ccks=52110567, wck=54.784, mem=761M752
70.09/59.56	    decisions=804320, wrong=281848, backtracks=274887, failedAssignments=10550, nogoods=1972
70.09/59.56	    
71.49/60.92	    num=49, depth=9112..9331, filters=16461248, revisions=(54103541,useless=38094772), ccks=53129011, wck=56.138, mem=761M752
71.49/60.92	    decisions=824042, wrong=287106, backtracks=279119, failedAssignments=11617, nogoods=2034
71.49/60.92	    
72.70/62.14	    num=50, depth=9113..9332, filters=16694249, revisions=(55319364,useless=39083846), ccks=53919015, wck=57.363, mem=769M785
72.70/62.14	    decisions=840889, wrong=290925, backtracks=281788, failedAssignments=12790, nogoods=2111
72.70/62.14	    
86.29/75.75	    num=51, depth=9175..9441, filters=24612762, revisions=(72493002,useless=48533906), ccks=77546843, wck=70.969, mem=769M785
86.29/75.75	    decisions=1129233, wrong=430473, backtracks=421365, failedAssignments=14081, nogoods=2113
86.29/75.75	    
88.10/77.53	    num=52, depth=9332..9550, filters=25191108, revisions=(74461660,useless=49938845), ccks=79376966, wck=72.749, mem=769M785
88.10/77.53	    decisions=1158554, wrong=440395, backtracks=429946, failedAssignments=15501, nogoods=2171
88.10/77.53	    
104.40/93.83	    num=53, depth=9223..9551, filters=34863720, revisions=(95310978,useless=61351902), ccks=108240742, wck=89.05, mem=777M781
104.40/93.83	    decisions=1507521, wrong=610206, backtracks=599775, failedAssignments=17063, nogoods=2174
104.40/93.83	    
105.50/94.90	    num=54, depth=9552..9663, filters=34992068, revisions=(96386502,useless=62302575), ccks=108748529, wck=90.117, mem=777M781
105.50/94.90	    decisions=1521061, wrong=612155, backtracks=600007, failedAssignments=18781, nogoods=2180
105.50/94.90	    
106.50/95.96	    num=55, depth=9553..9664, filters=35121415, revisions=(97479677,useless=63269977), ccks=109256075, wck=91.185, mem=777M781
106.50/95.96	    decisions=1534551, wrong=614093, backtracks=600056, failedAssignments=20671, nogoods=2247
106.50/95.96	    
109.21/98.65	    num=56, depth=9596..9880, filters=36105696, revisions=(100858955,useless=65700478), ccks=112610761, wck=93.871, mem=785M778
109.21/98.65	    decisions=1584184, wrong=634026, backtracks=618133, failedAssignments=22750, nogoods=2349
109.21/98.65	    
131.91/121.38	    num=57, depth=7151..10012, filters=50206018, revisions=(131004999,useless=82095636), ccks=154747034, wck=116.599, mem=793M774
131.91/121.38	    decisions=2089740, wrong=881947, backtracks=866083, failedAssignments=25037, nogoods=2355
131.91/121.38	    
144.04/133.49	    num=58, depth=9846..10166, filters=55981931, revisions=(148698761,useless=94200662), ccks=175601702, wck=128.713, mem=793M774
144.04/133.49	    decisions=2373390, wrong=1018750, backtracks=1003057, failedAssignments=27553, nogoods=2358
144.04/133.49	    
145.84/135.23	    num=59, depth=9961..10151, filters=56527203, revisions=(150860666,useless=95831146), ccks=177446544, wck=130.451, mem=793M774
145.84/135.23	    decisions=2402997, wrong=1028507, backtracks=1010116, failedAssignments=30321, nogoods=2380
145.84/135.23	    
168.05/157.47	    num=60, depth=9929..10255, filters=70857220, revisions=(181582488,useless=112572808), ccks=220278582, wck=152.694, mem=801M770
168.05/157.47	    decisions=2917189, wrong=1280619, backtracks=1261539, failedAssignments=33365, nogoods=2383
168.05/157.47	    
170.05/159.45	    num=61, depth=10151..10368, filters=71607749, revisions=(184120612,useless=114378103), ccks=222714695, wck=154.667, mem=809M807
170.05/159.45	    decisions=2952934, wrong=1293389, backtracks=1271040, failedAssignments=36714, nogoods=2426
170.05/159.45	    
180.95/170.35	    num=62, depth=10260..10692, filters=78489434, revisions=(199533087,useless=123081112), ccks=243391435, wck=165.566, mem=809M807
180.95/170.35	    decisions=3208116, wrong=1415722, backtracks=1390820, failedAssignments=40398, nogoods=2430
180.95/170.35	    
182.95/172.32	    num=63, depth=10590..10807, filters=79241553, revisions=(202173747,useless=124987189), ccks=245861277, wck=167.536, mem=809M807
182.95/172.32	    decisions=3244684, wrong=1428658, backtracks=1399786, failedAssignments=44450, nogoods=2438
182.95/172.32	    
184.38/173.74	    num=64, depth=10592..10704, filters=79543509, revisions=(204021137,useless=126545242), ccks=246945906, wck=168.963, mem=809M807
184.38/173.74	    decisions=3264354, wrong=1433170, backtracks=1399843, failedAssignments=48907, nogoods=2456
184.38/173.74	    
195.88/185.27	    num=65, depth=10702..10983, filters=86334890, revisions=(223014080,useless=138941136), ccks=269220827, wck=180.492, mem=817M804
195.88/185.27	    decisions=3546961, wrong=1569036, backtracks=1532536, failedAssignments=53810, nogoods=2459
195.88/185.27	    
219.24/208.56	    num=66, depth=10981..11304, filters=101865148, revisions=(260478882,useless=161319722), ccks=318231235, wck=203.784, mem=825M800
219.24/208.56	    decisions=4149530, wrong=1864793, backtracks=1825653, failedAssignments=59204, nogoods=2462
219.24/208.56	    
248.48/237.43	    num=67, depth=10977..11454, filters=114363280, revisions=(296953054,useless=185790187), ccks=360174007, wck=232.65, mem=842M901
248.48/237.43	    decisions=4783215, wrong=2176118, backtracks=2460354, failedAssignments=65137, nogoods=2465
248.48/237.43	    
270.20/259.14	    num=68, depth=3019..11377, filters=124740013, revisions=(323513559,useless=202488854), ccks=392236588, wck=254.361, mem=850M898
270.20/259.14	    decisions=5235570, wrong=2396791, backtracks=2879550, failedAssignments=71663, nogoods=2474
270.20/259.14	    
295.39/284.33	    num=69, depth=6507..10834, filters=139225321, revisions=(354938663,useless=219912690), ccks=435075176, wck=279.55, mem=858M894
295.39/284.33	    decisions=5958653, wrong=2752997, backtracks=3236021, failedAssignments=78842, nogoods=2498
295.39/284.33	    
341.40/330.39	    num=70, depth=4512..10800, filters=168581457, revisions=(414804548,useless=251214075), ccks=520868849, wck=325.607, mem=874M887
341.40/330.39	    decisions=7217294, wrong=3376992, backtracks=3860045, failedAssignments=86739, nogoods=2509
341.40/330.39	    
366.12/355.02	    num=71, depth=4050..10764, filters=182864365, revisions=(449887640,useless=272483449), ccks=565415981, wck=350.242, mem=882M883
366.12/355.02	    decisions=7865675, wrong=3695836, backtracks=4178974, failedAssignments=95426, nogoods=2517
366.12/355.02	    
407.61/396.53	    num=72, depth=4183..10767, filters=204351673, revisions=(521676644,useless=323636874), ccks=649108971, wck=391.753, mem=898M876
407.61/396.53	    decisions=8925305, wrong=4220356, backtracks=4704402, failedAssignments=104981, nogoods=2532
407.61/396.53	    
454.72/443.67	    num=73, depth=4209..10886, filters=232435019, revisions=(592510348,useless=367312095), ccks=738284986, wck=438.892, mem=914M868
454.72/443.67	    decisions=10172702, wrong=4838723, backtracks=5322611, failedAssignments=115492, nogoods=2551
454.72/443.67	    
549.25/538.14	    num=74, depth=4070..10845, filters=297316345, revisions=(728811068,useless=440364002), ccks=931706736, wck=533.359, mem=946M853
549.25/538.14	    decisions=12543774, wrong=6019008, backtracks=6503113, failedAssignments=127054, nogoods=2569
549.25/538.14	    
642.75/631.62	    num=75, depth=6608..10713, filters=358526181, revisions=(858322693,useless=510685569), ccks=1124453680, wck=626.838, mem=970M842
642.75/631.62	    decisions=14866877, wrong=7175284, backtracks=7659179, failedAssignments=139772, nogoods=2574
642.75/631.62	    
736.67/725.58	    num=76, depth=5787..10810, filters=421910112, revisions=(991284259,useless=581910607), ccks=1313011957, wck=720.799, mem=1002M828
736.67/725.58	    decisions=17218604, wrong=8345846, backtracks=8828497, failedAssignments=153762, nogoods=2594
736.67/725.58	    
825.49/814.34	    num=77, depth=6590..10727, filters=473031130, revisions=(1129608001,useless=670752090), ccks=1480177815, wck=809.56, mem=1026M817
825.49/814.34	    decisions=19509718, wrong=9486117, backtracks=9969170, failedAssignments=169151, nogoods=2599
825.49/814.34	    
928.00/916.84	    num=78, depth=5425..10911, filters=537926056, revisions=(1269073243,useless=747408645), ccks=1680523866, wck=912.063, mem=1066M798
928.00/916.84	    decisions=22237809, wrong=10844773, backtracks=11328226, failedAssignments=186079, nogoods=2614
928.00/916.84	    
933.90/922.71	    num=79, depth=5764..10718, filters=540890980, revisions=(1277663926,useless=753124470), ccks=1690175116, wck=917.929, mem=1066M798
933.90/922.71	    decisions=22390377, wrong=10915809, backtracks=11380989, failedAssignments=204700, nogoods=2695
933.90/922.71	    
1078.53/1067.31	    num=80, depth=10371..10681, filters=634706837, revisions=(1487506268,useless=871629722), ccks=1975236287, wck=1062.53, mem=1114M776
1078.53/1067.31	    decisions=25994883, wrong=12712840, backtracks=13177452, failedAssignments=225184, nogoods=2708
1078.53/1067.31	    
1197.87/1186.36	    num=81, depth=7383..10841, filters=705603290, revisions=(1639528692,useless=955063323), ccks=2185576836, wck=1181.581, mem=802M540
1197.87/1186.36	    decisions=29279005, wrong=14349590, backtracks=14814000, failedAssignments=247716, nogoods=2744
1197.87/1186.36	    
1326.70/1315.14	    num=82, depth=6468..10898, filters=777456465, revisions=(1841806620,useless=1088286713), ccks=2442049818, wck=1310.36, mem=845M320
1326.70/1315.14	    decisions=32701849, wrong=16055654, backtracks=16520588, failedAssignments=272501, nogoods=2799
1326.70/1315.14	    
1427.71/1416.18	    num=83, depth=6782..10827, filters=842932250, revisions=(1981787121,useless=1164663105), ccks=2638222559, wck=1411.396, mem=888M100
1427.71/1416.18	    decisions=35352082, wrong=17375463, backtracks=17828529, failedAssignments=299765, nogoods=2871
1427.71/1416.18	    
1445.31/1433.76	    num=84, depth=7778..10826, filters=853157933, revisions=(2007537212,useless=1180496731), ccks=2670332435, wck=1428.983, mem=888M100
1445.31/1433.76	    decisions=35819877, wrong=17604054, backtracks=18028558, failedAssignments=329755, nogoods=2932
1445.31/1433.76	    
1574.22/1562.68	    num=85, depth=7069..10525, filters=927625629, revisions=(2170809185,useless=1271704485), ccks=2893131234, wck=1557.904, mem=945M175
1574.22/1562.68	    decisions=39249955, wrong=19313936, backtracks=19738364, failedAssignments=362744, nogoods=3022
1574.22/1562.68	    
1715.95/1704.37	    num=86, depth=8245..10434, filters=998375382, revisions=(2408264485,useless=1440946289), ccks=3146175967, wck=1699.593, mem=987M955
1715.95/1704.37	    decisions=42871080, wrong=21119365, backtracks=21541409, failedAssignments=399032, nogoods=3051
1715.95/1704.37	    
1906.57/1894.90	    num=87, depth=7850..10607, filters=1112898029, revisions=(2646995678,useless=1568671135), ccks=3483991324, wck=1890.117, mem=1044M995
1906.57/1894.90	    decisions=47892134, wrong=23624712, backtracks=24046102, failedAssignments=438949, nogoods=3151
1906.57/1894.90	    
2000.49/1988.87	    num=88, depth=5584..10539, filters=1166598021, revisions=(2758331841,useless=1628075770), ccks=3640935271, wck=1984.09, mem=1087M775
2000.49/1988.87	    decisions=50424336, wrong=24885612, backtracks=25300951, failedAssignments=482858, nogoods=3262
2000.49/1988.87	    
2262.33/2250.66	    num=89, depth=9149..10385, filters=1333518577, revisions=(3104839461,useless=1811972243), ccks=4135230522, wck=2245.885, mem=1159M76
2262.33/2250.66	    decisions=56742812, wrong=28039745, backtracks=28447445, failedAssignments=531158, nogoods=3368
2262.33/2250.66	    
2351.44/2339.72	    num=90, depth=9844..10587, filters=1372061819, revisions=(3178222691,useless=1848723640), ccks=4240458868, wck=2334.943, mem=1201M856
2351.44/2339.72	    decisions=59601935, wrong=29464078, backtracks=29869541, failedAssignments=584288, nogoods=3485
2351.44/2339.72	    
2400.05/2388.30	
2400.05/2388.30	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15003 MiB free)
  memory of node 1: 16384 MiB (15721 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391329-1568391236/watcher-4391329-1568391236 -o /tmp/evaluation-result-4391329-1568391236/solver-4391329-1568391236 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568388789-29049 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391329-1568391236.xml -cm 

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

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


[startup+0.100151 s]*
/proc/loadavg: 2.00 2.01 1.98 4/234 29586
/proc/meminfo: memFree=31445876/32770624 swapFree=67009300/67108860
[pid=29571] ppid=29567 vsize=10659884 memory=28448 CPUtime=0.14 cores=1,3,5,7
/proc/29571/stat : 29571 (java) S 29567 29571 26870 0 -1 1077944320 5618 0 0 0 12 2 0 0 20 0 15 0 415046333 10915721216 7112 33554432000 4194304 4196468 140736838527968 140736838510512 140017734790903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
/proc/29571/statm: 2664971 7112 2904 1 0 2627468 0
[pid=29571/tid=29573] ppid=29567 vsize=10659884 memory=7747744361495276107 CPUtime=0.09 cores=1,3,5,7
/proc/29571/task/29573/stat : 29573 (java) R 29567 29571 26870 0 -1 4202560 3347 0 0 0 8 1 0 0 20 0 15 0 415046334 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017739018784 140017734812829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29574] ppid=29567 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29574/stat : 29574 (java) S 29567 29571 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017687411472 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29575] ppid=29567 vsize=10659884 memory=139859345610368 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29575/stat : 29575 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017686358928 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29576] ppid=29567 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29576/stat : 29576 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017685306384 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29577] ppid=29567 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29577/stat : 29577 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017684253840 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29578] ppid=29567 vsize=10659884 memory=139859345610368 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29578/stat : 29578 (java) S 29567 29571 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415046336 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017039099888 140017734802050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29579] ppid=29567 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29579/stat : 29579 (java) S 29567 29571 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415046336 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017038046112 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29580] ppid=29567 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29580/stat : 29580 (java) S 29567 29571 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415046336 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017036993520 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29581] ppid=29567 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29581/stat : 29581 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415046339 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017035942096 140017734809499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29582] ppid=29567 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29571/task/29582/stat : 29582 (java) S 29567 29571 26870 0 -1 1077944384 518 0 0 0 1 0 0 0 20 0 15 0 415046339 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017034889712 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29583] ppid=29567 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29583/stat : 29583 (java) R 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046339 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017033837168 140017734802050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29584] ppid=29567 vsize=10659884 memory=139859345610368 CPUtime=0.02 cores=1,3,5,7
/proc/29571/task/29584/stat : 29584 (java) R 29567 29571 26870 0 -1 4202560 393 0 0 0 2 0 0 0 20 0 15 0 415046339 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017032781304 140017714180132 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29585] ppid=29567 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29585/stat : 29585 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415046339 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017031732320 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29586] ppid=29567 vsize=10659884 memory=139859345610368 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29586/stat : 29586 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046339 10915721216 7112 33554432000 4194304 4196468 140736838527968 140017030678832 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28448 KiB

[startup+0.211185 s]*
/proc/loadavg: 2.00 2.01 1.98 3/234 29586
/proc/meminfo: memFree=31439016/32770624 swapFree=67009300/67108860
[pid=29571] ppid=29567 vsize=10659884 memory=34984 CPUtime=0.33 cores=1,3,5,7
/proc/29571/stat : 29571 (java) S 29567 29571 26870 0 -1 1077944320 6942 0 0 0 31 2 0 0 20 0 15 0 415046333 10915721216 8746 33554432000 4194304 4196468 140736838527968 140736838510512 140017734790903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
/proc/29571/statm: 2664971 8746 2989 1 0 2627468 0
[pid=29571/tid=29573] ppid=29567 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/29571/task/29573/stat : 29573 (java) R 29567 29571 26870 0 -1 4202560 3869 0 0 0 19 1 0 0 20 0 15 0 415046334 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017739027600 140017734812829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29574] ppid=29567 vsize=10659884 memory=288293255295270935 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29574/stat : 29574 (java) S 29567 29571 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017687411472 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29575] ppid=29567 vsize=10659884 memory=139859348489226 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29575/stat : 29575 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017686358928 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29576] ppid=29567 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29576/stat : 29576 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017685306384 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29577] ppid=29567 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29577/stat : 29577 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017684253840 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29578] ppid=29567 vsize=10659884 memory=139859345610368 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29578/stat : 29578 (java) S 29567 29571 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415046336 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017039099888 140017734802050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29579] ppid=29567 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29579/stat : 29579 (java) S 29567 29571 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415046336 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017038046112 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29580] ppid=29567 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29580/stat : 29580 (java) S 29567 29571 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415046336 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017036993520 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29581] ppid=29567 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29581/stat : 29581 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415046339 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017035942096 140017734809499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29582] ppid=29567 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29571/task/29582/stat : 29582 (java) S 29567 29571 26870 0 -1 1077944384 597 0 0 0 3 0 0 0 20 0 15 0 415046339 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017034889712 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29583] ppid=29567 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/29571/task/29583/stat : 29583 (java) S 29567 29571 26870 0 -1 1077944384 411 0 0 0 3 0 0 0 20 0 15 0 415046339 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017033837168 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29584] ppid=29567 vsize=10659884 memory=139859345610368 CPUtime=0.05 cores=1,3,5,7
/proc/29571/task/29584/stat : 29584 (java) S 29567 29571 26870 0 -1 1077944384 706 0 0 0 5 0 0 0 20 0 15 0 415046339 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017032784624 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29585] ppid=29567 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29585/stat : 29585 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415046339 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017031732320 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29586] ppid=29567 vsize=10659884 memory=139859345610368 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29586/stat : 29586 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046339 10915721216 8746 33554432000 4194304 4196468 140736838527968 140017030678832 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34984 KiB

[startup+0.310674 s]*
/proc/loadavg: 2.00 2.01 1.98 3/234 29586
/proc/meminfo: memFree=31431792/32770624 swapFree=67009300/67108860
[pid=29571] ppid=29567 vsize=10659884 memory=40388 CPUtime=0.48 cores=1,3,5,7
/proc/29571/stat : 29571 (java) S 29567 29571 26870 0 -1 1077944320 9609 0 0 0 44 4 0 0 20 0 15 0 415046333 10915721216 10097 33554432000 4194304 4196468 140736838527968 140736838510512 140017734790903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
/proc/29571/statm: 2664971 10097 3003 1 0 2627468 0
[pid=29571/tid=29573] ppid=29567 vsize=10659884 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/29571/task/29573/stat : 29573 (java) R 29567 29571 26870 0 -1 4202560 6459 0 0 0 27 3 0 0 20 0 15 0 415046334 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017739013584 140017734812829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29574] ppid=29567 vsize=10659884 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29574/stat : 29574 (java) S 29567 29571 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017687411472 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29575] ppid=29567 vsize=10659884 memory=139859347359594 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29575/stat : 29575 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017686358928 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29576] ppid=29567 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29576/stat : 29576 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017685306384 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29577] ppid=29567 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29577/stat : 29577 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017684253840 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29578] ppid=29567 vsize=10659884 memory=139859345610368 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29578/stat : 29578 (java) S 29567 29571 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415046336 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017039099888 140017734802050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29579] ppid=29567 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29579/stat : 29579 (java) S 29567 29571 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415046336 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017038046112 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29580] ppid=29567 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29580/stat : 29580 (java) S 29567 29571 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415046336 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017036993520 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29581] ppid=29567 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29581/stat : 29581 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415046339 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017035942096 140017734809499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29582] ppid=29567 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29571/task/29582/stat : 29582 (java) R 29567 29571 26870 0 -1 1077944384 605 0 0 0 3 0 0 0 20 0 15 0 415046339 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017034889712 140017734802050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29583] ppid=29567 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/29571/task/29583/stat : 29583 (java) R 29567 29571 26870 0 -1 4202560 457 0 0 0 4 0 0 0 20 0 15 0 415046339 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017033837168 140017713183369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29584] ppid=29567 vsize=10659884 memory=139859345610368 CPUtime=0.08 cores=1,3,5,7
/proc/29571/task/29584/stat : 29584 (java) S 29567 29571 26870 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 15 0 415046339 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017032784624 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29585] ppid=29567 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29585/stat : 29585 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415046339 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017031732320 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29586] ppid=29567 vsize=10659884 memory=139859345610368 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29586/stat : 29586 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046339 10915721216 10097 33554432000 4194304 4196468 140736838527968 140017030678832 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40388 KiB

[startup+0.700809 s]
/proc/loadavg: 2.00 2.01 1.98 3/234 29586
/proc/meminfo: memFree=31422624/32770624 swapFree=67009300/67108860
[pid=29571] ppid=29567 vsize=10661932 memory=64032 CPUtime=1.12 cores=1,3,5,7
/proc/29571/stat : 29571 (java) S 29567 29571 26870 0 -1 1077944320 13152 0 0 0 106 6 0 0 20 0 15 0 415046333 10917818368 16008 33554432000 4194304 4196468 140736838527968 140736838510512 140017734790903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
/proc/29571/statm: 2665483 16008 3073 1 0 2627980 0
[pid=29571/tid=29573] ppid=29567 vsize=10661932 memory=13948 CPUtime=0.68 cores=1,3,5,7
/proc/29571/task/29573/stat : 29573 (java) R 29567 29571 26870 0 -1 4202560 8889 0 0 0 64 4 0 0 20 0 15 0 415046334 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017739022928 140017718871390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29574] ppid=29567 vsize=10661932 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29574/stat : 29574 (java) S 29567 29571 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415046334 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017687411472 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29575] ppid=29567 vsize=10661932 memory=520 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29575/stat : 29575 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017686358928 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29576] ppid=29567 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29576/stat : 29576 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017685306384 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29577] ppid=29567 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29577/stat : 29577 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017684253840 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29578] ppid=29567 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29578/stat : 29578 (java) S 29567 29571 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415046336 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017039099888 140017734802050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29579] ppid=29567 vsize=10661932 memory=896 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29579/stat : 29579 (java) S 29567 29571 26870 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415046336 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017038046112 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29580] ppid=29567 vsize=10661932 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29580/stat : 29580 (java) S 29567 29571 26870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415046336 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017036993520 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29581] ppid=29567 vsize=10661932 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29581/stat : 29581 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415046339 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017035942096 140017734809499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29582] ppid=29567 vsize=10661932 memory=2452 CPUtime=0.1 cores=1,3,5,7
/proc/29571/task/29582/stat : 29582 (java) R 29567 29571 26870 0 -1 4202560 982 0 0 0 10 0 0 0 20 0 15 0 415046339 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017034889712 140017714037466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29583] ppid=29567 vsize=10661932 memory=7302135314614015840 CPUtime=0.12 cores=1,3,5,7
/proc/29571/task/29583/stat : 29583 (java) S 29567 29571 26870 0 -1 1077944384 773 0 0 0 12 0 0 0 20 0 15 0 415046339 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017033837168 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29584] ppid=29567 vsize=10661932 memory=6008736863209680240 CPUtime=0.18 cores=1,3,5,7
/proc/29571/task/29584/stat : 29584 (java) S 29567 29571 26870 0 -1 1077944384 1149 0 0 0 18 0 0 0 20 0 15 0 415046339 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017032784624 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29585] ppid=29567 vsize=10661932 memory=7523071198212214892 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29585/stat : 29585 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415046339 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017031732320 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29586] ppid=29567 vsize=10661932 memory=10 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29586/stat : 29586 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046339 10917818368 16008 33554432000 4194304 4196468 140736838527968 140017030678832 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64032 KiB

[startup+1.50087 s]
/proc/loadavg: 2.00 2.01 1.98 3/234 29586
/proc/meminfo: memFree=31406292/32770624 swapFree=67009300/67108860
[pid=29571] ppid=29567 vsize=10663980 memory=75756 CPUtime=2.01 cores=1,3,5,7
/proc/29571/stat : 29571 (java) S 29567 29571 26870 0 -1 1077944320 18531 0 0 0 194 7 0 0 20 0 15 0 415046333 10919915520 18939 33554432000 4194304 4196468 140736838527968 140736838510512 140017734790903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
/proc/29571/statm: 2665995 18939 3091 1 0 2628492 0
[pid=29571/tid=29573] ppid=29567 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/29571/task/29573/stat : 29573 (java) R 29567 29571 26870 0 -1 4202560 12943 0 0 0 143 5 0 0 20 0 15 0 415046334 10919915520 18939 33554432000 4194304 4196468 140736838527968 140017739016784 140017716354390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29574] ppid=29567 vsize=10663980 memory=15815586630345727 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29574/stat : 29574 (java) S 29567 29571 26870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415046334 10919915520 18939 33554432000 4194304 4196468 140736838527968 140017687411472 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29575] ppid=29567 vsize=10663980 memory=7234860630783781484 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29575/stat : 29575 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10919915520 18939 33554432000 4194304 4196468 140736838527968 140017686358928 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29576] ppid=29567 vsize=10663980 memory=7234860630783781484 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29576/stat : 29576 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10919915520 18939 33554432000 4194304 4196468 140736838527968 140017685306384 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29577] ppid=29567 vsize=10663980 memory=7234860630783781484 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29577/stat : 29577 (java) S 29567 29571 26870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415046334 10919915520 18939 33554432000 4194304 4196468 140736838527968 140017684253840 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29578] ppid=29567 vsize=10663980 memory=7234860630783781484 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29578/stat : 29578 (java) S 29567 29571 26870 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 415046336 10919915520 18939 33554432000 4194304 4196468 140736838527968 140017039099888 140017734802050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0

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

/proc/29571/task/29577/stat : 29577 (java) S 29567 29571 26870 0 -1 1077944384 1164 0 0 0 65 35 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017684253840 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29578] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0.08 cores=1,3,5,7
/proc/29571/task/29578/stat : 29578 (java) S 29567 29571 26870 0 -1 1077944384 9529 0 0 0 6 2 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017039099888 140017734802050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29579] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29579/stat : 29579 (java) S 29567 29571 26870 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017038046176 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29580] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29580/stat : 29580 (java) S 29567 29571 26870 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017036993536 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29581] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29581/stat : 29581 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017035942096 140017734809499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29582] ppid=29567 vsize=10748324 memory=1796212 CPUtime=3.58 cores=1,3,5,7
/proc/29571/task/29582/stat : 29582 (java) S 29567 29571 26870 0 -1 1077944384 17544 0 0 0 356 2 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017034889712 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29583] ppid=29567 vsize=10748324 memory=1796212 CPUtime=3.62 cores=1,3,5,7
/proc/29571/task/29583/stat : 29583 (java) S 29567 29571 26870 0 -1 1077944384 13543 0 0 0 360 2 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017033837168 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29584] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1.18 cores=1,3,5,7
/proc/29571/task/29584/stat : 29584 (java) S 29567 29571 26870 0 -1 1077944384 12886 0 0 0 115 3 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017032784624 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29585] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29585/stat : 29585 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017031732320 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29586] ppid=29567 vsize=10748324 memory=56 CPUtime=0.46 cores=1,3,5,7
/proc/29571/task/29586/stat : 29586 (java) S 29567 29571 26870 0 -1 1077944384 2159 0 0 0 19 27 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017030678832 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29587] ppid=29567 vsize=10748324 memory=1796212 CPUtime=2319.12 cores=1,3,5,7
/proc/29571/task/29587/stat : 29587 (java) R 29567 29571 26870 0 -1 4202560 35116 0 0 0 231903 9 0 0 20 0 16 0 415046524 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017013603584 140017363898869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
Current children cumulated CPU time: 2334.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1796212 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/235 29885
/proc/meminfo: memFree=28136996/32770624 swapFree=67009336/67108860
[pid=29571] ppid=29567 vsize=10748324 memory=1796212 CPUtime=2394.04 cores=1,3,5,7
/proc/29571/stat : 29571 (java) S 29567 29571 26870 0 -1 1077944320 115567 0 0 0 239214 190 0 0 20 0 16 0 415046333 11006283776 449053 33554432000 4194304 4196468 140736838527968 140736838510512 140017734790903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
/proc/29571/statm: 2687081 449053 3385 1 0 2647217 0
[pid=29571/tid=29573] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1.88 cores=1,3,5,7
/proc/29571/task/29573/stat : 29573 (java) S 29567 29571 26870 0 -1 1077944384 15211 0 0 0 182 6 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017739033776 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29574] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1 cores=1,3,5,7
/proc/29571/task/29574/stat : 29574 (java) S 29567 29571 26870 0 -1 1077944384 2521 0 0 0 67 33 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017687411472 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29575] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1.01 cores=1,3,5,7
/proc/29571/task/29575/stat : 29575 (java) S 29567 29571 26870 0 -1 1077944384 2562 0 0 0 65 36 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017686358928 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29576] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0.99 cores=1,3,5,7
/proc/29571/task/29576/stat : 29576 (java) S 29567 29571 26870 0 -1 1077944384 1345 0 0 0 65 34 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017685306384 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29577] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1 cores=1,3,5,7
/proc/29571/task/29577/stat : 29577 (java) S 29567 29571 26870 0 -1 1077944384 1164 0 0 0 65 35 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017684253840 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29578] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0.08 cores=1,3,5,7
/proc/29571/task/29578/stat : 29578 (java) S 29567 29571 26870 0 -1 1077944384 9535 0 0 0 6 2 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017039099888 140017734802050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29579] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29579/stat : 29579 (java) S 29567 29571 26870 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017038046176 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29580] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29580/stat : 29580 (java) S 29567 29571 26870 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017036993536 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29581] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29581/stat : 29581 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017035942096 140017734809499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29582] ppid=29567 vsize=10748324 memory=1796212 CPUtime=3.58 cores=1,3,5,7
/proc/29571/task/29582/stat : 29582 (java) S 29567 29571 26870 0 -1 1077944384 17552 0 0 0 356 2 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017034889712 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29583] ppid=29567 vsize=10748324 memory=1796212 CPUtime=3.62 cores=1,3,5,7
/proc/29571/task/29583/stat : 29583 (java) S 29567 29571 26870 0 -1 1077944384 13545 0 0 0 360 2 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017033837168 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29584] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1.18 cores=1,3,5,7
/proc/29571/task/29584/stat : 29584 (java) S 29567 29571 26870 0 -1 1077944384 12888 0 0 0 115 3 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017032784624 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29585] ppid=29567 vsize=10748324 memory=13568193369213571 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29585/stat : 29585 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017031732320 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29586] ppid=29567 vsize=10748324 memory=20036 CPUtime=0.47 cores=1,3,5,7
/proc/29571/task/29586/stat : 29586 (java) S 29567 29571 26870 0 -1 1077944384 2190 0 0 0 19 28 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017030678832 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29587] ppid=29567 vsize=10748324 memory=6791534058613427641 CPUtime=2379.11 cores=1,3,5,7
/proc/29571/task/29587/stat : 29587 (java) R 29567 29571 26870 0 -1 4202560 35635 0 0 0 237902 9 0 0 20 0 16 0 415046524 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017013603584 140017362743484 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
Current children cumulated CPU time: 2394.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1796212 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2388.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/235 29885
/proc/meminfo: memFree=28137016/32770624 swapFree=67009336/67108860
[pid=29571] ppid=29567 vsize=10748324 memory=1796212 CPUtime=2400.05 cores=1,3,5,7
/proc/29571/stat : 29571 (java) S 29567 29571 26870 0 -1 1077944320 115571 0 0 0 239815 190 0 0 20 0 16 0 415046333 11006283776 449053 33554432000 4194304 4196468 140736838527968 140736838510512 140017734790903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
/proc/29571/statm: 2687081 449053 3385 1 0 2647217 0
[pid=29571/tid=29573] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1.88 cores=1,3,5,7
/proc/29571/task/29573/stat : 29573 (java) S 29567 29571 26870 0 -1 1077944384 15211 0 0 0 182 6 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017739033776 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29574] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1 cores=1,3,5,7
/proc/29571/task/29574/stat : 29574 (java) S 29567 29571 26870 0 -1 1077944384 2521 0 0 0 67 33 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017687411472 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29575] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1.01 cores=1,3,5,7
/proc/29571/task/29575/stat : 29575 (java) S 29567 29571 26870 0 -1 1077944384 2562 0 0 0 65 36 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017686358928 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29576] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0.99 cores=1,3,5,7
/proc/29571/task/29576/stat : 29576 (java) S 29567 29571 26870 0 -1 1077944384 1345 0 0 0 65 34 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017685306384 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29577] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1 cores=1,3,5,7
/proc/29571/task/29577/stat : 29577 (java) S 29567 29571 26870 0 -1 1077944384 1164 0 0 0 65 35 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017684253840 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29578] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0.08 cores=1,3,5,7
/proc/29571/task/29578/stat : 29578 (java) S 29567 29571 26870 0 -1 1077944384 9535 0 0 0 6 2 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017039099888 140017734802050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29579] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29579/stat : 29579 (java) S 29567 29571 26870 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017038046176 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29580] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29580/stat : 29580 (java) S 29567 29571 26870 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017036993536 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29581] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29581/stat : 29581 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017035942096 140017734809499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29582] ppid=29567 vsize=10748324 memory=1796212 CPUtime=3.58 cores=1,3,5,7
/proc/29571/task/29582/stat : 29582 (java) S 29567 29571 26870 0 -1 1077944384 17552 0 0 0 356 2 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017034889712 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29583] ppid=29567 vsize=10748324 memory=7980 CPUtime=3.62 cores=1,3,5,7
/proc/29571/task/29583/stat : 29583 (java) S 29567 29571 26870 0 -1 1077944384 13545 0 0 0 360 2 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017033837168 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29584] ppid=29567 vsize=10748324 memory=1408 CPUtime=1.18 cores=1,3,5,7
/proc/29571/task/29584/stat : 29584 (java) S 29567 29571 26870 0 -1 1077944384 12888 0 0 0 115 3 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017032784624 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29585] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29585/stat : 29585 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017031732320 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29586] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0.47 cores=1,3,5,7
/proc/29571/task/29586/stat : 29586 (java) S 29567 29571 26870 0 -1 1077944384 2190 0 0 0 19 28 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017030678832 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29587] ppid=29567 vsize=10748324 memory=20036 CPUtime=2385.11 cores=1,3,5,7
/proc/29571/task/29587/stat : 29587 (java) R 29567 29571 26870 0 -1 4202560 35639 0 0 0 238502 9 0 0 20 0 16 0 415046524 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017013603584 140017371223701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1796212 KiB

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

[startup+2388.32 s]
# the end of solver process 29571 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.16 s, system=1.91706 s

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

[startup+2388.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/235 29885
/proc/meminfo: memFree=28137016/32770624 swapFree=67009336/67108860
[pid=29571] ppid=29567 vsize=10748324 memory=1796212 CPUtime=2400.05 cores=1,3,5,7
/proc/29571/stat : 29571 (java) S 29567 29571 26870 0 -1 1077944320 115571 0 0 0 239815 190 0 0 20 0 16 0 415046333 11006283776 449053 33554432000 4194304 4196468 140736838527968 140736838510512 140017734790903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
/proc/29571/statm: 2687081 449053 3385 1 0 2647217 0
[pid=29571/tid=29573] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1.88 cores=1,3,5,7
/proc/29571/task/29573/stat : 29573 (java) S 29567 29571 26870 0 -1 1077944384 15211 0 0 0 182 6 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017739033776 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29574] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1 cores=1,3,5,7
/proc/29571/task/29574/stat : 29574 (java) S 29567 29571 26870 0 -1 1077944384 2521 0 0 0 67 33 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017687411472 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29575] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1.01 cores=1,3,5,7
/proc/29571/task/29575/stat : 29575 (java) S 29567 29571 26870 0 -1 1077944384 2562 0 0 0 65 36 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017686358928 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29576] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0.99 cores=1,3,5,7
/proc/29571/task/29576/stat : 29576 (java) S 29567 29571 26870 0 -1 1077944384 1345 0 0 0 65 34 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017685306384 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29577] ppid=29567 vsize=10748324 memory=1796212 CPUtime=1 cores=1,3,5,7
/proc/29571/task/29577/stat : 29577 (java) S 29567 29571 26870 0 -1 1077944384 1164 0 0 0 65 35 0 0 20 0 16 0 415046334 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017684253840 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29578] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0.08 cores=1,3,5,7
/proc/29571/task/29578/stat : 29578 (java) S 29567 29571 26870 0 -1 1077944384 9535 0 0 0 6 2 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017039099888 140017734802050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29579] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29579/stat : 29579 (java) S 29567 29571 26870 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017038046176 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29580] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29580/stat : 29580 (java) S 29567 29571 26870 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415046336 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017036993536 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29581] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29581/stat : 29581 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017035942096 140017734809499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29582] ppid=29567 vsize=10748324 memory=1796212 CPUtime=3.58 cores=1,3,5,7
/proc/29571/task/29582/stat : 29582 (java) S 29567 29571 26870 0 -1 1077944384 17552 0 0 0 356 2 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017034889712 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29583] ppid=29567 vsize=10748324 memory=7980 CPUtime=3.62 cores=1,3,5,7
/proc/29571/task/29583/stat : 29583 (java) S 29567 29571 26870 0 -1 1077944384 13545 0 0 0 360 2 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017033837168 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29584] ppid=29567 vsize=10748324 memory=1408 CPUtime=1.18 cores=1,3,5,7
/proc/29571/task/29584/stat : 29584 (java) S 29567 29571 26870 0 -1 1077944384 12888 0 0 0 115 3 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017032784624 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29585] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0 cores=1,3,5,7
/proc/29571/task/29585/stat : 29585 (java) S 29567 29571 26870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017031732320 140017734801109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29586] ppid=29567 vsize=10748324 memory=1796212 CPUtime=0.47 cores=1,3,5,7
/proc/29571/task/29586/stat : 29586 (java) S 29567 29571 26870 0 -1 1077944384 2190 0 0 0 19 28 0 0 20 0 16 0 415046339 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017030678832 140017734802050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
[pid=29571/tid=29587] ppid=29567 vsize=10748324 memory=20036 CPUtime=2385.11 cores=1,3,5,7
/proc/29571/task/29587/stat : 29587 (java) R 29567 29571 26870 0 -1 4202560 35639 0 0 0 238502 9 0 0 20 0 16 0 415046524 11006283776 449053 33554432000 4194304 4196468 140736838527968 140017013603584 140017371223701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27869184 140736838530059 140736838530162 140736838530162 140736838533071 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1796212 KiB

Child status: 143
Real time (s): 2388.32
CPU time (s): 2400.08
CPU user time (s): 2398.16
CPU system time (s): 1.91706
CPU usage (%): 100.492
Max. virtual memory (cumulated for all children) (KiB): 10748396
Max. memory (cumulated for all children) (KiB): 1796212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.16
system time used= 1.91706
maximum resident set size= 1796704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55563
involuntary context switches= 723


# summary of solver processes directly reported to runsolver:
#   pid: 29571
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2398.16
#   total CPU system time (s): 1.91706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6349 second user time and 17.2906 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-13 18:13:07
IDJOB=4391329
IDBENCH=139552
IDSOLVER=2833
FILE ID=node132/4391329-1568391236
RUNJOBID= node132-1568388789-29049
PBS_JOBID= 21701836
Free space on /tmp= 61612 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-4391329-1568391236/watcher-4391329-1568391236 -o /tmp/evaluation-result-4391329-1568391236/solver-4391329-1568391236 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568388789-29049 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391329-1568391236.xml -cm

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

MD5SUM BENCH= 3c8d95ae467c6bf4a4f8a8c9b5dc34f0
RANDOM SEED=1959938540

node132.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.95
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.95
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.95
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.95
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:        31463412 kB
MemAvailable:   31514384 kB
Buffers:           34352 kB
Cached:           296160 kB
SwapCached:         6220 kB
Active:           656120 kB
Inactive:          86068 kB
Active(anon):     408496 kB
Inactive(anon):    30968 kB
Active(file):     247624 kB
Inactive(file):    55100 kB
Unevictable:      109592 kB
Mlocked:          109592 kB
SwapTotal:      67108860 kB
SwapFree:       67009300 kB
Dirty:              8656 kB
Writeback:             0 kB
AnonPages:        447272 kB
Mapped:            44000 kB
Shmem:             19164 kB
Slab:             157240 kB
SReclaimable:     128168 kB
SUnreclaim:        29072 kB
KernelStack:        4096 kB
PageTables:         6980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1477464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    374784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61604 MiB
End job on node132 at 2019-09-13 18:52:55