Trace number 4391036

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.06 2506.92

General information on the benchmark

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

Solver Data 

2.38/1.88	
2.38/1.88	AbsCon 2 
2.62/1.90	
3.98/2.31	  Instance
3.98/2.31	    name=instance-4391036-1568386362, framework=COP, bounds=-infty..+infty
3.98/2.31	
3.98/2.31	  Loading variables...
4.68/2.56	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
10.93/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
10.93/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
10.93/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
10.93/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
10.93/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
10.93/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
10.93/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
10.93/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
10.93/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
10.93/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
10.93/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
10.93/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
10.93/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
10.93/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
10.93/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
10.93/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
10.93/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
10.93/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
11.25/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
11.25/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
11.25/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
11.25/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
11.25/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
11.25/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
11.25/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
11.25/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
11.25/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
11.25/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
11.25/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
11.25/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
11.25/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
11.25/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
11.25/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
11.25/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
11.25/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
11.25/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
11.25/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
11.25/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.62/4.61	
11.62/4.61	
11.62/4.61	  Domains
11.62/4.61	    nTypes=4, nValues=43956, sizes=[2#12321,14#111,49#111,111#111]
11.62/4.61	  Variables
11.62/4.61	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.62/4.61	  Objectives
11.62/4.61	    way=min, type=SumSimpleLE
11.62/4.61	  Constraints
11.62/4.61	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.62/4.61	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.62/4.61	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.62/4.61	    wck=2.754, cpu=4.105, mem=942M539
11.62/4.63	  Solver SolverBacktrack being built...
11.62/4.63	
11.94/4.74	
11.94/4.74	  Solver
11.94/4.74	    guaranteedGAC=false
11.94/4.74	    wck=2.891, cpu=4.241, mem=974M524
13.22/5.47	
13.22/5.47	  Preprocessing
13.22/5.47	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.22/5.47	    wck=0.729, cpu=4.974, mem=974M524
13.22/5.47	
13.39/5.53	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.783, mem=974M524
13.39/5.53	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.39/5.53	    
13.39/5.58	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.833, mem=974M524
13.39/5.58	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
13.39/5.58	    
13.71/5.63	    num=2, depth=220..220, filters=4235, revisions=(38962,useless=34766), ccks=1397675, wck=0.884, mem=974M524
13.71/5.63	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.71/5.63	    
13.71/5.69	    num=3, depth=329..329, filters=6079, revisions=(54504,useless=48486), ccks=1408602, wck=0.95, mem=974M524
13.71/5.69	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.71/5.69	    
14.03/5.77	    num=4, depth=438..438, filters=8138, revisions=(76485,useless=68435), ccks=1419946, wck=1.027, mem=974M524
14.03/5.77	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
14.03/5.77	    
14.32/5.86	    num=5, depth=547..547, filters=10573, revisions=(108679,useless=98259), ccks=1435287, wck=1.117, mem=974M524
14.32/5.86	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.32/5.86	    
14.57/5.96	    num=6, depth=656..656, filters=13156, revisions=(143760,useless=130795), ccks=1447759, wck=1.216, mem=974M524
14.57/5.96	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.57/5.96	    
14.71/6.08	    num=7, depth=763..763, filters=16531, revisions=(212035,useless=195984), ccks=1475067, wck=1.337, mem=974M524
14.71/6.08	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
14.71/6.08	    
14.91/6.21	    num=8, depth=872..872, filters=20170, revisions=(284862,useless=265448), ccks=1501153, wck=1.47, mem=974M524
14.91/6.21	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
14.91/6.21	    
15.02/6.36	    num=9, depth=980..980, filters=24331, revisions=(376562,useless=353382), ccks=1534034, wck=1.62, mem=974M524
15.02/6.36	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
15.02/6.36	    
15.26/6.53	    num=10, depth=1089..1090, filters=28921, revisions=(475034,useless=447666), ccks=1567887, wck=1.786, mem=974M524
15.26/6.53	    decisions=6479, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
15.26/6.53	    
15.47/6.72	    num=11, depth=1307..1308, filters=34127, revisions=(589714,useless=557581), ccks=1609670, wck=1.977, mem=974M524
15.47/6.72	    decisions=7843, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
15.47/6.72	    
15.69/6.94	    num=12, depth=1524..1526, filters=40233, revisions=(731815,useless=694160), ccks=1660676, wck=2.201, mem=974M524
15.69/6.94	    decisions=9431, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
15.69/6.94	    
15.93/7.19	    num=13, depth=1630..1631, filters=47146, revisions=(900117,useless=856321), ccks=1723662, wck=2.444, mem=974M524
15.93/7.19	    decisions=11130, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
15.93/7.19	    
16.23/7.47	    num=14, depth=1958..1959, filters=54594, revisions=(1087625,useless=1037166), ccks=1790651, wck=2.727, mem=974M524
16.23/7.47	    decisions=13163, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
16.23/7.47	    
16.55/7.78	    num=15, depth=2176..2178, filters=62797, revisions=(1291119,useless=1233278), ccks=1855328, wck=3.037, mem=974M524
16.55/7.78	    decisions=15423, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
16.55/7.78	    
16.97/8.12	    num=16, depth=2393..2394, filters=71693, revisions=(1517483,useless=1451668), ccks=1934599, wck=3.376, mem=974M524
16.97/8.12	    decisions=17907, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
16.97/8.12	    
17.26/8.48	    num=17, depth=2611..2613, filters=81445, revisions=(1757502,useless=1682871), ccks=2006326, wck=3.739, mem=982M530
17.26/8.48	    decisions=20620, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
17.26/8.48	    
17.66/8.89	    num=18, depth=2938..2940, filters=92113, revisions=(2019280,useless=1934952), ccks=2085807, wck=4.143, mem=982M530
17.66/8.89	    decisions=23670, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
17.66/8.89	    
18.17/9.33	    num=19, depth=3265..3267, filters=103729, revisions=(2300708,useless=2205750), ccks=2167112, wck=4.585, mem=982M530
18.17/9.33	    decisions=27059, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
18.17/9.33	    
18.68/9.81	    num=20, depth=3590..3592, filters=116727, revisions=(2627431,useless=2520713), ccks=2263476, wck=5.07, mem=982M530
18.68/9.81	    decisions=30785, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
18.68/9.81	    
19.18/10.34	    num=21, depth=3915..3918, filters=131309, revisions=(2996896,useless=2877062), ccks=2373065, wck=5.597, mem=982M530
19.18/10.34	    decisions=34851, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
19.18/10.34	    
19.78/10.91	    num=22, depth=4351..4354, filters=147168, revisions=(3397334,useless=3263171), ccks=2493237, wck=6.17, mem=982M530
19.78/10.91	    decisions=39367, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
19.78/10.91	    
20.38/11.54	    num=23, depth=4784..4787, filters=164847, revisions=(3855946,useless=3705951), ccks=2630025, wck=6.795, mem=986M122
20.38/11.54	    decisions=44332, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
20.38/11.54	    
21.08/12.21	    num=24, depth=5220..5224, filters=184014, revisions=(4341535,useless=4174246), ccks=2770288, wck=7.463, mem=986M122
21.08/12.21	    decisions=49752, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
21.08/12.21	    
23.67/13.43	    num=25, depth=5765..5769, filters=204781, revisions=(4860429,useless=4674276), ccks=2918129, wck=8.687, mem=723M25
23.67/13.43	    decisions=55737, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
23.67/13.43	    
24.42/14.18	    num=26, depth=6310..6315, filters=227316, revisions=(5412961,useless=5206208), ccks=3070098, wck=9.437, mem=723M25
24.42/14.18	    decisions=62290, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
24.42/14.18	    
25.25/15.00	    num=27, depth=6964..6965, filters=246785, revisions=(6005159,useless=5780907), ccks=3220512, wck=10.254, mem=723M25
25.25/15.00	    decisions=69518, wrong=1331, backtracks=1, failedAssignments=1330, nogoods=1223
25.25/15.00	    
26.23/15.89	    num=28, depth=7039..7149, filters=290766, revisions=(6663538,useless=6397882), ccks=3432080, wck=11.151, mem=731M18
26.23/15.89	    decisions=77802, wrong=1902, backtracks=430, failedAssignments=1474, nogoods=1258
26.23/15.89	    
28.01/17.26	    num=29, depth=7040..7257, filters=546412, revisions=(7782031,useless=7268819), ccks=4276744, wck=12.517, mem=731M18
28.01/17.26	    decisions=93807, wrong=6307, backtracks=4714, failedAssignments=1632, nogoods=1268
28.01/17.26	    
29.63/18.87	    num=30, depth=7261..7456, filters=825025, revisions=(9374231,useless=8593120), ccks=5517202, wck=14.125, mem=731M18
29.63/18.87	    decisions=114289, wrong=12836, backtracks=11191, failedAssignments=1806, nogoods=1330
29.63/18.87	    
32.27/21.42	    num=31, depth=7264..7543, filters=1584396, revisions=(12036498,useless=10518718), ccks=8274284, wck=16.674, mem=731M18
32.27/21.42	    decisions=152257, wrong=28188, backtracks=26549, failedAssignments=1997, nogoods=1331
32.27/21.42	    
33.07/22.29	    num=32, depth=7656..7666, filters=1608320, revisions=(12677566,useless=11137847), ccks=8419632, wck=17.545, mem=739M13
33.07/22.29	    decisions=160343, wrong=28400, backtracks=26550, failedAssignments=2208, nogoods=1435
33.07/22.29	    
34.38/23.45	    num=33, depth=7621..7695, filters=1661165, revisions=(13664923,useless=12079068), ccks=8757788, wck=18.707, mem=739M13
34.38/23.45	    decisions=173043, wrong=30939, backtracks=29100, failedAssignments=2440, nogoods=1437
34.38/23.45	    
35.99/25.10	    num=34, depth=7860..7980, filters=2013707, revisions=(15100327,useless=13173786), ccks=9913610, wck=20.358, mem=739M13
35.99/25.10	    decisions=195714, wrong=38295, backtracks=36450, failedAssignments=2695, nogoods=1439
35.99/25.10	    
37.58/26.64	    num=35, depth=1576..7841, filters=2378875, revisions=(16478050,useless=14197127), ccks=11088913, wck=21.897, mem=739M13
37.58/26.64	    decisions=216492, wrong=44784, backtracks=42716, failedAssignments=2976, nogoods=1450
37.58/26.64	    
39.18/28.22	    num=36, depth=1029..7843, filters=2764680, revisions=(17895317,useless=15239878), ccks=12323341, wck=23.472, mem=739M13
39.18/28.22	    decisions=237953, wrong=51660, backtracks=49346, failedAssignments=3285, nogoods=1484
39.18/28.22	    
43.88/32.94	    num=37, depth=1163..7954, filters=4760765, revisions=(22801331,useless=18202939), ccks=18433154, wck=28.192, mem=746M977
43.88/32.94	    decisions=317757, wrong=87672, backtracks=85357, failedAssignments=3625, nogoods=1493
43.88/32.94	    
44.78/33.86	    num=38, depth=1492..8068, filters=4802167, revisions=(23494701,useless=18857097), ccks=18629809, wck=29.113, mem=746M977
44.78/33.86	    decisions=326808, wrong=88176, backtracks=85488, failedAssignments=3999, nogoods=1543
44.78/33.86	    
46.78/35.84	    num=39, depth=7850..8130, filters=5353539, revisions=(25399769,useless=20234233), ccks=20502176, wck=31.092, mem=746M977
46.78/35.84	    decisions=354503, wrong=97995, backtracks=94995, failedAssignments=4410, nogoods=1644
46.78/35.84	    
49.10/38.17	    num=40, depth=8181..8395, filters=5844932, revisions=(28164647,useless=22530366), ccks=22868362, wck=33.428, mem=754M941
49.10/38.17	    decisions=390850, wrong=112002, backtracks=109002, failedAssignments=4862, nogoods=1646
49.10/38.17	    
52.19/41.22	    num=41, depth=8371..8593, filters=6921521, revisions=(31171740,useless=24493052), ccks=26190598, wck=36.473, mem=754M941
52.19/41.22	    decisions=440483, wrong=132554, backtracks=129350, failedAssignments=5359, nogoods=1650
52.19/41.22	    
58.20/47.20	    num=42, depth=3866..8694, filters=9564024, revisions=(37719821,useless=28471866), ccks=34328396, wck=42.454, mem=754M941
58.20/47.20	    decisions=549924, wrong=183016, backtracks=179785, failedAssignments=5906, nogoods=1655
58.20/47.20	    
59.33/48.30	    num=43, depth=4110..8618, filters=9695607, revisions=(38620687,useless=29245233), ccks=34794435, wck=43.558, mem=762M939
59.33/48.30	    decisions=562781, wrong=185196, backtracks=181378, failedAssignments=6508, nogoods=1699
59.33/48.30	    
60.93/49.91	    num=44, depth=4223..8620, filters=10097060, revisions=(40172448,useless=30407272), ccks=36112342, wck=45.17, mem=762M939
60.93/49.91	    decisions=585379, wrong=192281, backtracks=187862, failedAssignments=7170, nogoods=1767
60.93/49.91	    
65.63/54.66	    num=45, depth=4553..8728, filters=12208455, revisions=(45378328,useless=33557374), ccks=42584214, wck=49.918, mem=762M939
65.63/54.66	    decisions=670028, wrong=230295, backtracks=225525, failedAssignments=7898, nogoods=1825
65.63/54.66	    
74.04/63.05	    num=46, depth=4884..8729, filters=16318460, revisions=(54930418,useless=39107782), ccks=55098930, wck=58.304, mem=778M902
74.04/63.05	    decisions=827977, wrong=304913, backtracks=300069, failedAssignments=8699, nogoods=1925
74.04/63.05	    
80.73/69.71	    num=47, depth=8513..8841, filters=19509468, revisions=(62517302,useless=43587922), ccks=64861717, wck=64.967, mem=778M902
80.73/69.71	    decisions=952538, wrong=362809, backtracks=357623, failedAssignments=9580, nogoods=1945
80.73/69.71	    
91.34/80.35	    num=48, depth=8680..8950, filters=24960766, revisions=(74978430,useless=50741989), ccks=81432293, wck=75.603, mem=786M867
91.34/80.35	    decisions=1160440, wrong=462404, backtracks=457239, failedAssignments=10550, nogoods=1947
91.34/80.35	    
92.94/81.90	    num=49, depth=8842..9060, filters=25343901, revisions=(76504592,useless=51895466), ccks=82694604, wck=77.153, mem=786M867
92.94/81.90	    decisions=1182759, wrong=469091, backtracks=462911, failedAssignments=11617, nogoods=1987
92.94/81.90	    
106.07/95.02	    num=50, depth=8873..9168, filters=32335237, revisions=(92365776,useless=60948102), ccks=103965288, wck=90.282, mem=794M831
106.07/95.02	    decisions=1444463, wrong=595454, backtracks=589293, failedAssignments=12790, nogoods=1989
106.07/95.02	    
107.07/96.08	    num=51, depth=9062..9174, filters=32434027, revisions=(93309623,useless=61796061), ccks=104365926, wck=91.332, mem=794M831
107.07/96.08	    decisions=1456503, wrong=596898, backtracks=589447, failedAssignments=14081, nogoods=1996
107.07/96.08	    
108.17/97.12	    num=52, depth=9063..9174, filters=32532602, revisions=(94265138,useless=62655892), ccks=104771047, wck=92.381, mem=794M831
108.17/97.12	    decisions=1468530, wrong=598333, backtracks=589463, failedAssignments=15501, nogoods=2023
108.17/97.12	    
110.76/99.79	    num=53, depth=9065..9337, filters=33476462, revisions=(97267750,useless=64752497), ccks=108072020, wck=95.05, mem=802M795
110.76/99.79	    decisions=1513203, wrong=616023, backtracks=605822, failedAssignments=17063, nogoods=2131
110.76/99.79	    
119.96/109.00	    num=54, depth=9172..9485, filters=37713911, revisions=(109347488,useless=72747748), ccks=123137261, wck=104.257, mem=810M759
119.96/109.00	    decisions=1699777, wrong=704684, backtracks=694647, failedAssignments=18781, nogoods=2134
119.96/109.00	    
139.87/128.80	    num=55, depth=9241..9568, filters=48830877, revisions=(134278708,useless=86857501), ccks=156865364, wck=124.061, mem=818M724
139.87/128.80	    decisions=2112489, wrong=906370, backtracks=896374, failedAssignments=20671, nogoods=2137
139.87/128.80	    
140.97/129.95	    num=56, depth=9566..9573, filters=48965165, revisions=(135387262,useless=87835617), ccks=157414858, wck=125.207, mem=826M726
140.97/129.95	    decisions=2126297, wrong=908490, backtracks=896428, failedAssignments=22750, nogoods=2230
140.97/129.95	    
157.57/146.60	    num=57, depth=9570..9890, filters=58461200, revisions=(157453123,useless=100656507), ccks=186618892, wck=141.852, mem=834M690
157.57/146.60	    decisions=2485664, wrong=1083359, backtracks=1070674, failedAssignments=25037, nogoods=2233
157.57/146.60	    
182.98/171.95	    num=58, depth=9560..9887, filters=73436127, revisions=(190718820,useless=119338160), ccks=232134949, wck=167.21, mem=850M619
182.98/171.95	    decisions=3038219, wrong=1354840, backtracks=1342198, failedAssignments=27553, nogoods=2236
182.98/171.95	    
195.69/184.63	    num=59, depth=9767..10098, filters=80574764, revisions=(207621824,useless=129322530), ccks=254550133, wck=179.889, mem=858M583
195.69/184.63	    decisions=3311561, wrong=1486611, backtracks=1472402, failedAssignments=30321, nogoods=2239
195.69/184.63	    
216.29/205.22	    num=60, depth=9891..10216, filters=92604449, revisions=(234591089,useless=144597475), ccks=291069791, wck=200.476, mem=874M511
216.29/205.22	    decisions=3787988, wrong=1719869, backtracks=1705208, failedAssignments=33365, nogoods=2241
216.29/205.22	    
224.69/213.67	    num=61, depth=10003..10386, filters=96513935, revisions=(247287600,useless=153524605), ccks=305088112, wck=208.932, mem=882M475
224.69/213.67	    decisions=3977476, wrong=1809494, backtracks=1793103, failedAssignments=36714, nogoods=2245
224.69/213.67	    
226.10/215.07	    num=62, depth=5910..10445, filters=96747449, revisions=(248863000,useless=154876212), ccks=305975010, wck=210.322, mem=882M475
226.10/215.07	    decisions=3995568, wrong=1813325, backtracks=1793252, failedAssignments=40398, nogoods=2286
226.10/215.07	    
245.90/234.80	    num=63, depth=10223..10766, filters=106878305, revisions=(280003426,useless=176238883), ccks=342601585, wck=230.06, mem=898M404
245.90/234.80	    decisions=4482023, wrong=2051286, backtracks=2031517, failedAssignments=44450, nogoods=2292
245.90/234.80	    
260.81/249.75	    num=64, depth=10493..10726, filters=115864273, revisions=(300037060,useless=187545409), ccks=369662435, wck=245.004, mem=906M368
260.81/249.75	    decisions=4827559, wrong=2218759, backtracks=2197293, failedAssignments=48907, nogoods=2295
260.81/249.75	    
282.23/271.13	    num=65, depth=8460..10675, filters=125739736, revisions=(337340901,useless=215365352), ccks=406840689, wck=266.383, mem=922M297
282.23/271.13	    decisions=5372057, wrong=2485720, backtracks=2463868, failedAssignments=53810, nogoods=2303
282.23/271.13	    
301.73/290.67	    num=66, depth=6918..10819, filters=137628112, revisions=(364008498,useless=230490818), ccks=442871246, wck=285.931, mem=938M225
301.73/290.67	    decisions=5863112, wrong=2725901, backtracks=2702021, failedAssignments=59204, nogoods=2314
301.73/290.67	    
312.33/301.23	    num=67, depth=6962..10661, filters=143665311, revisions=(378024161,useless=238645636), ccks=461209701, wck=296.486, mem=947M291
312.33/301.23	    decisions=6113509, wrong=2845845, backtracks=2819537, failedAssignments=65137, nogoods=2389
312.33/301.23	    
324.33/313.20	    num=68, depth=8833..10701, filters=150134176, revisions=(392735716,useless=247109125), ccks=480607595, wck=308.454, mem=955M255
324.33/313.20	    decisions=6426805, wrong=2997241, backtracks=2966830, failedAssignments=71663, nogoods=2394
324.33/313.20	    
342.04/330.97	    num=69, depth=8058..10858, filters=156869242, revisions=(429384484,useless=277423700), ccks=510879197, wck=326.232, mem=971M183
342.04/330.97	    decisions=6889995, wrong=3223478, backtracks=3193069, failedAssignments=78842, nogoods=2402
342.04/330.97	    
345.04/333.98	    num=70, depth=8368..11025, filters=158008315, revisions=(433789607,useless=280732223), ccks=514907801, wck=329.239, mem=979M191
345.04/333.98	    decisions=6950487, wrong=3248308, backtracks=3210208, failedAssignments=86739, nogoods=2511
345.04/333.98	    
388.07/376.97	    num=71, depth=10896..11196, filters=181892181, revisions=(491771713,useless=315783732), ccks=590028536, wck=372.228, mem=1019M56
388.07/376.97	    decisions=8190853, wrong=3862980, backtracks=3825049, failedAssignments=95426, nogoods=2540
388.07/376.97	    
408.10/396.99	    num=72, depth=4275..11030, filters=190853375, revisions=(516460020,useless=331968506), ccks=617756943, wck=392.242, mem=1034M984
408.10/396.99	    decisions=8842185, wrong=4183155, backtracks=4144660, failedAssignments=104981, nogoods=2552
408.10/396.99	    
427.05/415.28	    num=73, depth=7946..11240, filters=193683102, revisions=(531752304,useless=344568892), ccks=628086634, wck=410.541, mem=1066M841
427.05/415.28	    decisions=9001258, wrong=4257196, backtracks=5267092, failedAssignments=115492, nogoods=2565
427.05/415.28	    
456.06/444.24	    num=74, depth=8164..10918, filters=212347837, revisions=(575089965,useless=369787063), ccks=685424894, wck=439.501, mem=1090M733
456.06/444.24	    decisions=9736133, wrong=4619221, backtracks=5626883, failedAssignments=127054, nogoods=2595
456.06/444.24	    
504.31/492.11	    num=75, depth=8391..11200, filters=230260849, revisions=(644334318,useless=421931258), ccks=752544098, wck=487.368, mem=798M272
504.31/492.11	    decisions=10733532, wrong=5112501, backtracks=7251100, failedAssignments=139772, nogoods=2629
504.31/492.11	    
528.71/516.52	    num=76, depth=8658..10962, filters=231110331, revisions=(659884269,useless=436688397), ccks=756958793, wck=511.781, mem=854M782
528.71/516.52	    decisions=10807401, wrong=5144157, backtracks=9498533, failedAssignments=153762, nogoods=2668
528.71/516.52	    
558.52/546.31	    num=77, depth=4947..10912, filters=231402185, revisions=(677136303,useless=453703351), ccks=759721327, wck=541.571, mem=925M418
558.52/546.31	    decisions=10888010, wrong=5179143, backtracks=12381805, failedAssignments=169151, nogoods=2704
558.52/546.31	    
578.53/566.30	    num=78, depth=4947..10644, filters=237773019, revisions=(696187123,useless=466761434), ccks=779775052, wck=561.56, mem=953M673
578.53/566.30	    decisions=11288586, wrong=5374277, backtracks=13176373, failedAssignments=186079, nogoods=2734
578.53/566.30	    
647.25/635.08	    num=79, depth=5136..10622, filters=267543142, revisions=(780412564,useless=522600684), ccks=878373702, wck=630.339, mem=1024M310
647.25/635.08	    decisions=13021413, wrong=6235574, backtracks=14824306, failedAssignments=204700, nogoods=2772
647.25/635.08	    
800.29/788.10	    num=80, depth=468..10096, filters=359448884, revisions=(983997379,useless=637110657), ccks=1156971442, wck=783.361, mem=1137M328
800.29/788.10	    decisions=16746325, wrong=8093079, backtracks=16682301, failedAssignments=225184, nogoods=2811
800.29/788.10	    
863.61/851.33	    num=81, depth=5645..10097, filters=393516669, revisions=(1074483712,useless=694725809), ccks=1263690189, wck=846.585, mem=1179M710
863.61/851.33	    decisions=18430936, wrong=8930440, backtracks=17519490, failedAssignments=247716, nogoods=2861
863.61/851.33	    
980.63/968.32	    num=82, depth=5221..10202, filters=454484120, revisions=(1232498437,useless=794185116), ccks=1462591364, wck=963.578, mem=1278M601
980.63/968.32	    decisions=21510450, wrong=10465198, backtracks=19055256, failedAssignments=272501, nogoods=2932
980.63/968.32	    
1001.24/988.94	    num=83, depth=4091..10269, filters=461362983, revisions=(1265356430,useless=820655174), ccks=1492171704, wck=984.195, mem=1292M729
1001.24/988.94	    decisions=22107113, wrong=10758448, backtracks=19336432, failedAssignments=299765, nogoods=2982
1001.24/988.94	    
1107.38/1095.05	    num=84, depth=6575..10370, filters=524426330, revisions=(1400899508,useless=895262636), ccks=1679992741, wck=1090.309, mem=1377M493
1107.38/1095.05	    decisions=24902593, wrong=12151064, backtracks=20724617, failedAssignments=329755, nogoods=3032
1107.38/1095.05	    
1122.17/1109.81	    num=85, depth=4345..10428, filters=530893875, revisions=(1428051423,useless=916196044), ccks=1705725759, wck=1105.066, mem=1391M620
1122.17/1109.81	    decisions=25307800, wrong=12348529, backtracks=20890783, failedAssignments=362744, nogoods=3104
1122.17/1109.81	    
1180.29/1167.92	    num=86, depth=10237..10519, filters=562152785, revisions=(1513273304,useless=971481169), ccks=1806467318, wck=1163.178, mem=1434M2
1180.29/1167.92	    decisions=26762693, wrong=13070821, backtracks=21593818, failedAssignments=399032, nogoods=3115
1180.29/1167.92	    
1255.60/1243.20	    num=87, depth=10246..10563, filters=609225688, revisions=(1622642557,useless=1035312451), ccks=1948376543, wck=1238.455, mem=1476M384
1255.60/1243.20	    decisions=28560230, wrong=13964425, backtracks=22460805, failedAssignments=438949, nogoods=3121
1255.60/1243.20	    
1333.26/1320.63	    num=88, depth=10563..10718, filters=655052068, revisions=(1720689469,useless=1089203616), ccks=2083326126, wck=1315.884, mem=848M42
1333.26/1320.63	    decisions=30660282, wrong=15009160, backtracks=23487775, failedAssignments=482858, nogoods=3133
1333.26/1320.63	    
1470.50/1457.82	    num=89, depth=4357..11040, filters=726378102, revisions=(1908332381,useless=1208366402), ccks=2313255634, wck=1453.08, mem=975M443
1470.50/1457.82	    decisions=34310618, wrong=16828975, backtracks=26177173, failedAssignments=531158, nogoods=3152
1470.50/1457.82	    
1925.41/1912.68	    num=90, depth=4590..10621, filters=1026785498, revisions=(2576405932,useless=1584181606), ccks=3233507713, wck=1907.941, mem=1301M22
1925.41/1912.68	    decisions=45546042, wrong=22441573, backtracks=31787488, failedAssignments=584288, nogoods=3223
1925.41/1912.68	    
1936.12/1923.39	    num=91, depth=10612..10893, filters=1029901154, revisions=(2592404130,useless=1597135987), ccks=3246127676, wck=1918.643, mem=1315M178
1936.12/1923.39	    decisions=45680668, wrong=22503575, backtracks=32406564, failedAssignments=642731, nogoods=3268
1936.12/1923.39	    
1985.73/1972.96	    num=92, depth=10426..10822, filters=1056293810, revisions=(2665575242,useless=1644887258), ccks=3332380816, wck=1968.216, mem=1357M645
1985.73/1972.96	    decisions=47016646, wrong=23166335, backtracks=33104738, failedAssignments=707018, nogoods=3344
1985.73/1972.96	    
2014.33/2001.58	    num=93, depth=8921..10614, filters=1070728637, revisions=(2718001360,useless=1683435896), ccks=3385714262, wck=1996.84, mem=1385M956
2014.33/2001.58	    decisions=47758881, wrong=23532194, backtracks=33402621, failedAssignments=777734, nogoods=3440
2014.33/2001.58	    
2179.52/2166.51	    num=94, depth=9265..10986, filters=1077031501, revisions=(2824484755,useless=1784001107), ccks=3417715761, wck=2161.771, mem=1060M366
2179.52/2166.51	    decisions=48306468, wrong=23800669, backtracks=48046542, failedAssignments=855521, nogoods=3470
2179.52/2166.51	    
2243.85/2230.88	    num=95, depth=5402..10858, filters=1079765068, revisions=(2868970411,useless=1825863907), ccks=3431983677, wck=2226.138, mem=1218M279
2243.85/2230.88	    decisions=48516882, wrong=23900588, backtracks=54552146, failedAssignments=941087, nogoods=3581
2243.85/2230.88	    
2408.89/2395.86	    num=96, depth=5217..10806, filters=1085397917, revisions=(2974926894,useless=1926559548), ccks=3459278755, wck=2391.122, mem=1632M798
2408.89/2395.86	    decisions=49061140, wrong=24167453, backtracks=71261041, failedAssignments=1035210, nogoods=3643
2408.89/2395.86	    
2520.02/2506.90	
2520.02/2506.90	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 (15207 MiB free)
  memory of node 1: 16384 MiB (14835 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391036-1568386362/watcher-4391036-1568386362 -o /tmp/evaluation-result-4391036-1568386362/solver-4391036-1568386362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568380475-10474 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391036-1568386362.xml -cm 

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

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


[startup+0.100135 s]*
/proc/loadavg: 2.16 2.13 2.02 4/234 11813
/proc/meminfo: memFree=30748300/32770624 swapFree=66967172/67108860
[pid=11798] ppid=11795 vsize=10659884 memory=28972 CPUtime=0.13 cores=0,2,4,6
/proc/11798/stat : 11798 (java) S 11795 11798 10443 0 -1 1077944320 5689 0 0 0 12 1 0 0 20 0 15 0 414885815 10915721216 7243 33554432000 4194304 4196468 140722702660832 140722702643376 140618179170039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
/proc/11798/statm: 2664971 7243 2908 1 0 2627468 0
[pid=11798/tid=11800] ppid=11795 vsize=10659884 memory=-8197568871503531642 CPUtime=0.09 cores=0,2,4,6
/proc/11798/task/11800/stat : 11800 (java) R 11795 11798 10443 0 -1 4202560 3229 0 0 0 9 0 0 0 20 0 15 0 414885816 10915721216 7309 33554432000 4194304 4196468 140722702660832 140618183399432 140618179191965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11801] ppid=11795 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11801/stat : 11801 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 7309 33554432000 4194304 4196468 140722702660832 140618105244048 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11802] ppid=11795 vsize=10659884 memory=140056477542016 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11802/stat : 11802 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 7309 33554432000 4194304 4196468 140722702660832 140618104191248 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11803] ppid=11795 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11803/stat : 11803 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 7309 33554432000 4194304 4196468 140722702660832 140618103138960 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11804] ppid=11795 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11804/stat : 11804 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 7309 33554432000 4194304 4196468 140722702660832 140617782913552 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11805] ppid=11795 vsize=10659884 memory=140056477542016 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11805/stat : 11805 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885818 10915721216 7309 33554432000 4194304 4196468 140722702660832 140617671117424 140618179181186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11806] ppid=11795 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11806/stat : 11806 (java) S 11795 11798 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414885818 10915721216 7309 33554432000 4194304 4196468 140722702660832 140617670063392 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11807] ppid=11795 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11807/stat : 11807 (java) S 11795 11798 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414885818 10915721216 7309 33554432000 4194304 4196468 140722702660832 140617669011056 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11808] ppid=11795 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11808/stat : 11808 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885821 10915721216 7309 33554432000 4194304 4196468 140722702660832 140617667959376 140618179188635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11809] ppid=11795 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11809/stat : 11809 (java) S 11795 11798 10443 0 -1 1077944384 538 0 0 0 0 0 0 0 20 0 15 0 414885821 10915721216 7309 33554432000 4194304 4196468 140722702660832 140617666906224 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11810] ppid=11795 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11810/stat : 11810 (java) S 11795 11798 10443 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 414885821 10915721216 7309 33554432000 4194304 4196468 140722702660832 140617665853424 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11811] ppid=11795 vsize=10659884 memory=140056477542016 CPUtime=0.02 cores=0,2,4,6
/proc/11798/task/11811/stat : 11811 (java) R 11795 11798 10443 0 -1 4202560 551 0 0 0 2 0 0 0 20 0 15 0 414885821 10915721216 7309 33554432000 4194304 4196468 140722702660832 140617664795512 140618158141013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11812] ppid=11795 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11812/stat : 11812 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885821 10915721216 7309 33554432000 4194304 4196468 140722702660832 140617663748576 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11813] ppid=11795 vsize=10659884 memory=140056477542016 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11813/stat : 11813 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885821 10915721216 7309 33554432000 4194304 4196468 140722702660832 140617662696368 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28972 KiB

