Trace number 4391315

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2400.05 2386.12

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_13_6.xml
MD5SUM0b4cdd9f2ac3a0985a9efe7e14eeda02
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark274
Best CPU time to get the best result obtained on this benchmark1996.42
Satisfiable
(Un)Satisfiability was proved
Number of variables12654
Number of constraints466
Number of domains4
Minimum domain size2
Maximum domain size111
Distribution of domain sizes[{"size":2,"count":12321},{"size":12,"count":111},{"size":49,"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.36/1.89	
2.36/1.89	AbsCon 2 
2.63/1.91	
3.95/2.33	  Instance
3.95/2.33	    name=instance-4391315-1568391269, framework=COP, bounds=-infty..+infty
3.95/2.33	
3.95/2.33	  Loading variables...
4.63/2.57	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
10.47/4.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
10.47/4.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
10.68/4.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
10.68/4.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
10.68/4.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
10.68/4.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
10.68/4.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
10.68/4.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
10.68/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
10.68/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
10.68/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
10.68/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
10.68/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
10.68/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
10.68/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
10.68/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
10.68/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
10.68/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
10.68/4.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
10.68/4.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
10.68/4.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
10.68/4.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
10.68/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
10.68/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
10.68/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.03/4.57	
11.03/4.57	
11.03/4.57	  Domains
11.03/4.57	    nTypes=4, nValues=43734, sizes=[2#12321,12#111,49#111,111#111]
11.03/4.57	  Variables
11.03/4.57	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.03/4.57	  Objectives
11.03/4.57	    way=min, type=SumSimpleLE
11.03/4.57	  Constraints
11.03/4.57	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.03/4.57	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.03/4.57	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.03/4.57	    wck=2.711, cpu=4.082, mem=932M587
11.37/4.60	  Solver SolverBacktrack being built...
11.37/4.60	
11.66/4.71	
11.66/4.71	  Solver
11.66/4.71	    guaranteedGAC=false
11.66/4.71	    wck=2.847, cpu=4.216, mem=965M160
12.77/5.50	
12.77/5.50	  Preprocessing
12.77/5.50	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
12.77/5.50	    wck=0.794, cpu=5.016, mem=965M160
12.77/5.50	
12.77/5.56	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.849, mem=965M160
12.77/5.56	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
12.77/5.56	    
13.06/5.60	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.894, mem=965M160
13.06/5.60	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
13.06/5.60	    
13.06/5.65	    num=2, depth=220..220, filters=4235, revisions=(38962,useless=34766), ccks=1397675, wck=0.946, mem=965M160
13.06/5.65	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.06/5.65	    
13.37/5.72	    num=3, depth=329..329, filters=6079, revisions=(54504,useless=48486), ccks=1408602, wck=1.011, mem=965M160
13.37/5.72	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.37/5.72	    
13.37/5.79	    num=4, depth=438..438, filters=8138, revisions=(76485,useless=68435), ccks=1419946, wck=1.083, mem=965M160
13.37/5.79	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
13.37/5.79	    
13.57/5.88	    num=5, depth=547..547, filters=10573, revisions=(108679,useless=98259), ccks=1435287, wck=1.173, mem=965M160
13.57/5.88	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
13.57/5.88	    
13.75/5.98	    num=6, depth=656..656, filters=13156, revisions=(143760,useless=130795), ccks=1447759, wck=1.275, mem=965M160
13.75/5.98	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
13.75/5.98	    
13.99/6.11	    num=7, depth=763..763, filters=16531, revisions=(212035,useless=195984), ccks=1475067, wck=1.402, mem=965M160
13.99/6.11	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
13.99/6.11	    
14.09/6.25	    num=8, depth=872..872, filters=20170, revisions=(284862,useless=265448), ccks=1501153, wck=1.542, mem=973M351
14.09/6.25	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
14.09/6.25	    
14.30/6.41	    num=9, depth=980..981, filters=24443, revisions=(376673,useless=353382), ccks=1534277, wck=1.703, mem=973M351
14.30/6.41	    decisions=5340, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
14.30/6.41	    
14.55/6.60	    num=10, depth=1198..1199, filters=29175, revisions=(481695,useless=454081), ccks=1572611, wck=1.894, mem=973M351
14.55/6.60	    decisions=6589, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
14.55/6.60	    
14.77/6.82	    num=11, depth=1416..1417, filters=34526, revisions=(603258,useless=570744), ccks=1615291, wck=2.112, mem=976M16
14.77/6.82	    decisions=8062, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
14.77/6.82	    
14.99/7.07	    num=12, depth=1632..1634, filters=40939, revisions=(761124,useless=722874), ccks=1670268, wck=2.366, mem=976M16
14.99/7.07	    decisions=9758, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
14.99/7.07	    
15.30/7.36	    num=13, depth=1849..1850, filters=47981, revisions=(941749,useless=897235), ccks=1739800, wck=2.651, mem=976M16
15.30/7.36	    decisions=11676, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
15.30/7.36	    
15.61/7.67	    num=14, depth=2067..2068, filters=55583, revisions=(1137139,useless=1085827), ccks=1802338, wck=2.964, mem=976M16
15.61/7.67	    decisions=13818, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
15.61/7.67	    
16.03/8.01	    num=15, depth=2285..2286, filters=63771, revisions=(1344186,useless=1285487), ccks=1864749, wck=3.303, mem=976M16
16.03/8.01	    decisions=16186, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
16.03/8.01	    
16.33/8.38	    num=16, depth=2503..2505, filters=72671, revisions=(1564666,useless=1497881), ccks=1928789, wck=3.671, mem=976M16
16.33/8.38	    decisions=18781, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
16.33/8.38	    
16.74/8.79	    num=17, depth=2830..2832, filters=82466, revisions=(1804907,useless=1729158), ccks=1998795, wck=4.08, mem=976M16
16.74/8.79	    decisions=21713, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
16.74/8.79	    
17.24/9.24	    num=18, depth=3157..3159, filters=93219, revisions=(2069793,useless=1984183), ccks=2075092, wck=4.53, mem=984M220
17.24/9.24	    decisions=24982, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
17.24/9.24	    
17.74/9.73	    num=19, depth=3482..3484, filters=105352, revisions=(2378531,useless=2281919), ccks=2165309, wck=5.025, mem=984M220
17.74/9.73	    decisions=28588, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
17.74/9.73	    
18.25/10.27	    num=20, depth=3808..3811, filters=118649, revisions=(2715246,useless=2606561), ccks=2260043, wck=5.559, mem=984M220
18.25/10.27	    decisions=32533, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
18.25/10.27	    
18.85/10.86	    num=21, depth=4243..4246, filters=133497, revisions=(3096367,useless=2974246), ccks=2372828, wck=6.149, mem=984M220
18.85/10.86	    decisions=36927, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
18.85/10.86	    
19.45/11.49	    num=22, depth=4677..4680, filters=149863, revisions=(3522562,useless=3385684), ccks=2495209, wck=6.787, mem=984M220
19.45/11.49	    decisions=41769, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
19.45/11.49	    
20.16/12.18	    num=23, depth=5112..5116, filters=167781, revisions=(3987724,useless=3834675), ccks=2626743, wck=7.472, mem=992M411
20.16/12.18	    decisions=47063, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
20.16/12.18	    
20.95/12.92	    num=24, depth=5657..5661, filters=187246, revisions=(4485969,useless=4315231), ccks=2765733, wck=8.212, mem=992M411
20.95/12.92	    decisions=52920, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
20.95/12.92	    
21.76/13.71	    num=25, depth=6202..6206, filters=208271, revisions=(5017519,useless=4827562), ccks=2908308, wck=9.002, mem=996M821
21.76/13.71	    decisions=59342, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
21.76/13.71	    
24.43/15.06	    num=26, depth=6747..6752, filters=231127, revisions=(5582707,useless=5371732), ccks=3055136, wck=10.35, mem=728M471
24.43/15.06	    decisions=66332, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
24.43/15.06	    
27.22/17.41	    num=27, depth=7147..7366, filters=943962, revisions=(7677263,useless=6773458), ccks=5295009, wck=12.705, mem=777M447
27.22/17.41	    decisions=99070, wrong=13989, backtracks=12778, failedAssignments=1330, nogoods=1201
27.22/17.41	    
28.80/18.99	    num=28, depth=7259..7477, filters=1287684, revisions=(8989956,useless=7752719), ccks=6401275, wck=14.286, mem=801M934
28.80/18.99	    decisions=118503, wrong=19977, backtracks=18674, failedAssignments=1474, nogoods=1288
28.80/18.99	    
29.89/19.93	    num=29, depth=7370..7509, filters=1315624, revisions=(9636976,useless=8374141), ccks=6557839, wck=15.221, mem=810M97
29.89/19.93	    decisions=126751, wrong=20348, backtracks=18888, failedAssignments=1632, nogoods=1340
29.89/19.93	    
31.29/21.20	    num=30, depth=7259..7508, filters=1524230, revisions=(10648424,useless=9183728), ccks=7246503, wck=16.497, mem=826M422
31.29/21.20	    decisions=141401, wrong=23920, backtracks=22318, failedAssignments=1806, nogoods=1375
31.29/21.20	    
32.60/22.53	    num=31, depth=7503..7746, filters=1708190, revisions=(11870217,useless=10228761), ccks=8096549, wck=17.82, mem=834M585
32.60/22.53	    decisions=157323, wrong=28009, backtracks=26293, failedAssignments=1997, nogoods=1387
32.60/22.53	    
34.50/24.41	    num=32, depth=7610..7849, filters=2234243, revisions=(13587207,useless=11434483), ccks=9754465, wck=19.7, mem=875M398
34.50/24.41	    decisions=183755, wrong=37303, backtracks=35458, failedAssignments=2208, nogoods=1407
34.50/24.41	    
38.00/27.98	    num=33, depth=7716..7938, filters=3635071, revisions=(17195325,useless=13679443), ccks=14063111, wck=23.269, mem=973M349
38.00/27.98	    decisions=241841, wrong=62488, backtracks=60646, failedAssignments=2440, nogoods=1408
38.00/27.98	    
39.60/29.57	    num=34, depth=7830..8046, filters=4008289, revisions=(18593908,useless=14715589), ccks=15260957, wck=24.86, mem=1005M999
39.60/29.57	    decisions=262823, wrong=69001, backtracks=66962, failedAssignments=2695, nogoods=1500
39.60/29.57	    
43.71/33.68	    num=35, depth=7721..8044, filters=5690382, revisions=(22838432,useless=17323083), ccks=20419768, wck=28.975, mem=1128M438
43.71/33.68	    decisions=331399, wrong=99355, backtracks=97308, failedAssignments=2976, nogoods=1503
43.71/33.68	    
44.81/34.78	    num=36, depth=8037..8157, filters=5800351, revisions=(23678241,useless=18057008), ccks=20819418, wck=30.071, mem=1130M275
44.81/34.78	    decisions=343278, wrong=101228, backtracks=98884, failedAssignments=3285, nogoods=1574
44.81/34.78	    
46.58/36.21	    num=37, depth=7941..8158, filters=6028335, revisions=(24817118,useless=18975370), ccks=21592401, wck=31.5, mem=763M302
46.58/36.21	    decisions=359302, wrong=105175, backtracks=102521, failedAssignments=3625, nogoods=1668
46.58/36.21	    
47.49/37.19	    num=38, depth=8214..8234, filters=6059315, revisions=(25546937,useless=19676785), ccks=21793203, wck=32.484, mem=763M302
47.49/37.19	    decisions=368781, wrong=105800, backtracks=102850, failedAssignments=3999, nogoods=1753
47.49/37.19	    
48.49/38.16	    num=39, depth=8342..8443, filters=6096500, revisions=(26260764,useless=20355456), ccks=21985728, wck=33.448, mem=777M952
48.49/38.16	    decisions=378053, wrong=106218, backtracks=102859, failedAssignments=4410, nogoods=1843
48.49/38.16	    
52.63/42.22	    num=40, depth=8234..8544, filters=7623692, revisions=(30893252,useless=23512947), ccks=27342189, wck=37.511, mem=894M876
52.63/42.22	    decisions=447464, wrong=136788, backtracks=133460, failedAssignments=4862, nogoods=1845
52.63/42.22	    
54.03/43.61	    num=41, depth=8336..8554, filters=7889321, revisions=(32146031,useless=24508379), ccks=28249524, wck=38.903, mem=909M492
54.03/43.61	    decisions=465055, wrong=141357, backtracks=137569, failedAssignments=5359, nogoods=1877
54.03/43.61	    
55.13/44.77	    num=42, depth=8448..8661, filters=8007082, revisions=(33123819,useless=25373227), ccks=28764500, wck=40.067, mem=924M108
55.13/44.77	    decisions=478649, wrong=143842, backtracks=139553, failedAssignments=5906, nogoods=1900
55.13/44.77	    
62.63/52.20	    num=43, depth=8395..8627, filters=11622304, revisions=(41571919,useless=30300817), ccks=39783185, wck=47.493, mem=1172M573
62.63/52.20	    decisions=617558, wrong=209047, backtracks=204766, failedAssignments=6508, nogoods=1902
62.63/52.20	    
63.63/53.21	    num=44, depth=8629..8741, filters=11686460, revisions=(42372857,useless=31040045), ccks=40082095, wck=48.503, mem=1187M188
63.63/53.21	    decisions=628053, wrong=209929, backtracks=204987, failedAssignments=7170, nogoods=1921
63.63/53.21	    
65.44/55.04	    num=45, depth=8520..8740, filters=12207355, revisions=(44163512,useless=32324152), ccks=41748255, wck=50.329, mem=1216M419
65.44/55.04	    decisions=655031, wrong=219105, backtracks=213511, failedAssignments=7898, nogoods=1929
65.44/55.04	    
74.44/63.89	    num=46, depth=8558..8845, filters=16617441, revisions=(54388302,useless=38256359), ccks=55185074, wck=59.186, mem=807M663
74.44/63.89	    decisions=825257, wrong=299910, backtracks=294340, failedAssignments=8699, nogoods=1931
74.44/63.89	    
75.54/64.94	    num=47, depth=8849..8961, filters=16695246, revisions=(55250197,useless=39043121), ccks=55524724, wck=60.227, mem=807M663
75.54/64.94	    decisions=836410, wrong=301012, backtracks=294562, failedAssignments=9580, nogoods=1956
75.54/64.94	    
77.44/66.88	    num=48, depth=8740..8959, filters=17288848, revisions=(57235388,useless=40450841), ccks=57424138, wck=62.175, mem=851M555
77.44/66.88	    decisions=866243, wrong=311507, backtracks=304174, failedAssignments=10550, nogoods=1973
77.44/66.88	    
87.65/77.04	    num=49, depth=8849..9178, filters=22627713, revisions=(69511511,useless=47528017), ccks=73700005, wck=72.332, mem=1231M956
87.65/77.04	    decisions=1068371, wrong=408009, backtracks=400537, failedAssignments=11617, nogoods=2035
87.65/77.04	    
94.85/84.24	    num=50, depth=8850..9177, filters=26292694, revisions=(78176086,useless=52623790), ccks=84912441, wck=79.529, mem=1480M679
94.85/84.24	    decisions=1209696, wrong=474158, backtracks=466124, failedAssignments=12790, nogoods=2072
94.85/84.24	    
107.91/97.26	    num=51, depth=8960..9287, filters=33340161, revisions=(94168720,useless=61756190), ccks=106341443, wck=92.553, mem=1248M520
107.91/97.26	    decisions=1478294, wrong=603919, backtracks=595962, failedAssignments=14081, nogoods=2075
107.91/97.26	    
109.41/98.70	    num=52, depth=9280..9398, filters=33640558, revisions=(95588737,useless=62884031), ccks=107380245, wck=93.991, mem=1269M109
109.41/98.70	    decisions=1497821, wrong=609042, backtracks=599672, failedAssignments=15501, nogoods=2175
109.41/98.70	    
110.62/99.91	    num=53, depth=9289..9508, filters=33787955, revisions=(96688630,useless=63840603), ccks=107953358, wck=95.199, mem=1289M736
110.62/99.91	    decisions=1511816, wrong=611333, backtracks=600407, failedAssignments=17063, nogoods=2235
110.62/99.91	    
118.62/107.92	    num=54, depth=9319..9511, filters=36848086, revisions=(107827077,useless=72064370), ccks=121962703, wck=103.21, mem=1557M394
118.62/107.92	    decisions=1672086, wrong=686791, backtracks=675945, failedAssignments=18781, nogoods=2237
118.62/107.92	    
124.22/113.52	    num=55, depth=9473..9765, filters=39515653, revisions=(115281822,useless=76924860), ccks=130611372, wck=108.815, mem=1742M697
124.22/113.52	    decisions=1783295, wrong=737589, backtracks=725377, failedAssignments=20671, nogoods=2329
124.22/113.52	    
125.42/114.73	    num=56, depth=9549..9769, filters=39679034, revisions=(116459653,useless=77943528), ccks=131246394, wck=110.021, mem=1763M286
125.42/114.73	    decisions=1797982, wrong=740112, backtracks=725826, failedAssignments=22750, nogoods=2372
125.42/114.73	    
135.01/124.21	    num=57, depth=9661..9980, filters=43930801, revisions=(129146842,useless=86545136), ccks=146300526, wck=119.504, mem=1136M529
135.01/124.21	    decisions=1984470, wrong=828495, backtracks=813390, failedAssignments=25037, nogoods=2375
135.01/124.21	    
136.21/125.45	    num=58, depth=10094..10202, filters=44096876, revisions=(130394680,useless=87630808), ccks=146971052, wck=120.743, mem=1157M167
136.21/125.45	    decisions=1999855, wrong=831140, backtracks=813520, failedAssignments=27553, nogoods=2531
136.21/125.45	    
161.16/150.36	    num=59, depth=9876..10204, filters=59340798, revisions=(164327267,useless=106719635), ccks=193324425, wck=145.649, mem=1181M890
161.16/150.36	    decisions=2566182, wrong=1109207, backtracks=1091496, failedAssignments=30321, nogoods=2584
161.16/150.36	    
181.56/170.78	    num=60, depth=10033..10316, filters=69544339, revisions=(198173043,useless=130709622), ccks=229815430, wck=166.076, mem=1891M981
181.56/170.78	    decisions=3044632, wrong=1343408, backtracks=1325770, failedAssignments=33365, nogoods=2587
181.56/170.78	    
182.87/172.08	    num=61, depth=10362..10422, filters=69760336, revisions=(199610122,useless=131935382), ccks=230669815, wck=167.37, mem=1919M293
182.87/172.08	    decisions=3061812, wrong=1346817, backtracks=1325830, failedAssignments=36714, nogoods=2606
182.87/172.08	    
186.26/175.44	    num=62, depth=10261..10533, filters=71282159, revisions=(203930093,useless=134775058), ccks=235470795, wck=170.732, mem=2001M226
186.26/175.44	    decisions=3130283, wrong=1375787, backtracks=1351389, failedAssignments=40398, nogoods=2610
186.26/175.44	    
193.00/182.12	    num=63, depth=9899..10765, filters=73699948, revisions=(216029377,useless=144573410), ccks=245894780, wck=177.41, mem=830M115
193.00/182.12	    decisions=3290888, wrong=1450760, backtracks=1423981, failedAssignments=44450, nogoods=2635
193.00/182.12	    
217.79/206.99	    num=64, depth=9927..10777, filters=88928454, revisions=(250159265,useless=163901664), ccks=292139387, wck=202.281, mem=1840M821
217.79/206.99	    decisions=3913052, wrong=1756571, backtracks=1729404, failedAssignments=48907, nogoods=2644
217.79/206.99	    
242.43/231.60	    num=65, depth=6006..10961, filters=101341080, revisions=(292584494,useless=194383163), ccks=337102720, wck=226.888, mem=1353M110
242.43/231.60	    decisions=4563892, wrong=2076577, backtracks=2049583, failedAssignments=53810, nogoods=2655
242.43/231.60	    
258.58/247.66	    num=66, depth=6691..11004, filters=110273765, revisions=(313190068,useless=206366181), ccks=364096668, wck=242.951, mem=1963M180
258.58/247.66	    decisions=5012953, wrong=2295683, backtracks=2268633, failedAssignments=59204, nogoods=2659
258.58/247.66	    
269.29/258.30	    num=67, depth=6085..10926, filters=115825097, revisions=(327105679,useless=214940395), ccks=380964435, wck=253.591, mem=2374M548
269.29/258.30	    decisions=5307005, wrong=2437294, backtracks=2410232, failedAssignments=65137, nogoods=2668
269.29/258.30	    
292.82/281.83	    num=68, depth=8087..10864, filters=130125599, revisions=(362076088,useless=236037655), ccks=425875707, wck=277.117, mem=1692M65
292.82/281.83	    decisions=5882281, wrong=2719635, backtracks=2690168, failedAssignments=71663, nogoods=2675
292.82/281.83	    
309.73/298.74	    num=69, depth=4600..10570, filters=137878557, revisions=(384131761,useless=250680861), ccks=451188469, wck=294.029, mem=2267M734
309.73/298.74	    decisions=6349722, wrong=2948128, backtracks=2918317, failedAssignments=78842, nogoods=2687
309.73/298.74	    
339.66/328.64	    num=70, depth=7439..10672, filters=153668465, revisions=(428206389,useless=279534057), ccks=507555997, wck=323.93, mem=1686M5
339.66/328.64	    decisions=7108327, wrong=3322120, backtracks=3291936, failedAssignments=86739, nogoods=2705
339.66/328.64	    
379.25/368.14	    num=71, depth=8428..10719, filters=176409895, revisions=(488727749,useless=318115713), ccks=585176060, wck=363.431, mem=1410M609
379.25/368.14	    decisions=8092011, wrong=3808726, backtracks=3776703, failedAssignments=95426, nogoods=2723
379.25/368.14	    
440.89/429.72	    num=72, depth=9324..10849, filters=214390395, revisions=(576334276,useless=368930152), ccks=702737768, wck=425.008, mem=2090M309
440.89/429.72	    decisions=9697829, wrong=4606304, backtracks=4573923, failedAssignments=104981, nogoods=2746
440.89/429.72	    
484.10/472.63	    num=73, depth=6011..10881, filters=228174276, revisions=(623922907,useless=403192844), ccks=749068659, wck=467.919, mem=1118M931
484.10/472.63	    decisions=10282300, wrong=4893228, backtracks=6511516, failedAssignments=115492, nogoods=2785
484.10/472.63	    
510.31/498.89	    num=74, depth=6107..10744, filters=228402246, revisions=(639536874,useless=418607958), ccks=751241970, wck=494.179, mem=1245M773
510.31/498.89	    decisions=10323998, wrong=4908882, backtracks=8755280, failedAssignments=127054, nogoods=2899
510.31/498.89	    
540.24/528.71	    num=75, depth=7607..10759, filters=228718763, revisions=(657528498,useless=436326079), ccks=753818321, wck=524.006, mem=1457M218
540.24/528.71	    decisions=10374548, wrong=4928939, backtracks=11293034, failedAssignments=139772, nogoods=2950
540.24/528.71	    
571.56/560.09	    num=76, depth=7628..10558, filters=228831270, revisions=(675199355,useless=453901886), ccks=755848319, wck=555.38, mem=1584M60
571.56/560.09	    decisions=10417897, wrong=4945493, backtracks=14042393, failedAssignments=153762, nogoods=2986
571.56/560.09	    
588.05/576.59	    num=77, depth=7498..10492, filters=234441513, revisions=(690678284,useless=464149966), ccks=773503225, wck=571.877, mem=2049M148
588.05/576.59	    decisions=10911604, wrong=5187222, backtracks=14321454, failedAssignments=169151, nogoods=3015
588.05/576.59	    
644.01/632.46	    num=78, depth=8212..10077, filters=265345538, revisions=(758447873,useless=501988165), ccks=866458049, wck=627.754, mem=2044M709
644.01/632.46	    decisions=12292403, wrong=5872661, backtracks=14999379, failedAssignments=186079, nogoods=3042
644.01/632.46	    
755.31/743.67	    num=79, depth=6532..10150, filters=324941567, revisions=(890377680,useless=576365936), ccks=1046235314, wck=738.967, mem=2124M925
755.31/743.67	    decisions=15141547, wrong=7292264, backtracks=16419009, failedAssignments=204700, nogoods=3112
755.31/743.67	    
808.16/796.46	    num=80, depth=3687..10039, filters=350518678, revisions=(947029856,useless=608503355), ccks=1122216004, wck=791.752, mem=2035M116
808.16/796.46	    decisions=16573975, wrong=8003505, backtracks=17121065, failedAssignments=225184, nogoods=3251
808.16/796.46	    
832.21/820.42	    num=81, depth=5878..9845, filters=361116055, revisions=(976173822,useless=627573540), ccks=1155558115, wck=815.709, mem=1206M724
832.21/820.42	    decisions=17120399, wrong=8271878, backtracks=17379437, failedAssignments=247716, nogoods=3296
832.21/820.42	    
961.95/950.07	    num=82, depth=6198..10339, filters=432855036, revisions=(1131439662,useless=713465019), ccks=1370387340, wck=945.364, mem=1278M361
961.95/950.07	    decisions=20347751, wrong=9880565, backtracks=18985919, failedAssignments=272501, nogoods=3378
961.95/950.07	    
1077.02/1064.95	    num=83, depth=6523..10431, filters=488519428, revisions=(1250580117,useless=780076294), ccks=1531382328, wck=1060.241, mem=854M664
1077.02/1064.95	    decisions=23229624, wrong=11316373, backtracks=20419674, failedAssignments=299765, nogoods=3433
1077.02/1064.95	    
1149.67/1137.50	    num=84, depth=4740..10477, filters=522228564, revisions=(1324489796,useless=821726141), ccks=1630741565, wck=1132.796, mem=1847M234
1149.67/1137.50	    decisions=25383475, wrong=12388133, backtracks=21487927, failedAssignments=329755, nogoods=3516
1149.67/1137.50	    
1260.53/1248.26	    num=85, depth=7906..10491, filters=582620984, revisions=(1455787238,useless=894738260), ccks=1811470118, wck=1243.556, mem=1509M980
1260.53/1248.26	    decisions=28289038, wrong=13835809, backtracks=22925086, failedAssignments=362744, nogoods=3542
1260.53/1248.26	    
1303.69/1291.32	    num=86, depth=5295..10570, filters=602352294, revisions=(1513388663,useless=933500051), ccks=1876042950, wck=1286.609, mem=885M980
1303.69/1291.32	    decisions=29523094, wrong=14447601, backtracks=23521805, failedAssignments=399032, nogoods=3633
1303.69/1291.32	    
1588.05/1575.34	    num=87, depth=5636..10666, filters=770757918, revisions=(1910324146,useless=1167293055), ccks=2404168177, wck=1570.635, mem=1200M843
1588.05/1575.34	    decisions=36533885, wrong=17947786, backtracks=27020871, failedAssignments=438949, nogoods=3726
1588.05/1575.34	    
1601.18/1588.47	    num=88, depth=3252..10914, filters=773432694, revisions=(1930198528,useless=1184747746), ccks=2417067302, wck=1583.76, mem=898M927
1601.18/1588.47	    decisions=36818513, wrong=18084752, backtracks=27436426, failedAssignments=482858, nogoods=3884
1601.18/1588.47	    
1755.16/1742.23	    num=89, depth=8664..10922, filters=800928793, revisions=(2093160748,useless=1321630305), ccks=2532791253, wck=1737.526, mem=942M668
1755.16/1742.23	    decisions=38545068, wrong=18942771, backtracks=35931340, failedAssignments=531158, nogoods=3912
1755.16/1742.23	    
1877.07/1864.01	    num=90, depth=3475..10971, filters=809908893, revisions=(2196627496,useless=1416870456), ccks=2579197208, wck=1859.296, mem=1092M716
1877.07/1864.01	    decisions=39485296, wrong=19407567, backtracks=44604587, failedAssignments=584288, nogoods=4024
1877.07/1864.01	    
1898.00/1884.98	    num=91, depth=3669..10888, filters=813352253, revisions=(2219626232,useless=1436590151), ccks=2593474493, wck=1880.272, mem=988M326
1898.00/1884.98	    decisions=39724932, wrong=19522130, backtracks=45775711, failedAssignments=642731, nogoods=4216
1898.00/1884.98	    
2000.03/1986.77	    num=92, depth=6347..10966, filters=855613527, revisions=(2352681394,useless=1529199184), ccks=2741041149, wck=1982.062, mem=1130M758
2000.03/1986.77	    decisions=41896585, wrong=20602705, backtracks=48143207, failedAssignments=707018, nogoods=4354
2000.03/1986.77	    
2065.00/2051.50	    num=93, depth=3962..10457, filters=888156465, revisions=(2436426955,useless=1581597950), ccks=2843724918, wck=2046.794, mem=920M350
2065.00/2051.50	    decisions=43598769, wrong=21448634, backtracks=48940674, failedAssignments=777734, nogoods=4545
2065.00/2051.50	    
2224.55/2210.97	    num=94, depth=4169..10979, filters=892810372, revisions=(2534828000,useless=1675747374), ccks=2869220623, wck=2206.259, mem=1049M785
2224.55/2210.97	    decisions=44155991, wrong=21721949, backtracks=63042247, failedAssignments=855521, nogoods=4658
2224.55/2210.97	    
2259.31/2245.67	    num=95, depth=3980..10874, filters=896695288, revisions=(2562980315,useless=1700157475), ccks=2885231673, wck=2240.963, mem=954M93
2259.31/2245.67	    decisions=44365374, wrong=21821341, backtracks=65729989, failedAssignments=941087, nogoods=4803
2259.31/2245.67	    
2400.02/2386.11	
2400.02/2386.11	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391315-1568391269/watcher-4391315-1568391269 -o /tmp/evaluation-result-4391315-1568391269/solver-4391315-1568391269 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568388592-14518 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391315-1568391269.xml -cm 

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

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

solver pid=15229, runsolver pid=15226

[startup+0.100058 s]*
/proc/loadavg: 2.00 1.95 1.89 4/229 15244
/proc/meminfo: memFree=28714012/32770624 swapFree=66998528/67108860
[pid=15229] ppid=15226 vsize=10659884 memory=28972 CPUtime=0.14 cores=0,2,4,6
/proc/15229/stat : 15229 (java) S 15226 15229 12443 0 -1 1077944320 5251 0 0 0 13 1 0 0 20 0 15 0 415395718 10915721216 7243 33554432000 4194304 4196468 140724299059072 140724299041616 140336263143159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
/proc/15229/statm: 2664971 7243 2870 1 0 2627468 0
[pid=15229/tid=15231] ppid=15226 vsize=10659884 memory=7892391828772250251 CPUtime=0.1 cores=0,2,4,6
/proc/15229/task/15231/stat : 15231 (java) R 15226 15229 12443 0 -1 4202560 2971 0 0 0 9 1 0 0 20 0 15 0 415395718 10915721216 7243 33554432000 4194304 4196468 140724299059072 140336267372552 140336263155094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15232] ppid=15226 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 7243 33554432000 4194304 4196468 140724299059072 140336189217296 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15233] ppid=15226 vsize=10659884 memory=140499600451200 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 7243 33554432000 4194304 4196468 140724299059072 140336188164752 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15234] ppid=15226 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 7243 33554432000 4194304 4196468 140724299059072 140336187111696 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15235] ppid=15226 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 7243 33554432000 4194304 4196468 140724299059072 140336186059152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15236] ppid=15226 vsize=10659884 memory=140499600451200 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395720 10915721216 7243 33554432000 4194304 4196468 140724299059072 140335754722032 140336263154306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15237] ppid=15226 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415395721 10915721216 7243 33554432000 4194304 4196468 140724299059072 140335753668256 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15238] ppid=15226 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415395721 10915721216 7243 33554432000 4194304 4196468 140724299059072 140335752615152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15239] ppid=15226 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415395723 10915721216 7243 33554432000 4194304 4196468 140724299059072 140335751563728 140336263161755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15240] ppid=15226 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 12443 0 -1 1077944384 371 0 0 0 0 0 0 0 20 0 15 0 415395723 10915721216 7243 33554432000 4194304 4196468 140724299059072 140335750510832 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15241] ppid=15226 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 12443 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 15 0 415395723 10915721216 7243 33554432000 4194304 4196468 140724299059072 140335749458288 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15242] ppid=15226 vsize=10659884 memory=140499600451200 CPUtime=0.02 cores=0,2,4,6
/proc/15229/task/15242/stat : 15242 (java) R 15226 15229 12443 0 -1 4202560 384 0 0 0 2 0 0 0 20 0 15 0 415395723 10915721216 7243 33554432000 4194304 4196468 140724299059072 140335748401600 140336241805453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15243] ppid=15226 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415395724 10915721216 7243 33554432000 4194304 4196468 140724299059072 140335747352928 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15244] ppid=15226 vsize=10659884 memory=140499600451200 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395724 10915721216 7243 33554432000 4194304 4196468 140724299059072 140335746300976 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28972 KiB

