Trace number 4391277

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23OPT89 7.90115 4.31951

DiagnosticValue
WRONG_DECISIONS2057

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t09-6.xml
MD5SUM21aab71f6f536658a77b49f0e4f1f876
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark89
Best CPU time to get the best result obtained on this benchmark7.90115
Satisfiable
(Un)Satisfiability was proved
Number of variables2772
Number of constraints154
Number of domains12
Minimum domain size2
Maximum domain size17
Distribution of domain sizes[{"size":2,"count":396},{"size":4,"count":264},{"size":5,"count":132},{"size":8,"count":132},{"size":9,"count":132},{"size":10,"count":132},{"size":12,"count":132},{"size":13,"count":396},{"size":14,"count":132},{"size":15,"count":396},{"size":16,"count":264},{"size":17,"count":264}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":2772}]
Minimum constraint arity21
Maximum constraint arity2640
Distribution of constraint arities[{"arity":21,"count":132},{"arity":132,"count":21},{"arity":2640,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":152}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

2.57/1.92	
2.57/1.92	AbsCon 2 
2.57/1.94	
3.22/2.14	  Instance
3.22/2.14	    name=instance-4391277-1568389320, framework=COP, bounds=-infty..+infty
3.22/2.14	
3.22/2.14	  Loading variables...
3.48/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f4bdc35
3.48/2.24	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7297937
3.48/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6763f522
3.48/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2735ff19
3.48/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@357ac8e8
3.48/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef9848
3.48/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e19cfe
3.48/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68421e9
3.48/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@102405aa
3.48/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c6f3556
3.48/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23528bd0
3.48/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d169a9
3.48/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e663c4
3.48/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ee1badf
3.48/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51a50b6f
3.48/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ca63d02
3.48/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ec2c4e
3.48/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@337b9421
3.48/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@760baf89
3.48/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40d950d9
3.48/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217f5841
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44aa8fa9
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba4c3ac
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@208ae0c8
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b8c2418
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4350f535
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e5f157e
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@605d7606
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58c09a66
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7153a44c
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d5cf8a
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@692d0744
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4886d624
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49b3b7cb
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@319abef0
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f7ee90
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31cf7426
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac98df0
3.48/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a52ae6
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b29583
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ee017d3
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2f9ab7
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff6be09
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3210669e
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a738a0c
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7500b506
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@285671ca
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@348bc7aa
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c7719e9
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3db61fee
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392981f2
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32a028c0
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613f689d
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ddc6d4f
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21c8deba
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c090d61
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291ebd7c
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e55f68
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74da018c
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3306bef2
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22573d2c
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a2942a6
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bd3733b
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@739e7f9c
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47c41c6a
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@152fc97b
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12a96fb3
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52150a6
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61298630
3.48/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71f34ff1
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41ecc7a0
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10ce00c6
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@156347db
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f758f3
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53970478
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747bc0b5
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfefb9b
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b2f344
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747e1ec2
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e58aa6b
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2459f6d6
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@87f3c51
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6805055a
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5476bcf6
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a735ff2
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ae55a05
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35bbbdb2
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502a814a
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32682d13
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38bcabf4
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@231f56e3
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a86b0c
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e488432
3.48/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c6b643
3.87/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12e36a25
3.87/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed32059
3.87/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ff0df12
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20424676
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@765a03ab
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10004a9e
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b7820a
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc41b07
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63a902ab
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46e426bd
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a923871
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed50153
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a103b09
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd3cb0b
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613a55f7
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3df2d5a9
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bb60d1e
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e7a51a
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28b953da
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d25478
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3729c216
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7750b9c3
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ad03ee
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3884a955
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43a57d7f
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50eb6fcd
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1650fc00
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b7d7a2
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b6e2d8d
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3487d862
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f80af0f
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@af0b93f
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@729b8daa
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4e5c5f
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37818610
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bcb98a2
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643e5039
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ab0e19d
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6433afd4
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1d2d35
3.87/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a466bf
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20cb389c
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bebd9e2
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ab350dd
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69b3a543
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2633d8a2
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3debdf
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4009d034
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da6769e
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14aa9abc
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f214d7
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d15361e
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475922d7
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ffd29b4
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4e3840
3.87/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7365fb46
3.87/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@739cb85e
3.87/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b1a0bf
4.21/2.47	
4.21/2.47	
4.21/2.47	  Domains
4.21/2.47	    nTypes=12, nValues=29304, sizes=[2#396,4#264,5#132,8#132...14#132,15#396,16#264,17#264]
4.21/2.47	  Variables
4.21/2.47	    count=2772, degrees=[3#172,4#2600]
4.21/2.47	  Objectives
4.21/2.47	    way=min, type=SumSimpleLE
4.21/2.47	  Constraints
4.21/2.47	    count=285, nSpecific=285, arities=[21#132,40#131,132#22]
4.21/2.47	    distribution=[LexicographicLe#131,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#132]
4.21/2.47	    wck=0.575, cpu=2.429, mem=74M79
4.21/2.48	  Solver SolverBacktrack being built...
4.21/2.48	
4.42/2.53	
4.42/2.53	  Solver
4.42/2.53	    guaranteedGAC=false
4.42/2.53	    wck=0.633, cpu=2.486, mem=90M6
4.42/2.58	
4.42/2.58	  Preprocessing
4.42/2.58	    filters=132, nACremovedValues=17688, nTotalRemovedValues=17688, inconcistency=false
4.42/2.58	    wck=0.054, cpu=2.544, mem=90M6
4.42/2.58	
4.66/2.67	    num=0, depth=0..85, filters=1604, wck=0.144, mem=90M6
4.66/2.67	    decisions=96, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
4.66/2.67	    
4.97/2.77	    num=1, depth=0..245, filters=3348, wck=0.242, mem=90M6
4.97/2.77	    decisions=353, wrong=21, backtracks=0, failedAssignments=21, nogoods=19
4.97/2.77	    
5.28/2.82	    num=2, depth=44..116, filters=5116, wck=0.297, mem=90M6
5.28/2.82	    decisions=571, wrong=108, backtracks=75, failedAssignments=33, nogoods=20
5.28/2.82	    
5.28/2.88	    num=3, depth=126..219, filters=7293, wck=0.356, mem=90M6
5.28/2.88	    decisions=913, wrong=214, backtracks=168, failedAssignments=46, nogoods=29
5.28/2.88	    
5.60/2.93	    num=4, depth=86..151, filters=10862, wck=0.403, mem=90M6
5.60/2.93	    decisions=1201, wrong=315, backtracks=257, failedAssignments=60, nogoods=30
5.60/2.93	    
5.81/3.01	    num=5, depth=1..135, filters=19429, wck=0.481, mem=90M6
5.81/3.01	    decisions=1779, wrong=541, backtracks=477, failedAssignments=76, nogoods=35
5.81/3.01	    
5.81/3.02	    num=6, depth=3..24, filters=21639, wck=0.498, mem=90M6
5.81/3.02	    decisions=1888, wrong=589, backtracks=510, failedAssignments=93, nogoods=38
5.81/3.02	    
5.81/3.04	    num=7, depth=5..117, filters=23181, wck=0.514, mem=90M6
5.81/3.04	    decisions=2058, wrong=623, backtracks=528, failedAssignments=112, nogoods=47
5.81/3.04	    
5.81/3.06	    num=8, depth=0..55, filters=26074, wck=0.538, mem=90M6
5.81/3.06	    decisions=2197, wrong=672, backtracks=561, failedAssignments=133, nogoods=52
5.81/3.06	    
5.81/3.08	    num=9, depth=0..64, filters=27462, wck=0.551, mem=92M649
5.81/3.08	    decisions=2321, wrong=713, backtracks=589, failedAssignments=156, nogoods=56
5.81/3.08	    
5.81/3.09	    num=10, depth=1..37, filters=29595, wck=0.567, mem=92M649
5.81/3.09	    decisions=2441, wrong=765, backtracks=623, failedAssignments=181, nogoods=60
5.81/3.09	    
5.93/3.12	    num=11, depth=2..345, filters=31137, wck=0.589, mem=92M649
5.93/3.12	    decisions=2847, wrong=802, backtracks=632, failedAssignments=209, nogoods=77
5.93/3.12	    
5.93/3.16	o 102
5.93/3.17	    num=12, depth=10..2771, filters=32230, ccks=285, wck=0.642, mem=92M649
5.93/3.17	    decisions=3270, wrong=836, backtracks=642, failedAssignments=233, nogoods=92, foundSolutions=1, bestBound=102
5.93/3.17	    
6.18/3.22	    num=13, depth=22..311, filters=33282, ccks=285, wck=0.695, mem=92M649
6.18/3.22	    decisions=3653, wrong=880, backtracks=672, failedAssignments=267, nogoods=102, foundSolutions=1, bestBound=102
6.18/3.22	    
6.18/3.24	    num=14, depth=23..323, filters=34015, ccks=285, wck=0.717, mem=92M649
6.18/3.24	    decisions=4003, wrong=899, backtracks=681, failedAssignments=278, nogoods=107, foundSolutions=1, bestBound=102
6.18/3.24	    
6.18/3.27	    num=15, depth=25..320, filters=34761, ccks=285, wck=0.74, mem=92M649
6.18/3.27	    decisions=4352, wrong=917, backtracks=693, failedAssignments=290, nogoods=112, foundSolutions=1, bestBound=102
6.18/3.27	    
6.18/3.29	    num=16, depth=25..265, filters=35535, ccks=285, wck=0.758, mem=92M649
6.18/3.29	    decisions=4663, wrong=944, backtracks=716, failedAssignments=303, nogoods=115, foundSolutions=1, bestBound=102
6.18/3.29	    
6.46/3.30	    num=17, depth=26..204, filters=36288, ccks=285, wck=0.772, mem=92M649
6.46/3.30	    decisions=4912, wrong=972, backtracks=734, failedAssignments=317, nogoods=121, foundSolutions=1, bestBound=102
6.46/3.30	    
6.46/3.31	    num=18, depth=70..202, filters=37158, ccks=285, wck=0.787, mem=92M649
6.46/3.31	    decisions=5157, wrong=999, backtracks=748, failedAssignments=333, nogoods=128, foundSolutions=1, bestBound=102
6.46/3.31	    
6.46/3.33	    num=19, depth=85..223, filters=38094, ccks=285, wck=0.801, mem=92M649
6.46/3.33	    decisions=5425, wrong=1029, backtracks=764, failedAssignments=350, nogoods=139, foundSolutions=1, bestBound=102
6.46/3.33	    
6.46/3.34	    num=20, depth=30..213, filters=39138, ccks=285, wck=0.816, mem=92M649
6.46/3.34	    decisions=5687, wrong=1059, backtracks=777, failedAssignments=369, nogoods=147, foundSolutions=1, bestBound=102
6.46/3.34	    
6.46/3.36	    num=21, depth=31..334, filters=40083, ccks=285, wck=0.834, mem=92M649
6.46/3.36	    decisions=6063, wrong=1086, backtracks=784, failedAssignments=390, nogoods=166, foundSolutions=1, bestBound=102
6.46/3.36	    
6.46/3.39	    num=22, depth=31..371, filters=41127, ccks=285, wck=0.858, mem=92M649
6.46/3.39	    decisions=6480, wrong=1113, backtracks=793, failedAssignments=413, nogoods=181, foundSolutions=1, bestBound=102
6.46/3.39	    
6.66/3.42	o 101
6.66/3.43	    num=23, depth=31..2771, filters=42108, ccks=570, wck=0.898, mem=95M291
6.66/3.43	    decisions=6928, wrong=1128, backtracks=795, failedAssignments=427, nogoods=193, foundSolutions=2, bestBound=101
6.66/3.43	    
6.66/3.49	o 100
6.66/3.49	    num=24, depth=31..2771, filters=43150, ccks=855, wck=0.961, mem=95M291
6.66/3.49	    decisions=7443, wrong=1156, backtracks=805, failedAssignments=447, nogoods=205, foundSolutions=3, bestBound=100
6.66/3.49	    
6.92/3.53	    num=25, depth=32..254, filters=43943, ccks=855, wck=1.002, mem=95M291
6.92/3.53	    decisions=7734, wrong=1181, backtracks=822, failedAssignments=458, nogoods=209, foundSolutions=3, bestBound=100
6.92/3.53	    
6.92/3.54	    num=26, depth=34..150, filters=44979, ccks=855, wck=1.013, mem=95M291
6.92/3.54	    decisions=7920, wrong=1207, backtracks=837, failedAssignments=469, nogoods=211, foundSolutions=3, bestBound=100
6.92/3.54	    
6.92/3.55	    num=27, depth=28..216, filters=45938, ccks=855, wck=1.027, mem=95M291
6.92/3.55	    decisions=8177, wrong=1232, backtracks=854, failedAssignments=481, nogoods=217, foundSolutions=3, bestBound=100
6.92/3.55	    
6.92/3.58	o 99
6.92/3.59	    num=28, depth=33..2771, filters=46779, ccks=1140, wck=1.059, mem=97M945
6.92/3.59	    decisions=8661, wrong=1241, backtracks=854, failedAssignments=490, nogoods=226, foundSolutions=4, bestBound=99
6.92/3.59	    
7.06/3.62	    num=29, depth=39..273, filters=47460, ccks=1140, wck=1.098, mem=97M945
7.06/3.62	    decisions=8952, wrong=1255, backtracks=854, failedAssignments=504, nogoods=240, foundSolutions=4, bestBound=99
7.06/3.62	    
7.06/3.64	    num=30, depth=37..314, filters=48307, ccks=1140, wck=1.114, mem=97M945
7.06/3.64	    decisions=9296, wrong=1273, backtracks=861, failedAssignments=515, nogoods=248, foundSolutions=4, bestBound=99
7.06/3.64	    
7.06/3.65	    num=31, depth=39..264, filters=49153, ccks=1140, wck=1.128, mem=97M945
7.06/3.65	    decisions=9589, wrong=1290, backtracks=866, failedAssignments=527, nogoods=256, foundSolutions=4, bestBound=99
7.06/3.65	    
7.06/3.68	o 98
7.06/3.69	    num=32, depth=35..2771, filters=50110, ccks=1425, wck=1.16, mem=97M945
7.06/3.69	    decisions=10058, wrong=1307, backtracks=875, failedAssignments=537, nogoods=264, foundSolutions=5, bestBound=98
7.06/3.69	    
7.16/3.73	    num=33, depth=36..219, filters=51028, ccks=1425, wck=1.201, mem=97M945
7.16/3.73	    decisions=10326, wrong=1337, backtracks=894, failedAssignments=551, nogoods=272, foundSolutions=5, bestBound=98
7.16/3.73	    
7.16/3.74	    num=34, depth=44..287, filters=51710, ccks=1425, wck=1.215, mem=97M945
7.16/3.74	    decisions=10636, wrong=1351, backtracks=897, failedAssignments=562, nogoods=279, foundSolutions=5, bestBound=98
7.16/3.74	    
7.16/3.75	    num=35, depth=48..257, filters=52307, ccks=1425, wck=1.227, mem=97M945
7.16/3.75	    decisions=10915, wrong=1366, backtracks=901, failedAssignments=574, nogoods=289, foundSolutions=5, bestBound=98
7.16/3.75	    
7.16/3.77	    num=36, depth=58..288, filters=52959, ccks=1425, wck=1.241, mem=97M945
7.16/3.77	    decisions=11219, wrong=1380, backtracks=902, failedAssignments=587, nogoods=301, foundSolutions=5, bestBound=98
7.16/3.77	    
7.16/3.78	    num=37, depth=61..212, filters=53808, ccks=1425, wck=1.254, mem=97M945
7.16/3.78	    decisions=11473, wrong=1403, backtracks=916, failedAssignments=601, nogoods=308, foundSolutions=5, bestBound=98
7.16/3.78	    
7.26/3.80	    num=38, depth=78..454, filters=54836, ccks=1425, wck=1.276, mem=97M945
7.26/3.80	    decisions=11959, wrong=1424, backtracks=923, failedAssignments=617, nogoods=321, foundSolutions=5, bestBound=98
7.26/3.80	    
7.26/3.82	    num=39, depth=48..184, filters=55838, ccks=1425, wck=1.293, mem=97M945
7.26/3.82	    decisions=12198, wrong=1461, backtracks=951, failedAssignments=634, nogoods=328, foundSolutions=5, bestBound=98
7.26/3.82	    
7.26/3.83	    num=40, depth=64..142, filters=56766, ccks=1425, wck=1.305, mem=97M945
7.26/3.83	    decisions=12403, wrong=1499, backtracks=972, failedAssignments=653, nogoods=334, foundSolutions=5, bestBound=98
7.26/3.83	    
7.26/3.85	    num=41, depth=84..150, filters=58267, ccks=1425, wck=1.319, mem=97M945
7.26/3.85	    decisions=12632, wrong=1554, backtracks=1006, failedAssignments=674, nogoods=337, foundSolutions=5, bestBound=98
7.26/3.85	    
7.26/3.86	    num=42, depth=99..126, filters=59075, ccks=1425, wck=1.33, mem=97M945
7.26/3.86	    decisions=12827, wrong=1601, backtracks=1030, failedAssignments=697, nogoods=339, foundSolutions=5, bestBound=98
7.26/3.86	    
7.26/3.88	    num=43, depth=25..215, filters=61286, ccks=1425, wck=1.353, mem=97M945
7.26/3.88	    decisions=13187, wrong=1677, backtracks=1082, failedAssignments=722, nogoods=347, foundSolutions=5, bestBound=98
7.26/3.88	    
7.36/3.90	    num=44, depth=2..118, filters=63344, ccks=1425, wck=1.372, mem=97M945
7.36/3.90	    decisions=13416, wrong=1736, backtracks=1115, failedAssignments=750, nogoods=356, foundSolutions=5, bestBound=98
7.36/3.90	    
7.36/3.93	o 93
7.36/3.93	    num=45, depth=2..2771, filters=64654, ccks=1710, wck=1.403, mem=100M587
7.36/3.93	    decisions=13737, wrong=1763, backtracks=1123, failedAssignments=770, nogoods=372, foundSolutions=6, bestBound=93
7.36/3.93	    
7.36/3.98	o 92
7.36/3.99	    num=46, depth=2..2771, filters=65886, ccks=1995, wck=1.46, mem=100M587
7.36/3.99	    decisions=14057, wrong=1788, backtracks=1129, failedAssignments=790, nogoods=389, foundSolutions=7, bestBound=92
7.36/3.99	    
7.53/4.02	    num=47, depth=2..109, filters=66664, ccks=1995, wck=1.498, mem=100M587
7.53/4.02	    decisions=14185, wrong=1802, backtracks=1134, failedAssignments=801, nogoods=397, foundSolutions=7, bestBound=92
7.53/4.02	    
7.53/4.03	    num=48, depth=2..117, filters=67411, ccks=1995, wck=1.508, mem=100M587
7.53/4.03	    decisions=14328, wrong=1823, backtracks=1146, failedAssignments=812, nogoods=402, foundSolutions=7, bestBound=92
7.53/4.03	    
7.53/4.04	    num=49, depth=2..87, filters=68142, ccks=1995, wck=1.518, mem=100M587
7.53/4.04	    decisions=14443, wrong=1840, backtracks=1155, failedAssignments=824, nogoods=409, foundSolutions=7, bestBound=92
7.53/4.04	    
7.53/4.06	    num=50, depth=2..82, filters=68981, ccks=1995, wck=1.529, mem=100M587
7.53/4.06	    decisions=14560, wrong=1860, backtracks=1168, failedAssignments=837, nogoods=414, foundSolutions=7, bestBound=92
7.53/4.06	    
7.53/4.07	    num=51, depth=2..130, filters=70658, ccks=1995, wck=1.545, mem=100M587
7.53/4.07	    decisions=14737, wrong=1887, backtracks=1181, failedAssignments=851, nogoods=421, foundSolutions=7, bestBound=92
7.53/4.07	    
7.53/4.08	    num=52, depth=2..229, filters=71666, ccks=1995, wck=1.558, mem=100M587
7.53/4.08	    decisions=14993, wrong=1903, backtracks=1181, failedAssignments=867, nogoods=437, foundSolutions=7, bestBound=92
7.53/4.08	    
7.63/4.11	o 91
7.63/4.11	    num=53, depth=2..2771, filters=72640, ccks=2280, wck=1.585, mem=100M587
7.63/4.11	    decisions=15206, wrong=1912, backtracks=1181, failedAssignments=876, nogoods=446, foundSolutions=8, bestBound=91
7.63/4.11	    
7.63/4.16	o 90
7.63/4.16	    num=54, depth=33..2771, filters=73524, ccks=2565, wck=1.637, mem=103M229
7.63/4.16	    decisions=15443, wrong=1926, backtracks=1181, failedAssignments=890, nogoods=460, foundSolutions=9, bestBound=90
7.63/4.16	    
7.73/4.20	    num=55, depth=37..148, filters=74164, ccks=2565, wck=1.674, mem=103M229
7.73/4.20	    decisions=15607, wrong=1937, backtracks=1181, failedAssignments=901, nogoods=471, foundSolutions=9, bestBound=90
7.73/4.20	    
7.73/4.22	    num=56, depth=2..229, filters=75028, ccks=2565, wck=1.689, mem=103M229
7.73/4.22	    decisions=15852, wrong=1948, backtracks=1181, failedAssignments=912, nogoods=482, foundSolutions=9, bestBound=90
7.73/4.22	    
7.73/4.24	o 89
7.73/4.25	    num=57, depth=2..2771, filters=76102, ccks=2850, wck=1.72, mem=103M229
7.73/4.25	    decisions=16111, wrong=1964, backtracks=1186, failedAssignments=923, nogoods=492, foundSolutions=10, bestBound=89
7.73/4.25	    
7.73/4.29	    num=58, depth=11..52, filters=78447, ccks=2850, wck=1.765, mem=103M229
7.73/4.29	    decisions=16271, wrong=2038, backtracks=1255, failedAssignments=936, nogoods=495, foundSolutions=10, bestBound=89
7.73/4.29	    
7.86/4.30	
7.86/4.30	  New Bounds: 89..88
7.86/4.30	    num=59, depth=0..10, filters=79336, ccks=2850, wck=1.778, mem=103M229
7.86/4.30	    decisions=16307, wrong=2057, backtracks=1272, failedAssignments=944, foundSolutions=10, bestBound=89
7.86/4.30	    
7.86/4.31	  Global
7.86/4.31	    filters=79336, ccks=2850
7.86/4.31	    Stop=FULL_EXPLORATION, wrong=2057, bestBound=89, bestBoundWck=2.352, bestBoundCpu=4.204, foundSolutions=10, firstSolCpu=3.114
7.86/4.31	    wck=2.414, cpu=4.265, mem=103M229
7.86/4.31	
7.86/4.31	v <instantiation id='sol10' type='solution' cost='89'>  <list> p[] r[][] </list>  <values> 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>  </instantiation>
7.86/4.31	s OPTIMUM FOUND
7.86/4.31	
7.86/4.31	d WRONG_DECISIONS 2057
7.86/4.31	d NUMBER_SOLUTIONS 10

Verifier Data 

OK	89

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391277-1568389320/watcher-4391277-1568389320 -o /tmp/evaluation-result-4391277-1568389320/solver-4391277-1568389320 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568389279-23587 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391277-1568389320.xml -cm 

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

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

solver pid=23625, runsolver pid=23620

[startup+0.102405 s]*
/proc/loadavg: 0.64 0.70 0.95 3/228 23646
/proc/meminfo: memFree=29425688/32770624 swapFree=66958212/67108860
[pid=23625] ppid=23620 vsize=10659884 memory=25968 CPUtime=0.14 cores=0,2,4,6
/proc/23625/stat : 23625 (java) S 23620 23625 21280 0 -1 1077944320 5507 0 0 0 13 1 0 0 20 0 15 0 414868554 10915721216 6492 33554432000 4194304 4196468 140728751911504 140728751894048 140122397093623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
/proc/23625/statm: 2664971 6492 2879 1 0 2627468 0
[pid=23625/tid=23627] ppid=23620 vsize=10659884 memory=-8094235084319000145 CPUtime=0.09 cores=0,2,4,6
/proc/23625/task/23627/stat : 23627 (java) R 23620 23625 21280 0 -1 4202560 3263 0 0 0 9 0 0 0 20 0 15 0 414868555 10915721216 6492 33554432000 4194304 4196468 140728751911504 140122401322144 140122378503773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23628] ppid=23620 vsize=10659884 memory=4211973421781118346 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23628/stat : 23628 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 6492 33554432000 4194304 4196468 140728751911504 140122003966992 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23629] ppid=23620 vsize=10659884 memory=139695576327808 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23629/stat : 23629 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 6492 33554432000 4194304 4196468 140728751911504 140122002914448 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23630] ppid=23620 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23630/stat : 23630 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 6492 33554432000 4194304 4196468 140728751911504 140122001861392 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23631] ppid=23620 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23631/stat : 23631 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 6492 33554432000 4194304 4196468 140728751911504 140122000808848 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23636] ppid=23620 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23636/stat : 23636 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 6492 33554432000 4194304 4196468 140728751911504 140121888995568 140122397104770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23639] ppid=23620 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23639/stat : 23639 (java) S 23620 23625 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 6492 33554432000 4194304 4196468 140728751911504 140121887941792 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23640] ppid=23620 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23640/stat : 23640 (java) S 23620 23625 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 6492 33554432000 4194304 4196468 140728751911504 140121886888688 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23641] ppid=23620 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23641/stat : 23641 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868560 10915721216 6492 33554432000 4194304 4196468 140728751911504 140121885837264 140122397112219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23642] ppid=23620 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23642/stat : 23642 (java) R 23620 23625 21280 0 -1 4202560 374 0 0 0 0 0 0 0 20 0 15 0 414868560 10915721216 6492 33554432000 4194304 4196468 140728751911504 140121884776896 140122378503773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23643] ppid=23620 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23643/stat : 23643 (java) R 23620 23625 21280 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 414868560 10915721216 6492 33554432000 4194304 4196468 140728751911504 140121883732848 140122397104770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23644] ppid=23620 vsize=10659884 memory=139695576327808 CPUtime=0.02 cores=0,2,4,6
/proc/23625/task/23644/stat : 23644 (java) S 23620 23625 21280 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 414868560 10915721216 6492 33554432000 4194304 4196468 140728751911504 140121882677584 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23645] ppid=23620 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23645/stat : 23645 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868560 10915721216 6492 33554432000 4194304 4196468 140728751911504 140121881627488 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23646] ppid=23620 vsize=10659884 memory=139695576327808 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23646/stat : 23646 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868560 10915721216 6492 33554432000 4194304 4196468 140728751911504 140121880574512 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 25968 KiB

