Trace number 4390517

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 NameAnswerCPU timeWall clock time
AbsCon 2019-07-23UNSAT 348.256 344.947

DiagnosticValue
WRONG_DECISIONS34088100

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-fpga/
Pb-chnl10-11.xml
MD5SUM0cb6e3dc45605db1284c892a60e68314
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark56.5468
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of constraints42
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":220}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":220}]
Minimum constraint arity10
Maximum constraint arity11
Distribution of constraint arities[{"arity":10,"count":22},{"arity":11,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":42}]
Optimization problemNO
Type of objective

Solver Data 

2.38/1.89	
2.38/1.89	AbsCon 2 
2.65/1.90	
2.90/2.02	  Instance
2.90/2.02	    name=instance-4390517-1568384054, framework=CSP
2.90/2.02	
2.90/2.02	  Loading variables...
2.90/2.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253ddccc
2.90/2.06	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc9f866
2.90/2.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a9fdc8
2.90/2.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2cc455
2.90/2.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec244f0
2.90/2.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a16423f
2.90/2.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63c5d93c
2.90/2.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51921780
2.90/2.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54187d2c
2.90/2.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619797d0
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a3bb52
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d98d91e
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8dcdcf
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41b3ed05
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73d6e4ad
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738eddfc
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22fc9e40
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d4dddb
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b03c1a3
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c77668d
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ed6e62c
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d2dc6cc
2.90/2.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45785ab6
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf70406
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4b0790
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff08012
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a67245
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489c83a9
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9a0b6c
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef62492
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d9bdac9
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd1cf42
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c3a31b3
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e65b94
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db81371
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b49d8be
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165ede15
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ac81c3f
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4262461c
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a784198
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc18a95
2.90/2.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a831c2
2.90/2.10	
2.90/2.10	
2.90/2.10	  Domains
2.90/2.10	    nTypes=1, nValues=440, sizes=[2#220]
2.90/2.10	  Variables
2.90/2.10	    count=220, degrees=[2#220]
2.90/2.10	  Constraints
2.90/2.10	    count=42, nSpecific=42, arities=[10#22,11#20]
2.90/2.10	    distribution=[SumSimpleGE#22,SumSimpleLE#20]
2.90/2.10	    wck=0.249, cpu=2.075, mem=21M227
2.90/2.11	  Solver SolverBacktrack being built...
2.90/2.11	
3.14/2.14	
3.14/2.14	  Solver
3.14/2.14	    guaranteedGAC=true
3.14/2.14	    wck=0.282, cpu=2.107, mem=34M513
3.14/2.14	
3.14/2.14	  Preprocessing
3.14/2.14	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.14/2.14	    wck=0.002, cpu=2.11, mem=34M513
3.14/2.14	
3.14/2.15	    num=0, depth=39..45, filters=130, wck=0.011, mem=34M513
3.14/2.15	    decisions=85, wrong=23, backtracks=23, failedAssignments=10, nogoods=1
3.14/2.15	    
3.14/2.15	    num=1, depth=40..47, filters=288, wck=0.015, mem=34M513
3.14/2.15	    decisions=178, wrong=49, backtracks=46, failedAssignments=21, nogoods=3
3.14/2.15	    
3.14/2.16	    num=2, depth=50..60, filters=419, wck=0.019, mem=34M513
3.14/2.16	    decisions=281, wrong=75, backtracks=68, failedAssignments=33, nogoods=5
3.14/2.16	    
3.14/2.17	    num=3, depth=48..60, filters=585, wck=0.033, mem=34M513
3.14/2.17	    decisions=391, wrong=103, backtracks=85, failedAssignments=46, nogoods=8
3.14/2.17	    
3.14/2.17	    num=4, depth=56..66, filters=853, wck=0.037, mem=34M513
3.14/2.17	    decisions=512, wrong=134, backtracks=109, failedAssignments=60, nogoods=12
3.14/2.17	    
3.14/2.18	    num=5, depth=61..76, filters=1372, wck=0.041, mem=34M513
3.14/2.18	    decisions=665, wrong=180, backtracks=153, failedAssignments=76, nogoods=13
3.14/2.18	    
3.14/2.19	    num=6, depth=58..67, filters=1742, wck=0.045, mem=34M513
3.14/2.19	    decisions=817, wrong=226, backtracks=198, failedAssignments=93, nogoods=16
3.14/2.19	    
3.14/2.19	    num=7, depth=62..74, filters=2110, wck=0.048, mem=34M513
3.14/2.19	    decisions=971, wrong=271, backtracks=231, failedAssignments=112, nogoods=19
3.14/2.19	    
3.14/2.19	    num=8, depth=67..81, filters=2665, wck=0.051, mem=34M513
3.14/2.19	    decisions=1143, wrong=323, backtracks=275, failedAssignments=133, nogoods=22
3.14/2.19	    
3.14/2.19	    num=9, depth=63..83, filters=3399, wck=0.054, mem=34M513
3.14/2.19	    decisions=1348, wrong=394, backtracks=340, failedAssignments=156, nogoods=23
3.14/2.19	    
3.14/2.19	    num=10, depth=64..78, filters=4104, wck=0.057, mem=34M513
3.14/2.19	    decisions=1573, wrong=474, backtracks=416, failedAssignments=181, nogoods=25
3.14/2.19	    
3.39/2.20	    num=11, depth=66..79, filters=4681, wck=0.06, mem=34M513
3.39/2.20	    decisions=1783, wrong=546, backtracks=483, failedAssignments=209, nogoods=28
3.39/2.20	    
3.39/2.20	    num=12, depth=67..82, filters=5516, wck=0.063, mem=34M513
3.39/2.20	    decisions=2019, wrong=629, backtracks=558, failedAssignments=240, nogoods=30
3.39/2.20	    
3.39/2.20	    num=13, depth=67..80, filters=6605, wck=0.066, mem=34M513
3.39/2.20	    decisions=2289, wrong=729, backtracks=653, failedAssignments=274, nogoods=33
3.39/2.20	    
3.39/2.20	    num=14, depth=61..75, filters=7654, wck=0.068, mem=34M513
3.39/2.20	    decisions=2570, wrong=837, backtracks=755, failedAssignments=311, nogoods=35
3.39/2.20	    
3.39/2.21	    num=15, depth=60..73, filters=8692, wck=0.071, mem=34M513
3.39/2.21	    decisions=2883, wrong=961, backtracks=869, failedAssignments=352, nogoods=38
3.39/2.21	    
3.39/2.21	    num=16, depth=60..81, filters=9959, wck=0.075, mem=34M513
3.39/2.21	    decisions=3195, wrong=1083, backtracks=983, failedAssignments=397, nogoods=42
3.39/2.21	    
3.39/2.21	    num=17, depth=64..81, filters=10907, wck=0.078, mem=34M513
3.39/2.21	    decisions=3504, wrong=1204, backtracks=1087, failedAssignments=447, nogoods=46
3.39/2.21	    
3.39/2.22	    num=18, depth=60..76, filters=12311, wck=0.081, mem=34M513
3.39/2.22	    decisions=3919, wrong=1380, backtracks=1258, failedAssignments=502, nogoods=49
3.39/2.22	    
3.39/2.22	    num=19, depth=59..75, filters=13654, wck=0.085, mem=34M513
3.39/2.22	    decisions=4275, wrong=1527, backtracks=1397, failedAssignments=563, nogoods=54
3.39/2.22	    
3.39/2.22	    num=20, depth=51..70, filters=15145, wck=0.088, mem=34M513
3.39/2.22	    decisions=4718, wrong=1717, backtracks=1574, failedAssignments=630, nogoods=56
3.39/2.22	    
3.39/2.23	    num=21, depth=64..78, filters=16612, wck=0.091, mem=34M513
3.39/2.23	    decisions=5132, wrong=1890, backtracks=1732, failedAssignments=704, nogoods=62
3.39/2.23	    
3.39/2.23	    num=22, depth=63..81, filters=18439, wck=0.095, mem=34M513
3.39/2.23	    decisions=5643, wrong=2113, backtracks=1942, failedAssignments=785, nogoods=64
3.39/2.23	    
3.39/2.24	    num=23, depth=59..83, filters=20411, wck=0.1, mem=34M513
3.39/2.24	    decisions=6133, wrong=2327, backtracks=2138, failedAssignments=874, nogoods=68
3.39/2.24	    
3.39/2.24	    num=24, depth=56..76, filters=22753, wck=0.105, mem=37M155
3.39/2.24	    decisions=6733, wrong=2594, backtracks=2382, failedAssignments=972, nogoods=71
3.39/2.24	    
3.39/2.25	    num=25, depth=59..76, filters=25214, wck=0.111, mem=37M155
3.39/2.25	    decisions=7313, wrong=2852, backtracks=2622, failedAssignments=1080, nogoods=76
3.39/2.25	    
3.39/2.25	    num=26, depth=60..77, filters=27704, wck=0.117, mem=37M155
3.39/2.25	    decisions=8000, wrong=3165, backtracks=2893, failedAssignments=1199, nogoods=79
3.39/2.25	    
3.39/2.26	    num=27, depth=63..82, filters=30801, wck=0.123, mem=37M155
3.39/2.26	    decisions=8730, wrong=3498, backtracks=3205, failedAssignments=1330, nogoods=81
3.39/2.26	    
3.39/2.27	    num=28, depth=56..78, filters=34218, wck=0.131, mem=37M155
3.39/2.27	    decisions=9612, wrong=3909, backtracks=3589, failedAssignments=1474, nogoods=86
3.39/2.27	    
3.39/2.27	    num=29, depth=61..81, filters=37926, wck=0.137, mem=37M155
3.39/2.27	    decisions=10493, wrong=4317, backtracks=3971, failedAssignments=1632, nogoods=90
3.39/2.27	    
3.39/2.28	    num=30, depth=58..80, filters=42448, wck=0.145, mem=37M155
3.39/2.28	    decisions=11549, wrong=4816, backtracks=4436, failedAssignments=1806, nogoods=92
3.39/2.28	    
3.39/2.29	    num=31, depth=56..75, filters=46978, wck=0.153, mem=37M155
3.39/2.29	    decisions=12624, wrong=5322, backtracks=4889, failedAssignments=1997, nogoods=97
3.39/2.29	    
3.39/2.30	    num=32, depth=55..73, filters=51599, wck=0.161, mem=39M798
3.39/2.30	    decisions=13785, wrong=5873, backtracks=5415, failedAssignments=2208, nogoods=99
3.39/2.30	    
3.70/2.31	    num=33, depth=55..75, filters=56867, wck=0.168, mem=39M798
3.70/2.31	    decisions=15151, wrong=6526, backtracks=6039, failedAssignments=2440, nogoods=104
3.70/2.31	    
3.70/2.31	    num=34, depth=55..77, filters=62930, wck=0.177, mem=39M798
3.70/2.31	    decisions=16619, wrong=7228, backtracks=6719, failedAssignments=2695, nogoods=109
3.70/2.31	    
3.70/2.32	    num=35, depth=49..76, filters=68772, wck=0.185, mem=39M798
3.70/2.32	    decisions=18163, wrong=7974, backtracks=7421, failedAssignments=2976, nogoods=113
3.70/2.32	    
3.70/2.33	    num=36, depth=55..80, filters=75397, wck=0.194, mem=39M798
3.70/2.33	    decisions=19940, wrong=8829, backtracks=8266, failedAssignments=3285, nogoods=116
3.70/2.33	    
3.70/2.34	    num=37, depth=46..68, filters=82085, wck=0.203, mem=42M440
3.70/2.34	    decisions=21781, wrong=9723, backtracks=9089, failedAssignments=3625, nogoods=119
3.70/2.34	    
3.70/2.35	    num=38, depth=52..74, filters=89702, wck=0.213, mem=42M440
3.70/2.35	    decisions=23954, wrong=10781, backtracks=10066, failedAssignments=3999, nogoods=122
3.70/2.35	    
3.70/2.36	    num=39, depth=50..72, filters=99255, wck=0.224, mem=42M440
3.70/2.36	    decisions=26297, wrong=11922, backtracks=11124, failedAssignments=4410, nogoods=125
3.70/2.36	    
3.70/2.37	    num=40, depth=52..76, filters=109322, wck=0.237, mem=42M440
3.70/2.37	    decisions=28978, wrong=13233, backtracks=12396, failedAssignments=4862, nogoods=130
3.70/2.37	    
3.70/2.39	    num=41, depth=51..78, filters=121999, wck=0.252, mem=45M83
3.70/2.39	    decisions=32095, wrong=14762, backtracks=13871, failedAssignments=5359, nogoods=133
3.70/2.39	    
4.00/2.40	    num=42, depth=51..75, filters=131968, wck=0.264, mem=45M83
4.00/2.40	    decisions=34863, wrong=16117, backtracks=15157, failedAssignments=5906, nogoods=137
4.00/2.40	    
4.00/2.42	    num=43, depth=50..78, filters=146540, wck=0.281, mem=45M83
4.00/2.42	    decisions=38330, wrong=17822, backtracks=16797, failedAssignments=6508, nogoods=143
4.00/2.42	    
4.00/2.43	    num=44, depth=48..74, filters=161069, wck=0.296, mem=47M725
4.00/2.43	    decisions=42266, wrong=19761, backtracks=18673, failedAssignments=7170, nogoods=146
4.00/2.43	    
4.00/2.45	    num=45, depth=45..73, filters=175087, wck=0.311, mem=47M725
4.00/2.45	    decisions=46333, wrong=21769, backtracks=20575, failedAssignments=7898, nogoods=151
4.00/2.45	    
4.00/2.46	    num=46, depth=44..71, filters=191516, wck=0.326, mem=50M367
4.00/2.46	    decisions=50695, wrong=23925, backtracks=22614, failedAssignments=8699, nogoods=156
4.00/2.46	    
4.00/2.48	    num=47, depth=42..68, filters=209783, wck=0.343, mem=50M367
4.00/2.48	    decisions=55764, wrong=26435, backtracks=25033, failedAssignments=9580, nogoods=160
4.00/2.48	    
4.17/2.50	    num=48, depth=42..72, filters=229686, wck=0.364, mem=53M10
4.17/2.50	    decisions=60949, wrong=28999, backtracks=27428, failedAssignments=10550, nogoods=163
4.17/2.50	    
4.17/2.52	    num=49, depth=49..79, filters=252344, wck=0.387, mem=55M652
4.17/2.52	    decisions=66644, wrong=31821, backtracks=30063, failedAssignments=11617, nogoods=166
4.17/2.52	    
4.17/2.55	    num=50, depth=50..81, filters=276240, wck=0.41, mem=55M652
4.17/2.55	    decisions=72922, wrong=34934, backtracks=32924, failedAssignments=12790, nogoods=169
4.17/2.55	    
4.17/2.58	    num=51, depth=49..78, filters=303208, wck=0.439, mem=58M295
4.17/2.58	    decisions=79801, wrong=38344, backtracks=36071, failedAssignments=14081, nogoods=172
4.17/2.58	    
4.28/2.60	    num=52, depth=45..78, filters=330939, wck=0.466, mem=60M937
4.28/2.60	    decisions=87430, wrong=42130, backtracks=39574, failedAssignments=15501, nogoods=178
4.28/2.60	    
4.28/2.64	    num=53, depth=43..73, filters=364999, wck=0.499, mem=63M580
4.28/2.64	    decisions=96305, wrong=46539, backtracks=43710, failedAssignments=17063, nogoods=181
4.28/2.64	    
4.28/2.67	    num=54, depth=42..75, filters=400336, wck=0.534, mem=66M222
4.28/2.67	    decisions=105471, wrong=51096, backtracks=47748, failedAssignments=18781, nogoods=183
4.28/2.67	    
4.40/2.71	    num=55, depth=47..81, filters=439826, wck=0.571, mem=68M865
4.40/2.71	    decisions=115908, wrong=56287, backtracks=52688, failedAssignments=20671, nogoods=189
4.40/2.71	    
4.40/2.75	    num=56, depth=43..75, filters=482359, wck=0.616, mem=71M507
4.40/2.75	    decisions=127004, wrong=61810, backtracks=57766, failedAssignments=22750, nogoods=192
4.40/2.75	    
4.51/2.80	    num=57, depth=46..76, filters=532134, wck=0.666, mem=76M792
4.51/2.80	    decisions=139726, wrong=68142, backtracks=63767, failedAssignments=25037, nogoods=196
4.51/2.80	    
4.51/2.85	    num=58, depth=39..71, filters=587972, wck=0.718, mem=79M434
4.51/2.85	    decisions=154496, wrong=75501, backtracks=70840, failedAssignments=27553, nogoods=200
4.51/2.85	    
4.62/2.92	    num=59, depth=44..76, filters=652386, wck=0.782, mem=84M719
4.62/2.92	    decisions=170958, wrong=83704, backtracks=78755, failedAssignments=30321, nogoods=205
4.62/2.92	    
4.62/2.99	    num=60, depth=45..79, filters=727449, wck=0.857, mem=90M4
4.62/2.99	    decisions=189764, wrong=93079, backtracks=87846, failedAssignments=33365, nogoods=209
4.62/2.99	    
4.76/3.06	    num=61, depth=42..75, filters=797909, wck=0.927, mem=95M289
4.76/3.06	    decisions=208573, wrong=102462, backtracks=96686, failedAssignments=36714, nogoods=215
4.76/3.06	    
4.86/3.15	    num=62, depth=40..81, filters=876157, wck=1.011, mem=103M216
4.86/3.15	    decisions=229064, wrong=112682, backtracks=106234, failedAssignments=40398, nogoods=219
4.86/3.15	    
4.95/3.24	    num=63, depth=44..80, filters=966719, wck=1.106, mem=111M144
4.95/3.24	    decisions=252593, wrong=124419, backtracks=117445, failedAssignments=44450, nogoods=224
4.95/3.24	    
5.05/3.33	    num=64, depth=38..72, filters=1058983, wck=1.195, mem=116M428
5.05/3.33	    decisions=277542, wrong=136869, backtracks=129360, failedAssignments=48907, nogoods=229
5.05/3.33	    
5.15/3.44	    num=65, depth=38..74, filters=1155673, wck=1.302, mem=124M356
5.15/3.44	    decisions=303601, wrong=149870, backtracks=141137, failedAssignments=53810, nogoods=235
5.15/3.44	    
5.25/3.58	    num=66, depth=45..82, filters=1286394, wck=1.44, mem=134M926
5.25/3.58	    decisions=335767, wrong=165926, backtracks=156665, failedAssignments=59204, nogoods=239
5.25/3.58	    
5.49/3.73	    num=67, depth=36..77, filters=1420283, wck=1.591, mem=22M304
5.49/3.73	    decisions=370948, wrong=183494, backtracks=173401, failedAssignments=65137, nogoods=244
5.49/3.73	    
5.60/3.88	    num=68, depth=41..78, filters=1565401, wck=1.744, mem=35M252
5.60/3.88	    decisions=407059, wrong=201526, backtracks=190379, failedAssignments=71663, nogoods=248
5.60/3.88	    
5.81/4.03	    num=69, depth=41..84, filters=1723735, wck=1.896, mem=48M200
5.81/4.03	    decisions=448770, wrong=222356, backtracks=210254, failedAssignments=78842, nogoods=253
5.81/4.03	    
6.00/4.23	    num=70, depth=43..80, filters=1911930, wck=2.09, mem=61M147
6.00/4.23	    decisions=495533, wrong=245707, backtracks=232761, failedAssignments=86739, nogoods=257
6.00/4.23	    
6.20/4.41	    num=71, depth=34..72, filters=2104512, wck=2.278, mem=78M6
6.20/4.41	    decisions=547265, wrong=271552, backtracks=257257, failedAssignments=95426, nogoods=263
6.20/4.41	    
6.40/4.64	    num=72, depth=35..72, filters=2315545, wck=2.506, mem=96M133
6.40/4.64	    decisions=604768, wrong=300279, backtracks=284993, failedAssignments=104981, nogoods=266
6.40/4.64	    
6.61/4.88	    num=73, depth=38..78, filters=2542482, wck=2.745, mem=114M260
6.61/4.88	    decisions=666701, wrong=331224, backtracks=314746, failedAssignments=115492, nogoods=271
6.61/4.88	    
6.92/5.17	    num=74, depth=35..78, filters=2799844, wck=3.029, mem=137M566
6.92/5.17	    decisions=732466, wrong=364082, backtracks=345779, failedAssignments=127054, nogoods=276
6.92/5.17	    
7.21/5.46	    num=75, depth=40..78, filters=3069629, wck=3.326, mem=24M887
7.21/5.46	    decisions=804967, wrong=400308, backtracks=380252, failedAssignments=139772, nogoods=282
7.21/5.46	    
7.64/5.80	    num=76, depth=38..78, filters=3384086, wck=3.663, mem=50M875
7.64/5.80	    decisions=885712, wrong=440655, backtracks=418949, failedAssignments=153762, nogoods=287
7.64/5.80	    
8.04/6.20	    num=77, depth=35..78, filters=3748416, wck=4.063, mem=79M462
8.04/6.20	    decisions=979212, wrong=487386, backtracks=463652, failedAssignments=169151, nogoods=292
8.04/6.20	    
8.44/6.62	    num=78, depth=28..73, filters=4136899, wck=4.483, mem=113M247
8.44/6.62	    decisions=1084967, wrong=540247, backtracks=514993, failedAssignments=186079, nogoods=297
8.44/6.62	    
8.85/7.08	    num=79, depth=33..78, filters=4547456, wck=4.942, mem=147M32
8.85/7.08	    decisions=1194877, wrong=595173, backtracks=567178, failedAssignments=204700, nogoods=301
8.85/7.08	    
9.48/7.62	    num=80, depth=34..80, filters=5015791, wck=5.482, mem=55M614
9.48/7.62	    decisions=1317803, wrong=656608, backtracks=625798, failedAssignments=225184, nogoods=307
9.48/7.62	    
9.98/8.17	    num=81, depth=36..76, filters=5530710, wck=6.036, mem=95M95
9.98/8.17	    decisions=1452823, wrong=724095, backtracks=690382, failedAssignments=247716, nogoods=311
9.98/8.17	    
10.67/8.84	    num=82, depth=37..82, filters=6136257, wck=6.703, mem=145M343
10.67/8.84	    decisions=1602011, wrong=798660, backtracks=761948, failedAssignments=272501, nogoods=315
10.67/8.84	    
11.37/9.57	    num=83, depth=33..80, filters=6784173, wck=7.431, mem=195M591
11.37/9.57	    decisions=1771516, wrong=883393, backtracks=842853, failedAssignments=299765, nogoods=320
11.37/9.57	    
12.21/10.39	    num=84, depth=32..82, filters=7499007, wck=8.255, mem=73M731
12.21/10.39	    decisions=1960733, wrong=977983, backtracks=934702, failedAssignments=329755, nogoods=325
12.21/10.39	    
13.11/11.28	    num=85, depth=30..77, filters=8279443, wck=9.143, mem=138M581
13.11/11.28	    decisions=2167576, wrong=1081385, backtracks=1034983, failedAssignments=362744, nogoods=330
13.11/11.28	    
14.24/12.33	    num=86, depth=31..76, filters=9148190, wck=10.193, mem=29M481
14.24/12.33	    decisions=2394669, wrong=1194906, backtracks=1145216, failedAssignments=399032, nogoods=335
14.24/12.33	    
15.34/13.42	    num=87, depth=28..76, filters=10050551, wck=11.282, mem=107M809
15.34/13.42	    decisions=2645774, wrong=1320435, backtracks=1266311, failedAssignments=438949, nogoods=340
15.34/13.42	    
16.54/14.61	    num=88, depth=29..77, filters=11030435, wck=12.469, mem=195M929
16.54/14.61	    decisions=2912214, wrong=1453623, backtracks=1395291, failedAssignments=482858, nogoods=344
16.54/14.61	    
17.87/15.95	    num=89, depth=31..76, filters=12150525, wck=13.813, mem=44M206
17.87/15.95	    decisions=3219629, wrong=1607305, backtracks=1544605, failedAssignments=531158, nogoods=351
17.87/15.95	    
19.37/17.46	    num=90, depth=31..78, filters=13424489, wck=15.324, mem=152M79
19.37/17.46	    decisions=3555430, wrong=1775186, backtracks=1706890, failedAssignments=584288, nogoods=358
19.37/17.46	    
21.10/19.13	    num=91, depth=28..79, filters=14784938, wck=16.996, mem=26M147
21.10/19.13	    decisions=3925646, wrong=1960266, backtracks=1885440, failedAssignments=642731, nogoods=363
21.10/19.13	    
22.80/20.82	    num=92, depth=24..76, filters=16152278, wck=18.688, mem=155M293
22.80/20.82	    decisions=4320709, wrong=2157779, backtracks=2074255, failedAssignments=707018, nogoods=369
22.80/20.82	    
24.70/22.75	    num=93, depth=25..77, filters=17646318, wck=20.613, mem=290M897
24.70/22.75	    decisions=4748018, wrong=2371413, backtracks=2280170, failedAssignments=777734, nogoods=374
24.70/22.75	    
26.93/24.92	    num=94, depth=28..79, filters=19385984, wck=22.782, mem=123M979
26.93/24.92	    decisions=5223940, wrong=2609355, backtracks=2510133, failedAssignments=855521, nogoods=378
26.93/24.92	    
29.44/27.40	    num=95, depth=25..76, filters=21297420, wck=25.262, mem=306M372
29.44/27.40	    decisions=5768973, wrong=2881856, backtracks=2774235, failedAssignments=941087, nogoods=384
29.44/27.40	    
32.17/30.12	    num=96, depth=24..78, filters=23366693, wck=27.985, mem=178M994
32.17/30.12	    decisions=6362061, wrong=3178375, backtracks=3059602, failedAssignments=1035210, nogoods=389
32.17/30.12	    
35.07/33.05	    num=97, depth=25..75, filters=25628228, wck=30.915, mem=391M389
35.07/33.05	    decisions=7012753, wrong=3503699, backtracks=3373159, failedAssignments=1138745, nogoods=396
35.07/33.05	    
38.59/36.52	    num=98, depth=25..78, filters=28245508, wck=34.385, mem=240M477
38.59/36.52	    decisions=7757285, wrong=3875939, backtracks=3735051, failedAssignments=1252634, nogoods=402
38.59/36.52	    
42.42/40.34	    num=99, depth=25..78, filters=31105114, wck=38.208, mem=155M392
42.42/40.34	    decisions=8565476, wrong=4280013, backtracks=4127033, failedAssignments=1377912, nogoods=408
42.42/40.34	    
46.73/44.61	    num=100, depth=23..80, filters=34257349, wck=42.473, mem=95M923
46.73/44.61	    decisions=9454920, wrong=4724716, backtracks=4555532, failedAssignments=1515718, nogoods=411
46.73/44.61	    
51.34/49.20	    num=101, depth=24..78, filters=37642695, wck=47.062, mem=73M502
51.34/49.20	    decisions=10416047, wrong=5205262, backtracks=5018324, failedAssignments=1667304, nogoods=417
51.34/49.20	    
56.55/54.44	    num=102, depth=22..82, filters=41509813, wck=52.307, mem=84M954
56.55/54.44	    decisions=11495720, wrong=5745076, backtracks=5539893, failedAssignments=1834049, nogoods=423
56.55/54.44	    
62.36/60.28	    num=103, depth=23..77, filters=45693805, wck=58.14, mem=140M74
62.36/60.28	    decisions=12666044, wrong=6330223, backtracks=6107369, failedAssignments=2017468, nogoods=427
62.36/60.28	    
68.97/66.86	    num=104, depth=21..80, filters=50299657, wck=64.728, mem=265M984
68.97/66.86	    decisions=13964396, wrong=6979382, backtracks=6735793, failedAssignments=2219229, nogoods=434
68.97/66.86	    
76.19/74.04	    num=105, depth=21..82, filters=55361596, wck=71.905, mem=135M985
76.19/74.04	    decisions=15392163, wrong=7693245, backtracks=7429018, failedAssignments=2441167, nogoods=442
76.19/74.04	    
84.00/81.83	    num=106, depth=19..77, filters=60669881, wck=79.692, mem=85M771
84.00/81.83	    decisions=16964866, wrong=8479579, backtracks=8189807, failedAssignments=2685298, nogoods=449
84.00/81.83	    
92.11/89.98	    num=107, depth=18..80, filters=66200160, wck=87.847, mem=92M846
92.11/89.98	    decisions=18627849, wrong=9311047, backtracks=8993725, failedAssignments=2953843, nogoods=454
92.11/89.98	    
101.53/99.30	    num=108, depth=18..77, filters=72308933, wck=97.163, mem=203M50
101.53/99.30	    decisions=20479150, wrong=10236683, backtracks=9889650, failedAssignments=3249242, nogoods=460
101.53/99.30	    
112.55/110.30	    num=109, depth=18..77, filters=79568123, wck=108.163, mem=176M155
112.55/110.30	    decisions=22617255, wrong=11305722, backtracks=10930828, failedAssignments=3574181, nogoods=466
112.55/110.30	    
124.47/122.29	    num=110, depth=16..77, filters=87098490, wck=120.158, mem=74M320
124.47/122.29	    decisions=24968837, wrong=12481494, backtracks=12071690, failedAssignments=3931614, nogoods=473
124.47/122.29	    
137.81/135.59	    num=111, depth=15..81, filters=95323458, wck=133.451, mem=119M353
137.81/135.59	    decisions=27513202, wrong=13753656, backtracks=13304200, failedAssignments=4324790, nogoods=478
137.81/135.59	    
152.03/149.72	    num=112, depth=15..81, filters=104200517, wck=147.585, mem=123M38
152.03/149.72	    decisions=30289598, wrong=15141836, backtracks=14643617, failedAssignments=4757284, nogoods=484
152.03/149.72	    
168.28/165.95	    num=113, depth=14..81, filters=114094895, wck=163.816, mem=160M37
168.28/165.95	    decisions=33426778, wrong=16710400, backtracks=16162915, failedAssignments=5233028, nogoods=489
168.28/165.95	    
186.32/183.92	    num=114, depth=13..81, filters=124710145, wck=181.78, mem=141M740
186.32/183.92	    decisions=36864638, wrong=18429315, backtracks=17829224, failedAssignments=5756346, nogoods=494
186.32/183.92	    
206.70/204.24	    num=115, depth=12..78, filters=136613608, wck=202.105, mem=71M633
206.70/204.24	    decisions=40717598, wrong=20355773, backtracks=19697283, failedAssignments=6331996, nogoods=499
206.70/204.24	    
228.69/226.17	    num=116, depth=10..81, filters=149064801, wck=224.037, mem=25M846
228.69/226.17	    decisions=44926333, wrong=22460127, backtracks=21728910, failedAssignments=6965211, nogoods=504
228.69/226.17	    
252.69/250.02	    num=117, depth=9..80, filters=162113654, wck=247.884, mem=90M66
252.69/250.02	    decisions=49586662, wrong=24790273, backtracks=23965681, failedAssignments=7661747, nogoods=510
252.69/250.02	    
279.63/276.81	    num=118, depth=7..77, filters=176410192, wck=274.675, mem=72M264
279.63/276.81	    decisions=54800260, wrong=27397055, backtracks=26473911, failedAssignments=8427937, nogoods=516
279.63/276.81	    
309.72/306.74	    num=119, depth=5..78, filters=191859803, wck=304.599, mem=37M392
309.72/306.74	    decisions=60617243, wrong=30305526, backtracks=29272064, failedAssignments=9270746, nogoods=522
309.72/306.74	    
342.96/339.76	    num=120, depth=1..76, filters=208508728, wck=337.627, mem=25M652
342.96/339.76	    decisions=67222969, wrong=33608382, backtracks=32436782, failedAssignments=10197836, nogoods=527
342.96/339.76	    
348.20/344.93	    num=121, depth=0..72, filters=210722374, wck=342.797, mem=34M339
348.20/344.93	    decisions=68182427, wrong=34088112, backtracks=32900699, failedAssignments=10317939, nogoods=527
348.20/344.93	    
348.20/344.93	  Global
348.20/344.93	    filters=210722374, nogoods=527
348.20/344.93	    Stop=FULL_EXPLORATION, wrong=34088112, wck=343.08, cpu=344.258, mem=34M339
348.20/344.93	
348.20/344.93	s UNSATISFIABLE
348.20/344.93	
348.20/344.93	d WRONG_DECISIONS 34088112

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 (15008 MiB free)
  memory of node 1: 16384 MiB (15563 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 1,3,5,7

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


[startup+0.100562 s]*
/proc/loadavg: 1.89 1.88 1.90 4/234 8284
/proc/meminfo: memFree=31290800/32770624 swapFree=67004028/67108860
[pid=8269] ppid=8266 vsize=10659884 memory=26424 CPUtime=0.14 cores=1,3,5,7
/proc/8269/stat : 8269 (java) S 8266 8269 6511 0 -1 1077944320 5604 0 0 0 13 1 0 0 20 0 15 0 414645011 10915721216 6606 33554432000 4194304 4196468 140729672061616 140729672044160 140026436030199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
/proc/8269/statm: 2664971 6606 2916 1 0 2627468 0
[pid=8269/tid=8271] ppid=8266 vsize=10659884 memory=-8681636557982889152 CPUtime=0.09 cores=1,3,5,7
/proc/8269/task/8271/stat : 8271 (java) R 8266 8269 6511 0 -1 4202560 3278 0 0 0 9 0 0 0 20 0 15 0 414645011 10915721216 6738 33554432000 4194304 4196468 140729672061616 140026440259784 140026073209552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8272] ppid=8266 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8272/stat : 8272 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 6738 33554432000 4194304 4196468 140729672061616 140026042575376 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8273] ppid=8266 vsize=10659884 memory=140185392875136 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8273/stat : 8273 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 6738 33554432000 4194304 4196468 140729672061616 140026041522832 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8274] ppid=8266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8274/stat : 8274 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 6738 33554432000 4194304 4196468 140729672061616 140026040469776 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8275] ppid=8266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8275/stat : 8275 (java) S 8266 8269 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 6804 33554432000 4194304 4196468 140729672061616 140026039417232 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8276] ppid=8266 vsize=10659884 memory=140185392875136 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8276/stat : 8276 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645013 10915721216 6804 33554432000 4194304 4196468 140729672061616 140025538779888 140026436041346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8277] ppid=8266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8277/stat : 8277 (java) S 8266 8269 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414645014 10915721216 6804 33554432000 4194304 4196468 140729672061616 140025537726112 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8278] ppid=8266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8278/stat : 8278 (java) S 8266 8269 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414645014 10915721216 6804 33554432000 4194304 4196468 140729672061616 140025536673008 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8279] ppid=8266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8279/stat : 8279 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414645016 10915721216 6804 33554432000 4194304 4196468 140729672061616 140025535621584 140026436048795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8280] ppid=8266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8280/stat : 8280 (java) S 8266 8269 6511 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 414645016 10915721216 6804 33554432000 4194304 4196468 140729672061616 140025534568688 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8281] ppid=8266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8281/stat : 8281 (java) S 8266 8269 6511 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 15 0 414645016 10915721216 6804 33554432000 4194304 4196468 140729672061616 140025533516144 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8282] ppid=8266 vsize=10659884 memory=140185392875136 CPUtime=0.02 cores=1,3,5,7
/proc/8269/task/8282/stat : 8282 (java) R 8266 8269 6511 0 -1 4202560 551 0 0 0 2 0 0 0 20 0 15 0 414645016 10915721216 6804 33554432000 4194304 4196468 140729672061616 140025532459992 140026415428767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8283] ppid=8266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8283/stat : 8283 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414645017 10915721216 6804 33554432000 4194304 4196468 140729672061616 140025088792928 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8284] ppid=8266 vsize=10659884 memory=140185392875136 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8284/stat : 8284 (java) S 8266 8269 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414645017 10915721216 6804 33554432000 4194304 4196468 140729672061616 140025087740976 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26424 KiB

