Trace number 4390914

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-23OPT16 25.4336 19.6862

DiagnosticValue
WRONG_DECISIONS100484

General information on the benchmark

NameTal/
Tal-05_c18.xml
MD5SUM0bfba4554f8c52d47ef9f831901bb64c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark25.4336
Satisfiable
(Un)Satisfiability was proved
Number of variables526
Number of constraints364
Number of domains11
Minimum domain size1
Maximum domain size42
Distribution of domain sizes[{"size":1,"count":84},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":52},{"size":7,"count":9},{"size":8,"count":10},{"size":10,"count":36},{"size":42,"count":79}]
Minimum variable degree0
Maximum variable degree14
Distribution of variable degrees[{"degree":0,"count":234},{"degree":1,"count":84},{"degree":2,"count":58},{"degree":3,"count":9},{"degree":4,"count":10},{"degree":5,"count":32},{"degree":6,"count":19},{"degree":7,"count":13},{"degree":8,"count":13},{"degree":9,"count":19},{"degree":10,"count":18},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":3},{"degree":14,"count":1}]
Minimum constraint arity1
Maximum constraint arity11
Distribution of constraint arities[{"arity":1,"count":109},{"arity":2,"count":115},{"arity":3,"count":38},{"arity":4,"count":11},{"arity":5,"count":18},{"arity":6,"count":17},{"arity":7,"count":16},{"arity":8,"count":15},{"arity":9,"count":13},{"arity":10,"count":10},{"arity":11,"count":2}]
Number of extensional constraints64
Number of intensional constraints286
Distribution of constraint types[{"type":"extension","count":64},{"type":"intension","count":286},{"type":"count","count":14}]
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.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.88	
3.28/2.19	  Instance
3.28/2.19	    name=instance-4390914-1568386639, framework=COP, bounds=-infty..+infty
3.28/2.19	
3.28/2.19	  Loading variables...
3.63/2.23	  Loading constraints...
4.65/2.53	
4.65/2.53	  Domains
4.65/2.53	    nTypes=11, nValues=4299, sizes=[1#84,2#4,3#5,4#6...7#9,8#10,10#36,42#79]
4.65/2.53	  Variables
4.65/2.53	    count=292, degrees=[1#84,2#58,3#9,4#10...11#8,12#5,13#3,14#1]
4.65/2.53	  Objectives
4.65/2.53	    way=min, type=SumSimpleLE
4.65/2.54	  Constraints
4.65/2.54	    count=365, nSpecific=93, arities=[1#109,2#115,3#38,4#11...9#13,10#10,11#2,128#1]
4.65/2.54	    distribution=[CtrExtensionCT-Table#64,CtrIntension#272,EQ#14,ExactlyKVariable#14,SumSimpleLE#1]
4.65/2.54	    tables=[83#1,91#1,124#2,165#3...1860#5,2047#4,2111#3,2126#2], nTotalTuples=51710
4.65/2.54	    nExtStructures=(15,shared:49), nIntStructures=(84,shared:188), nCftStructures=(20,shared:117,unbuilt:228)
4.65/2.54	    wck=0.694, cpu=2.499, mem=71M433
4.65/2.55	  Solver SolverBacktrack being built...
4.65/2.55	
4.65/2.57	
4.65/2.57	  Solver
4.65/2.57	    guaranteedGAC=false
4.65/2.57	    wck=0.733, cpu=2.536, mem=84M718
4.65/2.60	
4.65/2.60	  Preprocessing
4.65/2.60	    filters=247, revisions=(923,useless=844), ccks=29517, nACremovedValues=2859, nTotalRemovedValues=2859, inconcistency=false
4.65/2.60	    wck=0.024, cpu=2.561, mem=84M718
4.65/2.60	
5.00/2.65	    num=0, depth=38..209, filters=680, revisions=(3256,useless=3041), ccks=31857, wck=0.068, mem=87M361
5.00/2.65	    decisions=64, wrong=13, backtracks=614, failedAssignments=10, nogoods=1
5.00/2.65	    nFilterCalls=2203, avgTableProportion=0.9972638254136037, avgTableSize=878.1756695415343
5.00/2.65	    
5.00/2.66	    num=1, depth=36..44, filters=1925, revisions=(7153,useless=6594), ccks=35433, wck=0.083, mem=87M361
5.00/2.66	    decisions=132, wrong=28, backtracks=624, failedAssignments=21, nogoods=4
5.00/2.66	    nFilterCalls=4018, avgTableProportion=0.997095837537028, avgTableSize=800.1256844201095
5.00/2.66	    
5.00/2.67	    num=2, depth=14..19, filters=2812, revisions=(10164,useless=9323), ccks=40838, wck=0.093, mem=87M361
5.00/2.67	    decisions=187, wrong=47, backtracks=634, failedAssignments=33, nogoods=7
5.00/2.67	    nFilterCalls=5310, avgTableProportion=0.997144936237762, avgTableSize=806.4212806026366
5.00/2.67	    
5.00/2.67	    num=3, depth=14..21, filters=3548, revisions=(12666,useless=11633), ccks=45372, wck=0.102, mem=87M361
5.00/2.67	    decisions=245, wrong=66, backtracks=644, failedAssignments=46, nogoods=14
5.00/2.67	    nFilterCalls=6441, avgTableProportion=0.9971268231363383, avgTableSize=802.6680639652228
5.00/2.67	    
5.00/2.68	    num=4, depth=6..215, filters=3804, revisions=(13798,useless=12702), ccks=46379, wck=0.109, mem=87M361
5.00/2.68	    decisions=280, wrong=80, backtracks=852, failedAssignments=60, nogoods=16
5.00/2.68	    nFilterCalls=7315, avgTableProportion=0.9971291441639049, avgTableSize=801.7434039644565
5.00/2.68	    
5.33/2.70	    num=5, depth=5..217, filters=4298, revisions=(15735,useless=14546), ccks=49328, wck=0.126, mem=87M361
5.33/2.70	    decisions=326, wrong=96, backtracks=1529, failedAssignments=76, nogoods=21
5.33/2.70	    nFilterCalls=9109, avgTableProportion=0.997128580652802, avgTableSize=808.3157316939291
5.33/2.70	    
5.33/2.71	    num=6, depth=8..14, filters=5063, revisions=(18472,useless=17093), ccks=56851, wck=0.135, mem=87M361
5.33/2.71	    decisions=377, wrong=118, backtracks=1535, failedAssignments=93, nogoods=22
5.33/2.71	    nFilterCalls=10331, avgTableProportion=0.9971615170606405, avgTableSize=816.2270835349917
5.33/2.71	    
5.33/2.72	    num=7, depth=4..163, filters=5828, revisions=(21063,useless=19532), ccks=59670, wck=0.146, mem=87M361
5.33/2.72	    decisions=434, wrong=141, backtracks=1688, failedAssignments=112, nogoods=25
5.33/2.72	    nFilterCalls=11595, avgTableProportion=0.9971365784555883, avgTableSize=813.0998706338939
5.33/2.72	    
5.33/2.74	o 76
5.33/2.74	    num=8, depth=3..291, filters=6338, revisions=(23163,useless=21525), ccks=62738, wck=0.163, mem=87M361
5.33/2.74	    decisions=459, wrong=145, backtracks=1688, failedAssignments=116, nogoods=29, foundSolutions=1, bestBound=76
5.33/2.74	    nFilterCalls=12777, avgTableProportion=0.9971252376742156, avgTableSize=809.2870000782656
5.33/2.74	    
5.33/2.76	o 68
5.33/2.76	    num=9, depth=4..291, filters=7407, revisions=(27698,useless=25853), ccks=69382, wck=0.186, mem=87M361
5.33/2.76	    decisions=519, wrong=166, backtracks=1840, failedAssignments=133, nogoods=31, foundSolutions=2, bestBound=68
5.33/2.76	    nFilterCalls=14972, avgTableProportion=0.9971161397405818, avgTableSize=810.1110072134651
5.33/2.76	    
5.33/2.77	    num=10, depth=21..26, filters=8250, revisions=(30927,useless=28918), ccks=73490, wck=0.198, mem=87M361
5.33/2.77	    decisions=574, wrong=182, backtracks=1847, failedAssignments=144, nogoods=33, foundSolutions=2, bestBound=68
5.33/2.77	    nFilterCalls=16510, avgTableProportion=0.9971197131239827, avgTableSize=806.9135675348274
5.33/2.77	    
5.33/2.78	o 53
5.33/2.78	    num=11, depth=12..291, filters=8666, revisions=(32795,useless=30694), ccks=77132, wck=0.209, mem=87M361
5.33/2.78	    decisions=594, wrong=185, backtracks=1848, failedAssignments=147, nogoods=35, foundSolutions=3, bestBound=53
5.33/2.78	    nFilterCalls=17646, avgTableProportion=0.9971213559573848, avgTableSize=805.3222260002267
5.33/2.78	    
5.33/2.80	    num=12, depth=19..27, filters=9571, revisions=(36017,useless=33730), ccks=82069, wck=0.223, mem=87M361
5.33/2.80	    decisions=653, wrong=204, backtracks=1857, failedAssignments=159, nogoods=40, foundSolutions=3, bestBound=53
5.33/2.80	    nFilterCalls=19178, avgTableProportion=0.9971077098692097, avgTableSize=799.9620919803942
5.33/2.80	    
5.65/2.81	    num=13, depth=16..19, filters=10280, revisions=(38524,useless=36072), ccks=87401, wck=0.234, mem=87M361
5.65/2.81	    decisions=702, wrong=219, backtracks=1862, failedAssignments=170, nogoods=42, foundSolutions=3, bestBound=53
5.65/2.81	    nFilterCalls=20220, avgTableProportion=0.9970969575775444, avgTableSize=796.3802176063303
5.65/2.81	    
5.65/2.81	    num=14, depth=17..24, filters=10887, revisions=(40673,useless=38075), ccks=90672, wck=0.242, mem=87M361
5.65/2.81	    decisions=756, wrong=237, backtracks=1868, failedAssignments=182, nogoods=48, foundSolutions=3, bestBound=53
5.65/2.81	    nFilterCalls=21068, avgTableProportion=0.9970957102446718, avgTableSize=795.7072811847352
5.65/2.81	    
5.65/2.83	    num=15, depth=5..10, filters=11687, revisions=(43499,useless=40689), ccks=97168, wck=0.254, mem=87M361
5.65/2.83	    decisions=804, wrong=257, backtracks=1877, failedAssignments=195, nogoods=53, foundSolutions=3, bestBound=53
5.65/2.83	    nFilterCalls=22397, avgTableProportion=0.9971010798782216, avgTableSize=796.7219716926375
5.65/2.83	    
5.65/2.85	    num=16, depth=8..211, filters=11988, revisions=(45842,useless=42985), ccks=97961, wck=0.277, mem=90M3
5.65/2.85	    decisions=840, wrong=271, backtracks=3156, failedAssignments=209, nogoods=54, foundSolutions=3, bestBound=53
5.65/2.85	    nFilterCalls=24999, avgTableProportion=0.9971264431229084, avgTableSize=804.423136925477
5.65/2.85	    
5.65/2.86	    num=17, depth=16..29, filters=13109, revisions=(49204,useless=46084), ccks=102425, wck=0.29, mem=90M3
5.65/2.86	    decisions=909, wrong=295, backtracks=3170, failedAssignments=225, nogoods=59, foundSolutions=3, bestBound=53
5.65/2.86	    nFilterCalls=26735, avgTableProportion=0.9971096024288579, avgTableSize=798.9759117262016
5.65/2.86	    
5.65/2.88	o 49
5.65/2.88	    num=18, depth=8..291, filters=14116, revisions=(52987,useless=49693), ccks=113142, wck=0.307, mem=90M3
5.65/2.88	    decisions=953, wrong=307, backtracks=3174, failedAssignments=233, nogoods=62, foundSolutions=4, bestBound=49
5.65/2.88	    nFilterCalls=28708, avgTableProportion=0.9971178207064154, avgTableSize=801.2302842413264
5.65/2.88	    
5.65/2.89	    num=19, depth=10..17, filters=15602, revisions=(58300,useless=54645), ccks=123848, wck=0.322, mem=90M3
5.65/2.89	    decisions=1029, wrong=339, backtracks=3191, failedAssignments=252, nogoods=64, foundSolutions=4, bestBound=49
5.65/2.89	    nFilterCalls=30838, avgTableProportion=0.9971292072541991, avgTableSize=804.6661586354497
5.65/2.89	    
5.95/2.91	    num=20, depth=10..21, filters=16704, revisions=(61952,useless=58126), ccks=133074, wck=0.334, mem=90M3
5.95/2.91	    decisions=1086, wrong=358, backtracks=3200, failedAssignments=263, nogoods=68, foundSolutions=4, bestBound=49
5.95/2.91	    nFilterCalls=32804, avgTableProportion=0.9971324523910726, avgTableSize=804.4980795024996
5.95/2.91	    
5.95/2.91	    num=21, depth=3..9, filters=17196, revisions=(63652,useless=59681), ccks=135914, wck=0.338, mem=90M3
5.95/2.91	    decisions=1125, wrong=376, backtracks=3208, failedAssignments=275, nogoods=70, foundSolutions=4, bestBound=49
5.95/2.91	    nFilterCalls=33563, avgTableProportion=0.9971315974385373, avgTableSize=805.0919464886929
5.95/2.91	    
5.95/2.92	    num=22, depth=7..27, filters=18412, revisions=(67461,useless=63206), ccks=140401, wck=0.347, mem=90M3
5.95/2.92	    decisions=1193, wrong=399, backtracks=3219, failedAssignments=288, nogoods=76, foundSolutions=4, bestBound=49
5.95/2.92	    nFilterCalls=35219, avgTableProportion=0.9971090175022571, avgTableSize=798.9722308980947
5.95/2.92	    
5.95/2.93	o 42
5.95/2.93	    num=23, depth=11..291, filters=18959, revisions=(69646,useless=65277), ccks=143039, wck=0.355, mem=90M3
5.95/2.93	    decisions=1220, wrong=404, backtracks=3222, failedAssignments=291, nogoods=77, foundSolutions=5, bestBound=42
5.95/2.93	    nFilterCalls=36459, avgTableProportion=0.997110287284664, avgTableSize=799.103403823473
5.95/2.93	    
5.95/2.94	    num=24, depth=13..21, filters=20793, revisions=(76039,useless=71277), ccks=149704, wck=0.37, mem=90M3
5.95/2.94	    decisions=1284, wrong=429, backtracks=3234, failedAssignments=307, nogoods=82, foundSolutions=5, bestBound=42
5.95/2.94	    nFilterCalls=39006, avgTableProportion=0.9971026227206679, avgTableSize=796.0521970978824
5.95/2.94	    
5.95/2.95	    num=25, depth=14..25, filters=21793, revisions=(79206,useless=74253), ccks=152658, wck=0.378, mem=90M3
5.95/2.95	    decisions=1338, wrong=449, backtracks=3245, failedAssignments=318, nogoods=84, foundSolutions=5, bestBound=42
5.95/2.95	    nFilterCalls=40598, avgTableProportion=0.9971051164047934, avgTableSize=795.6778166412139
5.95/2.95	    
5.95/2.96	    num=26, depth=8..16, filters=22917, revisions=(83201,useless=78015), ccks=158379, wck=0.387, mem=90M3
5.95/2.96	    decisions=1395, wrong=472, backtracks=3260, failedAssignments=330, nogoods=88, foundSolutions=5, bestBound=42
5.95/2.96	    nFilterCalls=42267, avgTableProportion=0.9971064785426863, avgTableSize=795.5007925805002
5.95/2.96	    
5.95/2.97	    num=27, depth=9..18, filters=24378, revisions=(88445,useless=82890), ccks=164536, wck=0.398, mem=90M3
5.95/2.97	    decisions=1456, wrong=496, backtracks=3277, failedAssignments=343, nogoods=93, foundSolutions=5, bestBound=42
5.95/2.97	    nFilterCalls=44182, avgTableProportion=0.9970964011404702, avgTableSize=793.0454257389887
5.95/2.97	    
5.95/2.98	    num=28, depth=7..164, filters=25191, revisions=(91252,useless=85535), ccks=169198, wck=0.406, mem=90M3
5.95/2.98	    decisions=1495, wrong=512, backtracks=3436, failedAssignments=357, nogoods=95, foundSolutions=5, bestBound=42
5.95/2.98	    nFilterCalls=45593, avgTableProportion=0.9970947902902203, avgTableSize=793.2012808983835
5.95/2.98	    
5.95/2.99	    num=29, depth=3..156, filters=26283, revisions=(94955,useless=89022), ccks=173711, wck=0.416, mem=90M3
5.95/2.99	    decisions=1536, wrong=531, backtracks=3589, failedAssignments=373, nogoods=96, foundSolutions=5, bestBound=42
5.95/2.99	    nFilterCalls=47276, avgTableProportion=0.9970824866105908, avgTableSize=791.5579363736357
5.95/2.99	    
5.95/3.01	    num=30, depth=3..19, filters=28208, revisions=(101133,useless=94709), ccks=179911, wck=0.429, mem=90M3
5.95/3.01	    decisions=1605, wrong=561, backtracks=3606, failedAssignments=390, nogoods=103, foundSolutions=5, bestBound=42
5.95/3.01	    nFilterCalls=49523, avgTableProportion=0.9970813403891571, avgTableSize=790.9076388748663
5.95/3.01	    
6.28/3.01	    num=31, depth=3..19, filters=29879, revisions=(106960,useless=100229), ccks=186721, wck=0.442, mem=90M3
6.28/3.01	    decisions=1669, wrong=588, backtracks=3623, failedAssignments=409, nogoods=113, foundSolutions=5, bestBound=42
6.28/3.01	    nFilterCalls=51872, avgTableProportion=0.9970701302864281, avgTableSize=788.5625771128932
6.28/3.01	    
6.28/3.03	    num=32, depth=3..13, filters=31385, revisions=(111749,useless=104662), ccks=194384, wck=0.453, mem=92M646
6.28/3.03	    decisions=1736, wrong=618, backtracks=3638, failedAssignments=430, nogoods=118, foundSolutions=5, bestBound=42
6.28/3.03	    nFilterCalls=53983, avgTableProportion=0.9970684505752871, avgTableSize=788.2857936757869
6.28/3.03	    
6.28/3.04	    num=33, depth=8..17, filters=33569, revisions=(118947,useless=111314), ccks=205033, wck=0.468, mem=92M646
6.28/3.04	    decisions=1831, wrong=660, backtracks=3662, failedAssignments=453, nogoods=123, foundSolutions=5, bestBound=42
6.28/3.04	    nFilterCalls=56976, avgTableProportion=0.9970643777602559, avgTableSize=786.8765445099691
6.28/3.04	    
6.28/3.05	    num=34, depth=7..22, filters=35637, revisions=(126283,useless=118164), ccks=213052, wck=0.48, mem=92M646
6.28/3.05	    decisions=1936, wrong=706, backtracks=3694, failedAssignments=478, nogoods=128, foundSolutions=5, bestBound=42
6.28/3.05	    nFilterCalls=59863, avgTableProportion=0.9970492137657998, avgTableSize=783.5819454420928
6.28/3.05	    
6.28/3.07	    num=35, depth=7..21, filters=38295, revisions=(135593,useless=126801), ccks=224600, wck=0.496, mem=92M646
6.28/3.07	    decisions=2061, wrong=761, backtracks=3723, failedAssignments=506, nogoods=142, foundSolutions=5, bestBound=42
6.28/3.07	    nFilterCalls=63328, avgTableProportion=0.997050620627864, avgTableSize=783.8137948458817
6.28/3.07	    
6.28/3.08	    num=36, depth=9..19, filters=40116, revisions=(141415,useless=132295), ccks=232073, wck=0.508, mem=92M646
6.28/3.08	    decisions=2148, wrong=799, backtracks=3735, failedAssignments=537, nogoods=148, foundSolutions=5, bestBound=42
6.28/3.08	    nFilterCalls=66303, avgTableProportion=0.9970598539382477, avgTableSize=784.9362773931798
6.28/3.08	    
6.58/3.11	    num=37, depth=6..17, filters=43238, revisions=(151867,useless=141931), ccks=244197, wck=0.538, mem=92M646
6.58/3.11	    decisions=2295, wrong=868, backtracks=3784, failedAssignments=571, nogoods=154, foundSolutions=5, bestBound=42
6.58/3.11	    nFilterCalls=70216, avgTableProportion=0.9970405652891661, avgTableSize=780.9222826706164
6.58/3.11	    
6.58/3.14	    num=38, depth=10..19, filters=45565, revisions=(159664,useless=149167), ccks=255548, wck=0.568, mem=92M646
6.58/3.14	    decisions=2431, wrong=929, backtracks=3819, failedAssignments=608, nogoods=158, foundSolutions=5, bestBound=42
6.58/3.14	    nFilterCalls=73978, avgTableProportion=0.9970510977194462, avgTableSize=782.3254886587905
6.58/3.14	    
6.58/3.18	    num=39, depth=8..27, filters=48952, revisions=(170591,useless=159251), ccks=269770, wck=0.604, mem=92M646
6.58/3.18	    decisions=2592, wrong=1002, backtracks=3862, failedAssignments=649, nogoods=163, foundSolutions=5, bestBound=42
6.58/3.18	    nFilterCalls=78685, avgTableProportion=0.9970349447133361, avgTableSize=777.7216114888479
6.58/3.18	    
6.86/3.20	    num=40, depth=12..24, filters=51166, revisions=(177807,useless=165953), ccks=280788, wck=0.632, mem=92M646
6.86/3.20	    decisions=2758, wrong=1078, backtracks=3902, failedAssignments=694, nogoods=169, foundSolutions=5, bestBound=42
6.86/3.20	    nFilterCalls=82431, avgTableProportion=0.9970436481969943, avgTableSize=779.1761837172908
6.86/3.20	    
6.86/3.24	o 36
6.86/3.24	    num=41, depth=2..291, filters=53757, revisions=(187273,useless=174795), ccks=297121, wck=0.672, mem=92M646
6.86/3.24	    decisions=2910, wrong=1151, backtracks=4977, failedAssignments=741, nogoods=173, foundSolutions=6, bestBound=36
6.86/3.24	    nFilterCalls=88709, avgTableProportion=0.9970573916992642, avgTableSize=783.3558827176498
6.86/3.24	    
6.86/3.29	    num=42, depth=10..23, filters=57541, revisions=(200302,useless=187058), ccks=314020, wck=0.716, mem=92M646
6.86/3.29	    decisions=3094, wrong=1236, backtracks=5023, failedAssignments=796, nogoods=183, foundSolutions=6, bestBound=36
6.86/3.29	    nFilterCalls=94564, avgTableProportion=0.9970525191072002, avgTableSize=781.4653250708515
6.86/3.29	    
7.16/3.31	    num=43, depth=9..16, filters=59010, revisions=(205344,useless=191761), ccks=321342, wck=0.734, mem=92M646
7.16/3.31	    decisions=3147, wrong=1258, backtracks=5037, failedAssignments=807, nogoods=187, foundSolutions=6, bestBound=36
7.16/3.31	    nFilterCalls=96392, avgTableProportion=0.9970507664962313, avgTableSize=781.0196074363017
7.16/3.31	    
7.16/3.32	    num=44, depth=14..20, filters=59798, revisions=(208019,useless=194273), ccks=324556, wck=0.745, mem=92M646
7.16/3.32	    decisions=3194, wrong=1274, backtracks=5044, failedAssignments=819, nogoods=190, foundSolutions=6, bestBound=36
7.16/3.32	    nFilterCalls=97492, avgTableProportion=0.9970524587442638, avgTableSize=781.2889057563698
7.16/3.32	    
7.16/3.33	    num=45, depth=6..154, filters=60454, revisions=(210213,useless=196347), ccks=327896, wck=0.755, mem=92M646
7.16/3.33	    decisions=3228, wrong=1288, backtracks=5192, failedAssignments=832, nogoods=191, foundSolutions=6, bestBound=36
7.16/3.33	    nFilterCalls=98647, avgTableProportion=0.9970541135515849, avgTableSize=782.10174663193
7.16/3.33	    
7.16/3.34	    num=46, depth=11..15, filters=61958, revisions=(215286,useless=201093), ccks=333310, wck=0.772, mem=92M646
7.16/3.34	    decisions=3274, wrong=1306, backtracks=5204, failedAssignments=846, nogoods=195, foundSolutions=6, bestBound=36
7.16/3.34	    nFilterCalls=100820, avgTableProportion=0.9970520594584662, avgTableSize=781.226224955366
7.16/3.34	    
7.16/3.36	    num=47, depth=9..19, filters=63037, revisions=(219048,useless=204620), ccks=337644, wck=0.785, mem=92M646
7.16/3.36	    decisions=3331, wrong=1327, backtracks=5210, failedAssignments=862, nogoods=203, foundSolutions=6, bestBound=36
7.16/3.36	    nFilterCalls=102352, avgTableProportion=0.9970521728556275, avgTableSize=781.1564014381742
7.16/3.36	    
7.16/3.37	o 35
7.16/3.37	    num=48, depth=9..291, filters=63651, revisions=(221616,useless=207077), ccks=340695, wck=0.798, mem=92M646
7.16/3.37	    decisions=3365, wrong=1338, backtracks=5529, failedAssignments=870, nogoods=206, foundSolutions=7, bestBound=35
7.16/3.37	    nFilterCalls=104278, avgTableProportion=0.9970556667880823, avgTableSize=782.0725176930896
7.16/3.37	    
7.16/3.39	    num=49, depth=8..22, filters=64997, revisions=(226540,useless=211749), ccks=347144, wck=0.817, mem=92M646
7.16/3.39	    decisions=3432, wrong=1365, backtracks=5541, failedAssignments=889, nogoods=213, foundSolutions=7, bestBound=35
7.16/3.39	    nFilterCalls=106272, avgTableProportion=0.9970540463787777, avgTableSize=781.7180630834087
7.16/3.39	    
7.47/3.40	    num=50, depth=8..21, filters=65978, revisions=(229980,useless=214952), ccks=351182, wck=0.829, mem=92M646
7.47/3.40	    decisions=3482, wrong=1385, backtracks=5554, failedAssignments=900, nogoods=217, foundSolutions=7, bestBound=35
7.47/3.40	    nFilterCalls=107611, avgTableProportion=0.9970530270018324, avgTableSize=781.6078932451144
7.47/3.40	    
7.47/3.41	    num=51, depth=9..188, filters=66798, revisions=(232747,useless=217566), ccks=354353, wck=0.841, mem=92M646
7.47/3.41	    decisions=3531, wrong=1399, backtracks=5721, failedAssignments=912, nogoods=222, foundSolutions=7, bestBound=35
7.47/3.41	    nFilterCalls=108984, avgTableProportion=0.9970544815815711, avgTableSize=781.959278426191
7.47/3.41	    
7.47/3.43	    num=52, depth=9..18, filters=67828, revisions=(236293,useless=220909), ccks=358764, wck=0.854, mem=92M646
7.47/3.43	    decisions=3580, wrong=1416, backtracks=5729, failedAssignments=925, nogoods=229, foundSolutions=7, bestBound=35
7.47/3.43	    nFilterCalls=110557, avgTableProportion=0.9970559517973846, avgTableSize=782.4948849914524
7.47/3.43	    
7.47/3.44	    num=53, depth=9..20, filters=69260, revisions=(241313,useless=225589), ccks=364494, wck=0.87, mem=92M646
7.47/3.44	    decisions=3648, wrong=1444, backtracks=5747, failedAssignments=939, nogoods=235, foundSolutions=7, bestBound=35
7.47/3.44	    nFilterCalls=112593, avgTableProportion=0.9970552398472499, avgTableSize=782.037808744771
7.47/3.44	    
7.47/3.46	    num=54, depth=11..17, filters=70781, revisions=(246256,useless=230172), ccks=371174, wck=0.889, mem=92M646
7.47/3.46	    decisions=3713, wrong=1470, backtracks=5760, failedAssignments=955, nogoods=246, foundSolutions=7, bestBound=35
7.47/3.46	    nFilterCalls=114746, avgTableProportion=0.9970585052336343, avgTableSize=782.6110888396981
7.47/3.46	    
7.47/3.48	    num=55, depth=6..18, filters=72420, revisions=(251699,useless=235176), ccks=381209, wck=0.911, mem=92M646
7.47/3.48	    decisions=3796, wrong=1505, backtracks=5786, failedAssignments=972, nogoods=252, foundSolutions=7, bestBound=35
7.47/3.48	    nFilterCalls=117042, avgTableProportion=0.997063952604271, avgTableSize=784.1735359956255
7.47/3.48	    
7.77/3.51	    num=56, depth=8..18, filters=74516, revisions=(259001,useless=241971), ccks=391389, wck=0.934, mem=92M646
7.77/3.51	    decisions=3876, wrong=1539, backtracks=5809, failedAssignments=991, nogoods=258, foundSolutions=7, bestBound=35
7.77/3.51	    nFilterCalls=119879, avgTableProportion=0.9970647150323234, avgTableSize=784.626323209236
7.77/3.51	    
7.77/3.53	    num=57, depth=9..21, filters=76351, revisions=(265529,useless=248075), ccks=399113, wck=0.956, mem=95M288
7.77/3.53	    decisions=3964, wrong=1574, backtracks=5832, failedAssignments=1012, nogoods=266, foundSolutions=7, bestBound=35
7.77/3.53	    nFilterCalls=122468, avgTableProportion=0.9970640161520068, avgTableSize=784.4917039553189
7.77/3.53	    
7.77/3.56	    num=58, depth=2..18, filters=78496, revisions=(272595,useless=254608), ccks=413163, wck=0.985, mem=95M288
7.77/3.56	    decisions=4085, wrong=1631, backtracks=5872, failedAssignments=1035, nogoods=273, foundSolutions=7, bestBound=35
7.77/3.56	    nFilterCalls=125365, avgTableProportion=0.9970671098247843, avgTableSize=785.723399672955
7.77/3.56	    
7.77/3.58	    num=59, depth=2..16, filters=80727, revisions=(280300,useless=261855), ccks=422065, wck=1.01, mem=95M288
7.77/3.58	    decisions=4179, wrong=1673, backtracks=5901, failedAssignments=1060, nogoods=281, foundSolutions=7, bestBound=35
7.77/3.58	    nFilterCalls=128612, avgTableProportion=0.9970663961733235, avgTableSize=785.7069402544087
7.77/3.58	    
8.07/3.60	o 34
8.07/3.60	    num=60, depth=12..291, filters=82201, revisions=(285588,useless=266837), ccks=428011, wck=1.03, mem=95M288
8.07/3.60	    decisions=4252, wrong=1699, backtracks=5917, failedAssignments=1075, nogoods=288, foundSolutions=8, bestBound=34
8.07/3.60	    nFilterCalls=131275, avgTableProportion=0.9970672509681234, avgTableSize=785.5592382403352
8.07/3.60	    
8.07/3.63	    num=61, depth=10..22, filters=84836, revisions=(294488,useless=275158), ccks=437280, wck=1.06, mem=95M288
8.07/3.63	    decisions=4372, wrong=1752, backtracks=5950, failedAssignments=1106, nogoods=300, foundSolutions=8, bestBound=34
8.07/3.63	    nFilterCalls=135080, avgTableProportion=0.9970684792632364, avgTableSize=785.5862081729346
8.07/3.63	    
8.07/3.64	o 31
8.07/3.64	    num=62, depth=12..291, filters=85399, revisions=(296867,useless=277435), ccks=440635, wck=1.071, mem=95M288
8.07/3.64	    decisions=4403, wrong=1757, backtracks=5954, failedAssignments=1110, nogoods=304, foundSolutions=9, bestBound=31
8.07/3.64	    nFilterCalls=136371, avgTableProportion=0.9970698878644797, avgTableSize=786.0316269588109
8.07/3.64	    
8.07/3.66	    num=63, depth=11..17, filters=86150, revisions=(300026,useless=280447), ccks=445563, wck=1.084, mem=95M288
8.07/3.66	    decisions=4438, wrong=1769, backtracks=5960, failedAssignments=1122, nogoods=305, foundSolutions=9, bestBound=31
8.07/3.66	    nFilterCalls=137517, avgTableProportion=0.9970681913360728, avgTableSize=785.839961604747
8.07/3.66	    
8.07/3.67	    num=64, depth=6..23, filters=87190, revisions=(303590,useless=283815), ccks=450043, wck=1.098, mem=95M288
8.07/3.67	    decisions=4491, wrong=1789, backtracks=5970, failedAssignments=1133, nogoods=312, foundSolutions=9, bestBound=31
8.07/3.67	    nFilterCalls=139027, avgTableProportion=0.9970666326170835, avgTableSize=785.6004804822085
8.07/3.67	    
8.07/3.68	o 27
8.07/3.68	    num=65, depth=9..291, filters=87613, revisions=(305422,useless=285565), ccks=452321, wck=1.108, mem=95M288
8.07/3.68	    decisions=4518, wrong=1797, backtracks=6136, failedAssignments=1141, nogoods=314, foundSolutions=10, bestBound=27
8.07/3.68	    nFilterCalls=140408, avgTableProportion=0.9970681781308337, avgTableSize=785.9375035610507
8.07/3.68	    
8.37/3.70	    num=66, depth=7..15, filters=89119, revisions=(311092,useless=290931), ccks=458681, wck=1.127, mem=95M288
8.37/3.70	    decisions=4569, wrong=1819, backtracks=6151, failedAssignments=1154, nogoods=318, foundSolutions=10, bestBound=27
8.37/3.70	    nFilterCalls=142514, avgTableProportion=0.9970643432732298, avgTableSize=785.1145712000225
8.37/3.70	    
8.37/3.71	    num=67, depth=7..12, filters=90067, revisions=(314244,useless=293826), ccks=465463, wck=1.14, mem=95M288
8.37/3.71	    decisions=4608, wrong=1835, backtracks=6162, failedAssignments=1165, nogoods=319, foundSolutions=10, bestBound=27
8.37/3.71	    nFilterCalls=143822, avgTableProportion=0.997066979542103, avgTableSize=785.9278552655366
8.37/3.71	    
8.37/3.72	    num=68, depth=7..20, filters=91032, revisions=(317565,useless=296965), ccks=469367, wck=1.149, mem=95M288
8.37/3.72	    decisions=4666, wrong=1856, backtracks=6171, failedAssignments=1177, nogoods=329, foundSolutions=10, bestBound=27
8.37/3.72	    nFilterCalls=145293, avgTableProportion=0.9970658315666909, avgTableSize=785.7668917291267
8.37/3.72	    
8.37/3.73	    num=69, depth=6..225, filters=91933, revisions=(320719,useless=299886), ccks=474836, wck=1.156, mem=95M288
8.37/3.73	    decisions=4717, wrong=1877, backtracks=6396, failedAssignments=1190, nogoods=332, foundSolutions=10, bestBound=27
8.37/3.73	    nFilterCalls=147176, avgTableProportion=0.9970697361540651, avgTableSize=786.7051285535686
8.37/3.73	    
8.37/3.74	    num=70, depth=6..12, filters=93146, revisions=(324705,useless=303576), ccks=481628, wck=1.164, mem=95M288
8.37/3.74	    decisions=4764, wrong=1896, backtracks=6407, failedAssignments=1204, nogoods=335, foundSolutions=10, bestBound=27
8.37/3.74	    nFilterCalls=148907, avgTableProportion=0.9970710035627607, avgTableSize=787.1852968631428
8.37/3.74	    
8.37/3.74	    num=71, depth=12..22, filters=94303, revisions=(328651,useless=307284), ccks=486809, wck=1.171, mem=95M288
8.37/3.74	    decisions=4837, wrong=1925, backtracks=6427, failedAssignments=1220, nogoods=338, foundSolutions=10, bestBound=27
8.37/3.74	    nFilterCalls=150604, avgTableProportion=0.9970694011999328, avgTableSize=786.7623967490904
8.37/3.74	    
8.37/3.75	    num=72, depth=7..20, filters=95947, revisions=(334667,useless=312998), ccks=493495, wck=1.18, mem=95M288
8.37/3.75	    decisions=4917, wrong=1957, backtracks=6448, failedAssignments=1237, nogoods=343, foundSolutions=10, bestBound=27
8.37/3.75	    nFilterCalls=153096, avgTableProportion=0.9970678108274422, avgTableSize=786.3671944400899
8.37/3.75	    
8.37/3.76	    num=73, depth=5..20, filters=97326, revisions=(339166,useless=317132), ccks=499326, wck=1.187, mem=95M288
8.37/3.76	    decisions=4989, wrong=1987, backtracks=6466, failedAssignments=1256, nogoods=350, foundSolutions=10, bestBound=27
8.37/3.76	    nFilterCalls=155087, avgTableProportion=0.9970705745085902, avgTableSize=786.8957681817302
8.37/3.76	    
8.37/3.77	    num=74, depth=8..20, filters=98598, revisions=(342977,useless=320738), ccks=506211, wck=1.194, mem=95M288
8.37/3.77	    decisions=5076, wrong=2025, backtracks=6489, failedAssignments=1277, nogoods=353, foundSolutions=10, bestBound=27
8.37/3.77	    nFilterCalls=157097, avgTableProportion=0.99706701782273, avgTableSize=786.2533593894218
8.37/3.77	    
8.37/3.78	    num=75, depth=7..16, filters=100577, revisions=(349778,useless=327130), ccks=516083, wck=1.205, mem=95M288
8.37/3.78	    decisions=5173, wrong=2068, backtracks=6519, failedAssignments=1300, nogoods=359, foundSolutions=10, bestBound=27
8.37/3.78	    nFilterCalls=159822, avgTableProportion=0.9970670214433224, avgTableSize=786.4341642577367
8.37/3.78	    
8.37/3.78	    num=76, depth=8..20, filters=101585, revisions=(352787,useless=329935), ccks=519148, wck=1.21, mem=95M288
8.37/3.78	    decisions=5247, wrong=2100, backtracks=6530, failedAssignments=1325, nogoods=367, foundSolutions=10, bestBound=27
8.37/3.78	    nFilterCalls=161498, avgTableProportion=0.9970668631063246, avgTableSize=786.1628998501529
8.37/3.78	    
8.37/3.79	    num=77, depth=8..26, filters=103856, revisions=(359935,useless=336592), ccks=528490, wck=1.221, mem=95M288
8.37/3.79	    decisions=5344, wrong=2141, backtracks=6552, failedAssignments=1353, nogoods=371, foundSolutions=10, bestBound=27
8.37/3.79	    nFilterCalls=164582, avgTableProportion=0.9970646667411105, avgTableSize=785.7983740627773
8.37/3.79	    
8.69/3.81	    num=78, depth=8..176, filters=105861, revisions=(367250,useless=343426), ccks=540966, wck=1.234, mem=95M288
8.69/3.81	    decisions=5461, wrong=2194, backtracks=6912, failedAssignments=1384, nogoods=379, foundSolutions=10, bestBound=27
8.69/3.81	    nFilterCalls=168512, avgTableProportion=0.997068974007171, avgTableSize=786.7494184390429
8.69/3.81	    
8.69/3.82	    num=79, depth=11..179, filters=107887, revisions=(374066,useless=349742), ccks=554592, wck=1.246, mem=95M288
8.69/3.82	    decisions=5580, wrong=2248, backtracks=7105, failedAssignments=1418, nogoods=384, foundSolutions=10, bestBound=27
8.69/3.82	    nFilterCalls=172015, avgTableProportion=0.9970727463978704, avgTableSize=787.6097433363369
8.69/3.82	    
8.69/3.83	    num=80, depth=5..162, filters=110078, revisions=(381303,useless=356439), ccks=565469, wck=1.258, mem=95M288
8.69/3.83	    decisions=5695, wrong=2302, backtracks=7438, failedAssignments=1455, nogoods=389, foundSolutions=10, bestBound=27
8.69/3.83	    nFilterCalls=176139, avgTableProportion=0.9970777324696645, avgTableSize=788.7183417641749
8.69/3.83	    
8.69/3.84	    num=81, depth=3..218, filters=110903, revisions=(386132,useless=361120), ccks=568340, wck=1.272, mem=95M288
8.69/3.84	    decisions=5787, wrong=2344, backtracks=9634, failedAssignments=1496, nogoods=393, foundSolutions=10, bestBound=27
8.69/3.84	    nFilterCalls=181098, avgTableProportion=0.9970817580698418, avgTableSize=790.6187312946581
8.69/3.84	    
8.69/3.87	    num=82, depth=10..21, filters=113988, revisions=(396330,useless=370361), ccks=612760, wck=1.295, mem=95M288
8.69/3.87	    decisions=5965, wrong=2426, backtracks=9678, failedAssignments=1541, nogoods=398, foundSolutions=10, bestBound=27
8.69/3.87	    nFilterCalls=185058, avgTableProportion=0.9970851772056646, avgTableSize=790.9404024684153
8.69/3.87	    
8.69/3.88	    num=83, depth=9..27, filters=117972, revisions=(409276,useless=382255), ccks=632323, wck=1.312, mem=95M288
8.69/3.88	    decisions=6176, wrong=2523, backtracks=9743, failedAssignments=1591, nogoods=402, foundSolutions=10, bestBound=27
8.69/3.88	    nFilterCalls=191066, avgTableProportion=0.9970841517131641, avgTableSize=790.3605194016727
8.69/3.88	    
8.99/3.90	    num=84, depth=8..225, filters=120296, revisions=(417900,useless=390343), ccks=646943, wck=1.327, mem=95M288
8.99/3.90	    decisions=6355, wrong=2606, backtracks=10327, failedAssignments=1646, nogoods=409, foundSolutions=10, bestBound=27
8.99/3.90	    nFilterCalls=196505, avgTableProportion=0.997095843506693, avgTableSize=792.902104272156
8.99/3.90	    
8.99/3.92	    num=85, depth=1..10, filters=123911, revisions=(429636,useless=401148), ccks=680437, wck=1.348, mem=97M931
8.99/3.92	    decisions=6536, wrong=2694, backtracks=10375, failedAssignments=1707, nogoods=419, foundSolutions=10, bestBound=27
8.99/3.92	    nFilterCalls=202561, avgTableProportion=0.9971029138246125, avgTableSize=793.7680945492963
8.99/3.92	    
8.99/3.94	    num=86, depth=0..16, filters=128795, revisions=(446100,useless=416383), ccks=699258, wck=1.368, mem=97M931
8.99/3.94	    decisions=6780, wrong=2813, backtracks=10459, failedAssignments=1774, nogoods=423, foundSolutions=10, bestBound=27
8.99/3.94	    nFilterCalls=209474, avgTableProportion=0.997101857039164, avgTableSize=793.397777289783
8.99/3.94	    
8.99/3.97	    num=87, depth=9..25, filters=134674, revisions=(466713,useless=435204), ccks=737533, wck=1.395, mem=97M931
8.99/3.97	    decisions=7083, wrong=2957, backtracks=10553, failedAssignments=1848, nogoods=430, foundSolutions=10, bestBound=27
8.99/3.97	    nFilterCalls=218440, avgTableProportion=0.9971015820934445, avgTableSize=792.1027192821828
8.99/3.97	    
8.99/3.98	    num=88, depth=11..28, filters=138727, revisions=(479949,useless=447432), ccks=754673, wck=1.411, mem=97M931
8.99/3.98	    decisions=7356, wrong=3087, backtracks=10620, failedAssignments=1929, nogoods=437, foundSolutions=10, bestBound=27
8.99/3.98	    nFilterCalls=224841, avgTableProportion=0.9970976149284307, avgTableSize=790.2766888601278
8.99/3.98	    
8.99/4.00	    num=89, depth=10..22, filters=143837, revisions=(496802,useless=462886), ccks=775195, wck=1.432, mem=97M931
8.99/4.00	    decisions=7699, wrong=3253, backtracks=10741, failedAssignments=2018, nogoods=442, foundSolutions=10, bestBound=27
8.99/4.00	    nFilterCalls=232849, avgTableProportion=0.9971027440202512, avgTableSize=790.7244909791324
8.99/4.00	    
9.17/4.03	    num=90, depth=10..21, filters=150448, revisions=(519572,useless=483857), ccks=803120, wck=1.459, mem=97M931
9.17/4.03	    decisions=8036, wrong=3416, backtracks=10861, failedAssignments=2116, nogoods=449, foundSolutions=10, bestBound=27
9.17/4.03	    nFilterCalls=242769, avgTableProportion=0.9971121184272191, avgTableSize=793.1321832688687
9.17/4.03	    
9.17/4.05	    num=91, depth=14..182, filters=155562, revisions=(537396,useless=500290), ccks=832307, wck=1.482, mem=97M931
9.17/4.05	    decisions=8381, wrong=3580, backtracks=11117, failedAssignments=2224, nogoods=453, foundSolutions=10, bestBound=27
9.17/4.05	    nFilterCalls=251828, avgTableProportion=0.9971134781834619, avgTableSize=792.8019005035183
9.17/4.05	    
9.17/4.07	    num=92, depth=10..188, filters=159257, revisions=(548902,useless=510881), ccks=848522, wck=1.5, mem=97M931
9.17/4.07	    decisions=8765, wrong=3763, backtracks=11534, failedAssignments=2343, nogoods=462, foundSolutions=10, bestBound=27
9.17/4.07	    nFilterCalls=259906, avgTableProportion=0.9971218117449527, avgTableSize=793.4724477311028
9.17/4.07	    
9.31/4.11	    num=93, depth=11..228, filters=167399, revisions=(576385,useless=536432), ccks=892629, wck=1.538, mem=97M931
9.31/4.11	    decisions=9233, wrong=3988, backtracks=12204, failedAssignments=2474, nogoods=473, foundSolutions=10, bestBound=27
9.31/4.11	    nFilterCalls=275055, avgTableProportion=0.9971319196512504, avgTableSize=795.6971514787951
9.31/4.11	    
9.31/4.16	    num=94, depth=6..22, filters=176986, revisions=(608857,useless=566288), ccks=963463, wck=1.587, mem=97M931
9.31/4.16	    decisions=9805, wrong=4271, backtracks=12375, failedAssignments=2618, nogoods=474, foundSolutions=10, bestBound=27
9.31/4.16	    nFilterCalls=289303, avgTableProportion=0.9971489176908217, avgTableSize=798.6817005008589
9.31/4.16	    
9.43/4.21	    num=95, depth=7..22, filters=189875, revisions=(651749,useless=605853), ccks=1019721, wck=1.635, mem=97M931
9.43/4.21	    decisions=10362, wrong=4543, backtracks=12535, failedAssignments=2776, nogoods=486, foundSolutions=10, bestBound=27
9.43/4.21	    nFilterCalls=307458, avgTableProportion=0.9971328504393961, avgTableSize=793.6046256724495
9.43/4.21	    
9.43/4.22	o 20
9.43/4.22	    num=96, depth=12..291, filters=190753, revisions=(655405,useless=609310), ccks=1025109, wck=1.644, mem=97M931
9.43/4.22	    decisions=10467, wrong=4587, backtracks=13091, failedAssignments=2817, nogoods=487, foundSolutions=11, bestBound=20
9.43/4.22	    nFilterCalls=310965, avgTableProportion=0.9971365308169765, avgTableSize=794.3163056935668
9.43/4.22	    
9.43/4.26	    num=97, depth=9..21, filters=201153, revisions=(690293,useless=641295), ccks=1069251, wck=1.686, mem=97M931
9.43/4.26	    decisions=11116, wrong=4907, backtracks=13267, failedAssignments=3008, nogoods=492, foundSolutions=11, bestBound=20
9.43/4.26	    nFilterCalls=327367, avgTableProportion=0.9971410056710143, avgTableSize=794.6596663683267
9.43/4.26	    
9.43/4.26	    num=98, depth=15..23, filters=202040, revisions=(693531,useless=644328), ccks=1076183, wck=1.691, mem=97M931
9.43/4.26	    decisions=11163, wrong=4923, backtracks=13280, failedAssignments=3019, nogoods=494, foundSolutions=11, bestBound=20
9.43/4.26	    nFilterCalls=328854, avgTableProportion=0.9971409737814037, avgTableSize=794.4967432356
9.43/4.26	    
9.43/4.27	o 16
9.43/4.27	    num=99, depth=10..291, filters=203130, revisions=(697703,useless=648244), ccks=1082429, wck=1.699, mem=97M931
9.43/4.27	    decisions=11206, wrong=4937, backtracks=13288, failedAssignments=3028, nogoods=498, foundSolutions=12, bestBound=16
9.43/4.27	    nFilterCalls=331065, avgTableProportion=0.997141301066358, avgTableSize=794.3727274100253
9.43/4.27	    
9.43/4.28	    num=100, depth=9..23, filters=203825, revisions=(700317,useless=650714), ccks=1086180, wck=1.703, mem=97M931
9.43/4.28	    decisions=11266, wrong=4958, backtracks=13299, failedAssignments=3041, nogoods=503, foundSolutions=12, bestBound=16
9.43/4.28	    nFilterCalls=332450, avgTableProportion=0.9971416550673341, avgTableSize=794.252666566401
9.43/4.28	    
9.43/4.28	    num=101, depth=9..21, filters=204705, revisions=(703510,useless=653688), ccks=1090857, wck=1.708, mem=97M931
9.43/4.28	    decisions=11314, wrong=4974, backtracks=13307, failedAssignments=3052, nogoods=508, foundSolutions=12, bestBound=16
9.43/4.28	    nFilterCalls=333753, avgTableProportion=0.9971411372202295, avgTableSize=794.1370384685681
9.43/4.28	    
9.43/4.28	    num=102, depth=8..187, filters=205490, revisions=(706122,useless=656093), ccks=1095996, wck=1.712, mem=97M931
9.43/4.28	    decisions=11354, wrong=4988, backtracks=13488, failedAssignments=3064, nogoods=512, foundSolutions=12, bestBound=16
9.43/4.28	    nFilterCalls=335347, avgTableProportion=0.9971423973813052, avgTableSize=794.3244311116545
9.43/4.28	    
9.43/4.29	    num=103, depth=8..21, filters=206736, revisions=(710907,useless=660546), ccks=1102879, wck=1.719, mem=97M931
9.43/4.29	    decisions=11414, wrong=5010, backtracks=13503, failedAssignments=3077, nogoods=517, foundSolutions=12, bestBound=16
9.43/4.29	    nFilterCalls=337241, avgTableProportion=0.9971414465843116, avgTableSize=794.0123798707749
9.43/4.29	    
9.66/4.30	    num=104, depth=8..19, filters=208066, revisions=(715781,useless=665057), ccks=1110536, wck=1.725, mem=97M931
9.66/4.30	    decisions=11476, wrong=5034, backtracks=13518, failedAssignments=3091, nogoods=522, foundSolutions=12, bestBound=16
9.66/4.30	    nFilterCalls=339232, avgTableProportion=0.9971405668067326, avgTableSize=793.7383619469862
9.66/4.30	    
9.66/4.31	    num=105, depth=8..24, filters=209853, revisions=(721875,useless=670632), ccks=1120982, wck=1.733, mem=100M573
9.66/4.31	    decisions=11562, wrong=5070, backtracks=13540, failedAssignments=3107, nogoods=527, foundSolutions=12, bestBound=16
9.66/4.31	    nFilterCalls=341635, avgTableProportion=0.9971396754503807, avgTableSize=793.5404481390958
9.66/4.31	    
9.66/4.31	    num=106, depth=11..24, filters=210982, revisions=(725690,useless=674164), ccks=1126053, wck=1.738, mem=100M573
9.66/4.31	    decisions=11637, wrong=5099, backtracks=13558, failedAssignments=3124, nogoods=535, foundSolutions=12, bestBound=16
9.66/4.31	    nFilterCalls=343396, avgTableProportion=0.997138823983445, avgTableSize=793.2577927523909
9.66/4.31	    
9.66/4.32	    num=107, depth=13..20, filters=212586, revisions=(731180,useless=679226), ccks=1132961, wck=1.745, mem=100M573
9.66/4.32	    decisions=11720, wrong=5133, backtracks=13582, failedAssignments=3143, nogoods=540, foundSolutions=12, bestBound=16
9.66/4.32	    nFilterCalls=345896, avgTableProportion=0.997138824563699, avgTableSize=793.0766646622106
9.66/4.32	    
9.66/4.32	    num=108, depth=8..17, filters=213890, revisions=(735622,useless=683380), ccks=1143468, wck=1.752, mem=100M573
9.66/4.32	    decisions=11792, wrong=5165, backtracks=13601, failedAssignments=3164, nogoods=542, foundSolutions=12, bestBound=16
9.66/4.32	    nFilterCalls=348450, avgTableProportion=0.997138843836955, avgTableSize=792.8400028698522
9.66/4.32	    
9.66/4.33	    num=109, depth=7..16, filters=215544, revisions=(741155,useless=688582), ccks=1155050, wck=1.76, mem=100M573
9.66/4.33	    decisions=11883, wrong=5206, backtracks=13627, failedAssignments=3187, nogoods=546, foundSolutions=12, bestBound=16
9.66/4.33	    nFilterCalls=351527, avgTableProportion=0.9971371465145001, avgTableSize=792.4596033875065
9.66/4.33	    
9.66/4.34	    num=110, depth=13..187, filters=216296, revisions=(743581,useless=690830), ccks=1158112, wck=1.764, mem=100M573
9.66/4.34	    decisions=11956, wrong=5236, backtracks=13811, failedAssignments=3212, nogoods=550, foundSolutions=12, bestBound=16
9.66/4.34	    nFilterCalls=353282, avgTableProportion=0.9971385316422074, avgTableSize=792.6123550025193
9.66/4.34	    
9.66/4.34	    num=111, depth=6..215, filters=217652, revisions=(748674,useless=695511), ccks=1167228, wck=1.772, mem=100M573
9.66/4.34	    decisions=12052, wrong=5279, backtracks=14191, failedAssignments=3240, nogoods=558, foundSolutions=12, bestBound=16
9.66/4.34	    nFilterCalls=356198, avgTableProportion=0.9971412386851773, avgTableSize=793.3385392394118
9.66/4.34	    
9.66/4.35	    num=112, depth=6..10, filters=219449, revisions=(755010,useless=701423), ccks=1175108, wck=1.781, mem=100M573
9.66/4.35	    decisions=12122, wrong=5310, backtracks=14215, failedAssignments=3271, nogoods=564, foundSolutions=12, bestBound=16
9.66/4.35	    nFilterCalls=358769, avgTableProportion=0.9971417837389391, avgTableSize=793.1244282532772
9.66/4.35	    
9.66/4.37	    num=113, depth=8..218, filters=220464, revisions=(760607,useless=706707), ccks=1181244, wck=1.795, mem=100M573
9.66/4.37	    decisions=12225, wrong=5353, backtracks=16633, failedAssignments=3305, nogoods=574, foundSolutions=12, bestBound=16
9.66/4.37	    nFilterCalls=364434, avgTableProportion=0.9971462294577311, avgTableSize=794.6677670030788
9.66/4.37	    
9.66/4.38	    num=114, depth=8..22, filters=223149, revisions=(770197,useless=715608), ccks=1196608, wck=1.807, mem=100M573
9.66/4.38	    decisions=12355, wrong=5412, backtracks=16670, failedAssignments=3342, nogoods=581, foundSolutions=12, bestBound=16
9.66/4.38	    nFilterCalls=368510, avgTableProportion=0.9971459691109702, avgTableSize=794.4288350383979
9.66/4.38	    
9.66/4.39	    num=115, depth=12..172, filters=225457, revisions=(778945,useless=723794), ccks=1207923, wck=1.817, mem=100M573
9.66/4.39	    decisions=12502, wrong=5477, backtracks=16864, failedAssignments=3383, nogoods=585, foundSolutions=12, bestBound=16
9.66/4.39	    nFilterCalls=372006, avgTableProportion=0.997145270295184, avgTableSize=794.2681569652102
9.66/4.39	    
9.81/4.40	    num=116, depth=11..222, filters=227166, revisions=(785381,useless=729760), ccks=1215396, wck=1.829, mem=100M573
9.81/4.40	    decisions=12640, wrong=5539, backtracks=17961, failedAssignments=3428, nogoods=593, foundSolutions=12, bestBound=16
9.81/4.40	    nFilterCalls=376682, avgTableProportion=0.9971490849791665, avgTableSize=795.0937740587551
9.81/4.40	    
9.81/4.42	    num=117, depth=12..21, filters=231607, revisions=(800720,useless=744032), ccks=1239353, wck=1.848, mem=100M573
9.81/4.42	    decisions=12841, wrong=5631, backtracks=18019, failedAssignments=3478, nogoods=600, foundSolutions=12, bestBound=16
9.81/4.42	    nFilterCalls=383473, avgTableProportion=0.9971476952116158, avgTableSize=794.3485929909016
9.81/4.42	    
9.81/4.43	    num=118, depth=10..226, filters=234059, revisions=(809287,useless=751842), ccks=1251788, wck=1.861, mem=100M573
9.81/4.43	    decisions=13069, wrong=5739, backtracks=18633, failedAssignments=3533, nogoods=604, foundSolutions=12, bestBound=16
9.81/4.43	    nFilterCalls=388704, avgTableProportion=0.9971506565822011, avgTableSize=794.8245297192723
9.81/4.43	    
9.81/4.45	    num=119, depth=5..215, filters=235941, revisions=(819105,useless=761111), ccks=1263098, wck=1.882, mem=100M573
9.81/4.45	    decisions=13235, wrong=5819, backtracks=22109, failedAssignments=3594, nogoods=608, foundSolutions=12, bestBound=16
9.81/4.45	    nFilterCalls=397205, avgTableProportion=0.9971574955623455, avgTableSize=797.2408882063418
9.81/4.45	    
9.81/4.47	    num=120, depth=4..24, filters=240652, revisions=(836461,useless=777080), ccks=1291418, wck=1.903, mem=100M573
9.81/4.47	    decisions=13503, wrong=5944, backtracks=22186, failedAssignments=3661, nogoods=616, foundSolutions=12, bestBound=16
9.81/4.47	    nFilterCalls=404205, avgTableProportion=0.9971607373124327, avgTableSize=798.3526923219654
9.81/4.47	    
9.81/4.49	    num=121, depth=4..16, filters=244572, revisions=(851282,useless=790858), ccks=1318459, wck=1.921, mem=100M573
9.81/4.49	    decisions=13788, wrong=6082, backtracks=22278, failedAssignments=3735, nogoods=619, foundSolutions=12, bestBound=16
9.81/4.49	    nFilterCalls=410998, avgTableProportion=0.9971633956238535, avgTableSize=799.9347466411028
9.81/4.49	    
9.97/4.52	    num=122, depth=6..25, filters=251828, revisions=(876273,useless=814132), ccks=1350735, wck=1.948, mem=100M573
9.97/4.52	    decisions=14161, wrong=6264, backtracks=22403, failedAssignments=3816, nogoods=621, foundSolutions=12, bestBound=16
9.97/4.52	    nFilterCalls=420838, avgTableProportion=0.9971509268151786, avgTableSize=798.2034393281975
9.97/4.52	    
9.97/4.56	    num=123, depth=1..19, filters=260737, revisions=(907050,useless=842460), ccks=1392162, wck=1.986, mem=100M573
9.97/4.56	    decisions=14472, wrong=6419, backtracks=22497, failedAssignments=3905, nogoods=625, foundSolutions=12, bestBound=16
9.97/4.56	    nFilterCalls=433566, avgTableProportion=0.9971444915232853, avgTableSize=797.3270874561197
9.97/4.56	    
9.97/4.58	    num=124, depth=7..23, filters=268302, revisions=(931148,useless=864904), ccks=1418203, wck=2.011, mem=100M573
9.97/4.58	    decisions=14926, wrong=6640, backtracks=22648, failedAssignments=4003, nogoods=637, foundSolutions=12, bestBound=16
9.97/4.58	    nFilterCalls=443572, avgTableProportion=0.9971302089746232, avgTableSize=794.2893555048561
9.97/4.58	    
10.07/4.61	    num=125, depth=3..166, filters=274540, revisions=(953310,useless=885229), ccks=1451875, wck=2.039, mem=100M573
10.07/4.61	    decisions=15288, wrong=6817, backtracks=23203, failedAssignments=4111, nogoods=642, foundSolutions=12, bestBound=16
10.07/4.61	    nFilterCalls=453921, avgTableProportion=0.9971367787639305, avgTableSize=795.7623022508322
10.07/4.61	    
10.07/4.63	    num=126, depth=6..148, filters=279105, revisions=(968340,useless=898774), ccks=1479457, wck=2.06, mem=100M573
10.07/4.63	    decisions=15716, wrong=7026, backtracks=23462, failedAssignments=4230, nogoods=648, foundSolutions=12, bestBound=16
10.07/4.63	    nFilterCalls=462122, avgTableProportion=0.9971467501880082, avgTableSize=797.8174767702035
10.07/4.63	    
10.07/4.68	    num=127, depth=7..220, filters=291363, revisions=(1007728,useless=935345), ccks=1523339, wck=2.104, mem=100M573
10.07/4.68	    decisions=16276, wrong=7298, backtracks=24062, failedAssignments=4361, nogoods=658, foundSolutions=12, bestBound=16
10.07/4.68	    nFilterCalls=480239, avgTableProportion=0.9971299117224376, avgTableSize=793.8116521148845
10.07/4.68	    
10.19/4.72	    num=128, depth=0..214, filters=299600, revisions=(1036973,useless=962590), ccks=1564207, wck=2.146, mem=103M216
10.19/4.72	    decisions=16783, wrong=7545, backtracks=26601, failedAssignments=4505, nogoods=667, foundSolutions=12, bestBound=16
10.19/4.72	    nFilterCalls=497340, avgTableProportion=0.9971248763245892, avgTableSize=792.7791088591306
10.19/4.72	    
10.19/4.75	    num=129, depth=6..214, filters=307920, revisions=(1065303,useless=988851), ccks=1600421, wck=2.181, mem=103M216
10.19/4.75	    decisions=17367, wrong=7829, backtracks=27144, failedAssignments=4663, nogoods=675, foundSolutions=12, bestBound=16
10.19/4.75	    nFilterCalls=511527, avgTableProportion=0.9971292049297867, avgTableSize=793.5052284630137
10.19/4.75	    
10.19/4.79	    num=130, depth=7..175, filters=317775, revisions=(1100238,useless=1021481), ccks=1641420, wck=2.221, mem=103M216
10.19/4.79	    decisions=17927, wrong=8104, backtracks=27764, failedAssignments=4837, nogoods=682, foundSolutions=12, bestBound=16
10.19/4.79	    nFilterCalls=528396, avgTableProportion=0.997130243404735, avgTableSize=793.4678744729332
10.19/4.79	    
10.29/4.84	    num=131, depth=4..216, filters=326641, revisions=(1129471,useless=1049027), ccks=1690688, wck=2.265, mem=103M216
10.29/4.84	    decisions=18502, wrong=8384, backtracks=29275, failedAssignments=5028, nogoods=690, foundSolutions=12, bestBound=16
10.29/4.84	    nFilterCalls=546268, avgTableProportion=0.9971268042687593, avgTableSize=792.7336252535385
10.29/4.84	    
10.29/4.89	    num=132, depth=6..229, filters=336817, revisions=(1167041,useless=1083660), ccks=1749331, wck=2.315, mem=103M216
10.29/4.89	    decisions=19136, wrong=8698, backtracks=31227, failedAssignments=5239, nogoods=691, foundSolutions=12, bestBound=16
10.29/4.89	    nFilterCalls=565492, avgTableProportion=0.9971316039674561, avgTableSize=793.677528594569
10.29/4.89	    
10.39/4.95	    num=133, depth=3..219, filters=353140, revisions=(1225599,useless=1138286), ccks=1815483, wck=2.381, mem=103M216
10.39/4.95	    decisions=19852, wrong=9051, backtracks=32698, failedAssignments=5471, nogoods=696, foundSolutions=12, bestBound=16
10.39/4.95	    nFilterCalls=591099, avgTableProportion=0.9971229051511267, avgTableSize=792.2387434253823
10.39/4.95	    
10.50/5.02	    num=134, depth=8..226, filters=367611, revisions=(1278651,useless=1187685), ccks=1887565, wck=2.447, mem=103M216
10.50/5.02	    decisions=20736, wrong=9487, backtracks=35179, failedAssignments=5726, nogoods=702, foundSolutions=12, bestBound=16
10.50/5.02	    nFilterCalls=615793, avgTableProportion=0.9971188520057119, avgTableSize=791.2984541883393
10.50/5.02	    
10.50/5.08	    num=135, depth=2..224, filters=375676, revisions=(1311635,useless=1218446), ccks=1920236, wck=2.509, mem=103M216
10.50/5.08	    decisions=21548, wrong=9888, backtracks=43398, failedAssignments=6007, nogoods=710, foundSolutions=12, bestBound=16
10.50/5.08	    nFilterCalls=643603, avgTableProportion=0.9971321188074029, avgTableSize=794.8213292977192
10.50/5.08	    
10.61/5.16	    num=136, depth=1..20, filters=394095, revisions=(1374149,useless=1277008), ccks=2019366, wck=2.588, mem=103M216
10.61/5.16	    decisions=22495, wrong=10360, backtracks=43683, failedAssignments=6316, nogoods=719, foundSolutions=12, bestBound=16
10.61/5.16	    nFilterCalls=673519, avgTableProportion=0.9971260370658667, avgTableSize=792.2890816740137
10.61/5.16	    
10.70/5.27	    num=137, depth=5..219, filters=420447, revisions=(1468609,useless=1365158), ccks=2131316, wck=2.695, mem=103M216
10.70/5.27	    decisions=23658, wrong=10933, backtracks=45429, failedAssignments=6656, nogoods=726, foundSolutions=12, bestBound=16
10.70/5.27	    nFilterCalls=713833, avgTableProportion=0.9971142989492419, avgTableSize=789.9849670721303
10.70/5.27	    
10.81/5.37	    num=138, depth=10..229, filters=442610, revisions=(1544152,useless=1434467), ccks=2263952, wck=2.796, mem=105M858
10.81/5.37	    decisions=25051, wrong=11623, backtracks=46719, failedAssignments=7030, nogoods=734, foundSolutions=12, bestBound=16
10.81/5.37	    nFilterCalls=753865, avgTableProportion=0.9971292911018296, avgTableSize=792.8276853282749
10.81/5.37	    
10.91/5.48	    num=139, depth=7..227, filters=463439, revisions=(1621950,useless=1506827), ccks=2371935, wck=2.905, mem=105M858
10.91/5.48	    decisions=26433, wrong=12309, backtracks=53677, failedAssignments=7441, nogoods=738, foundSolutions=12, bestBound=16
10.91/5.48	    nFilterCalls=798981, avgTableProportion=0.9971382158468926, avgTableSize=795.571767038265
10.91/5.48	    
11.12/5.60	    num=140, depth=1..216, filters=491510, revisions=(1723961,useless=1602782), ccks=2493003, wck=3.025, mem=105M858
11.12/5.60	    decisions=27910, wrong=13045, backtracks=56471, failedAssignments=7893, nogoods=744, foundSolutions=12, bestBound=16
11.12/5.60	    nFilterCalls=847569, avgTableProportion=0.9971328227325064, avgTableSize=795.553445206231
11.12/5.60	    
11.23/5.72	    num=141, depth=4..24, filters=525003, revisions=(1841167,useless=1711931), ccks=2626886, wck=3.152, mem=105M858
11.23/5.72	    decisions=29632, wrong=13899, backtracks=56999, failedAssignments=8390, nogoods=753, foundSolutions=12, bestBound=16
11.23/5.72	    nFilterCalls=897254, avgTableProportion=0.9971176934945604, avgTableSize=793.3074012486989
11.23/5.72	    
11.33/5.90	    num=142, depth=1..222, filters=560192, revisions=(1960069,useless=1823100), ccks=2854072, wck=3.324, mem=105M858
11.33/5.90	    decisions=31383, wrong=14766, backtracks=59774, failedAssignments=8937, nogoods=763, foundSolutions=12, bestBound=16
11.33/5.90	    nFilterCalls=959460, avgTableProportion=0.9971202222859779, avgTableSize=792.8822681508349
11.33/5.90	    
11.53/6.05	    num=143, depth=5..183, filters=596136, revisions=(2081088,useless=1935020), ccks=3037367, wck=3.479, mem=108M501
11.53/6.05	    decisions=33512, wrong=15823, backtracks=60866, failedAssignments=9539, nogoods=773, foundSolutions=12, bestBound=16
11.53/6.05	    nFilterCalls=1019479, avgTableProportion=0.9971316157961164, avgTableSize=794.7733410889288
11.53/6.05	    
11.73/6.25	    num=144, depth=5..226, filters=637709, revisions=(2233443,useless=2077500), ccks=3220430, wck=3.674, mem=108M501
11.73/6.25	    decisions=35769, wrong=16947, backtracks=70282, failedAssignments=10201, nogoods=778, foundSolutions=12, bestBound=16
11.73/6.25	    nFilterCalls=1103748, avgTableProportion=0.997136254019569, avgTableSize=796.1253420164747
11.73/6.25	    
11.94/6.45	    num=145, depth=5..25, filters=691929, revisions=(2420496,useless=2251684), ccks=3444239, wck=3.877, mem=108M501
11.94/6.45	    decisions=38483, wrong=18296, backtracks=71133, failedAssignments=10929, nogoods=797, foundSolutions=12, bestBound=16
11.94/6.45	    nFilterCalls=1187467, avgTableProportion=0.9971225960891194, avgTableSize=790.8814299681591
11.94/6.45	    
12.14/6.66	    num=146, depth=6..224, filters=730692, revisions=(2567732,useless=2389203), ccks=3620709, wck=4.09, mem=108M501
12.14/6.66	    decisions=41116, wrong=19607, backtracks=87759, failedAssignments=11730, nogoods=803, foundSolutions=12, bestBound=16
12.14/6.66	    nFilterCalls=1282992, avgTableProportion=0.9971366384004079, avgTableSize=793.1600921907541
12.14/6.66	    
12.44/6.90	    num=147, depth=2..225, filters=781116, revisions=(2751870,useless=2561046), ccks=3877203, wck=4.332, mem=111M143
12.44/6.90	    decisions=44022, wrong=21055, backtracks=96362, failedAssignments=12611, nogoods=810, foundSolutions=12, bestBound=16
12.44/6.90	    nFilterCalls=1380705, avgTableProportion=0.9971424169544322, avgTableSize=795.2614265900392
12.44/6.90	    
12.78/7.20	    num=148, depth=4..171, filters=848293, revisions=(2988228,useless=2781036), ccks=4251098, wck=4.626, mem=111M143
12.78/7.20	    decisions=47254, wrong=22667, backtracks=97959, failedAssignments=13581, nogoods=827, foundSolutions=12, bestBound=16
12.78/7.20	    nFilterCalls=1488581, avgTableProportion=0.9971389247722141, avgTableSize=794.4792497015615
12.78/7.20	    
13.08/7.53	    num=149, depth=0..218, filters=906540, revisions=(3213341,useless=2992577), ccks=4545024, wck=4.953, mem=113M786
13.08/7.53	    decisions=50624, wrong=24349, backtracks=124249, failedAssignments=14648, nogoods=838, foundSolutions=12, bestBound=16
13.08/7.53	    nFilterCalls=1621425, avgTableProportion=0.9971341358697637, avgTableSize=794.8384143577409
13.08/7.53	    
13.38/7.80	    num=150, depth=3..226, filters=964386, revisions=(3420706,useless=3185102), ccks=4866071, wck=5.231, mem=113M786
13.38/7.80	    decisions=54443, wrong=26252, backtracks=131596, failedAssignments=15821, nogoods=847, foundSolutions=12, bestBound=16
13.38/7.80	    nFilterCalls=1729235, avgTableProportion=0.9971451635767226, avgTableSize=797.2923865177377
13.38/7.80	    
13.69/8.16	    num=151, depth=2..224, filters=1046931, revisions=(3704761,useless=3450887), ccks=5223262, wck=5.59, mem=116M428
13.69/8.16	    decisions=58838, wrong=28446, backtracks=140794, failedAssignments=17112, nogoods=862, foundSolutions=12, bestBound=16
13.69/8.16	    nFilterCalls=1879128, avgTableProportion=0.9971305873913786, avgTableSize=794.7720192557399
13.69/8.16	    
14.08/8.59	    num=152, depth=1..189, filters=1153619, revisions=(4079079,useless=3799766), ccks=5693025, wck=6.014, mem=116M428
14.08/8.59	    decisions=63947, wrong=30995, backtracks=144724, failedAssignments=18532, nogoods=868, foundSolutions=12, bestBound=16
14.08/8.59	    nFilterCalls=2046897, avgTableProportion=0.9971192331539966, avgTableSize=791.4814717105942
14.08/8.59	    
14.48/9.00	    num=153, depth=5..224, filters=1254797, revisions=(4420772,useless=4118754), ccks=6095116, wck=6.424, mem=119M71
14.48/9.00	    decisions=69482, wrong=33756, backtracks=150969, failedAssignments=20094, nogoods=879, foundSolutions=12, bestBound=16
14.48/9.00	    nFilterCalls=2225837, avgTableProportion=0.9971034277080822, avgTableSize=786.7021480009543
14.48/9.00	    
14.98/9.46	    num=154, depth=3..228, filters=1347689, revisions=(4732521,useless=4412643), ccks=6641927, wck=6.892, mem=119M71
14.98/9.46	    decisions=74579, wrong=36297, backtracks=163206, failedAssignments=21812, nogoods=891, foundSolutions=12, bestBound=16
14.98/9.46	    nFilterCalls=2415184, avgTableProportion=0.9971071030725231, avgTableSize=786.4501139457698
14.98/9.46	    
15.48/9.95	    num=155, depth=4..225, filters=1438951, revisions=(5058613,useless=4716233), ccks=7111123, wck=7.375, mem=121M713
15.48/9.95	    decisions=80797, wrong=39402, backtracks=186379, failedAssignments=23702, nogoods=901, foundSolutions=12, bestBound=16
15.48/9.95	    nFilterCalls=2614882, avgTableProportion=0.9971250971933687, avgTableSize=791.2643805724312
15.48/9.95	    
16.08/10.54	    num=156, depth=0..228, filters=1577111, revisions=(5538217,useless=5162817), ccks=7706313, wck=7.967, mem=124M355
16.08/10.54	    decisions=88314, wrong=43158, backtracks=203558, failedAssignments=25781, nogoods=911, foundSolutions=12, bestBound=16
16.08/10.54	    nFilterCalls=2854992, avgTableProportion=0.9971190271933271, avgTableSize=790.2063224695551
16.08/10.54	    
16.69/11.13	    num=157, depth=2..228, filters=1670479, revisions=(5899797,useless=5499977), ccks=8158221, wck=8.557, mem=126M998
16.69/11.13	    decisions=95494, wrong=46744, backtracks=258362, failedAssignments=28068, nogoods=917, foundSolutions=12, bestBound=16
16.69/11.13	    nFilterCalls=3108141, avgTableProportion=0.9971456615174521, avgTableSize=796.3875866635394
16.69/11.13	    
17.49/11.92	    num=158, depth=1..224, filters=1872533, revisions=(6579583,useless=6133819), ccks=9030902, wck=9.346, mem=129M640
17.49/11.92	    decisions=105165, wrong=51576, backtracks=264043, failedAssignments=30584, nogoods=935, foundSolutions=12, bestBound=16
17.49/11.92	    nFilterCalls=3428763, avgTableProportion=0.9971238502263102, avgTableSize=790.3024638914967
17.49/11.92	    
18.39/12.75	    num=159, depth=0..226, filters=2069786, revisions=(7271866,useless=6781357), ccks=9909990, wck=10.182, mem=132M283
18.39/12.75	    decisions=114471, wrong=56226, backtracks=280512, failedAssignments=33352, nogoods=945, foundSolutions=12, bestBound=16
18.39/12.75	    nFilterCalls=3759041, avgTableProportion=0.9971037457835311, avgTableSize=785.4684444782592
18.39/12.75	    
19.29/13.62	    num=160, depth=1..223, filters=2275896, revisions=(7993004,useless=7456719), ccks=10861789, wck=11.051, mem=134M925
19.29/13.62	    decisions=124357, wrong=61164, backtracks=293865, failedAssignments=36396, nogoods=959, foundSolutions=12, bestBound=16
19.29/13.62	    nFilterCalls=4096329, avgTableProportion=0.9970885111216126, avgTableSize=781.6261296394894
19.29/13.62	    
20.29/14.65	    num=161, depth=1..227, filters=2495552, revisions=(8740616,useless=8155372), ccks=12107196, wck=12.076, mem=137M568
20.29/14.65	    decisions=135743, wrong=66853, backtracks=316534, failedAssignments=39745, nogoods=964, foundSolutions=12, bestBound=16
20.29/14.65	    nFilterCalls=4486683, avgTableProportion=0.9970814289834372, avgTableSize=778.8941986763941
20.29/14.65	    
21.29/15.65	    num=162, depth=1..228, filters=2731396, revisions=(9569645,useless=8929112), ccks=13194974, wck=13.081, mem=142M778
21.29/15.65	    decisions=148590, wrong=73270, backtracks=337508, failedAssignments=43429, nogoods=973, foundSolutions=12, bestBound=16
21.29/15.65	    nFilterCalls=4899004, avgTableProportion=0.9970707780187675, avgTableSize=775.1674946580979
21.29/15.65	    
22.44/16.79	    num=163, depth=0..225, filters=3006326, revisions=(10517160,useless=9811544), ccks=14408067, wck=14.216, mem=31M851
22.44/16.79	    decisions=162803, wrong=80372, backtracks=346620, failedAssignments=47481, nogoods=981, foundSolutions=12, bestBound=16
22.44/16.79	    nFilterCalls=5361619, avgTableProportion=0.9970744101773391, avgTableSize=774.9447577308272
22.44/16.79	    
23.54/17.89	    num=164, depth=0..230, filters=3277900, revisions=(11428840,useless=10659372), ccks=15503712, wck=15.318, mem=37M83
23.54/17.89	    decisions=178301, wrong=88118, backtracks=369551, failedAssignments=51938, nogoods=989, foundSolutions=12, bestBound=16
23.54/17.89	    nFilterCalls=5857575, avgTableProportion=0.9970761064900134, avgTableSize=774.5433355953616
23.54/17.89	    
24.85/19.12	    num=165, depth=0..226, filters=3563270, revisions=(12417764,useless=11583143), ccks=16816965, wck=16.545, mem=42M315
24.85/19.12	    decisions=195592, wrong=96758, backtracks=402808, failedAssignments=56841, nogoods=998, foundSolutions=12, bestBound=16
24.85/19.12	    nFilterCalls=6386225, avgTableProportion=0.9970716064474546, avgTableSize=772.5216931755458
24.85/19.12	    
25.34/19.66	
25.34/19.66	  New Bounds: 16..15
25.34/19.66	    num=166, depth=0..222, filters=3694553, revisions=(12877373,useless=12013614), ccks=17421810, wck=17.089, mem=42M315
25.34/19.66	    decisions=203042, wrong=100484, backtracks=410562, failedAssignments=59156, foundSolutions=12, bestBound=16
25.34/19.66	    nFilterCalls=6618388, avgTableProportion=0.9970716354550743, avgTableSize=772.0790148598118
25.34/19.66	    
25.34/19.66	  Global
25.34/19.66	    filters=3694553, revisions=(12877373,useless=12013614), ccks=17421810
25.34/19.66	    Stop=FULL_EXPLORATION, wrong=100484, bestBound=16, bestBoundWck=2.431, bestBoundCpu=4.227, foundSolutions=12, firstSolCpu=2.688
25.34/19.66	    wck=17.823, cpu=19.599, mem=42M315
25.34/19.66	
25.34/19.66	v <instantiation id='sol12' type='solution' cost='16'>  <list> c[][] l[][] a[][] i[][] cnt[] </list>  <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 27 35 38 22 15 13 26 28 27 10 0 22 15 13 4 28 27 10 22 15 13 4 28 0 4 10 4 0 0 5 0 * 4 10 4 5 0 0 0 * 6 0 0 0 0 0 * * 6 0 0 0 0 0 * * 6 0 0 0 0 * * * 6 0 0 0 0 * * * 6 0 0 0 * * * * 6 0 0 0 * * * * 6 0 0 * * * * * 6 0 0 * * * * * 6 0 * * * * * * 6 0 * * * * * * 6 * * * * * * * * * * * * * * * 1 2 0 1 1 1 1 1 * * * * * * * * 1 1 3 0 0 2 0 * * * * * * * * * 4 0 0 0 0 0 * * * * * * * * * * 1 0 0 0 0 * * * * * * * * * * * 1 0 0 0 * * * * * * * * * * * * 1 0 0 * * * * * * * * * * * * * 1 0 * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * 0 1 3 4 5 6 7 7 * * * * * * * * 0 1 2 5 6 6 6 * * * * * * * * * 0 5 5 5 5 5 * * * * * * * * * * 0 4 4 4 4 * * * * * * * * * * * 0 3 3 3 * * * * * * * * * * * * 0 2 2 * * * * * * * * * * * * * 0 1 * * * * * * * * * * * * * * 1 1 3 3 5 5 4 4 3 3 2 2 1 1 </values>  </instantiation>
25.34/19.66	s OPTIMUM FOUND
25.34/19.66	
25.34/19.66	d WRONG_DECISIONS 100484
25.34/19.66	d NUMBER_SOLUTIONS 12

Verifier Data 

OK	16

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390914-1568386639/watcher-4390914-1568386639 -o /tmp/evaluation-result-4390914-1568386639/solver-4390914-1568386639 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32116 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390914-1568386639.xml -cm 

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

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

solver pid=3049, runsolver pid=3046

[startup+0.100161 s]*
/proc/loadavg: 1.66 1.61 1.55 4/228 3064
/proc/meminfo: memFree=26409404/32770624 swapFree=66957012/67108860
[pid=3049] ppid=3046 vsize=10659884 memory=28348 CPUtime=0.13 cores=1,3,5,7
/proc/3049/stat : 3049 (java) S 3046 3049 32084 0 -1 1077944320 5590 0 0 0 12 1 0 0 20 0 15 0 414577775 10915721216 7087 33554432000 4194304 4196468 140734229098848 140734229081392 140062231228151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
/proc/3049/statm: 2664971 7087 2891 1 0 2627468 0
[pid=3049/tid=3051] ppid=3046 vsize=10659884 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/3049/task/3051/stat : 3051 (java) R 3046 3049 32084 0 -1 4202560 3328 0 0 0 9 0 0 0 20 0 15 0 414577775 10915721216 7087 33554432000 4194304 4196468 140734229098848 140062235458496 140062231240086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3052] ppid=3046 vsize=10659884 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3052/stat : 3052 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 7087 33554432000 4194304 4196468 140734229098848 140062173232144 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3053] ppid=3046 vsize=10659884 memory=140329163941504 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3053/stat : 3053 (java) S 3046 3049 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061837155472 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3054] ppid=3046 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3054/stat : 3054 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061836102416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3055] ppid=3046 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3055/stat : 3055 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061835049872 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3056] ppid=3046 vsize=10659884 memory=140329163941504 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3056/stat : 3056 (java) S 3046 3049 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414577778 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061790423280 140062231239298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3057] ppid=3046 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3057/stat : 3057 (java) S 3046 3049 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414577778 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061789369504 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3058] ppid=3046 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3058/stat : 3058 (java) S 3046 3049 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414577778 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061788316400 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3059] ppid=3046 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3059/stat : 3059 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414577781 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061787264976 140062231246747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3060] ppid=3046 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3060/stat : 3060 (java) S 3046 3049 32084 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 414577781 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061786213104 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3061] ppid=3046 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3061/stat : 3061 (java) S 3046 3049 32084 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 15 0 414577781 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061785160560 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3062] ppid=3046 vsize=10659884 memory=140329163941504 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3062/stat : 3062 (java) R 3046 3049 32084 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 15 0 414577781 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061784105312 140062231249498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3063] ppid=3046 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3063/stat : 3063 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414577781 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061783055200 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3064] ppid=3046 vsize=10659884 memory=140329163941504 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3064/stat : 3064 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577781 10915721216 7087 33554432000 4194304 4196468 140734229098848 140061782002224 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28348 KiB

