Trace number 4391035

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.09 2503.32

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 benchmark374
Best CPU time to get the best result obtained on this benchmark19959.2
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.40/1.89	
2.40/1.89	AbsCon 2 
2.62/1.91	
3.94/2.33	  Instance
3.94/2.33	    name=instance-4391035-1568386131, framework=COP, bounds=-infty..+infty
3.94/2.33	
3.94/2.33	  Loading variables...
4.62/2.57	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
11.17/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
11.17/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
11.17/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
11.17/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
11.17/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
11.17/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
11.17/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
11.17/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
11.17/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
11.17/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
11.17/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
11.17/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
11.17/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
11.17/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
11.17/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
11.17/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
11.17/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
11.43/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
11.43/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
11.43/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
11.43/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
11.43/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
11.43/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
11.43/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
11.43/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
11.43/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
11.43/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
11.43/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
11.43/4.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
11.43/4.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
11.43/4.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
11.43/4.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
11.43/4.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
11.43/4.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
11.43/4.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.76/4.74	
11.76/4.74	
11.76/4.74	  Domains
11.76/4.74	    nTypes=4, nValues=44622, sizes=[2#12321,18#111,51#111,111#111]
11.76/4.74	  Variables
11.76/4.74	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.76/4.74	  Objectives
11.76/4.74	    way=min, type=SumSimpleLE
11.76/4.74	  Constraints
11.76/4.74	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.76/4.74	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.76/4.74	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.76/4.74	    wck=2.878, cpu=4.237, mem=932M419
11.76/4.77	  Solver SolverBacktrack being built...
11.76/4.77	
12.07/4.87	
12.07/4.87	  Solver
12.07/4.87	    guaranteedGAC=false
12.07/4.87	    wck=3.012, cpu=4.369, mem=964M461
13.18/5.59	
13.18/5.59	  Preprocessing
13.18/5.59	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.18/5.59	    wck=0.713, cpu=5.087, mem=964M461
13.18/5.59	
13.32/5.65	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.771, mem=964M461
13.32/5.65	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.32/5.65	    
13.63/5.71	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.833, mem=964M461
13.63/5.71	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
13.63/5.71	    
13.63/5.76	    num=2, depth=220..220, filters=4236, revisions=(38962,useless=34765), ccks=1397675, wck=0.886, mem=964M461
13.63/5.76	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.63/5.76	    
13.95/5.83	    num=3, depth=329..329, filters=6082, revisions=(54504,useless=48483), ccks=1408602, wck=0.958, mem=972M475
13.95/5.83	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.95/5.83	    
14.25/5.93	    num=4, depth=438..438, filters=8144, revisions=(76485,useless=68429), ccks=1419946, wck=1.055, mem=972M475
14.25/5.93	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
14.25/5.93	    
14.57/6.06	    num=5, depth=547..547, filters=10583, revisions=(108679,useless=98249), ccks=1435287, wck=1.183, mem=972M475
14.57/6.06	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.57/6.06	    
14.88/6.18	    num=6, depth=656..656, filters=13171, revisions=(143760,useless=130780), ccks=1447759, wck=1.306, mem=972M475
14.88/6.18	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.88/6.18	    
15.30/6.31	    num=7, depth=763..763, filters=16554, revisions=(212035,useless=195961), ccks=1475067, wck=1.439, mem=972M475
15.30/6.31	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
15.30/6.31	    
15.46/6.46	    num=8, depth=872..872, filters=20202, revisions=(284862,useless=265416), ccks=1501153, wck=1.58, mem=972M475
15.46/6.46	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
15.46/6.46	    
15.71/6.61	    num=9, depth=980..980, filters=24374, revisions=(376562,useless=353339), ccks=1534034, wck=1.739, mem=972M475
15.71/6.61	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
15.71/6.61	    
15.86/6.79	    num=10, depth=1089..1089, filters=28841, revisions=(474923,useless=447634), ccks=1567596, wck=1.911, mem=980M518
15.86/6.79	    decisions=6478, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
15.86/6.79	    
16.08/6.97	    num=11, depth=1198..1198, filters=33685, revisions=(580167,useless=548442), ccks=1602109, wck=2.093, mem=980M518
16.08/6.97	    decisions=7732, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
16.08/6.97	    
16.30/7.17	    num=12, depth=1307..1307, filters=38959, revisions=(695735,useless=659182), ccks=1640500, wck=2.291, mem=980M518
16.30/7.17	    decisions=9101, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
16.30/7.17	    
16.49/7.38	    num=13, depth=1416..1416, filters=44598, revisions=(818519,useless=776783), ccks=1680040, wck=2.503, mem=980M518
16.49/7.38	    decisions=10585, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
16.49/7.38	    
16.81/7.61	    num=14, depth=1524..1526, filters=51108, revisions=(964616,useless=916984), ccks=1730427, wck=2.735, mem=980M518
16.81/7.61	    decisions=12185, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
16.81/7.61	    
17.03/7.86	    num=15, depth=1630..1631, filters=58518, revisions=(1134472,useless=1080209), ccks=1792811, wck=2.987, mem=980M518
17.03/7.86	    decisions=13898, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
17.03/7.86	    
17.34/8.15	    num=16, depth=1848..1849, filters=66694, revisions=(1329751,useless=1268214), ccks=1872851, wck=3.27, mem=980M518
17.34/8.15	    decisions=15837, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
17.34/8.15	    
17.65/8.46	    num=17, depth=2066..2068, filters=75754, revisions=(1542570,useless=1472924), ccks=1945887, wck=3.581, mem=980M518
17.65/8.46	    decisions=18005, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
17.65/8.46	    
18.08/8.80	    num=18, depth=2283..2284, filters=85604, revisions=(1777149,useless=1698694), ccks=2031549, wck=3.922, mem=988M236
18.08/8.80	    decisions=20399, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
18.08/8.80	    
18.39/9.16	    num=19, depth=2501..2502, filters=96229, revisions=(2025494,useless=1937469), ccks=2110906, wck=4.289, mem=988M236
18.39/9.16	    decisions=23023, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
18.39/9.16	    
18.79/9.56	    num=20, depth=2719..2720, filters=107593, revisions=(2287605,useless=2189285), ccks=2192135, wck=4.68, mem=988M236
18.79/9.56	    decisions=25877, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
18.79/9.56	    
19.19/9.98	    num=21, depth=2937..2939, filters=120092, revisions=(2571585,useless=2461921), ccks=2282397, wck=5.102, mem=988M236
19.19/9.98	    decisions=28964, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
19.19/9.98	    
19.69/10.44	    num=22, depth=3262..3264, filters=134083, revisions=(2897530,useless=2775251), ccks=2388253, wck=5.568, mem=988M236
19.69/10.44	    decisions=32390, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
19.69/10.44	    
22.01/11.45	    num=23, depth=3588..3590, filters=149343, revisions=(3251008,useless=3114932), ccks=2498562, wck=6.571, mem=717M413
22.01/11.45	    decisions=36158, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
22.01/11.45	    
22.60/11.98	    num=24, depth=3914..3916, filters=166042, revisions=(3640455,useless=3489305), ccks=2620586, wck=7.107, mem=717M413
22.60/11.98	    decisions=40270, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
22.60/11.98	    
23.20/12.55	    num=25, depth=4241..4244, filters=184160, revisions=(4055546,useless=3887968), ccks=2749818, wck=7.679, mem=717M413
23.20/12.55	    decisions=44730, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
23.20/12.55	    
23.81/13.18	    num=26, depth=4674..4677, filters=204432, revisions=(4526813,useless=4340949), ccks=2897701, wck=8.303, mem=725M387
23.81/13.18	    decisions=49645, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
23.81/13.18	    
24.50/13.84	    num=27, depth=5110..5113, filters=226290, revisions=(5025612,useless=4819904), ccks=3049544, wck=8.969, mem=725M387
24.50/13.84	    decisions=55020, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
24.50/13.84	    
25.20/14.55	    num=28, depth=5546..5550, filters=249882, revisions=(5552276,useless=5325020), ccks=3205782, wck=9.679, mem=733M364
25.20/14.55	    decisions=60858, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
25.20/14.55	    
26.02/15.33	    num=29, depth=6091..6095, filters=275489, revisions=(6113133,useless=5862348), ccks=3369852, wck=10.453, mem=733M364
26.02/15.33	    decisions=67269, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
26.02/15.33	    
26.88/16.17	    num=30, depth=6636..6640, filters=303077, revisions=(6708627,useless=6432369), ccks=3538973, wck=11.291, mem=741M320
26.88/16.17	    decisions=74257, wrong=1806, backtracks=0, failedAssignments=1806, nogoods=1806
26.88/16.17	    
27.82/17.07	    num=31, depth=7040..7160, filters=333076, revisions=(7351236,useless=7047290), ccks=3719718, wck=12.192, mem=749M304
27.82/17.07	    decisions=82049, wrong=2124, backtracks=127, failedAssignments=1997, nogoods=1891
27.82/17.07	    
29.10/18.13	    num=32, depth=7137..7258, filters=443894, revisions=(8167785,useless=7757222), ccks=4131740, wck=13.251, mem=757M288
29.10/18.13	    decisions=92773, wrong=3863, backtracks=1668, failedAssignments=2208, nogoods=1983
29.10/18.13	    
30.77/19.71	    num=33, depth=7149..7368, filters=837358, revisions=(9571319,useless=8778008), ccks=5381267, wck=14.831, mem=773M199
30.77/19.71	    decisions=113361, wrong=10483, backtracks=8115, failedAssignments=2440, nogoods=2051
30.77/19.71	    
32.12/21.10	    num=34, depth=7259..7507, filters=1129346, revisions=(10781306,useless=9704531), ccks=6330866, wck=16.221, mem=797M95
32.12/21.10	    decisions=130632, wrong=15367, backtracks=12786, failedAssignments=2695, nogoods=2157
32.12/21.10	    
33.43/22.34	    num=35, depth=7371..7588, filters=1352865, revisions=(11878223,useless=10587323), ccks=7134992, wck=17.461, mem=805M50
33.43/22.34	    decisions=145605, wrong=19119, backtracks=16292, failedAssignments=2976, nogoods=2205
33.43/22.34	    
37.70/26.57	    num=36, depth=7259..7582, filters=3230845, revisions=(16328682,useless=13205486), ccks=12760261, wck=21.695, mem=900M515
37.70/26.57	    decisions=218549, wrong=51872, backtracks=49055, failedAssignments=3285, nogoods=2208
37.70/26.57	    
38.80/27.61	    num=37, depth=7654..7775, filters=3348956, revisions=(17192533,useless=13955471), ccks=13196967, wck=22.734, mem=900M515
38.80/27.61	    decisions=230016, wrong=53736, backtracks=50594, failedAssignments=3625, nogoods=2214
38.80/27.61	    
39.70/28.51	    num=38, depth=7667..7779, filters=3385410, revisions=(17901850,useless=14630708), ccks=13390641, wck=23.636, mem=908M470
39.70/28.51	    decisions=238546, wrong=54113, backtracks=50598, failedAssignments=3999, nogoods=2269
39.70/28.51	    
42.71/31.58	    num=39, depth=7778..8037, filters=4445716, revisions=(21375766,useless=17087932), ccks=17346874, wck=26.7, mem=964M158
42.71/31.58	    decisions=288611, wrong=75221, backtracks=71706, failedAssignments=4410, nogoods=2272
42.71/31.58	    
45.12/33.91	    num=40, depth=7879..8206, filters=5274662, revisions=(23756970,useless=18661773), ccks=19902428, wck=29.034, mem=1003M935
45.12/33.91	    decisions=325665, wrong=89728, backtracks=85892, failedAssignments=4862, nogoods=2278
45.12/33.91	    
51.69/40.22	    num=41, depth=7671..7989, filters=8310783, revisions=(30722221,useless=22684056), ccks=29484613, wck=35.348, mem=787M750
51.69/40.22	    decisions=438240, wrong=142132, backtracks=138314, failedAssignments=5359, nogoods=2281
51.69/40.22	    
53.19/41.77	    num=42, depth=8072..8288, filters=8717283, revisions=(32202232,useless=23768192), ccks=30783297, wck=36.897, mem=801M711
53.19/41.77	    decisions=460041, wrong=148944, backtracks=144637, failedAssignments=5906, nogoods=2344
53.19/41.77	    
54.49/43.02	    num=43, depth=8072..8292, filters=8939055, revisions=(33378249,useless=24729387), ccks=31561019, wck=38.15, mem=815M673
54.49/43.02	    decisions=475500, wrong=152535, backtracks=147655, failedAssignments=6508, nogoods=2385
54.49/43.02	    
55.69/44.24	    num=44, depth=8276..8401, filters=9131383, revisions=(34478754,useless=25645284), ccks=32281438, wck=39.362, mem=829M635
55.69/44.24	    decisions=490267, wrong=155780, backtracks=150254, failedAssignments=7170, nogoods=2444
55.69/44.24	    
63.70/52.24	    num=45, depth=8353..8577, filters=13279444, revisions=(43662610,useless=30813954), ccks=45687851, wck=47.362, mem=1025M99
63.70/52.24	    decisions=641662, wrong=227275, backtracks=221748, failedAssignments=7898, nogoods=2446
63.70/52.24	    
69.40/57.99	    num=46, depth=8401..8645, filters=15302201, revisions=(52061626,useless=37266177), ccks=53504990, wck=53.115, mem=1150M754
69.40/57.99	    decisions=754202, wrong=279295, backtracks=273726, failedAssignments=8699, nogoods=2450
69.40/57.99	    
71.00/59.51	    num=47, depth=3283..8727, filters=15526196, revisions=(53428979,useless=38420250), ccks=54270060, wck=54.639, mem=1164M716
71.00/59.51	    decisions=775687, wrong=285682, backtracks=279764, failedAssignments=9580, nogoods=2570
71.00/59.51	    
79.81/68.39	    num=48, depth=8571..8824, filters=20108861, revisions=(64512816,useless=45035937), ccks=68343965, wck=63.512, mem=1402M65
79.81/68.39	    decisions=956803, wrong=371947, backtracks=366111, failedAssignments=10550, nogoods=2572
79.81/68.39	    
81.52/70.02	    num=49, depth=8650..8868, filters=20577322, revisions=(66180043,useless=46246459), ccks=69845393, wck=65.147, mem=1429M988
81.52/70.02	    decisions=981411, wrong=379897, backtracks=373060, failedAssignments=11617, nogoods=2609
81.52/70.02	    
90.99/79.39	    num=50, depth=8639..8869, filters=25797947, revisions=(77611062,useless=52580150), ccks=85393084, wck=74.518, mem=983M512
90.99/79.39	    decisions=1171861, wrong=470746, backtracks=463571, failedAssignments=12790, nogoods=2629
90.99/79.39	    
92.49/80.84	    num=51, depth=8761..8979, filters=26151451, revisions=(79073574,useless=53698059), ccks=86564044, wck=75.966, mem=1011M505
92.49/80.84	    decisions=1192475, wrong=476627, backtracks=468198, failedAssignments=14081, nogoods=2705
92.49/80.84	    
106.89/95.23	    num=52, depth=8871..9197, filters=34714932, revisions=(97434866,useless=63698623), ccks=112034880, wck=90.357, mem=1417M406
106.89/95.23	    decisions=1501839, wrong=626829, backtracks=618361, failedAssignments=15501, nogoods=2708
106.89/95.23	    
108.09/96.34	    num=53, depth=9090..9200, filters=34845055, revisions=(98477470,useless=64614705), ccks=112547998, wck=91.468, mem=1431M403
108.09/96.34	    decisions=1514886, wrong=628798, backtracks=618771, failedAssignments=17063, nogoods=2770
108.09/96.34	    
125.92/114.02	    num=54, depth=8872..9198, filters=45519737, revisions=(121175432,useless=76888416), ccks=144272756, wck=109.142, mem=1247M850
125.92/114.02	    decisions=1896519, wrong=815114, backtracks=805123, failedAssignments=18781, nogoods=2773
125.92/114.02	    
134.32/122.45	    num=55, depth=9188..9417, filters=50277077, revisions=(131981567,useless=83054145), ccks=158578241, wck=117.574, mem=1498M907
134.32/122.45	    decisions=2078630, wrong=901502, backtracks=890486, failedAssignments=20671, nogoods=2864
134.32/122.45	    
154.37/142.45	    num=56, depth=9092..9418, filters=62691609, revisions=(158285457,useless=97237755), ccks=195435774, wck=137.573, mem=1135M930
154.37/142.45	    decisions=2525469, wrong=1120343, backtracks=1109369, failedAssignments=22750, nogoods=2867
154.37/142.45	    
155.57/143.63	    num=57, depth=9420..9532, filters=62850409, revisions=(159485209,useless=98283084), ccks=196072506, wck=138.759, mem=1135M930
155.57/143.63	    decisions=2539835, wrong=1122785, backtracks=1109526, failedAssignments=25037, nogoods=2894
155.57/143.63	    
160.87/148.94	    num=58, depth=9422..9729, filters=65365134, revisions=(166673738,useless=103062801), ccks=205557386, wck=144.063, mem=1251M906
160.87/148.94	    decisions=2646590, wrong=1171407, backtracks=1156226, failedAssignments=27553, nogoods=2898
160.87/148.94	    
174.18/162.24	    num=59, depth=9752..10023, filters=71890271, revisions=(189089078,useless=119164112), ccks=228959721, wck=157.362, mem=1638M491
174.18/162.24	    decisions=2963045, wrong=1324689, backtracks=1309029, failedAssignments=30321, nogoods=2917
174.18/162.24	    
194.60/182.64	    num=60, depth=5663..10043, filters=85372333, revisions=(217812189,useless=134726314), ccks=268983463, wck=177.764, mem=1345M970
194.60/182.64	    decisions=3442814, wrong=1559567, backtracks=1543072, failedAssignments=33365, nogoods=3028
194.60/182.64	    
199.10/187.05	    num=61, depth=5995..10253, filters=87354594, revisions=(224354333,useless=139356129), ccks=276596411, wck=182.174, mem=1446M3
199.10/187.05	    decisions=3537262, wrong=1601753, backtracks=1582797, failedAssignments=36714, nogoods=3093
199.10/187.05	    
215.30/203.27	    num=62, depth=6345..10607, filters=98636282, revisions=(248676593,useless=152663731), ccks=310319323, wck=198.392, mem=1996M181
215.30/203.27	    decisions=3945046, wrong=1800450, backtracks=1779662, failedAssignments=40398, nogoods=3106
215.30/203.27	    
228.63/216.53	    num=63, depth=10357..10683, filters=107812933, revisions=(268605514,useless=163632250), ccks=337757508, wck=211.653, mem=1203M116
228.63/216.53	    decisions=4278111, wrong=1961739, backtracks=1938417, failedAssignments=44450, nogoods=3109
228.63/216.53	    
230.03/217.90	    num=64, depth=10576..10686, filters=108115201, revisions=(270328730,useless=165059397), ccks=338907085, wck=213.027, mem=1203M116
230.03/217.90	    decisions=4298411, wrong=1966572, backtracks=1938799, failedAssignments=48907, nogoods=3174
230.03/217.90	    
231.53/219.48	    num=65, depth=10628..10796, filters=108562114, revisions=(272431703,useless=166731256), ccks=340562285, wck=214.603, mem=1228M135
231.53/219.48	    decisions=4324156, wrong=1974130, backtracks=1941471, failedAssignments=53810, nogoods=3183
231.53/219.48	    
271.44/258.72	    num=66, depth=10837..11352, filters=135797856, revisions=(338420826,useless=206308412), ccks=426699708, wck=253.842, mem=1386M627
271.44/258.72	    decisions=5389336, wrong=2501224, backtracks=2482051, failedAssignments=59204, nogoods=3187
271.44/258.72	    
287.55/274.88	    num=67, depth=10807..11306, filters=145751107, revisions=(360131682,useless=218390017), ccks=455950530, wck=270.004, mem=1875M216
287.55/274.88	    decisions=5904781, wrong=2753356, backtracks=2734418, failedAssignments=65137, nogoods=3193
287.55/274.88	    
322.19/309.48	    num=68, depth=5783..11193, filters=165459282, revisions=(427876487,useless=267218751), ccks=534023535, wck=304.605, mem=1537M873
322.19/309.48	    decisions=6855237, wrong=3223096, backtracks=3204406, failedAssignments=71663, nogoods=3211
322.19/309.48	    
359.85/347.09	    num=69, depth=6107..11524, filters=189667420, revisions=(485635370,useless=301583659), ccks=609584455, wck=342.218, mem=1265M524
359.85/347.09	    decisions=7918694, wrong=3749275, backtracks=3815863, failedAssignments=78842, nogoods=3219
359.85/347.09	    
413.81/400.91	    num=70, depth=4322..11379, filters=219625322, revisions=(569505279,useless=356515821), ccks=710436160, wck=396.034, mem=1196M876
413.81/400.91	    decisions=9202262, wrong=4385554, backtracks=4878916, failedAssignments=86739, nogoods=3232
413.81/400.91	    
449.33/436.46	    num=71, depth=10952..11375, filters=225536107, revisions=(606577274,useless=388013357), ccks=737403290, wck=431.58, mem=1645M784
449.33/436.46	    decisions=9621806, wrong=4589834, backtracks=6355261, failedAssignments=95426, nogoods=3236
449.33/436.46	    
476.85/463.97	    num=72, depth=9716..11190, filters=226525418, revisions=(621377259,useless=401946155), ccks=742671865, wck=459.098, mem=1783M910
476.85/463.97	    decisions=9770363, wrong=4658680, backtracks=7911102, failedAssignments=104981, nogoods=3242
476.85/463.97	    
515.10/502.14	    num=73, depth=4817..10760, filters=250985867, revisions=(680514283,useless=437424705), ccks=819376396, wck=497.264, mem=1295M488
515.10/502.14	    decisions=10846763, wrong=5191607, backtracks=8444065, failedAssignments=115492, nogoods=3258
515.10/502.14	    
552.51/539.50	    num=74, depth=1691..11077, filters=259466920, revisions=(723479916,useless=472352059), ccks=853699644, wck=534.626, mem=1917M383
552.51/539.50	    decisions=11379985, wrong=5452882, backtracks=10432657, failedAssignments=127054, nogoods=3279
552.51/539.50	    
600.67/587.68	    num=75, depth=1892..10951, filters=281122427, revisions=(783624947,useless=511667310), ccks=922946608, wck=582.805, mem=1239M867
600.67/587.68	    decisions=12435177, wrong=5975151, backtracks=12015981, failedAssignments=139772, nogoods=3306
600.67/587.68	    
624.02/610.93	    num=76, depth=6067..10787, filters=281862734, revisions=(800658907,useless=528025668), ccks=927769943, wck=606.052, mem=1380M7
624.02/610.93	    decisions=12518253, wrong=6011452, backtracks=14220603, failedAssignments=153762, nogoods=3319
624.02/610.93	    
651.93/638.82	    num=77, depth=5984..10781, filters=283085363, revisions=(821894868,useless=548149112), ccks=935465320, wck=633.946, mem=1555M183
651.93/638.82	    decisions=12668379, wrong=6081249, backtracks=16877995, failedAssignments=169151, nogoods=3346
651.93/638.82	    
669.63/656.59	    num=78, depth=2037..10671, filters=283795254, revisions=(834532799,useless=560115953), ccks=939770148, wck=651.72, mem=1660M289
669.63/656.59	    decisions=12736035, wrong=6109894, backtracks=18618676, failedAssignments=186079, nogoods=3461
669.63/656.59	    
807.29/794.03	    num=79, depth=1926..10293, filters=379931611, revisions=(1043530298,useless=675536803), ccks=1230837594, wck=789.155, mem=1407M239
807.29/794.03	    decisions=16295512, wrong=7884572, backtracks=20391912, failedAssignments=204700, nogoods=3496
807.29/794.03	    
826.09/812.86	    num=80, depth=2368..10692, filters=381601852, revisions=(1059098775,useless=689526063), ccks=1238646319, wck=807.988, mem=1561M317
826.09/812.86	    decisions=16428523, wrong=7945895, backtracks=22065567, failedAssignments=225184, nogoods=3534
826.09/812.86	    
954.30/940.91	    num=81, depth=8239..10070, filters=461811817, revisions=(1221716410,useless=774227340), ccks=1472262953, wck=936.032, mem=956M108
954.30/940.91	    decisions=19939252, wrong=9696282, backtracks=23816836, failedAssignments=247716, nogoods=3558
954.30/940.91	    
1088.53/1075.09	    num=82, depth=2702..9976, filters=543429720, revisions=(1388853393,useless=862234204), ccks=1709642064, wck=1070.21, mem=962M173
1088.53/1075.09	    decisions=23621200, wrong=11532327, backtracks=25653578, failedAssignments=272501, nogoods=3651
1088.53/1075.09	    
1198.93/1185.35	    num=83, depth=6371..9891, filters=607329985, revisions=(1559991221,useless=971381675), ccks=1917437307, wck=1180.478, mem=903M793
1198.93/1185.35	    decisions=26460148, wrong=12946969, backtracks=27067336, failedAssignments=299765, nogoods=3692
1198.93/1185.35	    
1344.06/1330.30	    num=84, depth=7885..10069, filters=696445994, revisions=(1752930594,useless=1077854620), ccks=2183548569, wck=1325.424, mem=1236M946
1344.06/1330.30	    decisions=30417273, wrong=14920633, backtracks=29040099, failedAssignments=329755, nogoods=3728
1344.06/1330.30	    
1365.39/1351.69	    num=85, depth=4890..9763, filters=704299119, revisions=(1785212978,useless=1102749830), ccks=2213363081, wck=1346.814, mem=817M523
1365.39/1351.69	    decisions=31073684, wrong=15243985, backtracks=29350724, failedAssignments=362744, nogoods=3789
1365.39/1351.69	    
1374.80/1361.10	    num=86, depth=7262..9896, filters=706994340, revisions=(1802153665,useless=1117178761), ccks=2226695598, wck=1356.22, mem=1028M664
1374.80/1361.10	    decisions=31370199, wrong=15387353, backtracks=29462680, failedAssignments=399032, nogoods=3905
1374.80/1361.10	    
1551.59/1537.66	    num=87, depth=5124..9857, filters=810024419, revisions=(2058639088,useless=1273771181), ccks=2551131826, wck=1532.788, mem=819M953
1551.59/1537.66	    decisions=35896535, wrong=17645660, backtracks=31720007, failedAssignments=438949, nogoods=3963
1551.59/1537.66	    
1865.98/1851.63	    num=88, depth=5432..9919, filters=1018830476, revisions=(2487934353,useless=1499302741), ccks=3167261956, wck=1846.758, mem=1035M905
1865.98/1851.63	    decisions=43720566, wrong=21552871, backtracks=35625644, failedAssignments=482858, nogoods=4024
1865.98/1851.63	    
1955.31/1940.88	    num=89, depth=7372..9867, filters=1065362340, revisions=(2629457998,useless=1596317990), ccks=3325557564, wck=1936.005, mem=847M193
1955.31/1940.88	    decisions=46031328, wrong=22703367, backtracks=36744593, failedAssignments=531158, nogoods=4054
1955.31/1940.88	    
1960.62/1946.16	    num=90, depth=4790..9873, filters=1068224745, revisions=(2641872120,useless=1605939687), ccks=3336910507, wck=1941.28, mem=1001M666
1960.62/1946.16	    decisions=46166363, wrong=22765984, backtracks=36754339, failedAssignments=584288, nogoods=4257
1960.62/1946.16	    
1990.88/1976.38	    num=91, depth=9669..10003, filters=1084969802, revisions=(2682241671,useless=1630087673), ccks=3388449775, wck=1971.507, mem=921M866
1990.88/1976.38	    decisions=47006687, wrong=23181219, backtracks=37114918, failedAssignments=642731, nogoods=4331
1990.88/1976.38	    
2023.95/2009.31	    num=92, depth=6441..10101, filters=1102532927, revisions=(2733685174,useless=1664699042), ccks=3446176321, wck=2004.437, mem=998M235
2023.95/2009.31	    decisions=47885912, wrong=23615865, backtracks=37491322, failedAssignments=707018, nogoods=4475
2023.95/2009.31	    
2045.41/2030.73	    num=93, depth=6651..10338, filters=1113377752, revisions=(2761565419,useless=1682174850), ccks=3480093091, wck=2025.853, mem=1006M189
2045.41/2030.73	    decisions=48555219, wrong=23945419, backtracks=37754515, failedAssignments=777734, nogoods=4558
2045.41/2030.73	    
2098.56/2083.73	    num=94, depth=9439..10477, filters=1131314631, revisions=(2846581050,useless=1750517051), ccks=3554879692, wck=2078.855, mem=1019M413
2098.56/2083.73	    decisions=50291097, wrong=24808208, backtracks=38565488, failedAssignments=855521, nogoods=4694
2098.56/2083.73	    
2127.00/2112.09	    num=95, depth=9059..10674, filters=1145116056, revisions=(2887496595,useless=1778232074), ccks=3600745518, wck=2107.217, mem=852M393
2127.00/2112.09	    decisions=51205902, wrong=25260342, backtracks=38936363, failedAssignments=941087, nogoods=4790
2127.00/2112.09	    
2520.06/2503.30	
2520.06/2503.30	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391035-1568386131/watcher-4391035-1568386131 -o /tmp/evaluation-result-4391035-1568386131/solver-4391035-1568386131 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6542 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391035-1568386131.xml -cm 

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

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

solver pid=9078, runsolver pid=9075

[startup+0.100125 s]*
/proc/loadavg: 2.67 1.93 1.77 5/232 9093
/proc/meminfo: memFree=31349360/32770624 swapFree=67004032/67108860
[pid=9078] ppid=9075 vsize=10659884 memory=28404 CPUtime=0.14 cores=0,2,4,6
/proc/9078/stat : 9078 (java) S 9075 9078 6511 0 -1 1077944320 5615 0 0 0 13 1 0 0 20 0 15 0 414852706 10915721216 7101 33554432000 4194304 4196468 140731153359600 140731153342144 140537932857079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
/proc/9078/statm: 2664971 7101 2909 1 0 2627468 0
[pid=9078/tid=9080] ppid=9075 vsize=10659884 memory=-8682199499346375872 CPUtime=0.09 cores=0,2,4,6
/proc/9078/task/9080/stat : 9080 (java) R 9075 9078 6511 0 -1 4202560 3349 0 0 0 9 0 0 0 20 0 15 0 414852706 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537937087752 140537932879005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9081] ppid=9075 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9081/stat : 9081 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537858931088 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9082] ppid=9075 vsize=10659884 memory=139777508116096 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9082/stat : 9082 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537857878288 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9083] ppid=9075 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9083/stat : 9083 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537856826000 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9084] ppid=9075 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9084/stat : 9084 (java) S 9075 9078 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537855773200 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9085] ppid=9075 vsize=10659884 memory=139777508116096 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9085/stat : 9085 (java) S 9075 9078 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414852709 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537424194160 140537932868226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9086] ppid=9075 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9086/stat : 9086 (java) S 9075 9078 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414852709 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537423140128 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9087] ppid=9075 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9087/stat : 9087 (java) S 9075 9078 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414852709 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537422087792 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9088] ppid=9075 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9088/stat : 9088 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414852712 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537421036112 140537932875675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9089] ppid=9075 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9078/task/9089/stat : 9089 (java) S 9075 9078 6511 0 -1 1077944384 512 0 0 0 1 0 0 0 20 0 15 0 414852712 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537419982960 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9090] ppid=9075 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9090/stat : 9090 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414852712 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537418930160 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9091] ppid=9075 vsize=10659884 memory=139777508116096 CPUtime=0.02 cores=0,2,4,6
/proc/9078/task/9091/stat : 9091 (java) R 9075 9078 6511 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 15 0 414852712 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537417874552 140537925094206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9092] ppid=9075 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9092/stat : 9092 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414852712 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537416825312 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9093] ppid=9075 vsize=10659884 memory=139777508116096 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9093/stat : 9093 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852712 10915721216 7167 33554432000 4194304 4196468 140731153359600 140537415773104 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28404 KiB