[startup+0.211356 s]*
/proc/loadavg: 2.00 1.95 1.89 3/229 15244
/proc/meminfo: memFree=28701872/32770624 swapFree=66998528/67108860
[pid=15229] ppid=15226 vsize=10659884 memory=37700 CPUtime=0.33 cores=0,2,4,6
/proc/15229/stat : 15229 (java) S 15226 15229 12443 0 -1 1077944320 8666 0 0 0 30 3 0 0 20 0 15 0 415395718 10915721216 9425 33554432000 4194304 4196468 140724299059072 140724299041616 140336263143159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
/proc/15229/statm: 2664971 9425 2989 1 0 2627468 0
[pid=15229/tid=15231] ppid=15226 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/15229/task/15231/stat : 15231 (java) R 15226 15229 12443 0 -1 4202560 5693 0 0 0 18 2 0 0 20 0 15 0 415395718 10915721216 9425 33554432000 4194304 4196468 140724299059072 140336267375200 140336263165085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15232] ppid=15226 vsize=10659884 memory=364 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 9425 33554432000 4194304 4196468 140724299059072 140336189217296 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15233] ppid=15226 vsize=10659884 memory=140499603524428 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 9425 33554432000 4194304 4196468 140724299059072 140336188164752 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15234] ppid=15226 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 9425 33554432000 4194304 4196468 140724299059072 140336187111696 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15235] ppid=15226 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 9425 33554432000 4194304 4196468 140724299059072 140336186059152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15236] ppid=15226 vsize=10659884 memory=140499600451200 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395720 10915721216 9425 33554432000 4194304 4196468 140724299059072 140335754722032 140336263154306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15237] ppid=15226 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415395721 10915721216 9425 33554432000 4194304 4196468 140724299059072 140335753668256 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15238] ppid=15226 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415395721 10915721216 9425 33554432000 4194304 4196468 140724299059072 140335752615152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15239] ppid=15226 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415395723 10915721216 9425 33554432000 4194304 4196468 140724299059072 140335751563728 140336263161755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15240] ppid=15226 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 12443 0 -1 1077944384 612 0 0 0 3 0 0 0 20 0 15 0 415395723 10915721216 9425 33554432000 4194304 4196468 140724299059072 140335750510832 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15241] ppid=15226 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 12443 0 -1 1077944384 323 0 0 0 2 0 0 0 20 0 15 0 415395723 10915721216 9425 33554432000 4194304 4196468 140724299059072 140335749458288 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15242] ppid=15226 vsize=10659884 memory=140499600451200 CPUtime=0.05 cores=0,2,4,6
/proc/15229/task/15242/stat : 15242 (java) S 15226 15229 12443 0 -1 1077944384 678 0 0 0 5 0 0 0 20 0 15 0 415395723 10915721216 9425 33554432000 4194304 4196468 140724299059072 140335748405232 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15243] ppid=15226 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415395724 10915721216 9425 33554432000 4194304 4196468 140724299059072 140335747352928 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15244] ppid=15226 vsize=10659884 memory=140499600451200 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395724 10915721216 9425 33554432000 4194304 4196468 140724299059072 140335746300976 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37700 KiB

