Trace number 4391034

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.04 2505.92

General information on the benchmark

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

Solver Data 

2.41/1.87	
2.41/1.87	AbsCon 2 
2.41/1.88	
4.03/2.30	  Instance
4.03/2.30	    name=instance-4391034-1568386281, framework=COP, bounds=-infty..+infty
4.03/2.30	
4.03/2.30	  Loading variables...
4.72/2.55	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
10.62/4.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
10.62/4.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
10.95/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
10.95/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
10.95/4.48	
10.95/4.48	
10.95/4.48	  Domains
10.95/4.48	    nTypes=4, nValues=43623, sizes=[2#12321,12#111,48#111,111#111]
10.95/4.48	  Variables
10.95/4.48	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
10.95/4.48	  Objectives
10.95/4.48	    way=min, type=SumSimpleLE
10.95/4.48	  Constraints
10.95/4.48	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
10.95/4.48	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
10.95/4.48	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
10.95/4.48	    wck=2.645, cpu=4.009, mem=935M307
11.31/4.51	  Solver SolverBacktrack being built...
11.31/4.51	
11.63/4.62	
11.63/4.62	  Solver
11.63/4.62	    guaranteedGAC=false
11.63/4.62	    wck=2.786, cpu=4.148, mem=967M363
12.80/5.37	
12.80/5.37	  Preprocessing
12.80/5.37	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
12.80/5.37	    wck=0.745, cpu=4.897, mem=967M363
12.80/5.37	
12.97/5.42	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.8, mem=967M363
12.97/5.42	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
12.97/5.42	    
12.97/5.48	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.852, mem=967M363
12.97/5.48	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
12.97/5.48	    
13.28/5.53	    num=2, depth=220..220, filters=4235, revisions=(38962,useless=34766), ccks=1397675, wck=0.904, mem=967M363
13.28/5.53	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.28/5.53	    
13.28/5.60	    num=3, depth=329..329, filters=6079, revisions=(54504,useless=48486), ccks=1408602, wck=0.972, mem=967M363
13.28/5.60	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.28/5.60	    
13.59/5.68	    num=4, depth=438..438, filters=8138, revisions=(76485,useless=68435), ccks=1419946, wck=1.055, mem=967M363
13.59/5.68	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
13.59/5.68	    
13.89/5.77	    num=5, depth=547..547, filters=10573, revisions=(108679,useless=98259), ccks=1435287, wck=1.15, mem=967M363
13.89/5.77	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
13.89/5.77	    
14.14/5.87	    num=6, depth=656..656, filters=13156, revisions=(143760,useless=130795), ccks=1447759, wck=1.25, mem=967M363
14.14/5.87	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.14/5.87	    
14.34/5.99	    num=7, depth=763..763, filters=16531, revisions=(212035,useless=195984), ccks=1475067, wck=1.371, mem=967M363
14.34/5.99	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
14.34/5.99	    
14.57/6.13	    num=8, depth=872..872, filters=20170, revisions=(284862,useless=265448), ccks=1501153, wck=1.504, mem=967M363
14.57/6.13	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
14.57/6.13	    
14.66/6.28	    num=9, depth=980..980, filters=24331, revisions=(376562,useless=353382), ccks=1534034, wck=1.654, mem=967M363
14.66/6.28	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
14.66/6.28	    
14.91/6.44	    num=10, depth=1089..1089, filters=28786, revisions=(474923,useless=447689), ccks=1567596, wck=1.817, mem=967M363
14.91/6.44	    decisions=6478, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
14.91/6.44	    
15.11/6.61	    num=11, depth=1198..1198, filters=33617, revisions=(580167,useless=548510), ccks=1602109, wck=1.99, mem=971M395
15.11/6.61	    decisions=7732, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
15.11/6.61	    
15.34/6.80	    num=12, depth=1307..1307, filters=38877, revisions=(695735,useless=659264), ccks=1640500, wck=2.178, mem=971M395
15.34/6.80	    decisions=9101, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
15.34/6.80	    
15.46/7.00	    num=13, depth=1416..1416, filters=44501, revisions=(818519,useless=776880), ccks=1680040, wck=2.379, mem=971M395
15.46/7.00	    decisions=10585, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
15.46/7.00	    
15.76/7.22	    num=14, depth=1524..1526, filters=50962, revisions=(964838,useless=917354), ccks=1730506, wck=2.599, mem=971M395
15.76/7.22	    decisions=12185, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
15.76/7.22	    
15.96/7.46	    num=15, depth=1630..1631, filters=58321, revisions=(1134694,useless=1080630), ccks=1792643, wck=2.836, mem=979M420
15.96/7.46	    decisions=13898, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
15.96/7.46	    
16.29/7.73	    num=16, depth=1848..1849, filters=66447, revisions=(1329973,useless=1268685), ccks=1872446, wck=3.105, mem=979M420
16.29/7.73	    decisions=15837, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
16.29/7.73	    
16.60/8.02	    num=17, depth=2066..2068, filters=75461, revisions=(1542903,useless=1473553), ccks=1945437, wck=3.399, mem=979M420
16.60/8.02	    decisions=18005, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
16.60/8.02	    
16.90/8.34	    num=18, depth=2283..2284, filters=85266, revisions=(1777482,useless=1699368), ccks=2030880, wck=3.721, mem=979M420
16.90/8.34	    decisions=20399, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
16.90/8.34	    
17.20/8.69	    num=19, depth=2501..2502, filters=95850, revisions=(2025827,useless=1938184), ccks=2110140, wck=4.07, mem=979M420
17.20/8.69	    decisions=23023, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
17.20/8.69	    
17.62/9.07	    num=20, depth=2719..2720, filters=107177, revisions=(2287938,useless=2190037), ccks=2191284, wck=4.443, mem=979M420
17.62/9.07	    decisions=25877, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
17.62/9.07	    
18.01/9.47	    num=21, depth=2937..2939, filters=119579, revisions=(2572140,useless=2462994), ccks=2281488, wck=4.844, mem=979M420
18.01/9.47	    decisions=28964, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
18.01/9.47	    
18.51/9.91	    num=22, depth=3262..3264, filters=133476, revisions=(2897974,useless=2776306), ccks=2386962, wck=5.287, mem=979M420
18.51/9.91	    decisions=32390, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
18.51/9.91	    
18.91/10.39	    num=23, depth=3588..3590, filters=148656, revisions=(3251452,useless=3116067), ccks=2497047, wck=5.767, mem=979M420
18.91/10.39	    decisions=36158, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
18.91/10.39	    
19.51/10.91	    num=24, depth=3914..3916, filters=165285, revisions=(3640677,useless=3490286), ccks=2618716, wck=6.286, mem=983M957
19.51/10.91	    decisions=40270, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
19.51/10.91	    
20.01/11.47	    num=25, depth=4241..4243, filters=183176, revisions=(4055879,useless=3889288), ccks=2747553, wck=6.843, mem=983M957
20.01/11.47	    decisions=44729, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
20.01/11.47	    
22.39/12.56	    num=26, depth=4565..4568, filters=203204, revisions=(4520929,useless=4336292), ccks=2892109, wck=7.936, mem=722M898
22.39/12.56	    decisions=49535, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
22.39/12.56	    
23.14/13.19	    num=27, depth=5001..5004, filters=224850, revisions=(5013511,useless=4809238), ccks=3043544, wck=8.563, mem=722M898
23.14/13.19	    decisions=54801, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
23.14/13.19	    
23.83/13.85	    num=28, depth=5437..5440, filters=248048, revisions=(5533847,useless=5308415), ccks=3198985, wck=9.231, mem=722M898
23.83/13.85	    decisions=60529, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
23.83/13.85	    
24.59/14.58	    num=29, depth=5873..5877, filters=273273, revisions=(6082270,useless=5833683), ccks=3359522, wck=9.954, mem=730M891
24.59/14.58	    decisions=66722, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
24.59/14.58	    
25.39/15.36	    num=30, depth=6418..6422, filters=300537, revisions=(6665330,useless=6391585), ccks=3528085, wck=10.738, mem=738M911
25.39/15.36	    decisions=73492, wrong=1806, backtracks=0, failedAssignments=1806, nogoods=1806
25.39/15.36	    
26.40/16.21	    num=31, depth=6820..6928, filters=330815, revisions=(7296671,useless=6994989), ccks=3710450, wck=11.586, mem=738M911
26.40/16.21	    decisions=81058, wrong=2147, backtracks=152, failedAssignments=1997, nogoods=1890
26.40/16.21	    
27.33/17.06	    num=32, depth=6929..7072, filters=360491, revisions=(7937502,useless=7608474), ccks=3882301, wck=12.44, mem=746M933
27.33/17.06	    decisions=88766, wrong=2467, backtracks=262, failedAssignments=2208, nogoods=1993
27.33/17.06	    
28.58/18.22	    num=33, depth=7038..7205, filters=466319, revisions=(8941246,useless=8512801), ccks=4492790, wck=13.595, mem=754M954
28.58/18.22	    decisions=101579, wrong=5310, backtracks=2904, failedAssignments=2440, nogoods=2132
28.58/18.22	    
32.35/21.99	    num=34, depth=7036..7257, filters=1975673, revisions=(12851721,useless=10956102), ccks=9172425, wck=17.364, mem=826M897
32.35/21.99	    decisions=163691, wrong=32796, backtracks=30388, failedAssignments=2695, nogoods=2135
32.35/21.99	    
36.15/25.76	    num=35, depth=7252..7475, filters=3515888, revisions=(16838447,useless=13445896), ccks=13942163, wck=21.142, mem=906M833
36.15/25.76	    decisions=228200, wrong=61409, backtracks=59007, failedAssignments=2976, nogoods=2137
36.15/25.76	    
38.50/28.07	    num=36, depth=7257..7476, filters=4297685, revisions=(19155677,useless=15003651), ccks=16397972, wck=23.442, mem=946M801
38.50/28.07	    decisions=263790, wrong=75508, backtracks=72924, failedAssignments=3285, nogoods=2203
38.50/28.07	    
40.50/30.06	    num=37, depth=7259..7507, filters=4934397, revisions=(21161773,useless=16391285), ccks=18417407, wck=25.436, mem=978M775
40.50/30.06	    decisions=294085, wrong=86904, backtracks=84081, failedAssignments=3625, nogoods=2228
40.50/30.06	    
41.40/30.91	    num=38, depth=7478..7617, filters=4969579, revisions=(21844831,useless=17041400), ccks=18604817, wck=26.286, mem=986M799
41.40/30.91	    decisions=302452, wrong=87281, backtracks=84084, failedAssignments=3999, nogoods=2282
41.40/30.91	    
42.51/32.07	    num=39, depth=7583..7700, filters=5089568, revisions=(22742781,useless=17825946), ccks=19010400, wck=27.443, mem=986M799
42.51/32.07	    decisions=315209, wrong=89835, backtracks=86527, failedAssignments=4410, nogoods=2284
42.51/32.07	    
44.40/33.96	    num=40, depth=7589..8003, filters=5574685, revisions=(24785928,useless=19403226), ccks=20980046, wck=29.341, mem=1018M773
44.40/33.96	    decisions=343852, wrong=100256, backtracks=96677, failedAssignments=4862, nogoods=2290
44.40/33.96	    
45.30/34.85	    num=41, depth=7504..7831, filters=5627275, revisions=(25506097,useless=20073224), ccks=21217836, wck=30.224, mem=1018M773
45.30/34.85	    decisions=352978, wrong=100949, backtracks=96875, failedAssignments=5359, nogoods=2359
45.30/34.85	    
46.20/35.71	    num=42, depth=7724..7859, filters=5671496, revisions=(26220718,useless=20745841), ccks=21435591, wck=31.089, mem=1026M767
46.20/35.71	    decisions=361935, wrong=101501, backtracks=96880, failedAssignments=5906, nogoods=2367
46.20/35.71	    
49.71/39.27	    num=43, depth=7725..8024, filters=6902373, revisions=(30607172,useless=23950880), ccks=25910604, wck=34.652, mem=1098M741
49.71/39.27	    decisions=424137, wrong=128666, backtracks=123854, failedAssignments=6508, nogoods=2471
49.71/39.27	    
56.83/46.10	    num=44, depth=7829..8127, filters=10097793, revisions=(38293825,useless=28530675), ccks=35736462, wck=41.478, mem=893M16
56.83/46.10	    decisions=550665, wrong=187999, backtracks=183078, failedAssignments=7170, nogoods=2474
56.83/46.10	    
65.33/54.59	    num=45, depth=7833..8268, filters=14301637, revisions=(48283406,useless=34460192), ccks=49326835, wck=49.969, mem=1106M490
65.33/54.59	    decisions=712298, wrong=264769, backtracks=259858, failedAssignments=7898, nogoods=2482
65.33/54.59	    
69.23/58.44	    num=46, depth=8054..8288, filters=15623030, revisions=(52972444,useless=37874289), ccks=53757476, wck=53.817, mem=1177M648
69.23/58.44	    decisions=784485, wrong=296792, backtracks=291911, failedAssignments=8699, nogoods=2487
69.23/58.44	    
70.14/59.37	    num=47, depth=8283..8291, filters=15688742, revisions=(53776350,useless=38614947), ccks=54049967, wck=54.74, mem=1177M648
70.14/59.37	    decisions=794546, wrong=297681, backtracks=291919, failedAssignments=9580, nogoods=2513
70.14/59.37	    
71.14/60.32	    num=48, depth=8182..8293, filters=15761019, revisions=(54707208,useless=39477080), ccks=54415848, wck=55.701, mem=1177M648
71.14/60.32	    decisions=804786, wrong=298660, backtracks=291929, failedAssignments=10550, nogoods=2520
71.14/60.32	    
73.75/62.97	    num=49, depth=8181..8489, filters=16716112, revisions=(57584889,useless=41440263), ccks=57651388, wck=58.348, mem=1234M608
73.75/62.97	    decisions=847846, wrong=315962, backtracks=308337, failedAssignments=11617, nogoods=2562
73.75/62.97	    
85.94/75.00	    num=50, depth=8235..8488, filters=22793426, revisions=(71882373,useless=49883239), ccks=77705164, wck=70.374, mem=813M803
85.94/75.00	    decisions=1082230, wrong=429036, backtracks=421427, failedAssignments=12790, nogoods=2564
85.94/75.00	    
94.05/83.03	    num=51, depth=8381..8665, filters=26190384, revisions=(83030600,useless=57751598), ccks=89656355, wck=78.406, mem=1013M444
94.05/83.03	    decisions=1244837, wrong=506070, backtracks=498150, failedAssignments=14081, nogoods=2605
94.05/83.03	    
109.34/98.32	    num=52, depth=8333..8662, filters=34474286, revisions=(102161642,useless=68823041), ccks=115151241, wck=93.696, mem=1426M987
109.34/98.32	    decisions=1559239, wrong=659055, backtracks=651096, failedAssignments=15501, nogoods=2608
109.34/98.32	    
119.53/108.46	    num=53, depth=8557..8879, filters=39889460, revisions=(114939984,useless=76332986), ccks=131858885, wck=103.836, mem=997M632
119.53/108.46	    decisions=1768588, wrong=759387, backtracks=750812, failedAssignments=17063, nogoods=2611
119.53/108.46	    
131.03/120.00	    num=54, depth=8668..8995, filters=46196858, revisions=(129706467,useless=84962986), ccks=151293486, wck=115.374, mem=1296M699
131.03/120.00	    decisions=2011255, wrong=876329, backtracks=867148, failedAssignments=18781, nogoods=2614
131.03/120.00	    
136.24/125.18	    num=55, depth=8778..9105, filters=48776418, revisions=(136203688,useless=88950554), ccks=159320836, wck=120.556, mem=1436M263
136.24/125.18	    decisions=2115592, wrong=924002, backtracks=913382, failedAssignments=20671, nogoods=2663
136.24/125.18	    
137.53/126.41	    num=56, depth=8889..9107, filters=49021426, revisions=(137542813,useless=90051148), ccks=160217472, wck=121.786, mem=1456M201
137.53/126.41	    decisions=2132811, wrong=928125, backtracks=915444, failedAssignments=22750, nogoods=2684
137.53/126.41	    
158.66/147.58	    num=57, depth=8999..9327, filters=61387280, revisions=(165721174,useless=106201387), ccks=198156673, wck=142.958, mem=1080M407
158.66/147.58	    decisions=2604989, wrong=1159629, backtracks=1147018, failedAssignments=25037, nogoods=2687
158.66/147.58	    
165.86/154.78	    num=58, depth=9211..9539, filters=65163405, revisions=(175247657,useless=112060186), ccks=210003888, wck=150.16, mem=1259M999
165.86/154.78	    decisions=2762264, wrong=1233613, backtracks=1219237, failedAssignments=27553, nogoods=2689
165.86/154.78	    
171.17/160.09	    num=59, depth=9329..9644, filters=67308742, revisions=(183384196,useless=118127790), ccks=217864911, wck=155.465, mem=1399M719
171.17/160.09	    decisions=2875445, wrong=1285436, backtracks=1269323, failedAssignments=30321, nogoods=2758
171.17/160.09	    
176.28/165.20	    num=60, depth=9483..9747, filters=69230606, revisions=(190824911,useless=123726846), ccks=226161423, wck=160.573, mem=1499M492
176.28/165.20	    decisions=2986322, wrong=1336073, backtracks=1318159, failedAssignments=33365, nogoods=2760
176.28/165.20	    
182.68/171.53	    num=61, depth=9446..9774, filters=72760165, revisions=(199592830,useless=129059274), ccks=237178522, wck=166.906, mem=1679M84
182.68/171.53	    decisions=3125229, wrong=1400712, backtracks=1380012, failedAssignments=36714, nogoods=2763
182.68/171.53	    
191.59/180.43	    num=62, depth=9666..9989, filters=76944548, revisions=(213626008,useless=139063159), ccks=252154153, wck=175.812, mem=921M551
191.59/180.43	    decisions=3334574, wrong=1500510, backtracks=1477828, failedAssignments=40398, nogoods=2766
191.59/180.43	    
192.99/181.85	    num=63, depth=9981..10095, filters=77225603, revisions=(215327656,useless=140494197), ccks=253184950, wck=177.226, mem=947M780
192.99/181.85	    decisions=3353059, wrong=1504707, backtracks=1477975, failedAssignments=44450, nogoods=2914
192.99/181.85	    
203.60/192.40	    num=64, depth=9984..10308, filters=83737184, revisions=(231108298,useless=149940951), ccks=273517320, wck=187.78, mem=1288M806
203.60/192.40	    decisions=3607542, wrong=1626892, backtracks=1596883, failedAssignments=48907, nogoods=3005
203.60/192.40	    
244.84/233.67	    num=65, depth=10019..10419, filters=110873320, revisions=(294341665,useless=186899410), ccks=360230334, wck=229.043, mem=1351M234
244.84/233.67	    decisions=4627527, wrong=2131783, backtracks=2101969, failedAssignments=53810, nogoods=3009
244.84/233.67	    
246.64/235.48	    num=66, depth=10335..10557, filters=111528678, revisions=(296930708,useless=188848444), ccks=362510802, wck=230.86, mem=1377M473
246.64/235.48	    decisions=4660451, wrong=2143018, backtracks=2107863, failedAssignments=59204, nogoods=3072
246.64/235.48	    
248.64/237.41	    num=67, depth=10540..10677, filters=111986277, revisions=(300043771,useless=191524822), ccks=364695076, wck=232.789, mem=1407M317
248.64/237.41	    decisions=4698622, wrong=2156780, backtracks=2116049, failedAssignments=65137, nogoods=3081
248.64/237.41	    
269.06/257.89	    num=68, depth=10870..11085, filters=125792648, revisions=(330922250,useless=209010470), ccks=406354701, wck=253.268, mem=2086M799
269.06/257.89	    decisions=5267845, wrong=2435880, backtracks=2394678, failedAssignments=71663, nogoods=3085
269.06/257.89	    
304.31/293.04	    num=69, depth=7238..10590, filters=146576248, revisions=(376591336,useless=234624090), ccks=468607749, wck=288.414, mem=1808M706
304.31/293.04	    decisions=6289818, wrong=2941670, backtracks=2900775, failedAssignments=78842, nogoods=3107
304.31/293.04	    
314.71/303.42	    num=70, depth=5621..10643, filters=153182224, revisions=(392626436,useless=244235762), ccks=489218382, wck=298.795, mem=2131M6
314.71/303.42	    decisions=6549529, wrong=3066324, backtracks=3018651, failedAssignments=86739, nogoods=3137
314.71/303.42	    
382.41/370.92	    num=71, depth=10381..10713, filters=199662296, revisions=(498660409,useless=305352670), ccks=639727542, wck=366.302, mem=1226M227
382.41/370.92	    decisions=8293881, wrong=3933259, backtracks=3885684, failedAssignments=95426, nogoods=3140
382.41/370.92	    
420.73/409.26	    num=72, depth=10489..10749, filters=218127743, revisions=(578710028,useless=367761712), ccks=714748807, wck=404.642, mem=2456M329
420.73/409.26	    decisions=9344171, wrong=4453068, backtracks=4405776, failedAssignments=104981, nogoods=3144
420.73/409.26	    
459.95/447.92	    num=73, depth=8635..10988, filters=218298285, revisions=(593944696,useless=382842782), ccks=717010155, wck=443.296, mem=2530M881
459.95/447.92	    decisions=9386019, wrong=4468645, backtracks=6529418, failedAssignments=115492, nogoods=3168
459.95/447.92	    
495.89/483.87	    num=74, depth=6680..10657, filters=231289958, revisions=(635876407,useless=412287745), ccks=760331469, wck=479.245, mem=1413M953
495.89/483.87	    decisions=10010341, wrong=4775664, backtracks=8047909, failedAssignments=127054, nogoods=3219
495.89/483.87	    
523.90/511.81	    num=75, depth=4993..10306, filters=231427680, revisions=(654601599,useless=430900777), ccks=761708662, wck=507.188, mem=1488M521
523.90/511.81	    decisions=10052113, wrong=4791530, backtracks=10641920, failedAssignments=139772, nogoods=3284
523.90/511.81	    
554.01/541.95	    num=76, depth=4985..10286, filters=231648277, revisions=(674600767,useless=450710109), ccks=763422833, wck=537.323, mem=1600M371
554.01/541.95	    decisions=10099340, wrong=4810164, backtracks=13459695, failedAssignments=153762, nogoods=3329
554.01/541.95	    
584.81/572.61	    num=77, depth=4986..10069, filters=231785350, revisions=(694017918,useless=470021488), ccks=765010836, wck=567.992, mem=1712M222
584.81/572.61	    decisions=10146995, wrong=4829065, backtracks=16386341, failedAssignments=169151, nogoods=3358
584.81/572.61	    
619.02/606.83	    num=78, depth=4877..10006, filters=231911043, revisions=(715483952,useless=491389678), ccks=766694743, wck=602.208, mem=1824M72
619.02/606.83	    decisions=10193776, wrong=4847597, backtracks=19747169, failedAssignments=186079, nogoods=3394
619.02/606.83	    
655.25/643.07	    num=79, depth=6830..9858, filters=232063503, revisions=(738029386,useless=513811950), ccks=768573092, wck=638.447, mem=1935M923
655.25/643.07	    decisions=10245339, wrong=4868599, backtracks=23359464, failedAssignments=204700, nogoods=3427
655.25/643.07	    
695.05/682.80	    num=80, depth=4812..9770, filters=233046209, revisions=(762358497,useless=537204682), ccks=773375113, wck=678.175, mem=2085M57
695.05/682.80	    decisions=10343093, wrong=4912697, backtracks=27230315, failedAssignments=225184, nogoods=3462
695.05/682.80	    
738.06/725.80	    num=81, depth=4661..9658, filters=233733354, revisions=(789494202,useless=563692770), ccks=777668480, wck=721.181, mem=2271M475
738.06/725.80	    decisions=10435313, wrong=4954102, backtracks=31509904, failedAssignments=247716, nogoods=3522
738.06/725.80	    
778.88/766.66	    num=82, depth=4736..9405, filters=234065325, revisions=(813289978,useless=587177956), ccks=780649583, wck=762.035, mem=2420M609
778.88/766.66	    decisions=10502246, wrong=4982996, backtracks=35723370, failedAssignments=272501, nogoods=3556
778.88/766.66	    
827.41/815.14	    num=83, depth=4575..9358, filters=234225335, revisions=(841707857,useless=615447957), ccks=783415699, wck=810.519, mem=2607M27
827.41/815.14	    decisions=10569781, wrong=5012204, backtracks=40821905, failedAssignments=299765, nogoods=3590
827.41/815.14	    
884.18/871.89	    num=84, depth=4644..9246, filters=240819786, revisions=(883208469,useless=650674756), ccks=808303428, wck=867.268, mem=1232M35
884.18/871.89	    decisions=11014696, wrong=5230174, backtracks=45514960, failedAssignments=329755, nogoods=3622
884.18/871.89	    
920.11/907.72	    num=85, depth=4906..8700, filters=254072130, revisions=(931034550,useless=686209760), ccks=852654220, wck=903.098, mem=1987M524
920.11/907.72	    decisions=11857146, wrong=5647084, backtracks=45922293, failedAssignments=362744, nogoods=3669
920.11/907.72	    
960.49/948.11	    num=86, depth=5205..8889, filters=268579016, revisions=(992466890,useless=734140417), ccks=907419718, wck=943.483, mem=873M96
960.49/948.11	    decisions=12830820, wrong=6129508, backtracks=46396447, failedAssignments=399032, nogoods=3719
960.49/948.11	    
1201.93/1189.21	    num=87, depth=5648..9262, filters=412857539, revisions=(1328635088,useless=930182096), ccks=1355806454, wck=1184.592, mem=1086M400
1201.93/1189.21	    decisions=18555705, wrong=8987411, backtracks=49254400, failedAssignments=438949, nogoods=3794
1201.93/1189.21	    
1209.13/1196.46	    num=88, depth=4140..9179, filters=415572875, revisions=(1344749996,useless=943725818), ccks=1368646490, wck=1191.838, mem=1278M284
1209.13/1196.46	    decisions=18741716, wrong=9075860, backtracks=49299541, failedAssignments=482858, nogoods=3901
1209.13/1196.46	    
1500.56/1487.51	    num=89, depth=8220..9295, filters=589313615, revisions=(1740343085,useless=1170652411), ccks=1902640409, wck=1482.885, mem=1352M433
1500.56/1487.51	    decisions=25725584, wrong=12563259, backtracks=52786860, failedAssignments=531158, nogoods=3908
1500.56/1487.51	    
1607.28/1594.19	    num=90, depth=4390..9371, filters=647135715, revisions=(1878949362,useless=1253517804), ccks=2083470238, wck=1589.563, mem=1883M834
1607.28/1594.19	    decisions=28391358, wrong=13891501, backtracks=54105274, failedAssignments=584288, nogoods=3923
1607.28/1594.19	    
1693.43/1680.25	    num=91, depth=4691..9443, filters=654418592, revisions=(1940231549,useless=1307901924), ccks=2117464516, wck=1675.627, mem=1488M989
1693.43/1680.25	    decisions=28976464, wrong=14179457, backtracks=62086216, failedAssignments=642731, nogoods=3947
1693.43/1680.25	    
1816.11/1802.85	    num=92, depth=4735..9395, filters=671636775, revisions=(2025223577,useless=1376416211), ccks=2180605132, wck=1798.224, mem=1653M756
1816.11/1802.85	    decisions=29965402, wrong=14669429, backtracks=72833490, failedAssignments=707018, nogoods=4008
1816.11/1802.85	    
1927.87/1914.56	    num=93, depth=5017..9297, filters=683218703, revisions=(2108172372,useless=1448586377), ccks=2231278823, wck=1909.938, mem=1684M64
1927.87/1914.56	    decisions=30919431, wrong=15141920, backtracks=83232880, failedAssignments=777734, nogoods=4094
1927.87/1914.56	    
1946.29/1932.91	    num=94, depth=3294..9087, filters=690723389, revisions=(2138907847,useless=1472112061), ccks=2260172834, wck=1928.283, mem=1104M742
1946.29/1932.91	    decisions=31368973, wrong=15362265, backtracks=83602206, failedAssignments=855521, nogoods=4237
1946.29/1932.91	    
1971.15/1957.73	    num=95, depth=3484..9019, filters=703604980, revisions=(2182693184,useless=1503417120), ccks=2306454343, wck=1953.103, mem=833M987
1971.15/1957.73	    decisions=32008720, wrong=15677713, backtracks=83832836, failedAssignments=941087, nogoods=4392
1971.15/1957.73	    
2132.03/2118.45	    num=96, depth=3556..9101, filters=790627040, revisions=(2400815313,useless=1637461586), ccks=2577167530, wck=2113.83, mem=913M786
2132.03/2118.45	    decisions=36097506, wrong=17717636, backtracks=85863335, failedAssignments=1035210, nogoods=4436
2132.03/2118.45	    
2143.83/2130.20	    num=97, depth=3957..9122, filters=797543906, revisions=(2427909085,useless=1657819608), ccks=2603621607, wck=2125.577, mem=1273M651
2143.83/2130.20	    decisions=36411891, wrong=17870368, backtracks=85913028, failedAssignments=1138745, nogoods=4541
2143.83/2130.20	    
2520.01/2505.90	
2520.01/2505.90	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391034-1568386281/watcher-4391034-1568386281 -o /tmp/evaluation-result-4391034-1568386281/solver-4391034-1568386281 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5059 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391034-1568386281.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=7684, runsolver pid=7681

[startup+0.100125 s]*
/proc/loadavg: 2.45 2.08 1.88 4/229 7699
/proc/meminfo: memFree=29325716/32770624 swapFree=66934532/67108860
[pid=7684] ppid=7681 vsize=10659884 memory=28212 CPUtime=0.13 cores=1,3,5,7
/proc/7684/stat : 7684 (java) S 7681 7684 5027 0 -1 1077944320 5642 0 0 0 12 1 0 0 20 0 15 0 414899516 10915721216 7053 33554432000 4194304 4196468 140724545665600 140724545648144 139956012748535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
/proc/7684/statm: 2664971 7053 2871 1 0 2627468 0
[pid=7684/tid=7686] ppid=7681 vsize=10659884 memory=-8124642594274839901 CPUtime=0.09 cores=1,3,5,7
/proc/7684/task/7686/stat : 7686 (java) R 7681 7684 5027 0 -1 4202560 3202 0 0 0 9 0 0 0 20 0 15 0 414899516 10915721216 7250 33554432000 4194304 4196468 140724545665600 139956016975816 139956012760470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7687] ppid=7681 vsize=10659884 memory=5793855117619177913 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7687/stat : 7687 (java) S 7681 7684 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955619752592 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7688] ppid=7681 vsize=10659884 memory=139866609284736 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7688/stat : 7688 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955618699792 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7689] ppid=7681 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7689/stat : 7689 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955617646992 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7690] ppid=7681 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7690/stat : 7690 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955616594192 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7691] ppid=7681 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7691/stat : 7691 (java) S 7681 7684 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899518 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955249703792 139956012759682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7692] ppid=7681 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7692/stat : 7692 (java) S 7681 7684 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414899519 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955248649760 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7693] ppid=7681 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7693/stat : 7693 (java) S 7681 7684 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414899519 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955247596912 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7694] ppid=7681 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7694/stat : 7694 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899521 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955246545232 139956012767131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7695] ppid=7681 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7695/stat : 7695 (java) R 7681 7684 5027 0 -1 1077944384 524 0 0 0 0 0 0 0 20 0 15 0 414899521 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955245492592 139956012759682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7696] ppid=7681 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7696/stat : 7696 (java) R 7681 7684 5027 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 15 0 414899521 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955244439792 139955994083326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7697] ppid=7681 vsize=10659884 memory=139866609284736 CPUtime=0.02 cores=1,3,5,7
/proc/7684/task/7697/stat : 7697 (java) R 7681 7684 5027 0 -1 4202560 617 0 0 0 2 0 0 0 20 0 15 0 414899521 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955243383544 139955991704822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7698] ppid=7681 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7698/stat : 7698 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899522 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955242334432 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7699] ppid=7681 vsize=10659884 memory=139866609284736 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7699/stat : 7699 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899522 10915721216 7250 33554432000 4194304 4196468 140724545665600 139955241282736 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28212 KiB