[startup+0.213849 s]*
/proc/loadavg: 0.64 0.70 0.95 5/228 23646
/proc/meminfo: memFree=29412128/32770624 swapFree=66958212/67108860
[pid=23625] ppid=23620 vsize=10659884 memory=36252 CPUtime=0.34 cores=0,2,4,6
/proc/23625/stat : 23625 (java) S 23620 23625 21280 0 -1 1077944320 9350 0 0 0 31 3 0 0 20 0 15 0 414868554 10915721216 9063 33554432000 4194304 4196468 140728751911504 140728751894048 140122397093623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
/proc/23625/statm: 2664971 9063 2986 1 0 2627468 0
[pid=23625/tid=23627] ppid=23620 vsize=10659884 memory=8246674155440865347 CPUtime=0.2 cores=0,2,4,6
/proc/23625/task/23627/stat : 23627 (java) R 23620 23625 21280 0 -1 4202560 6163 0 0 0 18 2 0 0 20 0 15 0 414868555 10915721216 9063 33554432000 4194304 4196468 140728751911504 140122401319984 140122397115549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23628] ppid=23620 vsize=10659884 memory=4211973421781118346 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23628/stat : 23628 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 9063 33554432000 4194304 4196468 140728751911504 140122003966992 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23629] ppid=23620 vsize=10659884 memory=139695576327808 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23629/stat : 23629 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 9063 33554432000 4194304 4196468 140728751911504 140122002914448 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23630] ppid=23620 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23630/stat : 23630 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 9063 33554432000 4194304 4196468 140728751911504 140122001861392 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23631] ppid=23620 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23631/stat : 23631 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 9063 33554432000 4194304 4196468 140728751911504 140122000808848 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23636] ppid=23620 vsize=10659884 memory=139695576327808 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23636/stat : 23636 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 9063 33554432000 4194304 4196468 140728751911504 140121888995568 140122397104770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23639] ppid=23620 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23639/stat : 23639 (java) S 23620 23625 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 9063 33554432000 4194304 4196468 140728751911504 140121887941792 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23640] ppid=23620 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23640/stat : 23640 (java) S 23620 23625 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 9063 33554432000 4194304 4196468 140728751911504 140121886888688 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23641] ppid=23620 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23641/stat : 23641 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868560 10915721216 9063 33554432000 4194304 4196468 140728751911504 140121885837264 140122397112219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23642] ppid=23620 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23625/task/23642/stat : 23642 (java) S 23620 23625 21280 0 -1 1077944384 458 0 0 0 3 0 0 0 20 0 15 0 414868560 10915721216 9063 33554432000 4194304 4196468 140728751911504 140121884785392 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23643] ppid=23620 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/23625/task/23643/stat : 23643 (java) S 23620 23625 21280 0 -1 1077944384 509 0 0 0 3 0 0 0 20 0 15 0 414868560 10915721216 9063 33554432000 4194304 4196468 140728751911504 140121883732848 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23644] ppid=23620 vsize=10659884 memory=139695576327808 CPUtime=0.06 cores=0,2,4,6
/proc/23625/task/23644/stat : 23644 (java) S 23620 23625 21280 0 -1 1077944384 860 0 0 0 6 0 0 0 20 0 15 0 414868560 10915721216 9063 33554432000 4194304 4196468 140728751911504 140121882679792 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23645] ppid=23620 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23645/stat : 23645 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868560 10915721216 9063 33554432000 4194304 4196468 140728751911504 140121881627488 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23646] ppid=23620 vsize=10659884 memory=139695576327808 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23646/stat : 23646 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868560 10915721216 9063 33554432000 4194304 4196468 140728751911504 140121880574512 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36252 KiB