[startup+0.310018 s]*
/proc/loadavg: 2.00 1.95 1.89 4/229 15244
/proc/meminfo: memFree=28699824/32770624 swapFree=66998528/67108860
[pid=15229] ppid=15226 vsize=10659884 memory=40140 CPUtime=0.47 cores=0,2,4,6
/proc/15229/stat : 15229 (java) S 15226 15229 12443 0 -1 1077944320 8787 0 0 0 44 3 0 0 20 0 15 0 415395718 10915721216 10035 33554432000 4194304 4196468 140724299059072 140724299041616 140336263143159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
/proc/15229/statm: 2664971 10035 3010 1 0 2627468 0
[pid=15229/tid=15231] ppid=15226 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/15229/task/15231/stat : 15231 (java) R 15226 15229 12443 0 -1 4202560 5758 0 0 0 27 2 0 0 20 0 15 0 415395718 10915721216 10035 33554432000 4194304 4196468 140724299059072 140336267379360 140336247223646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15232] ppid=15226 vsize=10659884 memory=1946931 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 10035 33554432000 4194304 4196468 140724299059072 140336189217296 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15233] ppid=15226 vsize=10659884 memory=140499603523495 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 10035 33554432000 4194304 4196468 140724299059072 140336188164752 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15234] ppid=15226 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 10035 33554432000 4194304 4196468 140724299059072 140336187111696 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15235] ppid=15226 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395719 10915721216 10035 33554432000 4194304 4196468 140724299059072 140336186059152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15236] ppid=15226 vsize=10659884 memory=140499600451200 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395720 10915721216 10035 33554432000 4194304 4196468 140724299059072 140335754722032 140336263154306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15237] ppid=15226 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415395721 10915721216 10035 33554432000 4194304 4196468 140724299059072 140335753668256 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15238] ppid=15226 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415395721 10915721216 10035 33554432000 4194304 4196468 140724299059072 140335752615152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15239] ppid=15226 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415395723 10915721216 10035 33554432000 4194304 4196468 140724299059072 140335751563728 140336263161755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15240] ppid=15226 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 12443 0 -1 1077944384 620 0 0 0 4 0 0 0 20 0 15 0 415395723 10915721216 10035 33554432000 4194304 4196468 140724299059072 140335750510832 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15241] ppid=15226 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 12443 0 -1 1077944384 363 0 0 0 4 0 0 0 20 0 15 0 415395723 10915721216 10035 33554432000 4194304 4196468 140724299059072 140335749458288 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15242] ppid=15226 vsize=10659884 memory=140499600451200 CPUtime=0.07 cores=0,2,4,6
/proc/15229/task/15242/stat : 15242 (java) R 15226 15229 12443 0 -1 4202560 687 0 0 0 7 0 0 0 20 0 15 0 415395723 10915721216 10035 33554432000 4194304 4196468 140724299059072 140335748405232 140336263155094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15243] ppid=15226 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415395724 10915721216 10035 33554432000 4194304 4196468 140724299059072 140335747352928 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15244] ppid=15226 vsize=10659884 memory=140499600451200 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395724 10915721216 10035 33554432000 4194304 4196468 140724299059072 140335746300976 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40140 KiB

