Trace number 4391225

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23SAT (TO)556 2400.11 2392.02

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-07-07-8.xml
MD5SUM3801e67c429176a130b0cb7922d17a7f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark458
Best CPU time to get the best result obtained on this benchmark29.4515
Satisfiable
(Un)Satisfiability was proved
Number of variables203
Number of constraints168
Number of domains9
Minimum domain size6
Maximum domain size560
Distribution of domain sizes[{"size":6,"count":7},{"size":7,"count":91},{"size":560,"count":105}]
Minimum variable degree2
Maximum variable degree8
Distribution of variable degrees[{"degree":2,"count":56},{"degree":3,"count":98},{"degree":8,"count":49}]
Minimum constraint arity1
Maximum constraint arity9
Distribution of constraint arities[{"arity":1,"count":7},{"arity":2,"count":49},{"arity":3,"count":49},{"arity":7,"count":14},{"arity":9,"count":49}]
Number of extensional constraints49
Number of intensional constraints56
Distribution of constraint types[{"type":"extension","count":49},{"type":"intension","count":56},{"type":"allDifferent","count":7},{"type":"noOverlap","count":7},{"type":"element","count":49}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

2.40/1.87	
2.40/1.87	AbsCon 2 
2.40/1.89	
2.89/2.05	  Instance
2.89/2.05	    name=instance-4391225-1568388632, framework=COP, bounds=-infty..+infty
2.89/2.05	
2.89/2.05	  Loading variables...
2.89/2.10	  Loading constraints...
3.39/2.26	
3.39/2.26	  Domains
3.39/2.26	    nTypes=9, nValues=59479, sizes=[6#7,7#91,560#105]
3.39/2.26	  Variables
3.39/2.26	    count=203, degrees=[2#56,3#98,13#49]
3.39/2.26	  Objectives
3.39/2.26	    way=min, type=ObjMaximumLE
3.39/2.26	  Constraints
3.39/2.26	    count=309, nSpecific=204, arities=[1#7,2#196,3#49,7#8,9#49]
3.39/2.26	    distribution=[AllDifferent#7,CtrExtensionSmart-TableSmart#147,CtrExtensionV-Bits#49,CtrIntension#56,ElementVariable#49,ObjMaximumLE#1]
3.39/2.26	    tables=[2#147], nTotalTuples=294
3.39/2.26	    nExtStructures=(154,shared:42), nIntStructures=(21,shared:35), nCftStructures=(7,shared:42,unbuilt:260)
3.39/2.26	    wck=0.42, cpu=2.234, mem=34M439
3.39/2.27	  Solver SolverBacktrack being built...
3.39/2.27	
3.67/2.30	
3.67/2.30	  Solver
3.67/2.30	    guaranteedGAC=false
3.67/2.30	    wck=0.456, cpu=2.268, mem=47M726
3.67/2.33	
3.67/2.33	  Preprocessing
3.67/2.33	    filters=7, revisions=(7,useless=0), ccks=3920, nACremovedValues=2744, nTotalRemovedValues=2744, inconcistency=false
3.67/2.33	    wck=0.034, cpu=2.304, mem=47M726
3.67/2.33	
4.00/2.42	    num=0, depth=41..41, filters=657, revisions=(339,useless=94), ccks=47760, wck=0.124, mem=55M654
4.00/2.42	    decisions=61, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.00/2.42	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.42	    
4.00/2.43	    num=1, depth=0..0, filters=668, revisions=(350,useless=94), ccks=57385, wck=0.128, mem=55M654
4.00/2.43	    decisions=83, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
4.00/2.43	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.43	    
4.00/2.43	    num=2, depth=0..0, filters=680, revisions=(362,useless=94), ccks=67885, wck=0.132, mem=58M296
4.00/2.43	    decisions=107, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
4.00/2.43	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.43	    
4.00/2.43	    num=3, depth=0..0, filters=693, revisions=(375,useless=94), ccks=79260, wck=0.137, mem=58M296
4.00/2.43	    decisions=133, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
4.00/2.43	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.43	    
4.00/2.44	    num=4, depth=0..0, filters=707, revisions=(389,useless=94), ccks=91510, wck=0.141, mem=58M296
4.00/2.44	    decisions=161, wrong=60, backtracks=0, failedAssignments=60, nogoods=10
4.00/2.44	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.44	    
4.00/2.44	    num=5, depth=0..0, filters=723, revisions=(405,useless=94), ccks=105510, wck=0.145, mem=58M296
4.00/2.44	    decisions=193, wrong=76, backtracks=0, failedAssignments=76, nogoods=10
4.00/2.44	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.44	    
4.00/2.46	    num=6, depth=0..0, filters=740, revisions=(422,useless=94), ccks=120385, wck=0.162, mem=58M296
4.00/2.46	    decisions=227, wrong=93, backtracks=0, failedAssignments=93, nogoods=10
4.00/2.46	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.46	    
4.00/2.46	    num=7, depth=0..0, filters=759, revisions=(441,useless=94), ccks=137010, wck=0.167, mem=58M296
4.00/2.46	    decisions=265, wrong=112, backtracks=0, failedAssignments=112, nogoods=10
4.00/2.46	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.46	    
4.00/2.47	    num=8, depth=0..0, filters=780, revisions=(462,useless=94), ccks=155385, wck=0.172, mem=58M296
4.00/2.47	    decisions=307, wrong=133, backtracks=0, failedAssignments=133, nogoods=10
4.00/2.47	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.47	    
4.00/2.47	    num=9, depth=0..0, filters=803, revisions=(485,useless=94), ccks=175510, wck=0.177, mem=58M296
4.00/2.47	    decisions=353, wrong=156, backtracks=0, failedAssignments=156, nogoods=10
4.00/2.47	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.47	    
4.00/2.48	    num=10, depth=0..0, filters=828, revisions=(510,useless=94), ccks=197385, wck=0.182, mem=58M296
4.00/2.48	    decisions=403, wrong=181, backtracks=0, failedAssignments=181, nogoods=10
4.00/2.48	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.48	    
4.00/2.49	    num=11, depth=0..0, filters=856, revisions=(538,useless=94), ccks=221885, wck=0.188, mem=58M296
4.00/2.49	    decisions=459, wrong=209, backtracks=0, failedAssignments=209, nogoods=10
4.00/2.49	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.49	    
4.00/2.49	    num=12, depth=0..0, filters=887, revisions=(569,useless=94), ccks=249010, wck=0.194, mem=60M939
4.00/2.49	    decisions=521, wrong=240, backtracks=0, failedAssignments=240, nogoods=10
4.00/2.49	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.00/2.49	    
4.32/2.50	    num=13, depth=0..0, filters=921, revisions=(603,useless=94), ccks=278760, wck=0.2, mem=60M939
4.32/2.50	    decisions=589, wrong=274, backtracks=0, failedAssignments=274, nogoods=10
4.32/2.50	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.32/2.50	    
4.32/2.50	    num=14, depth=0..0, filters=958, revisions=(640,useless=94), ccks=311135, wck=0.207, mem=60M939
4.32/2.50	    decisions=663, wrong=311, backtracks=0, failedAssignments=311, nogoods=10
4.32/2.50	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.32/2.50	    
4.32/2.51	    num=15, depth=0..0, filters=999, revisions=(681,useless=94), ccks=347010, wck=0.214, mem=60M939
4.32/2.51	    decisions=745, wrong=352, backtracks=0, failedAssignments=352, nogoods=10
4.32/2.51	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.32/2.51	    
4.32/2.54	    num=16, depth=0..40, filters=1731, revisions=(1133,useless=273), ccks=367638, wck=0.243, mem=68M866
4.32/2.54	    decisions=875, wrong=397, backtracks=0, failedAssignments=397, nogoods=51
4.32/2.54	    nFilterCalls=1904, avgTableProportion=0.34978991596638653, avgTableSize=0.6995798319327731
4.32/2.54	    
4.32/2.59	    num=17, depth=0..38, filters=2364, revisions=(1502,useless=378), ccks=532955, wck=0.288, mem=74M151
4.32/2.59	    decisions=1013, wrong=447, backtracks=0, failedAssignments=447, nogoods=74
4.32/2.59	    nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.32/2.59	    
4.32/2.59	    num=18, depth=0..0, filters=2419, revisions=(1557,useless=378), ccks=585700, wck=0.297, mem=74M151
4.32/2.59	    decisions=1123, wrong=502, backtracks=0, failedAssignments=502, nogoods=74
4.32/2.59	    nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.32/2.59	    
4.63/2.60	    num=19, depth=0..0, filters=2480, revisions=(1618,useless=378), ccks=644199, wck=0.306, mem=76M794
4.63/2.60	    decisions=1245, wrong=563, backtracks=0, failedAssignments=563, nogoods=74
4.63/2.60	    nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.63/2.60	    
4.63/2.61	    num=20, depth=0..0, filters=2547, revisions=(1685,useless=378), ccks=708452, wck=0.317, mem=76M794
4.63/2.61	    decisions=1379, wrong=630, backtracks=0, failedAssignments=630, nogoods=74
4.63/2.61	    nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.63/2.61	    
4.63/2.63	    num=21, depth=0..0, filters=2621, revisions=(1759,useless=378), ccks=779418, wck=0.328, mem=76M794
4.63/2.63	    decisions=1527, wrong=704, backtracks=0, failedAssignments=704, nogoods=74
4.63/2.63	    nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.63/2.63	    
4.63/2.69	    num=22, depth=0..25, filters=3124, revisions=(2064,useless=440), ccks=1317386, wck=0.396, mem=82M78
4.63/2.69	    decisions=1714, wrong=785, backtracks=0, failedAssignments=785, nogoods=82
4.63/2.69	    nFilterCalls=3279, avgTableProportion=0.3505641964013419, avgTableSize=0.7011283928026838
4.63/2.69	    
4.82/2.77	    num=23, depth=0..38, filters=3993, revisions=(2567,useless=611), ccks=1762288, wck=0.477, mem=92M648
4.82/2.77	    decisions=1929, wrong=874, backtracks=1, failedAssignments=874, nogoods=106
4.82/2.77	    nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
4.82/2.77	    
4.82/2.79	    num=24, depth=0..0, filters=4091, revisions=(2665,useless=611), ccks=1832260, wck=0.489, mem=92M648
4.82/2.79	    decisions=2125, wrong=972, backtracks=1, failedAssignments=972, nogoods=106
4.82/2.79	    nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
4.82/2.79	    
5.11/2.80	    num=25, depth=0..0, filters=4199, revisions=(2773,useless=611), ccks=1909372, wck=0.502, mem=92M648
5.11/2.80	    decisions=2341, wrong=1080, backtracks=1, failedAssignments=1080, nogoods=106
5.11/2.80	    nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
5.11/2.80	    
5.11/2.81	    num=26, depth=0..0, filters=4318, revisions=(2892,useless=611), ccks=1994338, wck=0.517, mem=95M290
5.11/2.81	    decisions=2579, wrong=1199, backtracks=1, failedAssignments=1199, nogoods=106
5.11/2.81	    nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
5.11/2.81	    
5.11/2.87	    num=27, depth=0..37, filters=5475, revisions=(3557,useless=757), ccks=2314720, wck=0.572, mem=100M575
5.11/2.87	    decisions=2870, wrong=1330, backtracks=23, failedAssignments=1330, nogoods=117
5.11/2.87	    nFilterCalls=4934, avgTableProportion=0.3591406566680178, avgTableSize=0.7182813133360356
5.11/2.87	    
5.40/2.97	    num=28, depth=0..18, filters=5939, revisions=(4083,useless=902), ccks=3207574, wck=0.673, mem=105M860
5.40/2.97	    decisions=3176, wrong=1474, backtracks=23, failedAssignments=1474, nogoods=248
5.40/2.97	    nFilterCalls=5200, avgTableProportion=0.36567307692307693, avgTableSize=0.7313461538461539
5.40/2.97	    
5.70/3.13	    num=29, depth=0..45, filters=6961, revisions=(4826,useless=1096), ccks=4678187, wck=0.831, mem=113M787
5.70/3.13	    decisions=3537, wrong=1632, backtracks=33, failedAssignments=1632, nogoods=339
5.70/3.13	    nFilterCalls=6080, avgTableProportion=0.371875, avgTableSize=0.74375
5.70/3.13	    
5.94/3.32	    num=30, depth=0..41, filters=8409, revisions=(5585,useless=1262), ccks=6318412, wck=1.021, mem=124M357
5.94/3.32	    decisions=3917, wrong=1806, backtracks=45, failedAssignments=1806, nogoods=456
5.94/3.32	    nFilterCalls=8412, avgTableProportion=0.3880765572990965, avgTableSize=0.776153114598193
5.94/3.32	    
6.24/3.51	    num=31, depth=0..27, filters=9588, revisions=(6309,useless=1434), ccks=8035447, wck=1.217, mem=132M284
6.24/3.51	    decisions=4326, wrong=1997, backtracks=45, failedAssignments=1997, nogoods=641
6.24/3.51	    nFilterCalls=11093, avgTableProportion=0.4058865951500947, avgTableSize=0.8117731903001894
6.24/3.51	    
6.44/3.75	    num=32, depth=0..27, filters=10631, revisions=(7053,useless=1637), ccks=10314031, wck=1.452, mem=140M212
6.44/3.75	    decisions=4775, wrong=2208, backtracks=45, failedAssignments=2208, nogoods=832
6.44/3.75	    nFilterCalls=13542, avgTableProportion=0.4078422684980062, avgTableSize=0.8156845369960124
6.44/3.75	    
7.03/4.01	    num=33, depth=0..33, filters=11501, revisions=(7571,useless=1702), ccks=12684379, wck=1.71, mem=32M744
7.03/4.01	    decisions=5272, wrong=2440, backtracks=46, failedAssignments=2440, nogoods=1004
7.03/4.01	    nFilterCalls=14897, avgTableProportion=0.40739746257635767, avgTableSize=0.8147949251527153
7.03/4.01	    
7.65/4.63	    num=34, depth=0..27, filters=13037, revisions=(8591,useless=1957), ccks=18787121, wck=2.329, mem=45M824
7.65/4.63	    decisions=5809, wrong=2695, backtracks=72, failedAssignments=2695, nogoods=1158
7.65/4.63	    nFilterCalls=17574, avgTableProportion=0.4085296460680551, avgTableSize=0.8170592921361102
7.65/4.63	    
7.95/4.91	    num=35, depth=0..31, filters=14183, revisions=(9416,useless=2035), ccks=21643779, wck=2.616, mem=51M56
7.95/4.91	    decisions=6402, wrong=2976, backtracks=85, failedAssignments=2976, nogoods=1346
7.95/4.91	    nFilterCalls=19307, avgTableProportion=0.40790904853162063, avgTableSize=0.8158180970632413
7.95/4.91	    
8.32/5.22	    num=36, depth=0..26, filters=15886, revisions=(10494,useless=2140), ccks=24591830, wck=2.926, mem=58M904
8.32/5.22	    decisions=7045, wrong=3285, backtracks=91, failedAssignments=3285, nogoods=1577
8.32/5.22	    nFilterCalls=23113, avgTableProportion=0.4064379353610522, avgTableSize=0.8128758707221044
8.32/5.22	    
8.72/5.61	    num=37, depth=0..16, filters=17087, revisions=(11538,useless=2270), ccks=28392438, wck=3.31, mem=69M368
8.72/5.61	    decisions=7741, wrong=3625, backtracks=109, failedAssignments=3625, nogoods=1765
8.72/5.61	    nFilterCalls=24377, avgTableProportion=0.41081757394265084, avgTableSize=0.8216351478853017
8.72/5.61	    
9.23/6.19	    num=38, depth=19..35, filters=21680, revisions=(13210,useless=2974), ccks=33727133, wck=3.895, mem=92M911
9.23/6.19	    decisions=8523, wrong=3999, backtracks=109, failedAssignments=3999, nogoods=2139
9.23/6.19	    nFilterCalls=36358, avgTableProportion=0.4171159029649596, avgTableSize=0.8342318059299192
9.23/6.19	    
9.63/6.51	    num=39, depth=22..36, filters=24504, revisions=(14986,useless=3718), ccks=36516918, wck=4.214, mem=108M607
9.63/6.51	    decisions=9373, wrong=4410, backtracks=117, failedAssignments=4410, nogoods=2263
9.63/6.51	    nFilterCalls=42788, avgTableProportion=0.40726371879966344, avgTableSize=0.8145274375993269
9.63/6.51	    
10.43/7.20	    num=40, depth=0..58, filters=26967, revisions=(16898,useless=4046), ccks=43578427, wck=4.904, mem=121M686
10.43/7.20	    decisions=10335, wrong=4862, backtracks=173, failedAssignments=4862, nogoods=2503
10.43/7.20	    nFilterCalls=45793, avgTableProportion=0.4052147708165003, avgTableSize=0.8104295416330006
10.43/7.20	    
10.74/7.54	    num=41, depth=0..36, filters=29566, revisions=(18805,useless=4747), ccks=46781910, wck=5.242, mem=139M998
10.74/7.54	    decisions=11362, wrong=5359, backtracks=176, failedAssignments=5359, nogoods=2586
10.74/7.54	    nFilterCalls=51513, avgTableProportion=0.386921747908295, avgTableSize=0.77384349581659
10.74/7.54	    
11.11/7.87	    num=42, depth=0..28, filters=31770, revisions=(20584,useless=5207), ccks=49862263, wck=5.571, mem=155M694
11.11/7.87	    decisions=12483, wrong=5906, backtracks=189, failedAssignments=5906, nogoods=2754
11.11/7.87	    nFilterCalls=55682, avgTableProportion=0.3823318127940807, avgTableSize=0.7646636255881614
11.11/7.87	    
11.64/8.30	    num=43, depth=0..33, filters=37580, revisions=(23442,useless=6640), ccks=52886513, wck=6.0, mem=69M811
11.64/8.30	    decisions=13717, wrong=6508, backtracks=192, failedAssignments=6508, nogoods=2970
11.64/8.30	    nFilterCalls=71643, avgTableProportion=0.3752913752913753, avgTableSize=0.7505827505827506
11.64/8.30	    
12.09/8.71	    num=44, depth=0..30, filters=42899, revisions=(26386,useless=7920), ccks=56035434, wck=6.408, mem=103M938
12.09/8.71	    decisions=15068, wrong=7170, backtracks=194, failedAssignments=7170, nogoods=3270
12.09/8.71	    nFilterCalls=84242, avgTableProportion=0.3777806794710477, avgTableSize=0.7555613589420954
12.09/8.71	    
12.44/9.03	    num=45, depth=0..55, filters=44904, revisions=(28522,useless=8568), ccks=59353645, wck=6.737, mem=111M814
12.44/9.03	    decisions=16576, wrong=7898, backtracks=202, failedAssignments=7898, nogoods=3393
12.44/9.03	    nFilterCalls=85858, avgTableProportion=0.3761268606303431, avgTableSize=0.7522537212606862
12.44/9.03	    
12.83/9.44	    num=46, depth=0..56, filters=48480, revisions=(30881,useless=9285), ccks=62845586, wck=7.14, mem=138M66
12.83/9.44	    decisions=18233, wrong=8699, backtracks=206, failedAssignments=8699, nogoods=3585
12.83/9.44	    nFilterCalls=94195, avgTableProportion=0.3687509952757577, avgTableSize=0.7375019905515154
12.83/9.44	    
13.23/9.81	    num=47, depth=32..46, filters=51246, revisions=(32364,useless=9538), ccks=66538694, wck=7.514, mem=148M567
13.23/9.81	    decisions=20038, wrong=9580, backtracks=211, failedAssignments=9580, nogoods=3775
13.23/9.81	    nFilterCalls=101972, avgTableProportion=0.36580629976856394, avgTableSize=0.7316125995371279
13.23/9.81	    
13.99/10.50	    num=48, depth=0..57, filters=56578, revisions=(35274,useless=10242), ccks=72506179, wck=8.205, mem=73M748
13.99/10.50	    decisions=22034, wrong=10550, backtracks=250, failedAssignments=10550, nogoods=4166
13.99/10.50	    nFilterCalls=115066, avgTableProportion=0.35935463125510575, avgTableSize=0.7187092625102115
13.99/10.50	    
14.40/10.96	    num=49, depth=30..34, filters=60561, revisions=(38343,useless=11669), ccks=77327664, wck=8.663, mem=80M785
14.40/10.96	    decisions=24199, wrong=11617, backtracks=278, failedAssignments=11617, nogoods=4299
14.40/10.96	    nFilterCalls=120668, avgTableProportion=0.359581662081082, avgTableSize=0.719163324162164
14.40/10.96	    
14.70/11.27	    num=50, depth=40..43, filters=64385, revisions=(40027,useless=11923), ccks=79905568, wck=8.973, mem=108M935
14.70/11.27	    decisions=26585, wrong=12790, backtracks=281, failedAssignments=12790, nogoods=4552
14.70/11.27	    nFilterCalls=131791, avgTableProportion=0.34789553156133574, avgTableSize=0.6957910631226715
14.70/11.27	    
15.45/11.91	    num=51, depth=30..43, filters=73795, revisions=(43427,useless=13544), ccks=83523940, wck=9.613, mem=63M506
15.45/11.91	    decisions=29197, wrong=14081, backtracks=294, failedAssignments=14081, nogoods=4682
15.45/11.91	    nFilterCalls=159689, avgTableProportion=0.3459192555529811, avgTableSize=0.6918385111059622
15.45/11.91	    
15.85/12.38	    num=52, depth=0..27, filters=78900, revisions=(47809,useless=14886), ccks=87057678, wck=10.082, mem=95M221
15.85/12.38	    decisions=32062, wrong=15501, backtracks=301, failedAssignments=15501, nogoods=5254
15.85/12.38	    nFilterCalls=170708, avgTableProportion=0.34604705110481054, avgTableSize=0.6920941022096211
15.85/12.38	    
16.15/12.70	    num=53, depth=51..61, filters=83320, revisions=(49968,useless=15202), ccks=90156848, wck=10.399, mem=102M269
16.15/12.70	    decisions=35237, wrong=17063, backtracks=311, failedAssignments=17063, nogoods=5351
16.15/12.70	    nFilterCalls=182937, avgTableProportion=0.33945565959865964, avgTableSize=0.6789113191973193
16.15/12.70	    
16.66/13.12	    num=54, depth=0..63, filters=90251, revisions=(54271,useless=16457), ccks=93857399, wck=10.827, mem=133M985
16.66/13.12	    decisions=38713, wrong=18781, backtracks=338, failedAssignments=18781, nogoods=5476
16.66/13.12	    nFilterCalls=199681, avgTableProportion=0.327352126641994, avgTableSize=0.654704253283988
16.66/13.12	    
17.29/13.76	    num=55, depth=0..34, filters=97258, revisions=(60063,useless=18238), ccks=99233609, wck=11.458, mem=179M797
17.29/13.76	    decisions=42523, wrong=20671, backtracks=362, failedAssignments=20671, nogoods=5909
17.29/13.76	    nFilterCalls=215118, avgTableProportion=0.3221534227726178, avgTableSize=0.6443068455452357
17.29/13.76	    
18.03/14.37	    num=56, depth=0..35, filters=110769, revisions=(69686,useless=21615), ccks=103502558, wck=12.074, mem=88M32
18.03/14.37	    decisions=46711, wrong=22750, backtracks=377, failedAssignments=22750, nogoods=6105
18.03/14.37	    nFilterCalls=240964, avgTableProportion=0.31962865822280506, avgTableSize=0.6392573164456101
18.03/14.37	    
18.74/15.09	    num=57, depth=25..38, filters=121650, revisions=(76248,useless=23452), ccks=107853122, wck=12.794, mem=192M220
18.74/15.09	    decisions=51316, wrong=25037, backtracks=389, failedAssignments=25037, nogoods=6251
18.74/15.09	    nFilterCalls=271782, avgTableProportion=0.32092449095230735, avgTableSize=0.6418489819046147
18.74/15.09	    
19.34/15.63	    num=58, depth=0..33, filters=129012, revisions=(80775,useless=24249), ccks=112014486, wck=13.335, mem=236M872
19.34/15.63	    decisions=56376, wrong=27553, backtracks=414, failedAssignments=27553, nogoods=6617
19.34/15.63	    nFilterCalls=290498, avgTableProportion=0.3196837843978272, avgTableSize=0.6393675687956544
19.34/15.63	    
20.12/16.36	    num=59, depth=27..31, filters=139230, revisions=(89295,useless=27239), ccks=116757496, wck=14.064, mem=53M449
20.12/16.36	    decisions=61940, wrong=30321, backtracks=426, failedAssignments=30321, nogoods=6651
20.12/16.36	    nFilterCalls=314578, avgTableProportion=0.31334200102995124, avgTableSize=0.6266840020599025
20.12/16.36	    
20.55/16.77	    num=60, depth=46..59, filters=147182, revisions=(92706,useless=27328), ccks=119605774, wck=14.468, mem=117M987
20.55/16.77	    decisions=68074, wrong=33365, backtracks=439, failedAssignments=33365, nogoods=6884
20.55/16.77	    nFilterCalls=340116, avgTableProportion=0.30070916981265217, avgTableSize=0.6014183396253043
20.55/16.77	    
21.16/17.38	    num=61, depth=22..53, filters=159988, revisions=(96843,useless=27690), ccks=122811573, wck=15.081, mem=261M956
21.16/17.38	    decisions=74809, wrong=36714, backtracks=454, failedAssignments=36714, nogoods=7143
21.16/17.38	    nFilterCalls=377454, avgTableProportion=0.29455509810466973, avgTableSize=0.5891101962093395
21.16/17.38	    
21.86/18.05	    num=62, depth=0..68, filters=169122, revisions=(108458,useless=34492), ccks=129213418, wck=15.751, mem=276M849
21.86/18.05	    decisions=82244, wrong=40398, backtracks=514, failedAssignments=40398, nogoods=7453
21.86/18.05	    nFilterCalls=400172, avgTableProportion=0.2811253660925802, avgTableSize=0.5622507321851604
21.86/18.05	    
22.40/18.59	    num=63, depth=0..46, filters=178809, revisions=(113612,useless=35229), ccks=133309770, wck=16.291, mem=77M923
22.40/18.59	    decisions=90378, wrong=44450, backtracks=540, failedAssignments=44450, nogoods=7569
22.40/18.59	    nFilterCalls=428254, avgTableProportion=0.27623910109421046, avgTableSize=0.5524782021884209
22.40/18.59	    
23.10/19.23	    num=64, depth=38..67, filters=193485, revisions=(127171,useless=39792), ccks=137898535, wck=16.934, mem=91M943
23.10/19.23	    decisions=99354, wrong=48907, backtracks=567, failedAssignments=48907, nogoods=7812
23.10/19.23	    nFilterCalls=459469, avgTableProportion=0.26950675671264, avgTableSize=0.53901351342528
23.10/19.23	    
24.11/20.25	    num=65, depth=0..42, filters=213332, revisions=(142469,useless=44912), ccks=143274777, wck=17.948, mem=232M136
24.11/20.25	    decisions=109197, wrong=53810, backtracks=610, failedAssignments=53810, nogoods=7904
24.11/20.25	    nFilterCalls=508872, avgTableProportion=0.2666819946862865, avgTableSize=0.533363989372573
24.11/20.25	    
25.51/21.67	    num=66, depth=0..25, filters=226274, revisions=(157745,useless=49428), ccks=155028313, wck=19.369, mem=288M213
25.51/21.67	    decisions=120007, wrong=59204, backtracks=624, failedAssignments=59204, nogoods=8037
25.51/21.67	    nFilterCalls=521591, avgTableProportion=0.2680433519750149, avgTableSize=0.5360867039500298
25.51/21.67	    
26.76/22.83	    num=67, depth=26..72, filters=240415, revisions=(175178,useless=54351), ccks=164992296, wck=20.532, mem=316M251
26.76/22.83	    decisions=131927, wrong=65137, backtracks=670, failedAssignments=65137, nogoods=8471
26.76/22.83	    nFilterCalls=531212, avgTableProportion=0.26962869814687923, avgTableSize=0.5392573962937585
26.76/22.83	    
28.41/24.40	    num=68, depth=0..47, filters=268161, revisions=(197119,useless=63417), ccks=174551332, wck=22.099, mem=155M293
28.41/24.40	    decisions=145008, wrong=71663, backtracks=702, failedAssignments=71663, nogoods=8741
28.41/24.40	    nFilterCalls=595085, avgTableProportion=0.2749842459480578, avgTableSize=0.5499684918961156
28.41/24.40	    
30.35/26.36	    num=69, depth=18..57, filters=306742, revisions=(218481,useless=71648), ccks=185869191, wck=24.06, mem=55M158
30.35/26.36	    decisions=159416, wrong=78842, backtracks=772, failedAssignments=78842, nogoods=8751
30.35/26.36	    nFilterCalls=691288, avgTableProportion=0.2812489150686834, avgTableSize=0.5624978301373668
30.35/26.36	    
32.06/28.05	    num=70, depth=0..56, filters=344362, revisions=(242759,useless=83119), ccks=197965761, wck=25.757, mem=211M198
32.06/28.05	    decisions=175242, wrong=86739, backtracks=999, failedAssignments=86739, nogoods=9152
32.06/28.05	    nFilterCalls=789308, avgTableProportion=0.27658087844035534, avgTableSize=0.5531617568807107
32.06/28.05	    
33.16/29.18	    num=71, depth=0..55, filters=366808, revisions=(266570,useless=91006), ccks=207000608, wck=26.879, mem=271M881
33.16/29.18	    decisions=192647, wrong=95426, backtracks=1077, failedAssignments=95426, nogoods=9193
33.16/29.18	    nFilterCalls=821257, avgTableProportion=0.2706582714059058, avgTableSize=0.5413165428118116
33.16/29.18	    
35.52/31.40	    num=72, depth=0..33, filters=409311, revisions=(297430,useless=101473), ccks=222322608, wck=29.101, mem=98M608
35.52/31.40	    decisions=211784, wrong=104981, backtracks=1243, failedAssignments=104981, nogoods=9532
35.52/31.40	    nFilterCalls=913636, avgTableProportion=0.2663708522869064, avgTableSize=0.5327417045738128
35.52/31.40	    
44.84/40.76	    num=73, depth=0..61, filters=466471, revisions=(329028,useless=113440), ccks=316289000, wck=38.461, mem=37M637
44.84/40.76	    decisions=232842, wrong=115492, backtracks=1880, failedAssignments=115492, nogoods=10043
44.84/40.76	    nFilterCalls=1061905, avgTableProportion=0.2702600515111992, avgTableSize=0.5405201030223984
44.84/40.76	    
47.59/43.42	    num=74, depth=0..31, filters=515514, revisions=(366703,useless=126531), ccks=330064788, wck=41.12, mem=356M360
47.59/43.42	    decisions=255992, wrong=127054, backtracks=1935, failedAssignments=127054, nogoods=10307
47.59/43.42	    nFilterCalls=1180667, avgTableProportion=0.2707317135144795, avgTableSize=0.541463427028959
47.59/43.42	    
50.73/46.54	    num=75, depth=10..37, filters=567298, revisions=(406813,useless=140411), ccks=347453912, wck=44.246, mem=305M397
50.73/46.54	    decisions=281438, wrong=139772, backtracks=2011, failedAssignments=139772, nogoods=10560
50.73/46.54	    nFilterCalls=1302466, avgTableProportion=0.27810937099317756, avgTableSize=0.5562187419863551
50.73/46.54	    
55.38/51.18	    num=76, depth=25..59, filters=650013, revisions=(467542,useless=163523), ccks=386807826, wck=48.879, mem=147M518
55.38/51.18	    decisions=309473, wrong=153762, backtracks=3955, failedAssignments=153762, nogoods=11101
55.38/51.18	    nFilterCalls=1443520, avgTableProportion=0.273812971070716, avgTableSize=0.547625942141432
55.38/51.18	    
58.70/54.48	    num=77, depth=0..60, filters=742713, revisions=(539021,useless=186689), ccks=406181971, wck=52.184, mem=365M171
58.70/54.48	    decisions=340284, wrong=169151, backtracks=4115, failedAssignments=169151, nogoods=11422
58.70/54.48	    nFilterCalls=1629994, avgTableProportion=0.26921356765730425, avgTableSize=0.5384271353146085
58.70/54.48	    
61.21/56.93	    num=78, depth=23..65, filters=815654, revisions=(574015,useless=197208), ccks=417886083, wck=54.633, mem=355M132
61.21/56.93	    decisions=374187, wrong=186079, backtracks=4224, failedAssignments=186079, nogoods=11902
61.21/56.93	    nFilterCalls=1833917, avgTableProportion=0.2770545231872544, avgTableSize=0.5541090463745088
61.21/56.93	    
71.85/67.52	    num=79, depth=22..59, filters=984600, revisions=(674407,useless=244025), ccks=502930902, wck=65.221, mem=322M933
71.85/67.52	    decisions=411476, wrong=204700, backtracks=5511, failedAssignments=204700, nogoods=12570
71.85/67.52	    nFilterCalls=2237735, avgTableProportion=0.28915465861686035, avgTableSize=0.5783093172337207
71.85/67.52	    
75.37/71.06	    num=80, depth=0..84, filters=1055715, revisions=(726446,useless=263312), ccks=532700776, wck=68.757, mem=199M542
75.37/71.06	    decisions=452499, wrong=225184, backtracks=7263, failedAssignments=225184, nogoods=13183
75.37/71.06	    nFilterCalls=2392964, avgTableProportion=0.2848856063024768, avgTableSize=0.5697712126049536
75.37/71.06	    
79.86/75.45	    num=81, depth=0..47, filters=1172697, revisions=(803429,useless=290355), ccks=560483191, wck=73.157, mem=220M940
79.86/75.45	    decisions=497605, wrong=247716, backtracks=7367, failedAssignments=247716, nogoods=13301
79.86/75.45	    nFilterCalls=2641990, avgTableProportion=0.28439396061302274, avgTableSize=0.5687879212260455
79.86/75.45	    
83.58/79.11	    num=82, depth=0..54, filters=1247643, revisions=(879024,useless=315657), ccks=581763736, wck=76.816, mem=75M473
83.58/79.11	    decisions=547224, wrong=272501, backtracks=7450, failedAssignments=272501, nogoods=13696
83.58/79.11	    nFilterCalls=2762882, avgTableProportion=0.2878052700042926, avgTableSize=0.5756105400085852
83.58/79.11	    
87.97/83.57	    num=83, depth=0..59, filters=1317600, revisions=(964978,useless=345495), ccks=618659411, wck=81.269, mem=170M946
87.97/83.57	    decisions=601802, wrong=299765, backtracks=7819, failedAssignments=299765, nogoods=14202
87.97/83.57	    nFilterCalls=2807055, avgTableProportion=0.2884982659762634, avgTableSize=0.5769965319525268
87.97/83.57	    
92.87/88.45	    num=84, depth=39..62, filters=1424085, revisions=(1061622,useless=379785), ccks=644834711, wck=86.153, mem=330M67
92.87/88.45	    decisions=661822, wrong=329755, backtracks=7929, failedAssignments=329755, nogoods=14386
92.87/88.45	    nFilterCalls=3032296, avgTableProportion=0.28833910014061953, avgTableSize=0.5766782002812391
92.87/88.45	    
119.03/114.59	    num=85, depth=33..43, filters=2399071, revisions=(1601821,useless=694454), ccks=756572499, wck=112.291, mem=198M962
119.03/114.59	    decisions=727834, wrong=362744, backtracks=8281, failedAssignments=362744, nogoods=14690
119.03/114.59	    nFilterCalls=5489212, avgTableProportion=0.3083254026260964, avgTableSize=0.6166508052521928
119.03/114.59	    
122.72/118.18	    num=86, depth=0..64, filters=2491293, revisions=(1697011,useless=726944), ccks=783205408, wck=115.886, mem=112M928
122.72/118.18	    decisions=800476, wrong=399038, backtracks=8487, failedAssignments=399032, nogoods=15487
122.72/118.18	    nFilterCalls=5610833, avgTableProportion=0.30500426585499874, avgTableSize=0.6100085317099975
122.72/118.18	    
136.72/132.17	    num=87, depth=0..57, filters=2704822, revisions=(1865030,useless=797803), ccks=905918062, wck=129.872, mem=260M574
136.72/132.17	    decisions=880357, wrong=438959, backtracks=10553, failedAssignments=438949, nogoods=16155
136.72/132.17	    nFilterCalls=5981174, avgTableProportion=0.3029236400746743, avgTableSize=0.6058472801493486
136.72/132.17	    
173.86/169.20	    num=88, depth=0..63, filters=3085064, revisions=(2098454,useless=915642), ccks=1275482220, wck=166.9, mem=63M912
173.86/169.20	    decisions=968765, wrong=483150, backtracks=13371, failedAssignments=482858, nogoods=16362
173.86/169.20	    nFilterCalls=6714610, avgTableProportion=0.2953697236324969, avgTableSize=0.5907394472649938
173.86/169.20	    
184.26/179.65	    num=89, depth=0..67, filters=3413411, revisions=(2327457,useless=1005133), ccks=1365281453, wck=177.349, mem=160M800
184.26/179.65	    decisions=1065496, wrong=531491, backtracks=14485, failedAssignments=531158, nogoods=17049
184.26/179.65	    nFilterCalls=7323896, avgTableProportion=0.28316499851991345, avgTableSize=0.5663299970398269
184.26/179.65	    
194.96/190.33	    num=90, depth=0..67, filters=3611903, revisions=(2443089,useless=1046986), ccks=1460670212, wck=188.03, mem=54M378
194.96/190.33	    decisions=1171805, wrong=584624, backtracks=14889, failedAssignments=584288, nogoods=17260
194.96/190.33	    nFilterCalls=7668070, avgTableProportion=0.2789719577416482, avgTableSize=0.5579439154832964
194.96/190.33	    
225.28/220.62	    num=91, depth=0..49, filters=4571455, revisions=(3076642,useless=1472084), ccks=1670670262, wck=218.319, mem=61M981
225.28/220.62	    decisions=1289214, wrong=643308, backtracks=15283, failedAssignments=642731, nogoods=17455
225.28/220.62	    nFilterCalls=9522438, avgTableProportion=0.2911947024490997, avgTableSize=0.5823894048981993
225.28/220.62	    
247.80/243.18	    num=92, depth=0..57, filters=5173868, revisions=(3408873,useless=1614267), ccks=1836117440, wck=240.88, mem=115M903
247.80/243.18	    decisions=1417913, wrong=707637, backtracks=15765, failedAssignments=707018, nogoods=17827
247.80/243.18	    nFilterCalls=10578321, avgTableProportion=0.2914849152337124, avgTableSize=0.5829698304674248
247.80/243.18	    
271.01/266.35	    num=93, depth=0..65, filters=5754081, revisions=(3772733,useless=1764182), ccks=2046726646, wck=264.05, mem=166M235
271.01/266.35	    decisions=1559473, wrong=778395, backtracks=17005, failedAssignments=777734, nogoods=18021
271.01/266.35	    nFilterCalls=11596318, avgTableProportion=0.2778302130038173, avgTableSize=0.5556604260076345
271.01/266.35	    
301.61/296.90	    num=94, depth=39..58, filters=6448839, revisions=(4158107,useless=1944167), ccks=2325098390, wck=294.603, mem=73M148
301.61/296.90	    decisions=1715175, wrong=856225, backtracks=18893, failedAssignments=855521, nogoods=18563
301.61/296.90	    nFilterCalls=12841069, avgTableProportion=0.27064717119735127, avgTableSize=0.5412943423947025
301.61/296.90	    
336.23/331.59	    num=95, depth=39..59, filters=6927391, revisions=(4537347,useless=2130854), ccks=2632986781, wck=329.293, mem=224M579
336.23/331.59	    decisions=1886379, wrong=941807, backtracks=19811, failedAssignments=941087, nogoods=19008
336.23/331.59	    nFilterCalls=13871744, avgTableProportion=0.2698733482970851, avgTableSize=0.5397466965941702
336.23/331.59	    
366.14/361.44	    num=96, depth=41..80, filters=7567250, revisions=(4980393,useless=2354438), ccks=2905806346, wck=359.14, mem=82M302
366.14/361.44	    decisions=2074676, wrong=1035932, backtracks=22682, failedAssignments=1035210, nogoods=19263
366.14/361.44	    nFilterCalls=15204547, avgTableProportion=0.2588757823564227, avgTableSize=0.5177515647128454
366.14/361.44	    
394.77/390.01	    num=97, depth=37..58, filters=8131975, revisions=(5410292,useless=2547447), ccks=3111985154, wck=387.714, mem=140M399
394.77/390.01	    decisions=2281786, wrong=1139468, backtracks=23845, failedAssignments=1138745, nogoods=19744
394.77/390.01	    nFilterCalls=16458562, avgTableProportion=0.2556511012322948, avgTableSize=0.5113022024645896
394.77/390.01	    
448.57/443.87	    num=98, depth=0..56, filters=9495256, revisions=(6124275,useless=2903080), ccks=3558249045, wck=441.576, mem=191M160
448.57/443.87	    decisions=2510075, wrong=1253591, backtracks=24633, failedAssignments=1252634, nogoods=20494
448.57/443.87	    nFilterCalls=18568995, avgTableProportion=0.2587527219432177, avgTableSize=0.5175054438864354
448.57/443.87	    
503.21/498.42	    num=99, depth=0..60, filters=11178766, revisions=(7289579,useless=3573741), ccks=3959811051, wck=496.121, mem=99M827
503.21/498.42	    decisions=2761103, wrong=1379083, backtracks=25577, failedAssignments=1377912, nogoods=20921
503.21/498.42	    nFilterCalls=22161202, avgTableProportion=0.2567489570285944, avgTableSize=0.5134979140571888
503.21/498.42	    
520.16/515.30	    num=100, depth=31..65, filters=11657891, revisions=(7544058,useless=3654102), ccks=4055970518, wck=513.004, mem=130M63
520.16/515.30	    decisions=3036761, wrong=1516891, backtracks=26196, failedAssignments=1515718, nogoods=21072
520.16/515.30	    nFilterCalls=23397260, avgTableProportion=0.25318079980305386, avgTableSize=0.5063615996061077
520.16/515.30	    
556.08/551.30	    num=101, depth=37..60, filters=12672009, revisions=(8218372,useless=3949401), ccks=4331797774, wck=548.997, mem=84M557
556.08/551.30	    decisions=3340137, wrong=1668558, backtracks=28209, failedAssignments=1667304, nogoods=21374
556.08/551.30	    nFilterCalls=25441826, avgTableProportion=0.24970576011328746, avgTableSize=0.4994115202265749
556.08/551.30	    
576.39/571.58	    num=102, depth=21..83, filters=13021472, revisions=(8637688,useless=4089942), ccks=4495183982, wck=569.281, mem=113M210
576.39/571.58	    decisions=3673672, wrong=1835303, backtracks=29312, failedAssignments=1834049, nogoods=21798
576.39/571.58	    nFilterCalls=25729739, avgTableProportion=0.24828098722649306, avgTableSize=0.4965619744529861
576.39/571.58	    
615.88/610.99	    num=103, depth=34..63, filters=13693117, revisions=(9258180,useless=4310335), ccks=4771038019, wck=608.696, mem=39M945
615.88/610.99	    decisions=4040683, wrong=2018787, backtracks=30305, failedAssignments=2017468, nogoods=22190
615.88/610.99	    nFilterCalls=26824995, avgTableProportion=0.24852649553149964, avgTableSize=0.49705299106299927
615.88/610.99	    
650.18/645.29	    num=104, depth=42..66, filters=15094106, revisions=(10228125,useless=4757010), ccks=5050013949, wck=642.987, mem=127M186
650.18/645.29	    decisions=4444257, wrong=2220549, backtracks=34499, failedAssignments=2219229, nogoods=22668
650.18/645.29	    nFilterCalls=29644737, avgTableProportion=0.2326347169145066, avgTableSize=0.4652694338290132
650.18/645.29	    
708.30/703.30	    num=105, depth=37..57, filters=16149894, revisions=(11068752,useless=5124847), ccks=5466934979, wck=701.001, mem=43M948
708.30/703.30	    decisions=4888171, wrong=2442487, backtracks=35313, failedAssignments=2441167, nogoods=22833
708.30/703.30	    nFilterCalls=31788811, avgTableProportion=0.23565418977136326, avgTableSize=0.47130837954272653
708.30/703.30	    
774.24/769.29	    num=106, depth=0..59, filters=17459196, revisions=(11926010,useless=5533717), ccks=6065250765, wck=766.994, mem=129M794
774.24/769.29	    decisions=5376893, wrong=2686826, backtracks=42881, failedAssignments=2685298, nogoods=23729
774.24/769.29	    nFilterCalls=34665065, avgTableProportion=0.22788373539758255, avgTableSize=0.4557674707951651
774.24/769.29	    
927.89/922.78	    num=107, depth=0..60, filters=20668354, revisions=(13486197,useless=6278558), ccks=7463435980, wck=920.479, mem=42M469
927.89/922.78	    decisions=5914331, wrong=2955530, backtracks=52505, failedAssignments=2953843, nogoods=23998
927.89/922.78	    nFilterCalls=39457410, avgTableProportion=0.22912228653629318, avgTableSize=0.45824457307258637
927.89/922.78	    
975.03/969.76	    num=108, depth=30..60, filters=22729078, revisions=(14786206,useless=6867117), ccks=7747410641, wck=967.459, mem=66M450
975.03/969.76	    decisions=6505276, wrong=3250981, backtracks=58021, failedAssignments=3249242, nogoods=24746
975.03/969.76	    nFilterCalls=43919804, avgTableProportion=0.22794151130546939, avgTableSize=0.45588302261093877
975.03/969.76	    
1049.36/1043.92	    num=109, depth=0..63, filters=25042138, revisions=(15948016,useless=7377432), ccks=8319662759, wck=1041.623, mem=55M846
1049.36/1043.92	    decisions=7156982, wrong=3576814, backtracks=60668, failedAssignments=3574181, nogoods=24967
1049.36/1043.92	    nFilterCalls=48635377, avgTableProportion=0.22658599932308535, avgTableSize=0.4531719986461707
1049.36/1043.92	    
1188.50/1182.79	    num=110, depth=0..44, filters=31798929, revisions=(20234125,useless=10306574), ccks=8802717266, wck=1180.49, mem=54M832
1188.50/1182.79	    decisions=7872223, wrong=3934417, backtracks=62275, failedAssignments=3931614, nogoods=25068
1188.50/1182.79	    nFilterCalls=64227018, avgTableProportion=0.2563541249883344, avgTableSize=0.5127082499766688
1188.50/1182.79	    
1329.03/1323.11	    num=111, depth=30..66, filters=34524795, revisions=(21940498,useless=11122363), ccks=10025313331, wck=1320.814, mem=35M432
1329.03/1323.11	    decisions=8659021, wrong=4327791, backtracks=67746, failedAssignments=4324790, nogoods=25249
1329.03/1323.11	    nFilterCalls=69262712, avgTableProportion=0.25060879799220104, avgTableSize=0.5012175959844021
1329.03/1323.11	    
1367.01/1361.00	o 556
1367.12/1361.01	    num=112, depth=0..202, filters=35596685, revisions=(22810894,useless=11485807), ccks=10240010497, wck=1358.71, mem=87M635
1367.12/1361.01	    decisions=9248235, wrong=4622368, backtracks=71154, failedAssignments=4619356, nogoods=25910, foundSolutions=1, bestBound=556
1367.12/1361.01	    nFilterCalls=71500322, avgTableProportion=0.251112659324807, avgTableSize=0.502225318649614
1367.12/1361.01	    
1532.22/1525.89	    num=113, depth=36..63, filters=40942984, revisions=(25470059,useless=12797014), ccks=11445790959, wck=1523.591, mem=88M599
1532.22/1525.89	    decisions=10202650, wrong=5099550, backtracks=77648, failedAssignments=5095100, nogoods=26043, foundSolutions=1, bestBound=556
1532.22/1525.89	    nFilterCalls=81174272, avgTableProportion=0.24887641739491054, avgTableSize=0.4977528347898211
1532.22/1525.89	    
1532.73/1526.37	    num=114, depth=42..43, filters=40944612, revisions=(25470825,useless=12797292), ccks=11450934430, wck=1524.075, mem=36M864
1532.73/1526.37	    decisions=10202715, wrong=5099561, backtracks=77648, failedAssignments=5095111, nogoods=26054, foundSolutions=1, bestBound=556
1532.73/1526.37	    nFilterCalls=81176400, avgTableProportion=0.24887969902582524, avgTableSize=0.4977593980516505
1532.73/1526.37	    
1533.03/1526.68	    num=115, depth=36..42, filters=40945138, revisions=(25471218,useless=12797354), ccks=11454287002, wck=1524.387, mem=39M24
1533.03/1526.68	    decisions=10202775, wrong=5099573, backtracks=77654, failedAssignments=5095123, nogoods=26055, foundSolutions=1, bestBound=556
1533.03/1526.68	    nFilterCalls=81177215, avgTableProportion=0.2488816227558435, avgTableSize=0.497763245511687
1533.03/1526.68	    
1533.03/1526.69	    num=116, depth=0..0, filters=40945151, revisions=(25471231,useless=12797354), ccks=11454337962, wck=1524.393, mem=39M24
1533.03/1526.69	    decisions=10202801, wrong=5099586, backtracks=77654, failedAssignments=5095136, nogoods=26055, foundSolutions=1, bestBound=556
1533.03/1526.69	    nFilterCalls=81177215, avgTableProportion=0.2488816227558435, avgTableSize=0.497763245511687
1533.03/1526.69	    
1533.44/1527.06	    num=117, depth=0..53, filters=40945986, revisions=(25471780,useless=12797506), ccks=11458244018, wck=1524.758, mem=41M184
1533.44/1527.06	    decisions=10202882, wrong=5099600, backtracks=77654, failedAssignments=5095150, nogoods=26062, foundSolutions=1, bestBound=556
1533.44/1527.06	    nFilterCalls=81178582, avgTableProportion=0.24888327687221734, avgTableSize=0.4977665537444347
1533.44/1527.06	    
1533.44/1527.06	    num=118, depth=0..0, filters=40946002, revisions=(25471796,useless=12797506), ccks=11458302258, wck=1524.765, mem=41M184
1533.44/1527.06	    decisions=10202914, wrong=5099616, backtracks=77654, failedAssignments=5095166, nogoods=26062, foundSolutions=1, bestBound=556
1533.44/1527.06	    nFilterCalls=81178582, avgTableProportion=0.24888327687221734, avgTableSize=0.4977665537444347
1533.44/1527.06	    
1533.64/1527.22	    num=119, depth=0..20, filters=40946388, revisions=(25472067,useless=12797560), ccks=11459908418, wck=1524.918, mem=43M345
1533.64/1527.22	    decisions=10202966, wrong=5099633, backtracks=77656, failedAssignments=5095183, nogoods=26065, foundSolutions=1, bestBound=556
1533.64/1527.22	    nFilterCalls=81179087, avgTableProportion=0.24888463576832295, avgTableSize=0.4977692715366459
1533.64/1527.22	    
1534.04/1527.64	    num=120, depth=42..43, filters=40949414, revisions=(25473286,useless=12798161), ccks=11464297085, wck=1525.343, mem=45M505
1534.04/1527.64	    decisions=10203047, wrong=5099652, backtracks=77656, failedAssignments=5095202, nogoods=26084, foundSolutions=1, bestBound=556
1534.04/1527.64	    nFilterCalls=81182862, avgTableProportion=0.24889172421637462, avgTableSize=0.49778344843274924
1534.04/1527.64	    
1534.34/1527.97	    num=121, depth=0..42, filters=40950082, revisions=(25473719,useless=12798246), ccks=11467860430, wck=1525.674, mem=47M665
1534.34/1527.97	    decisions=10203131, wrong=5099673, backtracks=77656, failedAssignments=5095223, nogoods=26086, foundSolutions=1, bestBound=556
1534.34/1527.97	    nFilterCalls=81183748, avgTableProportion=0.24889363940181722, avgTableSize=0.49778727880363444
1534.34/1527.97	    
1534.74/1528.39	    num=122, depth=40..48, filters=40951221, revisions=(25474459,useless=12798464), ccks=11472342302, wck=1526.092, mem=49M825
1534.74/1528.39	    decisions=10203229, wrong=5099698, backtracks=77665, failedAssignments=5095246, nogoods=26092, foundSolutions=1, bestBound=556
1534.74/1528.39	    nFilterCalls=81185436, avgTableProportion=0.24889600888514044, avgTableSize=0.49779201777028087
1534.74/1528.39	    
1534.94/1528.51	    num=123, depth=13..19, filters=40951534, revisions=(25474726,useless=12798498), ccks=11473619630, wck=1526.213, mem=51M985
1534.94/1528.51	    decisions=10203292, wrong=5099723, backtracks=77671, failedAssignments=5095271, nogoods=26095, foundSolutions=1, bestBound=556
1534.94/1528.51	    nFilterCalls=81185767, avgTableProportion=0.2488969772250843, avgTableSize=0.4977939544501686
1534.94/1528.51	    
1535.34/1528.90	    num=124, depth=43..49, filters=40953512, revisions=(25475734,useless=12799000), ccks=11477741243, wck=1526.606, mem=53M65
1535.34/1528.90	    decisions=10203396, wrong=5099751, backtracks=77671, failedAssignments=5095299, nogoods=26123, foundSolutions=1, bestBound=556
1535.34/1528.90	    nFilterCalls=81188563, avgTableProportion=0.24890235463337368, avgTableSize=0.49780470926674736
1535.34/1528.90	    
1535.74/1529.35	    num=125, depth=42..43, filters=40956241, revisions=(25476998,useless=12799561), ccks=11482443700, wck=1527.056, mem=55M225
1535.74/1529.35	    decisions=10203505, wrong=5099784, backtracks=77673, failedAssignments=5095330, nogoods=26129, foundSolutions=1, bestBound=556
1535.74/1529.35	    nFilterCalls=81192368, avgTableProportion=0.24890436130647156, avgTableSize=0.4978087226129431
1535.74/1529.35	    
1536.14/1529.70	    num=126, depth=42..46, filters=40958491, revisions=(25478002,useless=12799940), ccks=11486107862, wck=1527.406, mem=57M385
1536.14/1529.70	    decisions=10203619, wrong=5099818, backtracks=77673, failedAssignments=5095364, nogoods=26163, foundSolutions=1, bestBound=556
1536.14/1529.70	    nFilterCalls=81195484, avgTableProportion=0.2489056780547056, avgTableSize=0.4978113561094112
1536.14/1529.70	    
1536.24/1529.84	    num=127, depth=9..20, filters=40958933, revisions=(25478347,useless=12799987), ccks=11487503236, wck=1527.539, mem=59M545
1536.24/1529.84	    decisions=10203704, wrong=5099856, backtracks=77684, failedAssignments=5095401, nogoods=26164, foundSolutions=1, bestBound=556
1536.24/1529.84	    nFilterCalls=81195892, avgTableProportion=0.2489068535634783, avgTableSize=0.4978137071269566
1536.24/1529.84	    
1536.57/1530.18	    num=128, depth=48..48, filters=40959837, revisions=(25478957,useless=12800154), ccks=11491195678, wck=1527.88, mem=60M625
1536.57/1530.18	    decisions=10203834, wrong=5099897, backtracks=77684, failedAssignments=5095442, nogoods=26205, foundSolutions=1, bestBound=556
1536.57/1530.18	    nFilterCalls=81197356, avgTableProportion=0.24890863441415506, avgTableSize=0.4978172688283101
1536.57/1530.18	    
1537.06/1530.67	    num=129, depth=42..43, filters=40963586, revisions=(25480653,useless=12800961), ccks=11496303520, wck=1528.372, mem=62M786
1537.06/1530.67	    decisions=10203973, wrong=5099945, backtracks=77687, failedAssignments=5095487, nogoods=26210, foundSolutions=1, bestBound=556
1537.06/1530.67	    nFilterCalls=81202664, avgTableProportion=0.2489109840041701, avgTableSize=0.4978219680083402
1537.06/1530.67	    
1537.36/1530.98	    num=130, depth=43..46, filters=40964473, revisions=(25481292,useless=12801146), ccks=11499633671, wck=1528.682, mem=64M946
1537.36/1530.98	    decisions=10204116, wrong=5099995, backtracks=77690, failedAssignments=5095537, nogoods=26211, foundSolutions=1, bestBound=556
1537.36/1530.98	    nFilterCalls=81204138, avgTableProportion=0.24891175496499945, avgTableSize=0.4978235099299989
1537.36/1530.98	    
1537.57/1531.12	    num=131, depth=8..20, filters=40964968, revisions=(25481700,useless=12801204), ccks=11501098537, wck=1528.821, mem=67M107
1537.57/1531.12	    decisions=10204234, wrong=5100050, backtracks=77702, failedAssignments=5095592, nogoods=26214, foundSolutions=1, bestBound=556
1537.57/1531.12	    nFilterCalls=81204629, avgTableProportion=0.24891315616995183, avgTableSize=0.49782631233990365
1537.57/1531.12	    
1537.86/1531.47	    num=132, depth=47..51, filters=40966417, revisions=(25482584,useless=12801530), ccks=11504891014, wck=1529.174, mem=69M267
1537.86/1531.47	    decisions=10204408, wrong=5100112, backtracks=77704, failedAssignments=5095653, nogoods=26244, foundSolutions=1, bestBound=556
1537.86/1531.47	    nFilterCalls=81207180, avgTableProportion=0.24891252842421077, avgTableSize=0.49782505684842154
1537.86/1531.47	    
1538.06/1531.60	    num=133, depth=2..20, filters=40967043, revisions=(25483074,useless=12801607), ccks=11506207089, wck=1529.3, mem=71M427
1538.06/1531.60	    decisions=10204544, wrong=5100179, backtracks=77722, failedAssignments=5095720, nogoods=26248, foundSolutions=1, bestBound=556
1538.06/1531.60	    nFilterCalls=81207788, avgTableProportion=0.24891424206752188, avgTableSize=0.49782848413504377
1538.06/1531.60	    
1538.36/1531.95	    num=134, depth=47..52, filters=40968884, revisions=(25484281,useless=12802150), ccks=11509933271, wck=1529.654, mem=73M587
1538.36/1531.95	    decisions=10204744, wrong=5100253, backtracks=77723, failedAssignments=5095794, nogoods=26321, foundSolutions=1, bestBound=556
1538.36/1531.95	    nFilterCalls=81211841, avgTableProportion=0.24891378216632226, avgTableSize=0.4978275643326445
1538.36/1531.95	    
1538.57/1532.15	    num=135, depth=0..20, filters=40969689, revisions=(25484915,useless=12802245), ccks=11512029591, wck=1529.854, mem=75M747
1538.57/1532.15	    decisions=10204918, wrong=5100334, backtracks=77745, failedAssignments=5095875, nogoods=26335, foundSolutions=1, bestBound=556
1538.57/1532.15	    nFilterCalls=81212650, avgTableProportion=0.24891604940855888, avgTableSize=0.49783209881711776
1538.57/1532.15	    
1539.07/1532.64	    num=136, depth=42..50, filters=40974287, revisions=(25486910,useless=12803299), ccks=11516958829, wck=1530.34, mem=77M908
1539.07/1532.64	    decisions=10205144, wrong=5100423, backtracks=77746, failedAssignments=5095964, nogoods=26384, foundSolutions=1, bestBound=556
1539.07/1532.64	    nFilterCalls=81218885, avgTableProportion=0.24892362779912577, avgTableSize=0.49784725559825155
1539.07/1532.64	    
1539.17/1532.76	    num=137, depth=0..14, filters=40974871, revisions=(25487415,useless=12803360), ccks=11518171525, wck=1530.462, mem=82M228
1539.17/1532.76	    decisions=10205342, wrong=5100521, backtracks=77767, failedAssignments=5096062, nogoods=26410, foundSolutions=1, bestBound=556
1539.17/1532.76	    nFilterCalls=81219357, avgTableProportion=0.24892493300581042, avgTableSize=0.49784986601162085
1539.17/1532.76	    
1539.67/1533.24	    num=138, depth=42..50, filters=40979450, revisions=(25489465,useless=12804428), ccks=11523080572, wck=1530.945, mem=84M388
1539.67/1533.24	    decisions=10205606, wrong=5100629, backtracks=77768, failedAssignments=5096170, nogoods=26478, foundSolutions=1, bestBound=556
1539.67/1533.24	    nFilterCalls=81225593, avgTableProportion=0.2489313374418824, avgTableSize=0.4978626748837648
1539.67/1533.24	    
1539.88/1533.48	    num=139, depth=0..18, filters=40980401, revisions=(25490139,useless=12804534), ccks=11525310098, wck=1531.178, mem=42M395
1539.88/1533.48	    decisions=10205846, wrong=5100748, backtracks=77802, failedAssignments=5096289, nogoods=26481, foundSolutions=1, bestBound=556
1539.88/1533.48	    nFilterCalls=81226944, avgTableProportion=0.24893454073564555, avgTableSize=0.4978690814712911
1539.88/1533.48	    
1540.29/1533.83	    num=140, depth=44..48, filters=40981569, revisions=(25491023,useless=12804791), ccks=11529104688, wck=1531.531, mem=44M556
1540.29/1533.83	    decisions=10206152, wrong=5100879, backtracks=77806, failedAssignments=5096420, nogoods=26486, foundSolutions=1, bestBound=556
1540.29/1533.83	    nFilterCalls=81228939, avgTableProportion=0.24893394212621686, avgTableSize=0.4978678842524337
1540.29/1533.83	    
1540.50/1534.06	    num=141, depth=0..20, filters=40982638, revisions=(25491915,useless=12804904), ccks=11531495391, wck=1531.761, mem=47M796
1540.50/1534.06	    decisions=10206442, wrong=5101023, backtracks=77838, failedAssignments=5096564, nogoods=26493, foundSolutions=1, bestBound=556
1540.50/1534.06	    nFilterCalls=81229820, avgTableProportion=0.24893643122685732, avgTableSize=0.49787286245371465
1540.50/1534.06	    
1540.89/1534.42	    num=142, depth=45..50, filters=40983910, revisions=(25492896,useless=12805203), ccks=11535361682, wck=1532.121, mem=49M956
1540.89/1534.42	    decisions=10206803, wrong=5101181, backtracks=77843, failedAssignments=5096722, nogoods=26498, foundSolutions=1, bestBound=556
1540.89/1534.42	    nFilterCalls=81232035, avgTableProportion=0.24893544769621984, avgTableSize=0.49787089539243967
1540.89/1534.42	    
1541.39/1534.93	    num=143, depth=0..42, filters=40985700, revisions=(25494125,useless=12805453), ccks=11540686466, wck=1532.633, mem=59M676
1541.39/1534.93	    decisions=10207167, wrong=5101355, backtracks=77891, failedAssignments=5096896, nogoods=26500, foundSolutions=1, bestBound=556
1541.39/1534.93	    nFilterCalls=81234722, avgTableProportion=0.2489404961587731, avgTableSize=0.4978809923175462
1541.39/1534.93	    
1542.09/1535.65	    num=144, depth=0..42, filters=41005855, revisions=(25503950,useless=12811178), ccks=11546705276, wck=1533.355, mem=71M556
1542.09/1535.65	    decisions=10207601, wrong=5101556, backtracks=77905, failedAssignments=5097087, nogoods=26513, foundSolutions=1, bestBound=556
1542.09/1535.65	    nFilterCalls=81264535, avgTableProportion=0.2489712578802057, avgTableSize=0.4979425157604114
1542.09/1535.65	    
1542.50/1536.05	    num=145, depth=42..46, filters=41008912, revisions=(25505357,useless=12811631), ccks=11550794089, wck=1533.756, mem=73M716
1542.50/1536.05	    decisions=10208065, wrong=5101767, backtracks=77909, failedAssignments=5097298, nogoods=26638, foundSolutions=1, bestBound=556
1542.50/1536.05	    nFilterCalls=81268484, avgTableProportion=0.248974799382255, avgTableSize=0.49794959876451
1542.50/1536.05	    
1543.29/1536.82	    num=146, depth=0..43, filters=41012918, revisions=(25507437,useless=12812229), ccks=11558577066, wck=1534.519, mem=87M756
1543.29/1536.82	    decisions=10208572, wrong=5101999, backtracks=77951, failedAssignments=5097530, nogoods=26714, foundSolutions=1, bestBound=556
1543.29/1536.82	    nFilterCalls=81273679, avgTableProportion=0.24898424371806768, avgTableSize=0.49796848743613537
1543.29/1536.82	    
1543.70/1537.20	    num=147, depth=41..46, filters=41014985, revisions=(25508824,useless=12812706), ccks=11562506445, wck=1534.904, mem=37M61
1543.70/1537.20	    decisions=10209123, wrong=5102254, backtracks=77956, failedAssignments=5097785, nogoods=26733, foundSolutions=1, bestBound=556
1543.70/1537.20	    nFilterCalls=81277103, avgTableProportion=0.24898394200885826, avgTableSize=0.4979678840177165
1543.70/1537.20	    
1544.20/1537.72	    num=148, depth=0..43, filters=41017249, revisions=(25510520,useless=12813032), ccks=11567897238, wck=1535.426, mem=44M621
1544.20/1537.72	    decisions=10209727, wrong=5102535, backtracks=77991, failedAssignments=5098066, nogoods=26833, foundSolutions=1, bestBound=556
1544.20/1537.72	    nFilterCalls=81280089, avgTableProportion=0.24898768257992435, avgTableSize=0.4979753651598487
1544.20/1537.72	    
1546.00/1539.59	    num=149, depth=0..43, filters=41042243, revisions=(25519933,useless=12817930), ccks=11586326604, wck=1537.294, mem=51M329
1546.00/1539.59	    decisions=10210396, wrong=5102848, backtracks=78013, failedAssignments=5098375, nogoods=26916, foundSolutions=1, bestBound=556
1546.00/1539.59	    nFilterCalls=81311793, avgTableProportion=0.24903025444291949, avgTableSize=0.49806050888583897
1546.00/1539.59	    
1546.61/1540.13	    num=150, depth=41..45, filters=41047072, revisions=(25522192,useless=12818780), ccks=11591834924, wck=1537.837, mem=53M489
1546.61/1540.13	    decisions=10211117, wrong=5103188, backtracks=78017, failedAssignments=5098715, nogoods=27170, foundSolutions=1, bestBound=556
1546.61/1540.13	    nFilterCalls=81318464, avgTableProportion=0.24903202795370066, avgTableSize=0.4980640559074013
1546.61/1540.13	    
1548.41/1541.92	    num=151, depth=0..32, filters=41051754, revisions=(25525458,useless=12819894), ccks=11610530013, wck=1539.625, mem=40M400
1548.41/1541.92	    decisions=10211898, wrong=5103563, backtracks=78261, failedAssignments=5099089, nogoods=27389, foundSolutions=1, bestBound=556
1548.41/1541.92	    nFilterCalls=81329130, avgTableProportion=0.2490456064143315, avgTableSize=0.498091212828663
1548.41/1541.92	    
1549.11/1542.68	    num=152, depth=42..47, filters=41059249, revisions=(25528564,useless=12821098), ccks=11618221711, wck=1540.385, mem=42M556
1549.11/1542.68	    decisions=10212762, wrong=5103974, backtracks=78266, failedAssignments=5099500, nogoods=27632, foundSolutions=1, bestBound=556
1549.11/1542.68	    nFilterCalls=81338472, avgTableProportion=0.2490542851604097, avgTableSize=0.4981085703208194
1549.11/1542.68	    
1549.62/1543.19	    num=153, depth=0..56, filters=41061926, revisions=(25530695,useless=12821667), ccks=11623487865, wck=1540.891, mem=49M27
1549.62/1543.19	    decisions=10213722, wrong=5104427, backtracks=78302, failedAssignments=5099952, nogoods=27691, foundSolutions=1, bestBound=556
1549.62/1543.19	    nFilterCalls=81342980, avgTableProportion=0.24905580051284082, avgTableSize=0.49811160102568164
1549.62/1543.19	    
1550.62/1544.11	    num=154, depth=0..47, filters=41064837, revisions=(25533444,useless=12822167), ccks=11633384001, wck=1541.811, mem=56M576
1550.62/1544.11	    decisions=10214764, wrong=5104925, backtracks=78375, failedAssignments=5100449, nogoods=27719, foundSolutions=1, bestBound=556
1550.62/1544.11	    nFilterCalls=81345305, avgTableProportion=0.24905830766754147, avgTableSize=0.49811661533508295
1550.62/1544.11	    
1551.41/1544.99	    num=155, depth=42..52, filters=41077974, revisions=(25539550,useless=12825057), ccks=11641973154, wck=1542.69, mem=59M811
1551.41/1544.99	    decisions=10215915, wrong=5105479, backtracks=78391, failedAssignments=5100996, nogoods=27848, foundSolutions=1, bestBound=556
1551.41/1544.99	    nFilterCalls=81364309, avgTableProportion=0.24905391256994514, avgTableSize=0.49810782513989027
1551.41/1544.99	    
1552.01/1545.50	    num=156, depth=0..54, filters=41081066, revisions=(25542088,useless=12825780), ccks=11647227334, wck=1543.201, mem=68M439
1552.01/1545.50	    decisions=10217171, wrong=5106082, backtracks=78429, failedAssignments=5101598, nogoods=27866, foundSolutions=1, bestBound=556
1552.01/1545.50	    nFilterCalls=81370008, avgTableProportion=0.24905342887516982, avgTableSize=0.49810685775033964
1552.01/1545.50	    
1552.81/1546.30	    num=157, depth=0..50, filters=41089187, revisions=(25546413,useless=12827503), ccks=11655191932, wck=1544.002, mem=74M909
1552.81/1546.30	    decisions=10218541, wrong=5106746, backtracks=78468, failedAssignments=5102260, nogoods=27907, foundSolutions=1, bestBound=556
1552.81/1546.30	    nFilterCalls=81380959, avgTableProportion=0.2490592240378981, avgTableSize=0.4981184480757962
1552.81/1546.30	    
1553.31/1546.84	    num=158, depth=0..54, filters=41093024, revisions=(25549527,useless=12828386), ccks=11660654497, wck=1544.538, mem=85M694
1553.31/1546.84	    decisions=10220045, wrong=5107475, backtracks=78510, failedAssignments=5102988, nogoods=27966, foundSolutions=1, bestBound=556
1553.31/1546.84	    nFilterCalls=81388409, avgTableProportion=0.24905627532293942, avgTableSize=0.49811255064587884
1553.31/1546.84	    
1555.31/1548.88	    num=159, depth=18..47, filters=41118341, revisions=(25559249,useless=12833220), ccks=11680653658, wck=1546.579, mem=88M929
1555.31/1548.88	    decisions=10221690, wrong=5108277, backtracks=78518, failedAssignments=5103789, nogoods=28242, foundSolutions=1, bestBound=556
1555.31/1548.88	    nFilterCalls=81421406, avgTableProportion=0.2490954282956008, avgTableSize=0.4981908565912016
1555.31/1548.88	    
1556.53/1550.10	    num=160, depth=0..50, filters=41127831, revisions=(25564304,useless=12835428), ccks=11691544860, wck=1547.8, mem=60M62
1556.53/1550.10	    decisions=10223502, wrong=5109160, backtracks=78586, failedAssignments=5104670, nogoods=28279, foundSolutions=1, bestBound=556
1556.53/1550.10	    nFilterCalls=81439307, avgTableProportion=0.24911854296599062, avgTableSize=0.49823708593198124
1556.53/1550.10	    
1557.53/1551.10	    num=161, depth=0..65, filters=41135509, revisions=(25568664,useless=12836932), ccks=11701895924, wck=1548.802, mem=66M538
1557.53/1551.10	    decisions=10225501, wrong=5110131, backtracks=78644, failedAssignments=5105640, nogoods=28376, foundSolutions=1, bestBound=556
1557.53/1551.10	    nFilterCalls=81450932, avgTableProportion=0.24912097997847343, avgTableSize=0.49824195995694687
1557.53/1551.10	    
1558.42/1551.96	    num=162, depth=43..52, filters=41145226, revisions=(25573569,useless=12838694), ccks=11710320432, wck=1549.665, mem=70M855
1558.42/1551.96	    decisions=10227679, wrong=5111198, backtracks=78653, failedAssignments=5106707, nogoods=28468, foundSolutions=1, bestBound=556
1558.42/1551.96	    nFilterCalls=81465092, avgTableProportion=0.24912081974939645, avgTableSize=0.4982416394987929
1558.42/1551.96	    
1559.32/1552.87	    num=163, depth=0..61, filters=41153147, revisions=(25577471,useless=12840102), ccks=11719405652, wck=1550.569, mem=80M569
1559.32/1552.87	    decisions=10230071, wrong=5112371, backtracks=78704, failedAssignments=5107880, nogoods=28644, foundSolutions=1, bestBound=556
1559.32/1552.87	    nFilterCalls=81479970, avgTableProportion=0.24911284331597078, avgTableSize=0.49822568663194156
1559.32/1552.87	    
1560.12/1553.62	    num=164, depth=44..51, filters=41167906, revisions=(25585683,useless=12844241), ccks=11726356165, wck=1551.326, mem=85M966
1560.12/1553.62	    decisions=10232709, wrong=5113666, backtracks=78731, failedAssignments=5109171, nogoods=28850, foundSolutions=1, bestBound=556
1560.12/1553.62	    nFilterCalls=81508821, avgTableProportion=0.24907941558865143, avgTableSize=0.49815883117730286
1560.12/1553.62	    
1560.74/1554.25	    num=165, depth=0..55, filters=41179332, revisions=(25594014,useless=12848861), ccks=11731681464, wck=1551.949, mem=44M29
1560.74/1554.25	    decisions=10235595, wrong=5115086, backtracks=78750, failedAssignments=5110591, nogoods=29198, foundSolutions=1, bestBound=556
1560.74/1554.25	    nFilterCalls=81535418, avgTableProportion=0.24907250736115685, avgTableSize=0.4981450147223137
1560.74/1554.25	    
1562.74/1556.27	    num=166, depth=42..61, filters=41226328, revisions=(25613394,useless=12858754), ccks=11749853078, wck=1553.969, mem=51M586
1562.74/1556.27	    decisions=10238817, wrong=5116669, backtracks=78780, failedAssignments=5112153, nogoods=29360, foundSolutions=1, bestBound=556
1562.74/1556.27	    nFilterCalls=81602846, avgTableProportion=0.24905698754673336, avgTableSize=0.4981139750934667
1562.74/1556.27	    
1563.66/1557.18	    num=167, depth=0..48, filters=41246218, revisions=(25622108,useless=12861926), ccks=11757062652, wck=1554.882, mem=60M390
1563.66/1557.18	    decisions=10242306, wrong=5118399, backtracks=78815, failedAssignments=5113871, nogoods=29502, foundSolutions=1, bestBound=556
1563.66/1557.18	    nFilterCalls=81632658, avgTableProportion=0.24906671543146372, avgTableSize=0.49813343086292744
1563.66/1557.18	    
1564.75/1558.20	    num=168, depth=0..64, filters=41259350, revisions=(25629705,useless=12864841), ccks=11766961140, wck=1555.906, mem=80M905
1564.75/1558.20	    decisions=10246133, wrong=5120289, backtracks=78896, failedAssignments=5115761, nogoods=29720, foundSolutions=1, bestBound=556
1564.75/1558.20	    nFilterCalls=81660642, avgTableProportion=0.24903094687891383, avgTableSize=0.49806189375782767
1564.75/1558.20	    
1566.05/1559.57	    num=169, depth=42..54, filters=41300873, revisions=(25650079,useless=12874696), ccks=11778585456, wck=1557.272, mem=86M304
1566.05/1559.57	    decisions=10250349, wrong=5122375, backtracks=78924, failedAssignments=5117840, nogoods=30174, foundSolutions=1, bestBound=556
1566.05/1559.57	    nFilterCalls=81727519, avgTableProportion=0.24900998157058946, avgTableSize=0.4980199631411789
1566.05/1559.57	    
1567.15/1560.68	    num=170, depth=33..45, filters=41323884, revisions=(25660233,useless=12878485), ccks=11787259933, wck=1558.385, mem=58M495
1567.15/1560.68	    decisions=10254956, wrong=5124662, backtracks=78936, failedAssignments=5120127, nogoods=30433, foundSolutions=1, bestBound=556
1567.15/1560.68	    nFilterCalls=81759131, avgTableProportion=0.24903961491469376, avgTableSize=0.4980792298293875
1567.15/1560.68	    
1568.46/1561.94	    num=171, depth=0..65, filters=41348259, revisions=(25675420,useless=12886002), ccks=11798946483, wck=1559.639, mem=36M964
1568.46/1561.94	    decisions=10260035, wrong=5127179, backtracks=79052, failedAssignments=5122643, nogoods=30570, foundSolutions=1, bestBound=556
1568.46/1561.94	    nFilterCalls=81803535, avgTableProportion=0.24896807332348167, avgTableSize=0.49793614664696334
1568.46/1561.94	    
1571.46/1564.95	    num=172, depth=42..64, filters=41450437, revisions=(25724653,useless=12916853), ccks=11822636069, wck=1562.652, mem=53M162
1571.46/1564.95	    decisions=10265730, wrong=5129999, backtracks=79132, failedAssignments=5125411, nogoods=30887, foundSolutions=1, bestBound=556
1571.46/1564.95	    nFilterCalls=81966585, avgTableProportion=0.24909232219446498, avgTableSize=0.49818464438892995
1571.46/1564.95	    
1572.76/1566.23	    num=173, depth=42..55, filters=41491144, revisions=(25746934,useless=12926624), ccks=11832758312, wck=1563.928, mem=56M402
1572.76/1566.23	    decisions=10271888, wrong=5133056, backtracks=79168, failedAssignments=5128455, nogoods=31268, foundSolutions=1, bestBound=556
1572.76/1566.23	    nFilterCalls=82032977, avgTableProportion=0.2490622704086431, avgTableSize=0.4981245408172862
1572.76/1566.23	    
1576.87/1570.36	    num=174, depth=24..57, filters=41579207, revisions=(25778647,useless=12941212), ccks=11870558730, wck=1568.062, mem=64M126
1576.87/1570.36	    decisions=10278664, wrong=5136422, backtracks=79296, failedAssignments=5131804, nogoods=31275, foundSolutions=1, bestBound=556
1576.87/1570.36	    nFilterCalls=82145215, avgTableProportion=0.2491675138959707, avgTableSize=0.4983350277919414
1576.87/1570.36	    
1582.39/1575.83	    num=175, depth=42..62, filters=41753631, revisions=(25862126,useless=12991435), ccks=11916703160, wck=1573.534, mem=37M161
1582.39/1575.83	    decisions=10286191, wrong=5140163, backtracks=79385, failedAssignments=5135488, nogoods=31559, foundSolutions=1, bestBound=556
1582.39/1575.83	    nFilterCalls=82411074, avgTableProportion=0.24912804194251856, avgTableSize=0.4982560838850371
1582.39/1575.83	    
1584.80/1578.29	    num=176, depth=42..47, filters=41877948, revisions=(25939927,useless=13034855), ccks=11935974374, wck=1575.994, mem=73M880
1584.80/1578.29	    decisions=10294382, wrong=5144237, backtracks=79497, failedAssignments=5139540, nogoods=31635, foundSolutions=1, bestBound=556
1584.80/1578.29	    nFilterCalls=82689284, avgTableProportion=0.24870349584838586, avgTableSize=0.4974069916967717
1584.80/1578.29	    
1586.50/1579.95	    num=177, depth=42..60, filters=41929121, revisions=(25971717,useless=13053422), ccks=11948666887, wck=1577.654, mem=83M600
1586.50/1579.95	    decisions=10303352, wrong=5148700, backtracks=79540, failedAssignments=5143997, nogoods=32110, foundSolutions=1, bestBound=556
1586.50/1579.95	    nFilterCalls=82787849, avgTableProportion=0.248686350094686, avgTableSize=0.497372700189372
1586.50/1579.95	    
1594.51/1588.00	    num=178, depth=0..49, filters=42038156, revisions=(26006524,useless=13066730), ccks=12025299511, wck=1585.704, mem=87M135
1594.51/1588.00	    decisions=10313187, wrong=5153603, backtracks=79560, failedAssignments=5148900, nogoods=32129, foundSolutions=1, bestBound=556
1594.51/1588.00	    nFilterCalls=82915809, avgTableProportion=0.2488299667919781, avgTableSize=0.4976599335839562
1594.51/1588.00	    
1602.02/1595.44	    num=179, depth=0..59, filters=42269992, revisions=(26142839,useless=13147915), ccks=12088008671, wck=1593.14, mem=73M63
1602.02/1595.44	    decisions=10324226, wrong=5159101, backtracks=79776, failedAssignments=5154294, nogoods=32473, foundSolutions=1, bestBound=556
1602.02/1595.44	    nFilterCalls=83413957, avgTableProportion=0.24827801898907637, avgTableSize=0.49655603797815273
1602.02/1595.44	    
1605.24/1598.61	    num=180, depth=0..47, filters=42341577, revisions=(26187505,useless=13171828), ccks=12112175926, wck=1596.313, mem=37M562
1605.24/1598.61	    decisions=10336123, wrong=5165034, backtracks=79902, failedAssignments=5160227, nogoods=32877, foundSolutions=1, bestBound=556
1605.24/1598.61	    nFilterCalls=83568803, avgTableProportion=0.24843671627078348, avgTableSize=0.49687343254156696
1605.24/1598.61	    
1607.35/1600.77	    num=181, depth=0..59, filters=42438917, revisions=(26250173,useless=13211298), ccks=12126483065, wck=1598.467, mem=47M282
1607.35/1600.77	    decisions=10349224, wrong=5171560, backtracks=80064, failedAssignments=5166753, nogoods=33056, foundSolutions=1, bestBound=556
1607.35/1600.77	    nFilterCalls=83789239, avgTableProportion=0.24831077651868874, avgTableSize=0.4966215530373775
1607.35/1600.77	    
1615.55/1608.94	    num=182, depth=40..50, filters=42666794, revisions=(26363029,useless=13270574), ccks=12199684107, wck=1606.642, mem=89M403
1615.55/1608.94	    decisions=10363837, wrong=5178846, backtracks=80311, failedAssignments=5173932, nogoods=33482, foundSolutions=1, bestBound=556
1615.55/1608.94	    nFilterCalls=84142324, avgTableProportion=0.2481346486222558, avgTableSize=0.4962692972445116
1615.55/1608.94	    
1625.57/1618.97	    num=183, depth=0..48, filters=43005523, revisions=(26509633,useless=13360770), ccks=12272122197, wck=1616.671, mem=79M978
1625.57/1618.97	    decisions=10380084, wrong=5186949, backtracks=80562, failedAssignments=5181829, nogoods=33630, foundSolutions=1, bestBound=556
1625.57/1618.97	    nFilterCalls=84796904, avgTableProportion=0.2485094561942969, avgTableSize=0.4970189123885938
1625.57/1618.97	    
1626.97/1620.33	    num=184, depth=25..60, filters=43036239, revisions=(26538252,useless=13371214), ccks=12282411761, wck=1618.035, mem=87M538
1626.97/1620.33	    decisions=10397510, wrong=5195645, backtracks=80650, failedAssignments=5190516, nogoods=33730, foundSolutions=1, bestBound=556
1626.97/1620.33	    nFilterCalls=84859207, avgTableProportion=0.24845817849794424, avgTableSize=0.4969163569958885
1626.97/1620.33	    
1637.70/1631.06	    num=185, depth=42..49, filters=43426518, revisions=(26744210,useless=13491161), ccks=12372211696, wck=1628.766, mem=58M410
1637.70/1631.06	    decisions=10416974, wrong=5205355, backtracks=80892, failedAssignments=5200071, nogoods=34146, foundSolutions=1, bestBound=556
1637.70/1631.06	    nFilterCalls=85569361, avgTableProportion=0.24782044358143565, avgTableSize=0.4956408871628713
1637.70/1631.06	    
1647.72/1641.01	    num=186, depth=24..58, filters=43715561, revisions=(26876799,useless=13556141), ccks=12456693519, wck=1638.708, mem=87M736
1647.72/1641.01	    decisions=10438358, wrong=5216023, backtracks=81260, failedAssignments=5210582, nogoods=34587, foundSolutions=1, bestBound=556
1647.72/1641.01	    nFilterCalls=86081137, avgTableProportion=0.24748685649911897, avgTableSize=0.49497371299823795
1647.72/1641.01	    
1659.93/1653.22	    num=187, depth=42..51, filters=44063919, revisions=(27066657,useless=13659915), ccks=12549363433, wck=1650.918, mem=83M506
1659.93/1653.22	    decisions=10462031, wrong=5227838, backtracks=81523, failedAssignments=5222144, nogoods=34910, foundSolutions=1, bestBound=556
1659.93/1653.22	    nFilterCalls=86796254, avgTableProportion=0.2472616502550905, avgTableSize=0.494523300510181
1659.93/1653.22	    
1669.56/1662.84	    num=188, depth=0..52, filters=44325746, revisions=(27179078,useless=13707946), ccks=12632864638, wck=1660.545, mem=55M593
1669.56/1662.84	    decisions=10487536, wrong=5240570, backtracks=81773, failedAssignments=5234862, nogoods=34997, foundSolutions=1, bestBound=556
1669.56/1662.84	    nFilterCalls=87193163, avgTableProportion=0.2471703773379571, avgTableSize=0.4943407546759142
1669.56/1662.84	    
1676.99/1670.20	    num=189, depth=29..55, filters=44539485, revisions=(27284284,useless=13760047), ccks=12685580615, wck=1667.902, mem=72M916
1676.99/1670.20	    decisions=10515564, wrong=5254569, backtracks=81864, failedAssignments=5248852, nogoods=35498, foundSolutions=1, bestBound=556
1676.99/1670.20	    nFilterCalls=87592623, avgTableProportion=0.24751199082141884, avgTableSize=0.4950239816428377
1676.99/1670.20	    
1683.69/1676.98	    num=190, depth=0..59, filters=44697451, revisions=(27359410,useless=13789482), ccks=12742077617, wck=1674.681, mem=42M816
1683.69/1676.98	    decisions=10546385, wrong=5269958, backtracks=81979, failedAssignments=5264241, nogoods=35750, foundSolutions=1, bestBound=556
1683.69/1676.98	    nFilterCalls=87816961, avgTableProportion=0.24745079711879348, avgTableSize=0.49490159423758695
1683.69/1676.98	    
1686.01/1679.23	    num=191, depth=0..64, filters=44750570, revisions=(27391092,useless=13798315), ccks=12755716881, wck=1676.928, mem=38M570
1686.01/1679.23	    decisions=10580276, wrong=5286886, backtracks=82352, failedAssignments=5281169, nogoods=35903, foundSolutions=1, bestBound=556
1686.01/1679.23	    nFilterCalls=87961269, avgTableProportion=0.24739269621041962, avgTableSize=0.49478539242083924
1686.01/1679.23	    
1694.95/1688.16	    num=192, depth=0..58, filters=44954739, revisions=(27513061,useless=13859513), ccks=12830225420, wck=1685.86, mem=82M900
1694.95/1688.16	    decisions=10617784, wrong=5305618, backtracks=82723, failedAssignments=5299790, nogoods=36354, foundSolutions=1, bestBound=556
1694.95/1688.16	    nFilterCalls=88378034, avgTableProportion=0.2471322229231757, avgTableSize=0.4942644458463514
1694.95/1688.16	    
1702.06/1695.23	    num=193, depth=0..57, filters=45084315, revisions=(27607373,useless=13901808), ccks=12890636728, wck=1692.928, mem=42M31
1702.06/1695.23	    decisions=10658827, wrong=5326122, backtracks=83478, failedAssignments=5320274, nogoods=36542, foundSolutions=1, bestBound=556
1702.06/1695.23	    nFilterCalls=88631103, avgTableProportion=0.2470710253938733, avgTableSize=0.4941420507877466
1702.06/1695.23	    
1805.83/1798.92	    num=194, depth=34..43, filters=47037392, revisions=(28295757,useless=14302213), ccks=13836175815, wck=1796.618, mem=69M113
1805.83/1798.92	    decisions=10704933, wrong=5349158, backtracks=83989, failedAssignments=5342806, nogoods=36623, foundSolutions=1, bestBound=556
1805.83/1798.92	    nFilterCalls=91742306, avgTableProportion=0.24948376052374355, avgTableSize=0.4989675210474871
1805.83/1798.92	    
1809.56/1802.67	    num=195, depth=0..66, filters=47143499, revisions=(28355142,useless=14325209), ccks=13862565082, wck=1800.377, mem=44M338
1809.56/1802.67	    decisions=10754570, wrong=5373957, backtracks=84204, failedAssignments=5367591, nogoods=36704, foundSolutions=1, bestBound=556
1809.56/1802.67	    nFilterCalls=91979271, avgTableProportion=0.24938366276027563, avgTableSize=0.49876732552055125
1809.56/1802.67	    
1814.10/1807.16	    num=196, depth=0..57, filters=47278637, revisions=(28463380,useless=14385958), ccks=13892981046, wck=1804.867, mem=42M252
1814.10/1807.16	    decisions=10809170, wrong=5401240, backtracks=84811, failedAssignments=5394855, nogoods=37188, foundSolutions=1, bestBound=556
1814.10/1807.16	    nFilterCalls=92315346, avgTableProportion=0.24920788359499838, avgTableSize=0.49841576718999675
1814.10/1807.16	    
1828.40/1821.41	    num=197, depth=41..45, filters=47569908, revisions=(28596550,useless=14437408), ccks=14010857808, wck=1819.116, mem=58M452
1828.40/1821.41	    decisions=10869200, wrong=5431234, backtracks=85086, failedAssignments=5424845, nogoods=37250, foundSolutions=1, bestBound=556
1828.40/1821.41	    nFilterCalls=92764652, avgTableProportion=0.24979119201568287, avgTableSize=0.49958238403136573
1828.40/1821.41	    
1870.18/1863.18	    num=198, depth=0..47, filters=49319385, revisions=(29499750,useless=15109749), ccks=14277830493, wck=1860.885, mem=67M207
1870.18/1863.18	    decisions=10937074, wrong=5465149, backtracks=86166, failedAssignments=5457834, nogoods=37488, foundSolutions=1, bestBound=556
1870.18/1863.18	    nFilterCalls=95821156, avgTableProportion=0.2518787448149759, avgTableSize=0.5037574896299518
1870.18/1863.18	    
1875.21/1868.14	    num=199, depth=21..68, filters=49467464, revisions=(29599756,useless=15144298), ccks=14306070726, wck=1865.844, mem=42M432
1875.21/1868.14	    decisions=11009700, wrong=5501438, backtracks=86371, failedAssignments=5494122, nogoods=37603, foundSolutions=1, bestBound=556
1875.21/1868.14	    nFilterCalls=96122070, avgTableProportion=0.25192111447454263, avgTableSize=0.5038422289490853
1875.21/1868.14	    
1904.72/1897.61	    num=200, depth=42..57, filters=50625184, revisions=(30296623,useless=15598607), ccks=14510229700, wck=1895.315, mem=80M282
1904.72/1897.61	    decisions=11089878, wrong=5541505, backtracks=86821, failedAssignments=5534039, nogoods=37841, foundSolutions=1, bestBound=556
1904.72/1897.61	    nFilterCalls=98568648, avgTableProportion=0.25149695164734326, avgTableSize=0.5029939032946865
1904.72/1897.61	    
1912.14/1905.04	    num=201, depth=43..63, filters=50848236, revisions=(30464200,useless=15667605), ccks=14558208831, wck=1902.738, mem=40M387
1912.14/1905.04	    decisions=11177801, wrong=5585444, backtracks=87028, failedAssignments=5577948, nogoods=38044, foundSolutions=1, bestBound=556
1912.14/1905.04	    nFilterCalls=98994833, avgTableProportion=0.2511088331246541, avgTableSize=0.5022176662493082
1912.14/1905.04	    
1933.93/1926.70	    num=202, depth=17..60, filters=51618119, revisions=(30869399,useless=15867788), ccks=14713587640, wck=1924.399, mem=85M871
1933.93/1926.70	    decisions=11274782, wrong=5633914, backtracks=88098, failedAssignments=5626248, nogoods=38270, foundSolutions=1, bestBound=556
1933.93/1926.70	    nFilterCalls=100405478, avgTableProportion=0.2513643777483934, avgTableSize=0.5027287554967868
1933.93/1926.70	    
1947.74/1940.50	    num=203, depth=42..60, filters=51929539, revisions=(31085718,useless=15949979), ccks=14816282031, wck=1938.202, mem=53M511
1947.74/1940.50	    decisions=11381108, wrong=5687055, backtracks=88285, failedAssignments=5679378, nogoods=38603, foundSolutions=1, bestBound=556
1947.74/1940.50	    nFilterCalls=100920244, avgTableProportion=0.25109031147407845, avgTableSize=0.5021806229481569
1947.74/1940.50	    
1967.66/1960.32	    num=204, depth=29..56, filters=52536848, revisions=(31429030,useless=16131979), ccks=14942954545, wck=1958.022, mem=84M914
1967.66/1960.32	    decisions=11498060, wrong=5745516, backtracks=88588, failedAssignments=5737821, nogoods=38741, foundSolutions=1, bestBound=556
1967.66/1960.32	    nFilterCalls=102509376, avgTableProportion=0.25160736028673125, avgTableSize=0.5032147205734625
1967.66/1960.32	    
2024.68/2017.22	    num=205, depth=0..61, filters=54305127, revisions=(32168375,useless=16524457), ccks=15394623805, wck=2014.925, mem=64M434
2024.68/2017.22	    decisions=11627910, wrong=5810421, backtracks=90303, failedAssignments=5802108, nogoods=39062, foundSolutions=1, bestBound=556
2024.68/2017.22	    nFilterCalls=105677871, avgTableProportion=0.25256737051411643, avgTableSize=0.5051347410282329
2024.68/2017.22	    
2039.38/2031.91	    num=206, depth=42..61, filters=54629041, revisions=(32424862,useless=16624759), ccks=15500084113, wck=2029.616, mem=88M195
2039.38/2031.91	    decisions=11769387, wrong=5881138, backtracks=90618, failedAssignments=5872824, nogoods=39179, foundSolutions=1, bestBound=556
2039.38/2031.91	    nFilterCalls=106274329, avgTableProportion=0.2518699882828712, avgTableSize=0.5037399765657424
2039.38/2031.91	    
2066.31/2058.86	    num=207, depth=0..60, filters=55310690, revisions=(32935546,useless=16936734), ccks=15679827866, wck=2056.565, mem=45M158
2066.31/2058.86	    decisions=11925011, wrong=5958930, backtracks=91087, failedAssignments=5950611, nogoods=39225, foundSolutions=1, bestBound=556
2066.31/2058.86	    nFilterCalls=107693732, avgTableProportion=0.2527535075114678, avgTableSize=0.5055070150229356
2066.31/2058.86	    
2157.75/2150.27	    num=208, depth=40..54, filters=58117468, revisions=(34209140,useless=17645043), ccks=16431003726, wck=2147.97, mem=92M679
2157.75/2150.27	    decisions=12098135, wrong=6045468, backtracks=92576, failedAssignments=6036177, nogoods=39630, foundSolutions=1, bestBound=556
2157.75/2150.27	    nFilterCalls=112429401, avgTableProportion=0.2534563623620124, avgTableSize=0.5069127247240248
2157.75/2150.27	    
2186.41/2178.74	    num=209, depth=20..60, filters=58794535, revisions=(34633381,useless=17850240), ccks=16624479014, wck=2176.441, mem=97M680
2186.41/2178.74	    decisions=12286443, wrong=6139601, backtracks=96413, failedAssignments=6130300, nogoods=40140, foundSolutions=1, bestBound=556
2186.41/2178.74	    nFilterCalls=114069904, avgTableProportion=0.25302296213030917, avgTableSize=0.5060459242606183
2186.41/2178.74	    
2248.45/2240.77	    num=210, depth=37..52, filters=60003349, revisions=(35226222,useless=18117207), ccks=17192485502, wck=2238.472, mem=83M550
2248.45/2240.77	    decisions=12494352, wrong=6243536, backtracks=98606, failedAssignments=6233835, nogoods=40291, foundSolutions=1, bestBound=556
2248.45/2240.77	    nFilterCalls=115942993, avgTableProportion=0.2525555468453363, avgTableSize=0.5051110936906726
2248.45/2240.77	    
2331.16/2323.32	    num=211, depth=40..59, filters=62369661, revisions=(36369873,useless=18677689), ccks=17870035626, wck=2321.02, mem=67M61
2331.16/2323.32	    decisions=12722716, wrong=6357696, backtracks=101070, failedAssignments=6347724, nogoods=40589, foundSolutions=1, bestBound=556
2331.16/2323.32	    nFilterCalls=119684533, avgTableProportion=0.2540535250281672, avgTableSize=0.5081070500563344
2331.16/2323.32	    
2359.68/2351.62	    num=212, depth=13..61, filters=62936687, revisions=(36749621,useless=18894365), ccks=18015606748, wck=2349.326, mem=49M879
2359.68/2351.62	    decisions=12973337, wrong=6482985, backtracks=103811, failedAssignments=6473002, nogoods=40964, foundSolutions=1, bestBound=556
2359.68/2351.62	    nFilterCalls=121265946, avgTableProportion=0.25484024179385034, avgTableSize=0.5096804835877007
2359.68/2351.62	    
2381.47/2373.44	    num=213, depth=43..55, filters=63532675, revisions=(37259820,useless=19143870), ccks=18157115263, wck=2371.139, mem=59M599
2381.47/2373.44	    decisions=13249059, wrong=6620823, backtracks=104914, failedAssignments=6610808, nogoods=41451, foundSolutions=1, bestBound=556
2381.47/2373.44	    nFilterCalls=122491177, avgTableProportion=0.2531105444435398, avgTableSize=0.5062210888870796
2381.47/2373.44	    
2400.07/2392.01	
2400.07/2392.01	v <instantiation id='sol1' type='solution' cost='556'>  <list> s[][] e[] d[][] w[][] sd[][] </list>  <values> 113 144 215 305 338 479 522 65 158 267 337 372 413 479 0 15 21 44 157 244 437 62 157 213 305 395 437 487 15 28 65 216 308 383 451 0 62 127 216 279 306 487 21 127 213 244 308 395 510 554 539 510 556 537 534 527 31 71 72 32 67 43 32 72 47 13 35 41 66 60 15 6 23 46 44 94 73 95 20 92 90 42 50 69 13 37 93 51 75 68 86 62 65 89 63 27 82 47 92 86 31 64 62 93 17 6 4 5 2 1 3 0 1 5 0 2 4 3 6 4 6 2 0 3 1 5 3 6 2 0 5 1 4 4 1 5 0 3 6 2 3 2 0 4 6 5 1 6 2 1 3 4 0 5 522 338 305 479 144 215 113 267 65 337 413 372 158 479 44 244 21 157 0 437 15 305 437 213 62 487 395 157 216 28 451 308 15 65 383 127 487 62 0 216 306 279 395 213 127 244 308 510 21 </values>  </instantiation>
2400.07/2392.01	s SATISFIABLE

Verifier Data 

OK	556

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391225-1568388632/watcher-4391225-1568388632 -o /tmp/evaluation-result-4391225-1568388632/solver-4391225-1568388632 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568388592-14519 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391225-1568388632.xml -cm 

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

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


[startup+0.100058 s]*
/proc/loadavg: 1.04 1.20 1.57 5/227 14577
/proc/meminfo: memFree=29012304/32770624 swapFree=66998528/67108860
[pid=14553] ppid=14546 vsize=10659884 memory=28432 CPUtime=0.13 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14546 14553 12443 0 -1 1077944320 5577 0 0 0 13 0 0 0 20 0 15 0 415132110 10915721216 7108 33554432000 4194304 4196468 140734887563328 140734887545872 139720824864503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
/proc/14553/statm: 2664971 7108 2890 1 0 2627468 0
[pid=14553/tid=14555] ppid=14546 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/14553/task/14555/stat : 14555 (java) R 14546 14553 12443 0 -1 4202560 3410 0 0 0 9 0 0 0 20 0 15 0 415132110 10915721216 7108 33554432000 4194304 4196468 140734887563328 139720829094800 139720806446584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14556] ppid=14546 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14556/stat : 14556 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 7108 33554432000 4194304 4196468 140734887563328 139720790146064 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14557] ppid=14546 vsize=10659884 memory=140524465936000 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14557/stat : 14557 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 7108 33554432000 4194304 4196468 140734887563328 139720431086736 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14558] ppid=14546 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14558/stat : 14558 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 7108 33554432000 4194304 4196468 140734887563328 139720430033680 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14559] ppid=14546 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14559/stat : 14559 (java) S 14546 14553 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 7108 33554432000 4194304 4196468 140734887563328 139720428981136 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14563] ppid=14546 vsize=10659884 memory=140524465936000 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14563/stat : 14563 (java) S 14546 14553 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415132112 10915721216 7108 33554432000 4194304 4196468 140734887563328 139719860009200 139720824875650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14564] ppid=14546 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14564/stat : 14564 (java) S 14546 14553 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415132112 10915721216 7108 33554432000 4194304 4196468 140734887563328 139719858955424 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14565] ppid=14546 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14565/stat : 14565 (java) S 14546 14553 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415132113 10915721216 7108 33554432000 4194304 4196468 140734887563328 139719857902320 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14572] ppid=14546 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14572/stat : 14572 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415132115 10915721216 7108 33554432000 4194304 4196468 140734887563328 139719856850896 139720824883099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14573] ppid=14546 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14553/task/14573/stat : 14573 (java) S 14546 14553 12443 0 -1 1077944384 490 0 0 0 1 0 0 0 20 0 15 0 415132115 10915721216 7108 33554432000 4194304 4196468 140734887563328 139719855799024 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14574] ppid=14546 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14574/stat : 14574 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415132115 10915721216 7108 33554432000 4194304 4196468 140734887563328 139719854746480 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14575] ppid=14546 vsize=10659884 memory=140524465936000 CPUtime=0.02 cores=1,3,5,7
/proc/14553/task/14575/stat : 14575 (java) R 14546 14553 12443 0 -1 4202560 317 0 0 0 2 0 0 0 20 0 15 0 415132115 10915721216 7108 33554432000 4194304 4196468 140734887563328 139719853693424 139720803402088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14576] ppid=14546 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14576/stat : 14576 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415132115 10915721216 7108 33554432000 4194304 4196468 140734887563328 139719852641120 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14577] ppid=14546 vsize=10659884 memory=140524465936000 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14577/stat : 14577 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132116 10915721216 7108 33554432000 4194304 4196468 140734887563328 139719851588144 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28432 KiB

