Trace number 4391009

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.07 2507.13

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_14_1.xml
MD5SUM25e4edec3d9f4a5618481cbfa250deb6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark218
Best CPU time to get the best result obtained on this benchmark20087
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":11,"count":111},{"size":48,"count":111},{"size":111,"count":111}]
Minimum variable degree2
Maximum variable degree114
Distribution of variable degrees[{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}]
Minimum constraint arity2
Maximum constraint arity112
Distribution of constraint arities[{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}]
Number of extensional constraints0
Number of intensional constraints132
Distribution of constraint types[{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

2.39/1.89	
2.39/1.89	AbsCon 2 
2.63/1.91	
3.98/2.33	  Instance
3.98/2.33	    name=instance-4391009-1568386109, framework=COP, bounds=-infty..+infty
3.98/2.33	
3.98/2.33	  Loading variables...
4.66/2.57	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
10.85/4.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
10.85/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
10.85/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
10.85/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
10.85/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
10.85/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
10.85/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
10.85/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
10.85/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
10.85/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
10.85/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
10.85/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
10.85/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
10.85/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
10.85/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
10.85/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
10.85/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
10.85/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
10.85/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
10.85/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
10.85/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
10.85/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
10.85/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.18/4.58	
11.18/4.58	
11.18/4.58	  Domains
11.18/4.58	    nTypes=4, nValues=43512, sizes=[2#12321,11#111,48#111,111#111]
11.18/4.58	  Variables
11.18/4.58	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.18/4.58	  Objectives
11.18/4.58	    way=min, type=SumSimpleLE
11.18/4.58	  Constraints
11.18/4.58	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.18/4.58	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.18/4.58	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.18/4.58	    wck=2.715, cpu=4.096, mem=928M258
11.53/4.61	  Solver SolverBacktrack being built...
11.53/4.61	
11.85/4.71	
11.85/4.71	  Solver
11.85/4.71	    guaranteedGAC=false
11.85/4.71	    wck=2.851, cpu=4.23, mem=960M681
13.61/6.09	
13.61/6.09	  Preprocessing
13.61/6.09	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.61/6.09	    wck=1.375, cpu=5.608, mem=968M763
13.61/6.09	
13.78/6.16	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=1.444, mem=968M763
13.78/6.16	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.78/6.16	    
14.04/6.24	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=1.521, mem=968M763
14.04/6.24	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
14.04/6.24	    
14.35/6.36	    num=2, depth=220..220, filters=4235, revisions=(38962,useless=34766), ccks=1397675, wck=1.645, mem=968M763
14.35/6.36	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
14.35/6.36	    
14.66/6.46	    num=3, depth=329..329, filters=6079, revisions=(54504,useless=48486), ccks=1408602, wck=1.741, mem=968M763
14.66/6.46	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
14.66/6.46	    
14.96/6.55	    num=4, depth=438..438, filters=8138, revisions=(76485,useless=68435), ccks=1419946, wck=1.831, mem=968M763
14.96/6.55	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
14.96/6.55	    
15.26/6.65	    num=5, depth=547..547, filters=10573, revisions=(108679,useless=98259), ccks=1435287, wck=1.932, mem=968M763
15.26/6.65	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
15.26/6.65	    
15.56/6.76	    num=6, depth=656..656, filters=13156, revisions=(143760,useless=130795), ccks=1447759, wck=2.041, mem=968M763
15.56/6.76	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
15.56/6.76	    
15.83/6.88	    num=7, depth=763..763, filters=16531, revisions=(212035,useless=195984), ccks=1475067, wck=2.163, mem=968M763
15.83/6.88	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
15.83/6.88	    
16.09/7.01	    num=8, depth=872..872, filters=20170, revisions=(284862,useless=265448), ccks=1501153, wck=2.296, mem=968M763
16.09/7.01	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
16.09/7.01	    
16.20/7.16	    num=9, depth=980..980, filters=24331, revisions=(376562,useless=353382), ccks=1534034, wck=2.446, mem=968M763
16.20/7.16	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
16.20/7.16	    
16.45/7.32	    num=10, depth=1089..1089, filters=28786, revisions=(474923,useless=447689), ccks=1567596, wck=2.609, mem=968M763
16.45/7.32	    decisions=6478, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
16.45/7.32	    
16.65/7.50	    num=11, depth=1198..1199, filters=33759, revisions=(580500,useless=548704), ccks=1602628, wck=2.782, mem=971M401
16.65/7.50	    decisions=7733, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
16.65/7.50	    
16.86/7.70	    num=12, depth=1416..1417, filters=39360, revisions=(702951,useless=666010), ccks=1645908, wck=2.986, mem=971M401
16.86/7.70	    decisions=9212, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
16.86/7.70	    
17.07/7.94	    num=13, depth=1632..1634, filters=46026, revisions=(861927,useless=819004), ccks=1701697, wck=3.223, mem=971M401
17.07/7.94	    decisions=10914, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
17.07/7.94	    
17.41/8.20	    num=14, depth=1849..1850, filters=53320, revisions=(1043218,useless=993782), ccks=1771265, wck=3.489, mem=971M401
17.41/8.20	    decisions=12838, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
17.41/8.20	    
17.63/8.49	    num=15, depth=2067..2068, filters=61276, revisions=(1239496,useless=1182912), ccks=1834589, wck=3.78, mem=971M401
17.63/8.49	    decisions=14988, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
17.63/8.49	    
18.03/8.81	    num=16, depth=2285..2286, filters=69818, revisions=(1447431,useless=1383110), ccks=1897786, wck=4.097, mem=971M401
18.03/8.81	    decisions=17364, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
18.03/8.81	    
18.35/9.16	    num=17, depth=2503..2504, filters=79050, revisions=(1668910,useless=1596175), ccks=1962655, wck=4.441, mem=971M401
18.35/9.16	    decisions=19968, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
18.35/9.16	    
18.74/9.52	    num=18, depth=2721..2723, filters=89111, revisions=(1904044,useless=1822080), ccks=2029498, wck=4.81, mem=971M401
18.74/9.52	    decisions=22801, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
18.74/9.52	    
19.14/9.93	    num=19, depth=3048..3050, filters=100198, revisions=(2161159,useless=2068976), ccks=2104160, wck=5.218, mem=971M401
19.14/9.93	    decisions=25973, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
19.14/9.93	    
19.55/10.38	    num=20, depth=3375..3377, filters=112233, revisions=(2437924,useless=2334589), ccks=2180646, wck=5.663, mem=979M497
19.55/10.38	    decisions=29484, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
19.55/10.38	    
20.05/10.86	    num=21, depth=3700..3702, filters=125748, revisions=(2760539,useless=2644828), ccks=2272739, wck=6.15, mem=979M497
20.05/10.86	    decisions=33334, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
20.05/10.86	    
20.55/11.39	    num=22, depth=4025..4028, filters=140790, revisions=(3125341,useless=2995950), ccks=2377495, wck=6.678, mem=979M497
20.55/11.39	    decisions=37524, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
20.55/11.39	    
21.15/11.97	    num=23, depth=4461..4464, filters=157242, revisions=(3522226,useless=3377818), ccks=2493642, wck=7.253, mem=979M497
21.15/11.97	    decisions=42166, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
21.15/11.97	    
21.75/12.59	    num=24, depth=4894..4897, filters=175604, revisions=(3976841,useless=3815818), ccks=2626199, wck=7.88, mem=979M497
21.75/12.59	    decisions=47259, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
21.75/12.59	    
22.45/13.26	    num=25, depth=5330..5334, filters=195501, revisions=(4458655,useless=4279509), ccks=2762434, wck=8.548, mem=987M580
22.45/13.26	    decisions=52809, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
22.45/13.26	    
23.16/13.98	    num=26, depth=5875..5879, filters=217117, revisions=(4973996,useless=4775039), ccks=2906330, wck=9.268, mem=987M580
23.16/13.98	    decisions=58926, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
23.16/13.98	    
23.98/14.76	    num=27, depth=6420..6425, filters=240530, revisions=(5523197,useless=5302665), ccks=3054520, wck=10.043, mem=992M862
23.98/14.76	    decisions=65613, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
23.98/14.76	    
24.83/15.59	    num=28, depth=7073..7074, filters=260929, revisions=(6112100,useless=5873043), ccks=3200913, wck=10.876, mem=992M862
24.83/15.59	    decisions=72976, wrong=1475, backtracks=1, failedAssignments=1474, nogoods=1367
24.83/15.59	    
25.83/16.46	    num=29, depth=7040..7180, filters=288304, revisions=(6723358,useless=6458977), ccks=3350365, wck=11.742, mem=992M862
25.83/16.46	    decisions=80688, wrong=1742, backtracks=110, failedAssignments=1632, nogoods=1419
25.83/16.46	    
28.83/17.83	    num=30, depth=7150..7290, filters=316541, revisions=(7344193,useless=7053641), ccks=3503133, wck=13.12, mem=733M137
28.83/17.83	    decisions=88542, wrong=2025, backtracks=219, failedAssignments=1806, nogoods=1488
28.83/17.83	    
29.63/18.67	    num=31, depth=7150..7272, filters=343275, revisions=(7956568,useless=7641288), ccks=3650881, wck=13.958, mem=733M137
29.63/18.67	    decisions=96447, wrong=2344, backtracks=347, failedAssignments=1997, nogoods=1510
29.63/18.67	    
30.73/19.66	    num=32, depth=7246..7380, filters=436813, revisions=(8709244,useless=8304061), ccks=3996473, wck=14.948, mem=733M137
30.73/19.66	    decisions=106833, wrong=3849, backtracks=1653, failedAssignments=2208, nogoods=1603
30.73/19.66	    
31.68/20.54	    num=33, depth=7478..7588, filters=474175, revisions=(9350581,useless=8910188), ccks=4170056, wck=15.823, mem=733M137
31.68/20.54	    decisions=115319, wrong=4306, backtracks=1881, failedAssignments=2440, nogoods=1620
31.68/20.54	    
34.72/23.56	    num=34, depth=7474..7698, filters=1490518, revisions=(12226519,useless=10803343), ccks=7304268, wck=18.845, mem=741M200
34.72/23.56	    decisions=162818, wrong=24215, backtracks=21754, failedAssignments=2695, nogoods=1623
34.72/23.56	    
35.73/24.56	    num=35, depth=335..7788, filters=1559329, revisions=(13114832,useless=11626815), ccks=7680951, wck=19.847, mem=741M200
35.73/24.56	    decisions=174362, wrong=26095, backtracks=23384, failedAssignments=2976, nogoods=1660
35.73/24.56	    
39.77/28.54	    num=36, depth=444..7788, filters=3227874, revisions=(17350384,useless=14239796), ccks=12832886, wck=23.827, mem=741M200
39.77/28.54	    decisions=243656, wrong=56925, backtracks=54201, failedAssignments=3285, nogoods=1670
39.77/28.54	    
40.70/29.41	    num=37, depth=665..7901, filters=3265542, revisions=(17989648,useless=14843187), ccks=13008930, wck=24.691, mem=741M200
40.70/29.41	    decisions=252495, wrong=57417, backtracks=54355, failedAssignments=3625, nogoods=1689
40.70/29.41	    
42.00/30.78	    num=38, depth=667..7907, filters=3571136, revisions=(19227608,useless=15784396), ccks=14005982, wck=26.066, mem=749M295
42.00/30.78	    decisions=271143, wrong=62804, backtracks=59415, failedAssignments=3999, nogoods=1805
42.00/30.78	    
43.70/32.41	    num=39, depth=7796..8029, filters=4018749, revisions=(20790328,useless=16912116), ccks=15443606, wck=27.695, mem=749M295
43.70/32.41	    decisions=295125, wrong=70784, backtracks=67052, failedAssignments=4410, nogoods=1828
43.70/32.41	    
44.50/33.29	    num=40, depth=8015..8151, filters=4063185, revisions=(21468386,useless=17547607), ccks=15645202, wck=28.579, mem=749M295
44.50/33.29	    decisions=304396, wrong=71347, backtracks=67163, failedAssignments=4862, nogoods=1849
44.50/33.29	    
46.50/35.26	    num=41, depth=8017..8289, filters=4640000, revisions=(23531966,useless=19059247), ccks=17682963, wck=30.545, mem=757M391
46.50/35.26	    decisions=334251, wrong=82164, backtracks=77607, failedAssignments=5359, nogoods=1907
46.50/35.26	    
48.10/36.80	    num=42, depth=8149..8412, filters=4935426, revisions=(25195455,useless=20443681), ccks=19204551, wck=32.084, mem=757M391
48.10/36.80	    decisions=356162, wrong=88965, backtracks=83978, failedAssignments=5906, nogoods=1934
48.10/36.80	    
50.21/39.00	    num=43, depth=8106..8254, filters=5454364, revisions=(27461676,useless=22211866), ccks=21011265, wck=34.285, mem=757M391
50.21/39.00	    decisions=391265, wrong=102454, backtracks=97424, failedAssignments=6508, nogoods=1937
50.21/39.00	    
57.82/46.57	    num=44, depth=8125..8669, filters=9260262, revisions=(36497264,useless=27544375), ccks=32714926, wck=41.859, mem=757M391
57.82/46.57	    decisions=540066, wrong=172601, backtracks=167567, failedAssignments=7170, nogoods=1943
57.82/46.57	    
59.62/48.38	    num=45, depth=8092..8642, filters=9805059, revisions=(38310245,useless=28827599), ccks=34453335, wck=43.666, mem=765M455
59.62/48.38	    decisions=568419, wrong=182475, backtracks=176799, failedAssignments=7898, nogoods=2051
59.62/48.38	    
60.92/49.68	    num=46, depth=4446..8643, filters=10066961, revisions=(39574810,useless=29838186), ccks=35368011, wck=44.962, mem=765M455
60.92/49.68	    decisions=586039, wrong=187023, backtracks=180581, failedAssignments=8699, nogoods=2070
60.92/49.68	    
70.72/59.47	    num=47, depth=4770..8754, filters=15146089, revisions=(51426250,useless=36749155), ccks=50964553, wck=54.754, mem=773M518
70.72/59.47	    decisions=782510, wrong=280975, backtracks=274543, failedAssignments=9580, nogoods=2075
70.72/59.47	    
78.83/67.55	    num=48, depth=8633..8863, filters=19335378, revisions=(61363520,useless=42609839), ccks=63889404, wck=62.831, mem=781M581
78.83/67.55	    decisions=945013, wrong=357809, backtracks=351115, failedAssignments=10550, nogoods=2129
78.83/67.55	    
90.44/79.14	    num=49, depth=8601..8864, filters=25584970, revisions=(75858732,useless=51023481), ccks=83101926, wck=74.421, mem=789M645
90.44/79.14	    decisions=1183812, wrong=472903, backtracks=466230, failedAssignments=11617, nogoods=2132
90.44/79.14	    
91.44/80.15	    num=50, depth=8865..8977, filters=25678965, revisions=(76738632,useless=51811945), ccks=83489168, wck=75.436, mem=789M645
91.44/80.15	    decisions=1195569, wrong=474301, backtracks=466456, failedAssignments=12790, nogoods=2235
91.44/80.15	    
93.24/81.92	    num=51, depth=8756..8975, filters=26225864, revisions=(78629610,useless=53170647), ccks=85257152, wck=77.202, mem=789M645
93.24/81.92	    decisions=1224014, wrong=484052, backtracks=474996, failedAssignments=14081, nogoods=2268
93.24/81.92	    
99.94/88.64	    num=52, depth=8854..9084, filters=29724754, revisions=(87085666,useless=58221726), ccks=96088666, wck=83.928, mem=797M709
99.94/88.64	    decisions=1361208, wrong=548175, backtracks=538284, failedAssignments=15501, nogoods=2359
99.94/88.64	    
109.25/97.91	    num=53, depth=8866..9194, filters=34770808, revisions=(98971527,useless=65197269), ccks=111634293, wck=93.196, mem=805M772
109.25/97.91	    decisions=1556260, wrong=641160, backtracks=630616, failedAssignments=17063, nogoods=2412
109.25/97.91	    
112.55/101.24	    num=54, depth=8976..9303, filters=36274003, revisions=(103038679,useless=67801484), ccks=116364287, wck=96.526, mem=813M835
112.55/101.24	    decisions=1620244, wrong=668582, backtracks=656562, failedAssignments=18781, nogoods=2476
112.55/101.24	    
116.09/104.70	    num=55, depth=9371..9620, filters=37270937, revisions=(107607811,useless=71418077), ccks=120112002, wck=99.987, mem=813M835
116.09/104.70	    decisions=1692552, wrong=700020, backtracks=687359, failedAssignments=20671, nogoods=2478
116.09/104.70	    
117.21/105.86	    num=56, depth=9635..9732, filters=37414431, revisions=(108800041,useless=72471259), ccks=120712955, wck=101.145, mem=813M835
117.21/105.86	    decisions=1706665, wrong=702226, backtracks=687490, failedAssignments=22750, nogoods=2481
117.21/105.86	    
138.13/126.73	    num=57, depth=9620..9945, filters=50136724, revisions=(138213311,useless=89510888), ccks=159974556, wck=122.011, mem=829M962
138.13/126.73	    decisions=2194295, wrong=941193, backtracks=926519, failedAssignments=25037, nogoods=2484
138.13/126.73	    
143.73/132.37	    num=58, depth=9766..9990, filters=52870034, revisions=(145409702,useless=94058732), ccks=168593525, wck=127.655, mem=838M26
143.73/132.37	    decisions=2313774, wrong=995968, backtracks=980887, failedAssignments=27553, nogoods=2487
143.73/132.37	    
168.84/157.48	    num=59, depth=9772..10098, filters=68709802, revisions=(181339044,useless=114574763), ccks=217232577, wck=152.764, mem=854M152
168.84/157.48	    decisions=2909639, wrong=1288972, backtracks=1273988, failedAssignments=30321, nogoods=2490
168.84/157.48	    
173.14/161.76	    num=60, depth=9875..10201, filters=70946306, revisions=(187202733,useless=118261732), ccks=224260369, wck=157.045, mem=854M152
173.14/161.76	    decisions=3002433, wrong=1330321, backtracks=1312644, failedAssignments=33365, nogoods=2504
173.14/161.76	    
200.85/189.47	    num=61, depth=9876..10206, filters=88847832, revisions=(227779150,useless=141417427), ccks=279261143, wck=184.757, mem=878M383
200.85/189.47	    decisions=3673634, wrong=1660827, backtracks=1642983, failedAssignments=36714, nogoods=2545
200.85/189.47	    
229.86/218.49	    num=62, depth=10096..10534, filters=108298281, revisions=(272046145,useless=166763943), ccks=339056488, wck=213.778, mem=894M510
229.86/218.49	    decisions=4401538, wrong=2019626, backtracks=2001491, failedAssignments=40398, nogoods=2549
229.86/218.49	    
231.26/219.81	    num=63, depth=10644..10658, filters=108538262, revisions=(273634483,useless=168118141), ccks=340025714, wck=215.097, mem=902M616
231.26/219.81	    decisions=4420394, wrong=2023730, backtracks=2001545, failedAssignments=44450, nogoods=2744
231.26/219.81	    
244.76/233.39	    num=64, depth=10640..10964, filters=117254561, revisions=(294014005,useless=180047292), ccks=366879367, wck=228.678, mem=918M743
244.76/233.39	    decisions=4755567, wrong=2185975, backtracks=2161001, failedAssignments=48907, nogoods=2747
244.76/233.39	    
247.36/235.92	    num=65, depth=10503..10991, filters=117671124, revisions=(295626848,useless=181304816), ccks=367985452, wck=231.205, mem=918M743
247.36/235.92	    decisions=4824836, wrong=2215147, backtracks=2189725, failedAssignments=53810, nogoods=2785
247.36/235.92	    
249.97/238.51	    num=66, depth=7991..10651, filters=118468296, revisions=(299520892,useless=184444539), ccks=371220318, wck=233.796, mem=926M848
249.97/238.51	    decisions=4882105, wrong=2238511, backtracks=2208008, failedAssignments=59204, nogoods=2814
249.97/238.51	    
284.68/273.20	    num=67, depth=8234..10682, filters=140685076, revisions=(349617289,useless=213011438), ccks=439005010, wck=268.49, mem=952M153
284.68/273.20	    decisions=5839877, wrong=2712154, backtracks=2681700, failedAssignments=65137, nogoods=2825
284.68/273.20	    
303.89/292.41	    num=68, depth=6146..10704, filters=151179988, revisions=(377775556,useless=231073738), ccks=472854408, wck=287.691, mem=968M280
303.89/292.41	    decisions=6383966, wrong=2978887, backtracks=2948559, failedAssignments=71663, nogoods=2841
303.89/292.41	    
362.10/350.66	    num=69, depth=6379..10505, filters=190261742, revisions=(469362823,useless=284664922), ccks=594811473, wck=345.948, mem=1008M597
362.10/350.66	    decisions=7877383, wrong=3720450, backtracks=3690413, failedAssignments=78842, nogoods=2852
362.10/350.66	    
374.81/363.36	    num=70, depth=10360..10561, filters=195342249, revisions=(494864538,useless=305341574), ccks=616110518, wck=358.647, mem=1024M724
374.81/363.36	    decisions=8233365, wrong=3893227, backtracks=3863392, failedAssignments=86739, nogoods=2854
374.81/363.36	    
425.47/413.91	    num=71, depth=7114..10811, filters=230892000, revisions=(576524551,useless=352428327), ccks=726376219, wck=409.197, mem=1056M977
425.47/413.91	    decisions=9570939, wrong=4556778, backtracks=4524259, failedAssignments=95426, nogoods=2878
425.47/413.91	    
436.19/424.49	    num=72, depth=10310..11038, filters=234064549, revisions=(588660413,useless=361544579), ccks=737591325, wck=419.772, mem=1073M104
436.19/424.49	    decisions=9744841, wrong=4638388, backtracks=4890389, failedAssignments=104981, nogoods=2885
436.19/424.49	    
470.20/458.47	    num=73, depth=7882..11205, filters=248525402, revisions=(633661161,useless=392773851), ccks=787345373, wck=453.759, mem=1113M453
470.20/458.47	    decisions=10604845, wrong=5062941, backtracks=5794385, failedAssignments=115492, nogoods=2914
470.20/458.47	    
506.65/494.56	    num=74, depth=5175..10748, filters=267133004, revisions=(694391806,useless=435672200), ccks=853193406, wck=489.846, mem=793M144
506.65/494.56	    decisions=11658087, wrong=5584268, backtracks=6312716, failedAssignments=127054, nogoods=2953
506.65/494.56	    
536.36/524.25	    num=75, depth=4950..11026, filters=268496740, revisions=(712487352,useless=452506624), ccks=859417039, wck=519.534, mem=850M721
536.36/524.25	    decisions=11779774, wrong=5639735, backtracks=8459598, failedAssignments=139772, nogoods=2973
536.36/524.25	    
610.08/597.90	    num=76, depth=4845..10743, filters=310174607, revisions=(827308873,useless=527338522), ccks=999321663, wck=593.187, mem=908M297
610.08/597.90	    decisions=13880864, wrong=6684987, backtracks=9505050, failedAssignments=153762, nogoods=3010
610.08/597.90	    
636.30/624.19	    num=77, depth=3316..10879, filters=312914036, revisions=(850462960,useless=547946945), ccks=1011357977, wck=619.473, mem=951M479
636.30/624.19	    decisions=14135034, wrong=6806754, backtracks=11119043, failedAssignments=169151, nogoods=3052
636.30/624.19	    
678.89/666.77	    num=78, depth=3384..10943, filters=315911970, revisions=(879027454,useless=573638041), ccks=1024076220, wck=662.054, mem=1037M844
678.89/666.77	    decisions=14328158, wrong=6897976, backtracks=14257251, failedAssignments=186079, nogoods=3103
678.89/666.77	    
717.11/704.96	    num=79, depth=3250..10954, filters=316100814, revisions=(898711742,useless=593158426), ccks=1027424017, wck=700.245, mem=1124M209
717.11/704.96	    decisions=14387883, wrong=6922506, backtracks=17835097, failedAssignments=204700, nogoods=3149
717.11/704.96	    
760.92/748.71	    num=80, depth=3357..10836, filters=317426116, revisions=(922731539,useless=615908088), ccks=1035132767, wck=743.995, mem=1224M967
760.92/748.71	    decisions=14497931, wrong=6972286, backtracks=21810116, failedAssignments=225184, nogoods=3197
760.92/748.71	    
791.53/779.30	    num=81, depth=3349..10812, filters=325894574, revisions=(952815420,useless=637883012), ccks=1064256850, wck=774.584, mem=1282M586
791.53/779.30	    decisions=14969334, wrong=7202756, backtracks=23497506, failedAssignments=247716, nogoods=3302
791.53/779.30	    
839.93/827.71	    num=82, depth=3511..10778, filters=327269519, revisions=(980815579,useless=664614573), ccks=1073694450, wck=822.999, mem=1383M344
839.93/827.71	    decisions=15145128, wrong=7285386, backtracks=27890778, failedAssignments=272501, nogoods=3346
839.93/827.71	    
956.66/944.40	    num=83, depth=3428..10286, filters=398786369, revisions=(1156465879,useless=771714683), ccks=1304586966, wck=939.688, mem=1469M709
956.66/944.40	    decisions=18122343, wrong=8768968, backtracks=29365898, failedAssignments=299765, nogoods=3384
956.66/944.40	    
1110.03/1097.51	    num=84, depth=3780..10567, filters=485649205, revisions=(1414959541,useless=946141890), ccks=1602022329, wck=1092.796, mem=898M222
1110.03/1097.51	    decisions=21895090, wrong=10650209, backtracks=32050310, failedAssignments=329755, nogoods=3435
1110.03/1097.51	    
1159.34/1146.89	    num=85, depth=4131..10427, filters=506608303, revisions=(1472723052,useless=984057118), ccks=1667625883, wck=1142.176, mem=941M484
1159.34/1146.89	    decisions=23410576, wrong=11402853, backtracks=33180591, failedAssignments=362744, nogoods=3480
1159.34/1146.89	    
1166.74/1154.27	    num=86, depth=4319..10549, filters=508452299, revisions=(1483094390,useless=992647506), ccks=1675322777, wck=1149.56, mem=970M367
1166.74/1154.27	    decisions=23510771, wrong=11447809, backtracks=33563012, failedAssignments=399032, nogoods=3593
1166.74/1154.27	    
1291.27/1278.76	    num=87, depth=4429..10270, filters=576552645, revisions=(1648789394,useless=1092938797), ccks=1887532025, wck=1274.042, mem=1071M311
1291.27/1278.76	    decisions=27134539, wrong=13254660, backtracks=35366308, failedAssignments=438949, nogoods=3634
1291.27/1278.76	    
1423.69/1411.11	    num=88, depth=4760..10183, filters=660520982, revisions=(1840222188,useless=1203029912), ccks=2145880614, wck=1406.395, mem=1172M255
1423.69/1411.11	    decisions=30604272, wrong=14984543, backtracks=37093941, failedAssignments=482858, nogoods=3686
1423.69/1411.11	    
1645.12/1632.50	    num=89, depth=5591..9862, filters=801825586, revisions=(2155555094,useless=1381061513), ccks=2578437779, wck=1627.79, mem=1316M461
1645.12/1632.50	    decisions=35947161, wrong=17651219, backtracks=39737161, failedAssignments=531158, nogoods=3699
1645.12/1632.50	    
1679.53/1666.93	    num=90, depth=9568..9769, filters=819722516, revisions=(2206599225,useless=1414838014), ccks=2637733546, wck=1662.212, mem=1345M302
1679.53/1666.93	    decisions=36873918, wrong=18109796, backtracks=40147092, failedAssignments=584288, nogoods=3773
1679.53/1666.93	    
1829.45/1816.83	    num=91, depth=9462..9753, filters=898705656, revisions=(2405194720,useless=1537321620), ccks=2887036287, wck=1812.115, mem=1460M667
1829.45/1816.83	    decisions=40883538, wrong=20109839, backtracks=42141980, failedAssignments=642731, nogoods=3776
1829.45/1816.83	    
1864.67/1852.10	    num=92, depth=8748..9731, filters=913575075, revisions=(2451823452,useless=1569900424), ccks=2938391464, wck=1847.388, mem=1489M508
1864.67/1852.10	    decisions=41753881, wrong=20540170, backtracks=42543934, failedAssignments=707018, nogoods=3793
1864.67/1852.10	    
1921.82/1909.05	    num=93, depth=6728..9869, filters=947460785, revisions=(2536119898,useless=1621379704), ccks=3044592646, wck=1904.335, mem=831M137
1921.82/1909.05	    decisions=43176488, wrong=21246634, backtracks=43183254, failedAssignments=777734, nogoods=3879
1921.82/1909.05	    
2017.93/2005.18	    num=94, depth=9818..10209, filters=1001045965, revisions=(2655371453,useless=1689284109), ccks=3205244530, wck=2000.461, mem=891M871
2017.93/2005.18	    decisions=45409723, wrong=22358301, backtracks=44231521, failedAssignments=855521, nogoods=3884
2017.93/2005.18	    
2188.97/2176.20	    num=95, depth=8943..10307, filters=1093675807, revisions=(2865779552,useless=1810783498), ccks=3488494223, wck=2171.481, mem=1033M583
2188.97/2176.20	    decisions=50587501, wrong=24942115, backtracks=46789856, failedAssignments=941087, nogoods=3967
2188.97/2176.20	    
2205.46/2192.67	    num=96, depth=6947..10323, filters=1101972295, revisions=(2894231086,useless=1831248430), ccks=3517781506, wck=2187.96, mem=1053M827
2205.46/2192.67	    decisions=51105743, wrong=25196138, backtracks=46952387, failedAssignments=1035210, nogoods=4154
2205.46/2192.67	    
2462.03/2449.12	    num=97, depth=10218..10518, filters=1244255983, revisions=(3209378340,useless=2009697231), ccks=3945495418, wck=2444.407, mem=1276M517
2462.03/2449.12	    decisions=58787941, wrong=29032075, backtracks=50756695, failedAssignments=1138745, nogoods=4180
2462.03/2449.12	    
2520.05/2507.11	
2520.05/2507.11	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391009-1568386109/watcher-4391009-1568386109 -o /tmp/evaluation-result-4391009-1568386109/solver-4391009-1568386109 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30428 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391009-1568386109.xml -cm 

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

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

solver pid=1330, runsolver pid=1327

[startup+0.100059 s]*
/proc/loadavg: 3.44 2.25 1.99 5/228 1345
/proc/meminfo: memFree=31278396/32770624 swapFree=66981468/67108860
[pid=1330] ppid=1327 vsize=10659884 memory=27804 CPUtime=0.12 cores=0,2,4,6
/proc/1330/stat : 1330 (java) S 1327 1330 30397 0 -1 1077944320 5444 0 0 0 11 1 0 0 20 0 15 0 414873564 10915721216 6951 33554432000 4194304 4196468 140725342597776 140725342580320 140666011516663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
/proc/1330/statm: 2664971 6951 2849 1 0 2627468 0
[pid=1330/tid=1332] ppid=1327 vsize=10659884 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/1330/task/1332/stat : 1332 (java) R 1327 1330 30397 0 -1 4202560 3321 0 0 0 8 1 0 0 20 0 15 0 414873564 10915721216 7083 33554432000 4194304 4196468 140725342597776 140666015746248 140666003753790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1333] ppid=1327 vsize=10659884 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1333/stat : 1333 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 7083 33554432000 4194304 4196468 140725342597776 140665953520528 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1334] ppid=1327 vsize=10659884 memory=4050345627369846432 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1334/stat : 1334 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 7083 33554432000 4194304 4196468 140725342597776 140665952467728 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1335] ppid=1327 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1335/stat : 1335 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 7083 33554432000 4194304 4196468 140725342597776 140665951415440 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1336] ppid=1327 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1336/stat : 1336 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 7083 33554432000 4194304 4196468 140725342597776 140665615604752 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1337] ppid=1327 vsize=10659884 memory=140382061704832 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1337/stat : 1337 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873566 10915721216 7083 33554432000 4194304 4196468 140725342597776 140665570654320 140666011527810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1338] ppid=1327 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1338/stat : 1338 (java) S 1327 1330 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414873567 10915721216 7148 33554432000 4194304 4196468 140725342597776 140665569600288 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1339] ppid=1327 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1339/stat : 1339 (java) S 1327 1330 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414873567 10915721216 7148 33554432000 4194304 4196468 140725342597776 140665568547952 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1340] ppid=1327 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1340/stat : 1340 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414873570 10915721216 7148 33554432000 4194304 4196468 140725342597776 140665567496272 140666011535259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1341] ppid=1327 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1330/task/1341/stat : 1341 (java) R 1327 1330 30397 0 -1 1077944384 475 0 0 0 1 0 0 0 20 0 15 0 414873570 10915721216 7148 33554432000 4194304 4196468 140725342597776 140665566444144 140666011527810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1342] ppid=1327 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1342/stat : 1342 (java) R 1327 1330 30397 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 15 0 414873570 10915721216 7148 33554432000 4194304 4196468 140725342597776 140665565377144 140665989384480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1343] ppid=1327 vsize=10659884 memory=140382061704832 CPUtime=0.02 cores=0,2,4,6
/proc/1330/task/1343/stat : 1343 (java) R 1327 1330 30397 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 15 0 414873570 10915721216 7148 33554432000 4194304 4196468 140725342597776 140665564333728 140665990147903 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1344] ppid=1327 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1344/stat : 1344 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414873570 10915721216 7148 33554432000 4194304 4196468 140725342597776 140665563286496 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1345] ppid=1327 vsize=10659884 memory=140382061704832 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1345/stat : 1345 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873570 10915721216 7148 33554432000 4194304 4196468 140725342597776 140665562233264 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27804 KiB

