Trace number 4391335

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

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

Solver Data 

2.83/2.13	
2.83/2.13	AbsCon 2 
2.83/2.14	
4.47/2.61	  Instance
4.47/2.61	    name=instance-4391335-1568391130, framework=COP, bounds=-infty..+infty
4.47/2.61	
4.47/2.61	  Loading variables...
5.14/2.88	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2314b3a3
11.53/4.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ac91a16
11.53/4.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6411dea5
11.53/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@761d42c7
11.53/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a180bd1
11.53/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62e5d0d3
11.53/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c3e091
11.53/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f807f79
11.53/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f8b952
11.53/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad8d4b
11.53/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64c4a119
11.53/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd8423
11.53/4.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e6ca33
11.53/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52b17d54
11.53/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e2a8c0f
11.53/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24bb7865
11.53/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d301470
11.53/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@363067
11.53/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fe9e69c
11.53/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69967e9f
11.53/4.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54a8fd96
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400b8de6
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed0d652
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@534fdb2e
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78204967
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22079211
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba4aef8
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f084762
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dfa4857
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f982cd8
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c698485
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ea931e
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375e24bd
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@197d3981
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2631201b
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c71813
11.53/4.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8ac542
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67724764
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ece77d8
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ae651fc
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c720d99
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78958a96
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b11554f
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d34b2e4
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4741f57a
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c0b7eba
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39c1948c
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6884a192
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36f3dc5c
11.53/4.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b483f4d
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aa1959a
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a9fef91
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bae92f4
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e390a4
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7f4505
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0ca6f6
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ce3156
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@681f9a08
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b6e1b2
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660df2c2
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ddd23ed
11.53/4.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71166715
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497ec550
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53479b0c
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3361043c
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1637650c
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@713fb1a6
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfd84d4
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b8c33a0
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4663f434
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b4e0da4
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d8a5177
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef79030
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b9eeb18
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@501ca3dc
11.53/4.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68bae50b
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@296c948e
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52d06608
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df83b2b
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b93fc33
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f819345
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30045dde
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@462e27ff
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62fa1b2b
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@440657c0
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e5b92c
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15c073f5
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c4d8384
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d9d0352
11.53/4.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba4b1ce
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61add2d0
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9946d4
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b0cfdbc
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e9972e
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ec942ff
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50531d6c
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@234a27bd
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@588fe3bf
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa7d0d5
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61a1324a
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e652351
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3550306b
11.53/4.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2691165d
11.53/4.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@142c0b9d
11.53/4.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45831046
11.53/4.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c15ef01
11.53/4.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c5ea7b1
11.53/4.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c29e2c6
11.53/4.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6093f73f
11.53/4.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77e20c2b
11.53/4.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2e56b0
11.53/4.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28fa7dd2
11.86/4.99	
11.86/4.99	
11.86/4.99	  Domains
11.86/4.99	    nTypes=4, nValues=44622, sizes=[2#12321,18#111,51#111,111#111]
11.86/4.99	  Variables
11.86/4.99	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.86/4.99	  Objectives
11.86/4.99	    way=min, type=SumSimpleLE
11.86/4.99	  Constraints
11.86/4.99	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.86/4.99	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.86/4.99	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.86/4.99	    wck=2.898, cpu=4.505, mem=931M876
12.23/5.02	  Solver SolverBacktrack being built...
12.23/5.02	
12.56/5.14	
12.56/5.14	  Solver
12.56/5.14	    guaranteedGAC=false
12.56/5.14	    wck=3.047, cpu=4.653, mem=963M563
13.90/5.94	
13.90/5.94	  Preprocessing
13.90/5.94	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.90/5.94	    wck=0.793, cpu=5.45, mem=971M459
13.90/5.94	
14.18/6.01	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.865, mem=971M459
14.18/6.01	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
14.18/6.01	    
14.18/6.06	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.915, mem=971M459
14.18/6.06	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
14.18/6.06	    
14.49/6.11	    num=2, depth=220..220, filters=4236, revisions=(38962,useless=34765), ccks=1397675, wck=0.97, mem=971M459
14.49/6.11	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
14.49/6.11	    
14.49/6.18	    num=3, depth=329..329, filters=6082, revisions=(54504,useless=48483), ccks=1408602, wck=1.039, mem=971M459
14.49/6.18	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
14.49/6.18	    
14.76/6.26	    num=4, depth=438..438, filters=8144, revisions=(76485,useless=68429), ccks=1419946, wck=1.116, mem=971M459
14.76/6.26	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
14.76/6.26	    
14.91/6.35	    num=5, depth=547..547, filters=10583, revisions=(108679,useless=98249), ccks=1435287, wck=1.211, mem=971M459
14.91/6.35	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.91/6.35	    
15.06/6.46	    num=6, depth=656..656, filters=13171, revisions=(143760,useless=130780), ccks=1447759, wck=1.318, mem=971M459
15.06/6.46	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
15.06/6.46	    
15.20/6.59	    num=7, depth=763..763, filters=16554, revisions=(212035,useless=195961), ccks=1475067, wck=1.451, mem=971M459
15.20/6.59	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
15.20/6.59	    
15.42/6.74	    num=8, depth=872..872, filters=20202, revisions=(284862,useless=265416), ccks=1501153, wck=1.599, mem=971M459
15.42/6.74	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
15.42/6.74	    
15.62/6.91	    num=9, depth=980..980, filters=24374, revisions=(376562,useless=353339), ccks=1534034, wck=1.766, mem=971M459
15.62/6.91	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
15.62/6.91	    
15.79/7.09	    num=10, depth=1089..1089, filters=28841, revisions=(474923,useless=447634), ccks=1567596, wck=1.947, mem=971M459
15.79/7.09	    decisions=6478, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
15.79/7.09	    
16.00/7.29	    num=11, depth=1198..1198, filters=33685, revisions=(580167,useless=548442), ccks=1602109, wck=2.143, mem=974M38
16.00/7.29	    decisions=7732, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
16.00/7.29	    
16.26/7.49	    num=12, depth=1307..1307, filters=38959, revisions=(695735,useless=659182), ccks=1640500, wck=2.352, mem=974M38
16.26/7.49	    decisions=9101, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
16.26/7.49	    
16.58/7.72	    num=13, depth=1416..1416, filters=44598, revisions=(818519,useless=776783), ccks=1680040, wck=2.576, mem=974M38
16.58/7.72	    decisions=10585, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
16.58/7.72	    
16.78/7.96	    num=14, depth=1524..1526, filters=51108, revisions=(964616,useless=916984), ccks=1730427, wck=2.822, mem=974M38
16.78/7.96	    decisions=12185, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
16.78/7.96	    
17.09/8.23	    num=15, depth=1630..1631, filters=58518, revisions=(1134472,useless=1080209), ccks=1792811, wck=3.087, mem=974M38
17.09/8.23	    decisions=13898, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
17.09/8.23	    
17.41/8.53	    num=16, depth=1848..1849, filters=66694, revisions=(1329751,useless=1268214), ccks=1872851, wck=3.388, mem=974M38
17.41/8.53	    decisions=15837, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
17.41/8.53	    
17.71/8.86	    num=17, depth=2066..2068, filters=75754, revisions=(1542570,useless=1472924), ccks=1945887, wck=3.718, mem=974M38
17.71/8.86	    decisions=18005, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
17.71/8.86	    
18.11/9.22	    num=18, depth=2283..2284, filters=85604, revisions=(1777149,useless=1698694), ccks=2031549, wck=4.079, mem=974M38
18.11/9.22	    decisions=20399, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
18.11/9.22	    
18.52/9.61	    num=19, depth=2501..2502, filters=96229, revisions=(2025494,useless=1937469), ccks=2110906, wck=4.469, mem=974M38
18.52/9.61	    decisions=23023, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
18.52/9.61	    
18.94/10.03	    num=20, depth=2719..2720, filters=107593, revisions=(2287605,useless=2189285), ccks=2192135, wck=4.887, mem=974M38
18.94/10.03	    decisions=25877, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
18.94/10.03	    
19.33/10.48	    num=21, depth=2937..2939, filters=120092, revisions=(2571585,useless=2461921), ccks=2282397, wck=5.338, mem=979M670
19.33/10.48	    decisions=28964, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
19.33/10.48	    
19.83/10.98	    num=22, depth=3262..3264, filters=134083, revisions=(2897530,useless=2775251), ccks=2388253, wck=5.835, mem=979M670
19.83/10.98	    decisions=32390, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
19.83/10.98	    
20.43/11.52	    num=23, depth=3588..3590, filters=149343, revisions=(3251008,useless=3114932), ccks=2498562, wck=6.373, mem=979M670
20.43/11.52	    decisions=36158, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
20.43/11.52	    
20.94/12.10	    num=24, depth=3914..3916, filters=166042, revisions=(3640455,useless=3489305), ccks=2620586, wck=6.957, mem=979M670
20.94/12.10	    decisions=40270, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
20.94/12.10	    
23.61/13.24	    num=25, depth=4241..4244, filters=184160, revisions=(4055546,useless=3887968), ccks=2749818, wck=8.099, mem=720M95
23.61/13.24	    decisions=44730, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
23.61/13.24	    
24.31/13.91	    num=26, depth=4674..4677, filters=204432, revisions=(4526813,useless=4340949), ccks=2897701, wck=8.768, mem=720M95
24.31/13.91	    decisions=49645, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
24.31/13.91	    
25.01/14.63	    num=27, depth=5110..5113, filters=226290, revisions=(5025612,useless=4819904), ccks=3049544, wck=9.485, mem=720M95
25.01/14.63	    decisions=55020, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
25.01/14.63	    
25.71/15.39	    num=28, depth=5546..5550, filters=249882, revisions=(5552276,useless=5325020), ccks=3205782, wck=10.246, mem=727M975
25.71/15.39	    decisions=60858, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
25.71/15.39	    
26.62/16.22	    num=29, depth=6091..6095, filters=275489, revisions=(6113133,useless=5862348), ccks=3369852, wck=11.079, mem=727M975
26.62/16.22	    decisions=67269, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
26.62/16.22	    
27.54/17.12	    num=30, depth=6636..6640, filters=303077, revisions=(6708627,useless=6432369), ccks=3538973, wck=11.974, mem=735M856
27.54/17.12	    decisions=74257, wrong=1806, backtracks=0, failedAssignments=1806, nogoods=1806
27.54/17.12	    
28.49/18.08	    num=31, depth=7040..7160, filters=333076, revisions=(7351236,useless=7047290), ccks=3719718, wck=12.939, mem=735M856
28.49/18.08	    decisions=82049, wrong=2124, backtracks=127, failedAssignments=1997, nogoods=1891
28.49/18.08	    
29.90/19.23	    num=32, depth=7137..7258, filters=443894, revisions=(8167785,useless=7757222), ccks=4131740, wck=14.086, mem=743M736
29.90/19.23	    decisions=92773, wrong=3863, backtracks=1668, failedAssignments=2208, nogoods=1983
29.90/19.23	    
31.69/20.96	    num=33, depth=7149..7368, filters=837358, revisions=(9571319,useless=8778008), ccks=5381267, wck=15.815, mem=743M736
31.69/20.96	    decisions=113361, wrong=10483, backtracks=8115, failedAssignments=2440, nogoods=2051
31.69/20.96	    
33.21/22.47	    num=34, depth=7259..7507, filters=1129346, revisions=(10781306,useless=9704531), ccks=6330866, wck=17.327, mem=751M647
33.21/22.47	    decisions=130632, wrong=15367, backtracks=12786, failedAssignments=2695, nogoods=2157
33.21/22.47	    
34.63/23.82	    num=35, depth=7371..7588, filters=1352865, revisions=(11878223,useless=10587323), ccks=7134992, wck=18.681, mem=751M647
34.63/23.82	    decisions=145605, wrong=19119, backtracks=16292, failedAssignments=2976, nogoods=2205
34.63/23.82	    
39.40/28.52	    num=36, depth=7259..7582, filters=3230845, revisions=(16328682,useless=13205486), ccks=12760261, wck=23.377, mem=751M647
39.40/28.52	    decisions=218549, wrong=51872, backtracks=49055, failedAssignments=3285, nogoods=2208
39.40/28.52	    
40.50/29.65	    num=37, depth=7654..7775, filters=3348956, revisions=(17192533,useless=13955471), ccks=13196967, wck=24.507, mem=751M647
40.50/29.65	    decisions=230016, wrong=53736, backtracks=50594, failedAssignments=3625, nogoods=2214
40.50/29.65	    
41.51/30.62	    num=38, depth=7667..7779, filters=3385410, revisions=(17901850,useless=14630708), ccks=13390641, wck=25.48, mem=759M558
41.51/30.62	    decisions=238546, wrong=54113, backtracks=50598, failedAssignments=3999, nogoods=2269
41.51/30.62	    
44.94/34.01	    num=39, depth=7778..8037, filters=4445716, revisions=(21375766,useless=17087932), ccks=17346874, wck=28.871, mem=759M558
44.94/34.01	    decisions=288611, wrong=75221, backtracks=71706, failedAssignments=4410, nogoods=2272
44.94/34.01	    
47.43/36.58	    num=40, depth=7879..8206, filters=5274662, revisions=(23756970,useless=18661773), ccks=19902428, wck=31.44, mem=759M558
47.43/36.58	    decisions=325665, wrong=89728, backtracks=85892, failedAssignments=4862, nogoods=2278
47.43/36.58	    
54.43/43.51	    num=41, depth=7671..7989, filters=8310783, revisions=(30722221,useless=22684056), ccks=29484613, wck=38.37, mem=767M438
54.43/43.51	    decisions=438240, wrong=142132, backtracks=138314, failedAssignments=5359, nogoods=2281
54.43/43.51	    
56.13/45.21	    num=42, depth=8072..8288, filters=8717283, revisions=(32202232,useless=23768192), ccks=30783297, wck=40.068, mem=767M438
56.13/45.21	    decisions=460041, wrong=148944, backtracks=144637, failedAssignments=5906, nogoods=2344
56.13/45.21	    
57.43/46.58	    num=43, depth=8072..8292, filters=8939055, revisions=(33378249,useless=24729387), ccks=31561019, wck=41.437, mem=767M438
57.43/46.58	    decisions=475500, wrong=152535, backtracks=147655, failedAssignments=6508, nogoods=2385
57.43/46.58	    
58.84/47.90	    num=44, depth=8276..8401, filters=9131383, revisions=(34478754,useless=25645284), ccks=32281438, wck=42.758, mem=767M438
58.84/47.90	    decisions=490267, wrong=155780, backtracks=150254, failedAssignments=7170, nogoods=2444
58.84/47.90	    
67.76/56.88	    num=45, depth=8353..8577, filters=13279444, revisions=(43662610,useless=30813954), ccks=45687851, wck=51.734, mem=775M319
67.76/56.88	    decisions=641662, wrong=227275, backtracks=221748, failedAssignments=7898, nogoods=2446
67.76/56.88	    
74.16/63.28	    num=46, depth=8401..8645, filters=15302201, revisions=(52061626,useless=37266177), ccks=53504990, wck=58.133, mem=783M199
74.16/63.28	    decisions=754202, wrong=279295, backtracks=273726, failedAssignments=8699, nogoods=2450
74.16/63.28	    
75.86/64.94	    num=47, depth=3283..8727, filters=15526196, revisions=(53428979,useless=38420250), ccks=54270060, wck=59.802, mem=783M199
75.86/64.94	    decisions=775687, wrong=285682, backtracks=279764, failedAssignments=9580, nogoods=2570
75.86/64.94	    
85.76/74.84	    num=48, depth=8571..8824, filters=20108861, revisions=(64512816,useless=45035937), ccks=68343965, wck=69.693, mem=791M80
85.76/74.84	    decisions=956803, wrong=371947, backtracks=366111, failedAssignments=10550, nogoods=2572
85.76/74.84	    
87.56/76.64	    num=49, depth=8650..8868, filters=20577322, revisions=(66180043,useless=46246459), ccks=69845393, wck=71.493, mem=791M80
87.56/76.64	    decisions=981411, wrong=379897, backtracks=373060, failedAssignments=11617, nogoods=2609
87.56/76.64	    
97.98/87.04	    num=50, depth=8639..8869, filters=25797947, revisions=(77611062,useless=52580150), ccks=85393084, wck=81.902, mem=798M960
97.98/87.04	    decisions=1171861, wrong=470746, backtracks=463571, failedAssignments=12790, nogoods=2629
97.98/87.04	    
99.57/88.63	    num=51, depth=8761..8979, filters=26151451, revisions=(79073574,useless=53698059), ccks=86564044, wck=83.488, mem=798M960
99.57/88.63	    decisions=1192475, wrong=476627, backtracks=468198, failedAssignments=14081, nogoods=2705
99.57/88.63	    
115.67/104.75	    num=52, depth=8871..9197, filters=34714932, revisions=(97434866,useless=63698623), ccks=112034880, wck=99.607, mem=814M721
115.67/104.75	    decisions=1501839, wrong=626829, backtracks=618361, failedAssignments=15501, nogoods=2708
115.67/104.75	    
116.90/105.95	    num=53, depth=9090..9200, filters=34845055, revisions=(98477470,useless=64614705), ccks=112547998, wck=100.811, mem=814M721
116.90/105.95	    decisions=1514886, wrong=628798, backtracks=618771, failedAssignments=17063, nogoods=2770
116.90/105.95	    
136.68/125.68	    num=54, depth=8872..9198, filters=45519737, revisions=(121175432,useless=76888416), ccks=144272756, wck=120.535, mem=822M601
136.68/125.68	    decisions=1896519, wrong=815114, backtracks=805123, failedAssignments=18781, nogoods=2773
136.68/125.68	    
146.19/135.13	    num=55, depth=9188..9417, filters=50277077, revisions=(131981567,useless=83054145), ccks=158578241, wck=129.987, mem=830M482
146.19/135.13	    decisions=2078630, wrong=901502, backtracks=890486, failedAssignments=20671, nogoods=2864
146.19/135.13	    
168.58/157.59	    num=56, depth=9092..9418, filters=62691609, revisions=(158285457,useless=97237755), ccks=195435774, wck=152.446, mem=846M243
168.58/157.59	    decisions=2525469, wrong=1120343, backtracks=1109369, failedAssignments=22750, nogoods=2867
168.58/157.59	    
169.88/158.88	    num=57, depth=9420..9532, filters=62850409, revisions=(159485209,useless=98283084), ccks=196072506, wck=153.742, mem=846M243
169.88/158.88	    decisions=2539835, wrong=1122785, backtracks=1109526, failedAssignments=25037, nogoods=2894
169.88/158.88	    
175.88/164.85	    num=58, depth=9422..9729, filters=65365134, revisions=(166673738,useless=103062801), ccks=205557386, wck=159.708, mem=854M123
175.88/164.85	    decisions=2646590, wrong=1171407, backtracks=1156226, failedAssignments=27553, nogoods=2898
175.88/164.85	    
190.69/179.68	    num=59, depth=9752..10023, filters=71890271, revisions=(189089078,useless=119164112), ccks=228959721, wck=174.535, mem=862M3
190.69/179.68	    decisions=2963045, wrong=1324689, backtracks=1309029, failedAssignments=30321, nogoods=2917
190.69/179.68	    
213.70/202.68	    num=60, depth=5663..10043, filters=85372333, revisions=(217812189,useless=134726314), ccks=268983463, wck=197.535, mem=877M764
213.70/202.68	    decisions=3442814, wrong=1559567, backtracks=1543072, failedAssignments=33365, nogoods=3028
213.70/202.68	    
218.72/207.63	    num=61, depth=5995..10253, filters=87354594, revisions=(224354333,useless=139356129), ccks=276596411, wck=202.485, mem=885M645
218.72/207.63	    decisions=3537262, wrong=1601753, backtracks=1582797, failedAssignments=36714, nogoods=3093
218.72/207.63	    
237.02/225.98	    num=62, depth=6345..10607, filters=98636282, revisions=(248676593,useless=152663731), ccks=310319323, wck=220.84, mem=901M431
237.02/225.98	    decisions=3945046, wrong=1800450, backtracks=1779662, failedAssignments=40398, nogoods=3106
237.02/225.98	    
252.02/240.92	    num=63, depth=10357..10683, filters=107812933, revisions=(268605514,useless=163632250), ccks=337757508, wck=235.782, mem=909M311
252.02/240.92	    decisions=4278111, wrong=1961739, backtracks=1938417, failedAssignments=44450, nogoods=3109
252.02/240.92	    
253.52/242.44	    num=64, depth=10576..10686, filters=108115201, revisions=(270328730,useless=165059397), ccks=338907085, wck=237.297, mem=909M311
253.52/242.44	    decisions=4298411, wrong=1966572, backtracks=1938799, failedAssignments=48907, nogoods=3174
253.52/242.44	    
255.23/244.18	    num=65, depth=10628..10796, filters=108562114, revisions=(272431703,useless=166731256), ccks=340562285, wck=239.041, mem=909M311
255.23/244.18	    decisions=4324156, wrong=1974130, backtracks=1941471, failedAssignments=53810, nogoods=3183
255.23/244.18	    
300.92/289.35	    num=66, depth=10837..11352, filters=135797856, revisions=(338420826,useless=206308412), ccks=426699708, wck=284.207, mem=940M833
300.92/289.35	    decisions=5389336, wrong=2501224, backtracks=2482051, failedAssignments=59204, nogoods=3187
300.92/289.35	    
319.73/308.12	    num=67, depth=10807..11306, filters=145751107, revisions=(360131682,useless=218390017), ccks=455950530, wck=302.975, mem=957M684
319.73/308.12	    decisions=5904781, wrong=2753356, backtracks=2734418, failedAssignments=65137, nogoods=3193
319.73/308.12	    
360.03/348.40	    num=68, depth=5783..11193, filters=165459282, revisions=(427876487,useless=267218751), ccks=534023535, wck=343.254, mem=989M205
360.03/348.40	    decisions=6855237, wrong=3223096, backtracks=3204406, failedAssignments=71663, nogoods=3211
360.03/348.40	    
403.85/392.21	    num=69, depth=6107..11524, filters=189667420, revisions=(485635370,useless=301583659), ccks=609584455, wck=387.068, mem=1020M727
403.85/392.21	    decisions=7918694, wrong=3749275, backtracks=3815863, failedAssignments=78842, nogoods=3219
403.85/392.21	    
466.17/454.56	    num=70, depth=4322..11379, filters=219625322, revisions=(569505279,useless=356515821), ccks=710436160, wck=449.419, mem=1068M9
466.17/454.56	    decisions=9202262, wrong=4385554, backtracks=4878916, failedAssignments=86739, nogoods=3232
466.17/454.56	    
506.60/494.92	    num=71, depth=10952..11375, filters=225536107, revisions=(606577274,useless=388013357), ccks=737403290, wck=489.777, mem=1107M412
506.60/494.92	    decisions=9621806, wrong=4589834, backtracks=6355261, failedAssignments=95426, nogoods=3236
506.60/494.92	    
538.17/526.19	    num=72, depth=9716..11190, filters=226525418, revisions=(621377259,useless=401946155), ccks=742671865, wck=521.046, mem=821M830
538.17/526.19	    decisions=9770363, wrong=4658680, backtracks=7911102, failedAssignments=104981, nogoods=3242
538.17/526.19	    
582.36/570.39	    num=73, depth=4817..10760, filters=250985867, revisions=(680514283,useless=437424705), ccks=819376396, wck=565.25, mem=863M344
582.36/570.39	    decisions=10846763, wrong=5191607, backtracks=8444065, failedAssignments=115492, nogoods=3258
582.36/570.39	    
626.09/614.03	    num=74, depth=1691..11077, filters=259466920, revisions=(723479916,useless=472352059), ccks=853699644, wck=608.889, mem=918M643
626.09/614.03	    decisions=11379985, wrong=5452882, backtracks=10432657, failedAssignments=127054, nogoods=3279
626.09/614.03	    
682.11/670.02	    num=75, depth=1892..10951, filters=281122427, revisions=(783624947,useless=511667310), ccks=922946608, wck=664.876, mem=973M943
682.11/670.02	    decisions=12435177, wrong=5975151, backtracks=12015981, failedAssignments=139772, nogoods=3306
682.11/670.02	    
709.51/697.42	    num=76, depth=6067..10787, filters=281862734, revisions=(800658907,useless=528025668), ccks=927769943, wck=692.276, mem=1029M243
709.51/697.42	    decisions=12518253, wrong=6011452, backtracks=14220603, failedAssignments=153762, nogoods=3319
709.51/697.42	    
742.32/730.27	    num=77, depth=5984..10781, filters=283085363, revisions=(821894868,useless=548149112), ccks=935465320, wck=725.126, mem=1098M367
742.32/730.27	    decisions=12668379, wrong=6081249, backtracks=16877995, failedAssignments=169151, nogoods=3346
742.32/730.27	    
763.33/751.24	    num=78, depth=2037..10671, filters=283795254, revisions=(834532799,useless=560115953), ccks=939770148, wck=746.096, mem=1139M842
763.33/751.24	    decisions=12736035, wrong=6109894, backtracks=18618676, failedAssignments=186079, nogoods=3461
763.33/751.24	    
922.97/910.82	    num=79, depth=1926..10293, filters=379931611, revisions=(1043530298,useless=675536803), ccks=1230837594, wck=905.679, mem=1236M616
922.97/910.82	    decisions=16295512, wrong=7884572, backtracks=20391912, failedAssignments=204700, nogoods=3496
922.97/910.82	    
945.07/933.00	    num=80, depth=2368..10692, filters=381601852, revisions=(1059098775,useless=689526063), ccks=1238646319, wck=927.857, mem=1291M916
945.07/933.00	    decisions=16428523, wrong=7945895, backtracks=22065567, failedAssignments=225184, nogoods=3534
945.07/933.00	    
1093.33/1081.17	    num=81, depth=8239..10070, filters=461811817, revisions=(1221716410,useless=774227340), ccks=1472262953, wck=1076.031, mem=1388M691
1093.33/1081.17	    decisions=19939252, wrong=9696282, backtracks=23816836, failedAssignments=247716, nogoods=3558
1093.33/1081.17	    
1249.98/1237.56	    num=82, depth=2702..9976, filters=543429720, revisions=(1388853393,useless=862234204), ccks=1709642064, wck=1232.419, mem=807M867
1249.98/1237.56	    decisions=23621200, wrong=11532327, backtracks=25653578, failedAssignments=272501, nogoods=3651
1249.98/1237.56	    
1377.81/1365.31	    num=83, depth=6371..9891, filters=607329985, revisions=(1559991221,useless=971381675), ccks=1917437307, wck=1360.166, mem=890M982
1377.81/1365.31	    decisions=26460148, wrong=12946969, backtracks=27067336, failedAssignments=299765, nogoods=3692
1377.81/1365.31	    
1545.56/1533.05	    num=84, depth=7885..10069, filters=696445994, revisions=(1752930594,useless=1077854620), ccks=2183548569, wck=1527.905, mem=1001M803
1545.56/1533.05	    decisions=30417273, wrong=14920633, backtracks=29040099, failedAssignments=329755, nogoods=3728
1545.56/1533.05	    
1570.07/1557.51	    num=85, depth=4890..9763, filters=704299119, revisions=(1785212978,useless=1102749830), ccks=2213363081, wck=1552.364, mem=1029M508
1570.07/1557.51	    decisions=31073684, wrong=15243985, backtracks=29350724, failedAssignments=362744, nogoods=3789
1570.07/1557.51	    
1580.77/1568.23	    num=86, depth=7262..9896, filters=706994340, revisions=(1802153665,useless=1117178761), ccks=2226695598, wck=1563.09, mem=1043M360
1580.77/1568.23	    decisions=31370199, wrong=15387353, backtracks=29462680, failedAssignments=399032, nogoods=3905
1580.77/1568.23	    
1784.51/1771.98	    num=87, depth=5124..9857, filters=810024419, revisions=(2058639088,useless=1273771181), ccks=2551131826, wck=1766.834, mem=1168M33
1784.51/1771.98	    decisions=35896535, wrong=17645660, backtracks=31720007, failedAssignments=438949, nogoods=3963
1784.51/1771.98	    
2145.91/2133.22	    num=88, depth=5432..9919, filters=1018830476, revisions=(2487934353,useless=1499302741), ccks=3167261956, wck=2128.072, mem=1389M675
2145.91/2133.22	    decisions=43720566, wrong=21552871, backtracks=35625644, failedAssignments=482858, nogoods=4024
2145.91/2133.22	    
2247.93/2235.23	    num=89, depth=7372..9867, filters=1065362340, revisions=(2629457998,useless=1596317990), ccks=3325557564, wck=2230.088, mem=1458M937
2247.93/2235.23	    decisions=46031328, wrong=22703367, backtracks=36744593, failedAssignments=531158, nogoods=4054
2247.93/2235.23	    
2253.84/2241.13	    num=90, depth=4790..9873, filters=1068224745, revisions=(2641872120,useless=1605939687), ccks=3336910507, wck=2235.988, mem=1472M821
2253.84/2241.13	    decisions=46166363, wrong=22765984, backtracks=36754339, failedAssignments=584288, nogoods=4257
2253.84/2241.13	    
2288.41/2275.52	    num=91, depth=9669..10003, filters=1084969802, revisions=(2682241671,useless=1630087673), ccks=3388449775, wck=2270.372, mem=837M157
2288.41/2275.52	    decisions=47006687, wrong=23181219, backtracks=37114918, failedAssignments=642731, nogoods=4331
2288.41/2275.52	    
2326.41/2313.58	    num=92, depth=6441..10101, filters=1102532927, revisions=(2733685174,useless=1664699042), ccks=3446176321, wck=2308.442, mem=856M268
2326.41/2313.58	    decisions=47885912, wrong=23615865, backtracks=37491322, failedAssignments=707018, nogoods=4475
2326.41/2313.58	    
2351.83/2338.90	    num=93, depth=6651..10338, filters=1113377752, revisions=(2761565419,useless=1682174850), ccks=3480093091, wck=2333.759, mem=875M379
2351.83/2338.90	    decisions=48555219, wrong=23945419, backtracks=37754515, failedAssignments=777734, nogoods=4558
2351.83/2338.90	    
2400.05/2387.11	
2400.05/2387.11	s UNKNOWN

Verifier Data


Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16375 MiB (13555 MiB free)
  memory of node 1: 16384 MiB (13958 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391335-1568391130/watcher-4391335-1568391130 -o /tmp/evaluation-result-4391335-1568391130/solver-4391335-1568391130 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323902568-2188 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391335-1568391130.xml -cm 

running on 4 cores: 4-7

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


[startup+0.100092 s]*
/proc/loadavg: 1.98 1.99 1.96 3/229 2902
/proc/meminfo: memFree=28159536/32770688 swapFree=66919992/67108860
[pid=2887] ppid=2884 vsize=10659884 memory=26736 CPUtime=0.12 cores=4-7
/proc/2887/stat : 2887 (java) S 2884 2887 804 0 -1 1077944320 5130 0 0 0 11 1 0 0 20 0 15 0 415119373 10915721216 6684 33554432000 4194304 4196468 140731077017648 140731077000192 140591958707959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
/proc/2887/statm: 2664971 6684 2853 1 0 2627468 0
[pid=2887/tid=2889] ppid=2884 vsize=10659884 memory=7022364594140610616 CPUtime=0.09 cores=4-7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 804 0 -1 4202560 2983 0 0 0 9 0 0 0 20 0 15 0 415119373 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591962939024 140591958719894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2890] ppid=2884 vsize=10659884 memory=364 CPUtime=0 cores=4-7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591930550544 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2891] ppid=2884 vsize=10659884 memory=3832756952406410912 CPUtime=0 cores=4-7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591564687760 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2892] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591563635216 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2893] ppid=2884 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591562582672 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2894] ppid=2884 vsize=10659884 memory=140664500373120 CPUtime=0 cores=4-7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415119375 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591450769904 140591958719106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2895] ppid=2884 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415119376 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591449716128 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2896] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415119376 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591448663536 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2897] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415119378 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591447612112 140591958726555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2898] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 804 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 415119378 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591446558704 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2899] ppid=2884 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415119378 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591445506160 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2900] ppid=2884 vsize=10659884 memory=140664500373120 CPUtime=0.01 cores=4-7
/proc/2887/task/2900/stat : 2900 (java) R 2884 2887 804 0 -1 4202560 368 0 0 0 1 0 0 0 20 0 15 0 415119378 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591444453616 140591951804795 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2901] ppid=2884 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415119379 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591443401312 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2902] ppid=2884 vsize=10659884 memory=140664500373120 CPUtime=0 cores=4-7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119379 10915721216 6684 33554432000 4194304 4196468 140731077017648 140591442348848 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26736 KiB