[startup+0.310477 s]*
/proc/loadavg: 0.64 0.70 0.95 4/228 23646
/proc/meminfo: memFree=29406056/32770624 swapFree=66958212/67108860
[pid=23625] ppid=23620 vsize=10659884 memory=39080 CPUtime=0.47 cores=0,2,4,6
/proc/23625/stat : 23625 (java) S 23620 23625 21280 0 -1 1077944320 9557 0 0 0 44 3 0 0 20 0 15 0 414868554 10915721216 9770 33554432000 4194304 4196468 140728751911504 140728751894048 140122397093623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
/proc/23625/statm: 2664971 9770 3023 1 0 2627468 0
[pid=23625/tid=23627] ppid=23620 vsize=10659884 memory=-6933350163988323266 CPUtime=0.3 cores=0,2,4,6
/proc/23625/task/23627/stat : 23627 (java) R 23620 23625 21280 0 -1 4202560 6279 0 0 0 28 2 0 0 20 0 15 0 414868555 10915721216 9770 33554432000 4194304 4196468 140728751911504 140122401331936 140122381174110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23628] ppid=23620 vsize=10659884 memory=4211973421781118346 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23628/stat : 23628 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 9770 33554432000 4194304 4196468 140728751911504 140122003966992 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23629] ppid=23620 vsize=10659884 memory=139695576327808 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23629/stat : 23629 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 9770 33554432000 4194304 4196468 140728751911504 140122002914448 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23630] ppid=23620 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23630/stat : 23630 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 9770 33554432000 4194304 4196468 140728751911504 140122001861392 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23631] ppid=23620 vsize=10659884 memory=139695422051871 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23631/stat : 23631 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868555 10915721216 9770 33554432000 4194304 4196468 140728751911504 140122000808848 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23636] ppid=23620 vsize=10659884 memory=279390844082976 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23636/stat : 23636 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 9770 33554432000 4194304 4196468 140728751911504 140121888995568 140122397104770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23639] ppid=23620 vsize=10659884 memory=139695422028815 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23639/stat : 23639 (java) S 23620 23625 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 9770 33554432000 4194304 4196468 140728751911504 140121887941792 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23640] ppid=23620 vsize=10659884 memory=279390998363520 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23640/stat : 23640 (java) S 23620 23625 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868557 10915721216 9770 33554432000 4194304 4196468 140728751911504 140121886888688 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23641] ppid=23620 vsize=10659884 memory=139695422033423 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23641/stat : 23641 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868560 10915721216 9770 33554432000 4194304 4196468 140728751911504 140121885837264 140122397112219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23642] ppid=23620 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23625/task/23642/stat : 23642 (java) R 23620 23625 21280 0 -1 1077944384 489 0 0 0 4 0 0 0 20 0 15 0 414868560 10915721216 9770 33554432000 4194304 4196468 140728751911504 140121884785392 140122397104770 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23643] ppid=23620 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/23625/task/23643/stat : 23643 (java) S 23620 23625 21280 0 -1 1077944384 533 0 0 0 4 0 0 0 20 0 15 0 414868560 10915721216 9770 33554432000 4194304 4196468 140728751911504 140121883732848 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23644] ppid=23620 vsize=10659884 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/23625/task/23644/stat : 23644 (java) S 23620 23625 21280 0 -1 1077944384 898 0 0 0 7 0 0 0 20 0 15 0 414868560 10915721216 9770 33554432000 4194304 4196468 140728751911504 140121882679792 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23645] ppid=23620 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23645/stat : 23645 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868560 10915721216 9770 33554432000 4194304 4196468 140728751911504 140121881627488 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23646] ppid=23620 vsize=10659884 memory=25968 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23646/stat : 23646 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868560 10915721216 9770 33554432000 4194304 4196468 140728751911504 140121880574512 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39080 KiB

