Trace number 4391030

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_9_11.xml
MD5SUMb3f80a69476de872363c069f96d9d14d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark361
Best CPU time to get the best result obtained on this benchmark19756.9
Satisfiable
(Un)Satisfiability was proved
Number of variables12654
Number of constraints466
Number of domains4
Minimum domain size2
Maximum domain size111
Distribution of domain sizes[{"size":2,"count":12321},{"size":15,"count":111},{"size":51,"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.42/1.87	
2.42/1.87	AbsCon 2 
2.42/1.89	
4.04/2.31	  Instance
4.04/2.31	    name=instance-4391030-1568386377, framework=COP, bounds=-infty..+infty
4.04/2.31	
4.04/2.31	  Loading variables...
4.77/2.55	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
10.89/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
10.89/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
10.89/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
10.89/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
10.89/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
10.89/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
10.89/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
10.89/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
10.89/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
10.89/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
10.89/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
10.89/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
10.89/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
10.89/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
10.89/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
10.89/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
10.89/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
10.89/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
10.89/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
11.20/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
11.20/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
11.20/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
11.20/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.55/4.63	
11.55/4.63	
11.55/4.63	  Domains
11.55/4.63	    nTypes=4, nValues=44289, sizes=[2#12321,15#111,51#111,111#111]
11.55/4.63	  Variables
11.55/4.63	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.55/4.63	  Objectives
11.55/4.63	    way=min, type=SumSimpleLE
11.55/4.63	  Constraints
11.55/4.63	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.55/4.63	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.55/4.63	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.55/4.63	    wck=2.785, cpu=4.141, mem=933M108
11.55/4.66	  Solver SolverBacktrack being built...
11.55/4.66	
11.87/4.76	
11.87/4.76	  Solver
11.87/4.76	    guaranteedGAC=false
11.87/4.76	    wck=2.924, cpu=4.279, mem=965M226
17.65/6.99	
17.65/6.99	  Preprocessing
17.65/6.99	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
17.65/6.99	    wck=2.226, cpu=6.509, mem=973M266
17.65/6.99	
17.80/7.07	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=2.299, mem=973M266
17.80/7.07	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
17.80/7.07	    
18.05/7.11	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=2.341, mem=973M266
18.05/7.11	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
18.05/7.11	    
18.05/7.16	    num=2, depth=220..220, filters=4236, revisions=(38962,useless=34765), ccks=1397675, wck=2.395, mem=973M266
18.05/7.16	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
18.05/7.16	    
18.34/7.24	    num=3, depth=329..329, filters=6082, revisions=(54504,useless=48483), ccks=1408602, wck=2.475, mem=973M266
18.34/7.24	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
18.34/7.24	    
18.64/7.34	    num=4, depth=438..438, filters=8144, revisions=(76485,useless=68429), ccks=1419946, wck=2.572, mem=973M266
18.64/7.34	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
18.64/7.34	    
18.95/7.44	    num=5, depth=547..547, filters=10583, revisions=(108679,useless=98249), ccks=1435287, wck=2.675, mem=973M266
18.95/7.44	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
18.95/7.44	    
19.17/7.55	    num=6, depth=656..656, filters=13171, revisions=(143760,useless=130780), ccks=1447759, wck=2.782, mem=973M266
19.17/7.55	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
19.17/7.55	    
19.30/7.68	    num=7, depth=763..763, filters=16554, revisions=(212035,useless=195961), ccks=1475067, wck=2.911, mem=973M266
19.30/7.68	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
19.30/7.68	    
19.52/7.82	    num=8, depth=872..872, filters=20202, revisions=(284862,useless=265416), ccks=1501153, wck=3.053, mem=973M266
19.52/7.82	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
19.52/7.82	    
19.62/7.98	    num=9, depth=980..980, filters=24374, revisions=(376562,useless=353339), ccks=1534034, wck=3.214, mem=973M266
19.62/7.98	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
19.62/7.98	    
19.88/8.16	    num=10, depth=1089..1089, filters=28841, revisions=(474923,useless=447634), ccks=1567596, wck=3.389, mem=973M266
19.88/8.16	    decisions=6478, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
19.88/8.16	    
20.09/8.34	    num=11, depth=1198..1198, filters=33685, revisions=(580167,useless=548442), ccks=1602109, wck=3.574, mem=977M303
20.09/8.34	    decisions=7732, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
20.09/8.34	    
20.31/8.54	    num=12, depth=1307..1307, filters=38959, revisions=(695735,useless=659182), ccks=1640500, wck=3.775, mem=977M303
20.31/8.54	    decisions=9101, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
20.31/8.54	    
20.52/8.76	    num=13, depth=1416..1416, filters=44598, revisions=(818519,useless=776783), ccks=1680040, wck=3.992, mem=977M303
20.52/8.76	    decisions=10585, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
20.52/8.76	    
20.73/8.99	    num=14, depth=1524..1526, filters=51076, revisions=(964838,useless=917240), ccks=1730506, wck=4.228, mem=977M303
20.73/8.99	    decisions=12185, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
20.73/8.99	    
21.02/9.25	    num=15, depth=1630..1631, filters=58455, revisions=(1134694,useless=1080496), ccks=1792643, wck=4.482, mem=977M303
21.02/9.25	    decisions=13898, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
21.02/9.25	    
21.35/9.54	    num=16, depth=1848..1849, filters=66604, revisions=(1329973,useless=1268528), ccks=1872446, wck=4.77, mem=977M303
21.35/9.54	    decisions=15837, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
21.35/9.54	    
21.66/9.85	    num=17, depth=2066..2068, filters=75643, revisions=(1542903,useless=1473371), ccks=1945437, wck=5.086, mem=977M303
21.66/9.85	    decisions=18005, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
21.66/9.85	    
22.07/10.20	    num=18, depth=2283..2284, filters=85476, revisions=(1777482,useless=1699158), ccks=2030880, wck=5.432, mem=977M303
22.07/10.20	    decisions=20399, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
22.07/10.20	    
22.37/10.57	    num=19, depth=2501..2502, filters=96090, revisions=(2025827,useless=1937944), ccks=2110140, wck=5.805, mem=977M303
22.37/10.57	    decisions=23023, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
22.37/10.57	    
22.78/10.97	    num=20, depth=2719..2720, filters=107449, revisions=(2287938,useless=2189765), ccks=2191284, wck=6.204, mem=977M303
22.78/10.97	    decisions=25877, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
22.78/10.97	    
23.28/11.40	    num=21, depth=2937..2939, filters=119885, revisions=(2572140,useless=2462688), ccks=2281488, wck=6.635, mem=985M354
23.28/11.40	    decisions=28964, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
23.28/11.40	    
23.68/11.88	    num=22, depth=3262..3264, filters=133821, revisions=(2897974,useless=2775961), ccks=2386962, wck=7.11, mem=985M354
23.68/11.88	    decisions=32390, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
23.68/11.88	    
24.18/12.39	    num=23, depth=3588..3590, filters=149044, revisions=(3251452,useless=3115679), ccks=2497047, wck=7.624, mem=985M354
24.18/12.39	    decisions=36158, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
24.18/12.39	    
24.78/12.95	    num=24, depth=3914..3916, filters=165720, revisions=(3640677,useless=3489851), ccks=2618716, wck=8.181, mem=985M354
24.78/12.95	    decisions=40270, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
24.78/12.95	    
25.38/13.54	    num=25, depth=4241..4243, filters=183661, revisions=(4055879,useless=3888803), ccks=2747553, wck=8.776, mem=985M354
25.38/13.54	    decisions=44729, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
25.38/13.54	    
25.99/14.18	    num=26, depth=4565..4568, filters=203745, revisions=(4520929,useless=4335751), ccks=2892109, wck=9.413, mem=989M403
25.99/14.18	    decisions=49535, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
25.99/14.18	    
26.68/14.86	    num=27, depth=5001..5004, filters=225451, revisions=(5013511,useless=4808637), ccks=3043544, wck=10.095, mem=989M403
26.68/14.86	    decisions=54801, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
26.68/14.86	    
29.13/16.10	    num=28, depth=5437..5440, filters=248713, revisions=(5533847,useless=5307750), ccks=3198985, wck=11.334, mem=727M327
29.13/16.10	    decisions=60529, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
29.13/16.10	    
30.17/16.87	    num=29, depth=5873..5877, filters=274006, revisions=(6082270,useless=5832950), ccks=3359522, wck=12.101, mem=727M327
30.17/16.87	    decisions=66722, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
30.17/16.87	    
30.97/17.69	    num=30, depth=6418..6422, filters=301343, revisions=(6665330,useless=6390779), ccks=3528085, wck=12.929, mem=735M363
30.97/17.69	    decisions=73492, wrong=1806, backtracks=0, failedAssignments=1806, nogoods=1806
30.97/17.69	    
31.87/18.56	    num=31, depth=6963..6965, filters=326897, revisions=(7283250,useless=6985289), ccks=3694498, wck=13.798, mem=735M363
31.87/18.56	    decisions=80840, wrong=1998, backtracks=1, failedAssignments=1997, nogoods=1890
31.87/18.56	    
33.76/20.15	    num=32, depth=7039..7290, filters=690286, revisions=(8618415,useless=7967174), ccks=4853597, wck=15.38, mem=735M363
33.76/20.15	    decisions=100228, wrong=8048, backtracks=5893, failedAssignments=2208, nogoods=1942
33.76/20.15	    
34.70/21.06	    num=33, depth=7261..7370, filters=721504, revisions=(9299496,useless=8619667), ccks=5041170, wck=16.294, mem=743M374
34.70/21.06	    decisions=108485, wrong=8495, backtracks=6109, failedAssignments=2440, nogoods=1968
34.70/21.06	    
38.53/24.87	    num=34, depth=7146..7367, filters=2324812, revisions=(13161613,useless=10917301), ccks=9855241, wck=20.107, mem=743M374
38.53/24.87	    decisions=171032, wrong=36193, backtracks=33807, failedAssignments=2695, nogoods=1970
38.53/24.87	    
39.46/25.76	    num=35, depth=7600..7602, filters=2354337, revisions=(13824887,useless=11553198), ccks=10025825, wck=20.996, mem=743M374
39.46/25.76	    decisions=179198, wrong=36476, backtracks=33809, failedAssignments=2976, nogoods=2038
39.46/25.76	    
41.58/27.83	    num=36, depth=7355..7574, filters=3026635, revisions=(15810382,useless=12883482), ccks=12089533, wck=23.062, mem=743M374
41.58/27.83	    decisions=209683, wrong=47933, backtracks=45058, failedAssignments=3285, nogoods=2138
41.58/27.83	    
45.80/32.03	    num=37, depth=7356..7682, filters=4838738, revisions=(20124865,useless=15430935), ccks=17508961, wck=27.267, mem=751M385
45.80/32.03	    decisions=281961, wrong=80308, backtracks=77461, failedAssignments=3625, nogoods=2141
45.80/32.03	    
46.72/32.97	    num=38, depth=7684..7820, filters=4886367, revisions=(20846200,useless=16107156), ccks=17736136, wck=28.201, mem=751M385
46.72/32.97	    decisions=290953, wrong=80896, backtracks=77676, failedAssignments=3999, nogoods=2194
46.72/32.97	    
47.72/33.90	    num=39, depth=7685..7799, filters=4930179, revisions=(21584928,useless=16804708), ccks=17956005, wck=29.136, mem=751M385
47.72/33.90	    decisions=299793, wrong=81418, backtracks=77789, failedAssignments=4410, nogoods=2282
47.72/33.90	    
51.13/37.32	    num=40, depth=7892..8118, filters=5963907, revisions=(25746474,useless=19980021), ccks=22968924, wck=32.549, mem=751M385
51.13/37.32	    decisions=354937, wrong=105015, backtracks=101456, failedAssignments=4862, nogoods=2284
51.13/37.32	    
54.53/40.77	    num=41, depth=7837..8057, filters=7282923, revisions=(29103334,useless=22056743), ccks=26887106, wck=35.999, mem=751M385
54.53/40.77	    decisions=408746, wrong=127973, backtracks=124172, failedAssignments=5359, nogoods=2287
54.53/40.77	    
60.26/46.44	    num=42, depth=7946..8271, filters=9947272, revisions=(35323852,useless=25680261), ccks=34880837, wck=41.678, mem=759M396
60.26/46.44	    decisions=511609, wrong=175353, backtracks=171424, failedAssignments=5906, nogoods=2291
60.26/46.44	    
62.56/48.73	    num=43, depth=2937..8218, filters=10772745, revisions=(37667968,useless=27219287), ccks=37412355, wck=43.965, mem=759M396
62.56/48.73	    decisions=548010, wrong=189448, backtracks=185041, failedAssignments=6508, nogoods=2342
62.56/48.73	    
64.59/50.77	    num=44, depth=8002..8225, filters=11438696, revisions=(39752067,useless=28654878), ccks=39493681, wck=46.006, mem=759M396
64.59/50.77	    decisions=578956, wrong=200812, backtracks=195844, failedAssignments=7170, nogoods=2367
64.59/50.77	    
73.29/59.46	    num=45, depth=8214..8440, filters=15976942, revisions=(49943995,useless=34453927), ccks=54186379, wck=54.691, mem=759M396
73.29/59.46	    decisions=743032, wrong=278714, backtracks=273745, failedAssignments=7898, nogoods=2369
73.29/59.46	    
74.59/60.74	    num=46, depth=8439..8604, filters=16142394, revisions=(51252244,useless=35603583), ccks=54917403, wck=55.974, mem=767M441
74.59/60.74	    decisions=759480, wrong=282692, backtracks=276977, failedAssignments=8699, nogoods=2474
74.59/60.74	    
76.90/63.03	    num=47, depth=8383..8710, filters=16870275, revisions=(53720286,useless=37365539), ccks=57285600, wck=58.266, mem=767M441
76.90/63.03	    decisions=798057, wrong=297644, backtracks=291173, failedAssignments=9580, nogoods=2478
76.90/63.03	    
78.10/64.26	    num=48, depth=8714..8925, filters=17020497, revisions=(54910013,useless=38410896), ccks=57943100, wck=59.492, mem=767M441
78.10/64.26	    decisions=813143, wrong=300729, backtracks=293332, failedAssignments=10550, nogoods=2543
78.10/64.26	    
83.29/69.40	    num=49, depth=8713..9036, filters=19179922, revisions=(61722999,useless=43137144), ccks=65499632, wck=64.639, mem=775M488
83.29/69.40	    decisions=913538, wrong=346446, backtracks=338781, failedAssignments=11617, nogoods=2589
83.29/69.40	    
94.91/81.09	    num=50, depth=3016..9038, filters=25834648, revisions=(76073435,useless=50992381), ccks=85251083, wck=76.32, mem=775M488
94.91/81.09	    decisions=1158880, wrong=464665, backtracks=457043, failedAssignments=12790, nogoods=2594
94.91/81.09	    
107.10/93.25	    num=51, depth=3235..9257, filters=32956428, revisions=(91446518,useless=59412394), ccks=106434356, wck=88.48, mem=775M488
107.10/93.25	    decisions=1418043, wrong=589635, backtracks=581903, failedAssignments=14081, nogoods=2614
107.10/93.25	    
116.60/102.72	    num=52, depth=8931..9258, filters=38424282, revisions=(103419216,useless=66045604), ccks=122721674, wck=97.95, mem=783M499
116.60/102.72	    decisions=1617676, wrong=684865, backtracks=676614, failedAssignments=15501, nogoods=2629
116.60/102.72	    
132.40/118.58	    num=53, depth=9042..9369, filters=48125675, revisions=(124107291,useless=77260101), ccks=151570870, wck=113.816, mem=783M499
132.40/118.58	    decisions=1965149, wrong=854025, backtracks=845803, failedAssignments=17063, nogoods=2632
132.40/118.58	    
133.60/119.72	    num=54, depth=9370..9483, filters=48253569, revisions=(125170882,useless=78199218), ccks=152084495, wck=114.949, mem=791M547
133.60/119.72	    decisions=1978509, wrong=855973, backtracks=846034, failedAssignments=18781, nogoods=2739
133.60/119.72	    
135.80/121.94	    num=55, depth=9261..9483, filters=49097807, revisions=(127717861,useless=79922010), ccks=154720811, wck=117.172, mem=791M547
135.80/121.94	    decisions=2016755, wrong=870370, backtracks=858656, failedAssignments=20671, nogoods=2802
135.80/121.94	    
137.81/123.98	    num=56, depth=9372..9591, filters=49803742, revisions=(130221045,useless=81738147), ccks=157065676, wck=119.219, mem=799M596
137.81/123.98	    decisions=2050394, wrong=882459, backtracks=868745, failedAssignments=22750, nogoods=2857
137.81/123.98	    
159.72/145.87	    num=57, depth=9468..9805, filters=63935664, revisions=(160133803,useless=97851572), ccks=199094953, wck=141.105, mem=799M596
159.72/145.87	    decisions=2554749, wrong=1129844, backtracks=1116174, failedAssignments=25037, nogoods=2860
159.72/145.87	    
165.52/151.68	    num=58, depth=9691..9920, filters=66932454, revisions=(167611687,useless=102414067), ccks=208282027, wck=146.91, mem=807M607
165.52/151.68	    decisions=2683665, wrong=1189428, backtracks=1174580, failedAssignments=27553, nogoods=2862
165.52/151.68	    
173.42/159.52	    num=59, depth=9811..10115, filters=70546360, revisions=(180230210,useless=111535041), ccks=221133503, wck=154.75, mem=807M607
173.42/159.52	    decisions=2866431, wrong=1275806, backtracks=1259944, failedAssignments=30321, nogoods=2889
173.42/159.52	    
194.83/180.96	    num=60, depth=9729..10055, filters=84787932, revisions=(210360748,useless=127763317), ccks=263436782, wck=176.198, mem=815M618
194.83/180.96	    decisions=3382477, wrong=1528842, backtracks=1512547, failedAssignments=33365, nogoods=2902
194.83/180.96	    
210.23/196.34	    num=61, depth=9948..10359, filters=94155926, revisions=(233802162,useless=142093770), ccks=294485453, wck=191.574, mem=823M629
210.23/196.34	    decisions=3756500, wrong=1710763, backtracks=1693960, failedAssignments=36714, nogoods=2906
210.23/196.34	    
211.63/197.73	    num=62, depth=10383..10497, filters=94386606, revisions=(235388660,useless=143458016), ccks=295388332, wck=192.959, mem=823M629
211.63/197.73	    decisions=3774636, wrong=1714595, backtracks=1694110, failedAssignments=40398, nogoods=2910
211.63/197.73	    
244.83/230.91	    num=63, depth=10384..10711, filters=118412675, revisions=(286642751,useless=171256789), ccks=367214028, wck=226.147, mem=831M640
244.83/230.91	    decisions=4637670, wrong=2140881, backtracks=2120538, failedAssignments=44450, nogoods=2913
244.83/230.91	    
246.53/232.63	    num=64, depth=10578..10801, filters=118979686, revisions=(288914222,useless=172973692), ccks=369157024, wck=227.867, mem=831M640
246.53/232.63	    decisions=4667310, wrong=2150357, backtracks=2125601, failedAssignments=48907, nogoods=2940
246.53/232.63	    
266.24/252.31	    num=65, depth=10688..11000, filters=131055297, revisions=(321580380,useless=193940482), ccks=411124561, wck=247.548, mem=839M651
266.24/252.31	    decisions=5202252, wrong=2412456, backtracks=2388238, failedAssignments=53810, nogoods=2943
266.24/252.31	    
278.81/264.64	    num=66, depth=10848..11281, filters=137430141, revisions=(338788937,useless=204987891), ccks=431464623, wck=259.872, mem=847M662
278.81/264.64	    decisions=5475739, wrong=2543727, backtracks=2670694, failedAssignments=59204, nogoods=2976
278.81/264.64	    
289.62/275.49	    num=67, depth=10974..11121, filters=141077514, revisions=(360207994,useless=222962266), ccks=448485322, wck=270.725, mem=856M781
289.62/275.49	    decisions=5811040, wrong=2705861, backtracks=2832875, failedAssignments=65137, nogoods=2979
289.62/275.49	    
342.63/328.49	    num=68, depth=6681..11053, filters=177060305, revisions=(444702655,useless=272503362), ccks=561284390, wck=323.726, mem=872M803
342.63/328.49	    decisions=7199294, wrong=3394532, backtracks=3521711, failedAssignments=71663, nogoods=2990
342.63/328.49	    
355.60/341.35	    num=69, depth=10943..11267, filters=178133480, revisions=(451869914,useless=278708861), ccks=565832987, wck=336.588, mem=880M814
355.60/341.35	    decisions=7326317, wrong=3452535, backtracks=4012651, failedAssignments=78842, nogoods=2994
355.60/341.35	    
403.82/389.50	    num=70, depth=7266..10593, filters=207574896, revisions=(531472817,useless=329906000), ccks=666374896, wck=384.734, mem=896M836
403.82/389.50	    decisions=8528843, wrong=4048620, backtracks=4608961, failedAssignments=86739, nogoods=3003
403.82/389.50	    
422.52/408.23	    num=71, depth=7562..10987, filters=213151526, revisions=(555655205,useless=348804494), ccks=688438932, wck=403.465, mem=920M868
422.52/408.23	    decisions=8890160, wrong=4223986, backtracks=5377962, failedAssignments=95426, nogoods=3020
422.52/408.23	    
476.04/461.74	    num=72, depth=5636..10565, filters=240850503, revisions=(634623030,useless=401135889), ccks=781996629, wck=456.971, mem=944M901
476.04/461.74	    decisions=10242773, wrong=4895198, backtracks=6274968, failedAssignments=104981, nogoods=3039
476.04/461.74	    
480.14/465.89	    num=73, depth=2960..10405, filters=241517774, revisions=(639222622,useless=405091811), ccks=784834866, wck=461.125, mem=944M901
480.14/465.89	    decisions=10287841, wrong=4912642, backtracks=6500335, failedAssignments=115492, nogoods=3063
480.14/465.89	    
503.74/489.44	    num=74, depth=2851..10380, filters=242849607, revisions=(654882884,useless=419500076), ccks=790695951, wck=484.669, mem=1000M977
503.74/489.44	    decisions=10389951, wrong=4958636, backtracks=8728179, failedAssignments=127054, nogoods=3090
503.74/489.44	    
523.75/509.41	    num=75, depth=4649..10220, filters=243032708, revisions=(666513102,useless=430962901), ccks=792581088, wck=504.645, mem=1057M54
523.75/509.41	    decisions=10429135, wrong=4973289, backtracks=10835134, failedAssignments=139772, nogoods=3117
523.75/509.41	    
538.05/523.73	    num=76, depth=2847..10057, filters=243870170, revisions=(676747633,useless=440396748), ccks=796611184, wck=518.961, mem=1089M97
538.05/523.73	    decisions=10492274, wrong=5000001, backtracks=12201852, failedAssignments=153762, nogoods=3164
538.05/523.73	    
557.90/543.24	    num=77, depth=2844..9986, filters=244217546, revisions=(688127687,useless=451441285), ccks=799484771, wck=538.472, mem=805M735
557.90/543.24	    decisions=10540762, wrong=5019380, backtracks=14371462, failedAssignments=169151, nogoods=3360
557.90/543.24	    
610.82/596.17	    num=78, depth=2954..9714, filters=263667526, revisions=(771324493,useless=516225828), ccks=877312077, wck=591.408, mem=834M165
610.82/596.17	    decisions=11918673, wrong=5703594, backtracks=15228202, failedAssignments=186079, nogoods=3394
610.82/596.17	    
616.72/602.02	    num=79, depth=4748..9532, filters=265625851, revisions=(782252405,useless=525289465), ccks=886242419, wck=597.256, mem=834M165
616.72/602.02	    decisions=12061416, wrong=5770233, backtracks=15276596, failedAssignments=204700, nogoods=3513
616.72/602.02	    
633.56/618.81	    num=80, depth=3301..9773, filters=274780620, revisions=(804243440,useless=538423248), ccks=914476648, wck=614.044, mem=848M380
633.56/618.81	    decisions=12499299, wrong=5984373, backtracks=15472706, failedAssignments=225184, nogoods=3614
633.56/618.81	    
642.37/627.67	    num=81, depth=3488..9881, filters=278457216, revisions=(816076165,useless=546749839), ccks=927047167, wck=622.907, mem=848M380
642.37/627.67	    decisions=12754366, wrong=6107038, backtracks=15573699, failedAssignments=247716, nogoods=3751
642.37/627.67	    
650.67/635.92	    num=82, depth=3607..10253, filters=280261355, revisions=(825323931,useless=554302385), ccks=934258021, wck=631.157, mem=862M595
650.67/635.92	    decisions=12924210, wrong=6186950, backtracks=15947874, failedAssignments=272501, nogoods=3880
650.67/635.92	    
691.28/676.56	    num=83, depth=3669..10438, filters=280514019, revisions=(844251408,useless=573012071), ccks=937824981, wck=671.795, mem=990M530
691.28/676.56	    decisions=13008544, wrong=6224015, backtracks=20703215, failedAssignments=299765, nogoods=3940
691.28/676.56	    
732.69/717.96	    num=84, depth=3501..10251, filters=280813986, revisions=(866598442,useless=595088377), ccks=942059933, wck=713.193, mem=1118M504
732.69/717.96	    decisions=13100122, wrong=6264806, backtracks=25822024, failedAssignments=329755, nogoods=4037
732.69/717.96	    
736.09/721.37	    num=85, depth=3502..9872, filters=282706269, revisions=(874418287,useless=601054801), ccks=949310273, wck=716.603, mem=1118M504
736.09/721.37	    decisions=13176708, wrong=6298193, backtracks=25822430, failedAssignments=362744, nogoods=4205
736.09/721.37	    
747.99/733.26	    num=86, depth=3613..10189, filters=285715186, revisions=(887425599,useless=611247302), ccks=960300797, wck=728.497, mem=1132M719
747.99/733.26	    decisions=13438118, wrong=6423905, backtracks=26353748, failedAssignments=399032, nogoods=4316
747.99/733.26	    
761.40/746.62	    num=87, depth=3690..10000, filters=293244679, revisions=(908419994,useless=624934818), ccks=984823305, wck=741.85, mem=1146M934
761.40/746.62	    decisions=13787954, wrong=6593866, backtracks=26484791, failedAssignments=438949, nogoods=4465
761.40/746.62	    
901.34/886.53	    num=88, depth=3809..10279, filters=356372842, revisions=(1131088517,useless=787357269), ccks=1214405162, wck=881.765, mem=1203M794
901.34/886.53	    decisions=17837855, wrong=8613770, backtracks=28501661, failedAssignments=482858, nogoods=4528
901.34/886.53	    
918.24/903.42	    num=89, depth=3292..10122, filters=366387125, revisions=(1158586245,useless=805113755), ccks=1247077165, wck=898.655, mem=1203M794
918.24/903.42	    decisions=18278790, wrong=8829239, backtracks=28669231, failedAssignments=531158, nogoods=4665
918.24/903.42	    
1321.53/1306.60	    num=90, depth=8258..10161, filters=635255295, revisions=(1712274500,useless=1096585191), ccks=2042251191, wck=1301.834, mem=1331M729
1321.53/1306.60	    decisions=28322867, wrong=13846342, backtracks=33687342, failedAssignments=584288, nogoods=4685
1321.53/1306.60	    
1583.29/1568.39	    num=91, depth=4638..10360, filters=791492661, revisions=(2064992352,useless=1298306657), ccks=2520779146, wck=1563.627, mem=1417M19
1583.29/1568.39	    decisions=35508999, wrong=17434267, backtracks=37265241, failedAssignments=642731, nogoods=4736
1583.29/1568.39	    
1680.72/1665.77	    num=92, depth=2519..10317, filters=846431394, revisions=(2194279439,useless=1374842862), ccks=2686430028, wck=1661.001, mem=1459M702
1680.72/1665.77	    decisions=37962822, wrong=18656120, backtracks=38447367, failedAssignments=707018, nogoods=4842
1680.72/1665.77	    
1687.92/1672.94	    num=93, depth=9207..10492, filters=849606495, revisions=(2210622876,useless=1388170008), ccks=2699931220, wck=1668.173, mem=1459M702
1687.92/1672.94	    decisions=38139581, wrong=18739312, backtracks=38460918, failedAssignments=777734, nogoods=4910
1687.92/1672.94	    
1781.08/1766.02	    num=94, depth=9055..10525, filters=898012949, revisions=(2358268575,useless=1489276077), ccks=2861711958, wck=1761.251, mem=1488M132
1781.08/1766.02	    decisions=40769049, wrong=20048868, backtracks=39758787, failedAssignments=855521, nogoods=4953
1781.08/1766.02	    
1802.36/1787.02	    num=95, depth=9204..10501, filters=909539807, revisions=(2393112176,useless=1512987988), ccks=2900487151, wck=1782.256, mem=858M626
1802.36/1787.02	    decisions=41367864, wrong=20343075, backtracks=39969730, failedAssignments=941087, nogoods=5045
1802.36/1787.02	    
1908.02/1892.68	    num=96, depth=9824..10598, filters=973341705, revisions=(2528032369,useless=1586180715), ccks=3088475092, wck=1887.915, mem=901M362
1908.02/1892.68	    decisions=44404316, wrong=21856080, backtracks=41412007, failedAssignments=1035210, nogoods=5111
1908.02/1892.68	    
1923.85/1908.44	    num=97, depth=5423..10597, filters=980336558, revisions=(2560151558,useless=1611659364), ccks=3117131738, wck=1903.674, mem=901M362
1923.85/1908.44	    decisions=44857042, wrong=22077196, backtracks=41532320, failedAssignments=1138745, nogoods=5232
1923.85/1908.44	    
2136.01/2120.51	    num=98, depth=7184..10661, filters=1115268791, revisions=(2841706010,useless=1762453489), ccks=3512986055, wck=2115.74, mem=986M834
2136.01/2120.51	    decisions=50735118, wrong=25010968, backtracks=44448954, failedAssignments=1252634, nogoods=5278
2136.01/2120.51	    
2284.96/2269.47	    num=99, depth=5650..10836, filters=1150546834, revisions=(2958281781,useless=1846683213), ccks=3618989511, wck=2264.705, mem=1186M304
2284.96/2269.47	    decisions=54337040, wrong=26806637, backtracks=52455099, failedAssignments=1377912, nogoods=5362
2284.96/2269.47	    
2468.81/2453.24	    num=100, depth=3969..10337, filters=1268540061, revisions=(3213227612,useless=1986872254), ccks=3972061178, wck=2448.478, mem=1243M285
2468.81/2453.24	    decisions=59219231, wrong=29242653, backtracks=54784343, failedAssignments=1515718, nogoods=5461
2468.81/2453.24	    
2520.02/2504.40	
2520.02/2504.40	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 (7785 MiB free)
  memory of node 1: 16384 MiB (13960 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391030-1568386377/watcher-4391030-1568386377 -o /tmp/evaluation-result-4391030-1568386377/solver-4391030-1568386377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10797 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391030-1568386377.xml -cm 

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

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=12725, runsolver pid=12722


[startup+0.105303 s]*
/proc/loadavg: 1.82 1.94 1.86 3/229 12740
/proc/meminfo: memFree=22250636/32770624 swapFree=66939836/67108860
[pid=12725] ppid=12722 vsize=10659884 memory=29472 CPUtime=0.14 cores=1,3,5,7
/proc/12725/stat : 12725 (java) S 12722 12725 10765 0 -1 1077944320 5307 0 0 0 13 1 0 0 20 0 15 0 414552643 10915721216 7368 33554432000 4194304 4196468 140730940752384 140730940734928 140383823232759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
/proc/12725/statm: 2664971 7368 2924 1 0 2627468 0
[pid=12725/tid=12727] ppid=12722 vsize=10659884 memory=7892391828772250251 CPUtime=0.1 cores=1,3,5,7
/proc/12725/task/12727/stat : 12727 (java) R 12722 12725 10765 0 -1 4202560 2981 0 0 0 9 1 0 0 20 0 15 0 414552644 10915721216 7368 33554432000 4194304 4196468 140730940752384 140383827462272 140383823254685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12728] ppid=12722 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12728/stat : 12728 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 7368 33554432000 4194304 4196468 140730940752384 140383759923728 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12729] ppid=12722 vsize=10659884 memory=139790231885440 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12729/stat : 12729 (java) S 12722 12725 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 7368 33554432000 4194304 4196468 140730940752384 140383758871184 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12730] ppid=12722 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12730/stat : 12730 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 7368 33554432000 4194304 4196468 140730940752384 140383428143376 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12731] ppid=12722 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12731/stat : 12731 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 7368 33554432000 4194304 4196468 140730940752384 140383427090832 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12732] ppid=12722 vsize=10659884 memory=139790231885440 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12732/stat : 12732 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552646 10915721216 7368 33554432000 4194304 4196468 140730940752384 140382926105328 140383823243906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12733] ppid=12722 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12733/stat : 12733 (java) S 12722 12725 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414552646 10915721216 7368 33554432000 4194304 4196468 140730940752384 140382925051552 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12734] ppid=12722 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12734/stat : 12734 (java) S 12722 12725 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414552647 10915721216 7368 33554432000 4194304 4196468 140730940752384 140382923998448 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12735] ppid=12722 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12735/stat : 12735 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552649 10915721216 7368 33554432000 4194304 4196468 140730940752384 140382922947024 140383823251355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12736] ppid=12722 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12725/task/12736/stat : 12736 (java) R 12722 12725 10765 0 -1 4202560 431 0 0 0 1 0 0 0 20 0 15 0 414552649 10915721216 7368 33554432000 4194304 4196468 140730940752384 140382921894128 140383815522141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12737] ppid=12722 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12737/stat : 12737 (java) R 12722 12725 10765 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 414552649 10915721216 7434 33554432000 4194304 4196468 140730940752384 140382920841584 140383823243906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12738] ppid=12722 vsize=10659884 memory=139790231885440 CPUtime=0.02 cores=1,3,5,7
/proc/12725/task/12738/stat : 12738 (java) R 12722 12725 10765 0 -1 4202560 398 0 0 0 2 0 0 0 20 0 15 0 414552649 10915721216 7434 33554432000 4194304 4196468 140730940752384 140382919783792 140383801906738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12739] ppid=12722 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12739/stat : 12739 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552649 10915721216 7434 33554432000 4194304 4196468 140730940752384 140382918736224 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12740] ppid=12722 vsize=10659884 memory=139790231885440 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12740/stat : 12740 (java) S 12722 12725 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552649 10915721216 7434 33554432000 4194304 4196468 140730940752384 140382917684272 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29472 KiB