[startup+0.212145 s]*
/proc/loadavg: 1.98 1.99 1.96 4/229 2902
/proc/meminfo: memFree=28148356/32770688 swapFree=66919992/67108860
[pid=2887] ppid=2884 vsize=10659884 memory=36304 CPUtime=0.33 cores=4-7
/proc/2887/stat : 2887 (java) S 2884 2887 804 0 -1 1077944320 8819 0 0 0 30 3 0 0 20 0 15 0 415119373 10915721216 9076 33554432000 4194304 4196468 140731077017648 140731077000192 140591958707959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
/proc/2887/statm: 2664971 9076 2987 1 0 2627468 0
[pid=2887/tid=2889] ppid=2884 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=4-7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 804 0 -1 4202560 5728 0 0 0 18 2 0 0 20 0 15 0 415119373 10915721216 9076 33554432000 4194304 4196468 140731077017648 140591962934320 140591958729885 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2890] ppid=2884 vsize=10659884 memory=364 CPUtime=0 cores=4-7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 9076 33554432000 4194304 4196468 140731077017648 140591930550544 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2891] ppid=2884 vsize=10659884 memory=3832756952406410912 CPUtime=0 cores=4-7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 9076 33554432000 4194304 4196468 140731077017648 140591564687760 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2892] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591563635216 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2893] ppid=2884 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591562582672 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2894] ppid=2884 vsize=10659884 memory=140664500373120 CPUtime=0 cores=4-7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415119375 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591450769904 140591958719106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2895] ppid=2884 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415119376 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591449716128 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2896] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415119376 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591448663536 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2897] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415119378 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591447612112 140591958726555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2898] ppid=2884 vsize=10659884 memory=0 CPUtime=0.02 cores=4-7
/proc/2887/task/2898/stat : 2898 (java) R 2884 2887 804 0 -1 4202560 608 0 0 0 2 0 0 0 20 0 15 0 415119378 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591446558704 140591950997408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2899] ppid=2884 vsize=10659884 memory=-1 CPUtime=0.02 cores=4-7
/proc/2887/task/2899/stat : 2899 (java) R 2884 2887 804 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 15 0 415119378 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591445492184 140591935978890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2900] ppid=2884 vsize=10659884 memory=140664500373120 CPUtime=0.06 cores=4-7
/proc/2887/task/2900/stat : 2900 (java) R 2884 2887 804 0 -1 1077944384 765 0 0 0 6 0 0 0 20 0 15 0 415119378 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591444453616 140591958719106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2901] ppid=2884 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415119379 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591443401312 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2902] ppid=2884 vsize=10659884 memory=140664500373120 CPUtime=0 cores=4-7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119379 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591442348848 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36304 KiB