[startup+0.211216 s]*
/proc/loadavg: 1.04 1.20 1.57 4/227 14577
/proc/meminfo: memFree=28993772/32770624 swapFree=66998528/67108860
[pid=14553] ppid=14546 vsize=10659884 memory=37520 CPUtime=0.33 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14546 14553 12443 0 -1 1077944320 9117 0 0 0 31 2 0 0 20 0 15 0 415132110 10915721216 9380 33554432000 4194304 4196468 140734887563328 140734887545872 139720824864503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
/proc/14553/statm: 2664971 9380 2989 1 0 2627468 0
[pid=14553/tid=14555] ppid=14546 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/14553/task/14555/stat : 14555 (java) R 14546 14553 12443 0 -1 4202560 6160 0 0 0 19 1 0 0 20 0 15 0 415132110 10915721216 9380 33554432000 4194304 4196468 140734887563328 139720829102768 139720824886429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14556] ppid=14546 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14556/stat : 14556 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 9380 33554432000 4194304 4196468 140734887563328 139720790146064 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14557] ppid=14546 vsize=10659884 memory=140524469008221 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14557/stat : 14557 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 9380 33554432000 4194304 4196468 140734887563328 139720431086736 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14558] ppid=14546 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14558/stat : 14558 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 9380 33554432000 4194304 4196468 140734887563328 139720430033680 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14559] ppid=14546 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14559/stat : 14559 (java) S 14546 14553 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 9380 33554432000 4194304 4196468 140734887563328 139720428981136 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14563] ppid=14546 vsize=10659884 memory=140524465936000 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14563/stat : 14563 (java) S 14546 14553 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415132112 10915721216 9380 33554432000 4194304 4196468 140734887563328 139719860009200 139720824875650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14564] ppid=14546 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14564/stat : 14564 (java) S 14546 14553 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415132112 10915721216 9380 33554432000 4194304 4196468 140734887563328 139719858955424 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14565] ppid=14546 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14565/stat : 14565 (java) S 14546 14553 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415132113 10915721216 9380 33554432000 4194304 4196468 140734887563328 139719857902320 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14572] ppid=14546 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14572/stat : 14572 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415132115 10915721216 9380 33554432000 4194304 4196468 140734887563328 139719856850896 139720824883099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14573] ppid=14546 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14553/task/14573/stat : 14573 (java) S 14546 14553 12443 0 -1 1077944384 769 0 0 0 3 0 0 0 20 0 15 0 415132115 10915721216 9380 33554432000 4194304 4196468 140734887563328 139719855799024 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14574] ppid=14546 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14553/task/14574/stat : 14574 (java) S 14546 14553 12443 0 -1 1077944384 71 0 0 0 2 0 0 0 20 0 15 0 415132115 10915721216 9380 33554432000 4194304 4196468 140734887563328 139719854746480 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14575] ppid=14546 vsize=10659884 memory=140524465936000 CPUtime=0.05 cores=1,3,5,7
/proc/14553/task/14575/stat : 14575 (java) S 14546 14553 12443 0 -1 1077944384 759 0 0 0 5 0 0 0 20 0 15 0 415132115 10915721216 9380 33554432000 4194304 4196468 140734887563328 139719853693424 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14576] ppid=14546 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14576/stat : 14576 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415132115 10915721216 9380 33554432000 4194304 4196468 140734887563328 139719852641120 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14577] ppid=14546 vsize=10659884 memory=140524465936000 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14577/stat : 14577 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132116 10915721216 9380 33554432000 4194304 4196468 140734887563328 139719851588144 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37520 KiB