[startup+0.210951 s]*
/proc/loadavg: 1.82 1.94 1.86 5/229 12740
/proc/meminfo: memFree=22240708/32770624 swapFree=66939836/67108860
[pid=12725] ppid=12722 vsize=10659884 memory=37956 CPUtime=0.33 cores=1,3,5,7
/proc/12725/stat : 12725 (java) S 12722 12725 10765 0 -1 1077944320 8729 0 0 0 30 3 0 0 20 0 15 0 414552643 10915721216 9489 33554432000 4194304 4196468 140730940752384 140730940734928 140383823232759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
/proc/12725/statm: 2664971 9489 2987 1 0 2627468 0
[pid=12725/tid=12727] ppid=12722 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/12725/task/12727/stat : 12727 (java) R 12722 12725 10765 0 -1 4202560 5696 0 0 0 18 2 0 0 20 0 15 0 414552644 10915721216 9489 33554432000 4194304 4196468 140730940752384 140383827463952 140383823254685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12728] ppid=12722 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12728/stat : 12728 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 9489 33554432000 4194304 4196468 140730940752384 140383759923728 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12729] ppid=12722 vsize=10659884 memory=139790234944125 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12729/stat : 12729 (java) S 12722 12725 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 9489 33554432000 4194304 4196468 140730940752384 140383758871184 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12730] ppid=12722 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12730/stat : 12730 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 9489 33554432000 4194304 4196468 140730940752384 140383428143376 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12731] ppid=12722 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12731/stat : 12731 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 9489 33554432000 4194304 4196468 140730940752384 140383427090832 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12732] ppid=12722 vsize=10659884 memory=139790231885440 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12732/stat : 12732 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552646 10915721216 9489 33554432000 4194304 4196468 140730940752384 140382926105328 140383823243906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12733] ppid=12722 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12733/stat : 12733 (java) S 12722 12725 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414552646 10915721216 9489 33554432000 4194304 4196468 140730940752384 140382925051552 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12734] ppid=12722 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12734/stat : 12734 (java) S 12722 12725 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414552647 10915721216 9489 33554432000 4194304 4196468 140730940752384 140382923998448 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12735] ppid=12722 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12735/stat : 12735 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552649 10915721216 9489 33554432000 4194304 4196468 140730940752384 140382922947024 140383823251355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12736] ppid=12722 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12725/task/12736/stat : 12736 (java) S 12722 12725 10765 0 -1 1077944384 764 0 0 0 3 0 0 0 20 0 15 0 414552649 10915721216 9489 33554432000 4194304 4196468 140730940752384 140382921894128 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12737] ppid=12722 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12725/task/12737/stat : 12737 (java) S 12722 12725 10765 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 15 0 414552649 10915721216 9489 33554432000 4194304 4196468 140730940752384 140382920841584 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12738] ppid=12722 vsize=10659884 memory=139790231885440 CPUtime=0.05 cores=1,3,5,7
/proc/12725/task/12738/stat : 12738 (java) S 12722 12725 10765 0 -1 1077944384 637 0 0 0 5 0 0 0 20 0 15 0 414552649 10915721216 9489 33554432000 4194304 4196468 140730940752384 140382919788528 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12739] ppid=12722 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12739/stat : 12739 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552649 10915721216 9489 33554432000 4194304 4196468 140730940752384 140382918736224 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12740] ppid=12722 vsize=10659884 memory=139790231885440 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12740/stat : 12740 (java) S 12722 12725 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552649 10915721216 9489 33554432000 4194304 4196468 140730940752384 140382917684272 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37956 KiB