[startup+0.311508 s]*
/proc/loadavg: 1.98 1.99 1.96 3/229 2902
/proc/meminfo: memFree=28147984/32770688 swapFree=66919992/67108860
[pid=2887] ppid=2884 vsize=10659884 memory=36568 CPUtime=0.45 cores=4-7
/proc/2887/stat : 2887 (java) S 2884 2887 804 0 -1 1077944320 8932 0 0 0 42 3 0 0 20 0 15 0 415119373 10915721216 9142 33554432000 4194304 4196468 140731077017648 140731077000192 140591958707959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
/proc/2887/statm: 2664971 9142 2987 1 0 2627468 0
[pid=2887/tid=2889] ppid=2884 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=4-7
/proc/2887/task/2889/stat : 2889 (java) S 2884 2887 804 0 -1 1077944384 5746 0 0 0 28 2 0 0 20 0 15 0 415119373 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591962946272 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2890] ppid=2884 vsize=10659884 memory=288230600429797399 CPUtime=0 cores=4-7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591930550544 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2891] ppid=2884 vsize=10659884 memory=3907076224682804896 CPUtime=0 cores=4-7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591564687760 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2892] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591563635216 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2893] ppid=2884 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591562582672 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2894] ppid=2884 vsize=10659884 memory=140664500373120 CPUtime=0 cores=4-7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415119375 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591450769904 140591958719106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2895] ppid=2884 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415119376 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591449716128 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2896] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415119376 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591448663536 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2897] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415119378 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591447612112 140591958726555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2898] ppid=2884 vsize=10659884 memory=0 CPUtime=0.03 cores=4-7
/proc/2887/task/2898/stat : 2898 (java) R 2884 2887 804 0 -1 4202560 653 0 0 0 3 0 0 0 20 0 15 0 415119378 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591446558704 140591942234468 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2899] ppid=2884 vsize=10659884 memory=-1 CPUtime=0.03 cores=4-7
/proc/2887/task/2899/stat : 2899 (java) R 2884 2887 804 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 15 0 415119378 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591445506160 140591958719106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2900] ppid=2884 vsize=10659884 memory=281328840095056 CPUtime=0.06 cores=4-7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 804 0 -1 1077944384 768 0 0 0 6 0 0 0 20 0 15 0 415119378 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591444453616 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2901] ppid=2884 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415119379 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591443401312 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2902] ppid=2884 vsize=10659884 memory=140664500373120 CPUtime=0 cores=4-7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119379 10915721216 9142 33554432000 4194304 4196468 140731077017648 140591442348848 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36568 KiB