[startup+0.210645 s]*
/proc/loadavg: 3.44 2.25 1.99 4/228 1345
/proc/meminfo: memFree=31267676/32770624 swapFree=66981468/67108860
[pid=1330] ppid=1327 vsize=10659884 memory=37344 CPUtime=0.33 cores=0,2,4,6
/proc/1330/stat : 1330 (java) S 1327 1330 30397 0 -1 1077944320 9108 0 0 0 30 3 0 0 20 0 15 0 414873564 10915721216 9336 33554432000 4194304 4196468 140725342597776 140725342580320 140666011516663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
/proc/1330/statm: 2664971 9336 2988 1 0 2627468 0
[pid=1330/tid=1332] ppid=1327 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/1330/task/1332/stat : 1332 (java) R 1327 1330 30397 0 -1 4202560 6116 0 0 0 18 2 0 0 20 0 15 0 414873564 10915721216 9336 33554432000 4194304 4196468 140725342597776 140666015743024 140665968143588 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1333] ppid=1327 vsize=10659884 memory=4294967638 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1333/stat : 1333 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665953520528 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1334] ppid=1327 vsize=10659884 memory=4050345627369846432 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1334/stat : 1334 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665952467728 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1335] ppid=1327 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1335/stat : 1335 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665951415440 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1336] ppid=1327 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1336/stat : 1336 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665615604752 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1337] ppid=1327 vsize=10659884 memory=140382061704832 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1337/stat : 1337 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873566 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665570654320 140666011527810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1338] ppid=1327 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1338/stat : 1338 (java) S 1327 1330 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414873567 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665569600288 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1339] ppid=1327 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1339/stat : 1339 (java) S 1327 1330 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414873567 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665568547952 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1340] ppid=1327 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1340/stat : 1340 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414873570 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665567496272 140666011535259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1341] ppid=1327 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1330/task/1341/stat : 1341 (java) S 1327 1330 30397 0 -1 1077944384 790 0 0 0 3 0 0 0 20 0 15 0 414873570 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665566444144 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1342] ppid=1327 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1330/task/1342/stat : 1342 (java) S 1327 1330 30397 0 -1 1077944384 145 0 0 0 2 0 0 0 20 0 15 0 414873570 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665565391344 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1343] ppid=1327 vsize=10659884 memory=140382061704832 CPUtime=0.05 cores=0,2,4,6
/proc/1330/task/1343/stat : 1343 (java) S 1327 1330 30397 0 -1 1077944384 697 0 0 0 5 0 0 0 20 0 15 0 414873570 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665564339056 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1344] ppid=1327 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1344/stat : 1344 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414873570 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665563286496 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1345] ppid=1327 vsize=10659884 memory=140382061704832 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1345/stat : 1345 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873570 10915721216 9336 33554432000 4194304 4196468 140725342597776 140665562233264 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37344 KiB