[startup+0.310016 s]*
/proc/loadavg: 1.04 1.20 1.57 3/227 14577
/proc/meminfo: memFree=28984796/32770624 swapFree=66998528/67108860
[pid=14553] ppid=14546 vsize=10659884 memory=40320 CPUtime=0.47 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14546 14553 12443 0 -1 1077944320 9334 0 0 0 45 2 0 0 20 0 15 0 415132110 10915721216 10080 33554432000 4194304 4196468 140734887563328 140734887545872 139720824864503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
/proc/14553/statm: 2664971 10080 3022 1 0 2627468 0
[pid=14553/tid=14555] ppid=14546 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/14553/task/14555/stat : 14555 (java) R 14546 14553 12443 0 -1 4202560 6307 0 0 0 28 2 0 0 20 0 15 0 415132110 10915721216 10080 33554432000 4194304 4196468 140734887563328 139720829103488 139720808944990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14556] ppid=14546 vsize=10659884 memory=1946931 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14556/stat : 14556 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 10080 33554432000 4194304 4196468 140734887563328 139720790146064 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14557] ppid=14546 vsize=10659884 memory=140524469008189 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14557/stat : 14557 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 10080 33554432000 4194304 4196468 140734887563328 139720431086736 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14558] ppid=14546 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14558/stat : 14558 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 10080 33554432000 4194304 4196468 140734887563328 139720430033680 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14559] ppid=14546 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14559/stat : 14559 (java) S 14546 14553 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415132111 10915721216 10080 33554432000 4194304 4196468 140734887563328 139720428981136 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14563] ppid=14546 vsize=10659884 memory=140524465936000 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14563/stat : 14563 (java) S 14546 14553 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415132112 10915721216 10080 33554432000 4194304 4196468 140734887563328 139719860009200 139720824875650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14564] ppid=14546 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14564/stat : 14564 (java) S 14546 14553 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415132112 10915721216 10080 33554432000 4194304 4196468 140734887563328 139719858955424 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14565] ppid=14546 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14565/stat : 14565 (java) S 14546 14553 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415132113 10915721216 10080 33554432000 4194304 4196468 140734887563328 139719857902320 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14572] ppid=14546 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14572/stat : 14572 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415132115 10915721216 10080 33554432000 4194304 4196468 140734887563328 139719856850896 139720824883099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14573] ppid=14546 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14553/task/14573/stat : 14573 (java) R 14546 14553 12443 0 -1 1077944384 806 0 0 0 5 0 0 0 20 0 15 0 415132115 10915721216 10080 33554432000 4194304 4196468 140734887563328 139719855799024 139720824875650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14574] ppid=14546 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14553/task/14574/stat : 14574 (java) R 14546 14553 12443 0 -1 1077944384 84 0 0 0 2 0 0 0 20 0 15 0 415132115 10915721216 10080 33554432000 4194304 4196468 140734887563328 139719854746480 139720824875650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14575] ppid=14546 vsize=10659884 memory=140524465936000 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14575/stat : 14575 (java) S 14546 14553 12443 0 -1 1077944384 783 0 0 0 8 0 0 0 20 0 15 0 415132115 10915721216 10080 33554432000 4194304 4196468 140734887563328 139719853693424 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14576] ppid=14546 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14576/stat : 14576 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415132115 10915721216 10080 33554432000 4194304 4196468 140734887563328 139719852641120 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14577] ppid=14546 vsize=10659884 memory=140524465936000 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14577/stat : 14577 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132116 10915721216 10080 33554432000 4194304 4196468 140734887563328 139719851588144 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40320 KiB