[startup+0.210735 s]*
/proc/loadavg: 1.66 1.61 1.55 3/228 3064
/proc/meminfo: memFree=26398212/32770624 swapFree=66957012/67108860
[pid=3049] ppid=3046 vsize=10659884 memory=37368 CPUtime=0.33 cores=1,3,5,7
/proc/3049/stat : 3049 (java) S 3046 3049 32084 0 -1 1077944320 9118 0 0 0 30 3 0 0 20 0 15 0 414577775 10915721216 9342 33554432000 4194304 4196468 140734229098848 140734229081392 140062231228151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
/proc/3049/statm: 2664971 9342 2989 1 0 2627468 0
[pid=3049/tid=3051] ppid=3046 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/3049/task/3051/stat : 3051 (java) R 3046 3049 32084 0 -1 4202560 6121 0 0 0 18 2 0 0 20 0 15 0 414577775 10915721216 9342 33554432000 4194304 4196468 140734229098848 140062235454512 140062231250077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3052] ppid=3046 vsize=10659884 memory=4294967635 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3052/stat : 3052 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 9342 33554432000 4194304 4196468 140734229098848 140062173232144 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3053] ppid=3046 vsize=10659884 memory=140329166700712 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3053/stat : 3053 (java) S 3046 3049 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061837155472 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3054] ppid=3046 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3054/stat : 3054 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061836102416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3055] ppid=3046 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3055/stat : 3055 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061835049872 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3056] ppid=3046 vsize=10659884 memory=140329163941504 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3056/stat : 3056 (java) S 3046 3049 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414577778 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061790423280 140062231239298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3057] ppid=3046 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3057/stat : 3057 (java) S 3046 3049 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414577778 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061789369504 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3058] ppid=3046 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3058/stat : 3058 (java) S 3046 3049 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414577778 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061788316400 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3059] ppid=3046 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3059/stat : 3059 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414577781 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061787264976 140062231246747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3060] ppid=3046 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3060/stat : 3060 (java) S 3046 3049 32084 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 414577781 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061786213104 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3061] ppid=3046 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/3049/task/3061/stat : 3061 (java) S 3046 3049 32084 0 -1 1077944384 652 0 0 0 3 0 0 0 20 0 15 0 414577781 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061785160560 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3062] ppid=3046 vsize=10659884 memory=140329163941504 CPUtime=0.05 cores=1,3,5,7
/proc/3049/task/3062/stat : 3062 (java) S 3046 3049 32084 0 -1 1077944384 619 0 0 0 5 0 0 0 20 0 15 0 414577781 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061784107504 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3063] ppid=3046 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3063/stat : 3063 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414577781 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061783055200 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3064] ppid=3046 vsize=10659884 memory=140329163941504 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3064/stat : 3064 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577781 10915721216 9342 33554432000 4194304 4196468 140734229098848 140061782002224 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37368 KiB

