Trace number 4391012

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-23SAT (TO)19 2520.07 2516.02

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t03-4.xml
MD5SUM3320713010bd27ff074c3709fe864950
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark2519.47
Satisfiable
(Un)Satisfiability was proved
Number of variables672
Number of constraints54
Number of domains14
Minimum domain size2
Maximum domain size19
Distribution of domain sizes[{"size":2,"count":96},{"size":3,"count":32},{"size":6,"count":32},{"size":7,"count":64},{"size":8,"count":32},{"size":9,"count":32},{"size":10,"count":32},{"size":11,"count":64},{"size":12,"count":32},{"size":13,"count":32},{"size":15,"count":32},{"size":16,"count":64},{"size":17,"count":64},{"size":19,"count":64}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":672}]
Minimum constraint arity21
Maximum constraint arity640
Distribution of constraint arities[{"arity":21,"count":32},{"arity":32,"count":21},{"arity":640,"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":52}]
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.38/1.89	
2.38/1.89	AbsCon 2 
2.62/1.91	
2.88/2.06	  Instance
2.88/2.06	    name=instance-4391012-1568380653, framework=COP, bounds=-infty..+infty
2.88/2.06	
2.88/2.06	  Loading variables...
3.12/2.11	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3033fa7a
3.12/2.13	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c6e663c
3.12/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33ecb8b
3.12/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@83131bb
3.12/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2cf739
3.12/2.13	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127b54f4
3.12/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47dbe7f5
3.12/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e56a898
3.12/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8153dca
3.12/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611e35a6
3.12/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cd29e02
3.12/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c760795
3.12/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69517b83
3.12/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64460a7b
3.12/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39348a83
3.12/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22a8185a
3.12/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f76f678
3.12/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@652692ee
3.12/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@171b2486
3.12/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30272bb0
3.12/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c24bf3
3.12/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6528d28f
3.12/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b4a191e
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34748043
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dee9ca0
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@760c78cc
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@767cfca4
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@512dde31
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c244b32
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77c2d6f2
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24bfd934
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e43205
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2429d68a
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64064a40
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e1400b9
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b413248
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@390831d1
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f01736d
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f6226da
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@102852e0
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19232bfa
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1922ddb4
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2245c2cc
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fb3b37d
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb1fb03
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71fd24d0
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22d60cd
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53bc2436
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b983288
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48e8f996
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@306ece1f
3.12/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3c880c
3.38/2.23	
3.38/2.23	
3.38/2.23	  Domains
3.38/2.23	    nTypes=14, nValues=7104, sizes=[2#96,3#32,6#32,7#64...15#32,16#64,17#64,19#64]
3.38/2.23	  Variables
3.38/2.23	    count=672, degrees=[3#72,4#600]
3.38/2.23	  Objectives
3.38/2.23	    way=min, type=SumSimpleLE
3.38/2.23	  Constraints
3.38/2.23	    count=85, nSpecific=85, arities=[21#32,32#22,40#31]
3.38/2.23	    distribution=[LexicographicLe#31,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#32]
3.38/2.23	    wck=0.363, cpu=2.186, mem=29M155
3.38/2.23	  Solver SolverBacktrack being built...
3.38/2.23	
3.38/2.26	
3.38/2.26	  Solver
3.38/2.26	    guaranteedGAC=false
3.38/2.26	    wck=0.4, cpu=2.222, mem=39M798
3.38/2.28	
3.38/2.28	  Preprocessing
3.38/2.28	    filters=32, nACremovedValues=1024, nTotalRemovedValues=1024, inconcistency=false
3.38/2.28	    wck=0.014, cpu=2.238, mem=39M798
3.38/2.28	
3.68/2.30	    num=0, depth=0..61, filters=547, wck=0.04, mem=39M798
3.68/2.30	    decisions=82, wrong=16, backtracks=9, failedAssignments=10, nogoods=2
3.68/2.30	    
3.68/2.33	    num=1, depth=37..166, filters=962, wck=0.066, mem=39M798
3.68/2.33	    decisions=280, wrong=34, backtracks=16, failedAssignments=21, nogoods=13
3.68/2.33	    
3.68/2.34	    num=2, depth=20..228, filters=1272, wck=0.082, mem=39M798
3.68/2.34	    decisions=530, wrong=46, backtracks=16, failedAssignments=33, nogoods=25
3.68/2.34	    
3.68/2.35	    num=3, depth=36..124, filters=1632, wck=0.093, mem=39M798
3.68/2.35	    decisions=694, wrong=73, backtracks=30, failedAssignments=46, nogoods=28
3.68/2.35	    
3.68/2.36	    num=4, depth=36..62, filters=1979, wck=0.098, mem=39M798
3.68/2.36	    decisions=787, wrong=90, backtracks=33, failedAssignments=60, nogoods=33
3.68/2.36	    
3.68/2.37	    num=5, depth=18..73, filters=2721, wck=0.106, mem=39M798
3.68/2.37	    decisions=907, wrong=116, backtracks=43, failedAssignments=76, nogoods=35
3.68/2.37	    
3.68/2.38	    num=6, depth=34..71, filters=3626, wck=0.113, mem=39M798
3.68/2.38	    decisions=1035, wrong=150, backtracks=60, failedAssignments=93, nogoods=43
3.68/2.38	    
3.68/2.38	    num=7, depth=42..243, filters=4295, wck=0.121, mem=39M798
3.68/2.38	    decisions=1342, wrong=183, backtracks=76, failedAssignments=112, nogoods=52
3.68/2.38	    
3.68/2.39	    num=8, depth=34..248, filters=4731, wck=0.127, mem=39M798
3.68/2.39	    decisions=1626, wrong=204, backtracks=76, failedAssignments=133, nogoods=73
3.68/2.39	    
4.01/2.40	    num=9, depth=43..381, filters=5508, wck=0.137, mem=42M440
4.01/2.40	    decisions=2061, wrong=233, backtracks=82, failedAssignments=156, nogoods=89
4.01/2.40	    
4.01/2.41	    num=10, depth=52..285, filters=6547, wck=0.145, mem=42M440
4.01/2.41	    decisions=2433, wrong=278, backtracks=104, failedAssignments=181, nogoods=102
4.01/2.41	    
4.01/2.42	o 32
4.01/2.43	    num=11, depth=59..671, filters=6932, ccks=85, wck=0.162, mem=42M440
4.01/2.43	    decisions=2807, wrong=293, backtracks=104, failedAssignments=196, nogoods=117, foundSolutions=1, bestBound=32
4.01/2.43	    
4.01/2.43	o 29
4.01/2.44	    num=12, depth=61..671, filters=7357, ccks=170, wck=0.174, mem=42M440
4.01/2.44	    decisions=3209, wrong=308, backtracks=104, failedAssignments=211, nogoods=132, foundSolutions=2, bestBound=29
4.01/2.44	    
4.01/2.44	    num=13, depth=99..326, filters=7748, ccks=170, wck=0.183, mem=42M440
4.01/2.44	    decisions=3569, wrong=326, backtracks=111, failedAssignments=222, nogoods=137, foundSolutions=2, bestBound=29
4.01/2.44	    
4.01/2.45	    num=14, depth=6..10, filters=8018, ccks=170, wck=0.186, mem=42M440
4.01/2.45	    decisions=3605, wrong=341, backtracks=116, failedAssignments=233, nogoods=139, foundSolutions=2, bestBound=29
4.01/2.45	    
4.01/2.45	    num=15, depth=6..12, filters=8308, ccks=170, wck=0.19, mem=42M440
4.01/2.45	    decisions=3643, wrong=356, backtracks=119, failedAssignments=245, nogoods=144, foundSolutions=2, bestBound=29
4.01/2.45	    
4.01/2.46	    num=16, depth=6..12, filters=8635, ccks=170, wck=0.194, mem=42M440
4.01/2.46	    decisions=3688, wrong=374, backtracks=124, failedAssignments=258, nogoods=151, foundSolutions=2, bestBound=29
4.01/2.46	    
4.01/2.46	    num=17, depth=5..13, filters=8997, ccks=170, wck=0.198, mem=42M440
4.01/2.46	    decisions=3738, wrong=394, backtracks=130, failedAssignments=272, nogoods=157, foundSolutions=2, bestBound=29
4.01/2.46	    
4.01/2.46	    num=18, depth=5..13, filters=9386, ccks=170, wck=0.202, mem=42M440
4.01/2.46	    decisions=3793, wrong=416, backtracks=136, failedAssignments=288, nogoods=165, foundSolutions=2, bestBound=29
4.01/2.46	    
4.01/2.47	    num=19, depth=10..14, filters=9738, ccks=170, wck=0.205, mem=42M440
4.01/2.47	    decisions=3847, wrong=438, backtracks=142, failedAssignments=305, nogoods=170, foundSolutions=2, bestBound=29
4.01/2.47	    
4.01/2.47	    num=20, depth=5..22, filters=10420, ccks=170, wck=0.21, mem=42M440
4.01/2.47	    decisions=3946, wrong=480, backtracks=166, failedAssignments=324, nogoods=178, foundSolutions=2, bestBound=29
4.01/2.47	    
4.01/2.48	    num=21, depth=5..23, filters=10999, ccks=170, wck=0.215, mem=42M440
4.01/2.48	    decisions=4042, wrong=520, backtracks=185, failedAssignments=345, nogoods=191, foundSolutions=2, bestBound=29
4.01/2.48	    
4.01/2.48	    num=22, depth=5..136, filters=11724, ccks=170, wck=0.222, mem=42M440
4.01/2.48	    decisions=4246, wrong=557, backtracks=200, failedAssignments=368, nogoods=205, foundSolutions=2, bestBound=29
4.01/2.48	    
4.01/2.49	    num=23, depth=5..76, filters=12127, ccks=170, wck=0.226, mem=42M440
4.01/2.49	    decisions=4379, wrong=591, backtracks=211, failedAssignments=393, nogoods=216, foundSolutions=2, bestBound=29
4.01/2.49	    
4.01/2.49	    num=24, depth=5..29, filters=12609, ccks=170, wck=0.231, mem=42M440
4.01/2.49	    decisions=4487, wrong=634, backtracks=229, failedAssignments=421, nogoods=232, foundSolutions=2, bestBound=29
4.01/2.49	    
4.33/2.50	    num=25, depth=5..16, filters=13530, ccks=170, wck=0.237, mem=42M440
4.33/2.50	    decisions=4609, wrong=691, backtracks=259, failedAssignments=452, nogoods=235, foundSolutions=2, bestBound=29
4.33/2.50	    
4.33/2.51	    num=26, depth=1..25, filters=14422, ccks=170, wck=0.243, mem=42M440
4.33/2.51	    decisions=4761, wrong=760, backtracks=297, failedAssignments=486, nogoods=245, foundSolutions=2, bestBound=29
4.33/2.51	    
4.33/2.51	o 22
4.33/2.52	    num=27, depth=1..671, filters=15067, ccks=255, wck=0.254, mem=42M440
4.33/2.52	    decisions=5101, wrong=797, backtracks=298, failedAssignments=522, nogoods=281, foundSolutions=3, bestBound=22
4.33/2.52	    
4.33/2.53	    num=28, depth=1..26, filters=16289, ccks=255, wck=0.264, mem=42M440
4.33/2.53	    decisions=5256, wrong=866, backtracks=333, failedAssignments=563, nogoods=291, foundSolutions=3, bestBound=22
4.33/2.53	    
4.33/2.53	    num=29, depth=1..20, filters=16513, ccks=255, wck=0.267, mem=42M440
4.33/2.53	    decisions=5302, wrong=881, backtracks=337, failedAssignments=574, nogoods=299, foundSolutions=3, bestBound=22
4.33/2.53	    
4.33/2.53	    num=30, depth=1..32, filters=16858, ccks=255, wck=0.271, mem=42M440
4.33/2.53	    decisions=5368, wrong=900, backtracks=344, failedAssignments=586, nogoods=305, foundSolutions=3, bestBound=22
4.33/2.53	    
4.33/2.54	    num=31, depth=1..36, filters=17071, ccks=255, wck=0.274, mem=42M440
4.33/2.54	    decisions=5425, wrong=914, backtracks=345, failedAssignments=599, nogoods=318, foundSolutions=3, bestBound=22
4.33/2.54	    
4.33/2.54	    num=32, depth=1..41, filters=17311, ccks=255, wck=0.277, mem=42M440
4.33/2.54	    decisions=5493, wrong=931, backtracks=348, failedAssignments=613, nogoods=330, foundSolutions=3, bestBound=22
4.33/2.54	    
4.33/2.54	    num=33, depth=1..40, filters=17644, ccks=255, wck=0.281, mem=42M440
4.33/2.54	    decisions=5571, wrong=954, backtracks=356, failedAssignments=629, nogoods=338, foundSolutions=3, bestBound=22
4.33/2.54	    
4.33/2.55	    num=34, depth=1..71, filters=18267, ccks=255, wck=0.287, mem=42M440
4.33/2.55	    decisions=5677, wrong=976, backtracks=361, failedAssignments=646, nogoods=351, foundSolutions=3, bestBound=22
4.33/2.55	    
4.33/2.55	    num=35, depth=1..28, filters=18673, ccks=255, wck=0.29, mem=42M440
4.33/2.55	    decisions=5759, wrong=1006, backtracks=375, failedAssignments=665, nogoods=355, foundSolutions=3, bestBound=22
4.33/2.55	    
4.33/2.56	    num=36, depth=1..55, filters=19185, ccks=255, wck=0.294, mem=42M440
4.33/2.56	    decisions=5873, wrong=1041, backtracks=391, failedAssignments=686, nogoods=362, foundSolutions=3, bestBound=22
4.33/2.56	    
4.33/2.56	    num=37, depth=43..100, filters=19929, ccks=255, wck=0.301, mem=42M440
4.33/2.56	    decisions=6027, wrong=1071, backtracks=401, failedAssignments=709, nogoods=372, foundSolutions=3, bestBound=22
4.33/2.56	    
4.33/2.57	    num=38, depth=1..20, filters=20465, ccks=255, wck=0.305, mem=42M440
4.33/2.57	    decisions=6120, wrong=1112, backtracks=417, failedAssignments=734, nogoods=381, foundSolutions=3, bestBound=22
4.33/2.57	    
4.33/2.57	    num=39, depth=11..17, filters=21158, ccks=255, wck=0.309, mem=42M440
4.33/2.57	    decisions=6232, wrong=1161, backtracks=442, failedAssignments=762, nogoods=385, foundSolutions=3, bestBound=22
4.33/2.57	    
4.33/2.58	    num=40, depth=1..21, filters=21812, ccks=255, wck=0.314, mem=42M440
4.33/2.58	    decisions=6342, wrong=1208, backtracks=458, failedAssignments=793, nogoods=395, foundSolutions=3, bestBound=22
4.33/2.58	    
4.33/2.58	    num=41, depth=1..15, filters=22576, ccks=255, wck=0.319, mem=42M440
4.33/2.58	    decisions=6465, wrong=1264, backtracks=483, failedAssignments=827, nogoods=404, foundSolutions=3, bestBound=22
4.33/2.58	    
4.33/2.59	    num=42, depth=1..29, filters=23463, ccks=255, wck=0.325, mem=42M440
4.33/2.59	    decisions=6601, wrong=1322, backtracks=512, failedAssignments=864, nogoods=412, foundSolutions=3, bestBound=22
4.33/2.59	    
4.33/2.59	    num=43, depth=1..48, filters=24492, ccks=255, wck=0.331, mem=42M440
4.33/2.59	    decisions=6786, wrong=1394, backtracks=547, failedAssignments=905, nogoods=420, foundSolutions=3, bestBound=22
4.33/2.59	    
4.64/2.60	    num=44, depth=1..61, filters=25860, ccks=255, wck=0.342, mem=42M440
4.64/2.60	    decisions=6959, wrong=1452, backtracks=566, failedAssignments=950, nogoods=435, foundSolutions=3, bestBound=22
4.64/2.60	    
4.64/2.61	    num=45, depth=1..18, filters=27222, ccks=255, wck=0.349, mem=42M440
4.64/2.61	    decisions=7161, wrong=1548, backtracks=617, failedAssignments=1000, nogoods=442, foundSolutions=3, bestBound=22
4.64/2.61	    
4.64/2.62	    num=46, depth=1..23, filters=28434, ccks=255, wck=0.356, mem=42M440
4.64/2.62	    decisions=7343, wrong=1631, backtracks=650, failedAssignments=1055, nogoods=453, foundSolutions=3, bestBound=22
4.64/2.62	    
4.64/2.62	    num=47, depth=1..26, filters=29515, ccks=255, wck=0.362, mem=42M440
4.64/2.62	    decisions=7541, wrong=1720, backtracks=685, failedAssignments=1116, nogoods=467, foundSolutions=3, bestBound=22
4.64/2.62	    
4.64/2.63	    num=48, depth=1..21, filters=30900, ccks=255, wck=0.369, mem=42M440
4.64/2.63	    decisions=7779, wrong=1834, backtracks=732, failedAssignments=1183, nogoods=483, foundSolutions=3, bestBound=22
4.64/2.63	    
4.64/2.64	    num=49, depth=5..29, filters=32646, ccks=255, wck=0.38, mem=42M440
4.64/2.64	    decisions=8045, wrong=1956, backtracks=789, failedAssignments=1257, nogoods=492, foundSolutions=3, bestBound=22
4.64/2.64	    
4.64/2.65	    num=50, depth=31..38, filters=34317, ccks=255, wck=0.389, mem=42M440
4.64/2.65	    decisions=8322, wrong=2077, backtracks=836, failedAssignments=1338, nogoods=513, foundSolutions=3, bestBound=22
4.64/2.65	    
4.64/2.67	    num=51, depth=1..62, filters=37511, ccks=255, wck=0.404, mem=42M440
4.64/2.67	    decisions=8666, wrong=2223, backtracks=903, failedAssignments=1427, nogoods=530, foundSolutions=3, bestBound=22
4.64/2.67	    
4.64/2.67	    num=52, depth=8..150, filters=39480, ccks=255, wck=0.412, mem=42M440
4.64/2.67	    decisions=9091, wrong=2367, backtracks=953, failedAssignments=1525, nogoods=555, foundSolutions=3, bestBound=22
4.64/2.67	    
4.64/2.68	    num=53, depth=1..18, filters=41530, ccks=255, wck=0.422, mem=42M440
4.64/2.68	    decisions=9435, wrong=2534, backtracks=1029, failedAssignments=1633, nogoods=565, foundSolutions=3, bestBound=22
4.64/2.68	    
4.92/2.70	    num=54, depth=16..38, filters=45048, ccks=255, wck=0.436, mem=42M440
4.92/2.70	    decisions=9888, wrong=2744, backtracks=1122, failedAssignments=1752, nogoods=569, foundSolutions=3, bestBound=22
4.92/2.70	    
4.92/2.72	    num=55, depth=1..184, filters=49163, ccks=255, wck=0.454, mem=45M83
4.92/2.72	    decisions=10493, wrong=2967, backtracks=1218, failedAssignments=1883, nogoods=601, foundSolutions=3, bestBound=22
4.92/2.72	    
4.92/2.73	    num=56, depth=1..25, filters=52411, ccks=255, wck=0.468, mem=45M83
4.92/2.73	    decisions=11013, wrong=3219, backtracks=1348, failedAssignments=2027, nogoods=609, foundSolutions=3, bestBound=22
4.92/2.73	    
4.92/2.75	    num=57, depth=1..56, filters=56689, ccks=255, wck=0.487, mem=45M83
4.92/2.75	    decisions=11711, wrong=3543, backtracks=1534, failedAssignments=2185, nogoods=617, foundSolutions=3, bestBound=22
4.92/2.75	    
4.92/2.77	    num=58, depth=15..237, filters=62291, ccks=255, wck=0.511, mem=45M83
4.92/2.77	    decisions=12519, wrong=3835, backtracks=1670, failedAssignments=2359, nogoods=662, foundSolutions=3, bestBound=22
4.92/2.77	    
4.92/2.79	    num=59, depth=1..20, filters=67076, ccks=255, wck=0.531, mem=45M83
4.92/2.79	    decisions=13195, wrong=4168, backtracks=1832, failedAssignments=2550, nogoods=671, foundSolutions=3, bestBound=22
4.92/2.79	    
5.20/2.81	    num=60, depth=12..63, filters=71805, ccks=255, wck=0.551, mem=45M83
5.20/2.81	    decisions=13999, wrong=4543, backtracks=2047, failedAssignments=2761, nogoods=696, foundSolutions=3, bestBound=22
5.20/2.81	    
5.20/2.84	    num=61, depth=1..31, filters=76839, ccks=255, wck=0.582, mem=45M83
5.20/2.84	    decisions=14828, wrong=4948, backtracks=2329, failedAssignments=2993, nogoods=701, foundSolutions=3, bestBound=22
5.20/2.84	    
5.20/2.87	    num=62, depth=1..28, filters=82161, ccks=255, wck=0.612, mem=45M83
5.20/2.87	    decisions=15674, wrong=5361, backtracks=2505, failedAssignments=3248, nogoods=707, foundSolutions=3, bestBound=22
5.20/2.87	    
5.40/2.90	    num=63, depth=1..38, filters=87879, ccks=255, wck=0.642, mem=45M83
5.40/2.90	    decisions=16570, wrong=5796, backtracks=2747, failedAssignments=3529, nogoods=727, foundSolutions=3, bestBound=22
5.40/2.90	    
5.40/2.93	    num=64, depth=1..44, filters=94035, ccks=255, wck=0.672, mem=45M83
5.40/2.93	    decisions=17483, wrong=6239, backtracks=2996, failedAssignments=3838, nogoods=746, foundSolutions=3, bestBound=22
5.40/2.93	    
5.40/2.96	    num=65, depth=11..23, filters=101885, ccks=255, wck=0.702, mem=45M83
5.40/2.96	    decisions=18658, wrong=6820, backtracks=3266, failedAssignments=4178, nogoods=748, foundSolutions=3, bestBound=22
5.40/2.96	    
5.40/3.00	    num=66, depth=1..34, filters=111496, ccks=255, wck=0.737, mem=45M83
5.40/3.00	    decisions=20002, wrong=7481, backtracks=3578, failedAssignments=4552, nogoods=753, foundSolutions=3, bestBound=22
5.40/3.00	    
5.53/3.03	    num=67, depth=7..21, filters=118621, ccks=255, wck=0.767, mem=45M83
5.53/3.03	    decisions=21285, wrong=8117, backtracks=3858, failedAssignments=4963, nogoods=762, foundSolutions=3, bestBound=22
5.53/3.03	    
5.53/3.08	    num=68, depth=7..21, filters=131129, ccks=255, wck=0.816, mem=45M83
5.53/3.08	    decisions=22929, wrong=8931, backtracks=4309, failedAssignments=5415, nogoods=769, foundSolutions=3, bestBound=22
5.53/3.08	    
5.63/3.12	    num=69, depth=1..54, filters=142971, ccks=255, wck=0.861, mem=45M83
5.63/3.12	    decisions=24688, wrong=9789, backtracks=4727, failedAssignments=5912, nogoods=780, foundSolutions=3, bestBound=22
5.63/3.12	    
5.63/3.15	    num=70, depth=35..131, filters=153138, ccks=255, wck=0.893, mem=45M83
5.63/3.15	    decisions=26432, wrong=10600, backtracks=4996, failedAssignments=6459, nogoods=799, foundSolutions=3, bestBound=22
5.63/3.15	    
5.73/3.20	    num=71, depth=1..44, filters=165201, ccks=255, wck=0.942, mem=45M83
5.73/3.20	    decisions=28634, wrong=11686, backtracks=5717, failedAssignments=7061, nogoods=810, foundSolutions=3, bestBound=22
5.73/3.20	    
5.73/3.27	    num=72, depth=1..22, filters=183196, ccks=255, wck=1.01, mem=45M83
5.73/3.27	    decisions=31207, wrong=12967, backtracks=6437, failedAssignments=7723, nogoods=818, foundSolutions=3, bestBound=22
5.73/3.27	    
5.83/3.33	    num=73, depth=8..26, filters=199101, ccks=255, wck=1.07, mem=45M83
5.83/3.33	    decisions=33891, wrong=14304, backtracks=7177, failedAssignments=8451, nogoods=826, foundSolutions=3, bestBound=22
5.83/3.33	    
5.83/3.39	    num=74, depth=1..52, filters=214584, ccks=255, wck=1.132, mem=45M83
5.83/3.39	    decisions=36759, wrong=15717, backtracks=7992, failedAssignments=9252, nogoods=847, foundSolutions=3, bestBound=22
5.83/3.39	    
5.93/3.48	    num=75, depth=24..47, filters=230544, ccks=255, wck=1.213, mem=45M83
5.93/3.48	    decisions=39426, wrong=17035, backtracks=8685, failedAssignments=10133, nogoods=859, foundSolutions=3, bestBound=22
5.93/3.48	    
6.03/3.57	    num=76, depth=15..35, filters=255711, ccks=255, wck=1.312, mem=45M83
6.03/3.57	    decisions=43159, wrong=18892, backtracks=9810, failedAssignments=11103, nogoods=865, foundSolutions=3, bestBound=22
6.03/3.57	    
6.14/3.67	    num=77, depth=3..64, filters=280559, ccks=255, wck=1.408, mem=45M83
6.14/3.67	    decisions=46923, wrong=20745, backtracks=10756, failedAssignments=12170, nogoods=875, foundSolutions=3, bestBound=22
6.14/3.67	    
6.24/3.73	    num=78, depth=37..247, filters=306465, ccks=255, wck=1.471, mem=45M83
6.24/3.73	    decisions=51283, wrong=22809, backtracks=11833, failedAssignments=13343, nogoods=909, foundSolutions=3, bestBound=22
6.24/3.73	    
6.34/3.83	    num=79, depth=1..116, filters=334067, ccks=255, wck=1.568, mem=45M83
6.34/3.83	    decisions=55819, wrong=25031, backtracks=12981, failedAssignments=14634, nogoods=932, foundSolutions=3, bestBound=22
6.34/3.83	    
6.45/3.98	    num=80, depth=1..41, filters=365432, ccks=255, wck=1.714, mem=45M83
6.45/3.98	    decisions=60483, wrong=27348, backtracks=14416, failedAssignments=16054, nogoods=956, foundSolutions=3, bestBound=22
6.45/3.98	    
6.66/4.15	    num=81, depth=1..70, filters=403889, ccks=255, wck=1.888, mem=45M83
6.66/4.15	    decisions=66010, wrong=30082, backtracks=16157, failedAssignments=17616, nogoods=975, foundSolutions=3, bestBound=22
6.66/4.15	    
6.85/4.31	    num=82, depth=1..35, filters=445761, ccks=255, wck=2.046, mem=45M83
6.85/4.31	    decisions=73274, wrong=33703, backtracks=18318, failedAssignments=19334, nogoods=985, foundSolutions=3, bestBound=22
6.85/4.31	    
6.85/4.33	o 21
6.85/4.33	    num=83, depth=1..671, filters=449008, ccks=340, wck=2.069, mem=45M83
6.85/4.33	    decisions=73903, wrong=33894, backtracks=18420, failedAssignments=19427, nogoods=1006, foundSolutions=4, bestBound=21
6.85/4.33	    
7.04/4.48	    num=84, depth=12..140, filters=500217, ccks=340, wck=2.222, mem=45M83
7.04/4.48	    decisions=81446, wrong=37605, backtracks=20679, failedAssignments=21506, nogoods=1041, foundSolutions=4, bestBound=21
7.04/4.48	    
7.04/4.49	    num=85, depth=1..28, filters=500576, ccks=340, wck=2.225, mem=45M83
7.04/4.49	    decisions=81510, wrong=37626, backtracks=20691, failedAssignments=21517, nogoods=1045, foundSolutions=4, bestBound=21
7.04/4.49	    
7.04/4.49	    num=86, depth=21..27, filters=500915, ccks=340, wck=2.228, mem=45M83
7.04/4.49	    decisions=81577, wrong=37647, backtracks=20702, failedAssignments=21529, nogoods=1053, foundSolutions=4, bestBound=21
7.04/4.49	    
7.04/4.49	    num=87, depth=1..24, filters=501366, ccks=340, wck=2.231, mem=45M83
7.04/4.49	    decisions=81646, wrong=37671, backtracks=20714, failedAssignments=21542, nogoods=1059, foundSolutions=4, bestBound=21
7.04/4.49	    
7.04/4.50	    num=88, depth=1..33, filters=501549, ccks=340, wck=2.233, mem=45M83
7.04/4.50	    decisions=81707, wrong=37688, backtracks=20720, failedAssignments=21556, nogoods=1065, foundSolutions=4, bestBound=21
7.04/4.50	    
7.24/4.50	    num=89, depth=18..29, filters=502077, ccks=340, wck=2.236, mem=45M83
7.24/4.50	    decisions=81800, wrong=37723, backtracks=20742, failedAssignments=21572, nogoods=1071, foundSolutions=4, bestBound=21
7.24/4.50	    
7.24/4.50	    num=90, depth=17..24, filters=502598, ccks=340, wck=2.24, mem=45M83
7.24/4.50	    decisions=81893, wrong=37760, backtracks=20764, failedAssignments=21589, nogoods=1079, foundSolutions=4, bestBound=21
7.24/4.50	    
7.24/4.50	    num=91, depth=22..30, filters=503071, ccks=340, wck=2.243, mem=45M83
7.24/4.50	    decisions=81983, wrong=37791, backtracks=20779, failedAssignments=21608, nogoods=1085, foundSolutions=4, bestBound=21
7.24/4.50	    
7.24/4.51	    num=92, depth=22..26, filters=503622, ccks=340, wck=2.246, mem=45M83
7.24/4.51	    decisions=82089, wrong=37833, backtracks=20803, failedAssignments=21629, nogoods=1092, foundSolutions=4, bestBound=21
7.24/4.51	    
7.24/4.51	    num=93, depth=23..30, filters=504169, ccks=340, wck=2.25, mem=45M83
7.24/4.51	    decisions=82198, wrong=37874, backtracks=20824, failedAssignments=21652, nogoods=1098, foundSolutions=4, bestBound=21
7.24/4.51	    
7.24/4.51	    num=94, depth=21..32, filters=504633, ccks=340, wck=2.253, mem=45M83
7.24/4.51	    decisions=82297, wrong=37912, backtracks=20838, failedAssignments=21677, nogoods=1105, foundSolutions=4, bestBound=21
7.24/4.51	    
7.24/4.52	    num=95, depth=21..28, filters=505381, ccks=340, wck=2.257, mem=45M83
7.24/4.52	    decisions=82429, wrong=37966, backtracks=20866, failedAssignments=21705, nogoods=1114, foundSolutions=4, bestBound=21
7.24/4.52	    
7.24/4.52	    num=96, depth=18..26, filters=506242, ccks=340, wck=2.262, mem=45M83
7.24/4.52	    decisions=82578, wrong=38030, backtracks=20907, failedAssignments=21736, nogoods=1116, foundSolutions=4, bestBound=21
7.24/4.52	    
7.24/4.53	    num=97, depth=13..23, filters=506791, ccks=340, wck=2.265, mem=45M83
7.24/4.53	    decisions=82695, wrong=38079, backtracks=20926, failedAssignments=21770, nogoods=1124, foundSolutions=4, bestBound=21
7.24/4.53	    
7.24/4.53	    num=98, depth=17..30, filters=507554, ccks=340, wck=2.27, mem=45M83
7.24/4.53	    decisions=82843, wrong=38141, backtracks=20952, failedAssignments=21807, nogoods=1127, foundSolutions=4, bestBound=21
7.24/4.53	    
7.24/4.54	    num=99, depth=1..37, filters=508304, ccks=340, wck=2.274, mem=45M83
7.24/4.54	    decisions=82993, wrong=38207, backtracks=20979, failedAssignments=21848, nogoods=1131, foundSolutions=4, bestBound=21
7.24/4.54	    
7.24/4.54	    num=100, depth=18..34, filters=509160, ccks=340, wck=2.279, mem=45M83
7.24/4.54	    decisions=83161, wrong=38276, backtracks=21006, failedAssignments=21893, nogoods=1138, foundSolutions=4, bestBound=21
7.24/4.54	    
7.24/4.55	    num=101, depth=18..28, filters=510270, ccks=340, wck=2.285, mem=45M83
7.24/4.55	    decisions=83368, wrong=38368, backtracks=21064, failedAssignments=21943, nogoods=1148, foundSolutions=4, bestBound=21
7.24/4.55	    
7.24/4.55	    num=102, depth=18..28, filters=511423, ccks=340, wck=2.291, mem=45M83
7.24/4.55	    decisions=83559, wrong=38453, backtracks=21103, failedAssignments=21998, nogoods=1154, foundSolutions=4, bestBound=21
7.24/4.55	    
7.24/4.56	    num=103, depth=1..23, filters=512866, ccks=340, wck=2.298, mem=45M83
7.24/4.56	    decisions=83804, wrong=38566, backtracks=21168, failedAssignments=22059, nogoods=1165, foundSolutions=4, bestBound=21
7.24/4.56	    
7.24/4.57	    num=104, depth=19..29, filters=514651, ccks=340, wck=2.307, mem=45M83
7.24/4.57	    decisions=84113, wrong=38709, backtracks=21260, failedAssignments=22126, nogoods=1174, foundSolutions=4, bestBound=21
7.24/4.57	    
7.24/4.58	    num=105, depth=18..38, filters=515828, ccks=340, wck=2.314, mem=45M83
7.24/4.58	    decisions=84378, wrong=38830, backtracks=21319, failedAssignments=22200, nogoods=1182, foundSolutions=4, bestBound=21
7.24/4.58	    
7.24/4.58	    num=106, depth=16..34, filters=516985, ccks=340, wck=2.319, mem=45M83
7.24/4.58	    decisions=84619, wrong=38938, backtracks=21354, failedAssignments=22281, nogoods=1187, foundSolutions=4, bestBound=21
7.24/4.58	    
7.24/4.59	    num=107, depth=17..26, filters=519478, ccks=340, wck=2.332, mem=45M83
7.24/4.59	    decisions=85033, wrong=39134, backtracks=21476, failedAssignments=22370, nogoods=1192, foundSolutions=4, bestBound=21
7.24/4.59	    
7.45/4.60	    num=108, depth=14..30, filters=521608, ccks=340, wck=2.342, mem=45M83
7.45/4.60	    decisions=85385, wrong=39296, backtracks=21549, failedAssignments=22468, nogoods=1198, foundSolutions=4, bestBound=21
7.45/4.60	    
7.45/4.62	    num=109, depth=16..28, filters=523913, ccks=340, wck=2.353, mem=45M83
7.45/4.62	    decisions=85779, wrong=39481, backtracks=21646, failedAssignments=22576, nogoods=1211, foundSolutions=4, bestBound=21
7.45/4.62	    
7.45/4.63	    num=110, depth=13..31, filters=527086, ccks=340, wck=2.366, mem=45M83
7.45/4.63	    decisions=86238, wrong=39698, backtracks=21758, failedAssignments=22695, nogoods=1217, foundSolutions=4, bestBound=21
7.45/4.63	    
7.45/4.64	    num=111, depth=14..35, filters=529076, ccks=340, wck=2.375, mem=47M726
7.45/4.64	    decisions=86655, wrong=39893, backtracks=21835, failedAssignments=22826, nogoods=1227, foundSolutions=4, bestBound=21
7.45/4.64	    
7.45/4.65	    num=112, depth=15..35, filters=532720, ccks=340, wck=2.389, mem=47M726
7.45/4.65	    decisions=87186, wrong=40143, backtracks=21954, failedAssignments=22970, nogoods=1233, foundSolutions=4, bestBound=21
7.45/4.65	    
7.45/4.67	    num=113, depth=19..31, filters=536414, ccks=340, wck=2.407, mem=47M726
7.45/4.67	    decisions=87799, wrong=40439, backtracks=22133, failedAssignments=23128, nogoods=1241, foundSolutions=4, bestBound=21
7.45/4.67	    
7.45/4.68	    num=114, depth=21..32, filters=539932, ccks=340, wck=2.422, mem=47M726
7.45/4.68	    decisions=88423, wrong=40739, backtracks=22288, failedAssignments=23302, nogoods=1247, foundSolutions=4, bestBound=21
7.45/4.68	    
7.59/4.70	    num=115, depth=8..34, filters=543833, ccks=340, wck=2.44, mem=47M726
7.59/4.70	    decisions=89102, wrong=41066, backtracks=22470, failedAssignments=23493, nogoods=1260, foundSolutions=4, bestBound=21
7.59/4.70	    
7.59/4.72	    num=116, depth=10..41, filters=548460, ccks=340, wck=2.46, mem=47M726
7.59/4.72	    decisions=89873, wrong=41439, backtracks=22666, failedAssignments=23704, nogoods=1271, foundSolutions=4, bestBound=21
7.59/4.72	    
7.59/4.74	    num=117, depth=8..33, filters=553828, ccks=340, wck=2.482, mem=47M726
7.59/4.74	    decisions=90767, wrong=41875, backtracks=22905, failedAssignments=23936, nogoods=1278, foundSolutions=4, bestBound=21
7.59/4.74	    
7.59/4.77	    num=118, depth=17..36, filters=560030, ccks=340, wck=2.509, mem=47M726
7.59/4.77	    decisions=91807, wrong=42382, backtracks=23216, failedAssignments=24191, nogoods=1285, foundSolutions=4, bestBound=21
7.59/4.77	    
7.59/4.80	    num=119, depth=9..47, filters=567078, ccks=340, wck=2.533, mem=47M726
7.59/4.80	    decisions=92737, wrong=42836, backtracks=23417, failedAssignments=24472, nogoods=1290, foundSolutions=4, bestBound=21
7.59/4.80	    
7.69/4.82	    num=120, depth=1..39, filters=573934, ccks=340, wck=2.56, mem=47M726
7.69/4.82	    decisions=93837, wrong=43371, backtracks=23691, failedAssignments=24781, nogoods=1301, foundSolutions=4, bestBound=21
7.69/4.82	    
7.69/4.85	    num=121, depth=1..45, filters=580089, ccks=340, wck=2.584, mem=47M726
7.69/4.85	    decisions=94947, wrong=43912, backtracks=23946, failedAssignments=25121, nogoods=1311, foundSolutions=4, bestBound=21
7.69/4.85	    
7.69/4.88	    num=122, depth=9..44, filters=588862, ccks=340, wck=2.617, mem=47M726
7.69/4.88	    decisions=96239, wrong=44541, backtracks=24242, failedAssignments=25495, nogoods=1324, foundSolutions=4, bestBound=21
7.69/4.88	    
7.80/4.91	    num=123, depth=16..35, filters=597552, ccks=340, wck=2.65, mem=47M726
7.80/4.91	    decisions=97669, wrong=45247, backtracks=24586, failedAssignments=25906, nogoods=1332, foundSolutions=4, bestBound=21
7.80/4.91	    
7.80/4.95	    num=124, depth=15..33, filters=607582, ccks=340, wck=2.691, mem=47M726
7.80/4.95	    decisions=99245, wrong=46025, backtracks=25007, failedAssignments=26358, nogoods=1340, foundSolutions=4, bestBound=21
7.80/4.95	    
7.91/5.01	    num=125, depth=1..44, filters=619957, ccks=340, wck=2.749, mem=47M726
7.91/5.01	    decisions=101063, wrong=46918, backtracks=25628, failedAssignments=26855, nogoods=1347, foundSolutions=4, bestBound=21
7.91/5.01	    
7.91/5.06	    num=126, depth=17..41, filters=632821, ccks=340, wck=2.801, mem=47M726
7.91/5.06	    decisions=103032, wrong=47890, backtracks=26123, failedAssignments=27402, nogoods=1358, foundSolutions=4, bestBound=21
7.91/5.06	    
8.02/5.13	    num=127, depth=1..50, filters=649145, ccks=340, wck=2.865, mem=47M726
8.02/5.13	    decisions=105563, wrong=49136, backtracks=26889, failedAssignments=28004, nogoods=1368, foundSolutions=4, bestBound=21
8.02/5.13	    
8.02/5.19	    num=128, depth=1..56, filters=665368, ccks=340, wck=2.929, mem=47M726
8.02/5.19	    decisions=108074, wrong=50367, backtracks=27602, failedAssignments=28666, nogoods=1378, foundSolutions=4, bestBound=21
8.02/5.19	    
8.12/5.26	    num=129, depth=4..69, filters=683027, ccks=340, wck=2.995, mem=47M726
8.12/5.26	    decisions=110570, wrong=51586, backtracks=28174, failedAssignments=29394, nogoods=1391, foundSolutions=4, bestBound=21
8.12/5.26	    
8.12/5.27	o 19
8.12/5.28	    num=130, depth=30..671, filters=685153, ccks=425, wck=3.008, mem=47M726
8.12/5.28	    decisions=110975, wrong=51685, backtracks=28218, failedAssignments=29454, nogoods=1421, foundSolutions=5, bestBound=19
8.12/5.28	    
8.27/5.31	    num=131, depth=28..187, filters=700070, ccks=425, wck=3.048, mem=47M726
8.27/5.31	    decisions=114018, wrong=53119, backtracks=29078, failedAssignments=30335, nogoods=1445, foundSolutions=5, bestBound=19
8.27/5.31	    
8.27/5.31	    num=132, depth=1..18, filters=700234, ccks=425, wck=3.05, mem=47M726
8.27/5.31	    decisions=114057, wrong=53132, backtracks=29080, failedAssignments=30346, nogoods=1455, foundSolutions=5, bestBound=19
8.27/5.31	    
8.27/5.31	    num=133, depth=2..14, filters=700470, ccks=425, wck=3.052, mem=47M726
8.27/5.31	    decisions=114106, wrong=53151, backtracks=29087, failedAssignments=30358, nogoods=1462, foundSolutions=5, bestBound=19
8.27/5.31	    
8.27/5.32	    num=134, depth=2..14, filters=700695, ccks=425, wck=3.054, mem=47M726
8.27/5.32	    decisions=114157, wrong=53171, backtracks=29094, failedAssignments=30371, nogoods=1470, foundSolutions=5, bestBound=19
8.27/5.32	    
8.27/5.32	    num=135, depth=10..19, filters=701178, ccks=425, wck=3.057, mem=47M726
8.27/5.32	    decisions=114236, wrong=53204, backtracks=29114, failedAssignments=30385, nogoods=1477, foundSolutions=5, bestBound=19
8.27/5.32	    
8.27/5.32	    num=136, depth=1..18, filters=701493, ccks=425, wck=3.059, mem=47M726
8.27/5.32	    decisions=114292, wrong=53225, backtracks=29119, failedAssignments=30401, nogoods=1489, foundSolutions=5, bestBound=19
8.27/5.32	    
8.27/5.32	    num=137, depth=11..17, filters=702022, ccks=425, wck=3.063, mem=47M726
8.27/5.32	    decisions=114373, wrong=53258, backtracks=29137, failedAssignments=30418, nogoods=1491, foundSolutions=5, bestBound=19
8.27/5.32	    
8.27/5.33	    num=138, depth=14..22, filters=702357, ccks=425, wck=3.065, mem=47M726
8.27/5.33	    decisions=114441, wrong=53285, backtracks=29147, failedAssignments=30437, nogoods=1495, foundSolutions=5, bestBound=19
8.27/5.33	    
8.27/5.33	    num=139, depth=11..18, filters=703050, ccks=425, wck=3.069, mem=47M726
8.27/5.33	    decisions=114541, wrong=53327, backtracks=29177, failedAssignments=30458, nogoods=1500, foundSolutions=5, bestBound=19
8.27/5.33	    
8.27/5.33	    num=140, depth=15..23, filters=703715, ccks=425, wck=3.072, mem=47M726
8.27/5.33	    decisions=114641, wrong=53368, backtracks=29199, failedAssignments=30481, nogoods=1508, foundSolutions=5, bestBound=19
8.27/5.33	    
8.27/5.34	    num=141, depth=12..18, filters=704487, ccks=425, wck=3.077, mem=47M726
8.27/5.34	    decisions=114763, wrong=53422, backtracks=29229, failedAssignments=30506, nogoods=1514, foundSolutions=5, bestBound=19
8.27/5.34	    
8.27/5.34	    num=142, depth=11..18, filters=705361, ccks=425, wck=3.081, mem=47M726
8.27/5.34	    decisions=114894, wrong=53481, backtracks=29267, failedAssignments=30534, nogoods=1520, foundSolutions=5, bestBound=19
8.27/5.34	    
8.27/5.35	    num=143, depth=14..23, filters=706295, ccks=425, wck=3.086, mem=47M726
8.27/5.35	    decisions=115040, wrong=53544, backtracks=29304, failedAssignments=30565, nogoods=1529, foundSolutions=5, bestBound=19
8.27/5.35	    
8.27/5.35	    num=144, depth=13..22, filters=707427, ccks=425, wck=3.091, mem=47M726
8.27/5.35	    decisions=115196, wrong=53612, backtracks=29339, failedAssignments=30599, nogoods=1534, foundSolutions=5, bestBound=19
8.27/5.35	    
8.27/5.36	    num=145, depth=13..42, filters=708059, ccks=425, wck=3.095, mem=47M726
8.27/5.36	    decisions=115335, wrong=53663, backtracks=29353, failedAssignments=30636, nogoods=1541, foundSolutions=5, bestBound=19
8.27/5.36	    
8.27/5.36	    num=146, depth=2..27, filters=709018, ccks=425, wck=3.1, mem=47M726
8.27/5.36	    decisions=115505, wrong=53739, backtracks=29395, failedAssignments=30677, nogoods=1546, foundSolutions=5, bestBound=19
8.27/5.36	    
8.27/5.37	    num=147, depth=16..59, filters=710868, ccks=425, wck=3.109, mem=47M726
8.27/5.37	    decisions=115738, wrong=53832, backtracks=29449, failedAssignments=30722, nogoods=1559, foundSolutions=5, bestBound=19
8.27/5.37	    
8.27/5.38	    num=148, depth=2..146, filters=712500, ccks=425, wck=3.119, mem=47M726
8.27/5.38	    decisions=116092, wrong=53939, backtracks=29511, failedAssignments=30772, nogoods=1573, foundSolutions=5, bestBound=19
8.27/5.38	    
8.27/5.39	    num=149, depth=1..62, filters=713874, ccks=425, wck=3.127, mem=47M726
8.27/5.39	    decisions=116298, wrong=54016, backtracks=29536, failedAssignments=30827, nogoods=1587, foundSolutions=5, bestBound=19
8.27/5.39	    
8.37/5.40	    num=150, depth=39..151, filters=716132, ccks=425, wck=3.136, mem=47M726
8.37/5.40	    decisions=116686, wrong=54137, backtracks=29601, failedAssignments=30888, nogoods=1606, foundSolutions=5, bestBound=19
8.37/5.40	    
8.37/5.41	    num=151, depth=1..25, filters=717610, ccks=425, wck=3.144, mem=47M726
8.37/5.41	    decisions=116954, wrong=54263, backtracks=29665, failedAssignments=30955, nogoods=1614, foundSolutions=5, bestBound=19
8.37/5.41	    
8.37/5.42	    num=152, depth=2..153, filters=719680, ccks=425, wck=3.154, mem=47M726
8.37/5.42	    decisions=117367, wrong=54400, backtracks=29737, failedAssignments=31029, nogoods=1634, foundSolutions=5, bestBound=19
8.37/5.42	    
8.37/5.42	    num=153, depth=1..23, filters=721911, ccks=425, wck=3.163, mem=47M726
8.37/5.42	    decisions=117714, wrong=54567, backtracks=29836, failedAssignments=31110, nogoods=1649, foundSolutions=5, bestBound=19
8.37/5.42	    
8.37/5.43	    num=154, depth=14..127, filters=724135, ccks=425, wck=3.173, mem=47M726
8.37/5.43	    decisions=118143, wrong=54724, backtracks=29910, failedAssignments=31199, nogoods=1674, foundSolutions=5, bestBound=19
8.37/5.43	    
8.37/5.45	    num=155, depth=1..28, filters=726838, ccks=425, wck=3.184, mem=47M726
8.37/5.45	    decisions=118554, wrong=54920, backtracks=30035, failedAssignments=31297, nogoods=1685, foundSolutions=5, bestBound=19
8.37/5.45	    
8.37/5.46	    num=156, depth=13..22, filters=729457, ccks=425, wck=3.194, mem=47M726
8.37/5.46	    decisions=118937, wrong=55102, backtracks=30114, failedAssignments=31405, nogoods=1689, foundSolutions=5, bestBound=19
8.37/5.46	    
8.37/5.47	    num=157, depth=14..24, filters=732417, ccks=425, wck=3.206, mem=47M726
8.37/5.47	    decisions=119422, wrong=55335, backtracks=30240, failedAssignments=31524, nogoods=1694, foundSolutions=5, bestBound=19
8.37/5.47	    
8.37/5.48	    num=158, depth=18..30, filters=735340, ccks=425, wck=3.218, mem=47M726
8.37/5.48	    decisions=119878, wrong=55552, backtracks=30338, failedAssignments=31655, nogoods=1702, foundSolutions=5, bestBound=19
8.37/5.48	    
8.37/5.50	    num=159, depth=18..29, filters=739058, ccks=425, wck=3.234, mem=47M726
8.37/5.50	    decisions=120465, wrong=55835, backtracks=30504, failedAssignments=31799, nogoods=1704, foundSolutions=5, bestBound=19
8.37/5.50	    
8.47/5.51	    num=160, depth=13..27, filters=743499, ccks=425, wck=3.252, mem=47M726
8.47/5.51	    decisions=121087, wrong=56136, backtracks=30660, failedAssignments=31957, nogoods=1708, foundSolutions=5, bestBound=19
8.47/5.51	    
8.47/5.53	    num=161, depth=21..34, filters=748663, ccks=425, wck=3.272, mem=47M726
8.47/5.53	    decisions=121820, wrong=56487, backtracks=30858, failedAssignments=32131, nogoods=1712, foundSolutions=5, bestBound=19
8.47/5.53	    
8.47/5.56	    num=162, depth=2..40, filters=754382, ccks=425, wck=3.296, mem=47M726
8.47/5.56	    decisions=122653, wrong=56891, backtracks=31130, failedAssignments=32322, nogoods=1716, foundSolutions=5, bestBound=19
8.47/5.56	    
8.47/5.59	    num=163, depth=20..158, filters=762668, ccks=425, wck=3.326, mem=47M726
8.47/5.59	    decisions=123645, wrong=57315, backtracks=31377, failedAssignments=32533, nogoods=1732, foundSolutions=5, bestBound=19
8.47/5.59	    
8.61/5.61	    num=164, depth=1..169, filters=768128, ccks=425, wck=3.343, mem=47M726
8.61/5.61	    decisions=124512, wrong=57671, backtracks=31515, failedAssignments=32765, nogoods=1758, foundSolutions=5, bestBound=19
8.61/5.61	    
8.61/5.63	    num=165, depth=1..27, filters=773765, ccks=425, wck=3.367, mem=47M726
8.61/5.63	    decisions=125472, wrong=58146, backtracks=31766, failedAssignments=33020, nogoods=1767, foundSolutions=5, bestBound=19
8.61/5.63	    
8.61/5.64	    num=166, depth=27..173, filters=778085, ccks=425, wck=3.38, mem=47M726
8.61/5.64	    decisions=126452, wrong=58558, backtracks=31914, failedAssignments=33301, nogoods=1795, foundSolutions=5, bestBound=19
8.61/5.64	    
8.61/5.67	    num=167, depth=1..32, filters=784770, ccks=425, wck=3.409, mem=47M726
8.61/5.67	    decisions=127461, wrong=59053, backtracks=32186, failedAssignments=33610, nogoods=1812, foundSolutions=5, bestBound=19
8.61/5.67	    
8.74/5.71	    num=168, depth=1..36, filters=793342, ccks=425, wck=3.445, mem=47M726
8.74/5.71	    decisions=128639, wrong=59632, backtracks=32480, failedAssignments=33950, nogoods=1825, foundSolutions=5, bestBound=19
8.74/5.71	    
8.74/5.74	    num=169, depth=1..35, filters=800729, ccks=425, wck=3.477, mem=47M726
8.74/5.74	    decisions=129898, wrong=60249, backtracks=32811, failedAssignments=34324, nogoods=1837, foundSolutions=5, bestBound=19
8.74/5.74	    
8.74/5.78	    num=170, depth=14..32, filters=809322, ccks=425, wck=3.515, mem=47M726
8.74/5.78	    decisions=131366, wrong=60972, backtracks=33228, failedAssignments=34735, nogoods=1858, foundSolutions=5, bestBound=19
8.74/5.78	    
8.85/5.82	    num=171, depth=1..34, filters=817996, ccks=425, wck=3.554, mem=47M726
8.85/5.82	    decisions=132864, wrong=61710, backtracks=33611, failedAssignments=35187, nogoods=1875, foundSolutions=5, bestBound=19
8.85/5.82	    
8.85/5.87	    num=172, depth=10..28, filters=830855, ccks=425, wck=3.606, mem=47M726
8.85/5.87	    decisions=135038, wrong=62791, backtracks=34292, failedAssignments=35684, nogoods=1881, foundSolutions=5, bestBound=19
8.85/5.87	    
8.95/5.91	    num=173, depth=1..161, filters=845806, ccks=425, wck=3.648, mem=47M726
8.95/5.91	    decisions=137150, wrong=63772, backtracks=34804, failedAssignments=36231, nogoods=1905, foundSolutions=5, bestBound=19
8.95/5.91	    
8.95/5.97	    num=174, depth=1..29, filters=861074, ccks=425, wck=3.712, mem=47M726
8.95/5.97	    decisions=139369, wrong=64871, backtracks=35409, failedAssignments=36833, nogoods=1914, foundSolutions=5, bestBound=19
8.95/5.97	    
9.06/6.02	    num=175, depth=13..34, filters=871838, ccks=425, wck=3.758, mem=47M726
9.06/6.02	    decisions=141350, wrong=65851, backtracks=35834, failedAssignments=37495, nogoods=1930, foundSolutions=5, bestBound=19
9.06/6.02	    
9.06/6.08	    num=176, depth=1..41, filters=888431, ccks=425, wck=3.82, mem=47M726
9.06/6.08	    decisions=143821, wrong=67075, backtracks=36457, failedAssignments=38223, nogoods=1942, foundSolutions=5, bestBound=19
9.06/6.08	    
9.16/6.17	    num=177, depth=13..68, filters=909176, ccks=425, wck=3.909, mem=50M368
9.16/6.17	    decisions=146691, wrong=68483, backtracks=37310, failedAssignments=39024, nogoods=1953, foundSolutions=5, bestBound=19
9.16/6.17	    
9.26/6.24	    num=178, depth=16..153, filters=929655, ccks=425, wck=3.979, mem=50M368
9.26/6.24	    decisions=149858, wrong=70003, backtracks=38067, failedAssignments=39905, nogoods=1979, foundSolutions=5, bestBound=19
9.26/6.24	    
9.40/6.31	    num=179, depth=1..156, filters=952626, ccks=425, wck=4.048, mem=50M368
9.40/6.31	    decisions=153163, wrong=71594, backtracks=38749, failedAssignments=40875, nogoods=2007, foundSolutions=5, bestBound=19
9.40/6.31	    
9.40/6.39	    num=180, depth=1..116, filters=975299, ccks=425, wck=4.126, mem=50M368
9.40/6.39	    decisions=156989, wrong=73461, backtracks=39630, failedAssignments=41942, nogoods=2035, foundSolutions=5, bestBound=19
9.40/6.39	    
9.52/6.45	    num=181, depth=1..156, filters=1000608, ccks=425, wck=4.188, mem=50M368
9.52/6.45	    decisions=160757, wrong=75276, backtracks=40354, failedAssignments=43115, nogoods=2066, foundSolutions=5, bestBound=19
9.52/6.45	    
9.72/6.62	    num=182, depth=1..64, filters=1041619, ccks=425, wck=4.357, mem=50M368
9.72/6.62	    decisions=165997, wrong=77884, backtracks=41786, failedAssignments=44406, nogoods=2077, foundSolutions=5, bestBound=19
9.72/6.62	    
9.83/6.70	    num=183, depth=15..139, filters=1071036, ccks=425, wck=4.442, mem=50M368
9.83/6.70	    decisions=170720, wrong=80182, backtracks=42801, failedAssignments=45826, nogoods=2098, foundSolutions=5, bestBound=19
9.83/6.70	    
9.94/6.84	    num=184, depth=1..27, filters=1103023, ccks=425, wck=4.582, mem=50M368
9.94/6.84	    decisions=176208, wrong=82917, backtracks=44375, failedAssignments=47388, nogoods=2106, foundSolutions=5, bestBound=19
9.94/6.84	    
10.04/6.99	    num=185, depth=10..34, filters=1139381, ccks=425, wck=4.732, mem=50M368
10.04/6.99	    decisions=182251, wrong=85932, backtracks=46057, failedAssignments=49106, nogoods=2118, foundSolutions=5, bestBound=19
10.04/6.99	    
10.26/7.18	    num=186, depth=8..28, filters=1186895, ccks=425, wck=4.923, mem=50M368
10.26/7.18	    decisions=189412, wrong=89504, backtracks=48093, failedAssignments=50996, nogoods=2126, foundSolutions=5, bestBound=19
10.26/7.18	    
10.46/7.35	    num=187, depth=13..139, filters=1231269, ccks=425, wck=5.084, mem=50M368
10.46/7.35	    decisions=196682, wrong=93079, backtracks=49874, failedAssignments=53075, nogoods=2144, foundSolutions=5, bestBound=19
10.46/7.35	    
10.66/7.56	    num=188, depth=1..99, filters=1289489, ccks=425, wck=5.3, mem=50M368
10.66/7.56	    decisions=205289, wrong=97350, backtracks=52302, failedAssignments=55362, nogoods=2168, foundSolutions=5, bestBound=19
10.66/7.56	    
10.86/7.79	    num=189, depth=1..32, filters=1343303, ccks=425, wck=5.526, mem=50M368
10.86/7.79	    decisions=214317, wrong=101857, backtracks=54715, failedAssignments=57878, nogoods=2184, foundSolutions=5, bestBound=19
10.86/7.79	    
11.17/8.03	    num=190, depth=12..30, filters=1406832, ccks=425, wck=5.766, mem=50M368
11.17/8.03	    decisions=224563, wrong=106970, backtracks=57478, failedAssignments=60646, nogoods=2193, foundSolutions=5, bestBound=19
11.17/8.03	    
11.36/8.21	    num=191, depth=17..138, filters=1465876, ccks=425, wck=5.951, mem=50M368
11.36/8.21	    decisions=234516, wrong=111891, backtracks=59704, failedAssignments=63690, nogoods=2231, foundSolutions=5, bestBound=19
11.36/8.21	    
11.66/8.52	    num=192, depth=1..43, filters=1541725, ccks=425, wck=6.262, mem=50M368
11.66/8.52	    decisions=246589, wrong=117915, backtracks=63308, failedAssignments=67039, nogoods=2250, foundSolutions=5, bestBound=19
11.66/8.52	    
11.97/8.84	    num=193, depth=22..41, filters=1617574, ccks=425, wck=6.577, mem=50M368
11.97/8.84	    decisions=259514, wrong=124362, backtracks=67131, failedAssignments=70723, nogoods=2263, foundSolutions=5, bestBound=19
11.97/8.84	    
12.37/9.26	    num=194, depth=3..28, filters=1725352, ccks=425, wck=6.995, mem=50M368
12.37/9.26	    decisions=275828, wrong=132515, backtracks=71941, failedAssignments=74775, nogoods=2272, foundSolutions=5, bestBound=19
12.37/9.26	    
12.67/9.58	    num=195, depth=1..165, filters=1836216, ccks=425, wck=7.316, mem=50M368
12.67/9.58	    decisions=291698, wrong=140378, backtracks=76061, failedAssignments=79232, nogoods=2309, foundSolutions=5, bestBound=19
12.67/9.58	    
13.07/9.96	    num=196, depth=1..153, filters=1948329, ccks=425, wck=7.697, mem=53M11
13.07/9.96	    decisions=309056, wrong=149001, backtracks=80331, failedAssignments=84135, nogoods=2333, foundSolutions=5, bestBound=19
13.07/9.96	    
13.37/10.27	    num=197, depth=1..156, filters=2067503, ccks=425, wck=8.012, mem=53M11
13.37/10.27	    decisions=327088, wrong=157950, backtracks=84355, failedAssignments=89529, nogoods=2362, foundSolutions=5, bestBound=19
13.37/10.27	    
13.77/10.66	    num=198, depth=12..112, filters=2205855, ccks=425, wck=8.393, mem=53M11
13.77/10.66	    decisions=348916, wrong=168822, backtracks=90048, failedAssignments=95462, nogoods=2378, foundSolutions=5, bestBound=19
13.77/10.66	    
14.37/11.20	    num=199, depth=1..53, filters=2341709, ccks=425, wck=8.941, mem=53M11
14.37/11.20	    decisions=372507, wrong=180608, backtracks=96570, failedAssignments=101988, nogoods=2392, foundSolutions=5, bestBound=19
14.37/11.20	    
14.97/11.85	    num=200, depth=6..56, filters=2499430, ccks=425, wck=9.589, mem=53M11
14.97/11.85	    decisions=397750, wrong=193213, backtracks=104057, failedAssignments=109167, nogoods=2407, foundSolutions=5, bestBound=19
14.97/11.85	    
15.67/12.56	    num=201, depth=1..43, filters=2684369, ccks=425, wck=10.295, mem=53M11
15.67/12.56	    decisions=427577, wrong=208112, backtracks=112413, failedAssignments=117064, nogoods=2426, foundSolutions=5, bestBound=19
15.67/12.56	    
16.57/13.48	    num=202, depth=21..48, filters=2926562, ccks=425, wck=11.22, mem=53M11
16.57/13.48	    decisions=460937, wrong=224779, backtracks=121812, failedAssignments=125751, nogoods=2438, foundSolutions=5, bestBound=19
16.57/13.48	    
17.47/14.31	    num=203, depth=2..66, filters=3119086, ccks=425, wck=12.047, mem=55M653
17.47/14.31	    decisions=492774, wrong=240678, backtracks=130655, failedAssignments=135306, nogoods=2453, foundSolutions=5, bestBound=19
17.47/14.31	    
18.18/15.01	    num=204, depth=4..139, filters=3352529, ccks=425, wck=12.745, mem=55M653
18.18/15.01	    decisions=527766, wrong=258114, backtracks=139309, failedAssignments=145817, nogoods=2490, foundSolutions=5, bestBound=19
18.18/15.01	    
19.28/16.12	    num=205, depth=1..31, filters=3625145, ccks=425, wck=13.855, mem=55M653
19.28/16.12	    decisions=569747, wrong=279096, backtracks=150298, failedAssignments=157379, nogoods=2498, foundSolutions=5, bestBound=19
19.28/16.12	    
20.37/17.24	    num=206, depth=4..34, filters=3913210, ccks=425, wck=14.979, mem=55M653
20.37/17.24	    decisions=614712, wrong=301572, backtracks=162100, failedAssignments=170097, nogoods=2509, foundSolutions=5, bestBound=19
20.37/17.24	    
21.67/18.57	    num=207, depth=11..59, filters=4234023, ccks=425, wck=16.308, mem=55M653
21.67/18.57	    decisions=666477, wrong=327436, backtracks=178369, failedAssignments=184087, nogoods=2532, foundSolutions=5, bestBound=19
21.67/18.57	    
23.18/20.10	    num=208, depth=1..78, filters=4584137, ccks=425, wck=17.842, mem=58M296
23.18/20.10	    decisions=723444, wrong=355890, backtracks=197950, failedAssignments=199476, nogoods=2554, foundSolutions=5, bestBound=19
23.18/20.10	    
24.57/21.41	    num=209, depth=2..154, filters=4972096, ccks=425, wck=19.149, mem=58M296
24.57/21.41	    decisions=782236, wrong=385221, backtracks=214459, failedAssignments=216404, nogoods=2574, foundSolutions=5, bestBound=19
24.57/21.41	    
26.39/23.29	    num=210, depth=4..58, filters=5376747, ccks=425, wck=21.026, mem=58M296
26.39/23.29	    decisions=848588, wrong=418383, backtracks=236159, failedAssignments=235025, nogoods=2596, foundSolutions=5, bestBound=19
26.39/23.29	    
28.30/25.16	    num=211, depth=12..40, filters=5864034, ccks=425, wck=22.901, mem=60M938
28.30/25.16	    decisions=928227, wrong=458191, backtracks=259580, failedAssignments=255509, nogoods=2606, foundSolutions=5, bestBound=19
28.30/25.16	    
29.89/26.72	    num=212, depth=13..151, filters=6442932, ccks=425, wck=24.46, mem=60M938
29.89/26.72	    decisions=1007109, wrong=497563, backtracks=279771, failedAssignments=278041, nogoods=2629, foundSolutions=5, bestBound=19
29.89/26.72	    
31.89/28.78	    num=213, depth=1..55, filters=6941352, ccks=425, wck=26.518, mem=63M581
31.89/28.78	    decisions=1095872, wrong=541927, backtracks=306500, failedAssignments=302826, nogoods=2636, foundSolutions=5, bestBound=19
31.89/28.78	    
34.20/31.03	    num=214, depth=7..52, filters=7521835, ccks=425, wck=28.765, mem=63M581
34.20/31.03	    decisions=1195959, wrong=591957, backtracks=334673, failedAssignments=330090, nogoods=2650, foundSolutions=5, bestBound=19
34.20/31.03	    
36.99/33.86	    num=215, depth=10..47, filters=8221859, ccks=425, wck=31.598, mem=66M223
36.99/33.86	    decisions=1308926, wrong=648429, backtracks=367742, failedAssignments=360080, nogoods=2663, foundSolutions=5, bestBound=19
36.99/33.86	    
40.39/37.29	    num=216, depth=1..47, filters=9016319, ccks=425, wck=35.024, mem=68M865
40.39/37.29	    decisions=1432105, wrong=710006, backtracks=408295, failedAssignments=393069, nogoods=2682, foundSolutions=5, bestBound=19
40.39/37.29	    
43.59/40.41	    num=217, depth=2..54, filters=9787980, ccks=425, wck=38.146, mem=68M865
43.59/40.41	    decisions=1565632, wrong=776755, backtracks=448970, failedAssignments=429357, nogoods=2697, foundSolutions=5, bestBound=19
43.59/40.41	    
47.20/44.03	    num=218, depth=1..78, filters=10751026, ccks=425, wck=41.767, mem=71M508
47.20/44.03	    decisions=1725279, wrong=856549, backtracks=497408, failedAssignments=469274, nogoods=2721, foundSolutions=5, bestBound=19
47.20/44.03	    
49.99/46.87	    num=219, depth=6..196, filters=11810985, ccks=425, wck=44.613, mem=74M150
49.99/46.87	    decisions=1889151, wrong=938400, backtracks=547231, failedAssignments=513183, nogoods=2758, foundSolutions=5, bestBound=19
49.99/46.87	    
54.49/51.39	    num=220, depth=1..54, filters=12933077, ccks=425, wck=49.126, mem=76M793
54.49/51.39	    decisions=2065597, wrong=1026606, backtracks=599409, failedAssignments=561483, nogoods=2777, foundSolutions=5, bestBound=19
54.49/51.39	    
59.89/56.76	    num=221, depth=3..54, filters=14195486, ccks=425, wck=54.496, mem=79M435
59.89/56.76	    decisions=2256528, wrong=1122057, backtracks=654053, failedAssignments=614613, nogoods=2789, foundSolutions=5, bestBound=19
59.89/56.76	    
66.20/63.08	    num=222, depth=1..53, filters=15805512, ccks=425, wck=60.819, mem=82M78
66.20/63.08	    decisions=2493808, wrong=1240681, backtracks=727820, failedAssignments=673056, nogoods=2806, foundSolutions=5, bestBound=19
66.20/63.08	    
72.10/69.00	    num=223, depth=5..57, filters=17195322, ccks=425, wck=66.733, mem=84M720
72.10/69.00	    decisions=2718258, wrong=1352890, backtracks=792364, failedAssignments=737343, nogoods=2820, foundSolutions=5, bestBound=19
72.10/69.00	    
78.91/75.76	    num=224, depth=26..69, filters=18886559, ccks=425, wck=73.493, mem=90M5
78.91/75.76	    decisions=2978986, wrong=1483231, backtracks=867271, failedAssignments=808059, nogoods=2840, foundSolutions=5, bestBound=19
78.91/75.76	    
81.70/78.55	    num=225, depth=31..206, filters=20479636, ccks=425, wck=76.284, mem=92M647
81.70/78.55	    decisions=3209250, wrong=1598268, backtracks=909511, failedAssignments=885846, nogoods=2887, foundSolutions=5, bestBound=19
81.70/78.55	    
87.50/84.31	    num=226, depth=1..180, filters=22386540, ccks=425, wck=82.046, mem=95M290
87.50/84.31	    decisions=3517052, wrong=1752088, backtracks=1000835, failedAssignments=971412, nogoods=2924, foundSolutions=5, bestBound=19
87.50/84.31	    
96.91/93.72	    num=227, depth=1..47, filters=24536670, ccks=425, wck=91.458, mem=100M575
96.91/93.72	    decisions=3868416, wrong=1927760, backtracks=1105610, failedAssignments=1065535, nogoods=2951, foundSolutions=5, bestBound=19
96.91/93.72	    
107.41/104.28	    num=228, depth=1..46, filters=27050747, ccks=425, wck=102.016, mem=105M859
107.41/104.28	    decisions=4282541, wrong=2134811, backtracks=1237926, failedAssignments=1169070, nogoods=2971, foundSolutions=5, bestBound=19
107.41/104.28	    
118.41/115.27	    num=229, depth=1..55, filters=29721241, ccks=425, wck=113.007, mem=111M144
118.41/115.27	    decisions=4712693, wrong=2349876, backtracks=1365455, failedAssignments=1282959, nogoods=2990, foundSolutions=5, bestBound=19
118.41/115.27	    
130.51/127.39	    num=230, depth=1..52, filters=32723025, ccks=425, wck=125.132, mem=119M72
130.51/127.39	    decisions=5202691, wrong=2594861, backtracks=1521337, failedAssignments=1408237, nogoods=3012, foundSolutions=5, bestBound=19
130.51/127.39	    
139.12/135.93	    num=231, depth=1..168, filters=35767870, ccks=425, wck=133.671, mem=126M999
139.12/135.93	    decisions=5703204, wrong=2845051, backtracks=1658869, failedAssignments=1546043, nogoods=3042, foundSolutions=5, bestBound=19
139.12/135.93	    
154.62/151.46	    num=232, depth=1..80, filters=39337219, ccks=425, wck=149.199, mem=134M926
154.62/151.46	    decisions=6273124, wrong=3129985, backtracks=1843947, failedAssignments=1697629, nogoods=3066, foundSolutions=5, bestBound=19
154.62/151.46	    
172.23/169.08	    num=233, depth=11..43, filters=43414812, ccks=425, wck=166.815, mem=142M778
172.23/169.08	    decisions=6897359, wrong=3442093, backtracks=2034993, failedAssignments=1864374, nogoods=3085, foundSolutions=5, bestBound=19
172.23/169.08	    
185.66/182.44	    num=234, depth=10..153, filters=47421296, ccks=425, wck=180.175, mem=29M784
185.66/182.44	    decisions=7540786, wrong=3763739, backtracks=2209366, failedAssignments=2047793, nogoods=3123, foundSolutions=5, bestBound=19
185.66/182.44	    
208.76/205.52	    num=235, depth=1..63, filters=52642697, ccks=425, wck=203.258, mem=42M864
208.76/205.52	    decisions=8303999, wrong=4145327, backtracks=2485812, failedAssignments=2249554, nogoods=3142, foundSolutions=5, bestBound=19
208.76/205.52	    
231.08/227.85	    num=236, depth=2..54, filters=58286967, ccks=425, wck=225.583, mem=53M328
231.08/227.85	    decisions=9221498, wrong=4604062, backtracks=2779329, failedAssignments=2471492, nogoods=3159, foundSolutions=5, bestBound=19
231.08/227.85	    
239.88/236.60	    num=237, depth=8..248, filters=63356910, ccks=425, wck=234.34, mem=63M792
239.88/236.60	    decisions=9986502, wrong=4986460, backtracks=2939856, failedAssignments=2715623, nogoods=3211, foundSolutions=5, bestBound=19
239.88/236.60	    
267.98/264.76	    num=238, depth=4..51, filters=69716199, ccks=425, wck=262.493, mem=79M488
267.98/264.76	    decisions=11042712, wrong=5514556, backtracks=3285650, failedAssignments=2984168, nogoods=3228, foundSolutions=5, bestBound=19
267.98/264.76	    
293.29/290.04	    num=239, depth=12..63, filters=76363897, ccks=425, wck=287.782, mem=95M184
293.29/290.04	    decisions=12171327, wrong=6078850, backtracks=3633854, failedAssignments=3279567, nogoods=3247, foundSolutions=5, bestBound=19
293.29/290.04	    
321.90/318.63	    num=240, depth=1..54, filters=83600257, ccks=425, wck=316.364, mem=110M880
321.90/318.63	    decisions=13367723, wrong=6677031, backtracks=4004093, failedAssignments=3604506, nogoods=3274, foundSolutions=5, bestBound=19
321.90/318.63	    
354.90/351.67	    num=241, depth=1..55, filters=92179310, ccks=425, wck=349.408, mem=129M192
354.90/351.67	    decisions=14752480, wrong=7369398, backtracks=4420439, failedAssignments=3961939, nogoods=3294, foundSolutions=5, bestBound=19
354.90/351.67	    
390.21/386.95	    num=242, depth=1..69, filters=101467789, ccks=425, wck=384.691, mem=150M119
390.21/386.95	    decisions=16181927, wrong=8084105, backtracks=4830890, failedAssignments=4355115, nogoods=3309, foundSolutions=5, bestBound=19
390.21/386.95	    
430.95/427.62	    num=243, depth=1..87, filters=111727029, ccks=425, wck=425.355, mem=40M346
430.95/427.62	    decisions=17808376, wrong=8897304, backtracks=5360572, failedAssignments=4787609, nogoods=3324, foundSolutions=5, bestBound=19
430.95/427.62	    
473.46/470.11	    num=244, depth=6..50, filters=122434954, ccks=425, wck=467.846, mem=63M973
473.46/470.11	    decisions=19584450, wrong=9785331, backtracks=5889113, failedAssignments=5263353, nogoods=3351, foundSolutions=5, bestBound=19
473.46/470.11	    
503.26/499.97	    num=245, depth=45..177, filters=133432103, ccks=425, wck=497.705, mem=84M975
503.26/499.97	    decisions=21308990, wrong=10647537, backtracks=6272682, failedAssignments=5786671, nogoods=3395, foundSolutions=5, bestBound=19
503.26/499.97	    
556.17/552.80	    num=246, depth=1..54, filters=146542793, ccks=425, wck=550.539, mem=116M477
556.17/552.80	    decisions=23462659, wrong=11724358, backtracks=6944408, failedAssignments=6362321, nogoods=3421, foundSolutions=5, bestBound=19
556.17/552.80	    
616.78/613.50	    num=247, depth=6..63, filters=160241906, ccks=425, wck=611.234, mem=147M980
616.78/613.50	    decisions=25743029, wrong=12864527, backtracks=7652282, failedAssignments=6995536, nogoods=3442, foundSolutions=5, bestBound=19
616.78/613.50	    
684.35/680.96	    num=248, depth=4..56, filters=177495700, ccks=425, wck=678.701, mem=53M609
684.35/680.96	    decisions=28473060, wrong=14229530, backtracks=8509749, failedAssignments=7692072, nogoods=3459, foundSolutions=5, bestBound=19
684.35/680.96	    
754.98/751.53	    num=249, depth=19..54, filters=194732055, ccks=425, wck=749.27, mem=95M709
754.98/751.53	    decisions=31384065, wrong=15685017, backtracks=9464922, failedAssignments=8458262, nogoods=3484, foundSolutions=5, bestBound=19
754.98/751.53	    
805.78/802.36	    num=250, depth=1..187, filters=212875980, ccks=425, wck=800.093, mem=135M178
805.78/802.36	    decisions=34298293, wrong=17142055, backtracks=10340828, failedAssignments=9301071, nogoods=3536, foundSolutions=5, bestBound=19
805.78/802.36	    
885.22/881.78	    num=251, depth=1..69, filters=232721807, ccks=425, wck=879.517, mem=55M813
885.22/881.78	    decisions=37775128, wrong=18880456, backtracks=11578691, failedAssignments=10228161, nogoods=3564, foundSolutions=5, bestBound=19
885.22/881.78	    
943.25/939.72	    num=252, depth=2..214, filters=257081168, ccks=425, wck=937.453, mem=102M493
943.25/939.72	    decisions=41282390, wrong=20634008, backtracks=12528513, failedAssignments=11247960, nogoods=3632, foundSolutions=5, bestBound=19
943.25/939.72	    
1051.22/1047.70	    num=253, depth=1..67, filters=282009012, ccks=425, wck=1045.434, mem=29M750
1051.22/1047.70	    decisions=45332187, wrong=22658894, backtracks=13787383, failedAssignments=12369739, nogoods=3659, foundSolutions=5, bestBound=19
1051.22/1047.70	    
1173.95/1170.36	    num=254, depth=13..53, filters=313545159, ccks=425, wck=1168.095, mem=98M706
1173.95/1170.36	    decisions=50391748, wrong=25188662, backtracks=15394212, failedAssignments=13603696, nogoods=3677, foundSolutions=5, bestBound=19
1173.95/1170.36	    
1293.41/1289.74	    num=255, depth=7..64, filters=343447109, ccks=425, wck=1287.476, mem=39M724
1293.41/1289.74	    decisions=55411630, wrong=27698590, backtracks=16951415, failedAssignments=14961049, nogoods=3689, foundSolutions=5, bestBound=19
1293.41/1289.74	    
1423.23/1419.52	    num=256, depth=12..51, filters=376802668, ccks=425, wck=1417.254, mem=117M648
1423.23/1419.52	    decisions=61002939, wrong=30494232, backtracks=18686028, failedAssignments=16454137, nogoods=3703, foundSolutions=5, bestBound=19
1423.23/1419.52	    
1582.99/1579.28	    num=257, depth=1..67, filters=416600108, ccks=425, wck=1577.013, mem=79M35
1582.99/1579.28	    decisions=67320841, wrong=33653164, backtracks=20616826, failedAssignments=18096534, nogoods=3730, foundSolutions=5, bestBound=19
1582.99/1579.28	    
1733.84/1730.03	    num=258, depth=1..94, filters=456410835, ccks=425, wck=1727.767, mem=44M45
1733.84/1730.03	    decisions=73755495, wrong=36870459, backtracks=22544964, failedAssignments=19903171, nogoods=3743, foundSolutions=5, bestBound=19
1733.84/1730.03	    
1870.27/1866.46	    num=259, depth=2..191, filters=497063643, ccks=425, wck=1864.194, mem=136M442
1870.27/1866.46	    decisions=80549970, wrong=40267627, backtracks=24359158, failedAssignments=21890472, nogoods=3792, foundSolutions=5, bestBound=19
1870.27/1866.46	    
1997.50/1993.66	    num=260, depth=1..176, filters=544301695, ccks=425, wck=1991.396, mem=113M14
1997.50/1993.66	    decisions=87965532, wrong=43975342, backtracks=26275528, failedAssignments=24076503, nogoods=3831, foundSolutions=5, bestBound=19
1997.50/1993.66	    
2142.43/2138.57	    num=261, depth=12..153, filters=598061937, ccks=425, wck=2136.305, mem=97M713
2142.43/2138.57	    decisions=96166687, wrong=48075866, backtracks=28271350, failedAssignments=26481137, nogoods=3872, foundSolutions=5, bestBound=19
2142.43/2138.57	    
2373.02/2369.10	    num=262, depth=1..97, filters=660208870, ccks=425, wck=2366.833, mem=129M293
2373.02/2369.10	    decisions=106243406, wrong=53114200, backtracks=31795290, failedAssignments=29126234, nogoods=3903, foundSolutions=5, bestBound=19
2373.02/2369.10	    
2520.05/2516.01	
2520.05/2516.01	v <instantiation id='sol5' type='solution' cost='19'>  <list> p[] r[][] </list>  <values> 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 1 2 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 13 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 9 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 5 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 5 1 0 0 2 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 5 0 7 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 4 1 0 10 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 4 0 9 0 0 0 0 1 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 1 5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 5 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 2 1 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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>
2520.05/2516.01	s SATISFIABLE

Verifier Data 

OK	19

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391012-1568380653/watcher-4391012-1568380653 -o /tmp/evaluation-result-4391012-1568380653/solver-4391012-1568380653 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30428 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391012-1568380653.xml -cm 

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

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

solver pid=31418, runsolver pid=31415

[startup+0.100134 s]*
/proc/loadavg: 2.14 0.86 0.36 4/229 31433
/proc/meminfo: memFree=31181196/32770624 swapFree=66981380/67108860
[pid=31418] ppid=31415 vsize=10659884 memory=29560 CPUtime=0.13 cores=0,2,4,6
/proc/31418/stat : 31418 (java) S 31415 31418 30397 0 -1 1077944320 5371 0 0 0 12 1 0 0 20 0 15 0 414327983 10915721216 7390 33554432000 4194304 4196468 140729813281888 140729813264432 139919740927735 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
/proc/31418/statm: 2664971 7390 2873 1 0 2627468 0
[pid=31418/tid=31420] ppid=31415 vsize=10659884 memory=-8125511277465735038 CPUtime=0.1 cores=0,2,4,6
/proc/31418/task/31420/stat : 31420 (java) R 31415 31418 30397 0 -1 4202560 3228 0 0 0 9 1 0 0 20 0 15 0 414327983 10915721216 7390 33554432000 4194304 4196468 140729813281888 139919745157024 139919724971365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31421] ppid=31415 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31421/stat : 31421 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 7390 33554432000 4194304 4196468 140729813281888 139919701887888 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31422] ppid=31415 vsize=10659884 memory=140268970407552 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31422/stat : 31422 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 7390 33554432000 4194304 4196468 140729813281888 139919700835088 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31423] ppid=31415 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31423/stat : 31423 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 7390 33554432000 4194304 4196468 140729813281888 139919346080912 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31424] ppid=31415 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31424/stat : 31424 (java) S 31415 31418 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 7390 33554432000 4194304 4196468 140729813281888 139919345028112 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31425] ppid=31415 vsize=10659884 memory=140268970407552 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31425/stat : 31425 (java) S 31415 31418 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327985 10915721216 7390 33554432000 4194304 4196468 140729813281888 139919300077680 139919740938882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31426] ppid=31415 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31426/stat : 31426 (java) S 31415 31418 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327986 10915721216 7390 33554432000 4194304 4196468 140729813281888 139919299023648 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31427] ppid=31415 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31427/stat : 31427 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327986 10915721216 7390 33554432000 4194304 4196468 140729813281888 139918773838960 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31428] ppid=31415 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31428/stat : 31428 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327988 10915721216 7390 33554432000 4194304 4196468 140729813281888 139918772787280 139919740946331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31429] ppid=31415 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31429/stat : 31429 (java) R 31415 31418 30397 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 414327988 10915721216 7390 33554432000 4194304 4196468 140729813281888 139918771735152 139919740938882 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31430] ppid=31415 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31430/stat : 31430 (java) R 31415 31418 30397 0 -1 4202560 168 0 0 0 0 0 0 0 20 0 15 0 414327988 10915721216 7390 33554432000 4194304 4196468 140729813281888 139918770682352 139919726049917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31431] ppid=31415 vsize=10659884 memory=140268970407552 CPUtime=0.02 cores=0,2,4,6
/proc/31418/task/31431/stat : 31431 (java) R 31415 31418 30397 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 414327988 10915721216 7390 33554432000 4194304 4196468 140729813281888 139918769630064 139919726093374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31432] ppid=31415 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31432/stat : 31432 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327989 10915721216 7390 33554432000 4194304 4196468 140729813281888 139918768577504 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31433] ppid=31415 vsize=10659884 memory=140268970407552 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31433/stat : 31433 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327989 10915721216 7390 33554432000 4194304 4196468 140729813281888 139918767524272 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29560 KiB