[startup+0.700712 s]
/proc/loadavg: 1.04 1.20 1.57 3/227 14577
/proc/meminfo: memFree=28967972/32770624 swapFree=66998528/67108860
[pid=14553] ppid=14546 vsize=10661932 memory=62212 CPUtime=1.09 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14546 14553 12443 0 -1 1077944320 12518 0 0 0 105 4 0 0 20 0 15 0 415132110 10917818368 15553 33554432000 4194304 4196468 140734887563328 140734887545872 139720824864503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
/proc/14553/statm: 2665483 15553 3075 1 0 2627980 0
[pid=14553/tid=14555] ppid=14546 vsize=10661932 memory=21884 CPUtime=0.68 cores=1,3,5,7
/proc/14553/task/14555/stat : 14555 (java) R 14546 14553 12443 0 -1 4202560 8859 0 0 0 65 3 0 0 20 0 15 0 415132110 10917818368 15553 33554432000 4194304 4196468 140734887563328 139720829096528 139720808944990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14556] ppid=14546 vsize=10661932 memory=14068 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14556/stat : 14556 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10917818368 15553 33554432000 4194304 4196468 140734887563328 139720790146064 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14557] ppid=14546 vsize=10661932 memory=524 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14557/stat : 14557 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10917818368 15553 33554432000 4194304 4196468 140734887563328 139720431086736 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14558] ppid=14546 vsize=10661932 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14558/stat : 14558 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10917818368 15553 33554432000 4194304 4196468 140734887563328 139720430033680 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14559] ppid=14546 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14559/stat : 14559 (java) S 14546 14553 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415132111 10917818368 15553 33554432000 4194304 4196468 140734887563328 139720428981136 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14563] ppid=14546 vsize=10661932 memory=3536 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14563/stat : 14563 (java) S 14546 14553 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415132112 10917818368 15553 33554432000 4194304 4196468 140734887563328 139719860009200 139720824875650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14564] ppid=14546 vsize=10661932 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14564/stat : 14564 (java) S 14546 14553 12443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415132112 10917818368 15553 33554432000 4194304 4196468 140734887563328 139719858955424 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14565] ppid=14546 vsize=10661932 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14565/stat : 14565 (java) S 14546 14553 12443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415132113 10917818368 15553 33554432000 4194304 4196468 140734887563328 139719857902320 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14572] ppid=14546 vsize=10661932 memory=816 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14572/stat : 14572 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415132115 10917818368 15553 33554432000 4194304 4196468 140734887563328 139719856850896 139720824883099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14573] ppid=14546 vsize=10661932 memory=6153431502485415268 CPUtime=0.11 cores=1,3,5,7
/proc/14553/task/14573/stat : 14573 (java) R 14546 14553 12443 0 -1 4202560 932 0 0 0 11 0 0 0 20 0 15 0 415132115 10917818368 15553 33554432000 4194304 4196468 140734887563328 139719855799024 139720824885850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14574] ppid=14546 vsize=10661932 memory=7453282923461503316 CPUtime=0.08 cores=1,3,5,7
/proc/14553/task/14574/stat : 14574 (java) S 14546 14553 12443 0 -1 1077944384 290 0 0 0 8 0 0 0 20 0 15 0 415132115 10917818368 15553 33554432000 4194304 4196468 140734887563328 139719854746480 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14575] ppid=14546 vsize=10661932 memory=7223879631928058176 CPUtime=0.19 cores=1,3,5,7
/proc/14553/task/14575/stat : 14575 (java) S 14546 14553 12443 0 -1 1077944384 1081 0 0 0 19 0 0 0 20 0 15 0 415132115 10917818368 15553 33554432000 4194304 4196468 140734887563328 139719853693424 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14576] ppid=14546 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14576/stat : 14576 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415132115 10917818368 15553 33554432000 4194304 4196468 140734887563328 139719852641120 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14577] ppid=14546 vsize=10661932 memory=7738707418567895914 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14577/stat : 14577 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132116 10917818368 15553 33554432000 4194304 4196468 140734887563328 139719851588144 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62212 KiB