[startup+0.210969 s]*
/proc/loadavg: 1.89 1.88 1.90 3/234 8284
/proc/meminfo: memFree=31283296/32770624 swapFree=67004028/67108860
[pid=8269] ppid=8266 vsize=10659884 memory=33672 CPUtime=0.33 cores=1,3,5,7
/proc/8269/stat : 8269 (java) S 8266 8269 6511 0 -1 1077944320 7100 0 0 0 31 2 0 0 20 0 15 0 414645011 10915721216 8418 33554432000 4194304 4196468 140729672061616 140729672044160 140026436030199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
/proc/8269/statm: 2664971 8418 2988 1 0 2627468 0
[pid=8269/tid=8271] ppid=8266 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/8269/task/8271/stat : 8271 (java) R 8266 8269 6511 0 -1 4202560 3925 0 0 0 19 1 0 0 20 0 15 0 414645011 10915721216 8418 33554432000 4194304 4196468 140729672061616 140026440256560 140026436052125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8272] ppid=8266 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8272/stat : 8272 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 8418 33554432000 4194304 4196468 140729672061616 140026042575376 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8273] ppid=8266 vsize=10659884 memory=140185392883600 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8273/stat : 8273 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 8418 33554432000 4194304 4196468 140729672061616 140026041522832 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8274] ppid=8266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8274/stat : 8274 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 8418 33554432000 4194304 4196468 140729672061616 140026040469776 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8275] ppid=8266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8275/stat : 8275 (java) S 8266 8269 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 8418 33554432000 4194304 4196468 140729672061616 140026039417232 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8276] ppid=8266 vsize=10659884 memory=140185392875136 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8276/stat : 8276 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645013 10915721216 8418 33554432000 4194304 4196468 140729672061616 140025538779888 140026436041346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8277] ppid=8266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8277/stat : 8277 (java) S 8266 8269 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414645014 10915721216 8418 33554432000 4194304 4196468 140729672061616 140025537726112 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8278] ppid=8266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8278/stat : 8278 (java) S 8266 8269 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414645014 10915721216 8418 33554432000 4194304 4196468 140729672061616 140025536673008 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8279] ppid=8266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8279/stat : 8279 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414645016 10915721216 8418 33554432000 4194304 4196468 140729672061616 140025535621584 140026436048795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8280] ppid=8266 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8269/task/8280/stat : 8280 (java) S 8266 8269 6511 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 414645016 10915721216 8418 33554432000 4194304 4196468 140729672061616 140025534568688 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8281] ppid=8266 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8269/task/8281/stat : 8281 (java) S 8266 8269 6511 0 -1 1077944384 445 0 0 0 3 0 0 0 20 0 15 0 414645016 10915721216 8418 33554432000 4194304 4196468 140729672061616 140025533516144 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8282] ppid=8266 vsize=10659884 memory=140185392875136 CPUtime=0.05 cores=1,3,5,7
/proc/8269/task/8282/stat : 8282 (java) S 8266 8269 6511 0 -1 1077944384 855 0 0 0 5 0 0 0 20 0 15 0 414645016 10915721216 8418 33554432000 4194304 4196468 140729672061616 140025532463088 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8283] ppid=8266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8283/stat : 8283 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414645017 10915721216 8418 33554432000 4194304 4196468 140729672061616 140025088792928 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8284] ppid=8266 vsize=10659884 memory=140185392875136 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8284/stat : 8284 (java) S 8266 8269 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414645017 10915721216 8418 33554432000 4194304 4196468 140729672061616 140025087740976 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 33672 KiB