[startup+0.210752 s]*
/proc/loadavg: 2.14 0.86 0.36 5/229 31433
/proc/meminfo: memFree=31169064/32770624 swapFree=66981380/67108860
[pid=31418] ppid=31415 vsize=10659884 memory=39700 CPUtime=0.33 cores=0,2,4,6
/proc/31418/stat : 31418 (java) S 31415 31418 30397 0 -1 1077944320 9158 0 0 0 30 3 0 0 20 0 15 0 414327983 10915721216 9925 33554432000 4194304 4196468 140729813281888 140729813264432 139919740927735 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
/proc/31418/statm: 2664971 9925 2989 1 0 2627468 0
[pid=31418/tid=31420] ppid=31415 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31418/task/31420/stat : 31420 (java) R 31415 31418 30397 0 -1 4202560 6131 0 0 0 18 2 0 0 20 0 15 0 414327983 10915721216 9925 33554432000 4194304 4196468 140729813281888 139919745154096 139919740949661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31421] ppid=31415 vsize=10659884 memory=342 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31421/stat : 31421 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 9925 33554432000 4194304 4196468 140729813281888 139919701887888 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31422] ppid=31415 vsize=10659884 memory=288370645122119296 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31422/stat : 31422 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 9925 33554432000 4194304 4196468 140729813281888 139919700835088 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31423] ppid=31415 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31423/stat : 31423 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 9925 33554432000 4194304 4196468 140729813281888 139919346080912 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31424] ppid=31415 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31424/stat : 31424 (java) S 31415 31418 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 9925 33554432000 4194304 4196468 140729813281888 139919345028112 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31425] ppid=31415 vsize=10659884 memory=140268970407552 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31425/stat : 31425 (java) S 31415 31418 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327985 10915721216 9925 33554432000 4194304 4196468 140729813281888 139919300077680 139919740938882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31426] ppid=31415 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31426/stat : 31426 (java) S 31415 31418 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327986 10915721216 9925 33554432000 4194304 4196468 140729813281888 139919299023648 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31427] ppid=31415 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31427/stat : 31427 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327986 10915721216 9925 33554432000 4194304 4196468 140729813281888 139918773838960 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31428] ppid=31415 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31428/stat : 31428 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327988 10915721216 9925 33554432000 4194304 4196468 140729813281888 139918772787280 139919740946331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31429] ppid=31415 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31418/task/31429/stat : 31429 (java) S 31415 31418 30397 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 15 0 414327988 10915721216 9925 33554432000 4194304 4196468 140729813281888 139918771735152 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31430] ppid=31415 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/31418/task/31430/stat : 31430 (java) S 31415 31418 30397 0 -1 1077944384 388 0 0 0 3 0 0 0 20 0 15 0 414327988 10915721216 9925 33554432000 4194304 4196468 140729813281888 139918770682352 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31431] ppid=31415 vsize=10659884 memory=140268970407552 CPUtime=0.05 cores=0,2,4,6
/proc/31418/task/31431/stat : 31431 (java) S 31415 31418 30397 0 -1 1077944384 746 0 0 0 5 0 0 0 20 0 15 0 414327988 10915721216 9925 33554432000 4194304 4196468 140729813281888 139918769630064 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31432] ppid=31415 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31432/stat : 31432 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327989 10915721216 9925 33554432000 4194304 4196468 140729813281888 139918768577504 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31433] ppid=31415 vsize=10659884 memory=140268970407552 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31433/stat : 31433 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327989 10915721216 9925 33554432000 4194304 4196468 140729813281888 139918767524272 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39700 KiB