[startup+0.310327 s]*
/proc/loadavg: 1.82 1.94 1.86 3/229 12740
/proc/meminfo: memFree=22239016/32770624 swapFree=66939836/67108860
[pid=12725] ppid=12722 vsize=10659884 memory=40532 CPUtime=0.47 cores=1,3,5,7
/proc/12725/stat : 12725 (java) S 12722 12725 10765 0 -1 1077944320 8860 0 0 0 44 3 0 0 20 0 15 0 414552643 10915721216 10133 33554432000 4194304 4196468 140730940752384 140730940734928 140383823232759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
/proc/12725/statm: 2664971 10133 3027 1 0 2627468 0
[pid=12725/tid=12727] ppid=12722 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/12725/task/12727/stat : 12727 (java) R 12722 12725 10765 0 -1 4202560 5772 0 0 0 27 2 0 0 20 0 15 0 414552644 10915721216 10133 33554432000 4194304 4196468 140730940752384 140383827465168 140383823254685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12728] ppid=12722 vsize=10659884 memory=10528 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12728/stat : 12728 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 10133 33554432000 4194304 4196468 140730940752384 140383759923728 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12729] ppid=12722 vsize=10659884 memory=139790234943912 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12729/stat : 12729 (java) S 12722 12725 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 10133 33554432000 4194304 4196468 140730940752384 140383758871184 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12730] ppid=12722 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12730/stat : 12730 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 10133 33554432000 4194304 4196468 140730940752384 140383428143376 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12731] ppid=12722 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12731/stat : 12731 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10915721216 10133 33554432000 4194304 4196468 140730940752384 140383427090832 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12732] ppid=12722 vsize=10659884 memory=139790231885440 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12732/stat : 12732 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552646 10915721216 10133 33554432000 4194304 4196468 140730940752384 140382926105328 140383823243906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12733] ppid=12722 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12733/stat : 12733 (java) S 12722 12725 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414552646 10915721216 10133 33554432000 4194304 4196468 140730940752384 140382925051552 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12734] ppid=12722 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12734/stat : 12734 (java) S 12722 12725 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414552647 10915721216 10133 33554432000 4194304 4196468 140730940752384 140382923998448 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12735] ppid=12722 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12735/stat : 12735 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552649 10915721216 10133 33554432000 4194304 4196468 140730940752384 140382922947024 140383823251355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12736] ppid=12722 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12725/task/12736/stat : 12736 (java) R 12722 12725 10765 0 -1 1077944384 802 0 0 0 4 0 0 0 20 0 15 0 414552649 10915721216 10133 33554432000 4194304 4196468 140730940752384 140382921894224 140383823242965 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12737] ppid=12722 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/12725/task/12737/stat : 12737 (java) R 12722 12725 10765 0 -1 4202560 280 0 0 0 3 0 0 0 20 0 15 0 414552649 10915721216 10133 33554432000 4194304 4196468 140730940752384 140382920832096 140383823254106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12738] ppid=12722 vsize=10659884 memory=139790231885440 CPUtime=0.07 cores=1,3,5,7
/proc/12725/task/12738/stat : 12738 (java) R 12722 12725 10765 0 -1 4202560 648 0 0 0 7 0 0 0 20 0 15 0 414552649 10915721216 10133 33554432000 4194304 4196468 140730940752384 140382919788528 140383815474149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12739] ppid=12722 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12739/stat : 12739 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552649 10915721216 10133 33554432000 4194304 4196468 140730940752384 140382918736224 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12740] ppid=12722 vsize=10659884 memory=139790231885440 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12740/stat : 12740 (java) S 12722 12725 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552649 10915721216 10133 33554432000 4194304 4196468 140730940752384 140382917684272 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40532 KiB