[startup+0.310425 s]*
/proc/loadavg: 1.89 1.88 1.90 4/234 8284
/proc/meminfo: memFree=31275600/32770624 swapFree=67004028/67108860
[pid=8269] ppid=8266 vsize=10659884 memory=39080 CPUtime=0.48 cores=1,3,5,7
/proc/8269/stat : 8269 (java) S 8266 8269 6511 0 -1 1077944320 9672 0 0 0 44 4 0 0 20 0 15 0 414645011 10915721216 9770 33554432000 4194304 4196468 140729672061616 140729672044160 140026436030199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
/proc/8269/statm: 2664971 9770 3001 1 0 2627468 0
[pid=8269/tid=8271] ppid=8266 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/8269/task/8271/stat : 8271 (java) R 8266 8269 6511 0 -1 4202560 6395 0 0 0 28 2 0 0 20 0 15 0 414645011 10915721216 9770 33554432000 4194304 4196468 140729672061616 140026440269184 140026436052125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8272] ppid=8266 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8272/stat : 8272 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 9770 33554432000 4194304 4196468 140729672061616 140026042575376 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8273] ppid=8266 vsize=10659884 memory=15679820374443672 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8273/stat : 8273 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 9770 33554432000 4194304 4196468 140729672061616 140026041522832 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8274] ppid=8266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8274/stat : 8274 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 9770 33554432000 4194304 4196468 140729672061616 140026040469776 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8275] ppid=8266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8275/stat : 8275 (java) S 8266 8269 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414645012 10915721216 9770 33554432000 4194304 4196468 140729672061616 140026039417232 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8276] ppid=8266 vsize=10659884 memory=140185392875136 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8276/stat : 8276 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645013 10915721216 9770 33554432000 4194304 4196468 140729672061616 140025538779888 140026436041346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8277] ppid=8266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8277/stat : 8277 (java) S 8266 8269 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414645014 10915721216 9770 33554432000 4194304 4196468 140729672061616 140025537726112 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8278] ppid=8266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8278/stat : 8278 (java) S 8266 8269 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414645014 10915721216 9770 33554432000 4194304 4196468 140729672061616 140025536673008 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8279] ppid=8266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8279/stat : 8279 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414645016 10915721216 9770 33554432000 4194304 4196468 140729672061616 140025535621584 140026436048795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8280] ppid=8266 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8269/task/8280/stat : 8280 (java) R 8266 8269 6511 0 -1 1077944384 552 0 0 0 4 0 0 0 20 0 15 0 414645016 10915721216 9770 33554432000 4194304 4196468 140729672061616 140025534568688 140026436041346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8281] ppid=8266 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8269/task/8281/stat : 8281 (java) R 8266 8269 6511 0 -1 4202560 459 0 0 0 3 0 0 0 20 0 15 0 414645016 10915721216 9770 33554432000 4194304 4196468 140729672061616 140025533516144 140026429015241 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8282] ppid=8266 vsize=10659884 memory=140185392875136 CPUtime=0.08 cores=1,3,5,7
/proc/8269/task/8282/stat : 8282 (java) R 8266 8269 6511 0 -1 4202560 911 0 0 0 8 0 0 0 20 0 15 0 414645016 10915721216 9770 33554432000 4194304 4196468 140729672061616 140025532463088 140026428267326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8283] ppid=8266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8283/stat : 8283 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414645017 10915721216 9770 33554432000 4194304 4196468 140729672061616 140025088792928 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8284] ppid=8266 vsize=10659884 memory=140185392875136 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8284/stat : 8284 (java) S 8266 8269 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414645017 10915721216 9770 33554432000 4194304 4196468 140729672061616 140025087740976 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39080 KiB