[startup+0.211219 s]*
/proc/loadavg: 2.16 2.13 2.02 3/234 11813
/proc/meminfo: memFree=30741548/32770624 swapFree=66967172/67108860
[pid=11798] ppid=11795 vsize=10659884 memory=34636 CPUtime=0.33 cores=0,2,4,6
/proc/11798/stat : 11798 (java) S 11795 11798 10443 0 -1 1077944320 6816 0 0 0 30 3 0 0 20 0 15 0 414885815 10915721216 8659 33554432000 4194304 4196468 140722702660832 140722702643376 140618179170039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
/proc/11798/statm: 2664971 8659 2988 1 0 2627468 0
[pid=11798/tid=11800] ppid=11795 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/11798/task/11800/stat : 11800 (java) R 11795 11798 10443 0 -1 4202560 3892 0 0 0 19 1 0 0 20 0 15 0 414885816 10915721216 8659 33554432000 4194304 4196468 140722702660832 140618183396400 140618179191965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11801] ppid=11795 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11801/stat : 11801 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 8659 33554432000 4194304 4196468 140722702660832 140618105244048 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11802] ppid=11795 vsize=10659884 memory=288370432629253760 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11802/stat : 11802 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 8659 33554432000 4194304 4196468 140722702660832 140618104191248 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11803] ppid=11795 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11803/stat : 11803 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 8659 33554432000 4194304 4196468 140722702660832 140618103138960 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11804] ppid=11795 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11804/stat : 11804 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 8659 33554432000 4194304 4196468 140722702660832 140617782913552 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11805] ppid=11795 vsize=10659884 memory=140056477542016 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11805/stat : 11805 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885818 10915721216 8659 33554432000 4194304 4196468 140722702660832 140617671117424 140618179181186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11806] ppid=11795 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11806/stat : 11806 (java) S 11795 11798 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414885818 10915721216 8659 33554432000 4194304 4196468 140722702660832 140617670063392 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11807] ppid=11795 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11807/stat : 11807 (java) S 11795 11798 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414885818 10915721216 8659 33554432000 4194304 4196468 140722702660832 140617669011056 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11808] ppid=11795 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11808/stat : 11808 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885821 10915721216 8659 33554432000 4194304 4196468 140722702660832 140617667959376 140618179188635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11809] ppid=11795 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11798/task/11809/stat : 11809 (java) S 11795 11798 10443 0 -1 1077944384 748 0 0 0 3 0 0 0 20 0 15 0 414885821 10915721216 8659 33554432000 4194304 4196468 140722702660832 140617666906224 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11810] ppid=11795 vsize=10659884 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11798/task/11810/stat : 11810 (java) S 11795 11798 10443 0 -1 1077944384 166 0 0 0 1 0 0 0 20 0 15 0 414885821 10915721216 8659 33554432000 4194304 4196468 140722702660832 140617665853424 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11811] ppid=11795 vsize=10659884 memory=140056477542016 CPUtime=0.05 cores=0,2,4,6
/proc/11798/task/11811/stat : 11811 (java) S 11795 11798 10443 0 -1 1077944384 651 0 0 0 5 0 0 0 20 0 15 0 414885821 10915721216 8659 33554432000 4194304 4196468 140722702660832 140617664801136 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11812] ppid=11795 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11812/stat : 11812 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885821 10915721216 8659 33554432000 4194304 4196468 140722702660832 140617663748576 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11813] ppid=11795 vsize=10659884 memory=140056477542016 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11813/stat : 11813 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885821 10915721216 8659 33554432000 4194304 4196468 140722702660832 140617662696368 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34636 KiB