[startup+0.310194 s]*
/proc/loadavg: 2.14 0.86 0.36 4/229 31433
/proc/meminfo: memFree=31166908/32770624 swapFree=66981380/67108860
[pid=31418] ppid=31415 vsize=10659884 memory=42492 CPUtime=0.47 cores=0,2,4,6
/proc/31418/stat : 31418 (java) S 31415 31418 30397 0 -1 1077944320 9356 0 0 0 44 3 0 0 20 0 15 0 414327983 10915721216 10623 33554432000 4194304 4196468 140729813281888 140729813264432 139919740927735 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
/proc/31418/statm: 2664971 10623 3007 1 0 2627468 0
[pid=31418/tid=31420] ppid=31415 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/31418/task/31420/stat : 31420 (java) R 31415 31418 30397 0 -1 4202560 6255 0 0 0 28 2 0 0 20 0 15 0 414327983 10915721216 10623 33554432000 4194304 4196468 140729813281888 139919745166720 139919740949661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31421] ppid=31415 vsize=10659884 memory=4297963160 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31421/stat : 31421 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 10623 33554432000 4194304 4196468 140729813281888 139919701887888 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31422] ppid=31415 vsize=10659884 memory=288370645122119296 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31422/stat : 31422 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 10623 33554432000 4194304 4196468 140729813281888 139919700835088 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31423] ppid=31415 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31423/stat : 31423 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 10623 33554432000 4194304 4196468 140729813281888 139919346080912 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31424] ppid=31415 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31424/stat : 31424 (java) S 31415 31418 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327984 10915721216 10623 33554432000 4194304 4196468 140729813281888 139919345028112 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31425] ppid=31415 vsize=10659884 memory=140268970407552 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31425/stat : 31425 (java) S 31415 31418 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327985 10915721216 10623 33554432000 4194304 4196468 140729813281888 139919300077680 139919740938882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31426] ppid=31415 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31426/stat : 31426 (java) S 31415 31418 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327986 10915721216 10623 33554432000 4194304 4196468 140729813281888 139919299023648 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31427] ppid=31415 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31427/stat : 31427 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327986 10915721216 10623 33554432000 4194304 4196468 140729813281888 139918773838960 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31428] ppid=31415 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31428/stat : 31428 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327988 10915721216 10623 33554432000 4194304 4196468 140729813281888 139918772787280 139919740946331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31429] ppid=31415 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31418/task/31429/stat : 31429 (java) S 31415 31418 30397 0 -1 1077944384 570 0 0 0 3 0 0 0 20 0 15 0 414327988 10915721216 10623 33554432000 4194304 4196468 140729813281888 139918771735152 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31430] ppid=31415 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/31418/task/31430/stat : 31430 (java) S 31415 31418 30397 0 -1 1077944384 422 0 0 0 4 0 0 0 20 0 15 0 414327988 10915721216 10623 33554432000 4194304 4196468 140729813281888 139918770682352 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31431] ppid=31415 vsize=10659884 memory=140268970407552 CPUtime=0.08 cores=0,2,4,6
/proc/31418/task/31431/stat : 31431 (java) S 31415 31418 30397 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 15 0 414327988 10915721216 10623 33554432000 4194304 4196468 140729813281888 139918769630064 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31432] ppid=31415 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31432/stat : 31432 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327989 10915721216 10623 33554432000 4194304 4196468 140729813281888 139918768577504 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31433] ppid=31415 vsize=10659884 memory=140268970407552 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31433/stat : 31433 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327989 10915721216 10623 33554432000 4194304 4196468 140729813281888 139918767524272 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 42492 KiB