[startup+1.50069 s]
/proc/loadavg: 1.04 1.20 1.57 3/227 14577
/proc/meminfo: memFree=28935648/32770624 swapFree=66998528/67108860
[pid=14553] ppid=14546 vsize=10663980 memory=75092 CPUtime=1.98 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14546 14553 12443 0 -1 1077944320 16218 0 0 0 194 4 0 0 20 0 15 0 415132110 10919915520 18773 33554432000 4194304 4196468 140734887563328 140734887545872 139720824864503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
/proc/14553/statm: 2665995 18773 3095 1 0 2628492 0
[pid=14553/tid=14555] ppid=14546 vsize=10663980 memory=6378026435766 CPUtime=1.47 cores=1,3,5,7
/proc/14553/task/14555/stat : 14555 (java) R 14546 14553 12443 0 -1 4202560 11511 0 0 0 144 3 0 0 20 0 15 0 415132110 10919915520 18773 33554432000 4194304 4196468 140734887563328 139720829090384 139720808944990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14556] ppid=14546 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14556/stat : 14556 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10919915520 18773 33554432000 4194304 4196468 140734887563328 139720790146064 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14557] ppid=14546 vsize=10663980 memory=16100368647981698 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14557/stat : 14557 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10919915520 18773 33554432000 4194304 4196468 140734887563328 139720431086736 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14558] ppid=14546 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14558/stat : 14558 (java) S 14546 14553 12443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415132111 10919915520 18773 33554432000 4194304 4196468 140734887563328 139720430033680 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14559] ppid=14546 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14559/stat : 14559 (java) S 14546 14553 12443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415132111 10919915520 18773 33554432000 4194304 4196468 140734887563328 139720428981136 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14563] ppid=14546 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14563/stat : 14563 (java) S 14546 14553 12443 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 415132112 10919915520 18773 33554432000 4194304 4196468 140734887563328 139719860009200 139720824875650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0

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