[startup+0.31032 s]*
/proc/loadavg: 3.44 2.25 1.99 4/228 1345
/proc/meminfo: memFree=31265744/32770624 swapFree=66981468/67108860
[pid=1330] ppid=1327 vsize=10659884 memory=39896 CPUtime=0.46 cores=0,2,4,6
/proc/1330/stat : 1330 (java) S 1327 1330 30397 0 -1 1077944320 9290 0 0 0 43 3 0 0 20 0 15 0 414873564 10915721216 9974 33554432000 4194304 4196468 140725342597776 140725342580320 140666011516663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
/proc/1330/statm: 2664971 9974 3002 1 0 2627468 0
[pid=1330/tid=1332] ppid=1327 vsize=10659884 memory=1398720917958146503 CPUtime=0.3 cores=0,2,4,6
/proc/1330/task/1332/stat : 1332 (java) R 1327 1330 30397 0 -1 4202560 6239 0 0 0 28 2 0 0 20 0 15 0 414873564 10915721216 10035 33554432000 4194304 4196468 140725342597776 140666015753136 140666011538589 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1333] ppid=1327 vsize=10659884 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1333/stat : 1333 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665953520528 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1334] ppid=1327 vsize=10659884 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1334/stat : 1334 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665952467728 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1335] ppid=1327 vsize=10659884 memory=3240 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1335/stat : 1335 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665951415440 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1336] ppid=1327 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1336/stat : 1336 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873565 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665615604752 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1337] ppid=1327 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1337/stat : 1337 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873566 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665570654320 140666011527810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1338] ppid=1327 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1338/stat : 1338 (java) S 1327 1330 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414873567 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665569600288 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1339] ppid=1327 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1339/stat : 1339 (java) S 1327 1330 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414873567 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665568547952 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1340] ppid=1327 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1340/stat : 1340 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414873570 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665567496272 140666011535259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1341] ppid=1327 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1330/task/1341/stat : 1341 (java) S 1327 1330 30397 0 -1 1077944384 798 0 0 0 4 0 0 0 20 0 15 0 414873570 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665566444144 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1342] ppid=1327 vsize=10659884 memory=140381945684527 CPUtime=0.03 cores=0,2,4,6
/proc/1330/task/1342/stat : 1342 (java) S 1327 1330 30397 0 -1 1077944384 180 0 0 0 3 0 0 0 20 0 15 0 414873570 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665565391344 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1343] ppid=1327 vsize=10659884 memory=140381945693647 CPUtime=0.07 cores=0,2,4,6
/proc/1330/task/1343/stat : 1343 (java) S 1327 1330 30397 0 -1 1077944384 720 0 0 0 7 0 0 0 20 0 15 0 414873570 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665564339056 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1344] ppid=1327 vsize=10659884 memory=140382061706158 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1344/stat : 1344 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414873570 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665563286496 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1345] ppid=1327 vsize=10659884 memory=140381945691439 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1345/stat : 1345 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873570 10915721216 10035 33554432000 4194304 4196468 140725342597776 140665562233264 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39896 KiB