[startup+0.310749 s]*
/proc/loadavg: 2.16 2.13 2.02 3/234 11813
/proc/meminfo: memFree=30733128/32770624 swapFree=66967172/67108860
[pid=11798] ppid=11795 vsize=10659884 memory=40068 CPUtime=0.47 cores=0,2,4,6
/proc/11798/stat : 11798 (java) S 11795 11798 10443 0 -1 1077944320 9399 0 0 0 43 4 0 0 20 0 15 0 414885815 10915721216 10017 33554432000 4194304 4196468 140722702660832 140722702643376 140618179170039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
/proc/11798/statm: 2664971 10017 3001 1 0 2627468 0
[pid=11798/tid=11800] ppid=11795 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/11798/task/11800/stat : 11800 (java) S 11795 11798 10443 0 -1 1077944384 6372 0 0 0 28 2 0 0 20 0 15 0 414885816 10915721216 10017 33554432000 4194304 4196468 140722702660832 140618183383456 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11801] ppid=11795 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11801/stat : 11801 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 10017 33554432000 4194304 4196468 140722702660832 140618105244048 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11802] ppid=11795 vsize=10659884 memory=288370432629253760 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11802/stat : 11802 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 10017 33554432000 4194304 4196468 140722702660832 140618104191248 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11803] ppid=11795 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11803/stat : 11803 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 10017 33554432000 4194304 4196468 140722702660832 140618103138960 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11804] ppid=11795 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11804/stat : 11804 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885816 10915721216 10017 33554432000 4194304 4196468 140722702660832 140617782913552 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11805] ppid=11795 vsize=10659884 memory=140056477542016 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11805/stat : 11805 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885818 10915721216 10017 33554432000 4194304 4196468 140722702660832 140617671117424 140618179181186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11806] ppid=11795 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11806/stat : 11806 (java) S 11795 11798 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414885818 10915721216 10017 33554432000 4194304 4196468 140722702660832 140617670063392 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11807] ppid=11795 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11807/stat : 11807 (java) S 11795 11798 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414885818 10915721216 10017 33554432000 4194304 4196468 140722702660832 140617669011056 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11808] ppid=11795 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11808/stat : 11808 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885821 10915721216 10017 33554432000 4194304 4196468 140722702660832 140617667959376 140618179188635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11809] ppid=11795 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/11798/task/11809/stat : 11809 (java) S 11795 11798 10443 0 -1 1077944384 795 0 0 0 5 0 0 0 20 0 15 0 414885821 10915721216 10017 33554432000 4194304 4196468 140722702660832 140617666906224 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11810] ppid=11795 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11798/task/11810/stat : 11810 (java) S 11795 11798 10443 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 15 0 414885821 10915721216 10017 33554432000 4194304 4196468 140722702660832 140617665853424 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11811] ppid=11795 vsize=10659884 memory=140056477542016 CPUtime=0.07 cores=0,2,4,6
/proc/11798/task/11811/stat : 11811 (java) S 11795 11798 10443 0 -1 1077944384 701 0 0 0 7 0 0 0 20 0 15 0 414885821 10915721216 10017 33554432000 4194304 4196468 140722702660832 140617664801136 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11812] ppid=11795 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11812/stat : 11812 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885821 10915721216 10017 33554432000 4194304 4196468 140722702660832 140617663748576 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11813] ppid=11795 vsize=10659884 memory=140056477542016 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11813/stat : 11813 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885821 10915721216 10017 33554432000 4194304 4196468 140722702660832 140617662696368 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40068 KiB