[startup+0.700809 s]
/proc/loadavg: 1.89 1.88 1.90 3/234 8284
/proc/meminfo: memFree=31267312/32770624 swapFree=67004028/67108860
[pid=8269] ppid=8266 vsize=10661932 memory=61124 CPUtime=1.08 cores=1,3,5,7
/proc/8269/stat : 8269 (java) S 8266 8269 6511 0 -1 1077944320 12945 0 0 0 103 5 0 0 20 0 15 0 414645011 10917818368 15281 33554432000 4194304 4196468 140729672061616 140729672044160 140026436030199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
/proc/8269/statm: 2665483 15281 3064 1 0 2627980 0
[pid=8269/tid=8271] ppid=8266 vsize=10661932 memory=1220 CPUtime=0.68 cores=1,3,5,7
/proc/8269/task/8271/stat : 8271 (java) R 8266 8269 6511 0 -1 4202560 8935 0 0 0 64 4 0 0 20 0 15 0 414645011 10917818368 15281 33554432000 4194304 4196468 140729672061616 140026440262224 140026420110686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8272] ppid=8266 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8272/stat : 8272 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10917818368 15281 33554432000 4194304 4196468 140729672061616 140026042575376 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8273] ppid=8266 vsize=10661932 memory=784 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8273/stat : 8273 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10917818368 15281 33554432000 4194304 4196468 140729672061616 140026041522832 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8274] ppid=8266 vsize=10661932 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8274/stat : 8274 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10917818368 15281 33554432000 4194304 4196468 140729672061616 140026040469776 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8275] ppid=8266 vsize=10661932 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8275/stat : 8275 (java) S 8266 8269 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414645012 10917818368 15281 33554432000 4194304 4196468 140729672061616 140026039417232 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8276] ppid=8266 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8276/stat : 8276 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645013 10917818368 15281 33554432000 4194304 4196468 140729672061616 140025538779888 140026436041346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8277] ppid=8266 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8277/stat : 8277 (java) S 8266 8269 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414645014 10917818368 15281 33554432000 4194304 4196468 140729672061616 140025537726112 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8278] ppid=8266 vsize=10661932 memory=728 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8278/stat : 8278 (java) S 8266 8269 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414645014 10917818368 15281 33554432000 4194304 4196468 140729672061616 140025536673008 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8279] ppid=8266 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8279/stat : 8279 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414645016 10917818368 15281 33554432000 4194304 4196468 140729672061616 140025535621584 140026436048795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8280] ppid=8266 vsize=10661932 memory=7236533984234661184 CPUtime=0.11 cores=1,3,5,7
/proc/8269/task/8280/stat : 8280 (java) R 8266 8269 6511 0 -1 4202560 775 0 0 0 11 0 0 0 20 0 15 0 414645016 10917818368 15281 33554432000 4194304 4196468 140729672061616 140025534568688 140026422046770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8281] ppid=8266 vsize=10661932 memory=7380106142448642414 CPUtime=0.09 cores=1,3,5,7
/proc/8269/task/8281/stat : 8281 (java) S 8266 8269 6511 0 -1 1077944384 565 0 0 0 9 0 0 0 20 0 15 0 414645016 10917818368 15281 33554432000 4194304 4196468 140729672061616 140025533516144 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8282] ppid=8266 vsize=10661932 memory=5859271421084325224 CPUtime=0.18 cores=1,3,5,7
/proc/8269/task/8282/stat : 8282 (java) S 8266 8269 6511 0 -1 1077944384 1309 0 0 0 18 0 0 0 20 0 15 0 414645016 10917818368 15281 33554432000 4194304 4196468 140729672061616 140025532463088 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8283] ppid=8266 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8283/stat : 8283 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414645017 10917818368 15281 33554432000 4194304 4196468 140729672061616 140025088792928 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8284] ppid=8266 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8284/stat : 8284 (java) S 8266 8269 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414645017 10917818368 15281 33554432000 4194304 4196468 140729672061616 140025087740976 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61124 KiB