[startup+0.700774 s]
/proc/loadavg: 0.64 0.70 0.95 3/228 23646
/proc/meminfo: memFree=29386516/32770624 swapFree=66958212/67108860
[pid=23625] ppid=23620 vsize=10661932 memory=60464 CPUtime=1.1 cores=0,2,4,6
/proc/23625/stat : 23625 (java) S 23620 23625 21280 0 -1 1077944320 13173 0 0 0 104 6 0 0 20 0 15 0 414868554 10917818368 15116 33554432000 4194304 4196468 140728751911504 140728751894048 140122397093623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
/proc/23625/statm: 2665483 15116 3062 1 0 2627980 0
[pid=23625/tid=23627] ppid=23620 vsize=10661932 memory=1556 CPUtime=0.67 cores=0,2,4,6
/proc/23625/task/23627/stat : 23627 (java) R 23620 23625 21280 0 -1 4202560 8756 0 0 0 63 4 0 0 20 0 15 0 414868555 10917818368 15116 33554432000 4194304 4196468 140728751911504 140122401325648 140122381174110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23628] ppid=23620 vsize=10661932 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23628/stat : 23628 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10917818368 15116 33554432000 4194304 4196468 140728751911504 140122003966992 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23629] ppid=23620 vsize=10661932 memory=1044 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23629/stat : 23629 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10917818368 15116 33554432000 4194304 4196468 140728751911504 140122002914448 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23630] ppid=23620 vsize=10661932 memory=7734763483327455577 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23630/stat : 23630 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10917818368 15116 33554432000 4194304 4196468 140728751911504 140122001861392 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23631] ppid=23620 vsize=10661932 memory=7380108234199885905 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23631/stat : 23631 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868555 10917818368 15116 33554432000 4194304 4196468 140728751911504 140122000808848 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23636] ppid=23620 vsize=10661932 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23636/stat : 23636 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868557 10917818368 15116 33554432000 4194304 4196468 140728751911504 140121888995568 140122397104770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23639] ppid=23620 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23639/stat : 23639 (java) S 23620 23625 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414868557 10917818368 15116 33554432000 4194304 4196468 140728751911504 140121887941792 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23640] ppid=23620 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23640/stat : 23640 (java) S 23620 23625 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414868557 10917818368 15116 33554432000 4194304 4196468 140728751911504 140121886888688 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23641] ppid=23620 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23641/stat : 23641 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868560 10917818368 15116 33554432000 4194304 4196468 140728751911504 140121885837264 140122397112219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23642] ppid=23620 vsize=10661932 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/23625/task/23642/stat : 23642 (java) S 23620 23625 21280 0 -1 1077944384 793 0 0 0 10 0 0 0 20 0 15 0 414868560 10917818368 15116 33554432000 4194304 4196468 140728751911504 140121884785392 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23643] ppid=23620 vsize=10661932 memory=241211268951983 CPUtime=0.11 cores=0,2,4,6
/proc/23625/task/23643/stat : 23643 (java) S 23620 23625 21280 0 -1 1077944384 835 0 0 0 11 0 0 0 20 0 15 0 414868560 10917818368 15116 33554432000 4194304 4196468 140728751911504 140121883732848 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23644] ppid=23620 vsize=10661932 memory=2933550 CPUtime=0.19 cores=0,2,4,6
/proc/23625/task/23644/stat : 23644 (java) S 23620 23625 21280 0 -1 1077944384 1430 0 0 0 19 0 0 0 20 0 15 0 414868560 10917818368 15116 33554432000 4194304 4196468 140728751911504 140121882679792 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23645] ppid=23620 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23645/stat : 23645 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414868560 10917818368 15116 33554432000 4194304 4196468 140728751911504 140121881627488 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23646] ppid=23620 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23646/stat : 23646 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868560 10917818368 15116 33554432000 4194304 4196468 140728751911504 140121880574512 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60464 KiB