[startup+0.211587 s]*
/proc/loadavg: 2.67 1.93 1.77 3/232 9093
/proc/meminfo: memFree=31343004/32770624 swapFree=67004032/67108860
[pid=9078] ppid=9075 vsize=10659884 memory=35408 CPUtime=0.32 cores=0,2,4,6
/proc/9078/stat : 9078 (java) S 9075 9078 6511 0 -1 1077944320 6965 0 0 0 31 1 0 0 20 0 15 0 414852706 10915721216 8852 33554432000 4194304 4196468 140731153359600 140731153342144 140537932857079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
/proc/9078/statm: 2664971 8852 2987 1 0 2627468 0
[pid=9078/tid=9080] ppid=9075 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/9078/task/9080/stat : 9080 (java) R 9075 9078 6511 0 -1 4202560 3879 0 0 0 19 0 0 0 20 0 15 0 414852706 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537937089168 140537889484144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9081] ppid=9075 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9081/stat : 9081 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537858931088 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9082] ppid=9075 vsize=10659884 memory=139777508125177 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9082/stat : 9082 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537857878288 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9083] ppid=9075 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9083/stat : 9083 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537856826000 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9084] ppid=9075 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9084/stat : 9084 (java) S 9075 9078 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537855773200 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9085] ppid=9075 vsize=10659884 memory=139777508116096 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9085/stat : 9085 (java) S 9075 9078 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414852709 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537424194160 140537932868226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9086] ppid=9075 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9086/stat : 9086 (java) S 9075 9078 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414852709 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537423140128 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9087] ppid=9075 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9087/stat : 9087 (java) S 9075 9078 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414852709 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537422087792 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9088] ppid=9075 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9088/stat : 9088 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414852712 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537421036112 140537932875675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9089] ppid=9075 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9078/task/9089/stat : 9089 (java) S 9075 9078 6511 0 -1 1077944384 854 0 0 0 3 0 0 0 20 0 15 0 414852712 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537419982960 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9090] ppid=9075 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9078/task/9090/stat : 9090 (java) S 9075 9078 6511 0 -1 1077944384 180 0 0 0 2 0 0 0 20 0 15 0 414852712 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537418930160 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9091] ppid=9075 vsize=10659884 memory=139777508116096 CPUtime=0.05 cores=0,2,4,6
/proc/9078/task/9091/stat : 9091 (java) S 9075 9078 6511 0 -1 1077944384 693 0 0 0 5 0 0 0 20 0 15 0 414852712 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537417877872 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9092] ppid=9075 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9092/stat : 9092 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414852712 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537416825312 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9093] ppid=9075 vsize=10659884 memory=139777508116096 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9093/stat : 9093 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852712 10915721216 8852 33554432000 4194304 4196468 140731153359600 140537415773104 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35408 KiB