[startup+0.700769 s]
/proc/loadavg: 2.16 2.13 2.02 4/234 11813
/proc/meminfo: memFree=30726032/32770624 swapFree=66967172/67108860
[pid=11798] ppid=11795 vsize=10661932 memory=62212 CPUtime=1.08 cores=0,2,4,6
/proc/11798/stat : 11798 (java) S 11795 11798 10443 0 -1 1077944320 12700 0 0 0 101 7 0 0 20 0 15 0 414885815 10917818368 15553 33554432000 4194304 4196468 140722702660832 140722702643376 140618179170039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
/proc/11798/statm: 2665483 15553 3059 1 0 2627980 0
[pid=11798/tid=11800] ppid=11795 vsize=10661932 memory=1240 CPUtime=0.67 cores=0,2,4,6
/proc/11798/task/11800/stat : 11800 (java) R 11795 11798 10443 0 -1 4202560 8924 0 0 0 63 4 0 0 20 0 15 0 414885816 10917818368 15553 33554432000 4194304 4196468 140722702660832 140618183405760 140618160733595 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11801] ppid=11795 vsize=10661932 memory=3428 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11801/stat : 11801 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885816 10917818368 15553 33554432000 4194304 4196468 140722702660832 140618105244048 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11802] ppid=11795 vsize=10661932 memory=716 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11802/stat : 11802 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885816 10917818368 15553 33554432000 4194304 4196468 140722702660832 140618104191248 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11803] ppid=11795 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11803/stat : 11803 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885816 10917818368 15553 33554432000 4194304 4196468 140722702660832 140618103138960 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11804] ppid=11795 vsize=10661932 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11804/stat : 11804 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885816 10917818368 15553 33554432000 4194304 4196468 140722702660832 140617782913552 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11805] ppid=11795 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11805/stat : 11805 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885818 10917818368 15553 33554432000 4194304 4196468 140722702660832 140617671117424 140618179181186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11806] ppid=11795 vsize=10661932 memory=9328 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11806/stat : 11806 (java) S 11795 11798 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414885818 10917818368 15553 33554432000 4194304 4196468 140722702660832 140617670063392 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11807] ppid=11795 vsize=10661932 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11807/stat : 11807 (java) S 11795 11798 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414885818 10917818368 15553 33554432000 4194304 4196468 140722702660832 140617669011056 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11808] ppid=11795 vsize=10661932 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11808/stat : 11808 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885821 10917818368 15553 33554432000 4194304 4196468 140722702660832 140617667959376 140618179188635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11809] ppid=11795 vsize=10661932 memory=4639098309541126757 CPUtime=0.11 cores=0,2,4,6
/proc/11798/task/11809/stat : 11809 (java) R 11795 11798 10443 0 -1 4202560 1061 0 0 0 11 0 0 0 20 0 15 0 414885821 10917818368 15553 33554432000 4194304 4196468 140722702660832 140617666906224 140618160355944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11810] ppid=11795 vsize=10661932 memory=7955443078088779376 CPUtime=0.07 cores=0,2,4,6
/proc/11798/task/11810/stat : 11810 (java) S 11795 11798 10443 0 -1 1077944384 282 0 0 0 7 0 0 0 20 0 15 0 414885821 10917818368 15553 33554432000 4194304 4196468 140722702660832 140617665853424 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11811] ppid=11795 vsize=10661932 memory=5865188000529146989 CPUtime=0.18 cores=0,2,4,6
/proc/11798/task/11811/stat : 11811 (java) S 11795 11798 10443 0 -1 1077944384 1074 0 0 0 18 0 0 0 20 0 15 0 414885821 10917818368 15553 33554432000 4194304 4196468 140722702660832 140617664801136 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11812] ppid=11795 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11812/stat : 11812 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414885821 10917818368 15553 33554432000 4194304 4196468 140722702660832 140617663748576 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11813] ppid=11795 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11813/stat : 11813 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885821 10917818368 15553 33554432000 4194304 4196468 140722702660832 140617662696368 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62212 KiB