[startup+0.310125 s]*
/proc/loadavg: 1.66 1.61 1.55 3/228 3064
/proc/meminfo: memFree=26396404/32770624 swapFree=66957012/67108860
[pid=3049] ppid=3046 vsize=10659884 memory=40160 CPUtime=0.47 cores=1,3,5,7
/proc/3049/stat : 3049 (java) S 3046 3049 32084 0 -1 1077944320 9340 0 0 0 44 3 0 0 20 0 15 0 414577775 10915721216 10040 33554432000 4194304 4196468 140734229098848 140734229081392 140062231228151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
/proc/3049/statm: 2664971 10040 3009 1 0 2627468 0
[pid=3049/tid=3051] ppid=3046 vsize=10659884 memory=6935652554413002832 CPUtime=0.3 cores=1,3,5,7
/proc/3049/task/3051/stat : 3051 (java) R 3046 3049 32084 0 -1 4202560 6269 0 0 0 28 2 0 0 20 0 15 0 414577775 10915721216 10040 33554432000 4194304 4196468 140734229098848 140062235459952 140062231250077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3052] ppid=3046 vsize=10659884 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3052/stat : 3052 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 10040 33554432000 4194304 4196468 140734229098848 140062173232144 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3053] ppid=3046 vsize=10659884 memory=140329163941504 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3053/stat : 3053 (java) S 3046 3049 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061837155472 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3054] ppid=3046 vsize=10659884 memory=280658127817632 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3054/stat : 3054 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061836102416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3055] ppid=3046 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3055/stat : 3055 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061835049872 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3056] ppid=3046 vsize=10659884 memory=280658227852624 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3056/stat : 3056 (java) S 3046 3049 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414577778 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061790423280 140062231239298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3057] ppid=3046 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3057/stat : 3057 (java) S 3046 3049 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414577778 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061789369504 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3058] ppid=3046 vsize=10659884 memory=64996 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3058/stat : 3058 (java) S 3046 3049 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414577778 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061788316400 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3059] ppid=3046 vsize=10659884 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3059/stat : 3059 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414577781 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061787264976 140062231246747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3060] ppid=3046 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3049/task/3060/stat : 3060 (java) S 3046 3049 32084 0 -1 1077944384 394 0 0 0 3 0 0 0 20 0 15 0 414577781 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061786213104 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3061] ppid=3046 vsize=10659884 memory=140329063922703 CPUtime=0.04 cores=1,3,5,7
/proc/3049/task/3061/stat : 3061 (java) S 3046 3049 32084 0 -1 1077944384 673 0 0 0 4 0 0 0 20 0 15 0 414577781 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061785160560 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3062] ppid=3046 vsize=10659884 memory=280658227873376 CPUtime=0.08 cores=1,3,5,7
/proc/3049/task/3062/stat : 3062 (java) R 3046 3049 32084 0 -1 4202560 648 0 0 0 8 0 0 0 20 0 15 0 414577781 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061784107504 140062231249498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3063] ppid=3046 vsize=10659884 memory=140329063927311 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3063/stat : 3063 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414577781 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061783055200 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3064] ppid=3046 vsize=10659884 memory=140329163941516 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3064/stat : 3064 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577781 10915721216 10040 33554432000 4194304 4196468 140734229098848 140061782002224 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40160 KiB