[startup+0.701778 s]
/proc/loadavg: 1.82 1.94 1.86 3/229 12740
/proc/meminfo: memFree=22228160/32770624 swapFree=66939836/67108860
[pid=12725] ppid=12722 vsize=10661932 memory=63856 CPUtime=1.12 cores=1,3,5,7
/proc/12725/stat : 12725 (java) S 12722 12725 10765 0 -1 1077944320 12470 0 0 0 107 5 0 0 20 0 15 0 414552643 10917818368 15964 33554432000 4194304 4196468 140730940752384 140730940734928 140383823232759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
/proc/12725/statm: 2665483 15964 3063 1 0 2627980 0
[pid=12725/tid=12727] ppid=12722 vsize=10661932 memory=14056 CPUtime=0.67 cores=1,3,5,7
/proc/12725/task/12727/stat : 12727 (java) R 12722 12725 10765 0 -1 4202560 8325 0 0 0 64 3 0 0 20 0 15 0 414552644 10917818368 15964 33554432000 4194304 4196468 140730940752384 140383827464672 140383804796845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12728] ppid=12722 vsize=10661932 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12728/stat : 12728 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10917818368 15964 33554432000 4194304 4196468 140730940752384 140383759923728 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12729] ppid=12722 vsize=10661932 memory=520 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12729/stat : 12729 (java) S 12722 12725 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552645 10917818368 15964 33554432000 4194304 4196468 140730940752384 140383758871184 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12730] ppid=12722 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12730/stat : 12730 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10917818368 15964 33554432000 4194304 4196468 140730940752384 140383428143376 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12731] ppid=12722 vsize=10661932 memory=924 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12731/stat : 12731 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10917818368 15964 33554432000 4194304 4196468 140730940752384 140383427090832 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12732] ppid=12722 vsize=10661932 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12732/stat : 12732 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552646 10917818368 15964 33554432000 4194304 4196468 140730940752384 140382926105328 140383823243906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12733] ppid=12722 vsize=10661932 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12733/stat : 12733 (java) S 12722 12725 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414552646 10917818368 15964 33554432000 4194304 4196468 140730940752384 140382925051552 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12734] ppid=12722 vsize=10661932 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12734/stat : 12734 (java) S 12722 12725 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414552647 10917818368 15964 33554432000 4194304 4196468 140730940752384 140382923998448 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12735] ppid=12722 vsize=10661932 memory=812 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12735/stat : 12735 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552649 10917818368 15964 33554432000 4194304 4196468 140730940752384 140382922947024 140383823251355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12736] ppid=12722 vsize=10661932 memory=7086240636179272035 CPUtime=0.11 cores=1,3,5,7
/proc/12725/task/12736/stat : 12736 (java) S 12722 12725 10765 0 -1 1077944384 1064 0 0 0 11 0 0 0 20 0 15 0 414552649 10917818368 15964 33554432000 4194304 4196468 140730940752384 140382921894128 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12737] ppid=12722 vsize=10661932 memory=7453282923444726100 CPUtime=0.11 cores=1,3,5,7
/proc/12725/task/12737/stat : 12737 (java) R 12722 12725 10765 0 -1 4202560 549 0 0 0 11 0 0 0 20 0 15 0 414552649 10917818368 15964 33554432000 4194304 4196468 140730940752384 140382920827680 140383804754468 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12738] ppid=12722 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=1,3,5,7
/proc/12725/task/12738/stat : 12738 (java) S 12722 12725 10765 0 -1 1077944384 1171 0 0 0 18 0 0 0 20 0 15 0 414552649 10917818368 15964 33554432000 4194304 4196468 140730940752384 140382919788528 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12739] ppid=12722 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12739/stat : 12739 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414552649 10917818368 15964 33554432000 4194304 4196468 140730940752384 140382918736224 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12740] ppid=12722 vsize=10661932 memory=7955161671362897768 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12740/stat : 12740 (java) S 12722 12725 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552649 10917818368 15964 33554432000 4194304 4196468 140730940752384 140382917684272 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63856 KiB