[startup+1.50083 s]
/proc/loadavg: 0.64 0.70 0.95 3/228 23646
/proc/meminfo: memFree=29355124/32770624 swapFree=66958212/67108860
[pid=23625] ppid=23620 vsize=10663980 memory=74740 CPUtime=2 cores=0,2,4,6
/proc/23625/stat : 23625 (java) S 23620 23625 21280 0 -1 1077944320 19047 0 0 0 194 6 0 0 20 0 15 0 414868554 10919915520 18685 33554432000 4194304 4196468 140728751911504 140728751894048 140122397093623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
/proc/23625/statm: 2665995 18685 3093 1 0 2628492 0
[pid=23625/tid=23627] ppid=23620 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/23625/task/23627/stat : 23627 (java) R 23620 23625 21280 0 -1 4202560 13219 0 0 0 143 5 0 0 20 0 15 0 414868555 10919915520 18685 33554432000 4194304 4196468 140728751911504 140122401325648 140122381174110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23628] ppid=23620 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23628/stat : 23628 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10919915520 18685 33554432000 4194304 4196468 140728751911504 140122003966992 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23629] ppid=23620 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23629/stat : 23629 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10919915520 18685 33554432000 4194304 4196468 140728751911504 140122002914448 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23630] ppid=23620 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23630/stat : 23630 (java) S 23620 23625 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414868555 10919915520 18685 33554432000 4194304 4196468 140728751911504 140122001861392 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23631] ppid=23620 vsize=10663980 memory=139695422082016 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23631/stat : 23631 (java) S 23620 23625 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414868555 10919915520 18685 33554432000 4194304 4196468 140728751911504 140122000808848 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23636] ppid=23620 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23636/stat : 23636 (java) S 23620 23625 21280 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 15 0 414868557 10919915520 18685 33554432000 4194304 4196468 140728751911504 140121888995568 140122397104770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0

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