[startup+0.31013 s]*
/proc/loadavg: 2.67 1.93 1.77 3/232 9093
/proc/meminfo: memFree=31337768/32770624 swapFree=67004032/67108860
[pid=9078] ppid=9075 vsize=10659884 memory=40468 CPUtime=0.46 cores=0,2,4,6
/proc/9078/stat : 9078 (java) S 9075 9078 6511 0 -1 1077944320 9463 0 0 0 43 3 0 0 20 0 15 0 414852706 10915721216 10117 33554432000 4194304 4196468 140731153359600 140731153342144 140537932857079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
/proc/9078/statm: 2664971 10117 2999 1 0 2627468 0
[pid=9078/tid=9080] ppid=9075 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/9078/task/9080/stat : 9080 (java) R 9075 9078 6511 0 -1 4202560 6312 0 0 0 27 2 0 0 20 0 15 0 414852706 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537937077968 140537916937566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9081] ppid=9075 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9081/stat : 9081 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537858931088 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9082] ppid=9075 vsize=10659884 memory=15964186018055832 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9082/stat : 9082 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537857878288 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9083] ppid=9075 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9083/stat : 9083 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537856826000 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9084] ppid=9075 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9084/stat : 9084 (java) S 9075 9078 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414852707 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537855773200 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9085] ppid=9075 vsize=10659884 memory=139777508116096 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9085/stat : 9085 (java) S 9075 9078 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414852709 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537424194160 140537932868226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9086] ppid=9075 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9086/stat : 9086 (java) S 9075 9078 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414852709 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537423140128 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9087] ppid=9075 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9087/stat : 9087 (java) S 9075 9078 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414852709 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537422087792 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9088] ppid=9075 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9088/stat : 9088 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414852712 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537421036112 140537932875675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9089] ppid=9075 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9078/task/9089/stat : 9089 (java) S 9075 9078 6511 0 -1 1077944384 862 0 0 0 4 0 0 0 20 0 15 0 414852712 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537419982960 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9090] ppid=9075 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/9078/task/9090/stat : 9090 (java) S 9075 9078 6511 0 -1 1077944384 222 0 0 0 3 0 0 0 20 0 15 0 414852712 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537418930160 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9091] ppid=9075 vsize=10659884 memory=139777508116096 CPUtime=0.07 cores=0,2,4,6
/proc/9078/task/9091/stat : 9091 (java) S 9075 9078 6511 0 -1 1077944384 712 0 0 0 7 0 0 0 20 0 15 0 414852712 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537417877872 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9092] ppid=9075 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9092/stat : 9092 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414852712 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537416825312 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9093] ppid=9075 vsize=10659884 memory=139777508116096 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9093/stat : 9093 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852712 10915721216 10117 33554432000 4194304 4196468 140731153359600 140537415773104 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40468 KiB