[startup+0.700761 s]
/proc/loadavg: 2.00 1.95 1.89 3/229 15244
/proc/meminfo: memFree=28692036/32770624 swapFree=66998528/67108860
[pid=15229] ppid=15226 vsize=10661932 memory=61920 CPUtime=1.07 cores=0,2,4,6
/proc/15229/stat : 15229 (java) S 15226 15229 12443 0 -1 1077944320 12027 0 0 0 102 5 0 0 20 0 15 0 415395718 10917818368 15480 33554432000 4194304 4196468 140724299059072 140724299041616 140336263143159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
/proc/15229/statm: 2665483 15480 3073 1 0 2627980 0
[pid=15229/tid=15231] ppid=15226 vsize=10661932 memory=21928 CPUtime=0.68 cores=0,2,4,6
/proc/15229/task/15231/stat : 15231 (java) R 15226 15229 12443 0 -1 4202560 8298 0 0 0 64 4 0 0 20 0 15 0 415395718 10917818368 15480 33554432000 4194304 4196468 140724299059072 140336267375184 140336263165085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15232] ppid=15226 vsize=10661932 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395719 10917818368 15480 33554432000 4194304 4196468 140724299059072 140336189217296 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15233] ppid=15226 vsize=10661932 memory=524 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395719 10917818368 15480 33554432000 4194304 4196468 140724299059072 140336188164752 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15234] ppid=15226 vsize=10661932 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395719 10917818368 15480 33554432000 4194304 4196468 140724299059072 140336187111696 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15235] ppid=15226 vsize=10661932 memory=928 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395719 10917818368 15480 33554432000 4194304 4196468 140724299059072 140336186059152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15236] ppid=15226 vsize=10661932 memory=3536 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395720 10917818368 15480 33554432000 4194304 4196468 140724299059072 140335754722032 140336263154306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15237] ppid=15226 vsize=10661932 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415395721 10917818368 15480 33554432000 4194304 4196468 140724299059072 140335753668256 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15238] ppid=15226 vsize=10661932 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415395721 10917818368 15480 33554432000 4194304 4196468 140724299059072 140335752615152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15239] ppid=15226 vsize=10661932 memory=816 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415395723 10917818368 15480 33554432000 4194304 4196468 140724299059072 140335751563728 140336263161755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15240] ppid=15226 vsize=10661932 memory=6153431502485415268 CPUtime=0.09 cores=0,2,4,6
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 12443 0 -1 1077944384 789 0 0 0 9 0 0 0 20 0 15 0 415395723 10917818368 15480 33554432000 4194304 4196468 140724299059072 140335750510832 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15241] ppid=15226 vsize=10661932 memory=7453282923461503316 CPUtime=0.09 cores=0,2,4,6
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 12443 0 -1 1077944384 514 0 0 0 9 0 0 0 20 0 15 0 415395723 10917818368 15480 33554432000 4194304 4196468 140724299059072 140335749458288 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15242] ppid=15226 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=0,2,4,6
/proc/15229/task/15242/stat : 15242 (java) R 15226 15229 12443 0 -1 1077944384 1066 0 0 0 18 0 0 0 20 0 15 0 415395723 10917818368 15480 33554432000 4194304 4196468 140724299059072 140335748405232 140336263154306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15243] ppid=15226 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415395724 10917818368 15480 33554432000 4194304 4196468 140724299059072 140335747352928 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15244] ppid=15226 vsize=10661932 memory=7738707418567895914 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395724 10917818368 15480 33554432000 4194304 4196468 140724299059072 140335746300976 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61920 KiB

