Trace number 4391020

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.12 2504.13

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_3_12.xml
MD5SUM75a96ae289dcd0162feddbff51d0d425
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1336
Best CPU time to get the best result obtained on this benchmark2520.4
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":28,"count":111},{"size":38,"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.38/1.89	
2.38/1.89	AbsCon 2 
2.63/1.91	
4.01/2.32	  Instance
4.01/2.32	    name=instance-4391020-1568386133, framework=COP, bounds=-infty..+infty
4.01/2.32	
4.01/2.32	  Loading variables...
4.66/2.57	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
11.02/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
11.02/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
11.02/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
11.02/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
11.02/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
11.02/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
11.02/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
11.02/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
11.02/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
11.02/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
11.02/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
11.02/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
11.02/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
11.02/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
11.02/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
11.02/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
11.02/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
11.02/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
11.02/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.31/4.70	
11.31/4.70	
11.31/4.70	  Domains
11.31/4.70	    nTypes=4, nValues=44289, sizes=[2#12321,28#111,38#111,111#111]
11.31/4.70	  Variables
11.31/4.70	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.31/4.70	  Objectives
11.31/4.70	    way=min, type=SumSimpleLE
11.31/4.70	  Constraints
11.31/4.70	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.31/4.70	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.31/4.70	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.31/4.70	    wck=2.835, cpu=4.189, mem=934M864
11.67/4.72	  Solver SolverBacktrack being built...
11.67/4.72	
11.94/4.83	
11.94/4.83	  Solver
11.94/4.83	    guaranteedGAC=false
11.94/4.83	    wck=2.968, cpu=4.319, mem=967M105
13.10/5.66	
13.10/5.66	  Preprocessing
13.10/5.66	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.10/5.66	    wck=0.832, cpu=5.151, mem=967M105
13.10/5.66	
13.32/5.73	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.904, mem=967M105
13.32/5.73	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.32/5.73	    
13.32/5.80	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.969, mem=967M105
13.32/5.80	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
13.32/5.80	    
13.64/5.86	    num=2, depth=220..220, filters=4235, revisions=(38961,useless=34764), ccks=1397675, wck=1.029, mem=967M105
13.64/5.86	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.64/5.86	    
13.93/5.93	    num=3, depth=329..329, filters=6079, revisions=(54501,useless=48480), ccks=1408602, wck=1.102, mem=967M105
13.93/5.93	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.93/5.93	    
14.24/6.03	    num=4, depth=438..438, filters=8138, revisions=(76479,useless=68423), ccks=1419946, wck=1.196, mem=967M105
14.24/6.03	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
14.24/6.03	    
14.56/6.15	    num=5, depth=547..547, filters=10573, revisions=(108669,useless=98239), ccks=1435287, wck=1.317, mem=967M105
14.56/6.15	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.56/6.15	    
14.83/6.28	    num=6, depth=656..656, filters=13156, revisions=(143745,useless=130765), ccks=1447759, wck=1.454, mem=967M105
14.83/6.28	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.83/6.28	    
15.43/6.46	    num=7, depth=763..763, filters=16531, revisions=(212012,useless=195938), ccks=1475067, wck=1.632, mem=967M105
15.43/6.46	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
15.43/6.46	    
16.03/6.66	    num=8, depth=872..872, filters=20170, revisions=(284830,useless=265384), ccks=1501153, wck=1.83, mem=967M105
16.03/6.66	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
16.03/6.66	    
16.63/6.88	    num=9, depth=980..980, filters=24331, revisions=(376519,useless=353296), ccks=1534034, wck=2.056, mem=967M105
16.63/6.88	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
16.63/6.88	    
17.56/7.13	    num=10, depth=1089..1089, filters=28786, revisions=(474868,useless=447579), ccks=1567596, wck=2.303, mem=967M105
17.56/7.13	    decisions=6478, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
17.56/7.13	    
18.13/7.38	    num=11, depth=1198..1198, filters=33617, revisions=(580099,useless=548374), ccks=1602109, wck=2.553, mem=967M105
18.13/7.38	    decisions=7732, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
18.13/7.38	    
19.03/7.63	    num=12, depth=1307..1307, filters=38877, revisions=(695653,useless=659100), ccks=1640500, wck=2.804, mem=975M185
19.03/7.63	    decisions=9101, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
19.03/7.63	    
19.63/7.88	    num=13, depth=1416..1416, filters=44501, revisions=(818422,useless=776686), ccks=1680040, wck=3.052, mem=975M185
19.63/7.88	    decisions=10585, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
19.63/7.88	    
20.36/8.14	    num=14, depth=1524..1524, filters=50778, revisions=(964724,useless=917310), ccks=1730212, wck=3.314, mem=975M185
20.36/8.14	    decisions=12183, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
20.36/8.14	    
20.85/8.41	    num=15, depth=1632..1632, filters=57626, revisions=(1126678,useless=1073101), ccks=1784503, wck=3.584, mem=975M185
20.85/8.41	    decisions=13897, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
20.85/8.41	    
21.07/8.67	    num=16, depth=1631..1631, filters=64787, revisions=(1285080,useless=1224992), ccks=1829990, wck=3.842, mem=975M185
21.07/8.67	    decisions=15618, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
21.07/8.67	    
21.39/8.93	    num=17, depth=1630..1630, filters=72391, revisions=(1444703,useless=1377668), ccks=1876778, wck=4.098, mem=975M185
21.39/8.93	    decisions=17348, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
21.39/8.93	    
21.69/9.23	    num=18, depth=1959..1959, filters=80419, revisions=(1623862,useless=1549466), ccks=1943456, wck=4.402, mem=975M185
21.69/9.23	    decisions=19417, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
21.69/9.23	    
21.99/9.55	    num=19, depth=2068..2068, filters=88895, revisions=(1810569,useless=1728373), ccks=1999121, wck=4.718, mem=975M185
21.99/9.55	    decisions=21607, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
21.99/9.55	    
22.31/9.88	    num=20, depth=2177..2177, filters=97783, revisions=(2004824,useless=1914425), ccks=2056127, wck=5.051, mem=975M185
22.31/9.88	    decisions=23918, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
22.31/9.88	    
22.72/10.23	    num=21, depth=2286..2286, filters=107235, revisions=(2215063,useless=2115981), ccks=2120027, wck=5.401, mem=975M185
22.72/10.23	    decisions=26352, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
22.72/10.23	    
23.02/10.59	    num=22, depth=2395..2395, filters=116906, revisions=(2424858,useless=2316810), ccks=2179845, wck=5.762, mem=975M185
23.02/10.59	    decisions=28909, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
23.02/10.59	    
23.43/10.95	    num=23, depth=2394..2394, filters=126918, revisions=(2636540,useless=2519195), ccks=2234865, wck=6.124, mem=975M185
23.43/10.95	    decisions=31481, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
23.43/10.95	    
23.83/11.34	    num=24, depth=2613..2613, filters=137227, revisions=(2862541,useless=2735615), ccks=2303736, wck=6.516, mem=975M185
23.83/11.34	    decisions=34290, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
23.83/11.34	    
24.25/11.75	    num=25, depth=2722..2722, filters=147756, revisions=(3096978,useless=2960264), ccks=2367775, wck=6.924, mem=983M265
24.25/11.75	    decisions=37228, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
24.25/11.75	    
24.66/12.17	    num=26, depth=2830..2831, filters=159494, revisions=(3340076,useless=3192380), ccks=2435384, wck=7.343, mem=983M265
24.66/12.17	    decisions=40298, wrong=1200, backtracks=1, failedAssignments=1199, nogoods=1091
24.66/12.17	    
25.19/12.60	    num=27, depth=2939..2940, filters=172517, revisions=(3592054,useless=3432106), ccks=2506716, wck=7.776, mem=983M265
25.19/12.60	    decisions=43501, wrong=1332, backtracks=2, failedAssignments=1330, nogoods=1114
25.19/12.60	    
25.60/13.05	    num=28, depth=3048..3049, filters=186759, revisions=(3853134,useless=3679731), ccks=2581636, wck=8.221, mem=983M265
25.60/13.05	    decisions=46839, wrong=1477, backtracks=3, failedAssignments=1474, nogoods=1150
25.60/13.05	    
26.10/13.51	    num=29, depth=3157..3158, filters=202116, revisions=(4123538,useless=3935582), ccks=2660153, wck=8.679, mem=983M265
26.10/13.51	    decisions=50314, wrong=1636, backtracks=4, failedAssignments=1632, nogoods=1200
26.10/13.51	    
26.50/13.98	    num=30, depth=3266..3267, filters=218491, revisions=(4403710,useless=4200202), ccks=2742285, wck=9.151, mem=983M265
26.50/13.98	    decisions=53930, wrong=1811, backtracks=5, failedAssignments=1806, nogoods=1266
26.50/13.98	    
27.00/14.48	    num=31, depth=3375..3376, filters=236422, revisions=(4736052,useless=4515838), ccks=2851292, wck=9.655, mem=983M265
27.00/14.48	    decisions=57689, wrong=2003, backtracks=6, failedAssignments=1997, nogoods=1349
27.00/14.48	    
27.50/14.99	    num=32, depth=3484..3485, filters=254135, revisions=(5036870,useless=4799809), ccks=2939788, wck=10.158, mem=983M265
27.50/14.99	    decisions=61597, wrong=2215, backtracks=7, failedAssignments=2208, nogoods=1452
27.50/14.99	    
28.13/15.52	    num=33, depth=3590..3592, filters=273955, revisions=(5372767,useless=5116997), ccks=3046038, wck=10.687, mem=991M359
28.13/15.52	    decisions=65655, wrong=2449, backtracks=9, failedAssignments=2440, nogoods=1467
28.13/15.52	    
28.64/16.08	    num=34, depth=3699..3701, filters=296421, revisions=(5748069,useless=5471225), ccks=3174493, wck=11.247, mem=991M359
28.64/16.08	    decisions=69868, wrong=2706, backtracks=11, failedAssignments=2695, nogoods=1505
28.64/16.08	    
29.25/16.65	    num=35, depth=3808..3810, filters=320704, revisions=(6138245,useless=5838565), ccks=3310690, wck=11.821, mem=991M359
29.25/16.65	    decisions=74242, wrong=2989, backtracks=13, failedAssignments=2976, nogoods=1569
29.25/16.65	    
29.85/17.23	    num=36, depth=3916..3918, filters=345784, revisions=(6521983,useless=6198530), ccks=3440934, wck=12.402, mem=991M359
29.85/17.23	    decisions=78780, wrong=3300, backtracks=15, failedAssignments=3285, nogoods=1661
29.85/17.23	    
30.45/17.82	    num=37, depth=4023..4026, filters=372837, revisions=(6930921,useless=6581867), ccks=3584061, wck=12.996, mem=991M359
30.45/17.82	    decisions=83489, wrong=3643, backtracks=18, failedAssignments=3625, nogoods=1675
30.45/17.82	    
31.05/18.44	    num=38, depth=4132..4135, filters=402843, revisions=(7353623,useless=6976052), ccks=3736581, wck=13.608, mem=991M359
31.05/18.44	    decisions=88375, wrong=4020, backtracks=21, failedAssignments=3999, nogoods=1723
31.05/18.44	    
31.66/19.07	    num=39, depth=4241..4244, filters=434739, revisions=(7790755,useless=7382817), ccks=3896686, wck=14.237, mem=991M359
31.66/19.07	    decisions=93444, wrong=4434, backtracks=24, failedAssignments=4410, nogoods=1808
31.66/19.07	    
32.35/19.70	    num=40, depth=4349..4353, filters=468866, revisions=(8243208,useless=7802717), ccks=4065587, wck=14.875, mem=991M359
32.35/19.70	    decisions=98705, wrong=4890, backtracks=28, failedAssignments=4862, nogoods=1825
32.35/19.70	    
35.02/20.90	    num=41, depth=4458..4462, filters=507472, revisions=(8766590,useless=8289612), ccks=4275407, wck=16.073, mem=730M616
35.02/20.90	    decisions=104165, wrong=5391, backtracks=32, failedAssignments=5359, nogoods=1887
35.02/20.90	    
35.66/21.57	    num=42, depth=4566..4571, filters=547888, revisions=(9312730,useless=8797559), ccks=4495378, wck=16.743, mem=730M616
35.66/21.57	    decisions=109835, wrong=5943, backtracks=37, failedAssignments=5906, nogoods=1890
35.66/21.57	    
36.40/22.26	    num=43, depth=4674..4679, filters=593369, revisions=(9895500,useless=9337294), ccks=4741090, wck=17.434, mem=730M616
36.40/22.26	    decisions=115723, wrong=6550, backtracks=42, failedAssignments=6508, nogoods=1948
36.40/22.26	    
37.12/22.93	    num=44, depth=4781..4787, filters=640452, revisions=(10443641,useless=9840370), ccks=4969231, wck=18.103, mem=730M616
37.12/22.93	    decisions=121840, wrong=7218, backtracks=48, failedAssignments=7170, nogoods=1957
37.12/22.93	    
37.82/23.62	    num=45, depth=4889..4895, filters=692655, revisions=(11024749,useless=10371472), ccks=5220154, wck=18.792, mem=730M616
37.82/23.62	    decisions=128197, wrong=7952, backtracks=54, failedAssignments=7898, nogoods=2032
37.82/23.62	    
38.53/24.32	    num=46, depth=4997..5004, filters=749337, revisions=(11628282,useless=10920597), ccks=5487761, wck=19.495, mem=730M616
38.53/24.32	    decisions=134810, wrong=8760, backtracks=61, failedAssignments=8699, nogoods=2071
38.53/24.32	    
39.23/25.04	    num=47, depth=5105..5113, filters=809958, revisions=(12255794,useless=11489846), ccks=5771714, wck=20.212, mem=730M616
39.23/25.04	    decisions=141693, wrong=9649, backtracks=69, failedAssignments=9580, nogoods=2081
39.23/25.04	    
39.92/25.78	    num=48, depth=5214..5222, filters=876033, revisions=(12909280,useless=12079707), ccks=6075892, wck=20.952, mem=738M718
39.92/25.78	    decisions=148863, wrong=10627, backtracks=77, failedAssignments=10550, nogoods=2180
39.92/25.78	    
40.72/26.54	    num=49, depth=5322..5331, filters=948399, revisions=(13590519,useless=12691131), ccks=6402922, wck=21.709, mem=738M718
40.72/26.54	    decisions=156337, wrong=11703, backtracks=86, failedAssignments=11617, nogoods=2267
40.72/26.54	    
41.53/27.31	    num=50, depth=5430..5440, filters=1027227, revisions=(14301509,useless=13325954), ccks=6754100, wck=22.482, mem=738M718
41.53/27.31	    decisions=164133, wrong=12886, backtracks=96, failedAssignments=12790, nogoods=2351
41.53/27.31	    
42.23/28.10	    num=51, depth=5538..5549, filters=1112838, revisions=(15044914,useless=13986531), ccks=7131340, wck=23.274, mem=746M820
42.23/28.10	    decisions=172275, wrong=14188, backtracks=107, failedAssignments=14081, nogoods=2444
42.23/28.10	    
43.13/28.91	    num=52, depth=5645..5658, filters=1205559, revisions=(15823179,useless=14674992), ccks=7536567, wck=24.081, mem=746M820
43.13/28.91	    decisions=180786, wrong=15621, backtracks=120, failedAssignments=15501, nogoods=2448
43.13/28.91	    
43.93/29.74	    num=53, depth=5753..5767, filters=1307931, revisions=(16639187,useless=15391691), ccks=7976136, wck=24.91, mem=746M820
43.93/29.74	    decisions=189691, wrong=17197, backtracks=134, failedAssignments=17063, nogoods=2485
43.93/29.74	    
44.73/30.59	    num=54, depth=5861..5876, filters=1419390, revisions=(17496046,useless=16140314), ccks=8450403, wck=25.763, mem=746M820
44.73/30.59	    decisions=199018, wrong=18930, backtracks=149, failedAssignments=18781, nogoods=2569
44.73/30.59	    
45.63/31.47	    num=55, depth=5968..5985, filters=1541389, revisions=(18397328,useless=16923014), ccks=8964041, wck=26.637, mem=746M820
45.63/31.47	    decisions=208800, wrong=20837, backtracks=166, failedAssignments=20671, nogoods=2607
45.63/31.47	    
46.59/32.37	    num=56, depth=6075..6094, filters=1675760, revisions=(19349101,useless=17744049), ccks=9521992, wck=27.545, mem=746M820
46.59/32.37	    decisions=219071, wrong=22935, backtracks=185, failedAssignments=22750, nogoods=2635
46.59/32.37	    
47.63/33.30	    num=57, depth=6159..6202, filters=1822376, revisions=(20353352,useless=18605534), ccks=10126298, wck=28.474, mem=746M820
47.63/33.30	    decisions=229867, wrong=25243, backtracks=206, failedAssignments=25037, nogoods=2655
47.63/33.30	    
48.57/34.25	    num=58, depth=6160..6309, filters=1983192, revisions=(21415009,useless=19510442), ccks=10783325, wck=29.425, mem=754M900
48.57/34.25	    decisions=241230, wrong=27782, backtracks=229, failedAssignments=27553, nogoods=2688
48.57/34.25	    
58.85/44.43	    num=59, depth=6149..6468, filters=5336192, revisions=(32584732,useless=27467698), ccks=23052648, wck=39.6, mem=754M900
58.85/44.43	    decisions=407614, wrong=107888, backtracks=78192, failedAssignments=30321, nogoods=2690
58.85/44.43	    
60.82/46.35	    num=60, depth=6270..6630, filters=5819609, revisions=(34700782,useless=29117477), ccks=24875427, wck=41.518, mem=763M7
60.82/46.35	    decisions=434179, wrong=117871, backtracks=85200, failedAssignments=33365, nogoods=2753
60.82/46.35	    
61.92/47.40	    num=61, depth=6396..6558, filters=6007428, revisions=(35940154,useless=30173959), ccks=25665988, wck=42.57, mem=763M7
61.92/47.40	    decisions=447694, wrong=121368, backtracks=85349, failedAssignments=36714, nogoods=2812
61.92/47.40	    
64.42/49.97	    num=62, depth=6375..6649, filters=6700585, revisions=(38847598,useless=32418983), ccks=28423508, wck=45.143, mem=763M7
64.42/49.97	    decisions=485356, wrong=136892, backtracks=97410, failedAssignments=40398, nogoods=2826
64.42/49.97	    
77.60/63.03	    num=63, depth=6310..6931, filters=10911178, revisions=(53598971,useless=43175708), ccks=45152980, wck=58.205, mem=771M87
77.60/63.03	    decisions=698275, wrong=239967, backtracks=197528, failedAssignments=44450, nogoods=2933
77.60/63.03	    
79.19/64.69	    num=64, depth=6569..7006, filters=11345021, revisions=(55610633,useless=44766262), ccks=46881895, wck=59.86, mem=779M195
79.19/64.69	    decisions=721548, wrong=248164, backtracks=201301, failedAssignments=48907, nogoods=3086
79.19/64.69	    
87.09/72.59	    num=65, depth=6877..7224, filters=13528382, revisions=(65178994,useless=52271883), ccks=56861192, wck=67.765, mem=787M304
87.09/72.59	    decisions=848164, wrong=307921, backtracks=257174, failedAssignments=53810, nogoods=3195
87.09/72.59	    
100.30/85.72	    num=66, depth=6523..7416, filters=17581832, revisions=(81293137,useless=64526281), ccks=72737205, wck=80.89, mem=795M384
100.30/85.72	    decisions=1081807, wrong=421100, backtracks=366452, failedAssignments=59204, nogoods=3201
100.30/85.72	    
128.03/113.45	    num=67, depth=2194..7616, filters=27693172, revisions=(114324751,useless=87871810), ccks=109850435, wck=108.619, mem=804M579
128.03/113.45	    decisions=1574776, wrong=663788, backtracks=605284, failedAssignments=65137, nogoods=3251
128.03/113.45	    
151.84/137.24	    num=68, depth=7398..7813, filters=35510462, revisions=(143473789,useless=109582759), ccks=139942111, wck=132.413, mem=820M739
151.84/137.24	    decisions=2020721, wrong=882967, backtracks=820856, failedAssignments=71663, nogoods=3256
151.84/137.24	    
163.04/148.42	    num=69, depth=7721..8056, filters=39004332, revisions=(157110431,useless=119902543), ccks=153651185, wck=143.592, mem=828M820
163.04/148.42	    decisions=2233030, wrong=985177, backtracks=917545, failedAssignments=78842, nogoods=3284
163.04/148.42	    
221.56/206.99	    num=70, depth=2662..8104, filters=58667876, revisions=(228342517,useless=172484346), ccks=230366829, wck=202.16, mem=861M141
221.56/206.99	    decisions=3375484, wrong=1552466, backtracks=1485114, failedAssignments=86739, nogoods=3293
221.56/206.99	    
291.69/277.02	    num=71, depth=2675..8290, filters=85736538, revisions=(316131987,useless=234392209), ccks=328321513, wck=272.193, mem=901M542
291.69/277.02	    decisions=4674622, wrong=2197906, backtracks=2127580, failedAssignments=95426, nogoods=3384
291.69/277.02	    
358.82/344.19	    num=72, depth=7912..8589, filters=111711845, revisions=(399521631,useless=292959278), ccks=422451879, wck=339.359, mem=941M944
358.82/344.19	    decisions=5998994, wrong=2855921, backtracks=2784521, failedAssignments=104981, nogoods=3389
358.82/344.19	    
466.24/451.54	    num=73, depth=3916..8632, filters=155140595, revisions=(539185560,useless=391373301), ccks=589995874, wck=446.714, mem=998M506
466.24/451.54	    decisions=8109814, wrong=3907113, backtracks=3836159, failedAssignments=115492, nogoods=3396
466.24/451.54	    
555.88/541.13	    num=74, depth=2182..8652, filters=191549420, revisions=(655385911,useless=473007351), ccks=731828865, wck=536.3, mem=1046M988
555.88/541.13	    decisions=9891518, wrong=4793750, backtracks=4721956, failedAssignments=127054, nogoods=3403
555.88/541.13	    
601.99/587.23	    num=75, depth=4584..8708, filters=206308832, revisions=(722342855,useless=526038873), ccks=796233769, wck=582.406, mem=1079M309
601.99/587.23	    decisions=10840097, wrong=5263766, backtracks=5188550, failedAssignments=139772, nogoods=3409
601.99/587.23	    
650.00/635.22	    num=76, depth=4958..9131, filters=226559762, revisions=(788878750,useless=573196343), ccks=870421391, wck=630.394, mem=1103M550
650.00/635.22	    decisions=11824193, wrong=5751420, backtracks=5667207, failedAssignments=153762, nogoods=3414
650.00/635.22	    
702.94/687.89	    num=77, depth=8879..9372, filters=247853499, revisions=(862581314,useless=626602413), ccks=948993402, wck=683.06, mem=776M821
702.94/687.89	    decisions=13004479, wrong=6336976, backtracks=6249089, failedAssignments=169151, nogoods=3418
702.94/687.89	    
844.10/828.96	    num=78, depth=5672..9285, filters=308305226, revisions=(1052520594,useless=758802048), ccks=1167552221, wck=824.127, mem=863M493
844.10/828.96	    decisions=16139563, wrong=7900028, backtracks=7813320, failedAssignments=186079, nogoods=3441
844.10/828.96	    
953.04/937.86	    num=79, depth=5793..9510, filters=356976168, revisions=(1208848391,useless=868536996), ccks=1346134203, wck=933.037, mem=935M720
953.04/937.86	    decisions=18521729, wrong=9086509, backtracks=8991987, failedAssignments=204700, nogoods=3451
953.04/937.86	    
1041.06/1025.87	    num=80, depth=9206..9575, filters=391676223, revisions=(1342354456,useless=969070089), ccks=1480565912, wck=1021.038, mem=993M502
1041.06/1025.87	    decisions=20553222, wrong=10097520, backtracks=10002684, failedAssignments=225184, nogoods=3456
1041.06/1025.87	    
1172.91/1157.65	    num=81, depth=7622..9803, filters=447737038, revisions=(1519867199,useless=1093681046), ccks=1701186118, wck=1152.821, mem=1080M175
1172.91/1157.65	    decisions=23627759, wrong=11630035, backtracks=11532947, failedAssignments=247716, nogoods=3481
1172.91/1157.65	    
1253.54/1238.21	    num=82, depth=6800..9885, filters=481775877, revisions=(1643545777,useless=1184913972), ccks=1828546631, wck=1233.384, mem=1137M956
1253.54/1238.21	    decisions=25565718, wrong=12594157, backtracks=12493706, failedAssignments=272501, nogoods=3500
1253.54/1238.21	    
1465.91/1450.58	    num=83, depth=9452..9960, filters=581013688, revisions=(1961282422,useless=1407699617), ccks=2192359974, wck=1445.747, mem=1267M965
1465.91/1450.58	    decisions=30441707, wrong=15027394, backtracks=14923936, failedAssignments=299765, nogoods=3503
1465.91/1450.58	    
1657.48/1642.10	    num=84, depth=6696..9970, filters=668648402, revisions=(2237970201,useless=1600753129), ccks=2510154180, wck=1637.273, mem=1397M974
1657.48/1642.10	    decisions=35049803, wrong=17326589, backtracks=17224095, failedAssignments=329755, nogoods=3557
1657.48/1642.10	    
1719.69/1704.25	    num=85, depth=7323..9919, filters=692012083, revisions=(2333434714,useless=1674131393), ccks=2600953665, wck=1699.418, mem=1441M310
1719.69/1704.25	    decisions=36593477, wrong=18093546, backtracks=17976589, failedAssignments=362744, nogoods=3597
1719.69/1704.25	    
1773.21/1757.70	    num=86, depth=9840..10272, filters=703808668, revisions=(2431331092,useless=1761505824), ccks=2665487580, wck=1752.87, mem=1487M466
1773.21/1757.70	    decisions=38151081, wrong=18867278, backtracks=18742281, failedAssignments=399032, nogoods=3632
1773.21/1757.70	    
1939.09/1923.38	    num=87, depth=7637..10721, filters=782091418, revisions=(2686010380,useless=1941640543), ccks=2953259073, wck=1918.547, mem=903M200
1939.09/1923.38	    decisions=42310759, wrong=20941851, backtracks=20804048, failedAssignments=438949, nogoods=3803
1939.09/1923.38	    
2050.83/2035.07	    num=88, depth=8624..10692, filters=824227556, revisions=(2862494170,useless=2078700805), ccks=3124823269, wck=2030.244, mem=989M991
2050.83/2035.07	    decisions=45205406, wrong=22383892, backtracks=22227051, failedAssignments=482858, nogoods=3826
2050.83/2035.07	    
2139.36/2123.51	    num=89, depth=8427..10900, filters=865261870, revisions=(3010186956,useless=2187330780), ccks=3284867519, wck=2118.678, mem=1047M851
2139.36/2123.51	    decisions=47351850, wrong=23451731, backtracks=23284371, failedAssignments=531158, nogoods=3900
2139.36/2123.51	    
2289.41/2273.50	    num=90, depth=10381..10992, filters=928100451, revisions=(3213635808,useless=2331857177), ccks=3509629280, wck=2268.676, mem=1178M38
2289.41/2273.50	    decisions=51732643, wrong=25636691, backtracks=25461253, failedAssignments=584288, nogoods=3934
2289.41/2273.50	    
2520.08/2504.11	
2520.08/2504.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 (9372 MiB free)
  memory of node 1: 16384 MiB (13765 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.101127 s]*
/proc/loadavg: 1.98 1.90 1.82 4/228 12636
/proc/meminfo: memFree=23677304/32770624 swapFree=66939836/67108860
[pid=12621] ppid=12618 vsize=10659884 memory=27524 CPUtime=0.13 cores=0,2,4,6
/proc/12621/stat : 12621 (java) S 12618 12621 10765 0 -1 1077944320 5400 0 0 0 12 1 0 0 20 0 15 0 414528164 10915721216 6881 33554432000 4194304 4196468 140724209168496 140724209151040 140435387211511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
/proc/12621/statm: 2664971 6881 2873 1 0 2627468 0
[pid=12621/tid=12623] ppid=12618 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/12621/task/12623/stat : 12623 (java) R 12618 12621 10765 0 -1 4202560 3192 0 0 0 8 1 0 0 20 0 15 0 414528164 10915721216 6881 33554432000 4194304 4196468 140724209168496 140435391440624 140435379448638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12624] ppid=12618 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12624/stat : 12624 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 6881 33554432000 4194304 4196468 140724209168496 140435313285648 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12625] ppid=12618 vsize=10659884 memory=140469711054464 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12625/stat : 12625 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 6881 33554432000 4194304 4196468 140724209168496 140435312233104 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12626] ppid=12618 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12626/stat : 12626 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 6881 33554432000 4194304 4196468 140724209168496 140435311180048 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12627] ppid=12618 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12627/stat : 12627 (java) S 12618 12621 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 6881 33554432000 4194304 4196468 140724209168496 140435310127504 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12628] ppid=12618 vsize=10659884 memory=140469711054464 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12628/stat : 12628 (java) S 12618 12621 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414528166 10915721216 6881 33554432000 4194304 4196468 140724209168496 140434422561520 140435387222658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12629] ppid=12618 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12629/stat : 12629 (java) S 12618 12621 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414528167 10915721216 6881 33554432000 4194304 4196468 140724209168496 140434421507744 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12630] ppid=12618 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12630/stat : 12630 (java) S 12618 12621 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414528167 10915721216 6881 33554432000 4194304 4196468 140724209168496 140434420454640 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12631] ppid=12618 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12631/stat : 12631 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414528169 10915721216 6881 33554432000 4194304 4196468 140724209168496 140434419403216 140435387230107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12632] ppid=12618 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12632/stat : 12632 (java) R 12618 12621 10765 0 -1 4202560 309 0 0 0 0 0 0 0 20 0 15 0 414528169 10915721216 6881 33554432000 4194304 4196468 140724209168496 140434418350320 140435365079328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12633] ppid=12618 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (java) R 12618 12621 10765 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 15 0 414528169 10915721216 6881 33554432000 4194304 4196468 140724209168496 140434417297776 140435387222658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12634] ppid=12618 vsize=10659884 memory=140469711054464 CPUtime=0.02 cores=0,2,4,6
/proc/12621/task/12634/stat : 12634 (java) R 12618 12621 10765 0 -1 4202560 383 0 0 0 2 0 0 0 20 0 15 0 414528169 10915721216 6881 33554432000 4194304 4196468 140724209168496 140434416244720 140435371291998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12635] ppid=12618 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12635/stat : 12635 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414528170 10915721216 6881 33554432000 4194304 4196468 140724209168496 140434415192416 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12636] ppid=12618 vsize=10659884 memory=140469711054464 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12636/stat : 12636 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528170 10915721216 6881 33554432000 4194304 4196468 140724209168496 140434414140464 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27524 KiB