[startup+0.708828 s]
/proc/loadavg: 2.14 0.86 0.36 3/229 31433
/proc/meminfo: memFree=31157532/32770624 swapFree=66981380/67108860
[pid=31418] ppid=31415 vsize=10661932 memory=64276 CPUtime=1.1 cores=0,2,4,6
/proc/31418/stat : 31418 (java) S 31415 31418 30397 0 -1 1077944320 12571 0 0 0 105 5 0 0 20 0 15 0 414327983 10917818368 16069 33554432000 4194304 4196468 140729813281888 140729813264432 139919740927735 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
/proc/31418/statm: 2665483 16069 3073 1 0 2627980 0
[pid=31418/tid=31420] ppid=31415 vsize=10661932 memory=275238214471200 CPUtime=0.69 cores=0,2,4,6
/proc/31418/task/31420/stat : 31420 (java) R 31415 31418 30397 0 -1 4202560 8827 0 0 0 65 4 0 0 20 0 15 0 414327983 10917818368 16069 33554432000 4194304 4196468 140729813281888 139919745142928 139919724114561 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31421] ppid=31415 vsize=10661932 memory=3158301 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31421/stat : 31421 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10917818368 16069 33554432000 4194304 4196468 140729813281888 139919701887888 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31422] ppid=31415 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31422/stat : 31422 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10917818368 16069 33554432000 4194304 4196468 140729813281888 139919700835088 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31423] ppid=31415 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31423/stat : 31423 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10917818368 16069 33554432000 4194304 4196468 140729813281888 139919346080912 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31424] ppid=31415 vsize=10661932 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31424/stat : 31424 (java) S 31415 31418 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327984 10917818368 16069 33554432000 4194304 4196468 140729813281888 139919345028112 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31425] ppid=31415 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31425/stat : 31425 (java) S 31415 31418 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327985 10917818368 16069 33554432000 4194304 4196468 140729813281888 139919300077680 139919740938882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31426] ppid=31415 vsize=10661932 memory=-3535359994705171041 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31426/stat : 31426 (java) S 31415 31418 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327986 10917818368 16069 33554432000 4194304 4196468 140729813281888 139919299023648 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31427] ppid=31415 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31427/stat : 31427 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327986 10917818368 16069 33554432000 4194304 4196468 140729813281888 139918773838960 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31428] ppid=31415 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31428/stat : 31428 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327988 10917818368 16069 33554432000 4194304 4196468 140729813281888 139918772787280 139919740946331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31429] ppid=31415 vsize=10661932 memory=6944656592455360604 CPUtime=0.1 cores=0,2,4,6
/proc/31418/task/31429/stat : 31429 (java) R 31415 31418 30397 0 -1 4202560 778 0 0 0 10 0 0 0 20 0 15 0 414327988 10917818368 16069 33554432000 4194304 4196468 140729813281888 139918771721176 139919720615888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31430] ppid=31415 vsize=10661932 memory=6944656592455360604 CPUtime=0.1 cores=0,2,4,6
/proc/31418/task/31430/stat : 31430 (java) S 31415 31418 30397 0 -1 1077944384 544 0 0 0 10 0 0 0 20 0 15 0 414327988 10917818368 16069 33554432000 4194304 4196468 140729813281888 139918770682352 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31431] ppid=31415 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/31418/task/31431/stat : 31431 (java) S 31415 31418 30397 0 -1 1077944384 1083 0 0 0 19 0 0 0 20 0 15 0 414327988 10917818368 16069 33554432000 4194304 4196468 140729813281888 139918769630064 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31432] ppid=31415 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31432/stat : 31432 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327989 10917818368 16069 33554432000 4194304 4196468 140729813281888 139918768577504 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31433] ppid=31415 vsize=10661932 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31433/stat : 31433 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327989 10917818368 16069 33554432000 4194304 4196468 140729813281888 139918767524272 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64276 KiB