[startup+1.5008 s]
/proc/loadavg: 2.00 1.95 1.89 3/229 15244
/proc/meminfo: memFree=28676384/32770624 swapFree=66998528/67108860
[pid=15229] ppid=15226 vsize=10663980 memory=74972 CPUtime=1.98 cores=0,2,4,6
/proc/15229/stat : 15229 (java) S 15226 15229 12443 0 -1 1077944320 17336 0 0 0 192 6 0 0 20 0 15 0 415395718 10919915520 18743 33554432000 4194304 4196468 140724299059072 140724299041616 140336263143159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
/proc/15229/statm: 2665995 18743 3093 1 0 2628492 0
[pid=15229/tid=15231] ppid=15226 vsize=10663980 memory=6378026435766 CPUtime=1.47 cores=0,2,4,6
/proc/15229/task/15231/stat : 15231 (java) R 15226 15229 12443 0 -1 4202560 12286 0 0 0 143 4 0 0 20 0 15 0 415395718 10919915520 18743 33554432000 4194304 4196468 140724299059072 140336267375184 140336247223646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15232] ppid=15226 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395719 10919915520 18743 33554432000 4194304 4196468 140724299059072 140336189217296 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15233] ppid=15226 vsize=10663980 memory=16100368647981698 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415395719 10919915520 18743 33554432000 4194304 4196468 140724299059072 140336188164752 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15234] ppid=15226 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395719 10919915520 18743 33554432000 4194304 4196468 140724299059072 140336187111696 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15235] ppid=15226 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415395719 10919915520 18743 33554432000 4194304 4196468 140724299059072 140336186059152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15236] ppid=15226 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 12443 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 415395720 10919915520 18743 33554432000 4194304 4196468 140724299059072 140335754722032 140336263154306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0

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