[startup+3.20088 s]
/proc/loadavg: 0.64 0.70 0.95 2/210 23658
/proc/meminfo: memFree=29297232/32770624 swapFree=66958212/67108860
[pid=23625] ppid=23620 vsize=10748324 memory=186840 CPUtime=6.18 cores=0,2,4,6
/proc/23625/stat : 23625 (java) S 23620 23625 21280 0 -1 1077944320 29996 0 0 0 603 15 0 0 20 0 16 0 414868554 11006283776 46710 33554432000 4194304 4196468 140728751911504 140728751894048 140122397093623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
/proc/23625/statm: 2687081 46710 3350 1 0 2647217 0
[pid=23625/tid=23627] ppid=23620 vsize=10748324 memory=13412 CPUtime=1.9 cores=0,2,4,6
/proc/23625/task/23627/stat : 23627 (java) S 23620 23625 21280 0 -1 1077944384 15571 0 0 0 183 7 0 0 20 0 16 0 414868555 11006283776 46710 33554432000 4194304 4196468 140728751911504 140122401336496 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23628] ppid=23620 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23628/stat : 23628 (java) S 23620 23625 21280 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 46710 33554432000 4194304 4196468 140728751911504 140122003966992 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23629] ppid=23620 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23629/stat : 23629 (java) S 23620 23625 21280 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 46710 33554432000 4194304 4196468 140728751911504 140122002914448 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23630] ppid=23620 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23630/stat : 23630 (java) S 23620 23625 21280 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 46710 33554432000 4194304 4196468 140728751911504 140122001861392 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23631] ppid=23620 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23631/stat : 23631 (java) S 23620 23625 21280 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 46710 33554432000 4194304 4196468 140728751911504 140122000808848 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23636] ppid=23620 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23625/task/23636/stat : 23636 (java) S 23620 23625 21280 0 -1 1077944384 1140 0 0 0 1 0 0 0 20 0 16 0 414868557 11006283776 46710 33554432000 4194304 4196468 140728751911504 140121888995568 140122397104770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23639] ppid=23620 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23639/stat : 23639 (java) S 23620 23625 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 46710 33554432000 4194304 4196468 140728751911504 140121887941856 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23640] ppid=23620 vsize=10748324 memory=241140938881186 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23640/stat : 23640 (java) S 23620 23625 21280 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 46710 33554432000 4194304 4196468 140728751911504 140121886888704 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23641] ppid=23620 vsize=10748324 memory=241140938881187 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23641/stat : 23641 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 46710 33554432000 4194304 4196468 140728751911504 140121885837264 140122397112219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23642] ppid=23620 vsize=10748324 memory=101447127578791 CPUtime=1.15 cores=0,2,4,6
/proc/23625/task/23642/stat : 23642 (java) R 23620 23625 21280 0 -1 4202560 3025 0 0 0 114 1 0 0 20 0 16 0 414868560 11006283776 46710 33554432000 4194304 4196468 140728751911504 140121884765552 140122378272732 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23643] ppid=23620 vsize=10748324 memory=3763202193876891817 CPUtime=1.1 cores=0,2,4,6
/proc/23625/task/23643/stat : 23643 (java) R 23620 23625 21280 0 -1 4202560 2362 0 0 0 110 0 0 0 20 0 16 0 414868560 11006283776 46710 33554432000 4194304 4196468 140728751911504 140121883724176 140122380996836 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23644] ppid=23620 vsize=10748324 memory=301741373374332954 CPUtime=0.68 cores=0,2,4,6
/proc/23625/task/23644/stat : 23644 (java) S 23620 23625 21280 0 -1 1077944384 2787 0 0 0 67 1 0 0 20 0 16 0 414868560 11006283776 46710 33554432000 4194304 4196468 140728751911504 140121882679792 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23645] ppid=23620 vsize=10748324 memory=301741403506213173 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23645/stat : 23645 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 46710 33554432000 4194304 4196468 140728751911504 140121881627488 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23646] ppid=23620 vsize=10748324 memory=15534145912703117 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23646/stat : 23646 (java) S 23620 23625 21280 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 46710 33554432000 4194304 4196468 140728751911504 140121880574512 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23648] ppid=23620 vsize=10748324 memory=7100839870106213769 CPUtime=1.23 cores=0,2,4,6
/proc/23625/task/23648/stat : 23648 (java) R 23620 23625 21280 0 -1 4202560 3479 0 0 0 121 2 0 0 20 0 16 0 414868747 11006283776 46710 33554432000 4194304 4196468 140728751911504 140121863617040 140122041740226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 186840 KiB