[startup+0.21069 s]*
/proc/loadavg: 1.98 1.90 1.82 3/228 12636
/proc/meminfo: memFree=23670668/32770624 swapFree=66939836/67108860
[pid=12621] ppid=12618 vsize=10659884 memory=35120 CPUtime=0.33 cores=0,2,4,6
/proc/12621/stat : 12621 (java) S 12618 12621 10765 0 -1 1077944320 6917 0 0 0 31 2 0 0 20 0 15 0 414528164 10915721216 8780 33554432000 4194304 4196468 140724209168496 140724209151040 140435387211511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
/proc/12621/statm: 2664971 8780 2989 1 0 2627468 0
[pid=12621/tid=12623] ppid=12618 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/12621/task/12623/stat : 12623 (java) R 12618 12621 10765 0 -1 4202560 3860 0 0 0 18 1 0 0 20 0 15 0 414528164 10915721216 8780 33554432000 4194304 4196468 140724209168496 140435391443600 140435387233437 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12624] ppid=12618 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12624/stat : 12624 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 8780 33554432000 4194304 4196468 140724209168496 140435313285648 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12625] ppid=12618 vsize=10659884 memory=140469714115588 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12625/stat : 12625 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 8780 33554432000 4194304 4196468 140724209168496 140435312233104 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12626] ppid=12618 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12626/stat : 12626 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 8780 33554432000 4194304 4196468 140724209168496 140435311180048 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12627] ppid=12618 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12627/stat : 12627 (java) S 12618 12621 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 8780 33554432000 4194304 4196468 140724209168496 140435310127504 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12628] ppid=12618 vsize=10659884 memory=140469711054464 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12628/stat : 12628 (java) S 12618 12621 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414528166 10915721216 8780 33554432000 4194304 4196468 140724209168496 140434422561520 140435387222658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12629] ppid=12618 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12629/stat : 12629 (java) S 12618 12621 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414528167 10915721216 8780 33554432000 4194304 4196468 140724209168496 140434421507744 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12630] ppid=12618 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12630/stat : 12630 (java) S 12618 12621 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414528167 10915721216 8780 33554432000 4194304 4196468 140724209168496 140434420454640 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12631] ppid=12618 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12631/stat : 12631 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414528169 10915721216 8780 33554432000 4194304 4196468 140724209168496 140434419403216 140435387230107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12632] ppid=12618 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12621/task/12632/stat : 12632 (java) S 12618 12621 10765 0 -1 1077944384 535 0 0 0 3 0 0 0 20 0 15 0 414528169 10915721216 8780 33554432000 4194304 4196468 140724209168496 140434418350320 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12633] ppid=12618 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (java) S 12618 12621 10765 0 -1 1077944384 379 0 0 0 3 0 0 0 20 0 15 0 414528169 10915721216 8780 33554432000 4194304 4196468 140724209168496 140434417297776 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12634] ppid=12618 vsize=10659884 memory=140469711054464 CPUtime=0.05 cores=0,2,4,6
/proc/12621/task/12634/stat : 12634 (java) S 12618 12621 10765 0 -1 1077944384 784 0 0 0 5 0 0 0 20 0 15 0 414528169 10915721216 8780 33554432000 4194304 4196468 140724209168496 140434416244720 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12635] ppid=12618 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12635/stat : 12635 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414528170 10915721216 8780 33554432000 4194304 4196468 140724209168496 140434415192416 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12636] ppid=12618 vsize=10659884 memory=140469711054464 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12636/stat : 12636 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528170 10915721216 8780 33554432000 4194304 4196468 140724209168496 140434414140464 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35120 KiB