[startup+0.210861 s]*
/proc/loadavg: 2.45 2.08 1.88 3/229 7699
/proc/meminfo: memFree=29314276/32770624 swapFree=66934532/67108860
[pid=7684] ppid=7681 vsize=10659884 memory=37188 CPUtime=0.32 cores=1,3,5,7
/proc/7684/stat : 7684 (java) S 7681 7684 5027 0 -1 1077944320 9101 0 0 0 30 2 0 0 20 0 15 0 414899516 10915721216 9297 33554432000 4194304 4196468 140724545665600 140724545648144 139956012748535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
/proc/7684/statm: 2664971 9297 2971 1 0 2627468 0
[pid=7684/tid=7686] ppid=7681 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/7684/task/7686/stat : 7686 (java) R 7681 7684 5027 0 -1 4202560 6082 0 0 0 19 1 0 0 20 0 15 0 414899516 10915721216 9297 33554432000 4194304 4196468 140724545665600 139956016974896 139956012770461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7687] ppid=7681 vsize=10659884 memory=4211973592814075274 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7687/stat : 7687 (java) S 7681 7684 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955619752592 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7688] ppid=7681 vsize=10659884 memory=139866609284736 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7688/stat : 7688 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955618699792 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7689] ppid=7681 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7689/stat : 7689 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955617646992 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7690] ppid=7681 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7690/stat : 7690 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955616594192 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7691] ppid=7681 vsize=10659884 memory=139866609284736 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7691/stat : 7691 (java) S 7681 7684 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899518 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955249703792 139956012759682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7692] ppid=7681 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7692/stat : 7692 (java) S 7681 7684 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414899519 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955248649760 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7693] ppid=7681 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7693/stat : 7693 (java) S 7681 7684 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414899519 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955247596912 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7694] ppid=7681 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7694/stat : 7694 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899521 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955246545232 139956012767131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7695] ppid=7681 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7684/task/7695/stat : 7695 (java) S 7681 7684 5027 0 -1 1077944384 696 0 0 0 3 0 0 0 20 0 15 0 414899521 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955245492592 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7696] ppid=7681 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/7684/task/7696/stat : 7696 (java) S 7681 7684 5027 0 -1 1077944384 257 0 0 0 3 0 0 0 20 0 15 0 414899521 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955244439792 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7697] ppid=7681 vsize=10659884 memory=139866609284736 CPUtime=0.05 cores=1,3,5,7
/proc/7684/task/7697/stat : 7697 (java) S 7681 7684 5027 0 -1 1077944384 707 0 0 0 5 0 0 0 20 0 15 0 414899521 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955243386992 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7698] ppid=7681 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7698/stat : 7698 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899522 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955242334432 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7699] ppid=7681 vsize=10659884 memory=139866609284736 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7699/stat : 7699 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899522 10915721216 9297 33554432000 4194304 4196468 140724545665600 139955241282736 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37188 KiB