/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 12443 0 -1 1077944384 25839 0 0 0 133 44 0 0 20 0 16 0 415395719 11006283776 324875 33554432000 4194304 4196468 140724299059072 140336186059152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15236] ppid=15226 vsize=10748324 memory=1299500 CPUtime=0.18 cores=0,2,4,6
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 12443 0 -1 1077944384 17547 0 0 0 13 5 0 0 20 0 16 0 415395720 11006283776 324875 33554432000 4194304 4196468 140724299059072 140335754722032 140336263154306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15237] ppid=15226 vsize=10748324 memory=1299500 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 12443 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415395721 11006283776 324875 33554432000 4194304 4196468 140724299059072 140335753668320 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15238] ppid=15226 vsize=10748324 memory=1299500 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 12443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415395721 11006283776 324875 33554432000 4194304 4196468 140724299059072 140335752615168 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15239] ppid=15226 vsize=10748324 memory=1299500 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415395723 11006283776 324875 33554432000 4194304 4196468 140724299059072 140335751563728 140336263161755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15240] ppid=15226 vsize=10748324 memory=1299500 CPUtime=3.38 cores=0,2,4,6
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 12443 0 -1 1077944384 16426 0 0 0 336 2 0 0 20 0 16 0 415395723 11006283776 324875 33554432000 4194304 4196468 140724299059072 140335750510832 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15241] ppid=15226 vsize=10748324 memory=1299500 CPUtime=3.48 cores=0,2,4,6
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 12443 0 -1 1077944384 14616 0 0 0 346 2 0 0 20 0 16 0 415395723 11006283776 324875 33554432000 4194304 4196468 140724299059072 140335749458288 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15242] ppid=15226 vsize=10748324 memory=1299500 CPUtime=1.19 cores=0,2,4,6
/proc/15229/task/15242/stat : 15242 (java) S 15226 15229 12443 0 -1 1077944384 16482 0 0 0 117 2 0 0 20 0 16 0 415395723 11006283776 324875 33554432000 4194304 4196468 140724299059072 140335748405232 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15243] ppid=15226 vsize=10748324 memory=1299500 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415395724 11006283776 324875 33554432000 4194304 4196468 140724299059072 140335747352928 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15244] ppid=15226 vsize=10748324 memory=1299500 CPUtime=0.68 cores=0,2,4,6
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 12443 0 -1 1077944384 1800 0 0 0 31 37 0 0 20 0 16 0 415395724 11006283776 324875 33554432000 4194304 4196468 140724299059072 140335746300976 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15246] ppid=15226 vsize=10748324 memory=6791534058613427641 CPUtime=2318.3 cores=0,2,4,6
/proc/15229/task/15246/stat : 15246 (java) R 15226 15229 12443 0 -1 4202560 63719 0 0 0 231801 29 0 0 20 0 16 0 415395907 11006283776 324875 33554432000 4194304 4196468 140724299059072 140335729639648 140335864733709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
Current children cumulated CPU time: 2336.14 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1299500 KiB