[startup+0.700808 s]
/proc/loadavg: 1.66 1.61 1.55 3/228 3064
/proc/meminfo: memFree=26385648/32770624 swapFree=66957012/67108860
[pid=3049] ppid=3046 vsize=10661932 memory=63828 CPUtime=1.11 cores=1,3,5,7
/proc/3049/stat : 3049 (java) S 3046 3049 32084 0 -1 1077944320 12973 0 0 0 105 6 0 0 20 0 15 0 414577775 10917818368 15957 33554432000 4194304 4196468 140734229098848 140734229081392 140062231228151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
/proc/3049/statm: 2665483 15957 3074 1 0 2627980 0
[pid=3049/tid=3051] ppid=3046 vsize=10661932 memory=732 CPUtime=0.68 cores=1,3,5,7
/proc/3049/task/3051/stat : 3051 (java) R 3046 3049 32084 0 -1 4202560 8826 0 0 0 64 4 0 0 20 0 15 0 414577775 10917818368 15957 33554432000 4194304 4196468 140734229098848 140062235460176 140062214414981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3052] ppid=3046 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3052/stat : 3052 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10917818368 15957 33554432000 4194304 4196468 140734229098848 140062173232144 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3053] ppid=3046 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3053/stat : 3053 (java) S 3046 3049 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414577776 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061837155472 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3054] ppid=3046 vsize=10661932 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3054/stat : 3054 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061836102416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3055] ppid=3046 vsize=10661932 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3055/stat : 3055 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061835049872 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3056] ppid=3046 vsize=10661932 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3056/stat : 3056 (java) S 3046 3049 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414577778 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061790423280 140062231239298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3057] ppid=3046 vsize=10661932 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3057/stat : 3057 (java) S 3046 3049 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414577778 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061789369504 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3058] ppid=3046 vsize=10661932 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3058/stat : 3058 (java) S 3046 3049 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414577778 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061788316400 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3059] ppid=3046 vsize=10661932 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3059/stat : 3059 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414577781 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061787264976 140062231246747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3060] ppid=3046 vsize=10661932 memory=2124 CPUtime=0.11 cores=1,3,5,7
/proc/3049/task/3060/stat : 3060 (java) R 3046 3049 32084 0 -1 4202560 690 0 0 0 11 0 0 0 20 0 15 0 414577781 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061786213104 140062210474839 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3061] ppid=3046 vsize=10661932 memory=21252 CPUtime=0.11 cores=1,3,5,7
/proc/3049/task/3061/stat : 3061 (java) S 3046 3049 32084 0 -1 1077944384 984 0 0 0 11 0 0 0 20 0 15 0 414577781 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061785160560 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3062] ppid=3046 vsize=10661932 memory=492 CPUtime=0.18 cores=1,3,5,7
/proc/3049/task/3062/stat : 3062 (java) S 3046 3049 32084 0 -1 1077944384 1114 0 0 0 18 0 0 0 20 0 15 0 414577781 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061784107504 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3063] ppid=3046 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3063/stat : 3063 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414577781 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061783055200 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3064] ppid=3046 vsize=10661932 memory=3512 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3064/stat : 3064 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577781 10917818368 15957 33554432000 4194304 4196468 140734229098848 140061782002224 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63828 KiB