[startup+1.5008 s]
/proc/loadavg: 2.14 0.86 0.36 3/229 31433
/proc/meminfo: memFree=31141372/32770624 swapFree=66981380/67108860
[pid=31418] ppid=31415 vsize=10663980 memory=77200 CPUtime=1.99 cores=0,2,4,6
/proc/31418/stat : 31418 (java) S 31415 31418 30397 0 -1 1077944320 16253 0 0 0 193 6 0 0 20 0 15 0 414327983 10919915520 19300 33554432000 4194304 4196468 140729813281888 140729813264432 139919740927735 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
/proc/31418/statm: 2665995 19300 3094 1 0 2628492 0
[pid=31418/tid=31420] ppid=31415 vsize=10663980 memory=2996107 CPUtime=1.48 cores=0,2,4,6
/proc/31418/task/31420/stat : 31420 (java) R 31415 31418 30397 0 -1 4202560 11483 0 0 0 144 4 0 0 20 0 15 0 414327983 10919915520 19300 33554432000 4194304 4196468 140729813281888 139919745153616 139919721203057 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31421] ppid=31415 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31421/stat : 31421 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10919915520 19300 33554432000 4194304 4196468 140729813281888 139919701887888 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31422] ppid=31415 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31422/stat : 31422 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10919915520 19300 33554432000 4194304 4196468 140729813281888 139919700835088 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31423] ppid=31415 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31423/stat : 31423 (java) S 31415 31418 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327984 10919915520 19300 33554432000 4194304 4196468 140729813281888 139919346080912 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31424] ppid=31415 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31424/stat : 31424 (java) S 31415 31418 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327984 10919915520 19300 33554432000 4194304 4196468 140729813281888 139919345028112 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31425] ppid=31415 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31425/stat : 31425 (java) S 31415 31418 30397 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 414327985 10919915520 19300 33554432000 4194304 4196468 140729813281888 139919300077680 139919740938882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0

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