[startup+2382.3 s]
/proc/loadavg: 0.93 1.41 1.74 2/208 15511
/proc/meminfo: memFree=27784688/32770624 swapFree=66998528/67108860
[pid=15229] ppid=15226 vsize=10748324 memory=1271796 CPUtime=2396.21 cores=0,2,4,6
/proc/15229/stat : 15229 (java) S 15226 15229 12443 0 -1 1077944320 246789 0 0 0 239375 246 0 0 20 0 16 0 415395718 11006283776 317949 33554432000 4194304 4196468 140724299059072 140724299041616 140336263143159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
/proc/15229/statm: 2687081 317949 3384 1 0 2647217 0
[pid=15229/tid=15231] ppid=15226 vsize=10748324 memory=1976 CPUtime=1.87 cores=0,2,4,6
/proc/15229/task/15231/stat : 15231 (java) S 15226 15229 12443 0 -1 1077944384 14462 0 0 0 181 6 0 0 20 0 16 0 415395718 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336267386032 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15232] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.79 cores=0,2,4,6
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 12443 0 -1 1077944384 23056 0 0 0 136 43 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336189217296 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15233] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.73 cores=0,2,4,6
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 12443 0 -1 1077944384 24908 0 0 0 130 43 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336188164752 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15234] ppid=15226 vsize=10748324 memory=1281032 CPUtime=1.75 cores=0,2,4,6
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 12443 0 -1 1077944384 25419 0 0 0 133 42 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336187111696 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15235] ppid=15226 vsize=10748324 memory=1281032 CPUtime=1.79 cores=0,2,4,6
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 12443 0 -1 1077944384 26295 0 0 0 135 44 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336186059152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15236] ppid=15226 vsize=10748324 memory=1281032 CPUtime=0.18 cores=0,2,4,6
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 12443 0 -1 1077944384 17743 0 0 0 13 5 0 0 20 0 16 0 415395720 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335754722032 140336263154306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15237] ppid=15226 vsize=10748324 memory=1271796 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 12443 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415395721 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335753668320 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15238] ppid=15226 vsize=10748324 memory=1271796 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 12443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415395721 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335752615168 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15239] ppid=15226 vsize=10748324 memory=1281032 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335751563728 140336263161755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15240] ppid=15226 vsize=10748324 memory=1271796 CPUtime=3.38 cores=0,2,4,6
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 12443 0 -1 1077944384 16428 0 0 0 336 2 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335750510832 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15241] ppid=15226 vsize=10748324 memory=1271796 CPUtime=3.48 cores=0,2,4,6
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 12443 0 -1 1077944384 14618 0 0 0 346 2 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335749458288 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15242] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.19 cores=0,2,4,6
/proc/15229/task/15242/stat : 15242 (java) S 15226 15229 12443 0 -1 1077944384 16485 0 0 0 117 2 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335748405232 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15243] ppid=15226 vsize=10748324 memory=1299500 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415395724 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335747352928 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15244] ppid=15226 vsize=10748324 memory=1271796 CPUtime=0.7 cores=0,2,4,6
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 12443 0 -1 1077944384 1830 0 0 0 32 38 0 0 20 0 16 0 415395724 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335746300976 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15246] ppid=15226 vsize=10748324 memory=1271796 CPUtime=2378.27 cores=0,2,4,6
/proc/15229/task/15246/stat : 15246 (java) R 15226 15229 12443 0 -1 4202560 64126 0 0 0 237798 29 0 0 20 0 16 0 415395907 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335729639312 140335864733723 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
Current children cumulated CPU time: 2396.21 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1271796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2386.11 s]
/proc/loadavg: 0.93 1.40 1.73 2/207 15511
/proc/meminfo: memFree=27784828/32770624 swapFree=66998528/67108860
[pid=15229] ppid=15226 vsize=10748324 memory=1271796 CPUtime=2400.02 cores=0,2,4,6
/proc/15229/stat : 15229 (java) S 15226 15229 12443 0 -1 1077944320 246833 0 0 0 239756 246 0 0 20 0 16 0 415395718 11006283776 317949 33554432000 4194304 4196468 140724299059072 140724299041616 140336263143159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
/proc/15229/statm: 2687081 317949 3384 1 0 2647217 0
[pid=15229/tid=15231] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.87 cores=0,2,4,6
/proc/15229/task/15231/stat : 15231 (java) S 15226 15229 12443 0 -1 1077944384 14462 0 0 0 181 6 0 0 20 0 16 0 415395718 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336267386032 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15232] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.79 cores=0,2,4,6
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 12443 0 -1 1077944384 23056 0 0 0 136 43 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336189217296 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15233] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.73 cores=0,2,4,6
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 12443 0 -1 1077944384 24908 0 0 0 130 43 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336188164752 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15234] ppid=15226 vsize=10748324 memory=1281032 CPUtime=1.75 cores=0,2,4,6
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 12443 0 -1 1077944384 25419 0 0 0 133 42 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336187111696 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15235] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.79 cores=0,2,4,6
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 12443 0 -1 1077944384 26295 0 0 0 135 44 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336186059152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15236] ppid=15226 vsize=10748324 memory=1271796 CPUtime=0.18 cores=0,2,4,6
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 12443 0 -1 1077944384 17743 0 0 0 13 5 0 0 20 0 16 0 415395720 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335754722032 140336263154306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15237] ppid=15226 vsize=10748324 memory=1281032 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 12443 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415395721 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335753668320 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15238] ppid=15226 vsize=10748324 memory=1281032 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 12443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415395721 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335752615168 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15239] ppid=15226 vsize=10748324 memory=1281032 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335751563728 140336263161755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15240] ppid=15226 vsize=10748324 memory=1271796 CPUtime=3.38 cores=0,2,4,6
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 12443 0 -1 1077944384 16428 0 0 0 336 2 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335750510832 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15241] ppid=15226 vsize=10748324 memory=1271796 CPUtime=3.48 cores=0,2,4,6
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 12443 0 -1 1077944384 14618 0 0 0 346 2 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335749458288 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15242] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.19 cores=0,2,4,6
/proc/15229/task/15242/stat : 15242 (java) S 15226 15229 12443 0 -1 1077944384 16485 0 0 0 117 2 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335748405232 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15243] ppid=15226 vsize=10748324 memory=1271796 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415395724 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335747352928 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15244] ppid=15226 vsize=10748324 memory=1299500 CPUtime=0.7 cores=0,2,4,6
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 12443 0 -1 1077944384 1830 0 0 0 32 38 0 0 20 0 16 0 415395724 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335746300976 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15246] ppid=15226 vsize=10748324 memory=1271796 CPUtime=2382.08 cores=0,2,4,6
/proc/15229/task/15246/stat : 15246 (java) R 15226 15229 12443 0 -1 4202560 64170 0 0 0 238179 29 0 0 20 0 16 0 415395907 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335729639312 140335864733786 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1271796 KiB

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