[startup+4.00076 s]*
/proc/loadavg: 0.64 0.70 0.95 4/229 23725
/proc/meminfo: memFree=29261940/32770624 swapFree=66958212/67108860
[pid=23625] ppid=23620 vsize=10748324 memory=198276 CPUtime=7.53 cores=0,2,4,6
/proc/23625/stat : 23625 (java) S 23620 23625 21280 0 -1 1077944320 31012 0 0 0 737 16 0 0 20 0 16 0 414868554 11006283776 49569 33554432000 4194304 4196468 140728751911504 140728751894048 140122397093623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
/proc/23625/statm: 2687081 49569 3351 1 0 2647217 0
[pid=23625/tid=23627] ppid=23620 vsize=10748324 memory=8246674155440865347 CPUtime=1.9 cores=0,2,4,6
/proc/23625/task/23627/stat : 23627 (java) S 23620 23625 21280 0 -1 1077944384 15571 0 0 0 183 7 0 0 20 0 16 0 414868555 11006283776 49569 33554432000 4194304 4196468 140728751911504 140122401336496 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23628] ppid=23620 vsize=10748324 memory=4211973421781118346 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23628/stat : 23628 (java) S 23620 23625 21280 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 49569 33554432000 4194304 4196468 140728751911504 140122003966992 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23629] ppid=23620 vsize=10748324 memory=665093994044085897 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23629/stat : 23629 (java) S 23620 23625 21280 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 49569 33554432000 4194304 4196468 140728751911504 140122002914448 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23630] ppid=23620 vsize=10748324 memory=11416863819 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23630/stat : 23630 (java) S 23620 23625 21280 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 49569 33554432000 4194304 4196468 140728751911504 140122001861392 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23631] ppid=23620 vsize=10748324 memory=139695422017679 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23631/stat : 23631 (java) S 23620 23625 21280 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 49569 33554432000 4194304 4196468 140728751911504 140122000808848 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23636] ppid=23620 vsize=10748324 memory=279390998336272 CPUtime=0.01 cores=0,2,4,6
/proc/23625/task/23636/stat : 23636 (java) S 23620 23625 21280 0 -1 1077944384 1140 0 0 0 1 0 0 0 20 0 16 0 414868557 11006283776 49569 33554432000 4194304 4196468 140728751911504 140121888995568 140122397104770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23639] ppid=23620 vsize=10748324 memory=139695422015375 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23639/stat : 23639 (java) S 23620 23625 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 49569 33554432000 4194304 4196468 140728751911504 140121887941856 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23640] ppid=23620 vsize=10748324 memory=279390844103856 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23640/stat : 23640 (java) S 23620 23625 21280 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 49569 33554432000 4194304 4196468 140728751911504 140121886888704 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23641] ppid=23620 vsize=10748324 memory=279390844192416 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23641/stat : 23641 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 49569 33554432000 4194304 4196468 140728751911504 140121885837264 140122397112219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23642] ppid=23620 vsize=10748324 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/23625/task/23642/stat : 23642 (java) S 23620 23625 21280 0 -1 1077944384 3225 0 0 0 135 1 0 0 20 0 16 0 414868560 11006283776 49569 33554432000 4194304 4196468 140728751911504 140121884785392 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23643] ppid=23620 vsize=10748324 memory=-1 CPUtime=1.4 cores=0,2,4,6
/proc/23625/task/23643/stat : 23643 (java) S 23620 23625 21280 0 -1 1077944384 2866 0 0 0 139 1 0 0 20 0 16 0 414868560 11006283776 49569 33554432000 4194304 4196468 140728751911504 140121883732848 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23644] ppid=23620 vsize=10748324 memory=139695576327808 CPUtime=0.71 cores=0,2,4,6
/proc/23625/task/23644/stat : 23644 (java) S 23620 23625 21280 0 -1 1077944384 2864 0 0 0 70 1 0 0 20 0 16 0 414868560 11006283776 49569 33554432000 4194304 4196468 140728751911504 140121882679792 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23645] ppid=23620 vsize=10748324 memory=23647 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23645/stat : 23645 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 49569 33554432000 4194304 4196468 140728751911504 140121881627488 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23646] ppid=23620 vsize=10748324 memory=139695576327833 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23646/stat : 23646 (java) S 23620 23625 21280 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 49569 33554432000 4194304 4196468 140728751911504 140121880574512 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23648] ppid=23620 vsize=10748324 memory=139695422083903 CPUtime=2.04 cores=0,2,4,6
/proc/23625/task/23648/stat : 23648 (java) R 23620 23625 21280 0 -1 4202560 3714 0 0 0 202 2 0 0 20 0 16 0 414868747 11006283776 49569 33554432000 4194304 4196468 140728751911504 140121863619376 140122041740281 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 198276 KiB

[startup+4.20075 s]
/proc/loadavg: 0.64 0.70 0.95 4/229 23725
/proc/meminfo: memFree=29261940/32770624 swapFree=66958212/67108860
[pid=23625] ppid=23620 vsize=10748324 memory=200324 CPUtime=7.73 cores=0,2,4,6
/proc/23625/stat : 23625 (java) S 23620 23625 21280 0 -1 1077944320 31016 0 0 0 757 16 0 0 20 0 16 0 414868554 11006283776 50081 33554432000 4194304 4196468 140728751911504 140728751894048 140122397093623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
/proc/23625/statm: 2687081 50081 3351 1 0 2647217 0
[pid=23625/tid=23627] ppid=23620 vsize=10748324 memory=5571041044932745317 CPUtime=1.9 cores=0,2,4,6
/proc/23625/task/23627/stat : 23627 (java) S 23620 23625 21280 0 -1 1077944384 15571 0 0 0 183 7 0 0 20 0 16 0 414868555 11006283776 50081 33554432000 4194304 4196468 140728751911504 140122401336496 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23628] ppid=23620 vsize=10748324 memory=4640467252704989264 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23628/stat : 23628 (java) S 23620 23625 21280 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 50081 33554432000 4194304 4196468 140728751911504 140122003966992 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23629] ppid=23620 vsize=10748324 memory=7449637002731416676 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23629/stat : 23629 (java) S 23620 23625 21280 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 50081 33554432000 4194304 4196468 140728751911504 140122002914448 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23630] ppid=23620 vsize=10748324 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23630/stat : 23630 (java) S 23620 23625 21280 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 50081 33554432000 4194304 4196468 140728751911504 140122001861392 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23631] ppid=23620 vsize=10748324 memory=301741403506213173 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23631/stat : 23631 (java) S 23620 23625 21280 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 50081 33554432000 4194304 4196468 140728751911504 140122000808848 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23636] ppid=23620 vsize=10748324 memory=15534145912703117 CPUtime=0.01 cores=0,2,4,6
/proc/23625/task/23636/stat : 23636 (java) S 23620 23625 21280 0 -1 1077944384 1140 0 0 0 1 0 0 0 20 0 16 0 414868557 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121888995568 140122397104770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23639] ppid=23620 vsize=10748324 memory=279390843830512 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23639/stat : 23639 (java) S 23620 23625 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121887941856 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23640] ppid=23620 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23640/stat : 23640 (java) S 23620 23625 21280 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121886888704 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23641] ppid=23620 vsize=10748324 memory=-6369074288953532201 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23641/stat : 23641 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121885837264 140122397112219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23642] ppid=23620 vsize=10748324 memory=6944656575208382560 CPUtime=1.37 cores=0,2,4,6
/proc/23625/task/23642/stat : 23642 (java) S 23620 23625 21280 0 -1 1077944384 3225 0 0 0 136 1 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121884785392 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23643] ppid=23620 vsize=10748324 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/23625/task/23643/stat : 23643 (java) S 23620 23625 21280 0 -1 1077944384 2866 0 0 0 140 1 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121883732848 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23644] ppid=23620 vsize=10748324 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/23625/task/23644/stat : 23644 (java) S 23620 23625 21280 0 -1 1077944384 2864 0 0 0 70 1 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121882679792 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23645] ppid=23620 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23645/stat : 23645 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121881627488 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23646] ppid=23620 vsize=10748324 memory=6076013870719737225 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23646/stat : 23646 (java) S 23620 23625 21280 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121880574512 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23648] ppid=23620 vsize=10748324 memory=0 CPUtime=2.23 cores=0,2,4,6
/proc/23625/task/23648/stat : 23648 (java) R 23620 23625 21280 0 -1 4202560 3717 0 0 0 221 2 0 0 20 0 16 0 414868747 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121863613952 140122035823111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
Current children cumulated CPU time: 7.73 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 200324 KiB