[startup+1.50078 s]
/proc/loadavg: 1.66 1.61 1.55 3/228 3064
/proc/meminfo: memFree=26369208/32770624 swapFree=66957012/67108860
[pid=3049] ppid=3046 vsize=10663980 memory=75804 CPUtime=2 cores=1,3,5,7
/proc/3049/stat : 3049 (java) S 3046 3049 32084 0 -1 1077944320 18619 0 0 0 194 6 0 0 20 0 15 0 414577775 10919915520 18951 33554432000 4194304 4196468 140734229098848 140734229081392 140062231228151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
/proc/3049/statm: 2665995 18951 3097 1 0 2628492 0
[pid=3049/tid=3051] ppid=3046 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/3049/task/3051/stat : 3051 (java) R 3046 3049 32084 0 -1 4202560 13066 0 0 0 143 5 0 0 20 0 15 0 414577775 10919915520 18951 33554432000 4194304 4196468 140734229098848 140062235460176 140062231242000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3052] ppid=3046 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3052/stat : 3052 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10919915520 18951 33554432000 4194304 4196468 140734229098848 140062173232144 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3053] ppid=3046 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3053/stat : 3053 (java) S 3046 3049 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414577776 10919915520 18951 33554432000 4194304 4196468 140734229098848 140061837155472 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3054] ppid=3046 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3054/stat : 3054 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10919915520 18951 33554432000 4194304 4196468 140734229098848 140061836102416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3055] ppid=3046 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3055/stat : 3055 (java) S 3046 3049 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414577776 10919915520 18951 33554432000 4194304 4196468 140734229098848 140061835049872 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3056] ppid=3046 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3056/stat : 3056 (java) S 3046 3049 32084 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 414577778 10919915520 18951 33554432000 4194304 4196468 140734229098848 140061790423280 140062231239298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0

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