[startup+0.31012 s]*
/proc/loadavg: 1.98 1.90 1.82 3/228 12636
/proc/meminfo: memFree=23663308/32770624 swapFree=66939836/67108860
[pid=12621] ppid=12618 vsize=10659884 memory=40444 CPUtime=0.47 cores=0,2,4,6
/proc/12621/stat : 12621 (java) S 12618 12621 10765 0 -1 1077944320 9428 0 0 0 43 4 0 0 20 0 15 0 414528164 10915721216 10111 33554432000 4194304 4196468 140724209168496 140724209151040 140435387211511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
/proc/12621/statm: 2664971 10111 3002 1 0 2627468 0
[pid=12621/tid=12623] ppid=12618 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/12621/task/12623/stat : 12623 (java) R 12618 12621 10765 0 -1 4202560 6301 0 0 0 27 3 0 0 20 0 15 0 414528164 10915721216 10126 33554432000 4194304 4196468 140724209168496 140435391450496 140435387233437 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12624] ppid=12618 vsize=10659884 memory=10528 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12624/stat : 12624 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 10126 33554432000 4194304 4196468 140724209168496 140435313285648 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12625] ppid=12618 vsize=10659884 memory=140469714112804 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12625/stat : 12625 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 10126 33554432000 4194304 4196468 140724209168496 140435312233104 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12626] ppid=12618 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12626/stat : 12626 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 10126 33554432000 4194304 4196468 140724209168496 140435311180048 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12627] ppid=12618 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12627/stat : 12627 (java) S 12618 12621 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414528165 10915721216 10126 33554432000 4194304 4196468 140724209168496 140435310127504 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12628] ppid=12618 vsize=10659884 memory=140469711054464 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12628/stat : 12628 (java) S 12618 12621 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414528166 10915721216 10126 33554432000 4194304 4196468 140724209168496 140434422561520 140435387222658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12629] ppid=12618 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12629/stat : 12629 (java) S 12618 12621 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414528167 10915721216 10126 33554432000 4194304 4196468 140724209168496 140434421507744 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12630] ppid=12618 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12630/stat : 12630 (java) S 12618 12621 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414528167 10915721216 10126 33554432000 4194304 4196468 140724209168496 140434420454640 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12631] ppid=12618 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12631/stat : 12631 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414528169 10915721216 10126 33554432000 4194304 4196468 140724209168496 140434419403216 140435387230107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12632] ppid=12618 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12621/task/12632/stat : 12632 (java) S 12618 12621 10765 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 15 0 414528169 10915721216 10126 33554432000 4194304 4196468 140724209168496 140434418350320 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12633] ppid=12618 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (java) S 12618 12621 10765 0 -1 1077944384 421 0 0 0 4 0 0 0 20 0 15 0 414528169 10915721216 10126 33554432000 4194304 4196468 140724209168496 140434417297776 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12634] ppid=12618 vsize=10659884 memory=140469711054464 CPUtime=0.08 cores=0,2,4,6
/proc/12621/task/12634/stat : 12634 (java) S 12618 12621 10765 0 -1 1077944384 806 0 0 0 8 0 0 0 20 0 15 0 414528169 10915721216 10126 33554432000 4194304 4196468 140724209168496 140434416244720 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12635] ppid=12618 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12635/stat : 12635 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414528170 10915721216 10126 33554432000 4194304 4196468 140724209168496 140434415192416 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12636] ppid=12618 vsize=10659884 memory=140469711054464 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12636/stat : 12636 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528170 10915721216 10126 33554432000 4194304 4196468 140724209168496 140434414140464 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40444 KiB