[startup+0.700845 s]
/proc/loadavg: 3.44 2.25 1.99 3/228 1345
/proc/meminfo: memFree=31255116/32770624 swapFree=66981468/67108860
[pid=1330] ppid=1327 vsize=10661932 memory=63608 CPUtime=1.1 cores=0,2,4,6
/proc/1330/stat : 1330 (java) S 1327 1330 30397 0 -1 1077944320 12935 0 0 0 105 5 0 0 20 0 15 0 414873564 10917818368 15902 33554432000 4194304 4196468 140725342597776 140725342580320 140666011516663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
/proc/1330/statm: 2665483 15902 3073 1 0 2627980 0
[pid=1330/tid=1332] ppid=1327 vsize=10661932 memory=7301550382883553383 CPUtime=0.68 cores=0,2,4,6
/proc/1330/task/1332/stat : 1332 (java) R 1327 1330 30397 0 -1 4202560 8788 0 0 0 64 4 0 0 20 0 15 0 414873564 10917818368 15902 33554432000 4194304 4196468 140725342597776 140666015748688 140666011538589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1333] ppid=1327 vsize=10661932 memory=6081106774133203815 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1333/stat : 1333 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873565 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665953520528 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1334] ppid=1327 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1334/stat : 1334 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873565 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665952467728 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1335] ppid=1327 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1335/stat : 1335 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873565 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665951415440 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1336] ppid=1327 vsize=10661932 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1336/stat : 1336 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873565 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665615604752 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1337] ppid=1327 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1337/stat : 1337 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873566 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665570654320 140666011527810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1338] ppid=1327 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1338/stat : 1338 (java) S 1327 1330 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414873567 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665569600288 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1339] ppid=1327 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1339/stat : 1339 (java) S 1327 1330 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414873567 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665568547952 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1340] ppid=1327 vsize=10661932 memory=-6800859132029471843 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1340/stat : 1340 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414873570 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665567496272 140666011535259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1341] ppid=1327 vsize=10661932 memory=6944656575208382560 CPUtime=0.12 cores=0,2,4,6
/proc/1330/task/1341/stat : 1341 (java) S 1327 1330 30397 0 -1 1077944384 1091 0 0 0 12 0 0 0 20 0 15 0 414873570 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665566444144 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1342] ppid=1327 vsize=10661932 memory=6944652177228980320 CPUtime=0.09 cores=0,2,4,6
/proc/1330/task/1342/stat : 1342 (java) S 1327 1330 30397 0 -1 1077944384 541 0 0 0 9 0 0 0 20 0 15 0 414873570 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665565391344 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1343] ppid=1327 vsize=10661932 memory=6655300316396806240 CPUtime=0.18 cores=0,2,4,6
/proc/1330/task/1343/stat : 1343 (java) S 1327 1330 30397 0 -1 1077944384 1155 0 0 0 18 0 0 0 20 0 15 0 414873570 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665564339056 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1344] ppid=1327 vsize=10661932 memory=-6873162000112450758 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1344/stat : 1344 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414873570 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665563286496 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1345] ppid=1327 vsize=10661932 memory=6944656591801718942 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1345/stat : 1345 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873570 10917818368 15902 33554432000 4194304 4196468 140725342597776 140665562233264 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63608 KiB