[startup+0.310385 s]*
/proc/loadavg: 2.45 2.08 1.88 3/229 7699
/proc/meminfo: memFree=29312468/32770624 swapFree=66934532/67108860
[pid=7684] ppid=7681 vsize=10659884 memory=40252 CPUtime=0.47 cores=1,3,5,7
/proc/7684/stat : 7684 (java) S 7681 7684 5027 0 -1 1077944320 9319 0 0 0 44 3 0 0 20 0 15 0 414899516 10915721216 10063 33554432000 4194304 4196468 140724545665600 140724545648144 139956012748535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
/proc/7684/statm: 2664971 10063 3009 1 0 2627468 0
[pid=7684/tid=7686] ppid=7681 vsize=10659884 memory=7377246124687064083 CPUtime=0.3 cores=1,3,5,7
/proc/7684/task/7686/stat : 7686 (java) R 7681 7684 5027 0 -1 4202560 6236 0 0 0 28 2 0 0 20 0 15 0 414899516 10915721216 10063 33554432000 4194304 4196468 140724545665600 139956016980336 139956012770461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7687] ppid=7681 vsize=10659884 memory=4211973592814075274 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7687/stat : 7687 (java) S 7681 7684 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955619752592 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7688] ppid=7681 vsize=10659884 memory=139866609289763 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7688/stat : 7688 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955618699792 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7689] ppid=7681 vsize=10659884 memory=139866482523597 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7689/stat : 7689 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955617646992 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7690] ppid=7681 vsize=10659884 memory=139866482527695 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7690/stat : 7690 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955616594192 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7691] ppid=7681 vsize=10659884 memory=139866609289794 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7691/stat : 7691 (java) S 7681 7684 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899518 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955249703792 139956012759682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7692] ppid=7681 vsize=10659884 memory=139866482536879 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7692/stat : 7692 (java) S 7681 7684 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414899519 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955248649760 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7693] ppid=7681 vsize=10659884 memory=279732965064592 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7693/stat : 7693 (java) S 7681 7684 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414899519 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955247596912 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7694] ppid=7681 vsize=10659884 memory=279732965062288 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7694/stat : 7694 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899521 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955246545232 139956012767131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7695] ppid=7681 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7684/task/7695/stat : 7695 (java) S 7681 7684 5027 0 -1 1077944384 712 0 0 0 3 0 0 0 20 0 15 0 414899521 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955245492592 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7696] ppid=7681 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/7684/task/7696/stat : 7696 (java) S 7681 7684 5027 0 -1 1077944384 284 0 0 0 4 0 0 0 20 0 15 0 414899521 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955244439792 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7697] ppid=7681 vsize=10659884 memory=139866609284736 CPUtime=0.08 cores=1,3,5,7
/proc/7684/task/7697/stat : 7697 (java) S 7681 7684 5027 0 -1 1077944384 734 0 0 0 8 0 0 0 20 0 15 0 414899521 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955243386992 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7698] ppid=7681 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7698/stat : 7698 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899522 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955242334432 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7699] ppid=7681 vsize=10659884 memory=139866609284736 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7699/stat : 7699 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899522 10915721216 10063 33554432000 4194304 4196468 140724545665600 139955241282736 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40252 KiB