[startup+17.6006 s]
/proc/loadavg: 1.62 1.61 1.55 3/229 3067
/proc/meminfo: memFree=26160276/32770624 swapFree=66957012/67108860
[pid=3049] ppid=3046 vsize=10748324 memory=276284 CPUtime=23.34 cores=1,3,5,7
/proc/3049/stat : 3049 (java) S 3046 3049 32084 0 -1 1077944320 46701 0 0 0 2315 19 0 0 20 0 16 0 414577775 11006283776 69071 33554432000 4194304 4196468 140734229098848 140734229081392 140062231228151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
/proc/3049/statm: 2687081 69071 3374 1 0 2647217 0
[pid=3049/tid=3051] ppid=3046 vsize=10748324 memory=6944656575208382560 CPUtime=1.85 cores=1,3,5,7
/proc/3049/task/3051/stat : 3051 (java) S 3046 3049 32084 0 -1 1077944384 15302 0 0 0 179 6 0 0 20 0 16 0 414577775 11006283776 69071 33554432000 4194304 4196468 140734229098848 140062235471024 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3052] ppid=3046 vsize=10748324 memory=61573 CPUtime=0.03 cores=1,3,5,7
/proc/3049/task/3052/stat : 3052 (java) S 3046 3049 32084 0 -1 1077944384 139 0 0 0 2 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140062173232144 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3053] ppid=3046 vsize=10748324 memory=6944656575208382560 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3053/stat : 3053 (java) S 3046 3049 32084 0 -1 1077944384 971 0 0 0 1 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061837155472 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3054] ppid=3046 vsize=10748324 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3054/stat : 3054 (java) S 3046 3049 32084 0 -1 1077944384 210 0 0 0 1 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061836102416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3055] ppid=3046 vsize=10748324 memory=1712 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3055/stat : 3055 (java) S 3046 3049 32084 0 -1 1077944384 710 0 0 0 2 0 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061835049872 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3056] ppid=3046 vsize=10748324 memory=6100 CPUtime=0.01 cores=1,3,5,7
/proc/3049/task/3056/stat : 3056 (java) S 3046 3049 32084 0 -1 1077944384 1510 0 0 0 1 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061790423280 140062231239298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3057] ppid=3046 vsize=10748324 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3057/stat : 3057 (java) S 3046 3049 32084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061789369568 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3058] ppid=3046 vsize=10748324 memory=732 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3058/stat : 3058 (java) S 3046 3049 32084 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061788316416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3059] ppid=3046 vsize=10748324 memory=776 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3059/stat : 3059 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061787264976 140062231246747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3060] ppid=3046 vsize=10748324 memory=1560 CPUtime=2.46 cores=1,3,5,7
/proc/3049/task/3060/stat : 3060 (java) S 3046 3049 32084 0 -1 1077944384 11850 0 0 0 244 2 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061786213104 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3061] ppid=3046 vsize=10748324 memory=4008 CPUtime=2.32 cores=1,3,5,7
/proc/3049/task/3061/stat : 3061 (java) S 3046 3049 32084 0 -1 1077944384 4883 0 0 0 231 1 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061785160560 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3062] ppid=3046 vsize=10748324 memory=1096 CPUtime=0.86 cores=1,3,5,7
/proc/3049/task/3062/stat : 3062 (java) S 3046 3049 32084 0 -1 1077944384 3400 0 0 0 85 1 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061784107504 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3063] ppid=3046 vsize=10748324 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3063/stat : 3063 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061783055200 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3064] ppid=3046 vsize=10748324 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3064/stat : 3064 (java) S 3046 3049 32084 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061782002224 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3065] ppid=3046 vsize=10748324 memory=39616 CPUtime=15.66 cores=1,3,5,7
/proc/3049/task/3065/stat : 3065 (java) R 3046 3049 32084 0 -1 4202560 6156 0 0 0 1563 3 0 0 20 0 16 0 414577962 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061442940320 140061853426796 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
Current children cumulated CPU time: 23.34 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 276284 KiB