[startup+1.5008 s]
/proc/loadavg: 3.44 2.25 1.99 3/228 1345
/proc/meminfo: memFree=31239328/32770624 swapFree=66981468/67108860
[pid=1330] ppid=1327 vsize=10663980 memory=75720 CPUtime=2 cores=0,2,4,6
/proc/1330/stat : 1330 (java) S 1327 1330 30397 0 -1 1077944320 18555 0 0 0 193 7 0 0 20 0 15 0 414873564 10919915520 18930 33554432000 4194304 4196468 140725342597776 140725342580320 140666011516663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
/proc/1330/statm: 2665995 18930 3096 1 0 2628492 0
[pid=1330/tid=1332] ppid=1327 vsize=10663980 memory=33 CPUtime=1.47 cores=0,2,4,6
/proc/1330/task/1332/stat : 1332 (java) R 1327 1330 30397 0 -1 4202560 13027 0 0 0 142 5 0 0 20 0 15 0 414873564 10919915520 18930 33554432000 4194304 4196468 140725342597776 140666015742544 140666011538589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1333] ppid=1327 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1333/stat : 1333 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873565 10919915520 18930 33554432000 4194304 4196468 140725342597776 140665953520528 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1334] ppid=1327 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1334/stat : 1334 (java) S 1327 1330 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414873565 10919915520 18930 33554432000 4194304 4196468 140725342597776 140665952467728 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1335] ppid=1327 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1335/stat : 1335 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873565 10919915520 18930 33554432000 4194304 4196468 140725342597776 140665951415440 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1336] ppid=1327 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1336/stat : 1336 (java) S 1327 1330 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414873565 10919915520 18930 33554432000 4194304 4196468 140725342597776 140665615604752 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1337] ppid=1327 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1337/stat : 1337 (java) S 1327 1330 30397 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414873566 10919915520 18930 33554432000 4194304 4196468 140725342597776 140665570654320 140666011527810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0

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