[startup+0.700756 s]
/proc/loadavg: 2.45 2.08 1.88 3/229 7699
/proc/meminfo: memFree=29301960/32770624 swapFree=66934532/67108860
[pid=7684] ppid=7681 vsize=10661932 memory=63536 CPUtime=1.11 cores=1,3,5,7
/proc/7684/stat : 7684 (java) S 7681 7684 5027 0 -1 1077944320 12947 0 0 0 106 5 0 0 20 0 15 0 414899516 10917818368 15884 33554432000 4194304 4196468 140724545665600 140724545648144 139956012748535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
/proc/7684/statm: 2665483 15884 3059 1 0 2627980 0
[pid=7684/tid=7686] ppid=7681 vsize=10661932 memory=3932 CPUtime=0.68 cores=1,3,5,7
/proc/7684/task/7686/stat : 7686 (java) R 7681 7684 5027 0 -1 4202560 8786 0 0 0 64 4 0 0 20 0 15 0 414899516 10917818368 15884 33554432000 4194304 4196468 140724545665600 139956016971472 139955995935365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7687] ppid=7681 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7687/stat : 7687 (java) S 7681 7684 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899517 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955619752592 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7688] ppid=7681 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7688/stat : 7688 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955618699792 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7689] ppid=7681 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7689/stat : 7689 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955617646992 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7690] ppid=7681 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7690/stat : 7690 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955616594192 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7691] ppid=7681 vsize=10661932 memory=5787500903046145365 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7691/stat : 7691 (java) S 7681 7684 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899518 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955249703792 139956012759682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7692] ppid=7681 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7692/stat : 7692 (java) S 7681 7684 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414899519 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955248649760 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7693] ppid=7681 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7693/stat : 7693 (java) S 7681 7684 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414899519 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955247596912 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7694] ppid=7681 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7694/stat : 7694 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899521 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955246545232 139956012767131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7695] ppid=7681 vsize=10661932 memory=347 CPUtime=0.12 cores=1,3,5,7
/proc/7684/task/7695/stat : 7695 (java) R 7681 7684 5027 0 -1 4202560 1046 0 0 0 12 0 0 0 20 0 15 0 414899521 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955245492592 139955990637728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7696] ppid=7681 vsize=10661932 memory=10 CPUtime=0.1 cores=1,3,5,7
/proc/7684/task/7696/stat : 7696 (java) S 7681 7684 5027 0 -1 1077944384 561 0 0 0 10 0 0 0 20 0 15 0 414899521 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955244439792 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7697] ppid=7681 vsize=10661932 memory=26483 CPUtime=0.18 cores=1,3,5,7
/proc/7684/task/7697/stat : 7697 (java) S 7681 7684 5027 0 -1 1077944384 1195 0 0 0 18 0 0 0 20 0 15 0 414899521 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955243386992 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7698] ppid=7681 vsize=10661932 memory=279732965248496 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7698/stat : 7698 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414899522 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955242334432 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7699] ppid=7681 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7699/stat : 7699 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899522 10917818368 15884 33554432000 4194304 4196468 140724545665600 139955241282736 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63536 KiB