[startup+1.50081 s]
/proc/loadavg: 2.16 2.13 2.02 3/234 11813
/proc/meminfo: memFree=30709756/32770624 swapFree=66967172/67108860
[pid=11798] ppid=11795 vsize=10663980 memory=74912 CPUtime=1.99 cores=0,2,4,6
/proc/11798/stat : 11798 (java) S 11795 11798 10443 0 -1 1077944320 18266 0 0 0 191 8 0 0 20 0 15 0 414885815 10919915520 18728 33554432000 4194304 4196468 140722702660832 140722702643376 140618179170039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
/proc/11798/statm: 2665995 18728 3089 1 0 2628492 0
[pid=11798/tid=11800] ppid=11795 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/11798/task/11800/stat : 11800 (java) R 11795 11798 10443 0 -1 4202560 13166 0 0 0 143 5 0 0 20 0 15 0 414885816 10919915520 18728 33554432000 4194304 4196468 140722702660832 140618183402064 140618163250526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11801] ppid=11795 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11801/stat : 11801 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885816 10919915520 18728 33554432000 4194304 4196468 140722702660832 140618105244048 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11802] ppid=11795 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11802/stat : 11802 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885816 10919915520 18728 33554432000 4194304 4196468 140722702660832 140618104191248 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11803] ppid=11795 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11803/stat : 11803 (java) S 11795 11798 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414885816 10919915520 18728 33554432000 4194304 4196468 140722702660832 140618103138960 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11804] ppid=11795 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11804/stat : 11804 (java) S 11795 11798 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414885816 10919915520 18728 33554432000 4194304 4196468 140722702660832 140617782913552 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11805] ppid=11795 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11805/stat : 11805 (java) S 11795 11798 10443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 414885818 10919915520 18728 33554432000 4194304 4196468 140722702660832 140617671117424 140618179181186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0

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