[startup+0.70075 s]
/proc/loadavg: 2.67 1.93 1.77 3/232 9093
/proc/meminfo: memFree=31325872/32770624 swapFree=67004032/67108860
[pid=9078] ppid=9075 vsize=10661932 memory=61296 CPUtime=1.09 cores=0,2,4,6
/proc/9078/stat : 9078 (java) S 9075 9078 6511 0 -1 1077944320 13023 0 0 0 104 5 0 0 20 0 15 0 414852706 10917818368 15324 33554432000 4194304 4196468 140731153359600 140731153342144 140537932857079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
/proc/9078/statm: 2665483 15324 3059 1 0 2627980 0
[pid=9078/tid=9080] ppid=9075 vsize=10661932 memory=1220 CPUtime=0.67 cores=0,2,4,6
/proc/9078/task/9080/stat : 9080 (java) R 9075 9078 6511 0 -1 4202560 8842 0 0 0 63 4 0 0 20 0 15 0 414852706 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537937080016 140537913501996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9081] ppid=9075 vsize=10661932 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9081/stat : 9081 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537858931088 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9082] ppid=9075 vsize=10661932 memory=784 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9082/stat : 9082 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537857878288 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9083] ppid=9075 vsize=10661932 memory=8252 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9083/stat : 9083 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537856826000 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9084] ppid=9075 vsize=10661932 memory=5920 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9084/stat : 9084 (java) S 9075 9078 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414852707 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537855773200 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9085] ppid=9075 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9085/stat : 9085 (java) S 9075 9078 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414852709 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537424194160 140537932868226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9086] ppid=9075 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9086/stat : 9086 (java) S 9075 9078 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414852709 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537423140128 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9087] ppid=9075 vsize=10661932 memory=728 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9087/stat : 9087 (java) S 9075 9078 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414852709 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537422087792 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9088] ppid=9075 vsize=10661932 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9088/stat : 9088 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414852712 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537421036112 140537932875675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9089] ppid=9075 vsize=10661932 memory=7236533984234661184 CPUtime=0.12 cores=0,2,4,6
/proc/9078/task/9089/stat : 9089 (java) S 9075 9078 6511 0 -1 1077944384 1175 0 0 0 12 0 0 0 20 0 15 0 414852712 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537419982960 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9090] ppid=9075 vsize=10661932 memory=7380106142448642414 CPUtime=0.09 cores=0,2,4,6
/proc/9078/task/9090/stat : 9090 (java) S 9075 9078 6511 0 -1 1077944384 486 0 0 0 9 0 0 0 20 0 15 0 414852712 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537418930160 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9091] ppid=9075 vsize=10661932 memory=5859271421084063080 CPUtime=0.18 cores=0,2,4,6
/proc/9078/task/9091/stat : 9091 (java) S 9075 9078 6511 0 -1 1077944384 1161 0 0 0 18 0 0 0 20 0 15 0 414852712 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537417877872 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9092] ppid=9075 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9092/stat : 9092 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414852712 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537416825312 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9093] ppid=9075 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9093/stat : 9093 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852712 10917818368 15324 33554432000 4194304 4196468 140731153359600 140537415773104 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61296 KiB