[startup+1.50076 s]
/proc/loadavg: 2.45 2.08 1.88 3/229 7699
/proc/meminfo: memFree=29285528/32770624 swapFree=66934532/67108860
[pid=7684] ppid=7681 vsize=10663980 memory=75728 CPUtime=1.98 cores=1,3,5,7
/proc/7684/stat : 7684 (java) S 7681 7684 5027 0 -1 1077944320 17036 0 0 0 192 6 0 0 20 0 15 0 414899516 10919915520 18932 33554432000 4194304 4196468 140724545665600 140724545648144 139956012748535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
/proc/7684/statm: 2665995 18932 3088 1 0 2628492 0
[pid=7684/tid=7686] ppid=7681 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/7684/task/7686/stat : 7686 (java) R 7681 7684 5027 0 -1 4202560 11878 0 0 0 143 5 0 0 20 0 15 0 414899516 10919915520 18932 33554432000 4194304 4196468 140724545665600 139956016988816 139955993020272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7687] ppid=7681 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7687/stat : 7687 (java) S 7681 7684 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414899517 10919915520 18932 33554432000 4194304 4196468 140724545665600 139955619752592 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7688] ppid=7681 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7688/stat : 7688 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10919915520 18932 33554432000 4194304 4196468 140724545665600 139955618699792 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7689] ppid=7681 vsize=10663980 memory=-6305712810598490752 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7689/stat : 7689 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10919915520 18932 33554432000 4194304 4196468 140724545665600 139955617646992 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7690] ppid=7681 vsize=10663980 memory=4945963501679386240 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7690/stat : 7690 (java) S 7681 7684 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414899517 10919915520 18932 33554432000 4194304 4196468 140724545665600 139955616594192 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7691] ppid=7681 vsize=10663980 memory=-6152018833316405599 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7691/stat : 7691 (java) S 7681 7684 5027 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 414899518 10919915520 18932 33554432000 4194304 4196468 140724545665600 139955249703792 139956012759682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0

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