/proc/11798/task/11804/stat : 11804 (java) S 11795 11798 10443 0 -1 1077944384 2184 0 0 0 70 44 0 0 20 0 16 0 414885816 11006283776 492717 33554432000 4194304 4196468 140722702660832 140617782913552 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11805] ppid=11795 vsize=10748324 memory=1970868 CPUtime=0.09 cores=0,2,4,6
/proc/11798/task/11805/stat : 11805 (java) S 11795 11798 10443 0 -1 1077944384 9777 0 0 0 7 2 0 0 20 0 16 0 414885818 11006283776 492717 33554432000 4194304 4196468 140722702660832 140617671117424 140618179181186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11806] ppid=11795 vsize=10748324 memory=1970868 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11806/stat : 11806 (java) S 11795 11798 10443 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414885818 11006283776 492717 33554432000 4194304 4196468 140722702660832 140617670063456 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11807] ppid=11795 vsize=10748324 memory=1970868 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11807/stat : 11807 (java) S 11795 11798 10443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414885818 11006283776 492717 33554432000 4194304 4196468 140722702660832 140617669011072 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11808] ppid=11795 vsize=10748324 memory=1970868 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11808/stat : 11808 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885821 11006283776 492717 33554432000 4194304 4196468 140722702660832 140617667959376 140618179188635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11809] ppid=11795 vsize=10748324 memory=1970868 CPUtime=3.85 cores=0,2,4,6
/proc/11798/task/11809/stat : 11809 (java) S 11795 11798 10443 0 -1 1077944384 17761 0 0 0 383 2 0 0 20 0 16 0 414885821 11006283776 492717 33554432000 4194304 4196468 140722702660832 140617666906224 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11810] ppid=11795 vsize=10748324 memory=22288 CPUtime=3.96 cores=0,2,4,6
/proc/11798/task/11810/stat : 11810 (java) S 11795 11798 10443 0 -1 1077944384 19242 0 0 0 393 3 0 0 20 0 16 0 414885821 11006283776 492717 33554432000 4194304 4196468 140722702660832 140617665853424 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11811] ppid=11795 vsize=10748324 memory=984 CPUtime=1.2 cores=0,2,4,6
/proc/11798/task/11811/stat : 11811 (java) S 11795 11798 10443 0 -1 1077944384 19313 0 0 0 117 3 0 0 20 0 16 0 414885821 11006283776 492717 33554432000 4194304 4196468 140722702660832 140617664801136 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11812] ppid=11795 vsize=10748324 memory=1970868 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11812/stat : 11812 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885821 11006283776 492717 33554432000 4194304 4196468 140722702660832 140617663748576 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11813] ppid=11795 vsize=10748324 memory=2048 CPUtime=0.75 cores=0,2,4,6
/proc/11798/task/11813/stat : 11813 (java) S 11795 11798 10443 0 -1 1077944384 2838 0 0 0 33 42 0 0 20 0 16 0 414885821 11006283776 492717 33554432000 4194304 4196468 140722702660832 140617662696368 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11814] ppid=11795 vsize=10748324 memory=1240 CPUtime=2438.98 cores=0,2,4,6
/proc/11798/task/11814/stat : 11814 (java) R 11795 11798 10443 0 -1 4202560 35748 0 0 0 243889 9 0 0 20 0 16 0 414886004 11006283776 492717 33554432000 4194304 4196468 140722702660832 140617645731456 140617788264166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
Current children cumulated CPU time: 2455.41 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1970868 KiB