[startup+1.50072 s]
/proc/loadavg: 1.89 1.88 1.90 3/234 8284
/proc/meminfo: memFree=31251472/32770624 swapFree=67004028/67108860
[pid=8269] ppid=8266 vsize=10663980 memory=73736 CPUtime=1.99 cores=1,3,5,7
/proc/8269/stat : 8269 (java) S 8266 8269 6511 0 -1 1077944320 16462 0 0 0 193 6 0 0 20 0 15 0 414645011 10919915520 18434 33554432000 4194304 4196468 140729672061616 140729672044160 140026436030199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
/proc/8269/statm: 2665995 18434 3093 1 0 2628492 0
[pid=8269/tid=8271] ppid=8266 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/8269/task/8271/stat : 8271 (java) R 8266 8269 6511 0 -1 4202560 11468 0 0 0 143 5 0 0 20 0 15 0 414645011 10919915520 18434 33554432000 4194304 4196468 140729672061616 140026440262224 140026417595177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8272] ppid=8266 vsize=10663980 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8272/stat : 8272 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10919915520 18434 33554432000 4194304 4196468 140729672061616 140026042575376 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8273] ppid=8266 vsize=10663980 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8273/stat : 8273 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10919915520 18434 33554432000 4194304 4196468 140729672061616 140026041522832 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8274] ppid=8266 vsize=10663980 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8274/stat : 8274 (java) S 8266 8269 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414645012 10919915520 18434 33554432000 4194304 4196468 140729672061616 140026040469776 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8275] ppid=8266 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8275/stat : 8275 (java) S 8266 8269 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414645012 10919915520 18434 33554432000 4194304 4196468 140729672061616 140026039417232 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8276] ppid=8266 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8276/stat : 8276 (java) S 8266 8269 6511 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 414645013 10919915520 18434 33554432000 4194304 4196468 140729672061616 140025538779888 140026436041346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0

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