[startup+0.700763 s]
/proc/loadavg: 1.98 1.99 1.96 3/229 2902
/proc/meminfo: memFree=28138076/32770688 swapFree=66919992/67108860
[pid=2887] ppid=2884 vsize=10659884 memory=59696 CPUtime=1.1 cores=4-7
/proc/2887/stat : 2887 (java) S 2884 2887 804 0 -1 1077944320 12440 0 0 0 105 5 0 0 20 0 15 0 415119373 10915721216 14924 33554432000 4194304 4196468 140731077017648 140731077000192 140591958707959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
/proc/2887/statm: 2664971 14924 3063 1 0 2627468 0
[pid=2887/tid=2889] ppid=2884 vsize=10659884 memory=281328679567632 CPUtime=0.68 cores=4-7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 804 0 -1 4202560 8093 0 0 0 64 4 0 0 20 0 15 0 415119373 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591962939904 140591958729885 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2890] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591930550544 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2891] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591564687760 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2892] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591563635216 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2893] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415119374 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591562582672 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2894] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415119375 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591450769904 140591958719106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2895] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415119376 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591449716128 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2896] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415119376 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591448663536 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2897] ppid=2884 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415119378 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591447612112 140591958726555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2898] ppid=2884 vsize=10659884 memory=0 CPUtime=0.1 cores=4-7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 804 0 -1 1077944384 909 0 0 0 10 0 0 0 20 0 15 0 415119378 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591446558704 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2899] ppid=2884 vsize=10659884 memory=0 CPUtime=0.11 cores=4-7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 804 0 -1 1077944384 738 0 0 0 11 0 0 0 20 0 15 0 415119378 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591445506160 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2900] ppid=2884 vsize=10659884 memory=6416681141432 CPUtime=0.18 cores=4-7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 804 0 -1 1077944384 1342 0 0 0 18 0 0 0 20 0 15 0 415119378 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591444453616 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2901] ppid=2884 vsize=10659884 memory=288230591755977018 CPUtime=0 cores=4-7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415119379 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591443401312 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2902] ppid=2884 vsize=10659884 memory=16102576244393788 CPUtime=0 cores=4-7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119379 10915721216 14924 33554432000 4194304 4196468 140731077017648 140591442348848 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 59696 KiB