/proc/14553/task/14559/stat : 14559 (java) S 14546 14553 12443 0 -1 1077944384 4028 0 0 0 105 10 0 0 20 0 16 0 415132111 11006283776 73713 33554432000 4194304 4196468 140734887563328 139720428981136 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14563] ppid=14546 vsize=10748324 memory=1712 CPUtime=0.5 cores=1,3,5,7
/proc/14553/task/14563/stat : 14563 (java) S 14546 14553 12443 0 -1 1077944384 6227 0 0 0 45 5 0 0 20 0 16 0 415132112 11006283776 73713 33554432000 4194304 4196468 140734887563328 139719860009200 139720824875650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14564] ppid=14546 vsize=10748324 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14564/stat : 14564 (java) S 14546 14553 12443 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 415132112 11006283776 73713 33554432000 4194304 4196468 140734887563328 139719858955488 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14565] ppid=14546 vsize=10748324 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14565/stat : 14565 (java) S 14546 14553 12443 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 415132113 11006283776 73713 33554432000 4194304 4196468 140734887563328 139719857902336 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14572] ppid=14546 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14572/stat : 14572 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415132115 11006283776 73713 33554432000 4194304 4196468 140734887563328 139719856850896 139720824883099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14573] ppid=14546 vsize=10748324 memory=40004 CPUtime=1.68 cores=1,3,5,7
/proc/14553/task/14573/stat : 14573 (java) S 14546 14553 12443 0 -1 1077944384 8844 0 0 0 167 1 0 0 20 0 16 0 415132115 11006283776 73713 33554432000 4194304 4196468 140734887563328 139719855799024 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14574] ppid=14546 vsize=10748324 memory=294852 CPUtime=1.61 cores=1,3,5,7
/proc/14553/task/14574/stat : 14574 (java) S 14546 14553 12443 0 -1 1077944384 7145 0 0 0 160 1 0 0 20 0 16 0 415132115 11006283776 73713 33554432000 4194304 4196468 140734887563328 139719854746480 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14575] ppid=14546 vsize=10748324 memory=294852 CPUtime=0.78 cores=1,3,5,7
/proc/14553/task/14575/stat : 14575 (java) S 14546 14553 12443 0 -1 1077944384 10504 0 0 0 77 1 0 0 20 0 16 0 415132115 11006283776 73713 33554432000 4194304 4196468 140734887563328 139719853693424 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14576] ppid=14546 vsize=10748324 memory=294852 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14576/stat : 14576 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415132115 11006283776 73713 33554432000 4194304 4196468 140734887563328 139719852641120 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14577] ppid=14546 vsize=10748324 memory=294852 CPUtime=0.48 cores=1,3,5,7
/proc/14553/task/14577/stat : 14577 (java) S 14546 14553 12443 0 -1 1077944384 1193 0 0 0 20 28 0 0 20 0 16 0 415132116 11006283776 73713 33554432000 4194304 4196468 140734887563328 139719851588144 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14578] ppid=14546 vsize=10748324 memory=294852 CPUtime=2258.45 cores=1,3,5,7
/proc/14553/task/14578/stat : 14578 (java) R 14546 14553 12443 0 -1 4202560 22224 0 0 0 225837 8 0 0 20 0 16 0 415132297 11006283776 73713 33554432000 4194304 4196468 140734887563328 139719526526240 139720467952304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
Current children cumulated CPU time: 2270.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 294852 KiB