[startup+0.70079 s]
/proc/loadavg: 1.98 1.90 1.82 3/228 12636
/proc/meminfo: memFree=23653672/32770624 swapFree=66939836/67108860
[pid=12621] ppid=12618 vsize=10661932 memory=61808 CPUtime=1.09 cores=0,2,4,6
/proc/12621/stat : 12621 (java) S 12618 12621 10765 0 -1 1077944320 13111 0 0 0 103 6 0 0 20 0 15 0 414528164 10917818368 15452 33554432000 4194304 4196468 140724209168496 140724209151040 140435387211511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
/proc/12621/statm: 2665483 15452 3071 1 0 2627980 0
[pid=12621/tid=12623] ppid=12618 vsize=10661932 memory=14056 CPUtime=0.67 cores=0,2,4,6
/proc/12621/task/12623/stat : 12623 (java) R 12618 12621 10765 0 -1 4202560 8840 0 0 0 62 5 0 0 20 0 15 0 414528164 10917818368 15452 33554432000 4194304 4196468 140724209168496 140435391434448 140435371291998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12624] ppid=12618 vsize=10661932 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12624/stat : 12624 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10917818368 15452 33554432000 4194304 4196468 140724209168496 140435313285648 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12625] ppid=12618 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12625/stat : 12625 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10917818368 15452 33554432000 4194304 4196468 140724209168496 140435312233104 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12626] ppid=12618 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12626/stat : 12626 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10917818368 15452 33554432000 4194304 4196468 140724209168496 140435311180048 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12627] ppid=12618 vsize=10661932 memory=924 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12627/stat : 12627 (java) S 12618 12621 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414528165 10917818368 15452 33554432000 4194304 4196468 140724209168496 140435310127504 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12628] ppid=12618 vsize=10661932 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12628/stat : 12628 (java) S 12618 12621 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414528166 10917818368 15452 33554432000 4194304 4196468 140724209168496 140434422561520 140435387222658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12629] ppid=12618 vsize=10661932 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12629/stat : 12629 (java) S 12618 12621 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414528167 10917818368 15452 33554432000 4194304 4196468 140724209168496 140434421507744 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12630] ppid=12618 vsize=10661932 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12630/stat : 12630 (java) S 12618 12621 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414528167 10917818368 15452 33554432000 4194304 4196468 140724209168496 140434420454640 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12631] ppid=12618 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12631/stat : 12631 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414528169 10917818368 15452 33554432000 4194304 4196468 140724209168496 140434419403216 140435387230107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12632] ppid=12618 vsize=10661932 memory=7086240636179272035 CPUtime=0.11 cores=0,2,4,6
/proc/12621/task/12632/stat : 12632 (java) S 12618 12621 10765 0 -1 1077944384 937 0 0 0 11 0 0 0 20 0 15 0 414528169 10917818368 15452 33554432000 4194304 4196468 140724209168496 140434418350320 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12633] ppid=12618 vsize=10661932 memory=7453282923444726100 CPUtime=0.1 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (java) S 12618 12621 10765 0 -1 1077944384 698 0 0 0 10 0 0 0 20 0 15 0 414528169 10917818368 15452 33554432000 4194304 4196468 140724209168496 140434417297776 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12634] ppid=12618 vsize=10661932 memory=7223879631928058176 CPUtime=0.19 cores=0,2,4,6
/proc/12621/task/12634/stat : 12634 (java) S 12618 12621 10765 0 -1 1077944384 1279 0 0 0 19 0 0 0 20 0 15 0 414528169 10917818368 15452 33554432000 4194304 4196468 140724209168496 140434416244720 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12635] ppid=12618 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12635/stat : 12635 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414528170 10917818368 15452 33554432000 4194304 4196468 140724209168496 140434415192416 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12636] ppid=12618 vsize=10661932 memory=7955161671362897768 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12636/stat : 12636 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528170 10917818368 15452 33554432000 4194304 4196468 140724209168496 140434414140464 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61808 KiB