/proc/1330/task/1336/stat : 1336 (java) S 1327 1330 30397 0 -1 1077944384 2720 0 0 0 72 38 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665615604752 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1337] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0.09 cores=0,2,4,6
/proc/1330/task/1337/stat : 1337 (java) S 1327 1330 30397 0 -1 1077944384 10282 0 0 0 7 2 0 0 20 0 16 0 414873566 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665570654320 140666011527810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1338] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1338/stat : 1338 (java) S 1327 1330 30397 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414873567 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665569600352 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1339] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1339/stat : 1339 (java) S 1327 1330 30397 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414873567 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665568547968 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1340] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1340/stat : 1340 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665567496272 140666011535259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1341] ppid=1327 vsize=10748324 memory=1992112 CPUtime=3.96 cores=0,2,4,6
/proc/1330/task/1341/stat : 1341 (java) S 1327 1330 30397 0 -1 1077944384 16949 0 0 0 394 2 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665566444144 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1342] ppid=1327 vsize=10748324 memory=1992112 CPUtime=4.02 cores=0,2,4,6
/proc/1330/task/1342/stat : 1342 (java) S 1327 1330 30397 0 -1 1077944384 17480 0 0 0 399 3 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665565391344 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1343] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.15 cores=0,2,4,6
/proc/1330/task/1343/stat : 1343 (java) S 1327 1330 30397 0 -1 1077944384 14633 0 0 0 111 4 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665564339056 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1344] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1344/stat : 1344 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665563286496 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1345] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0.77 cores=0,2,4,6
/proc/1330/task/1345/stat : 1345 (java) S 1327 1330 30397 0 -1 1077944384 2368 0 0 0 35 42 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665562233264 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1346] ppid=1327 vsize=10748324 memory=1992112 CPUtime=2438.79 cores=0,2,4,6
/proc/1330/task/1346/stat : 1346 (java) R 1327 1330 30397 0 -1 4202560 42224 0 0 0 243871 8 0 0 20 0 16 0 414873753 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665549388928 140665635539967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
Current children cumulated CPU time: 2455.22 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1992112 KiB