/proc/31418/task/31424/stat : 31424 (java) S 31415 31418 30397 0 -1 1077944384 1573 0 0 0 9 0 0 0 20 0 16 0 414327984 11006283776 68032 33554432000 4194304 4196468 140729813281888 139919345028112 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31425] ppid=31415 vsize=10748324 memory=272128 CPUtime=0.05 cores=0,2,4,6
/proc/31418/task/31425/stat : 31425 (java) S 31415 31418 30397 0 -1 1077944384 2597 0 0 0 3 2 0 0 20 0 16 0 414327985 11006283776 68032 33554432000 4194304 4196468 140729813281888 139919300077680 139919740938882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31426] ppid=31415 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31426/stat : 31426 (java) S 31415 31418 30397 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414327986 11006283776 68032 33554432000 4194304 4196468 140729813281888 139919299023712 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31427] ppid=31415 vsize=10748324 memory=272128 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31427/stat : 31427 (java) S 31415 31418 30397 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414327986 11006283776 68032 33554432000 4194304 4196468 140729813281888 139918773838976 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31428] ppid=31415 vsize=10748324 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31428/stat : 31428 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327988 11006283776 68032 33554432000 4194304 4196468 140729813281888 139918772787280 139919740946331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31429] ppid=31415 vsize=10748324 memory=272128 CPUtime=1.44 cores=0,2,4,6
/proc/31418/task/31429/stat : 31429 (java) S 31415 31418 30397 0 -1 1077944384 6050 0 0 0 143 1 0 0 20 0 16 0 414327988 11006283776 68032 33554432000 4194304 4196468 140729813281888 139918771735152 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31430] ppid=31415 vsize=10748324 memory=272128 CPUtime=1.11 cores=0,2,4,6
/proc/31418/task/31430/stat : 31430 (java) S 31415 31418 30397 0 -1 1077944384 4064 0 0 0 110 1 0 0 20 0 16 0 414327988 11006283776 68032 33554432000 4194304 4196468 140729813281888 139918770682352 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31431] ppid=31415 vsize=10748324 memory=2004 CPUtime=0.67 cores=0,2,4,6
/proc/31418/task/31431/stat : 31431 (java) S 31415 31418 30397 0 -1 1077944384 5895 0 0 0 66 1 0 0 20 0 16 0 414327988 11006283776 68032 33554432000 4194304 4196468 140729813281888 139918769630064 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31432] ppid=31415 vsize=10748324 memory=984 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31432/stat : 31432 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327989 11006283776 68032 33554432000 4194304 4196468 140729813281888 139918768577504 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31433] ppid=31415 vsize=10748324 memory=272128 CPUtime=0.72 cores=0,2,4,6
/proc/31418/task/31433/stat : 31433 (java) S 31415 31418 30397 0 -1 1077944384 1155 0 0 0 32 40 0 0 20 0 16 0 414327989 11006283776 68032 33554432000 4194304 4196468 140729813281888 139918767524272 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31434] ppid=31415 vsize=10748324 memory=272128 CPUtime=2379.98 cores=0,2,4,6
/proc/31418/task/31434/stat : 31434 (java) R 31415 31418 30397 0 -1 4202560 15472 0 0 0 237993 5 0 0 20 0 16 0 414328172 11006283776 68032 33554432000 4194304 4196468 140729813281888 139918762265952 139919382235192 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
Current children cumulated CPU time: 2386.31 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 272128 KiB