[startup+1.50074 s]
/proc/loadavg: 1.82 1.94 1.86 3/229 12740
/proc/meminfo: memFree=22212092/32770624 swapFree=66939836/67108860
[pid=12725] ppid=12722 vsize=10663980 memory=75860 CPUtime=2 cores=1,3,5,7
/proc/12725/stat : 12725 (java) S 12722 12725 10765 0 -1 1077944320 16512 0 0 0 195 5 0 0 20 0 15 0 414552643 10919915520 18965 33554432000 4194304 4196468 140730940752384 140730940734928 140383823232759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
/proc/12725/statm: 2665995 18965 3093 1 0 2628492 0
[pid=12725/tid=12727] ppid=12722 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=1,3,5,7
/proc/12725/task/12727/stat : 12727 (java) R 12722 12725 10765 0 -1 4202560 11267 0 0 0 144 4 0 0 20 0 15 0 414552644 10919915520 18965 33554432000 4194304 4196468 140730940752384 140383827464784 140383803504496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12728] ppid=12722 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12728/stat : 12728 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10919915520 18965 33554432000 4194304 4196468 140730940752384 140383759923728 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12729] ppid=12722 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12729/stat : 12729 (java) S 12722 12725 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414552645 10919915520 18965 33554432000 4194304 4196468 140730940752384 140383758871184 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12730] ppid=12722 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12730/stat : 12730 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10919915520 18965 33554432000 4194304 4196468 140730940752384 140383428143376 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12731] ppid=12722 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12731/stat : 12731 (java) S 12722 12725 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414552645 10919915520 18965 33554432000 4194304 4196468 140730940752384 140383427090832 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12732] ppid=12722 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12732/stat : 12732 (java) S 12722 12725 10765 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 414552646 10919915520 18965 33554432000 4194304 4196468 140730940752384 140382926105328 140383823243906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0

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