[startup+18.4006 s]
/proc/loadavg: 1.62 1.61 1.55 3/229 3067
/proc/meminfo: memFree=26160276/32770624 swapFree=66957012/67108860
[pid=3049] ppid=3046 vsize=10748324 memory=276284 CPUtime=24.14 cores=1,3,5,7
/proc/3049/stat : 3049 (java) S 3046 3049 32084 0 -1 1077944320 46807 0 0 0 2395 19 0 0 20 0 16 0 414577775 11006283776 69071 33554432000 4194304 4196468 140734229098848 140734229081392 140062231228151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
/proc/3049/statm: 2687081 69071 3374 1 0 2647217 0
[pid=3049/tid=3051] ppid=3046 vsize=10748324 memory=276284 CPUtime=1.85 cores=1,3,5,7
/proc/3049/task/3051/stat : 3051 (java) S 3046 3049 32084 0 -1 1077944384 15302 0 0 0 179 6 0 0 20 0 16 0 414577775 11006283776 69071 33554432000 4194304 4196468 140734229098848 140062235471024 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3052] ppid=3046 vsize=10748324 memory=6944656592455097440 CPUtime=0.03 cores=1,3,5,7
/proc/3049/task/3052/stat : 3052 (java) S 3046 3049 32084 0 -1 1077944384 139 0 0 0 2 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140062173232144 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3053] ppid=3046 vsize=10748324 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3053/stat : 3053 (java) S 3046 3049 32084 0 -1 1077944384 971 0 0 0 1 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061837155472 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3054] ppid=3046 vsize=10748324 memory=15815616594446436 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3054/stat : 3054 (java) S 3046 3049 32084 0 -1 1077944384 210 0 0 0 1 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061836102416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3055] ppid=3046 vsize=10748324 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3055/stat : 3055 (java) S 3046 3049 32084 0 -1 1077944384 710 0 0 0 2 0 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061835049872 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3056] ppid=3046 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3049/task/3056/stat : 3056 (java) S 3046 3049 32084 0 -1 1077944384 1510 0 0 0 1 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061790423280 140062231239298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3057] ppid=3046 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3057/stat : 3057 (java) S 3046 3049 32084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061789369568 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3058] ppid=3046 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3058/stat : 3058 (java) S 3046 3049 32084 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061788316416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3059] ppid=3046 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3059/stat : 3059 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061787264976 140062231246747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3060] ppid=3046 vsize=10748324 memory=0 CPUtime=2.46 cores=1,3,5,7
/proc/3049/task/3060/stat : 3060 (java) S 3046 3049 32084 0 -1 1077944384 11852 0 0 0 244 2 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061786213104 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3061] ppid=3046 vsize=10748324 memory=0 CPUtime=2.32 cores=1,3,5,7
/proc/3049/task/3061/stat : 3061 (java) S 3046 3049 32084 0 -1 1077944384 4885 0 0 0 231 1 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061785160560 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3062] ppid=3046 vsize=10748324 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/3049/task/3062/stat : 3062 (java) S 3046 3049 32084 0 -1 1077944384 3495 0 0 0 85 1 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061784107504 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3063] ppid=3046 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3063/stat : 3063 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061783055200 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3064] ppid=3046 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3064/stat : 3064 (java) S 3046 3049 32084 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061782002224 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3065] ppid=3046 vsize=10748324 memory=55 CPUtime=16.46 cores=1,3,5,7
/proc/3049/task/3065/stat : 3065 (java) R 3046 3049 32084 0 -1 4202560 6163 0 0 0 1643 3 0 0 20 0 16 0 414577962 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061442932176 140061860921028 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
Current children cumulated CPU time: 24.14 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 276284 KiB