[startup+1.50079 s]
/proc/loadavg: 2.67 1.93 1.77 3/232 9093
/proc/meminfo: memFree=31309880/32770624 swapFree=67004032/67108860
[pid=9078] ppid=9075 vsize=10663980 memory=75912 CPUtime=2 cores=0,2,4,6
/proc/9078/stat : 9078 (java) S 9075 9078 6511 0 -1 1077944320 18636 0 0 0 194 6 0 0 20 0 15 0 414852706 10919915520 18978 33554432000 4194304 4196468 140731153359600 140731153342144 140537932857079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
/proc/9078/statm: 2665995 18978 3093 1 0 2628492 0
[pid=9078/tid=9080] ppid=9075 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/9078/task/9080/stat : 9080 (java) R 9075 9078 6511 0 -1 4202560 13030 0 0 0 143 4 0 0 20 0 15 0 414852706 10919915520 18978 33554432000 4194304 4196468 140731153359600 140537937082960 140537916043888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9081] ppid=9075 vsize=10663980 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9081/stat : 9081 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10919915520 18978 33554432000 4194304 4196468 140731153359600 140537858931088 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9082] ppid=9075 vsize=10663980 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9082/stat : 9082 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10919915520 18978 33554432000 4194304 4196468 140731153359600 140537857878288 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9083] ppid=9075 vsize=10663980 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9083/stat : 9083 (java) S 9075 9078 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414852707 10919915520 18978 33554432000 4194304 4196468 140731153359600 140537856826000 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9084] ppid=9075 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9084/stat : 9084 (java) S 9075 9078 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414852707 10919915520 18978 33554432000 4194304 4196468 140731153359600 140537855773200 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9085] ppid=9075 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9085/stat : 9085 (java) S 9075 9078 6511 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 414852709 10919915520 18978 33554432000 4194304 4196468 140731153359600 140537424194160 140537932868226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0

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