[startup+2502.3 s]
/proc/loadavg: 1.69 1.83 1.85 3/229 1682
/proc/meminfo: memFree=29410776/32770624 swapFree=66981484/67108860
[pid=1330] ppid=1327 vsize=10748324 memory=1992112 CPUtime=2515.23 cores=0,2,4,6
/proc/1330/stat : 1330 (java) S 1327 1330 30397 0 -1 1077944320 135862 0 0 0 251311 212 0 0 20 0 16 0 414873564 11006283776 498028 33554432000 4194304 4196468 140725342597776 140725342580320 140666011516663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
/proc/1330/statm: 2687081 498028 3383 1 0 2647217 0
[pid=1330/tid=1332] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.87 cores=0,2,4,6
/proc/1330/task/1332/stat : 1332 (java) S 1327 1330 30397 0 -1 1077944384 15315 0 0 0 181 6 0 0 20 0 16 0 414873564 11006283776 498028 33554432000 4194304 4196468 140725342597776 140666015759536 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1333] ppid=1327 vsize=10748324 memory=187 CPUtime=1.11 cores=0,2,4,6
/proc/1330/task/1333/stat : 1333 (java) S 1327 1330 30397 0 -1 1077944384 4674 0 0 0 73 38 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665953520528 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1334] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.14 cores=0,2,4,6
/proc/1330/task/1334/stat : 1334 (java) S 1327 1330 30397 0 -1 1077944384 3937 0 0 0 72 42 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665952467728 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1335] ppid=1327 vsize=10748324 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/1330/task/1335/stat : 1335 (java) S 1327 1330 30397 0 -1 1077944384 3303 0 0 0 70 40 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665951415440 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1336] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.1 cores=0,2,4,6
/proc/1330/task/1336/stat : 1336 (java) S 1327 1330 30397 0 -1 1077944384 2720 0 0 0 72 38 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665615604752 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1337] ppid=1327 vsize=10748324 memory=7972 CPUtime=0.09 cores=0,2,4,6
/proc/1330/task/1337/stat : 1337 (java) S 1327 1330 30397 0 -1 1077944384 10289 0 0 0 7 2 0 0 20 0 16 0 414873566 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665570654320 140666011527810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1338] ppid=1327 vsize=10748324 memory=251473 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1338/stat : 1338 (java) S 1327 1330 30397 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414873567 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665569600352 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1339] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1339/stat : 1339 (java) S 1327 1330 30397 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414873567 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665568547968 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1340] ppid=1327 vsize=10748324 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1340/stat : 1340 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665567496272 140666011535259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1341] ppid=1327 vsize=10748324 memory=1992112 CPUtime=3.96 cores=0,2,4,6
/proc/1330/task/1341/stat : 1341 (java) S 1327 1330 30397 0 -1 1077944384 16957 0 0 0 394 2 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665566444144 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1342] ppid=1327 vsize=10748324 memory=19760 CPUtime=4.02 cores=0,2,4,6
/proc/1330/task/1342/stat : 1342 (java) S 1327 1330 30397 0 -1 1077944384 17482 0 0 0 399 3 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665565391344 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1343] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.15 cores=0,2,4,6
/proc/1330/task/1343/stat : 1343 (java) S 1327 1330 30397 0 -1 1077944384 14635 0 0 0 111 4 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665564339056 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1344] ppid=1327 vsize=10748324 memory=4921 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1344/stat : 1344 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665563286496 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1345] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0.79 cores=0,2,4,6
/proc/1330/task/1345/stat : 1345 (java) S 1327 1330 30397 0 -1 1077944384 2399 0 0 0 36 43 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665562233264 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1346] ppid=1327 vsize=10748324 memory=1992112 CPUtime=2498.78 cores=0,2,4,6
/proc/1330/task/1346/stat : 1346 (java) R 1327 1330 30397 0 -1 4202560 42731 0 0 0 249870 8 0 0 20 0 16 0 414873753 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665549388928 140665641516126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
Current children cumulated CPU time: 2515.23 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1992112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.11 s]
/proc/loadavg: 1.72 1.83 1.85 3/229 1684
/proc/meminfo: memFree=29410636/32770624 swapFree=66981484/67108860
[pid=1330] ppid=1327 vsize=10748324 memory=1992112 CPUtime=2520.05 cores=0,2,4,6
/proc/1330/stat : 1330 (java) S 1327 1330 30397 0 -1 1077944320 135867 0 0 0 251792 213 0 0 20 0 16 0 414873564 11006283776 498028 33554432000 4194304 4196468 140725342597776 140725342580320 140666011516663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
/proc/1330/statm: 2687081 498028 3383 1 0 2647217 0
[pid=1330/tid=1332] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.87 cores=0,2,4,6
/proc/1330/task/1332/stat : 1332 (java) S 1327 1330 30397 0 -1 1077944384 15315 0 0 0 181 6 0 0 20 0 16 0 414873564 11006283776 498028 33554432000 4194304 4196468 140725342597776 140666015759536 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1333] ppid=1327 vsize=10748324 memory=187 CPUtime=1.11 cores=0,2,4,6
/proc/1330/task/1333/stat : 1333 (java) S 1327 1330 30397 0 -1 1077944384 4674 0 0 0 73 38 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665953520528 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1334] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.14 cores=0,2,4,6
/proc/1330/task/1334/stat : 1334 (java) S 1327 1330 30397 0 -1 1077944384 3937 0 0 0 72 42 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665952467728 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1335] ppid=1327 vsize=10748324 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/1330/task/1335/stat : 1335 (java) S 1327 1330 30397 0 -1 1077944384 3303 0 0 0 70 40 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665951415440 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1336] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.1 cores=0,2,4,6
/proc/1330/task/1336/stat : 1336 (java) S 1327 1330 30397 0 -1 1077944384 2720 0 0 0 72 38 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665615604752 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1337] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0.09 cores=0,2,4,6
/proc/1330/task/1337/stat : 1337 (java) S 1327 1330 30397 0 -1 1077944384 10289 0 0 0 7 2 0 0 20 0 16 0 414873566 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665570654320 140666011527810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1338] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1338/stat : 1338 (java) S 1327 1330 30397 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414873567 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665569600352 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1339] ppid=1327 vsize=10748324 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1339/stat : 1339 (java) S 1327 1330 30397 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414873567 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665568547968 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1340] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1340/stat : 1340 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665567496272 140666011535259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1341] ppid=1327 vsize=10748324 memory=1992112 CPUtime=3.96 cores=0,2,4,6
/proc/1330/task/1341/stat : 1341 (java) S 1327 1330 30397 0 -1 1077944384 16957 0 0 0 394 2 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665566444144 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1342] ppid=1327 vsize=10748324 memory=1992112 CPUtime=4.02 cores=0,2,4,6
/proc/1330/task/1342/stat : 1342 (java) S 1327 1330 30397 0 -1 1077944384 17482 0 0 0 399 3 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665565391344 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1343] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.15 cores=0,2,4,6
/proc/1330/task/1343/stat : 1343 (java) S 1327 1330 30397 0 -1 1077944384 14635 0 0 0 111 4 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665564339056 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1344] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1344/stat : 1344 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665563286496 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1345] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0.79 cores=0,2,4,6
/proc/1330/task/1345/stat : 1345 (java) S 1327 1330 30397 0 -1 1077944384 2399 0 0 0 36 43 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665562233264 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1346] ppid=1327 vsize=10748324 memory=1992112 CPUtime=2503.59 cores=0,2,4,6
/proc/1330/task/1346/stat : 1346 (java) R 1327 1330 30397 0 -1 4202560 42736 0 0 0 250351 8 0 0 20 0 16 0 414873753 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665549388928 140665641515802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1992112 KiB

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

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

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