[startup+1.50074 s]
/proc/loadavg: 1.98 1.99 1.96 3/229 2902
/proc/meminfo: memFree=28117664/32770688 swapFree=66919992/67108860
[pid=2887] ppid=2884 vsize=10663980 memory=73200 CPUtime=1.99 cores=4-7
/proc/2887/stat : 2887 (java) S 2884 2887 804 0 -1 1077944320 17309 0 0 0 192 7 0 0 20 0 15 0 415119373 10919915520 18300 33554432000 4194304 4196468 140731077017648 140731077000192 140591958707959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
/proc/2887/statm: 2665995 18300 3086 1 0 2628492 0
[pid=2887/tid=2889] ppid=2884 vsize=10663980 memory=0 CPUtime=1.47 cores=4-7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 804 0 -1 4202560 12174 0 0 0 142 5 0 0 20 0 15 0 415119373 10919915520 18300 33554432000 4194304 4196468 140731077017648 140591962933840 140591958729885 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2890] ppid=2884 vsize=10663980 memory=153093975155117 CPUtime=0 cores=4-7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10919915520 18300 33554432000 4194304 4196468 140731077017648 140591930550544 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2891] ppid=2884 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10919915520 18300 33554432000 4194304 4196468 140731077017648 140591564687760 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2892] ppid=2884 vsize=10663980 memory=7902864622126029280 CPUtime=0 cores=4-7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415119374 10919915520 18300 33554432000 4194304 4196468 140731077017648 140591563635216 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2893] ppid=2884 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=4-7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415119374 10919915520 18300 33554432000 4194304 4196468 140731077017648 140591562582672 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2894] ppid=2884 vsize=10663980 memory=281328679387376 CPUtime=0 cores=4-7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 804 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 415119375 10919915520 18300 33554432000 4194304 4196468 140731077017648 140591450769904 140591958719106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0

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