[startup+344.001 s]*
/proc/loadavg: 1.48 1.71 1.83 3/232 8311
/proc/meminfo: memFree=30977824/32770624 swapFree=67004028/67108860
[pid=8269] ppid=8266 vsize=10746276 memory=322104 CPUtime=347.3 cores=1,3,5,7
/proc/8269/stat : 8269 (java) S 8266 8269 6511 0 -1 1077944320 48414 0 0 0 34701 29 0 0 20 0 16 0 414645011 11004186624 80526 33554432000 4194304 4196468 140729672061616 140729672044160 140026436030199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
/proc/8269/statm: 2686569 80526 3364 1 0 2646705 0
[pid=8269/tid=8271] ppid=8266 vsize=10746276 memory=8112282956445269571 CPUtime=1.87 cores=1,3,5,7
/proc/8269/task/8271/stat : 8271 (java) S 8266 8269 6511 0 -1 1077944384 13160 0 0 0 181 6 0 0 20 0 16 0 414645011 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026440273072 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8272] ppid=8266 vsize=10746276 memory=4872558044660077418 CPUtime=0.49 cores=1,3,5,7
/proc/8269/task/8272/stat : 8272 (java) S 8266 8269 6511 0 -1 1077944384 2153 0 0 0 47 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026042575376 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8273] ppid=8266 vsize=10746276 memory=4096 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8273/stat : 8273 (java) S 8266 8269 6511 0 -1 1077944384 3096 0 0 0 46 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026041522832 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8274] ppid=8266 vsize=10746276 memory=1404 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8274/stat : 8274 (java) S 8266 8269 6511 0 -1 1077944384 3236 0 0 0 45 3 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026040469776 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8275] ppid=8266 vsize=10746276 memory=3320 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8275/stat : 8275 (java) S 8266 8269 6511 0 -1 1077944384 672 0 0 0 46 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026039417232 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8276] ppid=8266 vsize=10746276 memory=312680 CPUtime=0.16 cores=1,3,5,7
/proc/8269/task/8276/stat : 8276 (java) S 8266 8269 6511 0 -1 1077944384 2571 0 0 0 14 2 0 0 20 0 16 0 414645013 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025538779888 140026436041346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8277] ppid=8266 vsize=10746276 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8277/stat : 8277 (java) S 8266 8269 6511 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414645014 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025537726176 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8278] ppid=8266 vsize=10746276 memory=3260 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8278/stat : 8278 (java) S 8266 8269 6511 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 414645014 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025536673024 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8279] ppid=8266 vsize=10746276 memory=322104 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8279/stat : 8279 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025535621584 140026436048795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8280] ppid=8266 vsize=10746276 memory=8112282956445269571 CPUtime=0.66 cores=1,3,5,7
/proc/8269/task/8280/stat : 8280 (java) S 8266 8269 6511 0 -1 1077944384 2589 0 0 0 66 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025534568688 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8281] ppid=8266 vsize=10746276 memory=4872558044660077418 CPUtime=0.6 cores=1,3,5,7
/proc/8269/task/8281/stat : 8281 (java) S 8266 8269 6511 0 -1 1077944384 1817 0 0 0 60 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025533516144 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8282] ppid=8266 vsize=10746276 memory=1408 CPUtime=0.49 cores=1,3,5,7
/proc/8269/task/8282/stat : 8282 (java) S 8266 8269 6511 0 -1 1077944384 6408 0 0 0 48 1 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025532463088 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8283] ppid=8266 vsize=10746276 memory=3260 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8283/stat : 8283 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414645017 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025088792928 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8284] ppid=8266 vsize=10746276 memory=322096 CPUtime=0.06 cores=1,3,5,7
/proc/8269/task/8284/stat : 8284 (java) S 8266 8269 6511 0 -1 1077944384 387 0 0 0 2 4 0 0 20 0 16 0 414645017 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025087740976 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8285] ppid=8266 vsize=10746276 memory=8112282956445269571 CPUtime=341.44 cores=1,3,5,7
/proc/8269/task/8285/stat : 8285 (java) R 8266 8269 6511 0 -1 4202560 10918 0 0 0 34139 5 0 0 20 0 16 0 414645200 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025071079584 140026078133358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
Current children cumulated CPU time: 347.3 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 322104 KiB