/proc/9078/task/9084/stat : 9084 (java) S 9075 9078 6511 0 -1 1077944384 21123 0 0 0 167 49 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537855773200 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9085] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0.24 cores=0,2,4,6
/proc/9078/task/9085/stat : 9085 (java) S 9075 9078 6511 0 -1 1077944384 17069 0 0 0 18 6 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537424194160 140537932868226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9086] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9086/stat : 9086 (java) S 9075 9078 6511 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537423140192 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9087] ppid=9075 vsize=10748324 memory=242900 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9087/stat : 9087 (java) S 9075 9078 6511 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537422087808 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9088] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9088/stat : 9088 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537421036112 140537932875675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9089] ppid=9075 vsize=10748324 memory=1080740 CPUtime=4.18 cores=0,2,4,6
/proc/9078/task/9089/stat : 9089 (java) S 9075 9078 6511 0 -1 1077944384 17917 0 0 0 417 1 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537419982960 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9090] ppid=9075 vsize=10748324 memory=928 CPUtime=4.14 cores=0,2,4,6
/proc/9078/task/9090/stat : 9090 (java) S 9075 9078 6511 0 -1 1077944384 19602 0 0 0 412 2 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537418930160 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9091] ppid=9075 vsize=10748324 memory=1080740 CPUtime=1.16 cores=0,2,4,6
/proc/9078/task/9091/stat : 9091 (java) S 9075 9078 6511 0 -1 1077944384 15454 0 0 0 114 2 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537417877872 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9092] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9092/stat : 9092 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537416825312 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9093] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0.6 cores=0,2,4,6
/proc/9078/task/9093/stat : 9093 (java) S 9075 9078 6511 0 -1 1077944384 1632 0 0 0 26 34 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537415773104 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9094] ppid=9075 vsize=10748324 memory=784 CPUtime=2437.9 cores=0,2,4,6
/proc/9078/task/9094/stat : 9094 (java) R 9075 9078 6511 0 -1 4202560 71324 0 0 0 243766 24 0 0 20 0 16 0 414852895 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537399111088 140537532040445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
Current children cumulated CPU time: 2458.67 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1080740 KiB