[startup+1.5008 s]
/proc/loadavg: 1.98 1.90 1.82 3/228 12636
/proc/meminfo: memFree=23637356/32770624 swapFree=66939836/67108860
[pid=12621] ppid=12618 vsize=10663980 memory=76116 CPUtime=2 cores=0,2,4,6
/proc/12621/stat : 12621 (java) S 12618 12621 10765 0 -1 1077944320 16866 0 0 0 193 7 0 0 20 0 15 0 414528164 10919915520 19029 33554432000 4194304 4196468 140724209168496 140724209151040 140435387211511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
/proc/12621/statm: 2665995 19029 3091 1 0 2628492 0
[pid=12621/tid=12623] ppid=12618 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=0,2,4,6
/proc/12621/task/12623/stat : 12623 (java) R 12618 12621 10765 0 -1 4202560 11563 0 0 0 142 6 0 0 20 0 15 0 414528164 10919915520 19029 33554432000 4194304 4196468 140724209168496 140435391428448 140435371291998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12624] ppid=12618 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12624/stat : 12624 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10919915520 19029 33554432000 4194304 4196468 140724209168496 140435313285648 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12625] ppid=12618 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12625/stat : 12625 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10919915520 19029 33554432000 4194304 4196468 140724209168496 140435312233104 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12626] ppid=12618 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12626/stat : 12626 (java) S 12618 12621 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414528165 10919915520 19029 33554432000 4194304 4196468 140724209168496 140435311180048 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12627] ppid=12618 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12627/stat : 12627 (java) S 12618 12621 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414528165 10919915520 19029 33554432000 4194304 4196468 140724209168496 140435310127504 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12628] ppid=12618 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12628/stat : 12628 (java) S 12618 12621 10765 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 414528166 10919915520 19029 33554432000 4194304 4196468 140724209168496 140434422561520 140435387222658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0

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