[startup+344.401 s]
/proc/loadavg: 1.48 1.71 1.83 3/232 8311
/proc/meminfo: memFree=30977824/32770624 swapFree=67004028/67108860
[pid=8269] ppid=8266 vsize=10746276 memory=322104 CPUtime=347.69 cores=1,3,5,7
/proc/8269/stat : 8269 (java) S 8266 8269 6511 0 -1 1077944320 48414 0 0 0 34740 29 0 0 20 0 16 0 414645011 11004186624 80526 33554432000 4194304 4196468 140729672061616 140729672044160 140026436030199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
/proc/8269/statm: 2686569 80526 3364 1 0 2646705 0
[pid=8269/tid=8271] ppid=8266 vsize=10746276 memory=2832 CPUtime=1.87 cores=1,3,5,7
/proc/8269/task/8271/stat : 8271 (java) S 8266 8269 6511 0 -1 1077944384 13160 0 0 0 181 6 0 0 20 0 16 0 414645011 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026440273072 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8272] ppid=8266 vsize=10746276 memory=1212 CPUtime=0.49 cores=1,3,5,7
/proc/8269/task/8272/stat : 8272 (java) S 8266 8269 6511 0 -1 1077944384 2153 0 0 0 47 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026042575376 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8273] ppid=8266 vsize=10746276 memory=1036 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8273/stat : 8273 (java) S 8266 8269 6511 0 -1 1077944384 3096 0 0 0 46 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026041522832 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8274] ppid=8266 vsize=10746276 memory=14008 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8274/stat : 8274 (java) S 8266 8269 6511 0 -1 1077944384 3236 0 0 0 45 3 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026040469776 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8275] ppid=8266 vsize=10746276 memory=12024 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8275/stat : 8275 (java) S 8266 8269 6511 0 -1 1077944384 672 0 0 0 46 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026039417232 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8276] ppid=8266 vsize=10746276 memory=2116 CPUtime=0.16 cores=1,3,5,7
/proc/8269/task/8276/stat : 8276 (java) S 8266 8269 6511 0 -1 1077944384 2571 0 0 0 14 2 0 0 20 0 16 0 414645013 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025538779888 140026436041346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8277] ppid=8266 vsize=10746276 memory=20968 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8277/stat : 8277 (java) S 8266 8269 6511 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414645014 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025537726176 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8278] ppid=8266 vsize=10746276 memory=322104 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8278/stat : 8278 (java) S 8266 8269 6511 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 414645014 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025536673024 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8279] ppid=8266 vsize=10746276 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8279/stat : 8279 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025535621584 140026436048795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8280] ppid=8266 vsize=10746276 memory=784 CPUtime=0.66 cores=1,3,5,7
/proc/8269/task/8280/stat : 8280 (java) S 8266 8269 6511 0 -1 1077944384 2589 0 0 0 66 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025534568688 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8281] ppid=8266 vsize=10746276 memory=8252 CPUtime=0.6 cores=1,3,5,7
/proc/8269/task/8281/stat : 8281 (java) S 8266 8269 6511 0 -1 1077944384 1817 0 0 0 60 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025533516144 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8282] ppid=8266 vsize=10746276 memory=5920 CPUtime=0.49 cores=1,3,5,7
/proc/8269/task/8282/stat : 8282 (java) S 8266 8269 6511 0 -1 1077944384 6408 0 0 0 48 1 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025532463088 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8283] ppid=8266 vsize=10746276 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8283/stat : 8283 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414645017 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025088792928 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8284] ppid=8266 vsize=10746276 memory=1540 CPUtime=0.06 cores=1,3,5,7
/proc/8269/task/8284/stat : 8284 (java) S 8266 8269 6511 0 -1 1077944384 387 0 0 0 2 4 0 0 20 0 16 0 414645017 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025087740976 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8285] ppid=8266 vsize=10746276 memory=728 CPUtime=341.83 cores=1,3,5,7
/proc/8269/task/8285/stat : 8285 (java) R 8266 8269 6511 0 -1 4202560 10918 0 0 0 34178 5 0 0 20 0 16 0 414645200 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025071079584 140026078134542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
Current children cumulated CPU time: 347.69 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 322104 KiB

[startup+344.801 s]
/proc/loadavg: 1.48 1.71 1.83 3/232 8311
/proc/meminfo: memFree=30977824/32770624 swapFree=67004028/67108860
[pid=8269] ppid=8266 vsize=10746276 memory=322104 CPUtime=348.1 cores=1,3,5,7
/proc/8269/stat : 8269 (java) S 8266 8269 6511 0 -1 1077944320 48416 0 0 0 34781 29 0 0 20 0 16 0 414645011 11004186624 80526 33554432000 4194304 4196468 140729672061616 140729672044160 140026436030199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
/proc/8269/statm: 2686569 80526 3364 1 0 2646705 0
[pid=8269/tid=8271] ppid=8266 vsize=10746276 memory=288230583166042426 CPUtime=1.87 cores=1,3,5,7
/proc/8269/task/8271/stat : 8271 (java) S 8266 8269 6511 0 -1 1077944384 13160 0 0 0 181 6 0 0 20 0 16 0 414645011 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026440273072 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8272] ppid=8266 vsize=10746276 memory=3280 CPUtime=0.49 cores=1,3,5,7
/proc/8269/task/8272/stat : 8272 (java) S 8266 8269 6511 0 -1 1077944384 2154 0 0 0 47 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026042575376 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8273] ppid=8266 vsize=10746276 memory=39156 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8273/stat : 8273 (java) S 8266 8269 6511 0 -1 1077944384 3096 0 0 0 46 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026041522832 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8274] ppid=8266 vsize=10746276 memory=988 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8274/stat : 8274 (java) S 8266 8269 6511 0 -1 1077944384 3236 0 0 0 45 3 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026040469776 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8275] ppid=8266 vsize=10746276 memory=2052 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8275/stat : 8275 (java) S 8266 8269 6511 0 -1 1077944384 672 0 0 0 46 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026039417232 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8276] ppid=8266 vsize=10746276 memory=8112282956445269571 CPUtime=0.16 cores=1,3,5,7
/proc/8269/task/8276/stat : 8276 (java) S 8266 8269 6511 0 -1 1077944384 2571 0 0 0 14 2 0 0 20 0 16 0 414645013 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025538779888 140026436041346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8277] ppid=8266 vsize=10746276 memory=2892 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8277/stat : 8277 (java) S 8266 8269 6511 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414645014 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025537726176 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8278] ppid=8266 vsize=10746276 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8278/stat : 8278 (java) S 8266 8269 6511 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 414645014 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025536673024 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8279] ppid=8266 vsize=10746276 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8279/stat : 8279 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025535621584 140026436048795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8280] ppid=8266 vsize=10746276 memory=3320 CPUtime=0.66 cores=1,3,5,7
/proc/8269/task/8280/stat : 8280 (java) S 8266 8269 6511 0 -1 1077944384 2589 0 0 0 66 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025534568688 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8281] ppid=8266 vsize=10746276 memory=312680 CPUtime=0.6 cores=1,3,5,7
/proc/8269/task/8281/stat : 8281 (java) S 8266 8269 6511 0 -1 1077944384 1817 0 0 0 60 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025533516144 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8282] ppid=8266 vsize=10746276 memory=1408 CPUtime=0.49 cores=1,3,5,7
/proc/8269/task/8282/stat : 8282 (java) S 8266 8269 6511 0 -1 1077944384 6408 0 0 0 48 1 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025532463088 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8283] ppid=8266 vsize=10746276 memory=3260 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8283/stat : 8283 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414645017 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025088792928 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8284] ppid=8266 vsize=10746276 memory=322104 CPUtime=0.06 cores=1,3,5,7
/proc/8269/task/8284/stat : 8284 (java) S 8266 8269 6511 0 -1 1077944384 387 0 0 0 2 4 0 0 20 0 16 0 414645017 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025087740976 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8285] ppid=8266 vsize=10746276 memory=1440 CPUtime=342.23 cores=1,3,5,7
/proc/8269/task/8285/stat : 8285 (java) R 8266 8269 6511 0 -1 4202560 10919 0 0 0 34218 5 0 0 20 0 16 0 414645200 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025071079584 140026077921294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
Current children cumulated CPU time: 348.1 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 322104 KiB