/proc/12725/task/12731/stat : 12731 (java) S 12722 12725 10765 0 -1 1077944384 1741 0 0 0 72 40 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383427090832 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12732] ppid=12722 vsize=10748324 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12725/task/12732/stat : 12732 (java) S 12722 12725 10765 0 -1 1077944384 10110 0 0 0 7 2 0 0 20 0 16 0 414552646 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382926105328 140383823243906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12733] ppid=12722 vsize=10748324 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12733/stat : 12733 (java) S 12722 12725 10765 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414552646 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382925051616 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12734] ppid=12722 vsize=10748324 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12734/stat : 12734 (java) S 12722 12725 10765 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414552647 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382923998464 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12735] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12735/stat : 12735 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382922947024 140383823251355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12736] ppid=12722 vsize=10748324 memory=1885980 CPUtime=5.58 cores=1,3,5,7
/proc/12725/task/12736/stat : 12736 (java) S 12722 12725 10765 0 -1 1077944384 22226 0 0 0 555 3 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382921894128 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12737] ppid=12722 vsize=10748324 memory=1885980 CPUtime=5.03 cores=1,3,5,7
/proc/12725/task/12737/stat : 12737 (java) S 12722 12725 10765 0 -1 1077944384 22679 0 0 0 501 2 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382920841584 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12738] ppid=12722 vsize=10748324 memory=1440 CPUtime=1.18 cores=1,3,5,7
/proc/12725/task/12738/stat : 12738 (java) S 12722 12725 10765 0 -1 1077944384 14209 0 0 0 115 3 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382919788528 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12739] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12739/stat : 12739 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382918736224 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12740] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0.48 cores=1,3,5,7
/proc/12725/task/12740/stat : 12740 (java) S 12722 12725 10765 0 -1 1077944384 2753 0 0 0 21 27 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382917684272 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12741] ppid=12722 vsize=10748324 memory=1885980 CPUtime=2379.24 cores=1,3,5,7
/proc/12725/task/12741/stat : 12741 (java) R 12722 12725 10765 0 -1 4202560 34523 0 0 0 237917 7 0 0 20 0 16 0 414552831 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382900723712 140383443751135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
Current children cumulated CPU time: 2397.89 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1885980 KiB