[startup+2322.3 s]
/proc/loadavg: 1.83 1.85 1.85 3/229 15051
/proc/meminfo: memFree=28474156/32770624 swapFree=66998528/67108860
[pid=14553] ppid=14546 vsize=10748324 memory=294892 CPUtime=2330.16 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14546 14553 12443 0 -1 1077944320 92774 0 0 0 232934 82 0 0 20 0 16 0 415132110 11006283776 73723 33554432000 4194304 4196468 140734887563328 140734887545872 139720824864503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
/proc/14553/statm: 2687081 73723 3381 1 0 2647217 0
[pid=14553/tid=14555] ppid=14546 vsize=10748324 memory=294892 CPUtime=1.85 cores=1,3,5,7
/proc/14553/task/14555/stat : 14555 (java) S 14546 14553 12443 0 -1 1077944384 13194 0 0 0 180 5 0 0 20 0 16 0 415132110 11006283776 73723 33554432000 4194304 4196468 140734887563328 139720829107376 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14556] ppid=14546 vsize=10748324 memory=294892 CPUtime=1.17 cores=1,3,5,7
/proc/14553/task/14556/stat : 14556 (java) S 14546 14553 12443 0 -1 1077944384 6059 0 0 0 108 9 0 0 20 0 16 0 415132111 11006283776 73723 33554432000 4194304 4196468 140734887563328 139720790146064 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14557] ppid=14546 vsize=10748324 memory=294892 CPUtime=1.18 cores=1,3,5,7
/proc/14553/task/14557/stat : 14557 (java) S 14546 14553 12443 0 -1 1077944384 5144 0 0 0 109 9 0 0 20 0 16 0 415132111 11006283776 73723 33554432000 4194304 4196468 140734887563328 139720431086736 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14558] ppid=14546 vsize=10748324 memory=294892 CPUtime=1.18 cores=1,3,5,7
/proc/14553/task/14558/stat : 14558 (java) S 14546 14553 12443 0 -1 1077944384 6664 0 0 0 109 9 0 0 20 0 16 0 415132111 11006283776 73723 33554432000 4194304 4196468 140734887563328 139720430033680 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14559] ppid=14546 vsize=10748324 memory=40004 CPUtime=1.18 cores=1,3,5,7
/proc/14553/task/14559/stat : 14559 (java) S 14546 14553 12443 0 -1 1077944384 4055 0 0 0 108 10 0 0 20 0 16 0 415132111 11006283776 73723 33554432000 4194304 4196468 140734887563328 139720428981136 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14563] ppid=14546 vsize=10748324 memory=988 CPUtime=0.51 cores=1,3,5,7
/proc/14553/task/14563/stat : 14563 (java) S 14546 14553 12443 0 -1 1077944384 6251 0 0 0 46 5 0 0 20 0 16 0 415132112 11006283776 73723 33554432000 4194304 4196468 140734887563328 139719860009200 139720824875650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14564] ppid=14546 vsize=10748324 memory=164 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14564/stat : 14564 (java) S 14546 14553 12443 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 415132112 11006283776 73723 33554432000 4194304 4196468 140734887563328 139719858955488 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14565] ppid=14546 vsize=10748324 memory=5782746708540721476 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14565/stat : 14565 (java) S 14546 14553 12443 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 415132113 11006283776 73723 33554432000 4194304 4196468 140734887563328 139719857902336 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14572] ppid=14546 vsize=10748324 memory=294892 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14572/stat : 14572 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415132115 11006283776 73723 33554432000 4194304 4196468 140734887563328 139719856850896 139720824883099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14573] ppid=14546 vsize=10748324 memory=294888 CPUtime=1.68 cores=1,3,5,7
/proc/14553/task/14573/stat : 14573 (java) S 14546 14553 12443 0 -1 1077944384 8846 0 0 0 167 1 0 0 20 0 16 0 415132115 11006283776 73723 33554432000 4194304 4196468 140734887563328 139719855799024 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14574] ppid=14546 vsize=10748324 memory=294892 CPUtime=1.61 cores=1,3,5,7
/proc/14553/task/14574/stat : 14574 (java) S 14546 14553 12443 0 -1 1077944384 7147 0 0 0 160 1 0 0 20 0 16 0 415132115 11006283776 73723 33554432000 4194304 4196468 140734887563328 139719854746480 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14575] ppid=14546 vsize=10748324 memory=3624 CPUtime=0.78 cores=1,3,5,7
/proc/14553/task/14575/stat : 14575 (java) S 14546 14553 12443 0 -1 1077944384 10506 0 0 0 77 1 0 0 20 0 16 0 415132115 11006283776 73723 33554432000 4194304 4196468 140734887563328 139719853693424 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14576] ppid=14546 vsize=10748324 memory=294892 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14576/stat : 14576 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415132115 11006283776 73723 33554432000 4194304 4196468 140734887563328 139719852641120 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14577] ppid=14546 vsize=10748324 memory=294892 CPUtime=0.49 cores=1,3,5,7
/proc/14553/task/14577/stat : 14577 (java) S 14546 14553 12443 0 -1 1077944384 1199 0 0 0 20 29 0 0 20 0 16 0 415132116 11006283776 73723 33554432000 4194304 4196468 140734887563328 139719851588144 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14578] ppid=14546 vsize=10748324 memory=8317482817917895235 CPUtime=2318.39 cores=1,3,5,7
/proc/14553/task/14578/stat : 14578 (java) R 14546 14553 12443 0 -1 4202560 22297 0 0 0 231831 8 0 0 20 0 16 0 415132297 11006283776 73723 33554432000 4194304 4196468 140734887563328 139719526526368 139720467953678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
Current children cumulated CPU time: 2330.16 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 294892 KiB