[startup+344.901 s]
/proc/loadavg: 1.48 1.71 1.83 3/232 8311
/proc/meminfo: memFree=30977824/32770624 swapFree=67004028/67108860
[pid=8269] ppid=8266 vsize=10746276 memory=322104 CPUtime=348.2 cores=1,3,5,7
/proc/8269/stat : 8269 (java) S 8266 8269 6511 0 -1 1077944320 48416 0 0 0 34791 29 0 0 20 0 16 0 414645011 11004186624 80526 33554432000 4194304 4196468 140729672061616 140729672044160 140026436030199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
/proc/8269/statm: 2686569 80526 3364 1 0 2646705 0
[pid=8269/tid=8271] ppid=8266 vsize=10746276 memory=322104 CPUtime=1.87 cores=1,3,5,7
/proc/8269/task/8271/stat : 8271 (java) S 8266 8269 6511 0 -1 1077944384 13160 0 0 0 181 6 0 0 20 0 16 0 414645011 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026440273072 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8272] ppid=8266 vsize=10746276 memory=322104 CPUtime=0.49 cores=1,3,5,7
/proc/8269/task/8272/stat : 8272 (java) S 8266 8269 6511 0 -1 1077944384 2154 0 0 0 47 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026042575376 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8273] ppid=8266 vsize=10746276 memory=322104 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8273/stat : 8273 (java) S 8266 8269 6511 0 -1 1077944384 3096 0 0 0 46 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026041522832 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8274] ppid=8266 vsize=10746276 memory=322104 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8274/stat : 8274 (java) S 8266 8269 6511 0 -1 1077944384 3236 0 0 0 45 3 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026040469776 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8275] ppid=8266 vsize=10746276 memory=322096 CPUtime=0.48 cores=1,3,5,7
/proc/8269/task/8275/stat : 8275 (java) S 8266 8269 6511 0 -1 1077944384 672 0 0 0 46 2 0 0 20 0 16 0 414645012 11004186624 80526 33554432000 4194304 4196468 140729672061616 140026039417232 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8276] ppid=8266 vsize=10746276 memory=322096 CPUtime=0.16 cores=1,3,5,7
/proc/8269/task/8276/stat : 8276 (java) S 8266 8269 6511 0 -1 1077944384 2571 0 0 0 14 2 0 0 20 0 16 0 414645013 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025538779888 140026436041346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8277] ppid=8266 vsize=10746276 memory=322096 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8277/stat : 8277 (java) S 8266 8269 6511 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 414645014 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025537726176 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8278] ppid=8266 vsize=10746276 memory=322096 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8278/stat : 8278 (java) S 8266 8269 6511 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 414645014 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025536673024 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8279] ppid=8266 vsize=10746276 memory=322096 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8279/stat : 8279 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025535621584 140026436048795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8280] ppid=8266 vsize=10746276 memory=322096 CPUtime=0.66 cores=1,3,5,7
/proc/8269/task/8280/stat : 8280 (java) S 8266 8269 6511 0 -1 1077944384 2589 0 0 0 66 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025534568688 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8281] ppid=8266 vsize=10746276 memory=322104 CPUtime=0.6 cores=1,3,5,7
/proc/8269/task/8281/stat : 8281 (java) S 8266 8269 6511 0 -1 1077944384 1817 0 0 0 60 0 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025533516144 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8282] ppid=8266 vsize=10746276 memory=322096 CPUtime=0.49 cores=1,3,5,7
/proc/8269/task/8282/stat : 8282 (java) S 8266 8269 6511 0 -1 1077944384 6408 0 0 0 48 1 0 0 20 0 16 0 414645016 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025532463088 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8283] ppid=8266 vsize=10746276 memory=322096 CPUtime=0 cores=1,3,5,7
/proc/8269/task/8283/stat : 8283 (java) S 8266 8269 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414645017 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025088792928 140026436040405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8284] ppid=8266 vsize=10746276 memory=4872558044660077418 CPUtime=0.06 cores=1,3,5,7
/proc/8269/task/8284/stat : 8284 (java) S 8266 8269 6511 0 -1 1077944384 387 0 0 0 2 4 0 0 20 0 16 0 414645017 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025087740976 140026436041346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
[pid=8269/tid=8285] ppid=8266 vsize=10746276 memory=2116 CPUtime=342.33 cores=1,3,5,7
/proc/8269/task/8285/stat : 8285 (java) R 8266 8269 6511 0 -1 4202560 10919 0 0 0 34228 5 0 0 20 0 16 0 414645200 11004186624 80526 33554432000 4194304 4196468 140729672061616 140025071079584 140026078133826 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17395712 140729672070155 140729672070258 140729672070258 140729672073167 0
Current children cumulated CPU time: 348.2 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 322104 KiB

Child status: 0
Real time (s): 344.947
CPU time (s): 348.256
CPU user time (s): 347.957
CPU system time (s): 0.299221
CPU usage (%): 100.959
Max. virtual memory (cumulated for all children) (KiB): 10746452
Max. memory (cumulated for all children) (KiB): 480004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 347.957
system time used= 0.299221
maximum resident set size= 482480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13117
involuntary context switches= 496


# summary of solver processes directly reported to runsolver:
#   pid: 8269
#   total CPU time (s): 348.256
#   total CPU user time (s): 347.957
#   total CPU system time (s): 0.299221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.2523 second user time and 2.98558 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-13 16:13:34
IDJOB=4390517
IDBENCH=134710
IDSOLVER=2832
FILE ID=node133/4390517-1568384054
RUNJOBID= node133-1568380476-6543
PBS_JOBID= 21701835
Free space on /tmp= 55104 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl10-11.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390517-1568384054/watcher-4390517-1568384054 -o /tmp/evaluation-result-4390517-1568384054/solver-4390517-1568384054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6543 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390517-1568384054.xml -cm

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

MD5SUM BENCH= 0cb6e3dc45605db1284c892a60e68314
RANDOM SEED=1562995413

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31305192 kB
MemAvailable:   31611272 kB
Buffers:          160840 kB
Cached:           425568 kB
SwapCached:         3444 kB
Active:           593244 kB
Inactive:         283724 kB
Active(anon):     314432 kB
Inactive(anon):    16032 kB
Active(file):     278812 kB
Inactive(file):   267692 kB
Unevictable:      111228 kB
Mlocked:          111228 kB
SwapTotal:      67108860 kB
SwapFree:       67004028 kB
Dirty:              8924 kB
Writeback:             0 kB
AnonPages:        338376 kB
Mapped:            56376 kB
Shmem:             31408 kB
Slab:             180116 kB
SReclaimable:     150820 kB
SUnreclaim:        29296 kB
KernelStack:        4096 kB
PageTables:         6788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1283824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 55096 MiB
End job on node133 at 2019-09-13 16:19:19