[startup+2442.3 s]
/proc/loadavg: 1.05 1.56 1.80 2/209 13064
/proc/meminfo: memFree=22021360/32770624 swapFree=66939836/67108860
[pid=12725] ppid=12722 vsize=10748324 memory=1885980 CPUtime=2457.9 cores=1,3,5,7
/proc/12725/stat : 12725 (java) S 12722 12725 10765 0 -1 1077944320 132440 0 0 0 245595 195 0 0 20 0 16 0 414552643 11006283776 471495 33554432000 4194304 4196468 140730940752384 140730940734928 140383823232759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
/proc/12725/statm: 2687081 471495 3383 1 0 2647217 0
[pid=12725/tid=12727] ppid=12722 vsize=10748324 memory=1885980 CPUtime=1.85 cores=1,3,5,7
/proc/12725/task/12727/stat : 12727 (java) S 12722 12725 10765 0 -1 1077944384 13182 0 0 0 179 6 0 0 20 0 16 0 414552644 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383827475632 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12728] ppid=12722 vsize=10748324 memory=1885980 CPUtime=1.06 cores=1,3,5,7
/proc/12725/task/12728/stat : 12728 (java) S 12722 12725 10765 0 -1 1077944384 4637 0 0 0 70 36 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383759923728 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12729] ppid=12722 vsize=10748324 memory=1885980 CPUtime=1.07 cores=1,3,5,7
/proc/12725/task/12729/stat : 12729 (java) S 12722 12725 10765 0 -1 1077944384 1978 0 0 0 70 37 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383758871184 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12730] ppid=12722 vsize=10748324 memory=1885980 CPUtime=1.1 cores=1,3,5,7
/proc/12725/task/12730/stat : 12730 (java) S 12722 12725 10765 0 -1 1077944384 2623 0 0 0 74 36 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383428143376 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12731] ppid=12722 vsize=10748324 memory=1885980 CPUtime=1.12 cores=1,3,5,7
/proc/12725/task/12731/stat : 12731 (java) S 12722 12725 10765 0 -1 1077944384 1741 0 0 0 72 40 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383427090832 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12732] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0.09 cores=1,3,5,7
/proc/12725/task/12732/stat : 12732 (java) S 12722 12725 10765 0 -1 1077944384 10120 0 0 0 7 2 0 0 20 0 16 0 414552646 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382926105328 140383823243906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12733] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12733/stat : 12733 (java) S 12722 12725 10765 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414552646 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382925051616 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12734] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12734/stat : 12734 (java) S 12722 12725 10765 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414552647 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382923998464 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12735] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12735/stat : 12735 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382922947024 140383823251355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12736] ppid=12722 vsize=10748324 memory=1885980 CPUtime=5.58 cores=1,3,5,7
/proc/12725/task/12736/stat : 12736 (java) S 12722 12725 10765 0 -1 1077944384 22229 0 0 0 555 3 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382921894128 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12737] ppid=12722 vsize=10748324 memory=1885980 CPUtime=5.03 cores=1,3,5,7
/proc/12725/task/12737/stat : 12737 (java) S 12722 12725 10765 0 -1 1077944384 22682 0 0 0 501 2 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382920841584 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12738] ppid=12722 vsize=10748324 memory=1885980 CPUtime=1.18 cores=1,3,5,7
/proc/12725/task/12738/stat : 12738 (java) S 12722 12725 10765 0 -1 1077944384 14223 0 0 0 115 3 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382919788528 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12739] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12739/stat : 12739 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382918736224 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12740] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0.49 cores=1,3,5,7
/proc/12725/task/12740/stat : 12740 (java) S 12722 12725 10765 0 -1 1077944384 2791 0 0 0 22 27 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382917684272 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12741] ppid=12722 vsize=10748324 memory=1052 CPUtime=2439.24 cores=1,3,5,7
/proc/12725/task/12741/stat : 12741 (java) R 12722 12725 10765 0 -1 4202560 34808 0 0 0 243917 7 0 0 20 0 16 0 414552831 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382900723712 140383444251933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
Current children cumulated CPU time: 2457.9 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1885980 KiB