[startup+2502.3 s]
/proc/loadavg: 0.70 1.08 1.55 2/212 9490
/proc/meminfo: memFree=30529992/32770624 swapFree=67004040/67108860
[pid=9078] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2519.04 cores=0,2,4,6
/proc/9078/stat : 9078 (java) S 9075 9078 6511 0 -1 1077944320 262018 0 0 0 251654 250 0 0 20 0 16 0 414852706 11006283776 270185 33554432000 4194304 4196468 140731153359600 140731153342144 140537932857079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
/proc/9078/statm: 2687081 270185 3379 1 0 2647217 0
[pid=9078/tid=9080] ppid=9075 vsize=10748324 memory=1080740 CPUtime=1.87 cores=0,2,4,6
/proc/9078/task/9080/stat : 9080 (java) S 9075 9078 6511 0 -1 1077944384 15296 0 0 0 181 6 0 0 20 0 16 0 414852706 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537937099952 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9081] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.21 cores=0,2,4,6
/proc/9078/task/9081/stat : 9081 (java) S 9075 9078 6511 0 -1 1077944384 28872 0 0 0 179 42 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537858931088 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9082] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.26 cores=0,2,4,6
/proc/9078/task/9082/stat : 9082 (java) S 9075 9078 6511 0 -1 1077944384 26062 0 0 0 177 49 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537857878288 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9083] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.21 cores=0,2,4,6
/proc/9078/task/9083/stat : 9083 (java) S 9075 9078 6511 0 -1 1077944384 25018 0 0 0 179 42 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537856826000 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9084] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.29 cores=0,2,4,6
/proc/9078/task/9084/stat : 9084 (java) S 9075 9078 6511 0 -1 1077944384 21878 0 0 0 179 50 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537855773200 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9085] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0.27 cores=0,2,4,6
/proc/9078/task/9085/stat : 9085 (java) S 9075 9078 6511 0 -1 1077944384 17216 0 0 0 21 6 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537424194160 140537932868226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9086] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9086/stat : 9086 (java) S 9075 9078 6511 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537423140192 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9087] ppid=9075 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9087/stat : 9087 (java) S 9075 9078 6511 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537422087808 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9088] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9088/stat : 9088 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537421036112 140537932875675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9089] ppid=9075 vsize=10748324 memory=784 CPUtime=4.18 cores=0,2,4,6
/proc/9078/task/9089/stat : 9089 (java) S 9075 9078 6511 0 -1 1077944384 17919 0 0 0 417 1 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537419982960 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9090] ppid=9075 vsize=10748324 memory=1965 CPUtime=4.14 cores=0,2,4,6
/proc/9078/task/9090/stat : 9090 (java) S 9075 9078 6511 0 -1 1077944384 19604 0 0 0 412 2 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537418930160 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9091] ppid=9075 vsize=10748324 memory=0 CPUtime=1.16 cores=0,2,4,6
/proc/9078/task/9091/stat : 9091 (java) S 9075 9078 6511 0 -1 1077944384 15457 0 0 0 114 2 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537417877872 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9092] ppid=9075 vsize=10748324 memory=6944656592587090596 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9092/stat : 9092 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537416825312 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9093] ppid=9075 vsize=10748324 memory=1212 CPUtime=0.62 cores=0,2,4,6
/proc/9078/task/9093/stat : 9093 (java) S 9075 9078 6511 0 -1 1077944384 1658 0 0 0 27 35 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537415773104 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9094] ppid=9075 vsize=10748324 memory=1036 CPUtime=2497.74 cores=0,2,4,6
/proc/9078/task/9094/stat : 9094 (java) R 9075 9078 6511 0 -1 4202560 71618 0 0 0 249750 24 0 0 20 0 16 0 414852895 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537399111088 140537523450667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
Current children cumulated CPU time: 2519.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1080740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2503.3 s]
/proc/loadavg: 0.64 1.06 1.54 2/212 9490
/proc/meminfo: memFree=30529992/32770624 swapFree=67004040/67108860
[pid=9078] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2520.06 cores=0,2,4,6
/proc/9078/stat : 9078 (java) S 9075 9078 6511 0 -1 1077944320 262019 0 0 0 251756 250 0 0 20 0 16 0 414852706 11006283776 270185 33554432000 4194304 4196468 140731153359600 140731153342144 140537932857079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
/proc/9078/statm: 2687081 270185 3379 1 0 2647217 0
[pid=9078/tid=9080] ppid=9075 vsize=10748324 memory=1080740 CPUtime=1.87 cores=0,2,4,6
/proc/9078/task/9080/stat : 9080 (java) S 9075 9078 6511 0 -1 1077944384 15296 0 0 0 181 6 0 0 20 0 16 0 414852706 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537937099952 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9081] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.21 cores=0,2,4,6
/proc/9078/task/9081/stat : 9081 (java) S 9075 9078 6511 0 -1 1077944384 28872 0 0 0 179 42 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537858931088 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9082] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.26 cores=0,2,4,6
/proc/9078/task/9082/stat : 9082 (java) S 9075 9078 6511 0 -1 1077944384 26062 0 0 0 177 49 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537857878288 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9083] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.21 cores=0,2,4,6
/proc/9078/task/9083/stat : 9083 (java) S 9075 9078 6511 0 -1 1077944384 25018 0 0 0 179 42 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537856826000 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9084] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.3 cores=0,2,4,6
/proc/9078/task/9084/stat : 9084 (java) S 9075 9078 6511 0 -1 1077944384 21878 0 0 0 180 50 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537855773200 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9085] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0.27 cores=0,2,4,6
/proc/9078/task/9085/stat : 9085 (java) S 9075 9078 6511 0 -1 1077944384 17216 0 0 0 21 6 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537424194160 140537932868226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9086] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9086/stat : 9086 (java) S 9075 9078 6511 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537423140192 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9087] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9087/stat : 9087 (java) S 9075 9078 6511 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537422087808 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9088] ppid=9075 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9088/stat : 9088 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537421036112 140537932875675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9089] ppid=9075 vsize=10748324 memory=1080740 CPUtime=4.18 cores=0,2,4,6
/proc/9078/task/9089/stat : 9089 (java) S 9075 9078 6511 0 -1 1077944384 17919 0 0 0 417 1 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537419982960 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9090] ppid=9075 vsize=10748324 memory=33 CPUtime=4.14 cores=0,2,4,6
/proc/9078/task/9090/stat : 9090 (java) S 9075 9078 6511 0 -1 1077944384 19604 0 0 0 412 2 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537418930160 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9091] ppid=9075 vsize=10748324 memory=1212 CPUtime=1.16 cores=0,2,4,6
/proc/9078/task/9091/stat : 9091 (java) S 9075 9078 6511 0 -1 1077944384 15457 0 0 0 114 2 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537417877872 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9092] ppid=9075 vsize=10748324 memory=1036 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9092/stat : 9092 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537416825312 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9093] ppid=9075 vsize=10748324 memory=279554724251056 CPUtime=0.62 cores=0,2,4,6
/proc/9078/task/9093/stat : 9093 (java) S 9075 9078 6511 0 -1 1077944384 1658 0 0 0 27 35 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537415773104 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9094] ppid=9075 vsize=10748324 memory=139777362210760 CPUtime=2498.74 cores=0,2,4,6
/proc/9078/task/9094/stat : 9094 (java) R 9075 9078 6511 0 -1 4202560 71619 0 0 0 249850 24 0 0 20 0 16 0 414852895 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537399111088 140537523450667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1080740 KiB

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