[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/234 12305
/proc/meminfo: memFree=27653380/32770624 swapFree=66967228/67108860
[pid=11798] ppid=11795 vsize=10748324 memory=1989300 CPUtime=2515.42 cores=0,2,4,6
/proc/11798/stat : 11798 (java) S 11795 11798 10443 0 -1 1077944320 134780 0 0 0 251323 219 0 0 20 0 16 0 414885815 11006283776 497325 33554432000 4194304 4196468 140722702660832 140722702643376 140618179170039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
/proc/11798/statm: 2687081 497325 3382 1 0 2647217 0
[pid=11798/tid=11800] ppid=11795 vsize=10748324 memory=716 CPUtime=1.86 cores=0,2,4,6
/proc/11798/task/11800/stat : 11800 (java) S 11795 11798 10443 0 -1 1077944384 15422 0 0 0 180 6 0 0 20 0 16 0 414885816 11006283776 497325 33554432000 4194304 4196468 140722702660832 140618183412912 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11801] ppid=11795 vsize=10748324 memory=1052 CPUtime=1.16 cores=0,2,4,6
/proc/11798/task/11801/stat : 11801 (java) S 11795 11798 10443 0 -1 1077944384 3938 0 0 0 77 39 0 0 20 0 16 0 414885816 11006283776 497325 33554432000 4194304 4196468 140722702660832 140618105244048 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11802] ppid=11795 vsize=10748324 memory=1989300 CPUtime=1.14 cores=0,2,4,6
/proc/11798/task/11802/stat : 11802 (java) S 11795 11798 10443 0 -1 1077944384 2739 0 0 0 72 42 0 0 20 0 16 0 414885816 11006283776 497325 33554432000 4194304 4196468 140722702660832 140618104191248 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11803] ppid=11795 vsize=10748324 memory=1981108 CPUtime=1.14 cores=0,2,4,6
/proc/11798/task/11803/stat : 11803 (java) S 11795 11798 10443 0 -1 1077944384 4109 0 0 0 74 40 0 0 20 0 16 0 414885816 11006283776 497325 33554432000 4194304 4196468 140722702660832 140618103138960 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11804] ppid=11795 vsize=10748324 memory=1985204 CPUtime=1.14 cores=0,2,4,6
/proc/11798/task/11804/stat : 11804 (java) S 11795 11798 10443 0 -1 1077944384 2184 0 0 0 70 44 0 0 20 0 16 0 414885816 11006283776 497325 33554432000 4194304 4196468 140722702660832 140617782913552 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11805] ppid=11795 vsize=10748324 memory=1987252 CPUtime=0.09 cores=0,2,4,6
/proc/11798/task/11805/stat : 11805 (java) S 11795 11798 10443 0 -1 1077944384 9783 0 0 0 7 2 0 0 20 0 16 0 414885818 11006283776 497325 33554432000 4194304 4196468 140722702660832 140617671117424 140618179181186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11806] ppid=11795 vsize=10748324 memory=1987252 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11806/stat : 11806 (java) S 11795 11798 10443 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414885818 11006283776 497325 33554432000 4194304 4196468 140722702660832 140617670063456 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11807] ppid=11795 vsize=10748324 memory=1970868 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11807/stat : 11807 (java) S 11795 11798 10443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414885818 11006283776 497325 33554432000 4194304 4196468 140722702660832 140617669011072 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11808] ppid=11795 vsize=10748324 memory=1979060 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11808/stat : 11808 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885821 11006283776 497325 33554432000 4194304 4196468 140722702660832 140617667959376 140618179188635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11809] ppid=11795 vsize=10748324 memory=1983156 CPUtime=3.85 cores=0,2,4,6
/proc/11798/task/11809/stat : 11809 (java) S 11795 11798 10443 0 -1 1077944384 17770 0 0 0 383 2 0 0 20 0 16 0 414885821 11006283776 497325 33554432000 4194304 4196468 140722702660832 140617666906224 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11810] ppid=11795 vsize=10748324 memory=1989300 CPUtime=3.96 cores=0,2,4,6
/proc/11798/task/11810/stat : 11810 (java) S 11795 11798 10443 0 -1 1077944384 19244 0 0 0 393 3 0 0 20 0 16 0 414885821 11006283776 497325 33554432000 4194304 4196468 140722702660832 140617665853424 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11811] ppid=11795 vsize=10748324 memory=1989300 CPUtime=1.2 cores=0,2,4,6
/proc/11798/task/11811/stat : 11811 (java) S 11795 11798 10443 0 -1 1077944384 19315 0 0 0 117 3 0 0 20 0 16 0 414885821 11006283776 497325 33554432000 4194304 4196468 140722702660832 140617664801136 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11812] ppid=11795 vsize=10748324 memory=984 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11812/stat : 11812 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885821 11006283776 497325 33554432000 4194304 4196468 140722702660832 140617663748576 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11813] ppid=11795 vsize=10748324 memory=2048 CPUtime=0.77 cores=0,2,4,6
/proc/11798/task/11813/stat : 11813 (java) S 11795 11798 10443 0 -1 1077944384 2869 0 0 0 34 43 0 0 20 0 16 0 414885821 11006283776 497325 33554432000 4194304 4196468 140722702660832 140617662696368 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11814] ppid=11795 vsize=10748324 memory=1240 CPUtime=2498.98 cores=0,2,4,6
/proc/11798/task/11814/stat : 11814 (java) R 11795 11798 10443 0 -1 4202560 35988 0 0 0 249889 9 0 0 20 0 16 0 414886004 11006283776 497325 33554432000 4194304 4196468 140722702660832 140617645731456 140617788268236 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
Current children cumulated CPU time: 2515.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1989300 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.9 s]
/proc/loadavg: 2.05 2.03 2.05 3/234 12305
/proc/meminfo: memFree=27651208/32770624 swapFree=66967228/67108860
[pid=11798] ppid=11795 vsize=10748324 memory=1993396 CPUtime=2520.02 cores=0,2,4,6
/proc/11798/stat : 11798 (java) S 11795 11798 10443 0 -1 1077944320 134783 0 0 0 251783 219 0 0 20 0 16 0 414885815 11006283776 498349 33554432000 4194304 4196468 140722702660832 140722702643376 140618179170039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
/proc/11798/statm: 2687081 498349 3382 1 0 2647217 0
[pid=11798/tid=11800] ppid=11795 vsize=10748324 memory=1993396 CPUtime=1.86 cores=0,2,4,6
/proc/11798/task/11800/stat : 11800 (java) S 11795 11798 10443 0 -1 1077944384 15422 0 0 0 180 6 0 0 20 0 16 0 414885816 11006283776 498349 33554432000 4194304 4196468 140722702660832 140618183412912 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11801] ppid=11795 vsize=10748324 memory=1989300 CPUtime=1.16 cores=0,2,4,6
/proc/11798/task/11801/stat : 11801 (java) S 11795 11798 10443 0 -1 1077944384 3938 0 0 0 77 39 0 0 20 0 16 0 414885816 11006283776 498349 33554432000 4194304 4196468 140722702660832 140618105244048 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11802] ppid=11795 vsize=10748324 memory=1991348 CPUtime=1.14 cores=0,2,4,6
/proc/11798/task/11802/stat : 11802 (java) S 11795 11798 10443 0 -1 1077944384 2739 0 0 0 72 42 0 0 20 0 16 0 414885816 11006283776 498349 33554432000 4194304 4196468 140722702660832 140618104191248 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11803] ppid=11795 vsize=10748324 memory=1991348 CPUtime=1.14 cores=0,2,4,6
/proc/11798/task/11803/stat : 11803 (java) S 11795 11798 10443 0 -1 1077944384 4109 0 0 0 74 40 0 0 20 0 16 0 414885816 11006283776 498349 33554432000 4194304 4196468 140722702660832 140618103138960 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11804] ppid=11795 vsize=10748324 memory=1991348 CPUtime=1.14 cores=0,2,4,6
/proc/11798/task/11804/stat : 11804 (java) S 11795 11798 10443 0 -1 1077944384 2184 0 0 0 70 44 0 0 20 0 16 0 414885816 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617782913552 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11805] ppid=11795 vsize=10748324 memory=1987252 CPUtime=0.09 cores=0,2,4,6
/proc/11798/task/11805/stat : 11805 (java) S 11795 11798 10443 0 -1 1077944384 9783 0 0 0 7 2 0 0 20 0 16 0 414885818 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617671117424 140618179181186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11806] ppid=11795 vsize=10748324 memory=1987252 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11806/stat : 11806 (java) S 11795 11798 10443 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414885818 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617670063456 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11807] ppid=11795 vsize=10748324 memory=1985204 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11807/stat : 11807 (java) S 11795 11798 10443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414885818 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617669011072 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11808] ppid=11795 vsize=10748324 memory=1981108 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11808/stat : 11808 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617667959376 140618179188635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11809] ppid=11795 vsize=10748324 memory=1989300 CPUtime=3.85 cores=0,2,4,6
/proc/11798/task/11809/stat : 11809 (java) S 11795 11798 10443 0 -1 1077944384 17770 0 0 0 383 2 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617666906224 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11810] ppid=11795 vsize=10748324 memory=716 CPUtime=3.96 cores=0,2,4,6
/proc/11798/task/11810/stat : 11810 (java) S 11795 11798 10443 0 -1 1077944384 19244 0 0 0 393 3 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617665853424 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11811] ppid=11795 vsize=10748324 memory=1993396 CPUtime=1.2 cores=0,2,4,6
/proc/11798/task/11811/stat : 11811 (java) S 11795 11798 10443 0 -1 1077944384 19315 0 0 0 117 3 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617664801136 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11812] ppid=11795 vsize=10748324 memory=1991348 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11812/stat : 11812 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617663748576 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11813] ppid=11795 vsize=10748324 memory=1970868 CPUtime=0.77 cores=0,2,4,6
/proc/11798/task/11813/stat : 11813 (java) S 11795 11798 10443 0 -1 1077944384 2869 0 0 0 34 43 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617662696368 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11814] ppid=11795 vsize=10748324 memory=1979060 CPUtime=2503.58 cores=0,2,4,6
/proc/11798/task/11814/stat : 11814 (java) R 11795 11798 10443 0 -1 4202560 35991 0 0 0 250349 9 0 0 20 0 16 0 414886004 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617645731456 140617789153761 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1993396 KiB

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