/proc/7684/task/7690/stat : 7690 (java) S 7681 7684 5027 0 -1 1077944384 23927 0 0 0 114 41 0 0 20 0 16 0 414899517 11006283776 378006 33554432000 4194304 4196468 140724545665600 139955616594192 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7691] ppid=7681 vsize=10748324 memory=1528440 CPUtime=0.13 cores=1,3,5,7
/proc/7684/task/7691/stat : 7691 (java) S 7681 7684 5027 0 -1 1077944384 17739 0 0 0 9 4 0 0 20 0 16 0 414899518 11006283776 378006 33554432000 4194304 4196468 140724545665600 139955249703792 139956012759682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7692] ppid=7681 vsize=10748324 memory=1512024 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7692/stat : 7692 (java) S 7681 7684 5027 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414899519 11006283776 378006 33554432000 4194304 4196468 140724545665600 139955248649824 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7693] ppid=7681 vsize=10748324 memory=1528440 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7693/stat : 7693 (java) S 7681 7684 5027 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414899519 11006283776 378006 33554432000 4194304 4196468 140724545665600 139955247596928 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7694] ppid=7681 vsize=10748324 memory=1528440 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7694/stat : 7694 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899521 11006283776 378006 33554432000 4194304 4196468 140724545665600 139955246545232 139956012767131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7695] ppid=7681 vsize=10748324 memory=1512024 CPUtime=3.78 cores=1,3,5,7
/proc/7684/task/7695/stat : 7695 (java) S 7681 7684 5027 0 -1 1077944384 18013 0 0 0 376 2 0 0 20 0 16 0 414899521 11006283776 378006 33554432000 4194304 4196468 140724545665600 139955245492592 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7696] ppid=7681 vsize=10748324 memory=1512024 CPUtime=3.75 cores=1,3,5,7
/proc/7684/task/7696/stat : 7696 (java) S 7681 7684 5027 0 -1 1077944384 17382 0 0 0 373 2 0 0 20 0 16 0 414899521 11006283776 378006 33554432000 4194304 4196468 140724545665600 139955244439792 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7697] ppid=7681 vsize=10748324 memory=1512024 CPUtime=1.17 cores=1,3,5,7
/proc/7684/task/7697/stat : 7697 (java) S 7681 7684 5027 0 -1 1077944384 19842 0 0 0 114 3 0 0 20 0 16 0 414899521 11006283776 378006 33554432000 4194304 4196468 140724545665600 139955243386992 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7698] ppid=7681 vsize=10748324 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7698/stat : 7698 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899522 11006283776 378006 33554432000 4194304 4196468 140724545665600 139955242334432 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7699] ppid=7681 vsize=10748324 memory=744 CPUtime=0.56 cores=1,3,5,7
/proc/7684/task/7699/stat : 7699 (java) S 7681 7684 5027 0 -1 1077944384 2283 0 0 0 25 31 0 0 20 0 16 0 414899522 11006283776 378006 33554432000 4194304 4196468 140724545665600 139955241282736 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7700] ppid=7681 vsize=10748324 memory=8296 CPUtime=2438.72 cores=1,3,5,7
/proc/7684/task/7700/stat : 7700 (java) R 7681 7684 5027 0 -1 4202560 78743 0 0 0 243848 24 0 0 20 0 16 0 414899703 11006283776 378006 33554432000 4194304 4196468 140724545665600 139955224510192 139955623708051 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
Current children cumulated CPU time: 2456.34 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1512024 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.11 1.50 2/208 8003
/proc/meminfo: memFree=29698808/32770624 swapFree=66934572/67108860
[pid=7684] ppid=7681 vsize=10748324 memory=1454628 CPUtime=2516.41 cores=1,3,5,7
/proc/7684/stat : 7684 (java) S 7681 7684 5027 0 -1 1077944320 257385 0 0 0 251396 245 0 0 20 0 16 0 414899516 11006283776 363657 33554432000 4194304 4196468 140724545665600 140724545648144 139956012748535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
/proc/7684/statm: 2687081 363657 3383 1 0 2647217 0
[pid=7684/tid=7686] ppid=7681 vsize=10748324 memory=1454628 CPUtime=1.84 cores=1,3,5,7
/proc/7684/task/7686/stat : 7686 (java) S 7681 7684 5027 0 -1 1077944384 13929 0 0 0 178 6 0 0 20 0 16 0 414899516 11006283776 363657 33554432000 4194304 4196468 140724545665600 139956016991408 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7687] ppid=7681 vsize=10748324 memory=1470016 CPUtime=1.58 cores=1,3,5,7
/proc/7684/task/7687/stat : 7687 (java) S 7681 7684 5027 0 -1 1077944384 18396 0 0 0 113 45 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955619752592 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7688] ppid=7681 vsize=10748324 memory=1500284 CPUtime=1.57 cores=1,3,5,7
/proc/7684/task/7688/stat : 7688 (java) S 7681 7684 5027 0 -1 1077944384 19292 0 0 0 115 42 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955618699792 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7689] ppid=7681 vsize=10748324 memory=1484896 CPUtime=1.62 cores=1,3,5,7
/proc/7684/task/7689/stat : 7689 (java) S 7681 7684 5027 0 -1 1077944384 24917 0 0 0 115 47 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955617646992 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7690] ppid=7681 vsize=10748324 memory=1470016 CPUtime=1.57 cores=1,3,5,7
/proc/7684/task/7690/stat : 7690 (java) S 7681 7684 5027 0 -1 1077944384 24594 0 0 0 116 41 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955616594192 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7691] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0.14 cores=1,3,5,7
/proc/7684/task/7691/stat : 7691 (java) S 7681 7684 5027 0 -1 1077944384 17936 0 0 0 10 4 0 0 20 0 16 0 414899518 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955249703792 139956012759682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7692] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7692/stat : 7692 (java) S 7681 7684 5027 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414899519 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955248649824 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7693] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7693/stat : 7693 (java) S 7681 7684 5027 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414899519 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955247596928 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7694] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7694/stat : 7694 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955246545232 139956012767131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7695] ppid=7681 vsize=10748324 memory=1454628 CPUtime=3.78 cores=1,3,5,7
/proc/7684/task/7695/stat : 7695 (java) S 7681 7684 5027 0 -1 1077944384 18015 0 0 0 376 2 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955245492592 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7696] ppid=7681 vsize=10748324 memory=1454628 CPUtime=3.75 cores=1,3,5,7
/proc/7684/task/7696/stat : 7696 (java) S 7681 7684 5027 0 -1 1077944384 17385 0 0 0 373 2 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955244439792 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7697] ppid=7681 vsize=10748324 memory=1454628 CPUtime=1.17 cores=1,3,5,7
/proc/7684/task/7697/stat : 7697 (java) S 7681 7684 5027 0 -1 1077944384 19844 0 0 0 114 3 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955243386992 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7698] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7698/stat : 7698 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899522 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955242334432 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7699] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0.57 cores=1,3,5,7
/proc/7684/task/7699/stat : 7699 (java) S 7681 7684 5027 0 -1 1077944384 2313 0 0 0 25 32 0 0 20 0 16 0 414899522 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955241282736 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7700] ppid=7681 vsize=10748324 memory=3848 CPUtime=2498.7 cores=1,3,5,7
/proc/7684/task/7700/stat : 7700 (java) R 7681 7684 5027 0 -1 4202560 79342 0 0 0 249846 24 0 0 20 0 16 0 414899703 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955224510192 139955629925795 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
Current children cumulated CPU time: 2516.41 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1454628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2505.9 s]
/proc/loadavg: 1.00 1.11 1.49 2/208 8003
/proc/meminfo: memFree=29698776/32770624 swapFree=66934572/67108860
[pid=7684] ppid=7681 vsize=10748324 memory=1454628 CPUtime=2520.01 cores=1,3,5,7
/proc/7684/stat : 7684 (java) S 7681 7684 5027 0 -1 1077944320 257385 0 0 0 251756 245 0 0 20 0 16 0 414899516 11006283776 363657 33554432000 4194304 4196468 140724545665600 140724545648144 139956012748535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
/proc/7684/statm: 2687081 363657 3383 1 0 2647217 0
[pid=7684/tid=7686] ppid=7681 vsize=10748324 memory=1454628 CPUtime=1.84 cores=1,3,5,7
/proc/7684/task/7686/stat : 7686 (java) S 7681 7684 5027 0 -1 1077944384 13929 0 0 0 178 6 0 0 20 0 16 0 414899516 11006283776 363657 33554432000 4194304 4196468 140724545665600 139956016991408 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7687] ppid=7681 vsize=10748324 memory=1470016 CPUtime=1.58 cores=1,3,5,7
/proc/7684/task/7687/stat : 7687 (java) S 7681 7684 5027 0 -1 1077944384 18396 0 0 0 113 45 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955619752592 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7688] ppid=7681 vsize=10748324 memory=1500284 CPUtime=1.57 cores=1,3,5,7
/proc/7684/task/7688/stat : 7688 (java) S 7681 7684 5027 0 -1 1077944384 19292 0 0 0 115 42 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955618699792 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7689] ppid=7681 vsize=10748324 memory=1484896 CPUtime=1.62 cores=1,3,5,7
/proc/7684/task/7689/stat : 7689 (java) S 7681 7684 5027 0 -1 1077944384 24917 0 0 0 115 47 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955617646992 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7690] ppid=7681 vsize=10748324 memory=1470016 CPUtime=1.57 cores=1,3,5,7
/proc/7684/task/7690/stat : 7690 (java) S 7681 7684 5027 0 -1 1077944384 24594 0 0 0 116 41 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955616594192 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7691] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0.14 cores=1,3,5,7
/proc/7684/task/7691/stat : 7691 (java) S 7681 7684 5027 0 -1 1077944384 17936 0 0 0 10 4 0 0 20 0 16 0 414899518 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955249703792 139956012759682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7692] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7692/stat : 7692 (java) S 7681 7684 5027 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414899519 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955248649824 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7693] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7693/stat : 7693 (java) S 7681 7684 5027 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414899519 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955247596928 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7694] ppid=7681 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7694/stat : 7694 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955246545232 139956012767131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7695] ppid=7681 vsize=10748324 memory=1454628 CPUtime=3.78 cores=1,3,5,7
/proc/7684/task/7695/stat : 7695 (java) S 7681 7684 5027 0 -1 1077944384 18015 0 0 0 376 2 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955245492592 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7696] ppid=7681 vsize=10748324 memory=1454628 CPUtime=3.75 cores=1,3,5,7
/proc/7684/task/7696/stat : 7696 (java) S 7681 7684 5027 0 -1 1077944384 17385 0 0 0 373 2 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955244439792 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7697] ppid=7681 vsize=10748324 memory=744 CPUtime=1.17 cores=1,3,5,7
/proc/7684/task/7697/stat : 7697 (java) S 7681 7684 5027 0 -1 1077944384 19844 0 0 0 114 3 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955243386992 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7698] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7698/stat : 7698 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899522 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955242334432 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7699] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0.57 cores=1,3,5,7
/proc/7684/task/7699/stat : 7699 (java) S 7681 7684 5027 0 -1 1077944384 2313 0 0 0 25 32 0 0 20 0 16 0 414899522 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955241282736 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7700] ppid=7681 vsize=10748324 memory=1564 CPUtime=2502.3 cores=1,3,5,7
/proc/7684/task/7700/stat : 7700 (java) R 7681 7684 5027 0 -1 4202560 79342 0 0 0 250206 24 0 0 20 0 16 0 414899703 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955224510192 139955623863141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1454628 KiB

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