[startup+2386.12 s]
# the end of solver process 15229 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.57 s, system=2.47636 s

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

[startup+2386.11 s]
/proc/loadavg: 0.93 1.40 1.73 2/207 15511
/proc/meminfo: memFree=27784828/32770624 swapFree=66998528/67108860
[pid=15229] ppid=15226 vsize=10748324 memory=1271796 CPUtime=2400.02 cores=0,2,4,6
/proc/15229/stat : 15229 (java) S 15226 15229 12443 0 -1 1077944320 246833 0 0 0 239756 246 0 0 20 0 16 0 415395718 11006283776 317949 33554432000 4194304 4196468 140724299059072 140724299041616 140336263143159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
/proc/15229/statm: 2687081 317949 3384 1 0 2647217 0
[pid=15229/tid=15231] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.87 cores=0,2,4,6
/proc/15229/task/15231/stat : 15231 (java) S 15226 15229 12443 0 -1 1077944384 14462 0 0 0 181 6 0 0 20 0 16 0 415395718 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336267386032 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15232] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.79 cores=0,2,4,6
/proc/15229/task/15232/stat : 15232 (java) S 15226 15229 12443 0 -1 1077944384 23056 0 0 0 136 43 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336189217296 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15233] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.73 cores=0,2,4,6
/proc/15229/task/15233/stat : 15233 (java) S 15226 15229 12443 0 -1 1077944384 24908 0 0 0 130 43 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336188164752 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15234] ppid=15226 vsize=10748324 memory=1281032 CPUtime=1.75 cores=0,2,4,6
/proc/15229/task/15234/stat : 15234 (java) S 15226 15229 12443 0 -1 1077944384 25419 0 0 0 133 42 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336187111696 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15235] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.79 cores=0,2,4,6
/proc/15229/task/15235/stat : 15235 (java) S 15226 15229 12443 0 -1 1077944384 26295 0 0 0 135 44 0 0 20 0 16 0 415395719 11006283776 317949 33554432000 4194304 4196468 140724299059072 140336186059152 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15236] ppid=15226 vsize=10748324 memory=1271796 CPUtime=0.18 cores=0,2,4,6
/proc/15229/task/15236/stat : 15236 (java) S 15226 15229 12443 0 -1 1077944384 17743 0 0 0 13 5 0 0 20 0 16 0 415395720 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335754722032 140336263154306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15237] ppid=15226 vsize=10748324 memory=1281032 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15237/stat : 15237 (java) S 15226 15229 12443 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 415395721 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335753668320 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15238] ppid=15226 vsize=10748324 memory=1281032 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15238/stat : 15238 (java) S 15226 15229 12443 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 415395721 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335752615168 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15239] ppid=15226 vsize=10748324 memory=1281032 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15239/stat : 15239 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335751563728 140336263161755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15240] ppid=15226 vsize=10748324 memory=1271796 CPUtime=3.38 cores=0,2,4,6
/proc/15229/task/15240/stat : 15240 (java) S 15226 15229 12443 0 -1 1077944384 16428 0 0 0 336 2 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335750510832 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15241] ppid=15226 vsize=10748324 memory=1271796 CPUtime=3.48 cores=0,2,4,6
/proc/15229/task/15241/stat : 15241 (java) S 15226 15229 12443 0 -1 1077944384 14618 0 0 0 346 2 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335749458288 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15242] ppid=15226 vsize=10748324 memory=1271796 CPUtime=1.19 cores=0,2,4,6
/proc/15229/task/15242/stat : 15242 (java) S 15226 15229 12443 0 -1 1077944384 16485 0 0 0 117 2 0 0 20 0 16 0 415395723 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335748405232 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15243] ppid=15226 vsize=10748324 memory=1271796 CPUtime=0 cores=0,2,4,6
/proc/15229/task/15243/stat : 15243 (java) S 15226 15229 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415395724 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335747352928 140336263153365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15244] ppid=15226 vsize=10748324 memory=1299500 CPUtime=0.7 cores=0,2,4,6
/proc/15229/task/15244/stat : 15244 (java) S 15226 15229 12443 0 -1 1077944384 1830 0 0 0 32 38 0 0 20 0 16 0 415395724 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335746300976 140336263154306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
[pid=15229/tid=15246] ppid=15226 vsize=10748324 memory=1271796 CPUtime=2382.08 cores=0,2,4,6
/proc/15229/task/15246/stat : 15246 (java) R 15226 15229 12443 0 -1 4202560 64170 0 0 0 238179 29 0 0 20 0 16 0 415395907 11006283776 317949 33554432000 4194304 4196468 140724299059072 140335729639312 140335864733786 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28741632 140724299064331 140724299064434 140724299064434 140724299067343 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1271796 KiB

Child status: 143
Real time (s): 2386.12
CPU time (s): 2400.05
CPU user time (s): 2397.57
CPU system time (s): 2.47636
CPU usage (%): 100.584
Max. virtual memory (cumulated for all children) (KiB): 10748336
Max. memory (cumulated for all children) (KiB): 3015224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.57
system time used= 2.47636
maximum resident set size= 3017724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247253
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57217
involuntary context switches= 2519


# summary of solver processes directly reported to runsolver:
#   pid: 15229
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2397.57
#   total CPU system time (s): 2.47636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2989 second user time and 21.5721 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-13 18:13:48
IDJOB=4391315
IDBENCH=139563
IDSOLVER=2833
FILE ID=node127/4391315-1568391269
RUNJOBID= node127-1568388592-14518
PBS_JOBID= 21701837
Free space on /tmp= 61300 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_13_6.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391315-1568391269/watcher-4391315-1568391269 -o /tmp/evaluation-result-4391315-1568391269/solver-4391315-1568391269 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568388592-14518 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391315-1568391269.xml -cm

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

MD5SUM BENCH= 0b4cdd9f2ac3a0985a9efe7e14eeda02
RANDOM SEED=548270336

node127.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.55
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.55
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.55
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.55
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:        28729732 kB
MemAvailable:   31562812 kB
Buffers:          160256 kB
Cached:          2938232 kB
SwapCached:         6772 kB
Active:          2096232 kB
Inactive:        1323424 kB
Active(anon):     314296 kB
Inactive(anon):    48320 kB
Active(file):    1781936 kB
Inactive(file):  1275104 kB
Unevictable:      109300 kB
Mlocked:          109300 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:              8736 kB
Writeback:             0 kB
AnonPages:        470768 kB
Mapped:            56840 kB
Shmem:             32700 kB
Slab:             214200 kB
SReclaimable:     183748 kB
SUnreclaim:        30452 kB
KernelStack:        4016 kB
PageTables:         6624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1359436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    360448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61300 MiB
End job on node127 at 2019-09-13 18:53:35