/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 804 0 -1 1077944384 2155 0 0 0 71 40 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591562582672 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2894] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0.09 cores=4-7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 804 0 -1 1077944384 8897 0 0 0 7 2 0 0 20 0 16 0 415119375 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591450769904 140591958719106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2895] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 804 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415119376 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591449716192 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2896] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 804 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415119376 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591448663552 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2897] ppid=2884 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=4-7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591447612112 140591958726555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2898] ppid=2884 vsize=10748324 memory=1560 CPUtime=3.86 cores=4-7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 804 0 -1 1077944384 14396 0 0 0 384 2 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591446558704 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2899] ppid=2884 vsize=10748324 memory=1979856 CPUtime=3.89 cores=4-7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 804 0 -1 1077944384 16750 0 0 0 386 3 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591445506160 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2900] ppid=2884 vsize=10748324 memory=3624 CPUtime=1.23 cores=4-7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 804 0 -1 1077944384 15801 0 0 0 119 4 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591444453616 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2901] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415119379 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591443401312 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2902] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0.55 cores=4-7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 804 0 -1 1077944384 2601 0 0 0 23 32 0 0 20 0 16 0 415119379 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591442348848 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2903] ppid=2884 vsize=10748324 memory=1979856 CPUtime=2318.92 cores=4-7
/proc/2887/task/2903/stat : 2903 (java) R 2884 2887 804 0 -1 4202560 36784 0 0 0 231882 10 0 0 20 0 16 0 415119585 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591425273600 140591605378840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
Current children cumulated CPU time: 2335.21 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1979856 KiB