/proc/12621/task/12627/stat : 12627 (java) S 12618 12621 10765 0 -1 1077944384 1860 0 0 0 72 37 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435310127504 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12628] ppid=12618 vsize=10748324 memory=1906324 CPUtime=0.1 cores=0,2,4,6
/proc/12621/task/12628/stat : 12628 (java) S 12618 12621 10765 0 -1 1077944384 10745 0 0 0 8 2 0 0 20 0 16 0 414528166 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434422561520 140435387222658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12629] ppid=12618 vsize=10748324 memory=1906324 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12629/stat : 12629 (java) S 12618 12621 10765 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414528167 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434421507808 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12630] ppid=12618 vsize=10748324 memory=1906324 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12630/stat : 12630 (java) S 12618 12621 10765 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414528167 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434420454656 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12631] ppid=12618 vsize=10748324 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12631/stat : 12631 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434419403216 140435387230107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12632] ppid=12618 vsize=10748324 memory=1548 CPUtime=5.27 cores=0,2,4,6
/proc/12621/task/12632/stat : 12632 (java) S 12618 12621 10765 0 -1 1077944384 21336 0 0 0 525 2 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434418350320 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12633] ppid=12618 vsize=10748324 memory=1906324 CPUtime=5.55 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (java) S 12618 12621 10765 0 -1 1077944384 18410 0 0 0 552 3 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434417297776 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12634] ppid=12618 vsize=10748324 memory=776 CPUtime=1.13 cores=0,2,4,6
/proc/12621/task/12634/stat : 12634 (java) S 12618 12621 10765 0 -1 1077944384 13507 0 0 0 111 2 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434416244720 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12635] ppid=12618 vsize=10748324 memory=1906324 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12635/stat : 12635 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414528170 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434415192416 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12636] ppid=12618 vsize=10748324 memory=3504 CPUtime=0.77 cores=0,2,4,6
/proc/12621/task/12636/stat : 12636 (java) S 12618 12621 10765 0 -1 1077944384 2955 0 0 0 32 45 0 0 20 0 16 0 414528170 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434414140464 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12637] ppid=12618 vsize=10748324 memory=288230574492221466 CPUtime=2439.12 cores=0,2,4,6
/proc/12621/task/12637/stat : 12637 (java) R 12618 12621 10765 0 -1 4202560 32496 0 0 0 243903 9 0 0 20 0 16 0 414528353 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434397470720 140434989427135 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
Current children cumulated CPU time: 2458.26 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1906324 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/230 12992
/proc/meminfo: memFree=20112908/32770624 swapFree=66939836/67108860
[pid=12621] ppid=12618 vsize=10748324 memory=1906324 CPUtime=2518.28 cores=0,2,4,6
/proc/12621/stat : 12621 (java) S 12618 12621 10765 0 -1 1077944320 124973 0 0 0 251609 219 0 0 20 0 16 0 414528164 11006283776 476581 33554432000 4194304 4196468 140724209168496 140724209151040 140435387211511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
/proc/12621/statm: 2687081 476581 3383 1 0 2647217 0
[pid=12621/tid=12623] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.86 cores=0,2,4,6
/proc/12621/task/12623/stat : 12623 (java) S 12618 12621 10765 0 -1 1077944384 13140 0 0 0 179 7 0 0 20 0 16 0 414528164 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435391454384 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12624] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.06 cores=0,2,4,6
/proc/12621/task/12624/stat : 12624 (java) S 12618 12621 10765 0 -1 1077944384 2322 0 0 0 66 40 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435313285648 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12625] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.09 cores=0,2,4,6
/proc/12621/task/12625/stat : 12625 (java) S 12618 12621 10765 0 -1 1077944384 3872 0 0 0 71 38 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435312233104 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12626] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.11 cores=0,2,4,6
/proc/12621/task/12626/stat : 12626 (java) S 12618 12621 10765 0 -1 1077944384 2617 0 0 0 71 40 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435311180048 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12627] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.09 cores=0,2,4,6
/proc/12621/task/12627/stat : 12627 (java) S 12618 12621 10765 0 -1 1077944384 1860 0 0 0 72 37 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435310127504 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12628] ppid=12618 vsize=10748324 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/12621/task/12628/stat : 12628 (java) S 12618 12621 10765 0 -1 1077944384 10752 0 0 0 8 2 0 0 20 0 16 0 414528166 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434422561520 140435387222658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12629] ppid=12618 vsize=10748324 memory=14056 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12629/stat : 12629 (java) S 12618 12621 10765 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414528167 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434421507808 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12630] ppid=12618 vsize=10748324 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12630/stat : 12630 (java) S 12618 12621 10765 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414528167 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434420454656 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12631] ppid=12618 vsize=10748324 memory=1906324 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12631/stat : 12631 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434419403216 140435387230107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12632] ppid=12618 vsize=10748324 memory=1906324 CPUtime=5.27 cores=0,2,4,6
/proc/12621/task/12632/stat : 12632 (java) S 12618 12621 10765 0 -1 1077944384 21340 0 0 0 525 2 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434418350320 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12633] ppid=12618 vsize=10748324 memory=1804 CPUtime=5.55 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (java) S 12618 12621 10765 0 -1 1077944384 18414 0 0 0 552 3 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434417297776 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12634] ppid=12618 vsize=10748324 memory=920 CPUtime=1.13 cores=0,2,4,6
/proc/12621/task/12634/stat : 12634 (java) S 12618 12621 10765 0 -1 1077944384 13514 0 0 0 111 2 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434416244720 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12635] ppid=12618 vsize=10748324 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12635/stat : 12635 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414528170 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434415192416 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12636] ppid=12618 vsize=10748324 memory=39668 CPUtime=0.79 cores=0,2,4,6
/proc/12621/task/12636/stat : 12636 (java) S 12618 12621 10765 0 -1 1077944384 2986 0 0 0 33 46 0 0 20 0 16 0 414528170 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434414140464 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12637] ppid=12618 vsize=10748324 memory=988 CPUtime=2499.12 cores=0,2,4,6
/proc/12621/task/12637/stat : 12637 (java) R 12618 12621 10765 0 -1 4202560 32732 0 0 0 249903 9 0 0 20 0 16 0 414528353 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434397470720 140434983935655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
Current children cumulated CPU time: 2518.28 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1906324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2504.11 s]
/proc/loadavg: 2.00 2.01 1.98 3/229 12992
/proc/meminfo: memFree=20112896/32770624 swapFree=66939836/67108860
[pid=12621] ppid=12618 vsize=10748324 memory=1906324 CPUtime=2520.08 cores=0,2,4,6
/proc/12621/stat : 12621 (java) S 12618 12621 10765 0 -1 1077944320 124976 0 0 0 251789 219 0 0 20 0 16 0 414528164 11006283776 476581 33554432000 4194304 4196468 140724209168496 140724209151040 140435387211511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
/proc/12621/statm: 2687081 476581 3383 1 0 2647217 0
[pid=12621/tid=12623] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.86 cores=0,2,4,6
/proc/12621/task/12623/stat : 12623 (java) S 12618 12621 10765 0 -1 1077944384 13140 0 0 0 179 7 0 0 20 0 16 0 414528164 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435391454384 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12624] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.06 cores=0,2,4,6
/proc/12621/task/12624/stat : 12624 (java) S 12618 12621 10765 0 -1 1077944384 2322 0 0 0 66 40 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435313285648 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12625] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.09 cores=0,2,4,6
/proc/12621/task/12625/stat : 12625 (java) S 12618 12621 10765 0 -1 1077944384 3872 0 0 0 71 38 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435312233104 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12626] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.11 cores=0,2,4,6
/proc/12621/task/12626/stat : 12626 (java) S 12618 12621 10765 0 -1 1077944384 2617 0 0 0 71 40 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435311180048 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12627] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.09 cores=0,2,4,6
/proc/12621/task/12627/stat : 12627 (java) S 12618 12621 10765 0 -1 1077944384 1860 0 0 0 72 37 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435310127504 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12628] ppid=12618 vsize=10748324 memory=1906324 CPUtime=0.1 cores=0,2,4,6
/proc/12621/task/12628/stat : 12628 (java) S 12618 12621 10765 0 -1 1077944384 10752 0 0 0 8 2 0 0 20 0 16 0 414528166 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434422561520 140435387222658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12629] ppid=12618 vsize=10748324 memory=1906324 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12629/stat : 12629 (java) S 12618 12621 10765 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414528167 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434421507808 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12630] ppid=12618 vsize=10748324 memory=1906324 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12630/stat : 12630 (java) S 12618 12621 10765 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414528167 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434420454656 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12631] ppid=12618 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12631/stat : 12631 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434419403216 140435387230107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12632] ppid=12618 vsize=10748324 memory=1906324 CPUtime=5.27 cores=0,2,4,6
/proc/12621/task/12632/stat : 12632 (java) S 12618 12621 10765 0 -1 1077944384 21340 0 0 0 525 2 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434418350320 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12633] ppid=12618 vsize=10748324 memory=1906324 CPUtime=5.55 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (java) S 12618 12621 10765 0 -1 1077944384 18414 0 0 0 552 3 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434417297776 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12634] ppid=12618 vsize=10748324 memory=39668 CPUtime=1.13 cores=0,2,4,6
/proc/12621/task/12634/stat : 12634 (java) S 12618 12621 10765 0 -1 1077944384 13514 0 0 0 111 2 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434416244720 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12635] ppid=12618 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12635/stat : 12635 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414528170 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434415192416 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12636] ppid=12618 vsize=10748324 memory=3504 CPUtime=0.79 cores=0,2,4,6
/proc/12621/task/12636/stat : 12636 (java) S 12618 12621 10765 0 -1 1077944384 2986 0 0 0 33 46 0 0 20 0 16 0 414528170 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434414140464 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12637] ppid=12618 vsize=10748324 memory=39668 CPUtime=2500.92 cores=0,2,4,6
/proc/12621/task/12637/stat : 12637 (java) R 12618 12621 10765 0 -1 4202560 32735 0 0 0 250083 9 0 0 20 0 16 0 414528353 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434397470720 140434989425611 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1906324 KiB

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