[startup+2442.3 s]
/proc/loadavg: 1.89 1.73 1.61 3/229 31814
/proc/meminfo: memFree=31058016/32770624 swapFree=66981412/67108860
[pid=31418] ppid=31415 vsize=10748324 memory=270588 CPUtime=2446.33 cores=0,2,4,6
/proc/31418/stat : 31418 (java) S 31415 31418 30397 0 -1 1077944320 58035 0 0 0 244585 48 0 0 20 0 16 0 414327983 11006283776 67647 33554432000 4194304 4196468 140729813281888 140729813264432 139919740927735 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
/proc/31418/statm: 2687081 67647 3377 1 0 2647217 0
[pid=31418/tid=31420] ppid=31415 vsize=10748324 memory=270588 CPUtime=1.88 cores=0,2,4,6
/proc/31418/task/31420/stat : 31420 (java) S 31415 31418 30397 0 -1 1077944384 13205 0 0 0 182 6 0 0 20 0 16 0 414327983 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919745170608 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31421] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.09 cores=0,2,4,6
/proc/31418/task/31421/stat : 31421 (java) S 31415 31418 30397 0 -1 1077944384 2439 0 0 0 9 0 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919701887888 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31422] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.09 cores=0,2,4,6
/proc/31418/task/31422/stat : 31422 (java) S 31415 31418 30397 0 -1 1077944384 2052 0 0 0 9 0 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919700835088 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31423] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.1 cores=0,2,4,6
/proc/31418/task/31423/stat : 31423 (java) S 31415 31418 30397 0 -1 1077944384 1816 0 0 0 9 1 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919346080912 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31424] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.09 cores=0,2,4,6
/proc/31418/task/31424/stat : 31424 (java) S 31415 31418 30397 0 -1 1077944384 1619 0 0 0 9 0 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919345028112 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31425] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.05 cores=0,2,4,6
/proc/31418/task/31425/stat : 31425 (java) S 31415 31418 30397 0 -1 1077944384 2773 0 0 0 3 2 0 0 20 0 16 0 414327985 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919300077680 139919740938882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31426] ppid=31415 vsize=10748324 memory=270588 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31426/stat : 31426 (java) S 31415 31418 30397 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414327986 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919299023712 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31427] ppid=31415 vsize=10748324 memory=270588 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31427/stat : 31427 (java) S 31415 31418 30397 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414327986 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918773838976 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31428] ppid=31415 vsize=10748324 memory=270588 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31428/stat : 31428 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918772787280 139919740946331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31429] ppid=31415 vsize=10748324 memory=270588 CPUtime=1.44 cores=0,2,4,6
/proc/31418/task/31429/stat : 31429 (java) S 31415 31418 30397 0 -1 1077944384 6052 0 0 0 143 1 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918771735152 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31430] ppid=31415 vsize=10748324 memory=270588 CPUtime=1.11 cores=0,2,4,6
/proc/31418/task/31430/stat : 31430 (java) S 31415 31418 30397 0 -1 1077944384 4067 0 0 0 110 1 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918770682352 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31431] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.67 cores=0,2,4,6
/proc/31418/task/31431/stat : 31431 (java) S 31415 31418 30397 0 -1 1077944384 5897 0 0 0 66 1 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918769630064 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31432] ppid=31415 vsize=10748324 memory=270588 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31432/stat : 31432 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327989 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918768577504 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31433] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.74 cores=0,2,4,6
/proc/31418/task/31433/stat : 31433 (java) S 31415 31418 30397 0 -1 1077944384 1185 0 0 0 33 41 0 0 20 0 16 0 414327989 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918767524272 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31434] ppid=31415 vsize=10748324 memory=270588 CPUtime=2439.96 cores=0,2,4,6
/proc/31418/task/31434/stat : 31434 (java) R 31415 31418 30397 0 -1 4202560 15530 0 0 0 243991 5 0 0 20 0 16 0 414328172 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918762274384 139919382405392 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
Current children cumulated CPU time: 2446.33 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 270588 KiB