[startup+2382.3 s]
/proc/loadavg: 1.00 1.02 1.26 2/208 3197
/proc/meminfo: memFree=26464288/32770688 swapFree=66919992/67108860
[pid=2887] ppid=2884 vsize=10748324 memory=1979856 CPUtime=2395.24 cores=4-7
/proc/2887/stat : 2887 (java) S 2884 2887 804 0 -1 1077944320 124667 0 0 0 239305 219 0 0 20 0 16 0 415119373 11006283776 494964 33554432000 4194304 4196468 140731077017648 140731077000192 140591958707959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
/proc/2887/statm: 2687081 494964 3383 1 0 2647217 0
[pid=2887/tid=2889] ppid=2884 vsize=10748324 memory=1979856 CPUtime=2.1 cores=4-7
/proc/2887/task/2889/stat : 2889 (java) S 2884 2887 804 0 -1 1077944384 14762 0 0 0 204 6 0 0 20 0 16 0 415119373 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591962950832 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2890] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.12 cores=4-7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 804 0 -1 1077944384 2676 0 0 0 73 39 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591930550544 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2891] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.12 cores=4-7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 804 0 -1 1077944384 2769 0 0 0 73 39 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591564687760 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2892] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.1 cores=4-7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 804 0 -1 1077944384 4748 0 0 0 72 38 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591563635216 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2893] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.11 cores=4-7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 804 0 -1 1077944384 2155 0 0 0 71 40 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591562582672 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2894] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0.09 cores=4-7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 804 0 -1 1077944384 8904 0 0 0 7 2 0 0 20 0 16 0 415119375 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591450769904 140591958719106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2895] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 804 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415119376 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591449716192 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2896] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 804 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415119376 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591448663552 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2897] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591447612112 140591958726555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2898] ppid=2884 vsize=10748324 memory=1979856 CPUtime=3.86 cores=4-7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 804 0 -1 1077944384 14691 0 0 0 384 2 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591446558704 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2899] ppid=2884 vsize=10748324 memory=1979856 CPUtime=3.89 cores=4-7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 804 0 -1 1077944384 16752 0 0 0 386 3 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591445506160 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2900] ppid=2884 vsize=10748324 memory=1056 CPUtime=1.23 cores=4-7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 804 0 -1 1077944384 15856 0 0 0 119 4 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591444453616 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2901] ppid=2884 vsize=10748324 memory=2828 CPUtime=0 cores=4-7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415119379 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591443401312 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2902] ppid=2884 vsize=10748324 memory=3624 CPUtime=0.56 cores=4-7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 804 0 -1 1077944384 2634 0 0 0 24 32 0 0 20 0 16 0 415119379 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591442348848 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2903] ppid=2884 vsize=10748324 memory=46760 CPUtime=2378.92 cores=4-7
/proc/2887/task/2903/stat : 2903 (java) R 2884 2887 804 0 -1 4202560 37301 0 0 0 237882 10 0 0 20 0 16 0 415119585 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591425273600 140591601218132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
Current children cumulated CPU time: 2395.24 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1979856 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2387.11 s]
/proc/loadavg: 1.00 1.02 1.26 2/208 3197
/proc/meminfo: memFree=26464352/32770688 swapFree=66919992/67108860
[pid=2887] ppid=2884 vsize=10748324 memory=1979856 CPUtime=2400.05 cores=4-7
/proc/2887/stat : 2887 (java) S 2884 2887 804 0 -1 1077944320 124753 0 0 0 239786 219 0 0 20 0 16 0 415119373 11006283776 494964 33554432000 4194304 4196468 140731077017648 140731077000192 140591958707959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
/proc/2887/statm: 2687081 494964 3383 1 0 2647217 0
[pid=2887/tid=2889] ppid=2884 vsize=10748324 memory=1979856 CPUtime=2.1 cores=4-7
/proc/2887/task/2889/stat : 2889 (java) S 2884 2887 804 0 -1 1077944384 14762 0 0 0 204 6 0 0 20 0 16 0 415119373 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591962950832 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2890] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.12 cores=4-7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 804 0 -1 1077944384 2676 0 0 0 73 39 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591930550544 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2891] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.12 cores=4-7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 804 0 -1 1077944384 2769 0 0 0 73 39 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591564687760 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2892] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.1 cores=4-7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 804 0 -1 1077944384 4748 0 0 0 72 38 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591563635216 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2893] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.11 cores=4-7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 804 0 -1 1077944384 2155 0 0 0 71 40 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591562582672 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2894] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0.09 cores=4-7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 804 0 -1 1077944384 8911 0 0 0 7 2 0 0 20 0 16 0 415119375 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591450769904 140591958719106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2895] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 804 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415119376 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591449716192 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2896] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 804 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415119376 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591448663552 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2897] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591447612112 140591958726555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2898] ppid=2884 vsize=10748324 memory=0 CPUtime=3.86 cores=4-7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 804 0 -1 1077944384 14691 0 0 0 384 2 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591446558704 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2899] ppid=2884 vsize=10748324 memory=1979856 CPUtime=3.89 cores=4-7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 804 0 -1 1077944384 16752 0 0 0 386 3 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591445506160 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2900] ppid=2884 vsize=10748324 memory=496 CPUtime=1.23 cores=4-7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 804 0 -1 1077944384 15856 0 0 0 119 4 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591444453616 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2901] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415119379 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591443401312 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2902] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0.57 cores=4-7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 804 0 -1 1077944384 2663 0 0 0 24 33 0 0 20 0 16 0 415119379 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591442348848 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2903] ppid=2884 vsize=10748324 memory=1979856 CPUtime=2383.73 cores=4-7
/proc/2887/task/2903/stat : 2903 (java) R 2884 2887 804 0 -1 4202560 37351 0 0 0 238363 10 0 0 20 0 16 0 415119585 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591425273600 140591605378637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1979856 KiB

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