[startup+2504.13 s]
# the end of solver process 12621 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.91 s, system=2.21026 s

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

[startup+2504.11 s]
/proc/loadavg: 2.00 2.01 1.98 3/229 12992
/proc/meminfo: memFree=20112896/32770624 swapFree=66939836/67108860
[pid=12621] ppid=12618 vsize=10748324 memory=1906324 CPUtime=2520.08 cores=0,2,4,6
/proc/12621/stat : 12621 (java) S 12618 12621 10765 0 -1 1077944320 124976 0 0 0 251789 219 0 0 20 0 16 0 414528164 11006283776 476581 33554432000 4194304 4196468 140724209168496 140724209151040 140435387211511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
/proc/12621/statm: 2687081 476581 3383 1 0 2647217 0
[pid=12621/tid=12623] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.86 cores=0,2,4,6
/proc/12621/task/12623/stat : 12623 (java) S 12618 12621 10765 0 -1 1077944384 13140 0 0 0 179 7 0 0 20 0 16 0 414528164 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435391454384 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12624] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.06 cores=0,2,4,6
/proc/12621/task/12624/stat : 12624 (java) S 12618 12621 10765 0 -1 1077944384 2322 0 0 0 66 40 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435313285648 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12625] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.09 cores=0,2,4,6
/proc/12621/task/12625/stat : 12625 (java) S 12618 12621 10765 0 -1 1077944384 3872 0 0 0 71 38 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435312233104 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12626] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.11 cores=0,2,4,6
/proc/12621/task/12626/stat : 12626 (java) S 12618 12621 10765 0 -1 1077944384 2617 0 0 0 71 40 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435311180048 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12627] ppid=12618 vsize=10748324 memory=1906324 CPUtime=1.09 cores=0,2,4,6
/proc/12621/task/12627/stat : 12627 (java) S 12618 12621 10765 0 -1 1077944384 1860 0 0 0 72 37 0 0 20 0 16 0 414528165 11006283776 476581 33554432000 4194304 4196468 140724209168496 140435310127504 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12628] ppid=12618 vsize=10748324 memory=1906324 CPUtime=0.1 cores=0,2,4,6
/proc/12621/task/12628/stat : 12628 (java) S 12618 12621 10765 0 -1 1077944384 10752 0 0 0 8 2 0 0 20 0 16 0 414528166 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434422561520 140435387222658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12629] ppid=12618 vsize=10748324 memory=1906324 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12629/stat : 12629 (java) S 12618 12621 10765 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414528167 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434421507808 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12630] ppid=12618 vsize=10748324 memory=1906324 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12630/stat : 12630 (java) S 12618 12621 10765 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414528167 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434420454656 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12631] ppid=12618 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12631/stat : 12631 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434419403216 140435387230107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12632] ppid=12618 vsize=10748324 memory=1906324 CPUtime=5.27 cores=0,2,4,6
/proc/12621/task/12632/stat : 12632 (java) S 12618 12621 10765 0 -1 1077944384 21340 0 0 0 525 2 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434418350320 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12633] ppid=12618 vsize=10748324 memory=1906324 CPUtime=5.55 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (java) S 12618 12621 10765 0 -1 1077944384 18414 0 0 0 552 3 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434417297776 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12634] ppid=12618 vsize=10748324 memory=39668 CPUtime=1.13 cores=0,2,4,6
/proc/12621/task/12634/stat : 12634 (java) S 12618 12621 10765 0 -1 1077944384 13514 0 0 0 111 2 0 0 20 0 16 0 414528169 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434416244720 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12635] ppid=12618 vsize=10748324 memory=988 CPUtime=0 cores=0,2,4,6
/proc/12621/task/12635/stat : 12635 (java) S 12618 12621 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414528170 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434415192416 140435387221717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12636] ppid=12618 vsize=10748324 memory=3504 CPUtime=0.79 cores=0,2,4,6
/proc/12621/task/12636/stat : 12636 (java) S 12618 12621 10765 0 -1 1077944384 2986 0 0 0 33 46 0 0 20 0 16 0 414528170 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434414140464 140435387222658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
[pid=12621/tid=12637] ppid=12618 vsize=10748324 memory=39668 CPUtime=2500.92 cores=0,2,4,6
/proc/12621/task/12637/stat : 12637 (java) R 12618 12621 10765 0 -1 4202560 32735 0 0 0 250083 9 0 0 20 0 16 0 414528353 11006283776 476581 33554432000 4194304 4196468 140724209168496 140434397470720 140434989425611 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27631616 140724209177611 140724209177714 140724209177714 140724209180623 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1906324 KiB