[startup+2503.32 s]
# the end of solver process 9078 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.57 s, system=2.5174 s

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

[startup+2503.3 s]
/proc/loadavg: 0.64 1.06 1.54 2/212 9490
/proc/meminfo: memFree=30529992/32770624 swapFree=67004040/67108860
[pid=9078] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2520.06 cores=0,2,4,6
/proc/9078/stat : 9078 (java) S 9075 9078 6511 0 -1 1077944320 262019 0 0 0 251756 250 0 0 20 0 16 0 414852706 11006283776 270185 33554432000 4194304 4196468 140731153359600 140731153342144 140537932857079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
/proc/9078/statm: 2687081 270185 3379 1 0 2647217 0
[pid=9078/tid=9080] ppid=9075 vsize=10748324 memory=1080740 CPUtime=1.87 cores=0,2,4,6
/proc/9078/task/9080/stat : 9080 (java) S 9075 9078 6511 0 -1 1077944384 15296 0 0 0 181 6 0 0 20 0 16 0 414852706 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537937099952 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9081] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.21 cores=0,2,4,6
/proc/9078/task/9081/stat : 9081 (java) S 9075 9078 6511 0 -1 1077944384 28872 0 0 0 179 42 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537858931088 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9082] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.26 cores=0,2,4,6
/proc/9078/task/9082/stat : 9082 (java) S 9075 9078 6511 0 -1 1077944384 26062 0 0 0 177 49 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537857878288 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9083] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.21 cores=0,2,4,6
/proc/9078/task/9083/stat : 9083 (java) S 9075 9078 6511 0 -1 1077944384 25018 0 0 0 179 42 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537856826000 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9084] ppid=9075 vsize=10748324 memory=1080740 CPUtime=2.3 cores=0,2,4,6
/proc/9078/task/9084/stat : 9084 (java) S 9075 9078 6511 0 -1 1077944384 21878 0 0 0 180 50 0 0 20 0 16 0 414852707 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537855773200 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9085] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0.27 cores=0,2,4,6
/proc/9078/task/9085/stat : 9085 (java) S 9075 9078 6511 0 -1 1077944384 17216 0 0 0 21 6 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537424194160 140537932868226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9086] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9086/stat : 9086 (java) S 9075 9078 6511 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537423140192 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9087] ppid=9075 vsize=10748324 memory=1080740 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9087/stat : 9087 (java) S 9075 9078 6511 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414852709 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537422087808 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9088] ppid=9075 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9088/stat : 9088 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537421036112 140537932875675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9089] ppid=9075 vsize=10748324 memory=1080740 CPUtime=4.18 cores=0,2,4,6
/proc/9078/task/9089/stat : 9089 (java) S 9075 9078 6511 0 -1 1077944384 17919 0 0 0 417 1 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537419982960 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9090] ppid=9075 vsize=10748324 memory=33 CPUtime=4.14 cores=0,2,4,6
/proc/9078/task/9090/stat : 9090 (java) S 9075 9078 6511 0 -1 1077944384 19604 0 0 0 412 2 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537418930160 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9091] ppid=9075 vsize=10748324 memory=1212 CPUtime=1.16 cores=0,2,4,6
/proc/9078/task/9091/stat : 9091 (java) S 9075 9078 6511 0 -1 1077944384 15457 0 0 0 114 2 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537417877872 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9092] ppid=9075 vsize=10748324 memory=1036 CPUtime=0 cores=0,2,4,6
/proc/9078/task/9092/stat : 9092 (java) S 9075 9078 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537416825312 140537932867285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9093] ppid=9075 vsize=10748324 memory=279554724251056 CPUtime=0.62 cores=0,2,4,6
/proc/9078/task/9093/stat : 9093 (java) S 9075 9078 6511 0 -1 1077944384 1658 0 0 0 27 35 0 0 20 0 16 0 414852712 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537415773104 140537932868226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
[pid=9078/tid=9094] ppid=9075 vsize=10748324 memory=139777362210760 CPUtime=2498.74 cores=0,2,4,6
/proc/9078/task/9094/stat : 9094 (java) R 9075 9078 6511 0 -1 4202560 71619 0 0 0 249850 24 0 0 20 0 16 0 414852895 11006283776 270185 33554432000 4194304 4196468 140731153359600 140537399111088 140537523450667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28037120 140731153363979 140731153364082 140731153364082 140731153366991 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1080740 KiB

Child status: 143
Real time (s): 2503.32
CPU time (s): 2520.09
CPU user time (s): 2517.57
CPU system time (s): 2.5174
CPU usage (%): 100.67
Max. virtual memory (cumulated for all children) (KiB): 10748332
Max. memory (cumulated for all children) (KiB): 2771084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.57
system time used= 2.5174
maximum resident set size= 2771084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262337
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61567
involuntary context switches= 2388


# summary of solver processes directly reported to runsolver:
#   pid: 9078
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2517.57
#   total CPU system time (s): 2.5174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6513 second user time and 20.0073 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-13 16:48:11
IDJOB=4391035
IDBENCH=139384
IDSOLVER=2832
FILE ID=node133/4391035-1568386131
RUNJOBID= node133-1568380476-6542
PBS_JOBID= 21701835
Free space on /tmp= 55104 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-4391035-1568386131/watcher-4391035-1568386131 -o /tmp/evaluation-result-4391035-1568386131/solver-4391035-1568386131 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6542 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391035-1568386131.xml -cm

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

MD5SUM BENCH= bb782f0c2876622a4bcf03fe44f48018
RANDOM SEED=1874455754

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31365428 kB
MemAvailable:   31673828 kB
Buffers:          162492 kB
Cached:           426664 kB
SwapCached:         3440 kB
Active:           532780 kB
Inactive:         285128 kB
Active(anon):     253012 kB
Inactive(anon):    16032 kB
Active(file):     279768 kB
Inactive(file):   269096 kB
Unevictable:      111228 kB
Mlocked:          111228 kB
SwapTotal:      67108860 kB
SwapFree:       67004032 kB
Dirty:              8744 kB
Writeback:             0 kB
AnonPages:        340616 kB
Mapped:            56352 kB
Shmem:             31412 kB
Slab:             179636 kB
SReclaimable:     150744 kB
SUnreclaim:        28892 kB
KernelStack:        3968 kB
PageTables:         6868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1259564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59408 MiB
End job on node133 at 2019-09-13 17:29:55