[startup+2382.3 s]
/proc/loadavg: 1.89 1.86 1.86 3/229 15055
/proc/meminfo: memFree=28476996/32770624 swapFree=66998528/67108860
[pid=14553] ppid=14546 vsize=10748324 memory=294900 CPUtime=2390.37 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14546 14553 12443 0 -1 1077944320 93514 0 0 0 238953 84 0 0 20 0 16 0 415132110 11006283776 73725 33554432000 4194304 4196468 140734887563328 140734887545872 139720824864503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
/proc/14553/statm: 2687081 73725 3381 1 0 2647217 0
[pid=14553/tid=14555] ppid=14546 vsize=10748324 memory=294900 CPUtime=1.85 cores=1,3,5,7
/proc/14553/task/14555/stat : 14555 (java) S 14546 14553 12443 0 -1 1077944384 13194 0 0 0 180 5 0 0 20 0 16 0 415132110 11006283776 73725 33554432000 4194304 4196468 140734887563328 139720829107376 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14556] ppid=14546 vsize=10748324 memory=294900 CPUtime=1.25 cores=1,3,5,7
/proc/14553/task/14556/stat : 14556 (java) S 14546 14553 12443 0 -1 1077944384 6094 0 0 0 115 10 0 0 20 0 16 0 415132111 11006283776 73725 33554432000 4194304 4196468 140734887563328 139720790146064 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14557] ppid=14546 vsize=10748324 memory=294900 CPUtime=1.26 cores=1,3,5,7
/proc/14553/task/14557/stat : 14557 (java) S 14546 14553 12443 0 -1 1077944384 5152 0 0 0 116 10 0 0 20 0 16 0 415132111 11006283776 73725 33554432000 4194304 4196468 140734887563328 139720431086736 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14558] ppid=14546 vsize=10748324 memory=294900 CPUtime=1.25 cores=1,3,5,7
/proc/14553/task/14558/stat : 14558 (java) S 14546 14553 12443 0 -1 1077944384 6696 0 0 0 116 9 0 0 20 0 16 0 415132111 11006283776 73725 33554432000 4194304 4196468 140734887563328 139720430033680 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14559] ppid=14546 vsize=10748324 memory=294900 CPUtime=1.25 cores=1,3,5,7
/proc/14553/task/14559/stat : 14559 (java) S 14546 14553 12443 0 -1 1077944384 4062 0 0 0 115 10 0 0 20 0 16 0 415132111 11006283776 73725 33554432000 4194304 4196468 140734887563328 139720428981136 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14563] ppid=14546 vsize=10748324 memory=294900 CPUtime=0.56 cores=1,3,5,7
/proc/14553/task/14563/stat : 14563 (java) S 14546 14553 12443 0 -1 1077944384 6406 0 0 0 51 5 0 0 20 0 16 0 415132112 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719860009200 139720824875650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14564] ppid=14546 vsize=10748324 memory=294900 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14564/stat : 14564 (java) S 14546 14553 12443 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 415132112 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719858955488 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14565] ppid=14546 vsize=10748324 memory=294900 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14565/stat : 14565 (java) S 14546 14553 12443 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 415132113 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719857902336 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14572] ppid=14546 vsize=10748324 memory=294900 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14572/stat : 14572 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415132115 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719856850896 139720824883099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14573] ppid=14546 vsize=10748324 memory=294900 CPUtime=1.68 cores=1,3,5,7
/proc/14553/task/14573/stat : 14573 (java) S 14546 14553 12443 0 -1 1077944384 8846 0 0 0 167 1 0 0 20 0 16 0 415132115 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719855799024 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14574] ppid=14546 vsize=10748324 memory=294900 CPUtime=1.61 cores=1,3,5,7
/proc/14553/task/14574/stat : 14574 (java) S 14546 14553 12443 0 -1 1077944384 7147 0 0 0 160 1 0 0 20 0 16 0 415132115 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719854746480 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14575] ppid=14546 vsize=10748324 memory=1536 CPUtime=0.78 cores=1,3,5,7
/proc/14553/task/14575/stat : 14575 (java) S 14546 14553 12443 0 -1 1077944384 10506 0 0 0 77 1 0 0 20 0 16 0 415132115 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719853693424 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14576] ppid=14546 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14576/stat : 14576 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415132115 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719852641120 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14577] ppid=14546 vsize=10748324 memory=40004 CPUtime=0.51 cores=1,3,5,7
/proc/14553/task/14577/stat : 14577 (java) S 14546 14553 12443 0 -1 1077944384 1227 0 0 0 21 30 0 0 20 0 16 0 415132116 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719851588144 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14578] ppid=14546 vsize=10748324 memory=294900 CPUtime=2378.22 cores=1,3,5,7
/proc/14553/task/14578/stat : 14578 (java) R 14546 14553 12443 0 -1 4202560 22772 0 0 0 237814 8 0 0 20 0 16 0 415132297 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719526518288 139720468968348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
Current children cumulated CPU time: 2390.37 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 294900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2392 s]*
/proc/loadavg: 1.91 1.86 1.86 3/229 15055
/proc/meminfo: memFree=28477120/32770624 swapFree=66998528/67108860
[pid=14553] ppid=14546 vsize=10748324 memory=294900 CPUtime=2400.07 cores=1,3,5,7
/proc/14553/stat : 14553 (java) S 14546 14553 12443 0 -1 1077944320 93527 0 0 0 239923 84 0 0 20 0 16 0 415132110 11006283776 73725 33554432000 4194304 4196468 140734887563328 140734887545872 139720824864503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
/proc/14553/statm: 2687081 73725 3381 1 0 2647217 0
[pid=14553/tid=14555] ppid=14546 vsize=10748324 memory=8317482817917895235 CPUtime=1.85 cores=1,3,5,7
/proc/14553/task/14555/stat : 14555 (java) S 14546 14553 12443 0 -1 1077944384 13194 0 0 0 180 5 0 0 20 0 16 0 415132110 11006283776 73725 33554432000 4194304 4196468 140734887563328 139720829107376 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14556] ppid=14546 vsize=10748324 memory=4872558044660077418 CPUtime=1.25 cores=1,3,5,7
/proc/14553/task/14556/stat : 14556 (java) S 14546 14553 12443 0 -1 1077944384 6094 0 0 0 115 10 0 0 20 0 16 0 415132111 11006283776 73725 33554432000 4194304 4196468 140734887563328 139720790146064 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14557] ppid=14546 vsize=10748324 memory=916 CPUtime=1.26 cores=1,3,5,7
/proc/14553/task/14557/stat : 14557 (java) S 14546 14553 12443 0 -1 1077944384 5152 0 0 0 116 10 0 0 20 0 16 0 415132111 11006283776 73725 33554432000 4194304 4196468 140734887563328 139720431086736 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14558] ppid=14546 vsize=10748324 memory=3848 CPUtime=1.25 cores=1,3,5,7
/proc/14553/task/14558/stat : 14558 (java) S 14546 14553 12443 0 -1 1077944384 6696 0 0 0 116 9 0 0 20 0 16 0 415132111 11006283776 73725 33554432000 4194304 4196468 140734887563328 139720430033680 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14559] ppid=14546 vsize=10748324 memory=4108 CPUtime=1.25 cores=1,3,5,7
/proc/14553/task/14559/stat : 14559 (java) S 14546 14553 12443 0 -1 1077944384 4062 0 0 0 115 10 0 0 20 0 16 0 415132111 11006283776 73725 33554432000 4194304 4196468 140734887563328 139720428981136 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14563] ppid=14546 vsize=10748324 memory=2692 CPUtime=0.56 cores=1,3,5,7
/proc/14553/task/14563/stat : 14563 (java) S 14546 14553 12443 0 -1 1077944384 6408 0 0 0 51 5 0 0 20 0 16 0 415132112 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719860009200 139720824875650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14564] ppid=14546 vsize=10748324 memory=2304 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14564/stat : 14564 (java) S 14546 14553 12443 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 415132112 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719858955488 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14565] ppid=14546 vsize=10748324 memory=1404 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14565/stat : 14565 (java) S 14546 14553 12443 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 415132113 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719857902336 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14572] ppid=14546 vsize=10748324 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14572/stat : 14572 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415132115 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719856850896 139720824883099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14573] ppid=14546 vsize=10748324 memory=3300 CPUtime=1.68 cores=1,3,5,7
/proc/14553/task/14573/stat : 14573 (java) S 14546 14553 12443 0 -1 1077944384 8846 0 0 0 167 1 0 0 20 0 16 0 415132115 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719855799024 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14574] ppid=14546 vsize=10748324 memory=290204 CPUtime=1.61 cores=1,3,5,7
/proc/14553/task/14574/stat : 14574 (java) S 14546 14553 12443 0 -1 1077944384 7147 0 0 0 160 1 0 0 20 0 16 0 415132115 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719854746480 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14575] ppid=14546 vsize=10748324 memory=1656 CPUtime=0.78 cores=1,3,5,7
/proc/14553/task/14575/stat : 14575 (java) S 14546 14553 12443 0 -1 1077944384 10506 0 0 0 77 1 0 0 20 0 16 0 415132115 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719853693424 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14576] ppid=14546 vsize=10748324 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/14553/task/14576/stat : 14576 (java) S 14546 14553 12443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415132115 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719852641120 139720824874709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14577] ppid=14546 vsize=10748324 memory=4872558044660077418 CPUtime=0.51 cores=1,3,5,7
/proc/14553/task/14577/stat : 14577 (java) S 14546 14553 12443 0 -1 1077944384 1229 0 0 0 21 30 0 0 20 0 16 0 415132116 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719851588144 139720824875650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
[pid=14553/tid=14578] ppid=14546 vsize=10748324 memory=988 CPUtime=2387.93 cores=1,3,5,7
/proc/14553/task/14578/stat : 14578 (java) R 14546 14553 12443 0 -1 4202560 22781 0 0 0 238785 8 0 0 20 0 16 0 415132297 11006283776 73725 33554432000 4194304 4196468 140734887563328 139719526518288 139720468004554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7843840 140734887568395 140734887568498 140734887568498 140734887571407 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 294900 KiB

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

[startup+2392.02 s]
# the end of solver process 14553 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.26 s, system=0.854187 s

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

Child status: 143
Real time (s): 2392.02
CPU time (s): 2400.11
CPU user time (s): 2399.26
CPU system time (s): 0.854187
CPU usage (%): 100.338
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 597688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.26
system time used= 0.854187
maximum resident set size= 603836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94336
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67604
involuntary context switches= 4658


# summary of solver processes directly reported to runsolver:
#   pid: 14553
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2399.26
#   total CPU system time (s): 0.854187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4 second user time and 20.6647 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-13 17:29:52
IDJOB=4391225
IDBENCH=115852
IDSOLVER=2833
FILE ID=node127/4391225-1568388632
RUNJOBID= node127-1568388592-14519
PBS_JOBID= 21701837
Free space on /tmp= 61300 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-07-07-8.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391225-1568388632/watcher-4391225-1568388632 -o /tmp/evaluation-result-4391225-1568388632/solver-4391225-1568388632 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568388592-14519 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391225-1568388632.xml -cm

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

MD5SUM BENCH= 3801e67c429176a130b0cb7922d17a7f
RANDOM SEED=1137108220

node127.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.55
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.55
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.55
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.55
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:        29044352 kB
MemAvailable:   31874668 kB
Buffers:          158248 kB
Cached:          2936644 kB
SwapCached:         6772 kB
Active:          1785820 kB
Inactive:        1320628 kB
Active(anon):       3956 kB
Inactive(anon):    48320 kB
Active(file):    1781864 kB
Inactive(file):  1272308 kB
Unevictable:      109300 kB
Mlocked:          109300 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             17232 kB
Writeback:             0 kB
AnonPages:        115072 kB
Mapped:            43332 kB
Shmem:             32700 kB
Slab:             213860 kB
SReclaimable:     183960 kB
SUnreclaim:        29900 kB
KernelStack:        3392 kB
PageTables:         5680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     503976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61292 MiB
End job on node127 at 2019-09-13 18:09:45