[startup+2505.92 s]
# the end of solver process 7684 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.58 s, system=2.46233 s

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

[startup+2505.9 s]
/proc/loadavg: 1.00 1.11 1.49 2/208 8003
/proc/meminfo: memFree=29698776/32770624 swapFree=66934572/67108860
[pid=7684] ppid=7681 vsize=10748324 memory=1454628 CPUtime=2520.01 cores=1,3,5,7
/proc/7684/stat : 7684 (java) S 7681 7684 5027 0 -1 1077944320 257385 0 0 0 251756 245 0 0 20 0 16 0 414899516 11006283776 363657 33554432000 4194304 4196468 140724545665600 140724545648144 139956012748535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
/proc/7684/statm: 2687081 363657 3383 1 0 2647217 0
[pid=7684/tid=7686] ppid=7681 vsize=10748324 memory=1454628 CPUtime=1.84 cores=1,3,5,7
/proc/7684/task/7686/stat : 7686 (java) S 7681 7684 5027 0 -1 1077944384 13929 0 0 0 178 6 0 0 20 0 16 0 414899516 11006283776 363657 33554432000 4194304 4196468 140724545665600 139956016991408 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7687] ppid=7681 vsize=10748324 memory=1470016 CPUtime=1.58 cores=1,3,5,7
/proc/7684/task/7687/stat : 7687 (java) S 7681 7684 5027 0 -1 1077944384 18396 0 0 0 113 45 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955619752592 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7688] ppid=7681 vsize=10748324 memory=1500284 CPUtime=1.57 cores=1,3,5,7
/proc/7684/task/7688/stat : 7688 (java) S 7681 7684 5027 0 -1 1077944384 19292 0 0 0 115 42 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955618699792 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7689] ppid=7681 vsize=10748324 memory=1484896 CPUtime=1.62 cores=1,3,5,7
/proc/7684/task/7689/stat : 7689 (java) S 7681 7684 5027 0 -1 1077944384 24917 0 0 0 115 47 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955617646992 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7690] ppid=7681 vsize=10748324 memory=1470016 CPUtime=1.57 cores=1,3,5,7
/proc/7684/task/7690/stat : 7690 (java) S 7681 7684 5027 0 -1 1077944384 24594 0 0 0 116 41 0 0 20 0 16 0 414899517 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955616594192 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7691] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0.14 cores=1,3,5,7
/proc/7684/task/7691/stat : 7691 (java) S 7681 7684 5027 0 -1 1077944384 17936 0 0 0 10 4 0 0 20 0 16 0 414899518 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955249703792 139956012759682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7692] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7692/stat : 7692 (java) S 7681 7684 5027 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414899519 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955248649824 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7693] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7693/stat : 7693 (java) S 7681 7684 5027 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414899519 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955247596928 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7694] ppid=7681 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7694/stat : 7694 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955246545232 139956012767131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7695] ppid=7681 vsize=10748324 memory=1454628 CPUtime=3.78 cores=1,3,5,7
/proc/7684/task/7695/stat : 7695 (java) S 7681 7684 5027 0 -1 1077944384 18015 0 0 0 376 2 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955245492592 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7696] ppid=7681 vsize=10748324 memory=1454628 CPUtime=3.75 cores=1,3,5,7
/proc/7684/task/7696/stat : 7696 (java) S 7681 7684 5027 0 -1 1077944384 17385 0 0 0 373 2 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955244439792 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7697] ppid=7681 vsize=10748324 memory=744 CPUtime=1.17 cores=1,3,5,7
/proc/7684/task/7697/stat : 7697 (java) S 7681 7684 5027 0 -1 1077944384 19844 0 0 0 114 3 0 0 20 0 16 0 414899521 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955243386992 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7698] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0 cores=1,3,5,7
/proc/7684/task/7698/stat : 7698 (java) S 7681 7684 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414899522 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955242334432 139956012758741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7699] ppid=7681 vsize=10748324 memory=1454628 CPUtime=0.57 cores=1,3,5,7
/proc/7684/task/7699/stat : 7699 (java) S 7681 7684 5027 0 -1 1077944384 2313 0 0 0 25 32 0 0 20 0 16 0 414899522 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955241282736 139956012759682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
[pid=7684/tid=7700] ppid=7681 vsize=10748324 memory=1564 CPUtime=2502.3 cores=1,3,5,7
/proc/7684/task/7700/stat : 7700 (java) R 7681 7684 5027 0 -1 4202560 79342 0 0 0 250206 24 0 0 20 0 16 0 414899703 11006283776 363657 33554432000 4194304 4196468 140724545665600 139955224510192 139955623863141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35667968 140724545668107 140724545668210 140724545668210 140724545671119 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1454628 KiB