[startup+2506.92 s]
# the end of solver process 11798 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.85 s, system=2.2083 s

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

[startup+2506.9 s]
/proc/loadavg: 2.05 2.03 2.05 3/234 12305
/proc/meminfo: memFree=27651208/32770624 swapFree=66967228/67108860
[pid=11798] ppid=11795 vsize=10748324 memory=1993396 CPUtime=2520.02 cores=0,2,4,6
/proc/11798/stat : 11798 (java) S 11795 11798 10443 0 -1 1077944320 134783 0 0 0 251783 219 0 0 20 0 16 0 414885815 11006283776 498349 33554432000 4194304 4196468 140722702660832 140722702643376 140618179170039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
/proc/11798/statm: 2687081 498349 3382 1 0 2647217 0
[pid=11798/tid=11800] ppid=11795 vsize=10748324 memory=1993396 CPUtime=1.86 cores=0,2,4,6
/proc/11798/task/11800/stat : 11800 (java) S 11795 11798 10443 0 -1 1077944384 15422 0 0 0 180 6 0 0 20 0 16 0 414885816 11006283776 498349 33554432000 4194304 4196468 140722702660832 140618183412912 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11801] ppid=11795 vsize=10748324 memory=1989300 CPUtime=1.16 cores=0,2,4,6
/proc/11798/task/11801/stat : 11801 (java) S 11795 11798 10443 0 -1 1077944384 3938 0 0 0 77 39 0 0 20 0 16 0 414885816 11006283776 498349 33554432000 4194304 4196468 140722702660832 140618105244048 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11802] ppid=11795 vsize=10748324 memory=1991348 CPUtime=1.14 cores=0,2,4,6
/proc/11798/task/11802/stat : 11802 (java) S 11795 11798 10443 0 -1 1077944384 2739 0 0 0 72 42 0 0 20 0 16 0 414885816 11006283776 498349 33554432000 4194304 4196468 140722702660832 140618104191248 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11803] ppid=11795 vsize=10748324 memory=1991348 CPUtime=1.14 cores=0,2,4,6
/proc/11798/task/11803/stat : 11803 (java) S 11795 11798 10443 0 -1 1077944384 4109 0 0 0 74 40 0 0 20 0 16 0 414885816 11006283776 498349 33554432000 4194304 4196468 140722702660832 140618103138960 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11804] ppid=11795 vsize=10748324 memory=1991348 CPUtime=1.14 cores=0,2,4,6
/proc/11798/task/11804/stat : 11804 (java) S 11795 11798 10443 0 -1 1077944384 2184 0 0 0 70 44 0 0 20 0 16 0 414885816 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617782913552 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11805] ppid=11795 vsize=10748324 memory=1987252 CPUtime=0.09 cores=0,2,4,6
/proc/11798/task/11805/stat : 11805 (java) S 11795 11798 10443 0 -1 1077944384 9783 0 0 0 7 2 0 0 20 0 16 0 414885818 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617671117424 140618179181186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11806] ppid=11795 vsize=10748324 memory=1987252 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11806/stat : 11806 (java) S 11795 11798 10443 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414885818 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617670063456 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11807] ppid=11795 vsize=10748324 memory=1985204 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11807/stat : 11807 (java) S 11795 11798 10443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414885818 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617669011072 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11808] ppid=11795 vsize=10748324 memory=1981108 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11808/stat : 11808 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617667959376 140618179188635 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11809] ppid=11795 vsize=10748324 memory=1989300 CPUtime=3.85 cores=0,2,4,6
/proc/11798/task/11809/stat : 11809 (java) S 11795 11798 10443 0 -1 1077944384 17770 0 0 0 383 2 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617666906224 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11810] ppid=11795 vsize=10748324 memory=716 CPUtime=3.96 cores=0,2,4,6
/proc/11798/task/11810/stat : 11810 (java) S 11795 11798 10443 0 -1 1077944384 19244 0 0 0 393 3 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617665853424 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11811] ppid=11795 vsize=10748324 memory=1993396 CPUtime=1.2 cores=0,2,4,6
/proc/11798/task/11811/stat : 11811 (java) S 11795 11798 10443 0 -1 1077944384 19315 0 0 0 117 3 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617664801136 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11812] ppid=11795 vsize=10748324 memory=1991348 CPUtime=0 cores=0,2,4,6
/proc/11798/task/11812/stat : 11812 (java) S 11795 11798 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617663748576 140618179180245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11813] ppid=11795 vsize=10748324 memory=1970868 CPUtime=0.77 cores=0,2,4,6
/proc/11798/task/11813/stat : 11813 (java) S 11795 11798 10443 0 -1 1077944384 2869 0 0 0 34 43 0 0 20 0 16 0 414885821 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617662696368 140618179181186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
[pid=11798/tid=11814] ppid=11795 vsize=10748324 memory=1979060 CPUtime=2503.58 cores=0,2,4,6
/proc/11798/task/11814/stat : 11814 (java) R 11795 11798 10443 0 -1 4202560 35991 0 0 0 250349 9 0 0 20 0 16 0 414886004 11006283776 498349 33554432000 4194304 4196468 140722702660832 140617645731456 140617789153761 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140722702668811 140722702668914 140722702668914 140722702671823 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1993396 KiB

Child status: 143
Real time (s): 2506.92
CPU time (s): 2520.06
CPU user time (s): 2517.85
CPU system time (s): 2.2083
CPU usage (%): 100.524
Max. virtual memory (cumulated for all children) (KiB): 10748388
Max. memory (cumulated for all children) (KiB): 1993396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.85
system time used= 2.2083
maximum resident set size= 2002104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58322
involuntary context switches= 3259


# summary of solver processes directly reported to runsolver:
#   pid: 11798
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2517.85
#   total CPU system time (s): 2.2083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4263 second user time and 23.3866 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-13 16:52:02
IDJOB=4391036
IDBENCH=139629
IDSOLVER=2832
FILE ID=node135/4391036-1568386362
RUNJOBID= node135-1568380475-10474
PBS_JOBID= 21701833
Free space on /tmp= 59120 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_12_14.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391036-1568386362/watcher-4391036-1568386362 -o /tmp/evaluation-result-4391036-1568386362/solver-4391036-1568386362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568380475-10474 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391036-1568386362.xml -cm

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

MD5SUM BENCH= b79ed9a63f5f06b259b31d8f3686f277
RANDOM SEED=530393152

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30763472 kB
MemAvailable:   31653956 kB
Buffers:          137572 kB
Cached:          1019724 kB
SwapCached:        35088 kB
Active:           670472 kB
Inactive:         736660 kB
Active(anon):     222168 kB
Inactive(anon):    59664 kB
Active(file):     448304 kB
Inactive(file):   676996 kB
Unevictable:      110032 kB
Mlocked:          110032 kB
SwapTotal:      67108860 kB
SwapFree:       66967172 kB
Dirty:              8748 kB
Writeback:             0 kB
AnonPages:        334904 kB
Mapped:            48096 kB
Shmem:             23592 kB
Slab:             192688 kB
SReclaimable:     162040 kB
SUnreclaim:        30648 kB
KernelStack:        4096 kB
PageTables:         6368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1172372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    268288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61356 MiB
End job on node135 at 2019-09-13 17:33:50