[startup+2502.3 s]
/proc/loadavg: 1.96 1.78 1.63 5/229 31900
/proc/meminfo: memFree=31138904/32770624 swapFree=66981412/67108860
[pid=31418] ppid=31415 vsize=10748324 memory=270588 CPUtime=2506.34 cores=0,2,4,6
/proc/31418/stat : 31418 (java) S 31415 31418 30397 0 -1 1077944320 58134 0 0 0 250585 49 0 0 20 0 16 0 414327983 11006283776 67647 33554432000 4194304 4196468 140729813281888 140729813264432 139919740927735 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
/proc/31418/statm: 2687081 67647 3377 1 0 2647217 0
[pid=31418/tid=31420] ppid=31415 vsize=10748324 memory=270588 CPUtime=1.88 cores=0,2,4,6
/proc/31418/task/31420/stat : 31420 (java) S 31415 31418 30397 0 -1 1077944384 13205 0 0 0 182 6 0 0 20 0 16 0 414327983 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919745170608 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31421] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.09 cores=0,2,4,6
/proc/31418/task/31421/stat : 31421 (java) S 31415 31418 30397 0 -1 1077944384 2439 0 0 0 9 0 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919701887888 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31422] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.09 cores=0,2,4,6
/proc/31418/task/31422/stat : 31422 (java) S 31415 31418 30397 0 -1 1077944384 2052 0 0 0 9 0 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919700835088 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31423] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.1 cores=0,2,4,6
/proc/31418/task/31423/stat : 31423 (java) S 31415 31418 30397 0 -1 1077944384 1816 0 0 0 9 1 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919346080912 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31424] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.09 cores=0,2,4,6
/proc/31418/task/31424/stat : 31424 (java) S 31415 31418 30397 0 -1 1077944384 1619 0 0 0 9 0 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919345028112 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31425] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.05 cores=0,2,4,6
/proc/31418/task/31425/stat : 31425 (java) S 31415 31418 30397 0 -1 1077944384 2779 0 0 0 3 2 0 0 20 0 16 0 414327985 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919300077680 139919740938882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31426] ppid=31415 vsize=10748324 memory=19508 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31426/stat : 31426 (java) S 31415 31418 30397 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414327986 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919299023712 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31427] ppid=31415 vsize=10748324 memory=270588 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31427/stat : 31427 (java) S 31415 31418 30397 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414327986 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918773838976 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31428] ppid=31415 vsize=10748324 memory=270588 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31428/stat : 31428 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918772787280 139919740946331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31429] ppid=31415 vsize=10748324 memory=270588 CPUtime=1.44 cores=0,2,4,6
/proc/31418/task/31429/stat : 31429 (java) S 31415 31418 30397 0 -1 1077944384 6054 0 0 0 143 1 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918771735152 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31430] ppid=31415 vsize=10748324 memory=3620 CPUtime=1.11 cores=0,2,4,6
/proc/31418/task/31430/stat : 31430 (java) S 31415 31418 30397 0 -1 1077944384 4070 0 0 0 110 1 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918770682352 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31431] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.67 cores=0,2,4,6
/proc/31418/task/31431/stat : 31431 (java) S 31415 31418 30397 0 -1 1077944384 5899 0 0 0 66 1 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918769630064 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31432] ppid=31415 vsize=10748324 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31432/stat : 31432 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327989 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918768577504 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31433] ppid=31415 vsize=10748324 memory=270588 CPUtime=0.76 cores=0,2,4,6
/proc/31418/task/31433/stat : 31433 (java) S 31415 31418 30397 0 -1 1077944384 1215 0 0 0 34 42 0 0 20 0 16 0 414327989 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918767524272 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31434] ppid=31415 vsize=10748324 memory=270588 CPUtime=2499.95 cores=0,2,4,6
/proc/31418/task/31434/stat : 31434 (java) R 31415 31418 30397 0 -1 4202560 15586 0 0 0 249990 5 0 0 20 0 16 0 414328172 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918762274384 139919382519612 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
Current children cumulated CPU time: 2506.34 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 270588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2516 s]*
/proc/loadavg: 1.81 1.76 1.63 3/230 31902
/proc/meminfo: memFree=31084628/32770624 swapFree=66981412/67108860
[pid=31418] ppid=31415 vsize=10748324 memory=270588 CPUtime=2520.05 cores=0,2,4,6
/proc/31418/stat : 31418 (java) S 31415 31418 30397 0 -1 1077944320 58137 0 0 0 251956 49 0 0 20 0 16 0 414327983 11006283776 67647 33554432000 4194304 4196468 140729813281888 140729813264432 139919740927735 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
/proc/31418/statm: 2687081 67647 3377 1 0 2647217 0
[pid=31418/tid=31420] ppid=31415 vsize=10748324 memory=6791534058613427641 CPUtime=1.88 cores=0,2,4,6
/proc/31418/task/31420/stat : 31420 (java) S 31415 31418 30397 0 -1 1077944384 13205 0 0 0 182 6 0 0 20 0 16 0 414327983 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919745170608 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31421] ppid=31415 vsize=10748324 memory=6789802306324843961 CPUtime=0.09 cores=0,2,4,6
/proc/31418/task/31421/stat : 31421 (java) S 31415 31418 30397 0 -1 1077944384 2439 0 0 0 9 0 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919701887888 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31422] ppid=31415 vsize=10748324 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/31418/task/31422/stat : 31422 (java) S 31415 31418 30397 0 -1 1077944384 2052 0 0 0 9 0 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919700835088 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31423] ppid=31415 vsize=10748324 memory=804 CPUtime=0.1 cores=0,2,4,6
/proc/31418/task/31423/stat : 31423 (java) S 31415 31418 30397 0 -1 1077944384 1816 0 0 0 9 1 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919346080912 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31424] ppid=31415 vsize=10748324 memory=1628 CPUtime=0.09 cores=0,2,4,6
/proc/31418/task/31424/stat : 31424 (java) S 31415 31418 30397 0 -1 1077944384 1619 0 0 0 9 0 0 0 20 0 16 0 414327984 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919345028112 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31425] ppid=31415 vsize=10748324 memory=1808 CPUtime=0.05 cores=0,2,4,6
/proc/31418/task/31425/stat : 31425 (java) S 31415 31418 30397 0 -1 1077944384 2779 0 0 0 3 2 0 0 20 0 16 0 414327985 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919300077680 139919740938882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31426] ppid=31415 vsize=10748324 memory=924 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31426/stat : 31426 (java) S 31415 31418 30397 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414327986 11006283776 67647 33554432000 4194304 4196468 140729813281888 139919299023712 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31427] ppid=31415 vsize=10748324 memory=7972 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31427/stat : 31427 (java) S 31415 31418 30397 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414327986 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918773838976 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31428] ppid=31415 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31428/stat : 31428 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918772787280 139919740946331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31429] ppid=31415 vsize=10748324 memory=6680 CPUtime=1.44 cores=0,2,4,6
/proc/31418/task/31429/stat : 31429 (java) S 31415 31418 30397 0 -1 1077944384 6054 0 0 0 143 1 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918771735152 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31430] ppid=31415 vsize=10748324 memory=512 CPUtime=1.11 cores=0,2,4,6
/proc/31418/task/31430/stat : 31430 (java) S 31415 31418 30397 0 -1 1077944384 4070 0 0 0 110 1 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918770682352 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31431] ppid=31415 vsize=10748324 memory=1564 CPUtime=0.67 cores=0,2,4,6
/proc/31418/task/31431/stat : 31431 (java) S 31415 31418 30397 0 -1 1077944384 5899 0 0 0 66 1 0 0 20 0 16 0 414327988 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918769630064 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31432] ppid=31415 vsize=10748324 memory=928 CPUtime=0 cores=0,2,4,6
/proc/31418/task/31432/stat : 31432 (java) S 31415 31418 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327989 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918768577504 139919740937941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31433] ppid=31415 vsize=10748324 memory=3772 CPUtime=0.76 cores=0,2,4,6
/proc/31418/task/31433/stat : 31433 (java) S 31415 31418 30397 0 -1 1077944384 1215 0 0 0 34 42 0 0 20 0 16 0 414327989 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918767524272 139919740938882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
[pid=31418/tid=31434] ppid=31415 vsize=10748324 memory=1440 CPUtime=2513.66 cores=0,2,4,6
/proc/31418/task/31434/stat : 31434 (java) R 31415 31418 30397 0 -1 4202560 15589 0 0 0 251361 5 0 0 20 0 16 0 414328172 11006283776 67647 33554432000 4194304 4196468 140729813281888 139918762274384 139919382735572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16027648 140729813283851 140729813283954 140729813283954 140729813286863 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 270588 KiB

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

[startup+2516.02 s]
# the end of solver process 31418 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.57 s, system=0.498019 s

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

Child status: 143
Real time (s): 2516.02
CPU time (s): 2520.07
CPU user time (s): 2519.57
CPU system time (s): 0.498019
CPU usage (%): 100.161
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 275192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.498019
maximum resident set size= 275192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57524
involuntary context switches= 3016


# summary of solver processes directly reported to runsolver:
#   pid: 31418
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2519.57
#   total CPU system time (s): 0.498019

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2341 second user time and 15.1262 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-13 15:16:51
IDJOB=4391012
IDBENCH=124144
IDSOLVER=2832
FILE ID=node121/4391012-1568380653
RUNJOBID= node121-1568380474-30428
PBS_JOBID= 21701842
Free space on /tmp= 61040 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t03-4.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391012-1568380653/watcher-4391012-1568380653 -o /tmp/evaluation-result-4391012-1568380653/solver-4391012-1568380653 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30428 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391012-1568380653.xml -cm

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

MD5SUM BENCH= 3320713010bd27ff074c3709fe864950
RANDOM SEED=1154517623

node121.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.75
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.75
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.75
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.75
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:        31197580 kB
MemAvailable:   31538940 kB
Buffers:          145384 kB
Cached:           491952 kB
SwapCached:        18984 kB
Active:           701828 kB
Inactive:         335484 kB
Active(anon):     386540 kB
Inactive(anon):    44092 kB
Active(file):     315288 kB
Inactive(file):   291392 kB
Unevictable:      109496 kB
Mlocked:          109496 kB
SwapTotal:      67108860 kB
SwapFree:       66981380 kB
Dirty:              9048 kB
Writeback:             0 kB
AnonPages:        491236 kB
Mapped:            46532 kB
Shmem:             21812 kB
Slab:             130340 kB
SReclaimable:     101028 kB
SUnreclaim:        29312 kB
KernelStack:        3760 kB
PageTables:         6848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1372204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    389120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61032 MiB
End job on node121 at 2019-09-13 15:58:47