[startup+2387.13 s]
# the end of solver process 2887 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.87 s, system=2.20818 s

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

[startup+2387.11 s]
/proc/loadavg: 1.00 1.02 1.26 2/208 3197
/proc/meminfo: memFree=26464352/32770688 swapFree=66919992/67108860
[pid=2887] ppid=2884 vsize=10748324 memory=1979856 CPUtime=2400.05 cores=4-7
/proc/2887/stat : 2887 (java) S 2884 2887 804 0 -1 1077944320 124753 0 0 0 239786 219 0 0 20 0 16 0 415119373 11006283776 494964 33554432000 4194304 4196468 140731077017648 140731077000192 140591958707959 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
/proc/2887/statm: 2687081 494964 3383 1 0 2647217 0
[pid=2887/tid=2889] ppid=2884 vsize=10748324 memory=1979856 CPUtime=2.1 cores=4-7
/proc/2887/task/2889/stat : 2889 (java) S 2884 2887 804 0 -1 1077944384 14762 0 0 0 204 6 0 0 20 0 16 0 415119373 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591962950832 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2890] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.12 cores=4-7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 804 0 -1 1077944384 2676 0 0 0 73 39 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591930550544 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2891] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.12 cores=4-7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 804 0 -1 1077944384 2769 0 0 0 73 39 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591564687760 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2892] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.1 cores=4-7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 804 0 -1 1077944384 4748 0 0 0 72 38 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591563635216 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2893] ppid=2884 vsize=10748324 memory=1979856 CPUtime=1.11 cores=4-7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 804 0 -1 1077944384 2155 0 0 0 71 40 0 0 20 0 16 0 415119374 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591562582672 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2894] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0.09 cores=4-7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 804 0 -1 1077944384 8911 0 0 0 7 2 0 0 20 0 16 0 415119375 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591450769904 140591958719106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2895] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 804 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415119376 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591449716192 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2896] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 804 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415119376 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591448663552 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2897] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591447612112 140591958726555 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2898] ppid=2884 vsize=10748324 memory=0 CPUtime=3.86 cores=4-7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 804 0 -1 1077944384 14691 0 0 0 384 2 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591446558704 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2899] ppid=2884 vsize=10748324 memory=1979856 CPUtime=3.89 cores=4-7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 804 0 -1 1077944384 16752 0 0 0 386 3 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591445506160 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2900] ppid=2884 vsize=10748324 memory=496 CPUtime=1.23 cores=4-7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 804 0 -1 1077944384 15856 0 0 0 119 4 0 0 20 0 16 0 415119378 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591444453616 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2901] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0 cores=4-7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415119379 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591443401312 140591958718165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2902] ppid=2884 vsize=10748324 memory=1979856 CPUtime=0.57 cores=4-7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 804 0 -1 1077944384 2663 0 0 0 24 33 0 0 20 0 16 0 415119379 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591442348848 140591958719106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
[pid=2887/tid=2903] ppid=2884 vsize=10748324 memory=1979856 CPUtime=2383.73 cores=4-7
/proc/2887/task/2903/stat : 2903 (java) R 2884 2887 804 0 -1 4202560 37351 0 0 0 238363 10 0 0 20 0 16 0 415119585 11006283776 494964 33554432000 4194304 4196468 140731077017648 140591425273600 140591605378637 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33718272 140731077018635 140731077018738 140731077018738 140731077021647 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1979856 KiB

Child status: 143
Real time (s): 2387.13
CPU time (s): 2400.08
CPU user time (s): 2397.87
CPU system time (s): 2.20818
CPU usage (%): 100.543
Max. virtual memory (cumulated for all children) (KiB): 10748472
Max. memory (cumulated for all children) (KiB): 1979856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.87
system time used= 2.20818
maximum resident set size= 1980432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55794
involuntary context switches= 758


# summary of solver processes directly reported to runsolver:
#   pid: 2887
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2397.87
#   total CPU system time (s): 2.20818

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1257 second user time and 23.4097 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-15 00:32:33
IDJOB=4391335
IDBENCH=139384
IDSOLVER=2833
FILE ID=node120/4391335-1568391130
RUNJOBID= node120-1323902568-2188
PBS_JOBID= 21701843
Free space on /tmp= 61640 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_5_11.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391335-1568391130/watcher-4391335-1568391130 -o /tmp/evaluation-result-4391335-1568391130/solver-4391335-1568391130 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323902568-2188 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391335-1568391130.xml -cm

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

MD5SUM BENCH= bb782f0c2876622a4bcf03fe44f48018
RANDOM SEED=943961609

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        28174124 kB
MemAvailable:   31574144 kB
Buffers:          174848 kB
Cached:          3529924 kB
SwapCached:        77548 kB
Active:          1228176 kB
Inactive:        2810232 kB
Active(anon):     256396 kB
Inactive(anon):   126892 kB
Active(file):     971780 kB
Inactive(file):  2683340 kB
Unevictable:      108228 kB
Mlocked:          108228 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:              8948 kB
Writeback:             0 kB
AnonPages:        365668 kB
Mapped:            60616 kB
Shmem:             41008 kB
Slab:             150176 kB
SReclaimable:     121472 kB
SUnreclaim:        28704 kB
KernelStack:        3744 kB
PageTables:         6444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1183888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61640 MiB
End job on node120 at 2011-12-15 01:12:20