Child status: 143
Real time (s): 2504.13
CPU time (s): 2520.12
CPU user time (s): 2517.91
CPU system time (s): 2.21026
CPU usage (%): 100.639
Max. virtual memory (cumulated for all children) (KiB): 10750504
Max. memory (cumulated for all children) (KiB): 1906324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.91
system time used= 2.21026
maximum resident set size= 1906752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58169
involuntary context switches= 3252


# summary of solver processes directly reported to runsolver:
#   pid: 12621
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2517.91
#   total CPU system time (s): 2.21026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8603 second user time and 19.5589 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-13 16:48:13
IDJOB=4391020
IDBENCH=139399
IDSOLVER=2832
FILE ID=node119/4391020-1568386133
RUNJOBID= node119-1568380477-10796
PBS_JOBID= 21701844
Free space on /tmp= 57260 MiB

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

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

MD5SUM BENCH= 75a96ae289dcd0162feddbff51d0d425
RANDOM SEED=1907614698

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23693596 kB
MemAvailable:   31602368 kB
Buffers:          183804 kB
Cached:          7932480 kB
SwapCached:        61112 kB
Active:          2106720 kB
Inactive:        6274756 kB
Active(anon):     203668 kB
Inactive(anon):   103152 kB
Active(file):    1903052 kB
Inactive(file):  6171604 kB
Unevictable:      107056 kB
Mlocked:          107056 kB
SwapTotal:      67108860 kB
SwapFree:       66939836 kB
Dirty:              8688 kB
Writeback:             0 kB
AnonPages:        407820 kB
Mapped:            56856 kB
Shmem:             32812 kB
Slab:             292244 kB
SReclaimable:     262576 kB
SUnreclaim:        29668 kB
KernelStack:        4032 kB
PageTables:         6188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1166300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    339968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57252 MiB
End job on node119 at 2019-09-13 17:29:57