[startup+19.2006 s]
/proc/loadavg: 1.62 1.61 1.55 3/229 3067
/proc/meminfo: memFree=26160276/32770624 swapFree=66957012/67108860
[pid=3049] ppid=3046 vsize=10748324 memory=276284 CPUtime=24.94 cores=1,3,5,7
/proc/3049/stat : 3049 (java) S 3046 3049 32084 0 -1 1077944320 46961 0 0 0 2475 19 0 0 20 0 16 0 414577775 11006283776 69071 33554432000 4194304 4196468 140734229098848 140734229081392 140062231228151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
/proc/3049/statm: 2687081 69071 3374 1 0 2647217 0
[pid=3049/tid=3051] ppid=3046 vsize=10748324 memory=6944656592387989600 CPUtime=1.85 cores=1,3,5,7
/proc/3049/task/3051/stat : 3051 (java) S 3046 3049 32084 0 -1 1077944384 15302 0 0 0 179 6 0 0 20 0 16 0 414577775 11006283776 69071 33554432000 4194304 4196468 140734229098848 140062235471024 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3052] ppid=3046 vsize=10748324 memory=6944652177228980320 CPUtime=0.03 cores=1,3,5,7
/proc/3049/task/3052/stat : 3052 (java) S 3046 3049 32084 0 -1 1077944384 139 0 0 0 2 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140062173232144 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3053] ppid=3046 vsize=10748324 memory=6655300316396806240 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3053/stat : 3053 (java) S 3046 3049 32084 0 -1 1077944384 971 0 0 0 1 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061837155472 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3054] ppid=3046 vsize=10748324 memory=140329163985809 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3054/stat : 3054 (java) S 3046 3049 32084 0 -1 1077944384 210 0 0 0 1 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061836102416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3055] ppid=3046 vsize=10748324 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3055/stat : 3055 (java) S 3046 3049 32084 0 -1 1077944384 710 0 0 0 2 0 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061835049872 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3056] ppid=3046 vsize=10748324 memory=1436 CPUtime=0.01 cores=1,3,5,7
/proc/3049/task/3056/stat : 3056 (java) S 3046 3049 32084 0 -1 1077944384 1510 0 0 0 1 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061790423280 140062231239298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3057] ppid=3046 vsize=10748324 memory=896 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3057/stat : 3057 (java) S 3046 3049 32084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061789369568 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3058] ppid=3046 vsize=10748324 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3058/stat : 3058 (java) S 3046 3049 32084 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061788316416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3059] ppid=3046 vsize=10748324 memory=2520 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3059/stat : 3059 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061787264976 140062231246747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3060] ppid=3046 vsize=10748324 memory=153445894065229 CPUtime=2.46 cores=1,3,5,7
/proc/3049/task/3060/stat : 3060 (java) S 3046 3049 32084 0 -1 1077944384 11852 0 0 0 244 2 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061786213104 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3061] ppid=3046 vsize=10748324 memory=6944652177228980320 CPUtime=2.33 cores=1,3,5,7
/proc/3049/task/3061/stat : 3061 (java) S 3046 3049 32084 0 -1 1077944384 4885 0 0 0 232 1 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061785160560 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3062] ppid=3046 vsize=10748324 memory=6944656592455360604 CPUtime=0.86 cores=1,3,5,7
/proc/3049/task/3062/stat : 3062 (java) S 3046 3049 32084 0 -1 1077944384 3646 0 0 0 85 1 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061784107504 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3063] ppid=3046 vsize=10748324 memory=7306916055891837008 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3063/stat : 3063 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061783055200 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3064] ppid=3046 vsize=10748324 memory=288284472154260269 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3064/stat : 3064 (java) S 3046 3049 32084 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061782002224 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3065] ppid=3046 vsize=10748324 memory=247236 CPUtime=17.26 cores=1,3,5,7
/proc/3049/task/3065/stat : 3065 (java) R 3046 3049 32084 0 -1 4202560 6166 0 0 0 1723 3 0 0 20 0 16 0 414577962 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061442932176 140061860920992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
Current children cumulated CPU time: 24.94 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 276284 KiB

[startup+19.6006 s]
/proc/loadavg: 1.62 1.61 1.55 3/229 3067
/proc/meminfo: memFree=26160276/32770624 swapFree=66957012/67108860
[pid=3049] ppid=3046 vsize=10748324 memory=276284 CPUtime=25.34 cores=1,3,5,7
/proc/3049/stat : 3049 (java) S 3046 3049 32084 0 -1 1077944320 46961 0 0 0 2515 19 0 0 20 0 16 0 414577775 11006283776 69071 33554432000 4194304 4196468 140734229098848 140734229081392 140062231228151 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
/proc/3049/statm: 2687081 69071 3374 1 0 2647217 0
[pid=3049/tid=3051] ppid=3046 vsize=10748324 memory=1436 CPUtime=1.85 cores=1,3,5,7
/proc/3049/task/3051/stat : 3051 (java) S 3046 3049 32084 0 -1 1077944384 15302 0 0 0 179 6 0 0 20 0 16 0 414577775 11006283776 69071 33554432000 4194304 4196468 140734229098848 140062235471024 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3052] ppid=3046 vsize=10748324 memory=896 CPUtime=0.03 cores=1,3,5,7
/proc/3049/task/3052/stat : 3052 (java) S 3046 3049 32084 0 -1 1077944384 139 0 0 0 2 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140062173232144 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3053] ppid=3046 vsize=10748324 memory=1980 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3053/stat : 3053 (java) S 3046 3049 32084 0 -1 1077944384 971 0 0 0 1 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061837155472 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3054] ppid=3046 vsize=10748324 memory=315533647233155098 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3054/stat : 3054 (java) S 3046 3049 32084 0 -1 1077944384 210 0 0 0 1 1 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061836102416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3055] ppid=3046 vsize=10748324 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3049/task/3055/stat : 3055 (java) S 3046 3049 32084 0 -1 1077944384 710 0 0 0 2 0 0 0 20 0 16 0 414577776 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061835049872 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3056] ppid=3046 vsize=10748324 memory=8514701219730522529 CPUtime=0.01 cores=1,3,5,7
/proc/3049/task/3056/stat : 3056 (java) S 3046 3049 32084 0 -1 1077944384 1510 0 0 0 1 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061790423280 140062231239298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3057] ppid=3046 vsize=10748324 memory=8226496019563637921 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3057/stat : 3057 (java) S 3046 3049 32084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061789369568 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3058] ppid=3046 vsize=10748324 memory=5450916406782758442 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3058/stat : 3058 (java) S 3046 3049 32084 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 16 0 414577778 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061788316416 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3059] ppid=3046 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3059/stat : 3059 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061787264976 140062231246747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3060] ppid=3046 vsize=10748324 memory=140329163977201 CPUtime=2.46 cores=1,3,5,7
/proc/3049/task/3060/stat : 3060 (java) S 3046 3049 32084 0 -1 1077944384 11852 0 0 0 244 2 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061786213104 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3061] ppid=3046 vsize=10748324 memory=6655300316396806240 CPUtime=2.33 cores=1,3,5,7
/proc/3049/task/3061/stat : 3061 (java) S 3046 3049 32084 0 -1 1077944384 4885 0 0 0 232 1 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061785160560 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3062] ppid=3046 vsize=10748324 memory=5865188000529146989 CPUtime=0.86 cores=1,3,5,7
/proc/3049/task/3062/stat : 3062 (java) S 3046 3049 32084 0 -1 1077944384 3646 0 0 0 85 1 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061784107504 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3063] ppid=3046 vsize=10748324 memory=5787495302091531328 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3063/stat : 3063 (java) S 3046 3049 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061783055200 140062231238357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3064] ppid=3046 vsize=10748324 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/3049/task/3064/stat : 3064 (java) S 3046 3049 32084 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 16 0 414577781 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061782002224 140062231239298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
[pid=3049/tid=3065] ppid=3046 vsize=10748324 memory=234936 CPUtime=17.66 cores=1,3,5,7
/proc/3049/task/3065/stat : 3065 (java) R 3046 3049 32084 0 -1 4202560 6166 0 0 0 1763 3 0 0 20 0 16 0 414577962 11006283776 69071 33554432000 4194304 4196468 140734229098848 140061442932176 140061861215430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19464192 140734229103627 140734229103730 140734229103730 140734229106639 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 276284 KiB

Child status: 0
Real time (s): 19.6862
CPU time (s): 25.4336
CPU user time (s): 25.2268
CPU system time (s): 0.206859
CPU usage (%): 129.195
Max. virtual memory (cumulated for all children) (KiB): 10748500
Max. memory (cumulated for all children) (KiB): 276284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.2268
system time used= 0.206859
maximum resident set size= 276452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3267
involuntary context switches= 58


# summary of solver processes directly reported to runsolver:
#   pid: 3049
#   total CPU time (s): 25.4336
#   total CPU user time (s): 25.2268
#   total CPU system time (s): 0.206859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.169083 second user time and 0.200395 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 16:56:36
IDJOB=4390914
IDBENCH=141103
IDSOLVER=2832
FILE ID=node147/4390914-1568386639
RUNJOBID= node147-1568380472-32116
PBS_JOBID= 21701824
Free space on /tmp= 56536 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/Tal/Tal-05_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390914-1568386639/watcher-4390914-1568386639 -o /tmp/evaluation-result-4390914-1568386639/solver-4390914-1568386639 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32116 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390914-1568386639.xml -cm

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

MD5SUM BENCH= 0bfba4554f8c52d47ef9f831901bb64c
RANDOM SEED=855330013

node147.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.52
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.52
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.52
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.52
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:        26425488 kB
MemAvailable:   31615844 kB
Buffers:          164352 kB
Cached:          5239844 kB
SwapCached:        48500 kB
Active:          2366132 kB
Inactive:        3287716 kB
Active(anon):     201652 kB
Inactive(anon):    89344 kB
Active(file):    2164480 kB
Inactive(file):  3198372 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:              8856 kB
Writeback:             0 kB
AnonPages:        310756 kB
Mapped:            56924 kB
Shmem:             32768 kB
Slab:             285160 kB
SReclaimable:     255964 kB
SUnreclaim:        29196 kB
KernelStack:        3728 kB
PageTables:         6436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1183840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 56528 MiB
End job on node147 at 2019-09-13 16:56:56