[startup+2502.3 s]
/proc/loadavg: 1.02 1.45 1.75 2/209 13068
/proc/meminfo: memFree=22021640/32770624 swapFree=66939836/67108860
[pid=12725] ppid=12722 vsize=10748324 memory=1885980 CPUtime=2517.92 cores=1,3,5,7
/proc/12725/stat : 12725 (java) S 12722 12725 10765 0 -1 1077944320 133814 0 0 0 251596 196 0 0 20 0 16 0 414552643 11006283776 471495 33554432000 4194304 4196468 140730940752384 140730940734928 140383823232759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
/proc/12725/statm: 2687081 471495 3383 1 0 2647217 0
[pid=12725/tid=12727] ppid=12722 vsize=10748324 memory=6791534058613427641 CPUtime=1.85 cores=1,3,5,7
/proc/12725/task/12727/stat : 12727 (java) S 12722 12725 10765 0 -1 1077944384 13182 0 0 0 179 6 0 0 20 0 16 0 414552644 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383827475632 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12728] ppid=12722 vsize=10748324 memory=1728 CPUtime=1.06 cores=1,3,5,7
/proc/12725/task/12728/stat : 12728 (java) S 12722 12725 10765 0 -1 1077944384 4637 0 0 0 70 36 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383759923728 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12729] ppid=12722 vsize=10748324 memory=1885980 CPUtime=1.07 cores=1,3,5,7
/proc/12725/task/12729/stat : 12729 (java) S 12722 12725 10765 0 -1 1077944384 1978 0 0 0 70 37 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383758871184 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12730] ppid=12722 vsize=10748324 memory=1885980 CPUtime=1.1 cores=1,3,5,7
/proc/12725/task/12730/stat : 12730 (java) S 12722 12725 10765 0 -1 1077944384 2623 0 0 0 74 36 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383428143376 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12731] ppid=12722 vsize=10748324 memory=1885980 CPUtime=1.12 cores=1,3,5,7
/proc/12725/task/12731/stat : 12731 (java) S 12722 12725 10765 0 -1 1077944384 1741 0 0 0 72 40 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383427090832 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12732] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0.09 cores=1,3,5,7
/proc/12725/task/12732/stat : 12732 (java) S 12722 12725 10765 0 -1 1077944384 10130 0 0 0 7 2 0 0 20 0 16 0 414552646 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382926105328 140383823243906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12733] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12733/stat : 12733 (java) S 12722 12725 10765 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414552646 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382925051616 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12734] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12734/stat : 12734 (java) S 12722 12725 10765 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414552647 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382923998464 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12735] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12735/stat : 12735 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382922947024 140383823251355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12736] ppid=12722 vsize=10748324 memory=1885980 CPUtime=5.58 cores=1,3,5,7
/proc/12725/task/12736/stat : 12736 (java) S 12722 12725 10765 0 -1 1077944384 22232 0 0 0 555 3 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382921894128 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12737] ppid=12722 vsize=10748324 memory=1885980 CPUtime=5.03 cores=1,3,5,7
/proc/12725/task/12737/stat : 12737 (java) S 12722 12725 10765 0 -1 1077944384 23225 0 0 0 501 2 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382920841584 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12738] ppid=12722 vsize=10748324 memory=1885980 CPUtime=1.18 cores=1,3,5,7
/proc/12725/task/12738/stat : 12738 (java) S 12722 12725 10765 0 -1 1077944384 14237 0 0 0 115 3 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382919788528 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12739] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12739/stat : 12739 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382918736224 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12740] ppid=12722 vsize=10748324 memory=14699582244260401 CPUtime=0.51 cores=1,3,5,7
/proc/12725/task/12740/stat : 12740 (java) S 12722 12725 10765 0 -1 1077944384 2843 0 0 0 23 28 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382917684272 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12741] ppid=12722 vsize=10748324 memory=6791534058613427641 CPUtime=2499.24 cores=1,3,5,7
/proc/12725/task/12741/stat : 12741 (java) R 12722 12725 10765 0 -1 4202560 35560 0 0 0 249917 7 0 0 20 0 16 0 414552831 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382900723712 140383444251864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
Current children cumulated CPU time: 2517.92 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1885980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2504.4 s]
/proc/loadavg: 1.02 1.45 1.75 2/209 13068
/proc/meminfo: memFree=22021640/32770624 swapFree=66939836/67108860
[pid=12725] ppid=12722 vsize=10748324 memory=1885980 CPUtime=2520.02 cores=1,3,5,7
/proc/12725/stat : 12725 (java) S 12722 12725 10765 0 -1 1077944320 133816 0 0 0 251806 196 0 0 20 0 16 0 414552643 11006283776 471495 33554432000 4194304 4196468 140730940752384 140730940734928 140383823232759 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
/proc/12725/statm: 2687081 471495 3383 1 0 2647217 0
[pid=12725/tid=12727] ppid=12722 vsize=10748324 memory=3132 CPUtime=1.85 cores=1,3,5,7
/proc/12725/task/12727/stat : 12727 (java) S 12722 12725 10765 0 -1 1077944384 13182 0 0 0 179 6 0 0 20 0 16 0 414552644 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383827475632 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12728] ppid=12722 vsize=10748324 memory=1885980 CPUtime=1.06 cores=1,3,5,7
/proc/12725/task/12728/stat : 12728 (java) S 12722 12725 10765 0 -1 1077944384 4637 0 0 0 70 36 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383759923728 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12729] ppid=12722 vsize=10748324 memory=1620 CPUtime=1.07 cores=1,3,5,7
/proc/12725/task/12729/stat : 12729 (java) S 12722 12725 10765 0 -1 1077944384 1978 0 0 0 70 37 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383758871184 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12730] ppid=12722 vsize=10748324 memory=8317482817917895235 CPUtime=1.1 cores=1,3,5,7
/proc/12725/task/12730/stat : 12730 (java) S 12722 12725 10765 0 -1 1077944384 2623 0 0 0 74 36 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383428143376 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12731] ppid=12722 vsize=10748324 memory=4872558044660077418 CPUtime=1.12 cores=1,3,5,7
/proc/12725/task/12731/stat : 12731 (java) S 12722 12725 10765 0 -1 1077944384 1741 0 0 0 72 40 0 0 20 0 16 0 414552645 11006283776 471495 33554432000 4194304 4196468 140730940752384 140383427090832 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12732] ppid=12722 vsize=10748324 memory=812 CPUtime=0.09 cores=1,3,5,7
/proc/12725/task/12732/stat : 12732 (java) S 12722 12725 10765 0 -1 1077944384 10130 0 0 0 7 2 0 0 20 0 16 0 414552646 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382926105328 140383823243906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12733] ppid=12722 vsize=10748324 memory=1885980 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12733/stat : 12733 (java) S 12722 12725 10765 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414552646 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382925051616 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12734] ppid=12722 vsize=10748324 memory=1256 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12734/stat : 12734 (java) S 12722 12725 10765 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414552647 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382923998464 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12735] ppid=12722 vsize=10748324 memory=1076 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12735/stat : 12735 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382922947024 140383823251355 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12736] ppid=12722 vsize=10748324 memory=14008 CPUtime=5.58 cores=1,3,5,7
/proc/12725/task/12736/stat : 12736 (java) S 12722 12725 10765 0 -1 1077944384 22232 0 0 0 555 3 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382921894128 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12737] ppid=12722 vsize=10748324 memory=21960 CPUtime=5.03 cores=1,3,5,7
/proc/12725/task/12737/stat : 12737 (java) S 12722 12725 10765 0 -1 1077944384 23225 0 0 0 501 2 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382920841584 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12738] ppid=12722 vsize=10748324 memory=14056 CPUtime=1.18 cores=1,3,5,7
/proc/12725/task/12738/stat : 12738 (java) S 12722 12725 10765 0 -1 1077944384 14237 0 0 0 115 3 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382919788528 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12739] ppid=12722 vsize=10748324 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/12725/task/12739/stat : 12739 (java) S 12722 12725 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382918736224 140383823242965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12740] ppid=12722 vsize=10748324 memory=520 CPUtime=0.51 cores=1,3,5,7
/proc/12725/task/12740/stat : 12740 (java) S 12722 12725 10765 0 -1 1077944384 2843 0 0 0 23 28 0 0 20 0 16 0 414552649 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382917684272 140383823243906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
[pid=12725/tid=12741] ppid=12722 vsize=10748324 memory=1560 CPUtime=2501.34 cores=1,3,5,7
/proc/12725/task/12741/stat : 12741 (java) R 12722 12725 10765 0 -1 4202560 35562 0 0 0 250127 7 0 0 20 0 16 0 414552831 11006283776 471495 33554432000 4194304 4196468 140730940752384 140382900723712 140383441320860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31662080 140730940757003 140730940757106 140730940757106 140730940760015 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1885980 KiB

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

[startup+2504.43 s]
# the end of solver process 12725 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.08 s, system=1.98326 s

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

Child status: 143
Real time (s): 2504.43
CPU time (s): 2520.06
CPU user time (s): 2518.08
CPU system time (s): 1.98326
CPU usage (%): 100.624
Max. virtual memory (cumulated for all children) (KiB): 10748384
Max. memory (cumulated for all children) (KiB): 1885980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.08
system time used= 1.98326
maximum resident set size= 1886488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134434
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= 58223
involuntary context switches= 741


# summary of solver processes directly reported to runsolver:
#   pid: 12725
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2518.08
#   total CPU system time (s): 1.98326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6954 second user time and 21.6197 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-13 16:52:18
IDJOB=4391030
IDBENCH=139658
IDSOLVER=2832
FILE ID=node119/4391030-1568386377
RUNJOBID= node119-1568380477-10797
PBS_JOBID= 21701844
Free space on /tmp= 57260 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_9_11.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391030-1568386377/watcher-4391030-1568386377 -o /tmp/evaluation-result-4391030-1568386377/solver-4391030-1568386377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10797 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391030-1568386377.xml -cm

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

MD5SUM BENCH= b3f80a69476de872363c069f96d9d14d
RANDOM SEED=323831601

node119.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.47
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.47
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.47
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.47
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:        22268088 kB
MemAvailable:   30177344 kB
Buffers:          184012 kB
Cached:          7932852 kB
SwapCached:        61112 kB
Active:          3528752 kB
Inactive:        6274720 kB
Active(anon):    1625144 kB
Inactive(anon):   103152 kB
Active(file):    1903608 kB
Inactive(file):  6171568 kB
Unevictable:      107056 kB
Mlocked:          107056 kB
SwapTotal:      67108860 kB
SwapFree:       66939836 kB
Dirty:              8972 kB
Writeback:             0 kB
AnonPages:       1734688 kB
Mapped:            56696 kB
Shmem:             32812 kB
Slab:             292220 kB
SReclaimable:     262540 kB
SUnreclaim:        29680 kB
KernelStack:        4080 kB
PageTables:         8976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3395580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1576960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57260 MiB
End job on node119 at 2019-09-13 17:34:02