[startup+2507.11 s]
/proc/loadavg: 1.72 1.83 1.85 3/229 1684
/proc/meminfo: memFree=29410636/32770624 swapFree=66981484/67108860
[pid=1330] ppid=1327 vsize=10748324 memory=1992112 CPUtime=2520.05 cores=0,2,4,6
/proc/1330/stat : 1330 (java) S 1327 1330 30397 0 -1 1077944320 135867 0 0 0 251792 213 0 0 20 0 16 0 414873564 11006283776 498028 33554432000 4194304 4196468 140725342597776 140725342580320 140666011516663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
/proc/1330/statm: 2687081 498028 3383 1 0 2647217 0
[pid=1330/tid=1332] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.87 cores=0,2,4,6
/proc/1330/task/1332/stat : 1332 (java) S 1327 1330 30397 0 -1 1077944384 15315 0 0 0 181 6 0 0 20 0 16 0 414873564 11006283776 498028 33554432000 4194304 4196468 140725342597776 140666015759536 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1333] ppid=1327 vsize=10748324 memory=187 CPUtime=1.11 cores=0,2,4,6
/proc/1330/task/1333/stat : 1333 (java) S 1327 1330 30397 0 -1 1077944384 4674 0 0 0 73 38 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665953520528 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1334] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.14 cores=0,2,4,6
/proc/1330/task/1334/stat : 1334 (java) S 1327 1330 30397 0 -1 1077944384 3937 0 0 0 72 42 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665952467728 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1335] ppid=1327 vsize=10748324 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/1330/task/1335/stat : 1335 (java) S 1327 1330 30397 0 -1 1077944384 3303 0 0 0 70 40 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665951415440 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1336] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.1 cores=0,2,4,6
/proc/1330/task/1336/stat : 1336 (java) S 1327 1330 30397 0 -1 1077944384 2720 0 0 0 72 38 0 0 20 0 16 0 414873565 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665615604752 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1337] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0.09 cores=0,2,4,6
/proc/1330/task/1337/stat : 1337 (java) S 1327 1330 30397 0 -1 1077944384 10289 0 0 0 7 2 0 0 20 0 16 0 414873566 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665570654320 140666011527810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1338] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1338/stat : 1338 (java) S 1327 1330 30397 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414873567 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665569600352 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1339] ppid=1327 vsize=10748324 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1339/stat : 1339 (java) S 1327 1330 30397 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414873567 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665568547968 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1340] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1340/stat : 1340 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665567496272 140666011535259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1341] ppid=1327 vsize=10748324 memory=1992112 CPUtime=3.96 cores=0,2,4,6
/proc/1330/task/1341/stat : 1341 (java) S 1327 1330 30397 0 -1 1077944384 16957 0 0 0 394 2 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665566444144 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1342] ppid=1327 vsize=10748324 memory=1992112 CPUtime=4.02 cores=0,2,4,6
/proc/1330/task/1342/stat : 1342 (java) S 1327 1330 30397 0 -1 1077944384 17482 0 0 0 399 3 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665565391344 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1343] ppid=1327 vsize=10748324 memory=1992112 CPUtime=1.15 cores=0,2,4,6
/proc/1330/task/1343/stat : 1343 (java) S 1327 1330 30397 0 -1 1077944384 14635 0 0 0 111 4 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665564339056 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1344] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0 cores=0,2,4,6
/proc/1330/task/1344/stat : 1344 (java) S 1327 1330 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665563286496 140666011526869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1345] ppid=1327 vsize=10748324 memory=1992112 CPUtime=0.79 cores=0,2,4,6
/proc/1330/task/1345/stat : 1345 (java) S 1327 1330 30397 0 -1 1077944384 2399 0 0 0 36 43 0 0 20 0 16 0 414873570 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665562233264 140666011527810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
[pid=1330/tid=1346] ppid=1327 vsize=10748324 memory=1992112 CPUtime=2503.59 cores=0,2,4,6
/proc/1330/task/1346/stat : 1346 (java) R 1327 1330 30397 0 -1 4202560 42736 0 0 0 250351 8 0 0 20 0 16 0 414873753 11006283776 498028 33554432000 4194304 4196468 140725342597776 140665549388928 140665641515802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14684160 140725342602251 140725342602354 140725342602354 140725342605263 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1992112 KiB

Child status: 143
Real time (s): 2507.13
CPU time (s): 2520.07
CPU user time (s): 2517.93
CPU system time (s): 2.14012
CPU usage (%): 100.516
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 1992112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.93
system time used= 2.14012
maximum resident set size= 1992676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58252
involuntary context switches= 2504


# summary of solver processes directly reported to runsolver:
#   pid: 1330
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2517.93
#   total CPU system time (s): 2.14012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2668 second user time and 21.0934 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-13 16:47:47
IDJOB=4391009
IDBENCH=139368
IDSOLVER=2832
FILE ID=node121/4391009-1568386109
RUNJOBID= node121-1568380474-30428
PBS_JOBID= 21701842
Free space on /tmp= 61040 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_14_1.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391009-1568386109/watcher-4391009-1568386109 -o /tmp/evaluation-result-4391009-1568386109/solver-4391009-1568386109 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30428 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391009-1568386109.xml -cm

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

MD5SUM BENCH= 25e4edec3d9f4a5618481cbfa250deb6
RANDOM SEED=1516715423

node121.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.75
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.75
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.75
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.75
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:        31294608 kB
MemAvailable:   31644420 kB
Buffers:          150928 kB
Cached:           494592 kB
SwapCached:        19016 kB
Active:           595464 kB
Inactive:         342768 kB
Active(anon):     278992 kB
Inactive(anon):    44212 kB
Active(file):     316472 kB
Inactive(file):   298556 kB
Unevictable:      109496 kB
Mlocked:          109496 kB
SwapTotal:      67108860 kB
SwapFree:       66981468 kB
Dirty:              8312 kB
Writeback:             0 kB
AnonPages:        351076 kB
Mapped:            46984 kB
Shmem:             21900 kB
Slab:             130564 kB
SReclaimable:     101236 kB
SUnreclaim:        29328 kB
KernelStack:        4032 kB
PageTables:         6672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1250904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    284672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61396 MiB
End job on node121 at 2019-09-13 17:29:34