Child status: 143
Real time (s): 2505.92
CPU time (s): 2520.04
CPU user time (s): 2517.58
CPU system time (s): 2.46233
CPU usage (%): 100.564
Max. virtual memory (cumulated for all children) (KiB): 10748336
Max. memory (cumulated for all children) (KiB): 2932824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.58
system time used= 2.46232
maximum resident set size= 2953304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257744
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59090
involuntary context switches= 907


# summary of solver processes directly reported to runsolver:
#   pid: 7684
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2517.58
#   total CPU system time (s): 2.46233

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6658 second user time and 22.7026 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-13 16:50:41
IDJOB=4391034
IDBENCH=139525
IDSOLVER=2832
FILE ID=node151/4391034-1568386281
RUNJOBID= node151-1568380476-5059
PBS_JOBID= 21701820
Free space on /tmp= 56992 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_13_19.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391034-1568386281/watcher-4391034-1568386281 -o /tmp/evaluation-result-4391034-1568386281/solver-4391034-1568386281 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568380476-5059 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391034-1568386281.xml -cm

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

MD5SUM BENCH= 517edee816e601fa237873c001bf01e9
RANDOM SEED=731784301

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29341164 kB
MemAvailable:   30061536 kB
Buffers:          156204 kB
Cached:           854196 kB
SwapCached:        71684 kB
Active:          2314836 kB
Inactive:         559880 kB
Active(anon):    1799592 kB
Inactive(anon):    96860 kB
Active(file):     515244 kB
Inactive(file):   463020 kB
Unevictable:      110832 kB
Mlocked:          110832 kB
SwapTotal:      67108860 kB
SwapFree:       66934532 kB
Dirty:              8640 kB
Writeback:             0 kB
AnonPages:       1911984 kB
Mapped:            48676 kB
Shmem:             23772 kB
Slab:             144640 kB
SReclaimable:     115888 kB
SUnreclaim:        28752 kB
KernelStack:        4016 kB
PageTables:         9236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3407728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1779712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 59300 MiB
End job on node151 at 2019-09-13 17:32:28