[startup+4.30074 s]
/proc/loadavg: 0.64 0.70 0.95 4/229 23725
/proc/meminfo: memFree=29261940/32770624 swapFree=66958212/67108860
[pid=23625] ppid=23620 vsize=10748324 memory=200324 CPUtime=7.86 cores=0,2,4,6
/proc/23625/stat : 23625 (java) S 23620 23625 21280 0 -1 1077944320 31028 0 0 0 770 16 0 0 20 0 16 0 414868554 11006283776 50081 33554432000 4194304 4196468 140728751911504 140728751894048 140122397093623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
/proc/23625/statm: 2687081 50081 3351 1 0 2647217 0
[pid=23625/tid=23627] ppid=23620 vsize=10748324 memory=198276 CPUtime=1.9 cores=0,2,4,6
/proc/23625/task/23627/stat : 23627 (java) S 23620 23625 21280 0 -1 1077944384 15571 0 0 0 183 7 0 0 20 0 16 0 414868555 11006283776 50081 33554432000 4194304 4196468 140728751911504 140122401336496 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23628] ppid=23620 vsize=10748324 memory=196080 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23628/stat : 23628 (java) S 23620 23625 21280 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 50081 33554432000 4194304 4196468 140728751911504 140122003966992 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23629] ppid=23620 vsize=10748324 memory=11 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23629/stat : 23629 (java) S 23620 23625 21280 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 50081 33554432000 4194304 4196468 140728751911504 140122002914448 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23630] ppid=23620 vsize=10748324 memory=279390843998904 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23630/stat : 23630 (java) S 23620 23625 21280 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 50081 33554432000 4194304 4196468 140728751911504 140122001861392 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23631] ppid=23620 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23631/stat : 23631 (java) S 23620 23625 21280 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414868555 11006283776 50081 33554432000 4194304 4196468 140728751911504 140122000808848 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23636] ppid=23620 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/23625/task/23636/stat : 23636 (java) S 23620 23625 21280 0 -1 1077944384 1140 0 0 0 1 0 0 0 20 0 16 0 414868557 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121888995568 140122397104770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23639] ppid=23620 vsize=10748324 memory=279390843916832 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23639/stat : 23639 (java) S 23620 23625 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121887941856 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23640] ppid=23620 vsize=10748324 memory=279390998243064 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23640/stat : 23640 (java) S 23620 23625 21280 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414868557 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121886888704 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23641] ppid=23620 vsize=10748324 memory=139695576339921 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23641/stat : 23641 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121885837264 140122397112219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23642] ppid=23620 vsize=10748324 memory=7454130749351154278 CPUtime=1.37 cores=0,2,4,6
/proc/23625/task/23642/stat : 23642 (java) R 23620 23625 21280 0 -1 4202560 3225 0 0 0 136 1 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121884774384 140122380592578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23643] ppid=23620 vsize=10748324 memory=7228672510523959653 CPUtime=1.43 cores=0,2,4,6
/proc/23625/task/23643/stat : 23643 (java) S 23620 23625 21280 0 -1 1077944384 2877 0 0 0 142 1 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121883732848 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23644] ppid=23620 vsize=10748324 memory=6082203026216151127 CPUtime=0.71 cores=0,2,4,6
/proc/23625/task/23644/stat : 23644 (java) S 23620 23625 21280 0 -1 1077944384 2865 0 0 0 70 1 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121882679792 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23645] ppid=23620 vsize=10748324 memory=119 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23645/stat : 23645 (java) S 23620 23625 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121881627488 140122397103829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23646] ppid=23620 vsize=10748324 memory=68 CPUtime=0 cores=0,2,4,6
/proc/23625/task/23646/stat : 23646 (java) S 23620 23625 21280 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414868560 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121880574512 140122397104770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
[pid=23625/tid=23648] ppid=23620 vsize=10748324 memory=0 CPUtime=2.33 cores=0,2,4,6
/proc/23625/task/23648/stat : 23648 (java) R 23620 23625 21280 0 -1 4202560 3717 0 0 0 231 2 0 0 20 0 16 0 414868747 11006283776 50081 33554432000 4194304 4196468 140728751911504 140121863613952 140122042098072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29339648 140728751920139 140728751920242 140728751920242 140728751923151 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 200324 KiB

Child status: 0
Real time (s): 4.31951
CPU time (s): 7.90115
CPU user time (s): 7.72371
CPU system time (s): 0.17744
CPU usage (%): 182.918
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 200324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.72371
system time used= 0.17744
maximum resident set size= 205004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2914
involuntary context switches= 29


# summary of solver processes directly reported to runsolver:
#   pid: 23625
#   total CPU time (s): 7.90115
#   total CPU user time (s): 7.72371
#   total CPU system time (s): 0.17744

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047251 second user time and 0.096602 second system time

The end

Launcher Data 

Begin job on node145 at 2019-09-13 17:41:19
IDJOB=4391277
IDBENCH=124140
IDSOLVER=2833
FILE ID=node145/4391277-1568389320
RUNJOBID= node145-1568389279-23587
PBS_JOBID= 21701826
Free space on /tmp= 55180 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-6.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391277-1568389320/watcher-4391277-1568389320 -o /tmp/evaluation-result-4391277-1568389320/solver-4391277-1568389320 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568389279-23587 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391277-1568389320.xml -cm

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

MD5SUM BENCH= 21aab71f6f536658a77b49f0e4f1f876
RANDOM SEED=218400696

node145.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.59
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.59
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.59
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.59
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:        29465916 kB
MemAvailable:   31852020 kB
Buffers:           96940 kB
Cached:          2566732 kB
SwapCached:        41040 kB
Active:          1362228 kB
Inactive:        1347240 kB
Active(anon):       9604 kB
Inactive(anon):    77332 kB
Active(file):    1352624 kB
Inactive(file):  1269908 kB
Unevictable:      110532 kB
Mlocked:          110532 kB
SwapTotal:      67108860 kB
SwapFree:       66958212 kB
Dirty:             17272 kB
Writeback:             4 kB
AnonPages:        116312 kB
Mapped:            46652 kB
Shmem:             32356 kB
Slab:             186668 kB
SReclaimable:     158812 kB
SUnreclaim:        27856 kB
KernelStack:        3392 kB
PageTables:         5680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1318128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55172 MiB
End job on node145 at 2019-09-13 17:41:23