Trace number 4390925

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 2520.06 2512.81

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.0983
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.52/2.35	
2.52/2.35	AbsCon 2 
2.52/2.37	
2.98/2.54	  Instance
2.98/2.54	    name=instance-4390925-1568380515, framework=COP, bounds=-infty..+infty
2.98/2.54	
2.98/2.54	  Loading variables...
2.98/2.59	  Loading constraints...
3.46/2.75	
3.46/2.75	  Domains
3.46/2.75	    nTypes=9, nValues=59479, sizes=[6#7,7#91,560#105]
3.46/2.75	  Variables
3.46/2.75	    count=203, degrees=[2#56,3#98,13#49]
3.46/2.75	  Objectives
3.46/2.75	    way=min, type=ObjMaximumLE
3.46/2.75	  Constraints
3.46/2.75	    count=309, nSpecific=204, arities=[1#7,2#196,3#49,7#8,9#49]
3.46/2.75	    distribution=[AllDifferent#7,CtrExtensionSmart-TableSmart#147,CtrExtensionV-Bits#49,CtrIntension#56,ElementVariable#49,ObjMaximumLE#1]
3.46/2.75	    tables=[2#147], nTotalTuples=294
3.46/2.75	    nExtStructures=(154,shared:42), nIntStructures=(21,shared:35), nCftStructures=(7,shared:42,unbuilt:260)
3.46/2.75	    wck=0.425, cpu=2.22, mem=34M440
3.46/2.76	  Solver SolverBacktrack being built...
3.46/2.76	
3.46/2.78	
3.46/2.78	  Solver
3.46/2.78	    guaranteedGAC=false
3.46/2.78	    wck=0.46, cpu=2.253, mem=47M727
3.75/2.82	
3.75/2.82	  Preprocessing
3.75/2.82	    filters=7, revisions=(7,useless=0), ccks=3920, nACremovedValues=2744, nTotalRemovedValues=2744, inconcistency=false
3.75/2.82	    wck=0.034, cpu=2.288, mem=47M727
3.75/2.82	
4.07/2.90	    num=0, depth=41..41, filters=657, revisions=(339,useless=94), ccks=47760, wck=0.123, mem=55M654
4.07/2.90	    decisions=61, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.07/2.90	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.90	    
4.07/2.91	    num=1, depth=0..0, filters=668, revisions=(350,useless=94), ccks=57385, wck=0.127, mem=55M654
4.07/2.91	    decisions=83, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
4.07/2.91	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.91	    
4.07/2.91	    num=2, depth=0..0, filters=680, revisions=(362,useless=94), ccks=67885, wck=0.131, mem=58M297
4.07/2.91	    decisions=107, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
4.07/2.91	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.91	    
4.07/2.92	    num=3, depth=0..0, filters=693, revisions=(375,useless=94), ccks=79260, wck=0.136, mem=58M297
4.07/2.92	    decisions=133, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
4.07/2.92	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.92	    
4.07/2.92	    num=4, depth=0..0, filters=707, revisions=(389,useless=94), ccks=91510, wck=0.14, mem=58M297
4.07/2.92	    decisions=161, wrong=60, backtracks=0, failedAssignments=60, nogoods=10
4.07/2.92	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.92	    
4.07/2.92	    num=5, depth=0..0, filters=723, revisions=(405,useless=94), ccks=105510, wck=0.145, mem=58M297
4.07/2.92	    decisions=193, wrong=76, backtracks=0, failedAssignments=76, nogoods=10
4.07/2.92	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.92	    
4.07/2.94	    num=6, depth=0..0, filters=740, revisions=(422,useless=94), ccks=120385, wck=0.16, mem=58M297
4.07/2.94	    decisions=227, wrong=93, backtracks=0, failedAssignments=93, nogoods=10
4.07/2.94	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.94	    
4.07/2.95	    num=7, depth=0..0, filters=759, revisions=(441,useless=94), ccks=137010, wck=0.165, mem=58M297
4.07/2.95	    decisions=265, wrong=112, backtracks=0, failedAssignments=112, nogoods=10
4.07/2.95	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.95	    
4.07/2.95	    num=8, depth=0..0, filters=780, revisions=(462,useless=94), ccks=155385, wck=0.17, mem=58M297
4.07/2.95	    decisions=307, wrong=133, backtracks=0, failedAssignments=133, nogoods=10
4.07/2.95	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.95	    
4.07/2.96	    num=9, depth=0..0, filters=803, revisions=(485,useless=94), ccks=175510, wck=0.175, mem=58M297
4.07/2.96	    decisions=353, wrong=156, backtracks=0, failedAssignments=156, nogoods=10
4.07/2.96	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.96	    
4.07/2.96	    num=10, depth=0..0, filters=828, revisions=(510,useless=94), ccks=197385, wck=0.18, mem=58M297
4.07/2.96	    decisions=403, wrong=181, backtracks=0, failedAssignments=181, nogoods=10
4.07/2.96	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.96	    
4.07/2.97	    num=11, depth=0..0, filters=856, revisions=(538,useless=94), ccks=221885, wck=0.186, mem=58M297
4.07/2.97	    decisions=459, wrong=209, backtracks=0, failedAssignments=209, nogoods=10
4.07/2.97	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.97	    
4.07/2.97	    num=12, depth=0..0, filters=887, revisions=(569,useless=94), ccks=249010, wck=0.194, mem=60M939
4.07/2.97	    decisions=521, wrong=240, backtracks=0, failedAssignments=240, nogoods=10
4.07/2.97	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.97	    
4.07/2.98	    num=13, depth=0..0, filters=921, revisions=(603,useless=94), ccks=278760, wck=0.201, mem=60M939
4.07/2.98	    decisions=589, wrong=274, backtracks=0, failedAssignments=274, nogoods=10
4.07/2.98	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.98	    
4.07/2.99	    num=14, depth=0..0, filters=958, revisions=(640,useless=94), ccks=311135, wck=0.211, mem=60M939
4.07/2.99	    decisions=663, wrong=311, backtracks=0, failedAssignments=311, nogoods=10
4.07/2.99	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/2.99	    
4.07/3.00	    num=15, depth=0..0, filters=999, revisions=(681,useless=94), ccks=347010, wck=0.221, mem=60M939
4.07/3.00	    decisions=745, wrong=352, backtracks=0, failedAssignments=352, nogoods=10
4.07/3.00	    nFilterCalls=852, avgTableProportion=0.3967136150234742, avgTableSize=0.7934272300469484
4.07/3.00	    
4.41/3.03	    num=16, depth=0..40, filters=1731, revisions=(1133,useless=273), ccks=367638, wck=0.252, mem=68M866
4.41/3.03	    decisions=875, wrong=397, backtracks=0, failedAssignments=397, nogoods=51
4.41/3.03	    nFilterCalls=1904, avgTableProportion=0.34978991596638653, avgTableSize=0.6995798319327731
4.41/3.03	    
4.41/3.08	    num=17, depth=0..38, filters=2364, revisions=(1502,useless=378), ccks=532955, wck=0.3, mem=76M794
4.41/3.08	    decisions=1013, wrong=447, backtracks=0, failedAssignments=447, nogoods=74
4.41/3.08	    nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.41/3.08	    
4.41/3.09	    num=18, depth=0..0, filters=2419, revisions=(1557,useless=378), ccks=585700, wck=0.31, mem=76M794
4.41/3.09	    decisions=1123, wrong=502, backtracks=0, failedAssignments=502, nogoods=74
4.41/3.09	    nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.41/3.09	    
4.41/3.10	    num=19, depth=0..0, filters=2480, revisions=(1618,useless=378), ccks=644199, wck=0.32, mem=76M794
4.41/3.10	    decisions=1245, wrong=563, backtracks=0, failedAssignments=563, nogoods=74
4.41/3.10	    nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.41/3.10	    
4.74/3.11	    num=20, depth=0..0, filters=2547, revisions=(1685,useless=378), ccks=708452, wck=0.332, mem=76M794
4.74/3.11	    decisions=1379, wrong=630, backtracks=0, failedAssignments=630, nogoods=74
4.74/3.11	    nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.74/3.11	    
4.74/3.12	    num=21, depth=0..0, filters=2621, revisions=(1759,useless=378), ccks=779418, wck=0.345, mem=76M794
4.74/3.12	    decisions=1527, wrong=704, backtracks=0, failedAssignments=704, nogoods=74
4.74/3.12	    nFilterCalls=2760, avgTableProportion=0.3351449275362319, avgTableSize=0.6702898550724637
4.74/3.12	    
4.88/3.20	    num=22, depth=0..25, filters=3124, revisions=(2064,useless=440), ccks=1317386, wck=0.418, mem=84M721
4.88/3.20	    decisions=1714, wrong=785, backtracks=0, failedAssignments=785, nogoods=82
4.88/3.20	    nFilterCalls=3279, avgTableProportion=0.3505641964013419, avgTableSize=0.7011283928026838
4.88/3.20	    
4.88/3.28	    num=23, depth=0..38, filters=3993, revisions=(2567,useless=611), ccks=1762288, wck=0.501, mem=95M291
4.88/3.28	    decisions=1929, wrong=874, backtracks=1, failedAssignments=874, nogoods=106
4.88/3.28	    nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
4.88/3.28	    
4.88/3.29	    num=24, depth=0..0, filters=4091, revisions=(2665,useless=611), ccks=1832260, wck=0.514, mem=95M291
4.88/3.29	    decisions=2125, wrong=972, backtracks=1, failedAssignments=972, nogoods=106
4.88/3.29	    nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
4.88/3.29	    
5.17/3.31	    num=25, depth=0..0, filters=4199, revisions=(2773,useless=611), ccks=1909372, wck=0.528, mem=95M291
5.17/3.31	    decisions=2341, wrong=1080, backtracks=1, failedAssignments=1080, nogoods=106
5.17/3.31	    nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
5.17/3.31	    
5.17/3.32	    num=26, depth=0..0, filters=4318, revisions=(2892,useless=611), ccks=1994338, wck=0.542, mem=97M933
5.17/3.32	    decisions=2579, wrong=1199, backtracks=1, failedAssignments=1199, nogoods=106
5.17/3.32	    nFilterCalls=4244, avgTableProportion=0.35367577756833174, avgTableSize=0.7073515551366635
5.17/3.32	    
5.17/3.38	    num=27, depth=0..37, filters=5475, revisions=(3557,useless=757), ccks=2314720, wck=0.597, mem=105M860
5.17/3.38	    decisions=2870, wrong=1330, backtracks=23, failedAssignments=1330, nogoods=117
5.17/3.38	    nFilterCalls=4934, avgTableProportion=0.3591406566680178, avgTableSize=0.7182813133360356
5.17/3.38	    
5.36/3.48	    num=28, depth=0..18, filters=5939, revisions=(4083,useless=902), ccks=3207574, wck=0.703, mem=108M503
5.36/3.48	    decisions=3176, wrong=1474, backtracks=23, failedAssignments=1474, nogoods=248
5.36/3.48	    nFilterCalls=5200, avgTableProportion=0.36567307692307693, avgTableSize=0.7313461538461539
5.36/3.48	    
5.59/3.65	    num=29, depth=0..45, filters=6961, revisions=(4826,useless=1096), ccks=4678187, wck=0.872, mem=116M430
5.59/3.65	    decisions=3537, wrong=1632, backtracks=33, failedAssignments=1632, nogoods=339
5.59/3.65	    nFilterCalls=6080, avgTableProportion=0.371875, avgTableSize=0.74375
5.59/3.65	    
5.92/3.85	    num=30, depth=0..41, filters=8409, revisions=(5585,useless=1262), ccks=6318412, wck=1.075, mem=129M642
5.92/3.85	    decisions=3917, wrong=1806, backtracks=45, failedAssignments=1806, nogoods=456
5.92/3.85	    nFilterCalls=8412, avgTableProportion=0.3880765572990965, avgTableSize=0.776153114598193
5.92/3.85	    
6.16/4.07	    num=31, depth=0..27, filters=9588, revisions=(6309,useless=1434), ccks=8035447, wck=1.285, mem=134M927
6.16/4.07	    decisions=4326, wrong=1997, backtracks=45, failedAssignments=1997, nogoods=641
6.16/4.07	    nFilterCalls=11093, avgTableProportion=0.4058865951500947, avgTableSize=0.8117731903001894
6.16/4.07	    
6.50/4.34	    num=32, depth=0..27, filters=10631, revisions=(7053,useless=1637), ccks=10314031, wck=1.557, mem=30M4
6.50/4.34	    decisions=4775, wrong=2208, backtracks=45, failedAssignments=2208, nogoods=832
6.50/4.34	    nFilterCalls=13542, avgTableProportion=0.4078422684980062, avgTableSize=0.8156845369960124
6.50/4.34	    
7.07/4.60	    num=33, depth=0..33, filters=11501, revisions=(7571,useless=1702), ccks=12684379, wck=1.818, mem=35M183
7.07/4.60	    decisions=5272, wrong=2440, backtracks=46, failedAssignments=2440, nogoods=1004
7.07/4.60	    nFilterCalls=14897, avgTableProportion=0.40739746257635767, avgTableSize=0.8147949251527153
7.07/4.60	    
7.70/5.23	    num=34, depth=0..27, filters=13037, revisions=(8591,useless=1957), ccks=18787121, wck=2.453, mem=48M131
7.70/5.23	    decisions=5809, wrong=2695, backtracks=72, failedAssignments=2695, nogoods=1158
7.70/5.23	    nFilterCalls=17574, avgTableProportion=0.4085296460680551, avgTableSize=0.8170592921361102
7.70/5.23	    
8.00/5.54	    num=35, depth=0..31, filters=14183, revisions=(9416,useless=2035), ccks=21643779, wck=2.759, mem=55M899
8.00/5.54	    decisions=6402, wrong=2976, backtracks=85, failedAssignments=2976, nogoods=1346
8.00/5.54	    nFilterCalls=19307, avgTableProportion=0.40790904853162063, avgTableSize=0.8158180970632413
8.00/5.54	    
8.37/5.87	    num=36, depth=0..26, filters=15886, revisions=(10494,useless=2140), ccks=24591830, wck=3.086, mem=63M668
8.37/5.87	    decisions=7045, wrong=3285, backtracks=91, failedAssignments=3285, nogoods=1577
8.37/5.87	    nFilterCalls=23113, avgTableProportion=0.4064379353610522, avgTableSize=0.8128758707221044
8.37/5.87	    
8.78/6.27	    num=37, depth=0..16, filters=17087, revisions=(11538,useless=2270), ccks=28392438, wck=3.486, mem=71M437
8.78/6.27	    decisions=7741, wrong=3625, backtracks=109, failedAssignments=3625, nogoods=1765
8.78/6.27	    nFilterCalls=24377, avgTableProportion=0.41081757394265084, avgTableSize=0.8216351478853017
8.78/6.27	    
9.38/6.88	    num=38, depth=19..35, filters=21680, revisions=(13210,useless=2974), ccks=33727133, wck=4.104, mem=97M332
9.38/6.88	    decisions=8523, wrong=3999, backtracks=109, failedAssignments=3999, nogoods=2139
9.38/6.88	    nFilterCalls=36358, avgTableProportion=0.4171159029649596, avgTableSize=0.8342318059299192
9.38/6.88	    
9.79/7.22	    num=39, depth=22..36, filters=24504, revisions=(14986,useless=3718), ccks=36516918, wck=4.44, mem=110M280
9.79/7.22	    decisions=9373, wrong=4410, backtracks=117, failedAssignments=4410, nogoods=2263
9.79/7.22	    nFilterCalls=42788, avgTableProportion=0.40726371879966344, avgTableSize=0.8145274375993269
9.79/7.22	    
10.63/7.95	    num=40, depth=0..58, filters=26967, revisions=(16898,useless=4046), ccks=43578427, wck=5.173, mem=125M817
10.63/7.95	    decisions=10335, wrong=4862, backtracks=173, failedAssignments=4862, nogoods=2503
10.63/7.95	    nFilterCalls=45793, avgTableProportion=0.4052147708165003, avgTableSize=0.8104295416330006
10.63/7.95	    
11.05/8.32	    num=41, depth=0..36, filters=29566, revisions=(18805,useless=4747), ccks=46781910, wck=5.537, mem=143M944
11.05/8.32	    decisions=11362, wrong=5359, backtracks=176, failedAssignments=5359, nogoods=2586
11.05/8.32	    nFilterCalls=51513, avgTableProportion=0.386921747908295, avgTableSize=0.77384349581659
11.05/8.32	    
11.42/8.67	    num=42, depth=0..28, filters=31770, revisions=(20584,useless=5207), ccks=49862263, wck=5.888, mem=156M892
11.42/8.67	    decisions=12483, wrong=5906, backtracks=189, failedAssignments=5906, nogoods=2754
11.42/8.67	    nFilterCalls=55682, avgTableProportion=0.3823318127940807, avgTableSize=0.7646636255881614
11.42/8.67	    
11.97/9.12	    num=43, depth=0..33, filters=37580, revisions=(23442,useless=6640), ccks=52886513, wck=6.341, mem=74M761
11.97/9.12	    decisions=13717, wrong=6508, backtracks=192, failedAssignments=6508, nogoods=2970
11.97/9.12	    nFilterCalls=71643, avgTableProportion=0.3752913752913753, avgTableSize=0.7505827505827506
11.97/9.12	    
12.41/9.55	    num=44, depth=0..30, filters=42899, revisions=(26386,useless=7920), ccks=56035434, wck=6.773, mem=108M665
12.41/9.55	    decisions=15068, wrong=7170, backtracks=194, failedAssignments=7170, nogoods=3270
12.41/9.55	    nFilterCalls=84242, avgTableProportion=0.3777806794710477, avgTableSize=0.7555613589420954
12.41/9.55	    
12.85/9.91	    num=45, depth=0..55, filters=44904, revisions=(28522,useless=8568), ccks=59353645, wck=7.13, mem=116M489
12.85/9.91	    decisions=16576, wrong=7898, backtracks=202, failedAssignments=7898, nogoods=3393
12.85/9.91	    nFilterCalls=85858, avgTableProportion=0.3761268606303431, avgTableSize=0.7522537212606862
12.85/9.91	    
13.25/10.34	    num=46, depth=0..56, filters=48480, revisions=(30881,useless=9285), ccks=62845586, wck=7.56, mem=142M570
13.25/10.34	    decisions=18233, wrong=8699, backtracks=206, failedAssignments=8699, nogoods=3585
13.25/10.34	    nFilterCalls=94195, avgTableProportion=0.3687509952757577, avgTableSize=0.7375019905515154
13.25/10.34	    
13.65/10.75	    num=47, depth=32..46, filters=51246, revisions=(32364,useless=9538), ccks=66538694, wck=7.965, mem=153M2
13.65/10.75	    decisions=20038, wrong=9580, backtracks=211, failedAssignments=9580, nogoods=3775
13.65/10.75	    nFilterCalls=101972, avgTableProportion=0.36580629976856394, avgTableSize=0.7316125995371279
13.65/10.75	    
14.40/11.49	    num=48, depth=0..57, filters=56578, revisions=(35274,useless=10242), ccks=72506179, wck=8.706, mem=74M787
14.40/11.49	    decisions=22034, wrong=10550, backtracks=250, failedAssignments=10550, nogoods=4166
14.40/11.49	    nFilterCalls=115066, avgTableProportion=0.35935463125510575, avgTableSize=0.7187092625102115
14.40/11.49	    
14.90/11.99	    num=49, depth=30..34, filters=60561, revisions=(38343,useless=11669), ccks=77327664, wck=9.207, mem=81M982
14.90/11.99	    decisions=24199, wrong=11617, backtracks=278, failedAssignments=11617, nogoods=4299
14.90/11.99	    nFilterCalls=120668, avgTableProportion=0.359581662081082, avgTableSize=0.719163324162164
14.90/11.99	    
15.32/12.32	    num=50, depth=40..43, filters=64385, revisions=(40027,useless=11923), ccks=79905568, wck=9.537, mem=110M761
15.32/12.32	    decisions=26585, wrong=12790, backtracks=281, failedAssignments=12790, nogoods=4552
15.32/12.32	    nFilterCalls=131791, avgTableProportion=0.34789553156133574, avgTableSize=0.6957910631226715
15.32/12.32	    
15.96/12.99	    num=51, depth=30..43, filters=73795, revisions=(43427,useless=13544), ccks=83523940, wck=10.205, mem=64M340
15.96/12.99	    decisions=29197, wrong=14081, backtracks=294, failedAssignments=14081, nogoods=4682
15.96/12.99	    nFilterCalls=159689, avgTableProportion=0.3459192555529811, avgTableSize=0.6918385111059622
15.96/12.99	    
16.46/13.48	    num=52, depth=0..27, filters=78900, revisions=(47809,useless=14886), ccks=87057678, wck=10.703, mem=93M205
16.46/13.48	    decisions=32062, wrong=15501, backtracks=301, failedAssignments=15501, nogoods=5254
16.46/13.48	    nFilterCalls=170708, avgTableProportion=0.34604705110481054, avgTableSize=0.6920941022096211
16.46/13.48	    
16.86/13.83	    num=53, depth=51..61, filters=83320, revisions=(49968,useless=15202), ccks=90156848, wck=11.05, mem=100M421
16.86/13.83	    decisions=35237, wrong=17063, backtracks=311, failedAssignments=17063, nogoods=5351
16.86/13.83	    nFilterCalls=182937, avgTableProportion=0.33945565959865964, avgTableSize=0.6789113191973193
16.86/13.83	    
17.26/14.29	    num=54, depth=0..63, filters=90251, revisions=(54271,useless=16457), ccks=93857399, wck=11.513, mem=132M894
17.26/14.29	    decisions=38713, wrong=18781, backtracks=338, failedAssignments=18781, nogoods=5476
17.26/14.29	    nFilterCalls=199681, avgTableProportion=0.327352126641994, avgTableSize=0.654704253283988
17.26/14.29	    
18.00/14.97	    num=55, depth=0..34, filters=97258, revisions=(60063,useless=18238), ccks=99233609, wck=12.191, mem=176M192
18.00/14.97	    decisions=42523, wrong=20671, backtracks=362, failedAssignments=20671, nogoods=5909
18.00/14.97	    nFilterCalls=215118, avgTableProportion=0.3221534227726178, avgTableSize=0.6443068455452357
18.00/14.97	    
18.91/15.63	    num=56, depth=0..35, filters=110769, revisions=(69686,useless=21615), ccks=103502558, wck=12.852, mem=80M207
18.91/15.63	    decisions=46711, wrong=22750, backtracks=377, failedAssignments=22750, nogoods=6105
18.91/15.63	    nFilterCalls=240964, avgTableProportion=0.31962865822280506, avgTableSize=0.6392573164456101
18.91/15.63	    
19.61/16.38	    num=57, depth=25..38, filters=121650, revisions=(76248,useless=23452), ccks=107853122, wck=13.602, mem=183M645
19.61/16.38	    decisions=51316, wrong=25037, backtracks=389, failedAssignments=25037, nogoods=6251
19.61/16.38	    nFilterCalls=271782, avgTableProportion=0.32092449095230735, avgTableSize=0.6418489819046147
19.61/16.38	    
20.30/16.96	    num=58, depth=0..33, filters=129012, revisions=(80775,useless=24249), ccks=112014486, wck=14.178, mem=225M20
20.30/16.96	    decisions=56376, wrong=27553, backtracks=414, failedAssignments=27553, nogoods=6617
20.30/16.96	    nFilterCalls=290498, avgTableProportion=0.3196837843978272, avgTableSize=0.6393675687956544
20.30/16.96	    
21.19/17.73	    num=59, depth=27..31, filters=139230, revisions=(89295,useless=27239), ccks=116757496, wck=14.946, mem=33M863
21.19/17.73	    decisions=61940, wrong=30321, backtracks=426, failedAssignments=30321, nogoods=6651
21.19/17.73	    nFilterCalls=314578, avgTableProportion=0.31334200102995124, avgTableSize=0.6266840020599025
21.19/17.73	    
21.60/18.15	    num=60, depth=46..59, filters=147182, revisions=(92706,useless=27328), ccks=119605774, wck=15.372, mem=96M3
21.60/18.15	    decisions=68074, wrong=33365, backtracks=439, failedAssignments=33365, nogoods=6884
21.60/18.15	    nFilterCalls=340116, avgTableProportion=0.30070916981265217, avgTableSize=0.6014183396253043
21.60/18.15	    
22.19/18.79	    num=61, depth=22..53, filters=159988, revisions=(96843,useless=27690), ccks=122811573, wck=16.01, mem=240M998
22.19/18.79	    decisions=74809, wrong=36714, backtracks=454, failedAssignments=36714, nogoods=7143
22.19/18.79	    nFilterCalls=377454, avgTableProportion=0.29455509810466973, avgTableSize=0.5891101962093395
22.19/18.79	    
22.99/19.51	    num=62, depth=0..68, filters=169122, revisions=(108458,useless=34492), ccks=129213418, wck=16.734, mem=256M533
22.99/19.51	    decisions=82244, wrong=40398, backtracks=514, failedAssignments=40398, nogoods=7453
22.99/19.51	    nFilterCalls=400172, avgTableProportion=0.2811253660925802, avgTableSize=0.5622507321851604
22.99/19.51	    
23.50/20.08	    num=63, depth=0..46, filters=178809, revisions=(113612,useless=35229), ccks=133309770, wck=17.304, mem=43M892
23.50/20.08	    decisions=90378, wrong=44450, backtracks=540, failedAssignments=44450, nogoods=7569
23.50/20.08	    nFilterCalls=428254, avgTableProportion=0.27623910109421046, avgTableSize=0.5524782021884209
23.50/20.08	    
24.23/20.77	    num=64, depth=38..67, filters=193485, revisions=(127171,useless=39792), ccks=137898535, wck=17.986, mem=58M969
24.23/20.77	    decisions=99354, wrong=48907, backtracks=567, failedAssignments=48907, nogoods=7812
24.23/20.77	    nFilterCalls=459469, avgTableProportion=0.26950675671264, avgTableSize=0.53901351342528
24.23/20.77	    
25.33/21.81	    num=65, depth=0..42, filters=213332, revisions=(142469,useless=44912), ccks=143274777, wck=19.033, mem=194M659
25.33/21.81	    decisions=109197, wrong=53810, backtracks=610, failedAssignments=53810, nogoods=7904
25.33/21.81	    nFilterCalls=508872, avgTableProportion=0.2666819946862865, avgTableSize=0.533363989372573
25.33/21.81	    
26.84/23.33	    num=66, depth=0..25, filters=226274, revisions=(157745,useless=49428), ccks=155028313, wck=20.548, mem=254M965
26.84/23.33	    decisions=120007, wrong=59204, backtracks=624, failedAssignments=59204, nogoods=8037
26.84/23.33	    nFilterCalls=521591, avgTableProportion=0.2680433519750149, avgTableSize=0.5360867039500298
26.84/23.33	    
28.08/24.58	    num=67, depth=26..72, filters=240415, revisions=(175178,useless=54351), ccks=164992296, wck=21.797, mem=285M118
28.08/24.58	    decisions=131927, wrong=65137, backtracks=670, failedAssignments=65137, nogoods=8471
28.08/24.58	    nFilterCalls=531212, avgTableProportion=0.26962869814687923, avgTableSize=0.5392573962937585
28.08/24.58	    
29.83/26.22	    num=68, depth=0..47, filters=268161, revisions=(197119,useless=63417), ccks=174551332, wck=23.444, mem=96M958
29.83/26.22	    decisions=145008, wrong=71663, backtracks=702, failedAssignments=71663, nogoods=8741
29.83/26.22	    nFilterCalls=595085, avgTableProportion=0.2749842459480578, avgTableSize=0.5499684918961156
29.83/26.22	    
31.83/28.28	    num=69, depth=18..57, filters=306742, revisions=(218481,useless=71648), ccks=185869191, wck=25.497, mem=345M855
31.83/28.28	    decisions=159416, wrong=78842, backtracks=772, failedAssignments=78842, nogoods=8751
31.83/28.28	    nFilterCalls=691288, avgTableProportion=0.2812489150686834, avgTableSize=0.5624978301373668
31.83/28.28	    
33.68/30.10	    num=70, depth=0..56, filters=344362, revisions=(242759,useless=83119), ccks=197965761, wck=27.321, mem=122M721
33.68/30.10	    decisions=175242, wrong=86739, backtracks=999, failedAssignments=86739, nogoods=9152
33.68/30.10	    nFilterCalls=789308, avgTableProportion=0.27658087844035534, avgTableSize=0.5531617568807107
33.68/30.10	    
34.97/31.30	    num=71, depth=0..55, filters=366808, revisions=(266570,useless=91006), ccks=207000608, wck=28.52, mem=178M868
34.97/31.30	    decisions=192647, wrong=95426, backtracks=1077, failedAssignments=95426, nogoods=9193
34.97/31.30	    nFilterCalls=821257, avgTableProportion=0.2706582714059058, avgTableSize=0.5413165428118116
34.97/31.30	    
37.28/33.63	    num=72, depth=0..33, filters=409311, revisions=(297430,useless=101473), ccks=222322608, wck=30.85, mem=450M244
37.28/33.63	    decisions=211784, wrong=104981, backtracks=1243, failedAssignments=104981, nogoods=9532
37.28/33.63	    nFilterCalls=913636, avgTableProportion=0.2663708522869064, avgTableSize=0.5327417045738128
37.28/33.63	    
47.54/43.80	    num=73, depth=0..61, filters=466471, revisions=(329028,useless=113440), ccks=316289000, wck=41.023, mem=347M576
47.54/43.80	    decisions=232842, wrong=115492, backtracks=1880, failedAssignments=115492, nogoods=10043
47.54/43.80	    nFilterCalls=1061905, avgTableProportion=0.2702600515111992, avgTableSize=0.5405201030223984
47.54/43.80	    
50.39/46.60	    num=74, depth=0..31, filters=515514, revisions=(366703,useless=126531), ccks=330064788, wck=43.818, mem=192M247
50.39/46.60	    decisions=255992, wrong=127054, backtracks=1935, failedAssignments=127054, nogoods=10307
50.39/46.60	    nFilterCalls=1180667, avgTableProportion=0.2707317135144795, avgTableSize=0.541463427028959
50.39/46.60	    
53.63/49.87	    num=75, depth=10..37, filters=567298, revisions=(406813,useless=140411), ccks=347453912, wck=47.093, mem=116M979
53.63/49.87	    decisions=281438, wrong=139772, backtracks=2011, failedAssignments=139772, nogoods=10560
53.63/49.87	    nFilterCalls=1302466, avgTableProportion=0.27810937099317756, avgTableSize=0.5562187419863551
53.63/49.87	    
58.53/54.77	    num=76, depth=25..59, filters=650013, revisions=(467542,useless=163523), ccks=386807826, wck=51.995, mem=353M338
58.53/54.77	    decisions=309473, wrong=153762, backtracks=3955, failedAssignments=153762, nogoods=11101
58.53/54.77	    nFilterCalls=1443520, avgTableProportion=0.273812971070716, avgTableSize=0.547625942141432
58.53/54.77	    
62.09/58.23	    num=77, depth=0..60, filters=742713, revisions=(539021,useless=186689), ccks=406181971, wck=55.448, mem=95M335
62.09/58.23	    decisions=340284, wrong=169151, backtracks=4115, failedAssignments=169151, nogoods=11422
62.09/58.23	    nFilterCalls=1629994, avgTableProportion=0.26921356765730425, avgTableSize=0.5384271353146085
62.09/58.23	    
64.61/60.77	    num=78, depth=23..65, filters=815654, revisions=(574015,useless=197208), ccks=417886083, wck=57.99, mem=53M660
64.61/60.77	    decisions=374187, wrong=186079, backtracks=4224, failedAssignments=186079, nogoods=11902
64.61/60.77	    nFilterCalls=1833917, avgTableProportion=0.2770545231872544, avgTableSize=0.5541090463745088
64.61/60.77	    
75.94/72.09	    num=79, depth=22..59, filters=984600, revisions=(674407,useless=244025), ccks=502930902, wck=69.311, mem=353M290
75.94/72.09	    decisions=411476, wrong=204700, backtracks=5511, failedAssignments=204700, nogoods=12570
75.94/72.09	    nFilterCalls=2237735, avgTableProportion=0.28915465861686035, avgTableSize=0.5783093172337207
75.94/72.09	    
79.75/75.87	    num=80, depth=0..84, filters=1055715, revisions=(726446,useless=263312), ccks=532700776, wck=73.087, mem=179M520
79.75/75.87	    decisions=452499, wrong=225184, backtracks=7263, failedAssignments=225184, nogoods=13183
79.75/75.87	    nFilterCalls=2392964, avgTableProportion=0.2848856063024768, avgTableSize=0.5697712126049536
79.75/75.87	    
84.45/80.50	    num=81, depth=0..47, filters=1172697, revisions=(803429,useless=290355), ccks=560483191, wck=77.716, mem=167M890
84.45/80.50	    decisions=497605, wrong=247716, backtracks=7367, failedAssignments=247716, nogoods=13301
84.45/80.50	    nFilterCalls=2641990, avgTableProportion=0.28439396061302274, avgTableSize=0.5687879212260455
84.45/80.50	    
88.35/84.32	    num=82, depth=0..54, filters=1247643, revisions=(879024,useless=315657), ccks=581763736, wck=81.535, mem=348M242
88.35/84.32	    decisions=547224, wrong=272501, backtracks=7450, failedAssignments=272501, nogoods=13696
88.35/84.32	    nFilterCalls=2762882, avgTableProportion=0.2878052700042926, avgTableSize=0.5756105400085852
88.35/84.32	    
93.06/89.08	    num=83, depth=0..59, filters=1317600, revisions=(964978,useless=345495), ccks=618659411, wck=86.297, mem=86M871
93.06/89.08	    decisions=601802, wrong=299765, backtracks=7819, failedAssignments=299765, nogoods=14202
93.06/89.08	    nFilterCalls=2807055, avgTableProportion=0.2884982659762634, avgTableSize=0.5769965319525268
93.06/89.08	    
98.16/94.17	    num=84, depth=39..62, filters=1424085, revisions=(1061622,useless=379785), ccks=644834711, wck=91.394, mem=240M738
98.16/94.17	    decisions=661822, wrong=329755, backtracks=7929, failedAssignments=329755, nogoods=14386
98.16/94.17	    nFilterCalls=3032296, avgTableProportion=0.28833910014061953, avgTableSize=0.5766782002812391
98.16/94.17	    
125.31/121.24	    num=85, depth=33..43, filters=2399071, revisions=(1601821,useless=694454), ccks=756572499, wck=118.458, mem=189M645
125.31/121.24	    decisions=727834, wrong=362744, backtracks=8281, failedAssignments=362744, nogoods=14690
125.31/121.24	    nFilterCalls=5489212, avgTableProportion=0.3083254026260964, avgTableSize=0.6166508052521928
125.31/121.24	    
129.20/125.04	    num=86, depth=0..64, filters=2491293, revisions=(1697011,useless=726944), ccks=783205408, wck=122.258, mem=65M487
129.20/125.04	    decisions=800476, wrong=399038, backtracks=8487, failedAssignments=399032, nogoods=15487
129.20/125.04	    nFilterCalls=5610833, avgTableProportion=0.30500426585499874, avgTableSize=0.6100085317099975
129.20/125.04	    
144.21/140.05	    num=87, depth=0..57, filters=2704822, revisions=(1865030,useless=797803), ccks=905918062, wck=137.272, mem=170M299
144.21/140.05	    decisions=880357, wrong=438959, backtracks=10553, failedAssignments=438949, nogoods=16155
144.21/140.05	    nFilterCalls=5981174, avgTableProportion=0.3029236400746743, avgTableSize=0.6058472801493486
144.21/140.05	    
184.42/180.25	    num=88, depth=0..63, filters=3085064, revisions=(2098454,useless=915642), ccks=1275482220, wck=177.468, mem=147M331
184.42/180.25	    decisions=968765, wrong=483150, backtracks=13371, failedAssignments=482858, nogoods=16362
184.42/180.25	    nFilterCalls=6714610, avgTableProportion=0.2953697236324969, avgTableSize=0.5907394472649938
184.42/180.25	    
195.62/191.46	    num=89, depth=0..67, filters=3413411, revisions=(2327457,useless=1005133), ccks=1365281453, wck=188.679, mem=236M816
195.62/191.46	    decisions=1065496, wrong=531491, backtracks=14485, failedAssignments=531158, nogoods=17049
195.62/191.46	    nFilterCalls=7323896, avgTableProportion=0.28316499851991345, avgTableSize=0.5663299970398269
195.62/191.46	    
207.13/202.94	    num=90, depth=0..67, filters=3611903, revisions=(2443089,useless=1046986), ccks=1460670212, wck=200.159, mem=98M438
207.13/202.94	    decisions=1171805, wrong=584624, backtracks=14889, failedAssignments=584288, nogoods=17260
207.13/202.94	    nFilterCalls=7668070, avgTableProportion=0.2789719577416482, avgTableSize=0.5579439154832964
207.13/202.94	    
239.14/234.98	    num=91, depth=0..49, filters=4571455, revisions=(3076642,useless=1472084), ccks=1670670262, wck=232.197, mem=241M469
239.14/234.98	    decisions=1289214, wrong=643308, backtracks=15283, failedAssignments=642731, nogoods=17455
239.14/234.98	    nFilterCalls=9522438, avgTableProportion=0.2911947024490997, avgTableSize=0.5823894048981993
239.14/234.98	    
263.15/258.91	    num=92, depth=0..57, filters=5173868, revisions=(3408873,useless=1614267), ccks=1836117440, wck=256.129, mem=245M964
263.15/258.91	    decisions=1417913, wrong=707637, backtracks=15765, failedAssignments=707018, nogoods=17827
263.15/258.91	    nFilterCalls=10578321, avgTableProportion=0.2914849152337124, avgTableSize=0.5829698304674248
263.15/258.91	    
288.06/283.85	    num=93, depth=0..65, filters=5754081, revisions=(3772733,useless=1764182), ccks=2046726646, wck=281.067, mem=36M741
288.06/283.85	    decisions=1559473, wrong=778395, backtracks=17005, failedAssignments=777734, nogoods=18021
288.06/283.85	    nFilterCalls=11596318, avgTableProportion=0.2778302130038173, avgTableSize=0.5556604260076345
288.06/283.85	    
320.96/316.75	    num=94, depth=39..58, filters=6448839, revisions=(4158107,useless=1944167), ccks=2325098390, wck=313.965, mem=136M272
320.96/316.75	    decisions=1715175, wrong=856225, backtracks=18893, failedAssignments=855521, nogoods=18563
320.96/316.75	    nFilterCalls=12841069, avgTableProportion=0.27064717119735127, avgTableSize=0.5412943423947025
320.96/316.75	    
358.29/354.10	    num=95, depth=39..59, filters=6927391, revisions=(4537347,useless=2130854), ccks=2632986781, wck=351.318, mem=254M193
358.29/354.10	    decisions=1886379, wrong=941807, backtracks=19811, failedAssignments=941087, nogoods=19008
358.29/354.10	    nFilterCalls=13871744, avgTableProportion=0.2698733482970851, avgTableSize=0.5397466965941702
358.29/354.10	    
390.48/386.21	    num=96, depth=41..80, filters=7567250, revisions=(4980393,useless=2354438), ccks=2905806346, wck=383.434, mem=248M796
390.48/386.21	    decisions=2074676, wrong=1035932, backtracks=22682, failedAssignments=1035210, nogoods=19263
390.48/386.21	    nFilterCalls=15204547, avgTableProportion=0.2588757823564227, avgTableSize=0.5177515647128454
390.48/386.21	    
420.70/416.44	    num=97, depth=37..58, filters=8131975, revisions=(5410292,useless=2547447), ccks=3111985154, wck=413.657, mem=204M402
420.70/416.44	    decisions=2281786, wrong=1139468, backtracks=23845, failedAssignments=1138745, nogoods=19744
420.70/416.44	    nFilterCalls=16458562, avgTableProportion=0.2556511012322948, avgTableSize=0.5113022024645896
420.70/416.44	    
478.22/473.93	    num=98, depth=0..56, filters=9495256, revisions=(6124275,useless=2903080), ccks=3558249045, wck=471.152, mem=200M631
478.22/473.93	    decisions=2510075, wrong=1253591, backtracks=24633, failedAssignments=1252634, nogoods=20494
478.22/473.93	    nFilterCalls=18568995, avgTableProportion=0.2587527219432177, avgTableSize=0.5175054438864354
478.22/473.93	    
536.17/531.84	    num=99, depth=0..60, filters=11178766, revisions=(7289579,useless=3573741), ccks=3959811051, wck=529.063, mem=44M2
536.17/531.84	    decisions=2761103, wrong=1379083, backtracks=25577, failedAssignments=1377912, nogoods=20921
536.17/531.84	    nFilterCalls=22161202, avgTableProportion=0.2567489570285944, avgTableSize=0.5134979140571888
536.17/531.84	    
553.91/549.58	    num=100, depth=31..65, filters=11657891, revisions=(7544058,useless=3654102), ccks=4055970518, wck=546.804, mem=83M449
553.91/549.58	    decisions=3036761, wrong=1516891, backtracks=26196, failedAssignments=1515718, nogoods=21072
553.91/549.58	    nFilterCalls=23397260, avgTableProportion=0.25318079980305386, avgTableSize=0.5063615996061077
553.91/549.58	    
593.22/588.87	    num=101, depth=37..60, filters=12672009, revisions=(8218372,useless=3949401), ccks=4331797774, wck=586.095, mem=94M554
593.22/588.87	    decisions=3340137, wrong=1668558, backtracks=28209, failedAssignments=1667304, nogoods=21374
593.22/588.87	    nFilterCalls=25441826, avgTableProportion=0.24970576011328746, avgTableSize=0.4994115202265749
593.22/588.87	    
615.44/611.03	    num=102, depth=21..83, filters=13021472, revisions=(8637688,useless=4089942), ccks=4495183982, wck=608.245, mem=170M151
615.44/611.03	    decisions=3673672, wrong=1835303, backtracks=29312, failedAssignments=1834049, nogoods=21798
615.44/611.03	    nFilterCalls=25729739, avgTableProportion=0.24828098722649306, avgTableSize=0.4965619744529861
615.44/611.03	    
658.20/653.78	    num=103, depth=34..63, filters=13693117, revisions=(9258180,useless=4310335), ccks=4771038019, wck=650.998, mem=96M982
658.20/653.78	    decisions=4040683, wrong=2018787, backtracks=30305, failedAssignments=2017468, nogoods=22190
658.20/653.78	    nFilterCalls=26824995, avgTableProportion=0.24852649553149964, avgTableSize=0.49705299106299927
658.20/653.78	    
695.91/691.40	    num=104, depth=42..66, filters=15094106, revisions=(10228125,useless=4757010), ccks=5050013949, wck=688.618, mem=152M692
695.91/691.40	    decisions=4444257, wrong=2220549, backtracks=34499, failedAssignments=2219229, nogoods=22668
695.91/691.40	    nFilterCalls=29644737, avgTableProportion=0.2326347169145066, avgTableSize=0.4652694338290132
695.91/691.40	    
758.83/754.31	    num=105, depth=37..57, filters=16149894, revisions=(11068752,useless=5124847), ccks=5466934979, wck=751.53, mem=101M789
758.83/754.31	    decisions=4888171, wrong=2442487, backtracks=35313, failedAssignments=2441167, nogoods=22833
758.83/754.31	    nFilterCalls=31788811, avgTableProportion=0.23565418977136326, avgTableSize=0.47130837954272653
758.83/754.31	    
830.57/826.05	    num=106, depth=0..59, filters=17459196, revisions=(11926010,useless=5533717), ccks=6065250765, wck=823.269, mem=66M662
830.57/826.05	    decisions=5376893, wrong=2686826, backtracks=42881, failedAssignments=2685298, nogoods=23729
830.57/826.05	    nFilterCalls=34665065, avgTableProportion=0.22788373539758255, avgTableSize=0.4557674707951651
830.57/826.05	    
997.51/992.83	    num=107, depth=0..60, filters=20668354, revisions=(13486197,useless=6278558), ccks=7463435980, wck=990.051, mem=54M253
997.51/992.83	    decisions=5914331, wrong=2955530, backtracks=52505, failedAssignments=2953843, nogoods=23998
997.51/992.83	    nFilterCalls=39457410, avgTableProportion=0.22912228653629318, avgTableSize=0.45824457307258637
997.51/992.83	    
1047.23/1042.45	    num=108, depth=30..60, filters=22729078, revisions=(14786206,useless=6867117), ccks=7747410641, wck=1039.665, mem=73M162
1047.23/1042.45	    decisions=6505276, wrong=3250981, backtracks=58021, failedAssignments=3249242, nogoods=24746
1047.23/1042.45	    nFilterCalls=43919804, avgTableProportion=0.22794151130546939, avgTableSize=0.45588302261093877
1047.23/1042.45	    
1126.96/1122.01	    num=109, depth=0..63, filters=25042138, revisions=(15948016,useless=7377432), ccks=8319662759, wck=1119.231, mem=39M697
1126.96/1122.01	    decisions=7156982, wrong=3576814, backtracks=60668, failedAssignments=3574181, nogoods=24967
1126.96/1122.01	    nFilterCalls=48635377, avgTableProportion=0.22658599932308535, avgTableSize=0.4531719986461707
1126.96/1122.01	    
1270.78/1265.56	    num=110, depth=0..44, filters=31798929, revisions=(20234125,useless=10306574), ccks=8802717266, wck=1262.777, mem=36M344
1270.78/1265.56	    decisions=7872223, wrong=3934417, backtracks=62275, failedAssignments=3931614, nogoods=25068
1270.78/1265.56	    nFilterCalls=64227018, avgTableProportion=0.2563541249883344, avgTableSize=0.5127082499766688
1270.78/1265.56	    
1422.79/1417.49	    num=111, depth=30..66, filters=34524795, revisions=(21940498,useless=11122363), ccks=10025313331, wck=1414.712, mem=85M575
1422.79/1417.49	    decisions=8659021, wrong=4327791, backtracks=67746, failedAssignments=4324790, nogoods=25249
1422.79/1417.49	    nFilterCalls=69262712, avgTableProportion=0.25060879799220104, avgTableSize=0.5012175959844021
1422.79/1417.49	    
1462.76/1457.29	o 556
1462.76/1457.30	    num=112, depth=0..202, filters=35596685, revisions=(22810894,useless=11485807), ccks=10240010497, wck=1454.519, mem=87M319
1462.76/1457.30	    decisions=9248235, wrong=4622368, backtracks=71154, failedAssignments=4619356, nogoods=25910, foundSolutions=1, bestBound=556
1462.76/1457.30	    nFilterCalls=71500322, avgTableProportion=0.251112659324807, avgTableSize=0.502225318649614
1462.76/1457.30	    
1639.54/1633.72	    num=113, depth=36..63, filters=40942984, revisions=(25470059,useless=12797014), ccks=11445790959, wck=1630.938, mem=44M118
1639.54/1633.72	    decisions=10202650, wrong=5099550, backtracks=77648, failedAssignments=5095100, nogoods=26043, foundSolutions=1, bestBound=556
1639.54/1633.72	    nFilterCalls=81174272, avgTableProportion=0.24887641739491054, avgTableSize=0.4977528347898211
1639.54/1633.72	    
1640.04/1634.25	    num=114, depth=42..43, filters=40944612, revisions=(25470825,useless=12797292), ccks=11450934430, wck=1631.468, mem=46M604
1640.04/1634.25	    decisions=10202715, wrong=5099561, backtracks=77648, failedAssignments=5095111, nogoods=26054, foundSolutions=1, bestBound=556
1640.04/1634.25	    nFilterCalls=81176400, avgTableProportion=0.24887969902582524, avgTableSize=0.4977593980516505
1640.04/1634.25	    
1640.34/1634.59	    num=115, depth=36..42, filters=40945138, revisions=(25471218,useless=12797354), ccks=11454287002, wck=1631.813, mem=48M743
1640.34/1634.59	    decisions=10202775, wrong=5099573, backtracks=77654, failedAssignments=5095123, nogoods=26055, foundSolutions=1, bestBound=556
1640.34/1634.59	    nFilterCalls=81177215, avgTableProportion=0.2488816227558435, avgTableSize=0.497763245511687
1640.34/1634.59	    
1640.44/1634.60	    num=116, depth=0..0, filters=40945151, revisions=(25471231,useless=12797354), ccks=11454337962, wck=1631.819, mem=48M743
1640.44/1634.60	    decisions=10202801, wrong=5099586, backtracks=77654, failedAssignments=5095136, nogoods=26055, foundSolutions=1, bestBound=556
1640.44/1634.60	    nFilterCalls=81177215, avgTableProportion=0.2488816227558435, avgTableSize=0.497763245511687
1640.44/1634.60	    
1640.74/1635.00	    num=117, depth=0..53, filters=40945986, revisions=(25471780,useless=12797506), ccks=11458244018, wck=1632.222, mem=51M952
1640.74/1635.00	    decisions=10202882, wrong=5099600, backtracks=77654, failedAssignments=5095150, nogoods=26062, foundSolutions=1, bestBound=556
1640.74/1635.00	    nFilterCalls=81178582, avgTableProportion=0.24888327687221734, avgTableSize=0.4977665537444347
1640.74/1635.00	    
1640.85/1635.01	    num=118, depth=0..0, filters=40946002, revisions=(25471796,useless=12797506), ccks=11458302258, wck=1632.229, mem=51M952
1640.85/1635.01	    decisions=10202914, wrong=5099616, backtracks=77654, failedAssignments=5095166, nogoods=26062, foundSolutions=1, bestBound=556
1640.85/1635.01	    nFilterCalls=81178582, avgTableProportion=0.24888327687221734, avgTableSize=0.4977665537444347
1640.85/1635.01	    
1640.96/1635.18	    num=119, depth=0..20, filters=40946388, revisions=(25472067,useless=12797560), ccks=11459908418, wck=1632.396, mem=53M21
1640.96/1635.18	    decisions=10202966, wrong=5099633, backtracks=77656, failedAssignments=5095183, nogoods=26065, foundSolutions=1, bestBound=556
1640.96/1635.18	    nFilterCalls=81179087, avgTableProportion=0.24888463576832295, avgTableSize=0.4977692715366459
1640.96/1635.18	    
1641.45/1635.64	    num=120, depth=42..43, filters=40949414, revisions=(25473286,useless=12798161), ccks=11464297085, wck=1632.863, mem=55M160
1641.45/1635.64	    decisions=10203047, wrong=5099652, backtracks=77656, failedAssignments=5095202, nogoods=26084, foundSolutions=1, bestBound=556
1641.45/1635.64	    nFilterCalls=81182862, avgTableProportion=0.24889172421637462, avgTableSize=0.49778344843274924
1641.45/1635.64	    
1641.86/1636.01	    num=121, depth=0..42, filters=40950082, revisions=(25473719,useless=12798246), ccks=11467860430, wck=1633.229, mem=57M300
1641.86/1636.01	    decisions=10203131, wrong=5099673, backtracks=77656, failedAssignments=5095223, nogoods=26086, foundSolutions=1, bestBound=556
1641.86/1636.01	    nFilterCalls=81183748, avgTableProportion=0.24889363940181722, avgTableSize=0.49778727880363444
1641.86/1636.01	    
1642.25/1636.47	    num=122, depth=40..48, filters=40951221, revisions=(25474459,useless=12798464), ccks=11472342302, wck=1633.69, mem=60M508
1642.25/1636.47	    decisions=10203229, wrong=5099698, backtracks=77665, failedAssignments=5095246, nogoods=26092, foundSolutions=1, bestBound=556
1642.25/1636.47	    nFilterCalls=81185436, avgTableProportion=0.24889600888514044, avgTableSize=0.49779201777028087
1642.25/1636.47	    
1642.45/1636.60	    num=123, depth=13..19, filters=40951534, revisions=(25474726,useless=12798498), ccks=11473619630, wck=1633.822, mem=61M578
1642.45/1636.60	    decisions=10203292, wrong=5099723, backtracks=77671, failedAssignments=5095271, nogoods=26095, foundSolutions=1, bestBound=556
1642.45/1636.60	    nFilterCalls=81185767, avgTableProportion=0.2488969772250843, avgTableSize=0.4977939544501686
1642.45/1636.60	    
1642.86/1637.04	    num=124, depth=43..49, filters=40953512, revisions=(25475734,useless=12799000), ccks=11477741243, wck=1634.256, mem=63M717
1642.86/1637.04	    decisions=10203396, wrong=5099751, backtracks=77671, failedAssignments=5095299, nogoods=26123, foundSolutions=1, bestBound=556
1642.86/1637.04	    nFilterCalls=81188563, avgTableProportion=0.24890235463337368, avgTableSize=0.49780470926674736
1642.86/1637.04	    
1643.35/1637.53	    num=125, depth=42..43, filters=40956241, revisions=(25476998,useless=12799561), ccks=11482443700, wck=1634.751, mem=65M856
1643.35/1637.53	    decisions=10203505, wrong=5099784, backtracks=77673, failedAssignments=5095330, nogoods=26129, foundSolutions=1, bestBound=556
1643.35/1637.53	    nFilterCalls=81192368, avgTableProportion=0.24890436130647156, avgTableSize=0.4978087226129431
1643.35/1637.53	    
1643.75/1637.92	    num=126, depth=42..46, filters=40958491, revisions=(25478002,useless=12799940), ccks=11486107862, wck=1635.135, mem=67M995
1643.75/1637.92	    decisions=10203619, wrong=5099818, backtracks=77673, failedAssignments=5095364, nogoods=26163, foundSolutions=1, bestBound=556
1643.75/1637.92	    nFilterCalls=81195484, avgTableProportion=0.2489056780547056, avgTableSize=0.4978113561094112
1643.75/1637.92	    
1643.86/1638.06	    num=127, depth=9..20, filters=40958933, revisions=(25478347,useless=12799987), ccks=11487503236, wck=1635.281, mem=69M64
1643.86/1638.06	    decisions=10203704, wrong=5099856, backtracks=77684, failedAssignments=5095401, nogoods=26164, foundSolutions=1, bestBound=556
1643.86/1638.06	    nFilterCalls=81195892, avgTableProportion=0.2489068535634783, avgTableSize=0.4978137071269566
1643.86/1638.06	    
1644.28/1638.45	    num=128, depth=48..48, filters=40959837, revisions=(25478957,useless=12800154), ccks=11491195678, wck=1635.665, mem=71M204
1644.28/1638.45	    decisions=10203834, wrong=5099897, backtracks=77684, failedAssignments=5095442, nogoods=26205, foundSolutions=1, bestBound=556
1644.28/1638.45	    nFilterCalls=81197356, avgTableProportion=0.24890863441415506, avgTableSize=0.4978172688283101
1644.28/1638.45	    
1644.78/1638.99	    num=129, depth=42..43, filters=40963586, revisions=(25480653,useless=12800961), ccks=11496303520, wck=1636.214, mem=73M343
1644.78/1638.99	    decisions=10203973, wrong=5099945, backtracks=77687, failedAssignments=5095487, nogoods=26210, foundSolutions=1, bestBound=556
1644.78/1638.99	    nFilterCalls=81202664, avgTableProportion=0.2489109840041701, avgTableSize=0.4978219680083402
1644.78/1638.99	    
1645.18/1639.34	    num=130, depth=43..46, filters=40964473, revisions=(25481292,useless=12801146), ccks=11499633671, wck=1636.562, mem=75M482
1645.18/1639.34	    decisions=10204116, wrong=5099995, backtracks=77690, failedAssignments=5095537, nogoods=26211, foundSolutions=1, bestBound=556
1645.18/1639.34	    nFilterCalls=81204138, avgTableProportion=0.24891175496499945, avgTableSize=0.4978235099299989
1645.18/1639.34	    
1645.28/1639.50	    num=131, depth=8..20, filters=40964968, revisions=(25481700,useless=12801204), ccks=11501098537, wck=1636.716, mem=77M621
1645.28/1639.50	    decisions=10204234, wrong=5100050, backtracks=77702, failedAssignments=5095592, nogoods=26214, foundSolutions=1, bestBound=556
1645.28/1639.50	    nFilterCalls=81204629, avgTableProportion=0.24891315616995183, avgTableSize=0.49782631233990365
1645.28/1639.50	    
1645.68/1639.89	    num=132, depth=47..51, filters=40966417, revisions=(25482584,useless=12801530), ccks=11504891014, wck=1637.112, mem=78M690
1645.68/1639.89	    decisions=10204408, wrong=5100112, backtracks=77704, failedAssignments=5095653, nogoods=26244, foundSolutions=1, bestBound=556
1645.68/1639.89	    nFilterCalls=81207180, avgTableProportion=0.24891252842421077, avgTableSize=0.49782505684842154
1645.68/1639.89	    
1645.88/1640.03	    num=133, depth=2..20, filters=40967043, revisions=(25483074,useless=12801607), ccks=11506207089, wck=1637.251, mem=81M899
1645.88/1640.03	    decisions=10204544, wrong=5100179, backtracks=77722, failedAssignments=5095720, nogoods=26248, foundSolutions=1, bestBound=556
1645.88/1640.03	    nFilterCalls=81207788, avgTableProportion=0.24891424206752188, avgTableSize=0.49782848413504377
1645.88/1640.03	    
1646.28/1640.43	    num=134, depth=47..52, filters=40968884, revisions=(25484281,useless=12802150), ccks=11509933271, wck=1637.648, mem=82M968
1646.28/1640.43	    decisions=10204744, wrong=5100253, backtracks=77723, failedAssignments=5095794, nogoods=26321, foundSolutions=1, bestBound=556
1646.28/1640.43	    nFilterCalls=81211841, avgTableProportion=0.24891378216632226, avgTableSize=0.4978275643326445
1646.28/1640.43	    
1646.48/1640.65	    num=135, depth=0..20, filters=40969689, revisions=(25484915,useless=12802245), ccks=11512029591, wck=1637.869, mem=86M177
1646.48/1640.65	    decisions=10204918, wrong=5100334, backtracks=77745, failedAssignments=5095875, nogoods=26335, foundSolutions=1, bestBound=556
1646.48/1640.65	    nFilterCalls=81212650, avgTableProportion=0.24891604940855888, avgTableSize=0.49783209881711776
1646.48/1640.65	    
1646.99/1641.19	    num=136, depth=42..50, filters=40974287, revisions=(25486910,useless=12803299), ccks=11516958829, wck=1638.408, mem=87M969
1646.99/1641.19	    decisions=10205144, wrong=5100423, backtracks=77746, failedAssignments=5095964, nogoods=26384, foundSolutions=1, bestBound=556
1646.99/1641.19	    nFilterCalls=81218885, avgTableProportion=0.24892362779912577, avgTableSize=0.49784725559825155
1646.99/1641.19	    
1647.18/1641.32	    num=137, depth=0..14, filters=40974871, revisions=(25487415,useless=12803360), ccks=11518171525, wck=1638.545, mem=38M932
1647.18/1641.32	    decisions=10205342, wrong=5100521, backtracks=77767, failedAssignments=5096062, nogoods=26410, foundSolutions=1, bestBound=556
1647.18/1641.32	    nFilterCalls=81219357, avgTableProportion=0.24892493300581042, avgTableSize=0.49784986601162085
1647.18/1641.32	    
1647.68/1641.86	    num=138, depth=42..50, filters=40979450, revisions=(25489465,useless=12804428), ccks=11523080572, wck=1639.081, mem=41M66
1647.68/1641.86	    decisions=10205606, wrong=5100629, backtracks=77768, failedAssignments=5096170, nogoods=26478, foundSolutions=1, bestBound=556
1647.68/1641.86	    nFilterCalls=81225593, avgTableProportion=0.2489313374418824, avgTableSize=0.4978626748837648
1647.68/1641.86	    
1647.99/1642.11	    num=139, depth=0..18, filters=40980401, revisions=(25490139,useless=12804534), ccks=11525310098, wck=1639.333, mem=52M804
1647.99/1642.11	    decisions=10205846, wrong=5100748, backtracks=77802, failedAssignments=5096289, nogoods=26481, foundSolutions=1, bestBound=556
1647.99/1642.11	    nFilterCalls=81226944, avgTableProportion=0.24893454073564555, avgTableSize=0.4978690814712911
1647.99/1642.11	    
1648.40/1642.51	    num=140, depth=44..48, filters=40981569, revisions=(25491023,useless=12804791), ccks=11529104688, wck=1639.729, mem=54M939
1648.40/1642.51	    decisions=10206152, wrong=5100879, backtracks=77806, failedAssignments=5096420, nogoods=26486, foundSolutions=1, bestBound=556
1648.40/1642.51	    nFilterCalls=81228939, avgTableProportion=0.24893394212621686, avgTableSize=0.4978678842524337
1648.40/1642.51	    
1648.60/1642.76	    num=141, depth=0..20, filters=40982638, revisions=(25491915,useless=12804904), ccks=11531495391, wck=1639.982, mem=58M140
1648.60/1642.76	    decisions=10206442, wrong=5101023, backtracks=77838, failedAssignments=5096564, nogoods=26493, foundSolutions=1, bestBound=556
1648.60/1642.76	    nFilterCalls=81229820, avgTableProportion=0.24893643122685732, avgTableSize=0.49787286245371465
1648.60/1642.76	    
1649.01/1643.17	    num=142, depth=45..50, filters=40983910, revisions=(25492896,useless=12805203), ccks=11535361682, wck=1640.387, mem=60M274
1649.01/1643.17	    decisions=10206803, wrong=5101181, backtracks=77843, failedAssignments=5096722, nogoods=26498, foundSolutions=1, bestBound=556
1649.01/1643.17	    nFilterCalls=81232035, avgTableProportion=0.24893544769621984, avgTableSize=0.49787089539243967
1649.01/1643.17	    
1649.60/1643.74	    num=143, depth=0..42, filters=40985700, revisions=(25494125,useless=12805453), ccks=11540686466, wck=1640.955, mem=70M945
1649.60/1643.74	    decisions=10207167, wrong=5101355, backtracks=77891, failedAssignments=5096896, nogoods=26500, foundSolutions=1, bestBound=556
1649.60/1643.74	    nFilterCalls=81234722, avgTableProportion=0.2489404961587731, avgTableSize=0.4978809923175462
1649.60/1643.74	    
1650.40/1644.52	    num=144, depth=0..42, filters=41005855, revisions=(25503950,useless=12811178), ccks=11546705276, wck=1641.735, mem=81M616
1650.40/1644.52	    decisions=10207601, wrong=5101556, backtracks=77905, failedAssignments=5097087, nogoods=26513, foundSolutions=1, bestBound=556
1650.40/1644.52	    nFilterCalls=81264535, avgTableProportion=0.2489712578802057, avgTableSize=0.4979425157604114
1650.40/1644.52	    
1650.80/1644.96	    num=145, depth=42..46, filters=41008912, revisions=(25505357,useless=12811631), ccks=11550794089, wck=1642.182, mem=83M750
1650.80/1644.96	    decisions=10208065, wrong=5101767, backtracks=77909, failedAssignments=5097298, nogoods=26638, foundSolutions=1, bestBound=556
1650.80/1644.96	    nFilterCalls=81268484, avgTableProportion=0.248974799382255, avgTableSize=0.49794959876451
1650.80/1644.96	    
1651.70/1645.81	    num=146, depth=0..43, filters=41012918, revisions=(25507437,useless=12812229), ccks=11558577066, wck=1643.03, mem=44M308
1651.70/1645.81	    decisions=10208572, wrong=5101999, backtracks=77951, failedAssignments=5097530, nogoods=26714, foundSolutions=1, bestBound=556
1651.70/1645.81	    nFilterCalls=81273679, avgTableProportion=0.24898424371806768, avgTableSize=0.49796848743613537
1651.70/1645.81	    
1652.10/1646.24	    num=147, depth=41..46, filters=41014985, revisions=(25508824,useless=12812706), ccks=11562506445, wck=1643.455, mem=46M444
1652.10/1646.24	    decisions=10209123, wrong=5102254, backtracks=77956, failedAssignments=5097785, nogoods=26733, foundSolutions=1, bestBound=556
1652.10/1646.24	    nFilterCalls=81277103, avgTableProportion=0.24898394200885826, avgTableSize=0.4979678840177165
1652.10/1646.24	    
1652.71/1646.82	    num=148, depth=0..43, filters=41017249, revisions=(25510520,useless=12813032), ccks=11567897238, wck=1644.035, mem=54M988
1652.71/1646.82	    decisions=10209727, wrong=5102535, backtracks=77991, failedAssignments=5098066, nogoods=26833, foundSolutions=1, bestBound=556
1652.71/1646.82	    nFilterCalls=81280089, avgTableProportion=0.24898768257992435, avgTableSize=0.4979753651598487
1652.71/1646.82	    
1654.71/1648.86	    num=149, depth=0..43, filters=41042243, revisions=(25519933,useless=12817930), ccks=11586326604, wck=1646.084, mem=59M486
1654.71/1648.86	    decisions=10210396, wrong=5102848, backtracks=78013, failedAssignments=5098375, nogoods=26916, foundSolutions=1, bestBound=556
1654.71/1648.86	    nFilterCalls=81311793, avgTableProportion=0.24903025444291949, avgTableSize=0.49806050888583897
1654.71/1648.86	    
1655.31/1649.47	    num=150, depth=41..45, filters=41047072, revisions=(25522192,useless=12818780), ccks=11591834924, wck=1646.686, mem=62M689
1655.31/1649.47	    decisions=10211117, wrong=5103188, backtracks=78017, failedAssignments=5098715, nogoods=27170, foundSolutions=1, bestBound=556
1655.31/1649.47	    nFilterCalls=81318464, avgTableProportion=0.24903202795370066, avgTableSize=0.4980640559074013
1655.31/1649.47	    
1657.31/1651.47	    num=151, depth=0..32, filters=41051754, revisions=(25525458,useless=12819894), ccks=11610530013, wck=1648.688, mem=49M773
1657.31/1651.47	    decisions=10211898, wrong=5103563, backtracks=78261, failedAssignments=5099089, nogoods=27389, foundSolutions=1, bestBound=556
1657.31/1651.47	    nFilterCalls=81329130, avgTableProportion=0.2490456064143315, avgTableSize=0.498091212828663
1657.31/1651.47	    
1658.21/1652.31	    num=152, depth=42..47, filters=41059249, revisions=(25528564,useless=12821098), ccks=11618221711, wck=1649.53, mem=51M907
1658.21/1652.31	    decisions=10212762, wrong=5103974, backtracks=78266, failedAssignments=5099500, nogoods=27632, foundSolutions=1, bestBound=556
1658.21/1652.31	    nFilterCalls=81338472, avgTableProportion=0.2490542851604097, avgTableSize=0.4981085703208194
1658.21/1652.31	    
1658.71/1652.87	    num=153, depth=0..56, filters=41061926, revisions=(25530695,useless=12821667), ccks=11623487865, wck=1650.091, mem=58M308
1658.71/1652.87	    decisions=10213722, wrong=5104427, backtracks=78302, failedAssignments=5099952, nogoods=27691, foundSolutions=1, bestBound=556
1658.71/1652.87	    nFilterCalls=81342980, avgTableProportion=0.24905580051284082, avgTableSize=0.49811160102568164
1658.71/1652.87	    
1659.81/1653.91	    num=154, depth=0..47, filters=41064837, revisions=(25533444,useless=12822167), ccks=11633384001, wck=1651.129, mem=65M777
1659.81/1653.91	    decisions=10214764, wrong=5104925, backtracks=78375, failedAssignments=5100449, nogoods=27719, foundSolutions=1, bestBound=556
1659.81/1653.91	    nFilterCalls=81345305, avgTableProportion=0.24905830766754147, avgTableSize=0.49811661533508295
1659.81/1653.91	    
1660.71/1654.88	    num=155, depth=42..52, filters=41077974, revisions=(25539550,useless=12825057), ccks=11641973154, wck=1652.102, mem=67M911
1660.71/1654.88	    decisions=10215915, wrong=5105479, backtracks=78391, failedAssignments=5100996, nogoods=27848, foundSolutions=1, bestBound=556
1660.71/1654.88	    nFilterCalls=81364309, avgTableProportion=0.24905391256994514, avgTableSize=0.49810782513989027
1660.71/1654.88	    
1661.31/1655.45	    num=156, depth=0..54, filters=41081066, revisions=(25542088,useless=12825780), ccks=11647227334, wck=1652.668, mem=76M446
1661.31/1655.45	    decisions=10217171, wrong=5106082, backtracks=78429, failedAssignments=5101598, nogoods=27866, foundSolutions=1, bestBound=556
1661.31/1655.45	    nFilterCalls=81370008, avgTableProportion=0.24905342887516982, avgTableSize=0.49810685775033964
1661.31/1655.45	    
1662.21/1656.33	    num=157, depth=0..50, filters=41089187, revisions=(25546413,useless=12827503), ccks=11655191932, wck=1653.554, mem=83M914
1662.21/1656.33	    decisions=10218541, wrong=5106746, backtracks=78468, failedAssignments=5102260, nogoods=27907, foundSolutions=1, bestBound=556
1662.21/1656.33	    nFilterCalls=81380959, avgTableProportion=0.2490592240378981, avgTableSize=0.4981184480757962
1662.21/1656.33	    
1662.82/1656.93	    num=158, depth=0..54, filters=41093024, revisions=(25549527,useless=12828386), ccks=11660654497, wck=1654.149, mem=41M415
1662.82/1656.93	    decisions=10220045, wrong=5107475, backtracks=78510, failedAssignments=5102988, nogoods=27966, foundSolutions=1, bestBound=556
1662.82/1656.93	    nFilterCalls=81388409, avgTableProportion=0.24905627532293942, avgTableSize=0.49811255064587884
1662.82/1656.93	    
1665.03/1659.17	    num=159, depth=18..47, filters=41118341, revisions=(25559249,useless=12833220), ccks=11680653658, wck=1656.394, mem=43M550
1665.03/1659.17	    decisions=10221690, wrong=5108277, backtracks=78518, failedAssignments=5103789, nogoods=28242, foundSolutions=1, bestBound=556
1665.03/1659.17	    nFilterCalls=81421406, avgTableProportion=0.2490954282956008, avgTableSize=0.4981908565912016
1665.03/1659.17	    
1666.43/1660.50	    num=160, depth=0..50, filters=41127831, revisions=(25564304,useless=12835428), ccks=11691544860, wck=1657.725, mem=69M280
1666.43/1660.50	    decisions=10223502, wrong=5109160, backtracks=78586, failedAssignments=5104670, nogoods=28279, foundSolutions=1, bestBound=556
1666.43/1660.50	    nFilterCalls=81439307, avgTableProportion=0.24911854296599062, avgTableSize=0.49823708593198124
1666.43/1660.50	    
1667.53/1661.61	    num=161, depth=0..65, filters=41135509, revisions=(25568664,useless=12836932), ccks=11701895924, wck=1658.833, mem=75M690
1667.53/1661.61	    decisions=10225501, wrong=5110131, backtracks=78644, failedAssignments=5105640, nogoods=28376, foundSolutions=1, bestBound=556
1667.53/1661.61	    nFilterCalls=81450932, avgTableProportion=0.24912097997847343, avgTableSize=0.49824195995694687
1667.53/1661.61	    
1668.43/1662.57	    num=162, depth=43..52, filters=41145226, revisions=(25573569,useless=12838694), ccks=11710320432, wck=1659.785, mem=78M896
1668.43/1662.57	    decisions=10227679, wrong=5111198, backtracks=78653, failedAssignments=5106707, nogoods=28468, foundSolutions=1, bestBound=556
1668.43/1662.57	    nFilterCalls=81465092, avgTableProportion=0.24912081974939645, avgTableSize=0.4982416394987929
1668.43/1662.57	    
1669.43/1663.56	    num=163, depth=0..61, filters=41153147, revisions=(25577471,useless=12840102), ccks=11719405652, wck=1660.78, mem=88M512
1669.43/1663.56	    decisions=10230071, wrong=5112371, backtracks=78704, failedAssignments=5107880, nogoods=28644, foundSolutions=1, bestBound=556
1669.43/1663.56	    nFilterCalls=81479970, avgTableProportion=0.24911284331597078, avgTableSize=0.49822568663194156
1669.43/1663.56	    
1670.24/1664.39	    num=164, depth=44..51, filters=41167906, revisions=(25585683,useless=12844241), ccks=11726356165, wck=1661.614, mem=40M532
1670.24/1664.39	    decisions=10232709, wrong=5113666, backtracks=78731, failedAssignments=5109171, nogoods=28850, foundSolutions=1, bestBound=556
1670.24/1664.39	    nFilterCalls=81508821, avgTableProportion=0.24907941558865143, avgTableSize=0.49815883117730286
1670.24/1664.39	    
1670.95/1665.07	    num=165, depth=0..55, filters=41179332, revisions=(25594014,useless=12848861), ccks=11731681464, wck=1662.289, mem=52M289
1670.95/1665.07	    decisions=10235595, wrong=5115086, backtracks=78750, failedAssignments=5110591, nogoods=29198, foundSolutions=1, bestBound=556
1670.95/1665.07	    nFilterCalls=81535418, avgTableProportion=0.24907250736115685, avgTableSize=0.4981450147223137
1670.95/1665.07	    
1673.15/1667.29	    num=166, depth=42..61, filters=41226328, revisions=(25613394,useless=12858754), ccks=11749853078, wck=1664.506, mem=59M771
1673.15/1667.29	    decisions=10238817, wrong=5116669, backtracks=78780, failedAssignments=5112153, nogoods=29360, foundSolutions=1, bestBound=556
1673.15/1667.29	    nFilterCalls=81602846, avgTableProportion=0.24905698754673336, avgTableSize=0.4981139750934667
1673.15/1667.29	    
1674.15/1668.28	    num=167, depth=0..48, filters=41246218, revisions=(25622108,useless=12861926), ccks=11757062652, wck=1665.502, mem=68M591
1674.15/1668.28	    decisions=10242306, wrong=5118399, backtracks=78815, failedAssignments=5113871, nogoods=29502, foundSolutions=1, bestBound=556
1674.15/1668.28	    nFilterCalls=81632658, avgTableProportion=0.24906671543146372, avgTableSize=0.49813343086292744
1674.15/1668.28	    
1675.35/1669.40	    num=168, depth=0..64, filters=41259350, revisions=(25629705,useless=12864841), ccks=11766961140, wck=1666.624, mem=88M904
1675.35/1669.40	    decisions=10246133, wrong=5120289, backtracks=78896, failedAssignments=5115761, nogoods=29720, foundSolutions=1, bestBound=556
1675.35/1669.40	    nFilterCalls=81660642, avgTableProportion=0.24903094687891383, avgTableSize=0.49806189375782767
1675.35/1669.40	    
1676.76/1670.89	    num=169, depth=42..54, filters=41300873, revisions=(25650079,useless=12874696), ccks=11778585456, wck=1668.113, mem=39M825
1676.76/1670.89	    decisions=10250349, wrong=5122375, backtracks=78924, failedAssignments=5117840, nogoods=30174, foundSolutions=1, bestBound=556
1676.76/1670.89	    nFilterCalls=81727519, avgTableProportion=0.24900998157058946, avgTableSize=0.4980199631411789
1676.76/1670.89	    
1677.97/1672.09	    num=170, depth=33..45, filters=41323884, revisions=(25660233,useless=12878485), ccks=11787259933, wck=1669.311, mem=65M487
1677.97/1672.09	    decisions=10254956, wrong=5124662, backtracks=78936, failedAssignments=5120127, nogoods=30433, foundSolutions=1, bestBound=556
1677.97/1672.09	    nFilterCalls=81759131, avgTableProportion=0.24903961491469376, avgTableSize=0.4980792298293875
1677.97/1672.09	    
1679.37/1673.47	    num=171, depth=0..65, filters=41348259, revisions=(25675420,useless=12886002), ccks=11798946483, wck=1670.686, mem=44M275
1679.37/1673.47	    decisions=10260035, wrong=5127179, backtracks=79052, failedAssignments=5122643, nogoods=30570, foundSolutions=1, bestBound=556
1679.37/1673.47	    nFilterCalls=81803535, avgTableProportion=0.24896807332348167, avgTableSize=0.49793614664696334
1679.37/1673.47	    
1682.67/1676.73	    num=172, depth=42..64, filters=41450437, revisions=(25724653,useless=12916853), ccks=11822636069, wck=1673.95, mem=57M107
1682.67/1676.73	    decisions=10265730, wrong=5129999, backtracks=79132, failedAssignments=5125411, nogoods=30887, foundSolutions=1, bestBound=556
1682.67/1676.73	    nFilterCalls=81966585, avgTableProportion=0.24909232219446498, avgTableSize=0.49818464438892995
1682.67/1676.73	    
1684.08/1678.11	    num=173, depth=42..55, filters=41491144, revisions=(25746934,useless=12926624), ccks=11832758312, wck=1675.333, mem=59M246
1684.08/1678.11	    decisions=10271888, wrong=5133056, backtracks=79168, failedAssignments=5128455, nogoods=31268, foundSolutions=1, bestBound=556
1684.08/1678.11	    nFilterCalls=82032977, avgTableProportion=0.2490622704086431, avgTableSize=0.4981245408172862
1684.08/1678.11	    
1688.59/1682.61	    num=174, depth=24..57, filters=41579207, revisions=(25778647,useless=12941212), ccks=11870558730, wck=1679.834, mem=66M922
1688.59/1682.61	    decisions=10278664, wrong=5136422, backtracks=79296, failedAssignments=5131804, nogoods=31275, foundSolutions=1, bestBound=556
1688.59/1682.61	    nFilterCalls=82145215, avgTableProportion=0.2491675138959707, avgTableSize=0.4983350277919414
1688.59/1682.61	    
1694.49/1688.55	    num=175, depth=42..62, filters=41753631, revisions=(25862126,useless=12991435), ccks=11916703160, wck=1685.766, mem=87M240
1694.49/1688.55	    decisions=10286191, wrong=5140163, backtracks=79385, failedAssignments=5135488, nogoods=31559, foundSolutions=1, bestBound=556
1694.49/1688.55	    nFilterCalls=82411074, avgTableProportion=0.24912804194251856, avgTableSize=0.4982560838850371
1694.49/1688.55	    
1697.20/1691.21	    num=176, depth=42..47, filters=41877948, revisions=(25939927,useless=13034855), ccks=11935974374, wck=1688.427, mem=67M54
1697.20/1691.21	    decisions=10294382, wrong=5144237, backtracks=79497, failedAssignments=5139540, nogoods=31635, foundSolutions=1, bestBound=556
1697.20/1691.21	    nFilterCalls=82689284, avgTableProportion=0.24870349584838586, avgTableSize=0.4974069916967717
1697.20/1691.21	    
1698.90/1692.99	    num=177, depth=42..60, filters=41929121, revisions=(25971717,useless=13053422), ccks=11948666887, wck=1690.213, mem=74M540
1698.90/1692.99	    decisions=10303352, wrong=5148700, backtracks=79540, failedAssignments=5143997, nogoods=32110, foundSolutions=1, bestBound=556
1698.90/1692.99	    nFilterCalls=82787849, avgTableProportion=0.248686350094686, avgTableSize=0.497372700189372
1698.90/1692.99	    
1707.81/1701.82	    num=178, depth=0..49, filters=42038156, revisions=(26006524,useless=13066730), ccks=12025299511, wck=1699.038, mem=77M914
1707.81/1701.82	    decisions=10313187, wrong=5153603, backtracks=79560, failedAssignments=5148900, nogoods=32129, foundSolutions=1, bestBound=556
1707.81/1701.82	    nFilterCalls=82915809, avgTableProportion=0.2488299667919781, avgTableSize=0.4976599335839562
1707.81/1701.82	    
1715.92/1709.93	    num=179, depth=0..59, filters=42269992, revisions=(26142839,useless=13147915), ccks=12088008671, wck=1707.149, mem=49M5
1715.92/1709.93	    decisions=10324226, wrong=5159101, backtracks=79776, failedAssignments=5154294, nogoods=32473, foundSolutions=1, bestBound=556
1715.92/1709.93	    nFilterCalls=83413957, avgTableProportion=0.24827801898907637, avgTableSize=0.49655603797815273
1715.92/1709.93	    
1719.33/1713.36	    num=180, depth=0..47, filters=42341577, revisions=(26187505,useless=13171828), ccks=12112175926, wck=1710.576, mem=60M942
1719.33/1713.36	    decisions=10336123, wrong=5165034, backtracks=79902, failedAssignments=5160227, nogoods=32877, foundSolutions=1, bestBound=556
1719.33/1713.36	    nFilterCalls=83568803, avgTableProportion=0.24843671627078348, avgTableSize=0.49687343254156696
1719.33/1713.36	    
1721.64/1715.66	    num=181, depth=0..59, filters=42438917, revisions=(26250173,useless=13211298), ccks=12126483065, wck=1712.876, mem=67M359
1721.64/1715.66	    decisions=10349224, wrong=5171560, backtracks=80064, failedAssignments=5166753, nogoods=33056, foundSolutions=1, bestBound=556
1721.64/1715.66	    nFilterCalls=83789239, avgTableProportion=0.24831077651868874, avgTableSize=0.4966215530373775
1721.64/1715.66	    
1730.54/1724.59	    num=182, depth=40..50, filters=42666794, revisions=(26363029,useless=13270574), ccks=12199684107, wck=1721.805, mem=52M542
1730.54/1724.59	    decisions=10363837, wrong=5178846, backtracks=80311, failedAssignments=5173932, nogoods=33482, foundSolutions=1, bestBound=556
1730.54/1724.59	    nFilterCalls=84142324, avgTableProportion=0.2481346486222558, avgTableSize=0.4962692972445116
1730.54/1724.59	    
1741.37/1735.37	    num=183, depth=0..48, filters=43005523, revisions=(26509633,useless=13360770), ccks=12272122197, wck=1732.585, mem=87M918
1741.37/1735.37	    decisions=10380084, wrong=5186949, backtracks=80562, failedAssignments=5181829, nogoods=33630, foundSolutions=1, bestBound=556
1741.37/1735.37	    nFilterCalls=84796904, avgTableProportion=0.2485094561942969, avgTableSize=0.4970189123885938
1741.37/1735.37	    
1742.88/1736.84	    num=184, depth=25..60, filters=43036239, revisions=(26538252,useless=13371214), ccks=12282411761, wck=1734.058, mem=40M949
1742.88/1736.84	    decisions=10397510, wrong=5195645, backtracks=80650, failedAssignments=5190516, nogoods=33730, foundSolutions=1, bestBound=556
1742.88/1736.84	    nFilterCalls=84859207, avgTableProportion=0.24845817849794424, avgTableSize=0.4969163569958885
1742.88/1736.84	    
1754.48/1748.48	    num=185, depth=42..49, filters=43426518, revisions=(26744210,useless=13491161), ccks=12372211696, wck=1745.698, mem=43M96
1754.48/1748.48	    decisions=10416974, wrong=5205355, backtracks=80892, failedAssignments=5200071, nogoods=34146, foundSolutions=1, bestBound=556
1754.48/1748.48	    nFilterCalls=85569361, avgTableProportion=0.24782044358143565, avgTableSize=0.4956408871628713
1754.48/1748.48	    
1765.39/1759.31	    num=186, depth=24..58, filters=43715561, revisions=(26876799,useless=13556141), ccks=12456693519, wck=1756.531, mem=67M865
1765.39/1759.31	    decisions=10438358, wrong=5216023, backtracks=81260, failedAssignments=5210582, nogoods=34587, foundSolutions=1, bestBound=556
1765.39/1759.31	    nFilterCalls=86081137, avgTableProportion=0.24748685649911897, avgTableSize=0.49497371299823795
1765.39/1759.31	    
1778.51/1772.42	    num=187, depth=42..51, filters=44063919, revisions=(27066657,useless=13659915), ccks=12549363433, wck=1769.642, mem=55M137
1778.51/1772.42	    decisions=10462031, wrong=5227838, backtracks=81523, failedAssignments=5222144, nogoods=34910, foundSolutions=1, bestBound=556
1778.51/1772.42	    nFilterCalls=86796254, avgTableProportion=0.2472616502550905, avgTableSize=0.494523300510181
1778.51/1772.42	    
1788.94/1782.84	    num=188, depth=0..52, filters=44325746, revisions=(27179078,useless=13707946), ccks=12632864638, wck=1780.059, mem=77M760
1788.94/1782.84	    decisions=10487536, wrong=5240570, backtracks=81773, failedAssignments=5234862, nogoods=34997, foundSolutions=1, bestBound=556
1788.94/1782.84	    nFilterCalls=87193163, avgTableProportion=0.2471703773379571, avgTableSize=0.4943407546759142
1788.94/1782.84	    
1796.86/1790.75	    num=189, depth=29..55, filters=44539485, revisions=(27284284,useless=13760047), ccks=12685580615, wck=1787.968, mem=87M427
1796.86/1790.75	    decisions=10515564, wrong=5254569, backtracks=81864, failedAssignments=5248852, nogoods=35498, foundSolutions=1, bestBound=556
1796.86/1790.75	    nFilterCalls=87592623, avgTableProportion=0.24751199082141884, avgTableSize=0.4950239816428377
1796.86/1790.75	    
1804.17/1798.07	    num=190, depth=0..59, filters=44697451, revisions=(27359410,useless=13789482), ccks=12742077617, wck=1795.286, mem=56M511
1804.17/1798.07	    decisions=10546385, wrong=5269958, backtracks=81979, failedAssignments=5264241, nogoods=35750, foundSolutions=1, bestBound=556
1804.17/1798.07	    nFilterCalls=87816961, avgTableProportion=0.24745079711879348, avgTableSize=0.49490159423758695
1804.17/1798.07	    
1806.59/1800.44	    num=191, depth=0..64, filters=44750570, revisions=(27391092,useless=13798315), ccks=12755716881, wck=1797.663, mem=53M443
1806.59/1800.44	    decisions=10580276, wrong=5286886, backtracks=82352, failedAssignments=5281169, nogoods=35903, foundSolutions=1, bestBound=556
1806.59/1800.44	    nFilterCalls=87961269, avgTableProportion=0.24739269621041962, avgTableSize=0.49478539242083924
1806.59/1800.44	    
1816.22/1810.10	    num=192, depth=0..58, filters=44954739, revisions=(27513061,useless=13859513), ccks=12830225420, wck=1807.324, mem=79M145
1816.22/1810.10	    decisions=10617784, wrong=5305618, backtracks=82723, failedAssignments=5299790, nogoods=36354, foundSolutions=1, bestBound=556
1816.22/1810.10	    nFilterCalls=88378034, avgTableProportion=0.2471322229231757, avgTableSize=0.4942644458463514
1816.22/1810.10	    
1823.93/1817.78	    num=193, depth=0..57, filters=45084315, revisions=(27607373,useless=13901808), ccks=12890636728, wck=1815.005, mem=38M699
1823.93/1817.78	    decisions=10658827, wrong=5326122, backtracks=83478, failedAssignments=5320274, nogoods=36542, foundSolutions=1, bestBound=556
1823.93/1817.78	    nFilterCalls=88631103, avgTableProportion=0.2470710253938733, avgTableSize=0.4941420507877466
1823.93/1817.78	    
1936.99/1930.77	    num=194, depth=34..43, filters=47037392, revisions=(28295757,useless=14302213), ccks=13836175815, wck=1927.99, mem=76M206
1936.99/1930.77	    decisions=10704933, wrong=5349158, backtracks=83989, failedAssignments=5342806, nogoods=36623, foundSolutions=1, bestBound=556
1936.99/1930.77	    nFilterCalls=91742306, avgTableProportion=0.24948376052374355, avgTableSize=0.4989675210474871
1936.99/1930.77	    
1941.11/1934.81	    num=195, depth=0..66, filters=47143499, revisions=(28355142,useless=14325209), ccks=13862565082, wck=1932.031, mem=52M726
1941.11/1934.81	    decisions=10754570, wrong=5373957, backtracks=84204, failedAssignments=5367591, nogoods=36704, foundSolutions=1, bestBound=556
1941.11/1934.81	    nFilterCalls=91979271, avgTableProportion=0.24938366276027563, avgTableSize=0.49876732552055125
1941.11/1934.81	    
1945.95/1939.60	    num=196, depth=0..57, filters=47278637, revisions=(28463380,useless=14385958), ccks=13892981046, wck=1936.819, mem=52M767
1945.95/1939.60	    decisions=10809170, wrong=5401240, backtracks=84811, failedAssignments=5394855, nogoods=37188, foundSolutions=1, bestBound=556
1945.95/1939.60	    nFilterCalls=92315346, avgTableProportion=0.24920788359499838, avgTableSize=0.49841576718999675
1945.95/1939.60	    
1961.35/1955.04	    num=197, depth=41..45, filters=47569908, revisions=(28596550,useless=14437408), ccks=14010857808, wck=1952.259, mem=67M740
1961.35/1955.04	    decisions=10869200, wrong=5431234, backtracks=85086, failedAssignments=5424845, nogoods=37250, foundSolutions=1, bestBound=556
1961.35/1955.04	    nFilterCalls=92764652, avgTableProportion=0.24979119201568287, avgTableSize=0.49958238403136573
1961.35/1955.04	    
2005.90/1999.56	    num=198, depth=0..47, filters=49319385, revisions=(29499750,useless=15109749), ccks=14277830493, wck=1996.777, mem=77M505
2005.90/1999.56	    decisions=10937074, wrong=5465149, backtracks=86166, failedAssignments=5457834, nogoods=37488, foundSolutions=1, bestBound=556
2005.90/1999.56	    nFilterCalls=95821156, avgTableProportion=0.2518787448149759, avgTableSize=0.5037574896299518
2005.90/1999.56	    
2011.13/2004.79	    num=199, depth=21..68, filters=49467464, revisions=(29599756,useless=15144298), ccks=14306070726, wck=2002.006, mem=54M49
2011.13/2004.79	    decisions=11009700, wrong=5501438, backtracks=86371, failedAssignments=5494122, nogoods=37603, foundSolutions=1, bestBound=556
2011.13/2004.79	    nFilterCalls=96122070, avgTableProportion=0.25192111447454263, avgTableSize=0.5038422289490853
2011.13/2004.79	    
2042.63/2036.23	    num=200, depth=42..57, filters=50625184, revisions=(30296623,useless=15598607), ccks=14510229700, wck=2033.449, mem=79M751
2042.63/2036.23	    decisions=11089878, wrong=5541505, backtracks=86821, failedAssignments=5534039, nogoods=37841, foundSolutions=1, bestBound=556
2042.63/2036.23	    nFilterCalls=98568648, avgTableProportion=0.25149695164734326, avgTableSize=0.5029939032946865
2042.63/2036.23	    
2050.54/2044.11	    num=201, depth=43..63, filters=50848236, revisions=(30464200,useless=15667605), ccks=14558208831, wck=2041.328, mem=89M377
2050.54/2044.11	    decisions=11177801, wrong=5585444, backtracks=87028, failedAssignments=5577948, nogoods=38044, foundSolutions=1, bestBound=556
2050.54/2044.11	    nFilterCalls=98994833, avgTableProportion=0.2511088331246541, avgTableSize=0.5022176662493082
2050.54/2044.11	    
2073.84/2067.36	    num=202, depth=17..60, filters=51618119, revisions=(30869399,useless=15867788), ccks=14713587640, wck=2064.584, mem=64M916
2073.84/2067.36	    decisions=11274782, wrong=5633914, backtracks=88098, failedAssignments=5626248, nogoods=38270, foundSolutions=1, bestBound=556
2073.84/2067.36	    nFilterCalls=100405478, avgTableProportion=0.2513643777483934, avgTableSize=0.5027287554967868
2073.84/2067.36	    
2088.64/2082.17	    num=203, depth=42..60, filters=51929539, revisions=(31085718,useless=15949979), ccks=14816282031, wck=2079.393, mem=82M29
2088.64/2082.17	    decisions=11381108, wrong=5687055, backtracks=88285, failedAssignments=5679378, nogoods=38603, foundSolutions=1, bestBound=556
2088.64/2082.17	    nFilterCalls=100920244, avgTableProportion=0.25109031147407845, avgTableSize=0.5021806229481569
2088.64/2082.17	    
2109.76/2103.15	    num=204, depth=29..56, filters=52536848, revisions=(31429030,useless=16131979), ccks=14942954545, wck=2100.365, mem=60M786
2109.76/2103.15	    decisions=11498060, wrong=5745516, backtracks=88588, failedAssignments=5737821, nogoods=38741, foundSolutions=1, bestBound=556
2109.76/2103.15	    nFilterCalls=102509376, avgTableProportion=0.25160736028673125, avgTableSize=0.5032147205734625
2109.76/2103.15	    
2171.26/2164.53	    num=205, depth=0..61, filters=54305127, revisions=(32168375,useless=16524457), ccks=15394623805, wck=2161.754, mem=77M939
2171.26/2164.53	    decisions=11627910, wrong=5810421, backtracks=90303, failedAssignments=5802108, nogoods=39062, foundSolutions=1, bestBound=556
2171.26/2164.53	    nFilterCalls=105677871, avgTableProportion=0.25256737051411643, avgTableSize=0.5051347410282329
2171.26/2164.53	    
2186.96/2180.25	    num=206, depth=42..61, filters=54629041, revisions=(32424862,useless=16624759), ccks=15500084113, wck=2177.471, mem=45M952
2186.96/2180.25	    decisions=11769387, wrong=5881138, backtracks=90618, failedAssignments=5872824, nogoods=39179, foundSolutions=1, bestBound=556
2186.96/2180.25	    nFilterCalls=106274329, avgTableProportion=0.2518699882828712, avgTableSize=0.5037399765657424
2186.96/2180.25	    
2215.68/2208.97	    num=207, depth=0..60, filters=55310690, revisions=(32935546,useless=16936734), ccks=15679827866, wck=2206.19, mem=54M541
2215.68/2208.97	    decisions=11925011, wrong=5958930, backtracks=91087, failedAssignments=5950611, nogoods=39225, foundSolutions=1, bestBound=556
2215.68/2208.97	    nFilterCalls=107693732, avgTableProportion=0.2527535075114678, avgTableSize=0.5055070150229356
2215.68/2208.97	    
2314.71/2307.95	    num=208, depth=40..54, filters=58117468, revisions=(34209140,useless=17645043), ccks=16431003726, wck=2305.17, mem=92M7
2314.71/2307.95	    decisions=12098135, wrong=6045468, backtracks=92576, failedAssignments=6036177, nogoods=39630, foundSolutions=1, bestBound=556
2314.71/2307.95	    nFilterCalls=112429401, avgTableProportion=0.2534563623620124, avgTableSize=0.5069127247240248
2314.71/2307.95	    
2345.27/2338.38	    num=209, depth=20..60, filters=58794535, revisions=(34633381,useless=17850240), ccks=16624479014, wck=2335.6, mem=54M713
2345.27/2338.38	    decisions=12286443, wrong=6139601, backtracks=96413, failedAssignments=6130300, nogoods=40140, foundSolutions=1, bestBound=556
2345.27/2338.38	    nFilterCalls=114069904, avgTableProportion=0.25302296213030917, avgTableSize=0.5060459242606183
2345.27/2338.38	    
2413.01/2406.09	    num=210, depth=37..52, filters=60003349, revisions=(35226222,useless=18117207), ccks=17192485502, wck=2403.309, mem=63M400
2413.01/2406.09	    decisions=12494352, wrong=6243536, backtracks=98606, failedAssignments=6233835, nogoods=40291, foundSolutions=1, bestBound=556
2413.01/2406.09	    nFilterCalls=115942993, avgTableProportion=0.2525555468453363, avgTableSize=0.5051110936906726
2413.01/2406.09	    
2502.82/2495.70	    num=211, depth=40..59, filters=62369661, revisions=(36369873,useless=18677689), ccks=17870035626, wck=2492.922, mem=61M318
2502.82/2495.70	    decisions=12722716, wrong=6357696, backtracks=101070, failedAssignments=6347724, nogoods=40589, foundSolutions=1, bestBound=556
2502.82/2495.70	    nFilterCalls=119684533, avgTableProportion=0.2540535250281672, avgTableSize=0.5081070500563344
2502.82/2495.70	    
2520.04/2512.80	
2520.04/2512.80	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>
2520.04/2512.80	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 (9771 MiB free)
  memory of node 1: 16384 MiB (11661 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390925-1568380515/watcher-4390925-1568380515 -o /tmp/evaluation-result-4390925-1568380515/solver-4390925-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568380475-2849 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390925-1568380515.xml -cm 

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

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

solver pid=2877, runsolver pid=2869

[startup+0.100141 s]*
/proc/loadavg: 0.00 0.01 0.05 2/200 2879
/proc/meminfo: memFree=21947412/32770624 swapFree=66999268/67108860
[pid=2877] ppid=2869 vsize=10648 memory=688 CPUtime=0 cores=1,3,5,7
/proc/2877/stat : 2877 (java) D 2869 2877 2817 0 -1 1077944320 320 0 0 0 0 0 0 0 20 0 1 0 413990012 10903552 172 33554432000 4194304 4196468 140723356295888 140723356278504 140648695706997 0 0 4096 0 18446744072101576228 0 0 17 3 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
/proc/2877/statm: 2662 172 139 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 10648 KiB
Current children cumulated memory: 688 KiB

[startup+0.209542 s]*
/proc/loadavg: 0.00 0.01 0.05 2/202 2881
/proc/meminfo: memFree=21945088/32770624 swapFree=66999268/67108860
[pid=2877] ppid=2869 vsize=111596 memory=5604 CPUtime=0 cores=1,3,5,7
/proc/2877/stat : 2877 (java) S 2869 2877 2817 0 -1 1077944320 1724 0 0 0 0 0 0 0 20 0 2 0 413990012 114274304 1401 33554432000 4194304 4196468 140723356295888 140723356278432 140648703028983 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
/proc/2877/statm: 27899 1401 1062 1 0 16810 0
[pid=2877/tid=2881] ppid=2869 vsize=111596 memory=7022364594140610616 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2881/stat : 2881 (java) D 2869 2877 2817 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 413990024 114274304 1401 33554432000 4194304 4196468 140723356295888 140648707268840 140648695706997 0 4 0 16784584 18446744072101576228 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5604 KiB

[startup+0.309637 s]*
/proc/loadavg: 0.00 0.01 0.05 2/216 2895
/proc/meminfo: memFree=21924336/32770624 swapFree=66999268/67108860
[pid=2877] ppid=2869 vsize=10260324 memory=20124 CPUtime=0.03 cores=1,3,5,7
/proc/2877/stat : 2877 (java) S 2869 2877 2817 0 -1 1077944320 3941 0 0 0 3 0 0 0 20 0 9 0 413990012 10506571776 5031 33554432000 4194304 4196468 140723356295888 140723356278432 140648703028983 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
/proc/2877/statm: 2565081 5031 2156 1 0 2527622 0
[pid=2877/tid=2881] ppid=2869 vsize=10260324 memory=7022364594140610616 CPUtime=0.03 cores=1,3,5,7
/proc/2877/task/2881/stat : 2881 (java) D 2869 2877 2817 0 -1 1077944384 2587 0 0 0 3 0 0 0 20 0 9 0 413990024 10506571776 5031 33554432000 4194304 4196468 140723356295888 140648707264296 140648695706997 0 4 0 16800971 18446744072101576228 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2882] ppid=2869 vsize=10260324 memory=343 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2882/stat : 2882 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413990037 10506571776 5031 33554432000 4194304 4196468 140723356295888 140648639719952 140648703039189 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2883] ppid=2869 vsize=10260324 memory=3545653330244056736 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2883/stat : 2883 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413990037 10506571776 5031 33554432000 4194304 4196468 140723356295888 140648638667408 140648703039189 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2884] ppid=2869 vsize=10260324 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2884/stat : 2884 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413990037 10506571776 5031 33554432000 4194304 4196468 140723356295888 140648637614352 140648703039189 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2885] ppid=2869 vsize=10260324 memory=3472328296160571439 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2885/stat : 2885 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413990037 10506571776 5031 33554432000 4194304 4196468 140723356295888 140648306829712 140648703039189 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2890] ppid=2869 vsize=10260324 memory=8389912700675892463 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2890/stat : 2890 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413990040 10506571776 5031 33554432000 4194304 4196468 140723356295888 140647940270832 140648703040130 0 0 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2892] ppid=2869 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2892/stat : 2892 (java) S 2869 2877 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 413990040 10506571776 5031 33554432000 4194304 4196468 140723356295888 140647939217056 140648703039189 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2894] ppid=2869 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2894/stat : 2894 (java) S 2869 2877 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 413990040 10506571776 5031 33554432000 4194304 4196468 140723356295888 140647938163952 140648703039189 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 20124 KiB

[startup+0.704031 s]
/proc/loadavg: 0.00 0.01 0.05 5/228 2907
/proc/meminfo: memFree=21909180/32770624 swapFree=66999268/67108860
[pid=2877] ppid=2869 vsize=10659884 memory=40600 CPUtime=0.5 cores=1,3,5,7
/proc/2877/stat : 2877 (java) S 2869 2877 2817 0 -1 1077944320 9030 0 0 0 47 3 0 0 20 0 15 0 413990012 10915721216 10150 33554432000 4194304 4196468 140723356295888 140723356278432 140648703028983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
/proc/2877/statm: 2664971 10150 3002 1 0 2627468 0
[pid=2877/tid=2881] ppid=2869 vsize=10659884 memory=24842090845841 CPUtime=0.31 cores=1,3,5,7
/proc/2877/task/2881/stat : 2881 (java) R 2869 2877 2817 0 -1 4202560 5935 0 0 0 29 2 0 0 20 0 15 0 413990024 10915721216 10150 33554432000 4194304 4196468 140723356295888 140648707260800 140648703050909 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2882] ppid=2869 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2882/stat : 2882 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413990037 10915721216 10150 33554432000 4194304 4196468 140723356295888 140648639719952 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2883] ppid=2869 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2883/stat : 2883 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413990037 10915721216 10150 33554432000 4194304 4196468 140723356295888 140648638667408 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2884] ppid=2869 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2884/stat : 2884 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413990037 10915721216 10150 33554432000 4194304 4196468 140723356295888 140648637614352 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2885] ppid=2869 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2885/stat : 2885 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413990037 10915721216 10150 33554432000 4194304 4196468 140723356295888 140648306829712 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2890] ppid=2869 vsize=10659884 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2890/stat : 2890 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413990040 10915721216 10150 33554432000 4194304 4196468 140723356295888 140647940270832 140648703040130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2892] ppid=2869 vsize=10659884 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2892/stat : 2892 (java) S 2869 2877 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413990040 10915721216 10150 33554432000 4194304 4196468 140723356295888 140647939217056 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2894] ppid=2869 vsize=10659884 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2894/stat : 2894 (java) S 2869 2877 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413990040 10915721216 10150 33554432000 4194304 4196468 140723356295888 140647938163952 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2901] ppid=2869 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2901/stat : 2901 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413990050 10915721216 10150 33554432000 4194304 4196468 140723356295888 140647937112528 140648703047579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2902] ppid=2869 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2877/task/2902/stat : 2902 (java) R 2869 2877 2817 0 -1 1077944384 750 0 0 0 3 0 0 0 20 0 15 0 413990050 10915721216 10150 33554432000 4194304 4196468 140723356295888 140647936059632 140648703040130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2903] ppid=2869 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2877/task/2903/stat : 2903 (java) S 2869 2877 2817 0 -1 1077944384 310 0 0 0 4 0 0 0 20 0 15 0 413990050 10915721216 10150 33554432000 4194304 4196468 140723356295888 140647935007088 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2904] ppid=2869 vsize=10659884 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/2877/task/2904/stat : 2904 (java) R 2869 2877 2817 0 -1 4202560 674 0 0 0 8 0 0 0 20 0 15 0 413990050 10915721216 10150 33554432000 4194304 4196468 140723356295888 140647933954032 140648703050330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2905] ppid=2869 vsize=10659884 memory=280872204894448 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2905/stat : 2905 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413990050 10915721216 10150 33554432000 4194304 4196468 140723356295888 140647932901728 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2907] ppid=2869 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2907/stat : 2907 (java) S 2869 2877 2817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413990055 10915721216 10150 33554432000 4194304 4196468 140723356295888 140647931849776 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40600 KiB

[startup+1.50079 s]
/proc/loadavg: 0.00 0.01 0.05 5/228 2907
/proc/meminfo: memFree=21859088/32770624 swapFree=66999268/67108860
[pid=2877] ppid=2869 vsize=10663980 memory=67972 CPUtime=1.55 cores=1,3,5,7
/proc/2877/stat : 2877 (java) S 2869 2877 2817 0 -1 1077944320 14472 0 0 0 150 5 0 0 20 0 15 0 413990012 10919915520 16993 33554432000 4194304 4196468 140723356295888 140723356278432 140648703028983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
/proc/2877/statm: 2665995 16993 3083 1 0 2628492 0
[pid=2877/tid=2881] ppid=2869 vsize=10663980 memory=280872204930784 CPUtime=1.09 cores=1,3,5,7
/proc/2877/task/2881/stat : 2881 (java) R 2869 2877 2817 0 -1 4202560 10199 0 0 0 106 3 0 0 20 0 15 0 413990024 10919915520 16993 33554432000 4194304 4196468 140723356295888 140648707256848 140648686221717 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2882] ppid=2869 vsize=10663980 memory=7019467088040311090 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2882/stat : 2882 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413990037 10919915520 16993 33554432000 4194304 4196468 140723356295888 140648639719952 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2883] ppid=2869 vsize=10663980 memory=51420 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2883/stat : 2883 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413990037 10919915520 16993 33554432000 4194304 4196468 140723356295888 140648638667408 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2884] ppid=2869 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2884/stat : 2884 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413990037 10919915520 16993 33554432000 4194304 4196468 140723356295888 140648637614352 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2885] ppid=2869 vsize=10663980 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2885/stat : 2885 (java) S 2869 2877 2817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413990037 10919915520 16993 33554432000 4194304 4196468 140723356295888 140648306829712 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2890] ppid=2869 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2890/stat : 2890 (java) S 2869 2877 2817 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 413990040 10919915520 16993 33554432000 4194304 4196468 140723356295888 140647940270832 140648703040130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2892] ppid=2869 vsize=10663980 memory=140436102692976 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2892/stat : 2892 (java) S 2869 2877 2817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413990040 10919915520 16993 33554432000 4194304 4196468 140723356295888 140647939217056 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2894] ppid=2869 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2894/stat : 2894 (java) S 2869 2877 2817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413990040 10919915520 16993 33554432000 4194304 4196468 140723356295888 140647938163952 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2901] ppid=2869 vsize=10663980 memory=280872205318624 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2901/stat : 2901 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413990050 10919915520 16993 33554432000 4194304 4196468 140723356295888 140647937112528 140648703047579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2902] ppid=2869 vsize=10663980 memory=288230621803970871 CPUtime=0.1 cores=1,3,5,7
/proc/2877/task/2902/stat : 2902 (java) S 2869 2877 2817 0 -1 1077944384 1005 0 0 0 10 0 0 0 20 0 15 0 413990050 10919915520 16993 33554432000 4194304 4196468 140723356295888 140647936059632 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2903] ppid=2869 vsize=10663980 memory=13847495075694836 CPUtime=0.13 cores=1,3,5,7
/proc/2877/task/2903/stat : 2903 (java) S 2869 2877 2817 0 -1 1077944384 857 0 0 0 13 0 0 0 20 0 15 0 413990050 10919915520 16993 33554432000 4194304 4196468 140723356295888 140647935007088 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2904] ppid=2869 vsize=10663980 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/2877/task/2904/stat : 2904 (java) S 2869 2877 2817 0 -1 1077944384 1046 0 0 0 19 0 0 0 20 0 15 0 413990050 10919915520 16993 33554432000 4194304 4196468 140723356295888 140647933954032 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2905] ppid=2869 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2905/stat : 2905 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413990050 10919915520 16993 33554432000 4194304 4196468 140723356295888 140647932901728 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2907] ppid=2869 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2907/stat : 2907 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413990055 10919915520 16993 33554432000 4194304 4196468 140723356295888 140647931849776 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 67972 KiB

[startup+3.11473 s]
/proc/loadavg: 0.40 0.10 0.07 10/230 2909
/proc/meminfo: memFree=21650836/32770624 swapFree=66999268/67108860
[pid=2877] ppid=2869 vsize=10748324 memory=166104 CPUtime=4.74 cores=1,3,5,7
/proc/2877/stat : 2877 (java) S 2869 2877 2817 0 -1 1077944320 24774 0 0 0 463 11 0 0 20 0 16 0 413990012 11006283776 41526 33554432000 4194304 4196468 140723356295888 140723356278432 140648703028983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
/proc/2877/statm: 2687081 41526 3349 1 0 2647217 0
[pid=2877/tid=2881] ppid=2869 vsize=10748324 memory=55 CPUtime=1.84 cores=1,3,5,7
/proc/2877/task/2881/stat : 2881 (java) S 2869 2877 2817 0 -1 1077944384 13183 0 0 0 180 4 0 0 20 0 16 0 413990024 11006283776 41526 33554432000 4194304 4196468 140723356295888 140648707271856 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2882] ppid=2869 vsize=10748324 memory=2129104 CPUtime=0.01 cores=1,3,5,7
/proc/2877/task/2882/stat : 2882 (java) S 2869 2877 2817 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 16 0 413990037 11006283776 41526 33554432000 4194304 4196468 140723356295888 140648639719952 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2883] ppid=2869 vsize=10748324 memory=2140532 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2883/stat : 2883 (java) S 2869 2877 2817 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 413990037 11006283776 41526 33554432000 4194304 4196468 140723356295888 140648638667408 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2884] ppid=2869 vsize=10748324 memory=63988 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2884/stat : 2884 (java) S 2869 2877 2817 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 413990037 11006283776 41526 33554432000 4194304 4196468 140723356295888 140648637614352 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2885] ppid=2869 vsize=10748324 memory=152921572381185 CPUtime=0.01 cores=1,3,5,7
/proc/2877/task/2885/stat : 2885 (java) S 2869 2877 2817 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 413990037 11006283776 41526 33554432000 4194304 4196468 140723356295888 140648306829712 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2890] ppid=2869 vsize=10748324 memory=-2317720213663851332 CPUtime=0.01 cores=1,3,5,7
/proc/2877/task/2890/stat : 2890 (java) S 2869 2877 2817 0 -1 1077944384 603 0 0 0 1 0 0 0 20 0 16 0 413990040 11006283776 41526 33554432000 4194304 4196468 140723356295888 140647940270832 140648703040130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2892] ppid=2869 vsize=10748324 memory=280872205020320 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2892/stat : 2892 (java) S 2869 2877 2817 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 413990040 11006283776 41526 33554432000 4194304 4196468 140723356295888 140647939217120 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2894] ppid=2869 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2894/stat : 2894 (java) S 2869 2877 2817 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 413990040 11006283776 41526 33554432000 4194304 4196468 140723356295888 140647938163968 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2901] ppid=2869 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2901/stat : 2901 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413990050 11006283776 41526 33554432000 4194304 4196468 140723356295888 140647937112528 140648703047579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2902] ppid=2869 vsize=10748324 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/2877/task/2902/stat : 2902 (java) R 2869 2877 2817 0 -1 4202560 2068 0 0 0 67 1 0 0 20 0 16 0 413990050 11006283776 41526 33554432000 4194304 4196468 140723356295888 140647936049440 140648686525763 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2903] ppid=2869 vsize=10748324 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/2877/task/2903/stat : 2903 (java) R 2869 2877 2817 0 -1 4202560 1630 0 0 0 76 0 0 0 20 0 16 0 413990050 11006283776 41526 33554432000 4194304 4196468 140723356295888 140647935007088 140648703050330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2904] ppid=2869 vsize=10748324 memory=46 CPUtime=0.62 cores=1,3,5,7
/proc/2877/task/2904/stat : 2904 (java) S 2869 2877 2817 0 -1 1077944384 2138 0 0 0 62 0 0 0 20 0 16 0 413990050 11006283776 41526 33554432000 4194304 4196468 140723356295888 140647933954032 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2905] ppid=2869 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2905/stat : 2905 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413990050 11006283776 41526 33554432000 4194304 4196468 140723356295888 140647932901728 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2907] ppid=2869 vsize=10748324 memory=280872205068424 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2907/stat : 2907 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413990055 11006283776 41526 33554432000 4194304 4196468 140723356295888 140647931849776 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2908] ppid=2869 vsize=10748324 memory=288230574492221466 CPUtime=0.71 cores=1,3,5,7
/proc/2877/task/2908/stat : 2908 (java) R 2869 2877 2817 0 -1 4202560 3543 0 0 0 70 1 0 0 20 0 16 0 413990247 11006283776 41526 33554432000 4194304 4196468 140723356295888 140647914774432 140648703040918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 166104 KiB

[startup+6.30069 s]
/proc/loadavg: 0.40 0.10 0.07 4/230 2909
/proc/meminfo: memFree=21471288/32770624 swapFree=66999268/67108860
[pid=2877] ppid=2869 vsize=10748324 memory=252176 CPUtime=8.88 cores=1,3,5,7
/proc/2877/stat : 2877 (java) S 2869 2877 2817 0 -1 1077944320 28063 0 0 0 874 14 0 0 20 0 16 0 413990012 11006283776 63044 33554432000 4194304 4196468 140723356295888 140723356278432 140648703028983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
/proc/2877/statm: 2687081 63044 3358 1 0 2647217 0

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

/proc/2877/task/2885/stat : 2885 (java) S 2869 2877 2817 0 -1 1077944384 4251 0 0 0 99 9 0 0 20 0 16 0 413990037 11006283776 84273 33554432000 4194304 4196468 140723356295888 140648306829712 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2890] ppid=2869 vsize=10748324 memory=337092 CPUtime=0.47 cores=1,3,5,7
/proc/2877/task/2890/stat : 2890 (java) S 2869 2877 2817 0 -1 1077944384 4786 0 0 0 42 5 0 0 20 0 16 0 413990040 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647940270832 140648703040130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2892] ppid=2869 vsize=10748324 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2892/stat : 2892 (java) S 2869 2877 2817 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 413990040 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647939217120 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2894] ppid=2869 vsize=10748324 memory=337092 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2894/stat : 2894 (java) S 2869 2877 2817 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 413990040 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647938163968 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2901] ppid=2869 vsize=10748324 memory=337092 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2901/stat : 2901 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413990050 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647937112528 140648703047579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2902] ppid=2869 vsize=10748324 memory=55 CPUtime=1.7 cores=1,3,5,7
/proc/2877/task/2902/stat : 2902 (java) S 2869 2877 2817 0 -1 1077944384 9627 0 0 0 168 2 0 0 20 0 16 0 413990050 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647936059632 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2903] ppid=2869 vsize=10748324 memory=6655300316396806240 CPUtime=1.68 cores=1,3,5,7
/proc/2877/task/2903/stat : 2903 (java) S 2869 2877 2817 0 -1 1077944384 8188 0 0 0 167 1 0 0 20 0 16 0 413990050 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647935007088 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2904] ppid=2869 vsize=10748324 memory=3624 CPUtime=0.79 cores=1,3,5,7
/proc/2877/task/2904/stat : 2904 (java) S 2869 2877 2817 0 -1 1077944384 9894 0 0 0 77 2 0 0 20 0 16 0 413990050 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647933954032 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2905] ppid=2869 vsize=10748324 memory=39000 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2905/stat : 2905 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413990050 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647932901728 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2907] ppid=2869 vsize=10748324 memory=1220 CPUtime=0.5 cores=1,3,5,7
/proc/2877/task/2907/stat : 2907 (java) S 2869 2877 2817 0 -1 1077944384 1382 0 0 0 21 29 0 0 20 0 16 0 413990055 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647931849776 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2908] ppid=2869 vsize=10748324 memory=14004 CPUtime=2377.87 cores=1,3,5,7
/proc/2877/task/2908/stat : 2908 (java) R 2869 2877 2817 0 -1 4202560 20245 0 0 0 237779 8 0 0 20 0 16 0 413990247 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647914782624 140648324782212 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
Current children cumulated CPU time: 2389.29 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 337092 KiB

[startup+2442.3 s]
/proc/loadavg: 1.93 1.88 1.77 3/229 3291
/proc/meminfo: memFree=21128556/32770624 swapFree=66999268/67108860
[pid=2877] ppid=2869 vsize=10748324 memory=337092 CPUtime=2449.33 cores=1,3,5,7
/proc/2877/stat : 2877 (java) S 2869 2877 2817 0 -1 1077944320 88545 0 0 0 244856 77 0 0 20 0 16 0 413990012 11006283776 84273 33554432000 4194304 4196468 140723356295888 140723356278432 140648703028983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
/proc/2877/statm: 2687081 84273 3380 1 0 2647217 0
[pid=2877/tid=2881] ppid=2869 vsize=10748324 memory=337092 CPUtime=1.84 cores=1,3,5,7
/proc/2877/task/2881/stat : 2881 (java) S 2869 2877 2817 0 -1 1077944384 13183 0 0 0 180 4 0 0 20 0 16 0 413990024 11006283776 84273 33554432000 4194304 4196468 140723356295888 140648707271856 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2882] ppid=2869 vsize=10748324 memory=337092 CPUtime=1.08 cores=1,3,5,7
/proc/2877/task/2882/stat : 2882 (java) S 2869 2877 2817 0 -1 1077944384 3813 0 0 0 100 8 0 0 20 0 16 0 413990037 11006283776 84273 33554432000 4194304 4196468 140723356295888 140648639719952 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2883] ppid=2869 vsize=10748324 memory=337092 CPUtime=1.09 cores=1,3,5,7
/proc/2877/task/2883/stat : 2883 (java) S 2869 2877 2817 0 -1 1077944384 6495 0 0 0 100 9 0 0 20 0 16 0 413990037 11006283776 84273 33554432000 4194304 4196468 140723356295888 140648638667408 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2884] ppid=2869 vsize=10748324 memory=337092 CPUtime=1.1 cores=1,3,5,7
/proc/2877/task/2884/stat : 2884 (java) S 2869 2877 2817 0 -1 1077944384 5007 0 0 0 101 9 0 0 20 0 16 0 413990037 11006283776 84273 33554432000 4194304 4196468 140723356295888 140648637614352 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2885] ppid=2869 vsize=10748324 memory=337092 CPUtime=1.09 cores=1,3,5,7
/proc/2877/task/2885/stat : 2885 (java) S 2869 2877 2817 0 -1 1077944384 4251 0 0 0 100 9 0 0 20 0 16 0 413990037 11006283776 84273 33554432000 4194304 4196468 140723356295888 140648306829712 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2890] ppid=2869 vsize=10748324 memory=337092 CPUtime=0.47 cores=1,3,5,7
/proc/2877/task/2890/stat : 2890 (java) S 2869 2877 2817 0 -1 1077944384 4841 0 0 0 42 5 0 0 20 0 16 0 413990040 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647940270832 140648703040130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2892] ppid=2869 vsize=10748324 memory=337092 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2892/stat : 2892 (java) S 2869 2877 2817 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 413990040 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647939217120 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2894] ppid=2869 vsize=10748324 memory=337092 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2894/stat : 2894 (java) S 2869 2877 2817 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 413990040 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647938163968 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2901] ppid=2869 vsize=10748324 memory=337092 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2901/stat : 2901 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413990050 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647937112528 140648703047579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2902] ppid=2869 vsize=10748324 memory=337092 CPUtime=1.7 cores=1,3,5,7
/proc/2877/task/2902/stat : 2902 (java) S 2869 2877 2817 0 -1 1077944384 9629 0 0 0 168 2 0 0 20 0 16 0 413990050 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647936059632 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2903] ppid=2869 vsize=10748324 memory=337092 CPUtime=1.68 cores=1,3,5,7
/proc/2877/task/2903/stat : 2903 (java) S 2869 2877 2817 0 -1 1077944384 8190 0 0 0 167 1 0 0 20 0 16 0 413990050 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647935007088 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2904] ppid=2869 vsize=10748324 memory=337092 CPUtime=0.79 cores=1,3,5,7
/proc/2877/task/2904/stat : 2904 (java) S 2869 2877 2817 0 -1 1077944384 9896 0 0 0 77 2 0 0 20 0 16 0 413990050 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647933954032 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2905] ppid=2869 vsize=10748324 memory=337092 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2905/stat : 2905 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413990050 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647932901728 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2907] ppid=2869 vsize=10748324 memory=337092 CPUtime=0.51 cores=1,3,5,7
/proc/2877/task/2907/stat : 2907 (java) S 2869 2877 2817 0 -1 1077944384 1410 0 0 0 21 30 0 0 20 0 16 0 413990055 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647931849776 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2908] ppid=2869 vsize=10748324 memory=337092 CPUtime=2437.86 cores=1,3,5,7
/proc/2877/task/2908/stat : 2908 (java) R 2869 2877 2817 0 -1 4202560 20426 0 0 0 243778 8 0 0 20 0 16 0 413990247 11006283776 84273 33554432000 4194304 4196468 140723356295888 140647914782624 140648318820287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
Current children cumulated CPU time: 2449.33 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 337092 KiB

[startup+2502.3 s]
/proc/loadavg: 1.85 1.87 1.77 3/229 3297
/proc/meminfo: memFree=21128436/32770624 swapFree=66999268/67108860
[pid=2877] ppid=2869 vsize=10748324 memory=337116 CPUtime=2509.47 cores=1,3,5,7
/proc/2877/stat : 2877 (java) S 2869 2877 2817 0 -1 1077944320 89378 0 0 0 250870 77 0 0 20 0 16 0 413990012 11006283776 84279 33554432000 4194304 4196468 140723356295888 140723356278432 140648703028983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
/proc/2877/statm: 2687081 84279 3380 1 0 2647217 0
[pid=2877/tid=2881] ppid=2869 vsize=10748324 memory=337096 CPUtime=1.84 cores=1,3,5,7
/proc/2877/task/2881/stat : 2881 (java) S 2869 2877 2817 0 -1 1077944384 13183 0 0 0 180 4 0 0 20 0 16 0 413990024 11006283776 84279 33554432000 4194304 4196468 140723356295888 140648707271856 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2882] ppid=2869 vsize=10748324 memory=337096 CPUtime=1.14 cores=1,3,5,7
/proc/2877/task/2882/stat : 2882 (java) S 2869 2877 2817 0 -1 1077944384 3820 0 0 0 105 9 0 0 20 0 16 0 413990037 11006283776 84279 33554432000 4194304 4196468 140723356295888 140648639719952 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2883] ppid=2869 vsize=10748324 memory=337096 CPUtime=1.14 cores=1,3,5,7
/proc/2877/task/2883/stat : 2883 (java) S 2869 2877 2817 0 -1 1077944384 6815 0 0 0 105 9 0 0 20 0 16 0 413990037 11006283776 84279 33554432000 4194304 4196468 140723356295888 140648638667408 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2884] ppid=2869 vsize=10748324 memory=337096 CPUtime=1.16 cores=1,3,5,7
/proc/2877/task/2884/stat : 2884 (java) S 2869 2877 2817 0 -1 1077944384 5036 0 0 0 106 10 0 0 20 0 16 0 413990037 11006283776 84279 33554432000 4194304 4196468 140723356295888 140648637614352 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2885] ppid=2869 vsize=10748324 memory=337116 CPUtime=1.14 cores=1,3,5,7
/proc/2877/task/2885/stat : 2885 (java) S 2869 2877 2817 0 -1 1077944384 4283 0 0 0 105 9 0 0 20 0 16 0 413990037 11006283776 84279 33554432000 4194304 4196468 140723356295888 140648306829712 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2890] ppid=2869 vsize=10748324 memory=337096 CPUtime=0.49 cores=1,3,5,7
/proc/2877/task/2890/stat : 2890 (java) S 2869 2877 2817 0 -1 1077944384 4943 0 0 0 44 5 0 0 20 0 16 0 413990040 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647940270832 140648703040130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2892] ppid=2869 vsize=10748324 memory=337096 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2892/stat : 2892 (java) S 2869 2877 2817 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 413990040 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647939217120 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2894] ppid=2869 vsize=10748324 memory=337096 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2894/stat : 2894 (java) S 2869 2877 2817 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 413990040 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647938163968 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2901] ppid=2869 vsize=10748324 memory=337096 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2901/stat : 2901 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413990050 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647937112528 140648703047579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2902] ppid=2869 vsize=10748324 memory=337096 CPUtime=1.7 cores=1,3,5,7
/proc/2877/task/2902/stat : 2902 (java) S 2869 2877 2817 0 -1 1077944384 9629 0 0 0 168 2 0 0 20 0 16 0 413990050 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647936059632 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2903] ppid=2869 vsize=10748324 memory=337116 CPUtime=1.68 cores=1,3,5,7
/proc/2877/task/2903/stat : 2903 (java) S 2869 2877 2817 0 -1 1077944384 8191 0 0 0 167 1 0 0 20 0 16 0 413990050 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647935007088 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2904] ppid=2869 vsize=10748324 memory=337116 CPUtime=0.79 cores=1,3,5,7
/proc/2877/task/2904/stat : 2904 (java) S 2869 2877 2817 0 -1 1077944384 9896 0 0 0 77 2 0 0 20 0 16 0 413990050 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647933954032 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2905] ppid=2869 vsize=10748324 memory=337096 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2905/stat : 2905 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413990050 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647932901728 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2907] ppid=2869 vsize=10748324 memory=1980 CPUtime=0.53 cores=1,3,5,7
/proc/2877/task/2907/stat : 2907 (java) S 2869 2877 2817 0 -1 1077944384 1417 0 0 0 22 31 0 0 20 0 16 0 413990055 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647931849776 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2908] ppid=2869 vsize=10748324 memory=2540 CPUtime=2497.77 cores=1,3,5,7
/proc/2877/task/2908/stat : 2908 (java) R 2869 2877 2817 0 -1 4202560 20761 0 0 0 249769 8 0 0 20 0 16 0 413990247 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647914782624 140648323843080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
Current children cumulated CPU time: 2509.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 337116 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.8 s]
/proc/loadavg: 1.72 1.84 1.77 3/229 3298
/proc/meminfo: memFree=21128516/32770624 swapFree=66999268/67108860
[pid=2877] ppid=2869 vsize=10748324 memory=337116 CPUtime=2520.04 cores=1,3,5,7
/proc/2877/stat : 2877 (java) S 2869 2877 2817 0 -1 1077944320 89410 0 0 0 251926 78 0 0 20 0 16 0 413990012 11006283776 84279 33554432000 4194304 4196468 140723356295888 140723356278432 140648703028983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
/proc/2877/statm: 2687081 84279 3380 1 0 2647217 0
[pid=2877/tid=2881] ppid=2869 vsize=10748324 memory=1556 CPUtime=1.84 cores=1,3,5,7
/proc/2877/task/2881/stat : 2881 (java) S 2869 2877 2817 0 -1 1077944384 13183 0 0 0 180 4 0 0 20 0 16 0 413990024 11006283776 84279 33554432000 4194304 4196468 140723356295888 140648707271856 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2882] ppid=2869 vsize=10748324 memory=932 CPUtime=1.16 cores=1,3,5,7
/proc/2877/task/2882/stat : 2882 (java) S 2869 2877 2817 0 -1 1077944384 3820 0 0 0 107 9 0 0 20 0 16 0 413990037 11006283776 84279 33554432000 4194304 4196468 140723356295888 140648639719952 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2883] ppid=2869 vsize=10748324 memory=3680 CPUtime=1.16 cores=1,3,5,7
/proc/2877/task/2883/stat : 2883 (java) S 2869 2877 2817 0 -1 1077944384 6816 0 0 0 107 9 0 0 20 0 16 0 413990037 11006283776 84279 33554432000 4194304 4196468 140723356295888 140648638667408 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2884] ppid=2869 vsize=10748324 memory=8112282956445269571 CPUtime=1.18 cores=1,3,5,7
/proc/2877/task/2884/stat : 2884 (java) S 2869 2877 2817 0 -1 1077944384 5037 0 0 0 108 10 0 0 20 0 16 0 413990037 11006283776 84279 33554432000 4194304 4196468 140723356295888 140648637614352 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2885] ppid=2869 vsize=10748324 memory=988 CPUtime=1.16 cores=1,3,5,7
/proc/2877/task/2885/stat : 2885 (java) S 2869 2877 2817 0 -1 1077944384 4283 0 0 0 107 9 0 0 20 0 16 0 413990037 11006283776 84279 33554432000 4194304 4196468 140723356295888 140648306829712 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2890] ppid=2869 vsize=10748324 memory=2016 CPUtime=0.5 cores=1,3,5,7
/proc/2877/task/2890/stat : 2890 (java) S 2869 2877 2817 0 -1 1077944384 4946 0 0 0 45 5 0 0 20 0 16 0 413990040 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647940270832 140648703040130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2892] ppid=2869 vsize=10748324 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2892/stat : 2892 (java) S 2869 2877 2817 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 413990040 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647939217120 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2894] ppid=2869 vsize=10748324 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2894/stat : 2894 (java) S 2869 2877 2817 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 413990040 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647938163968 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2901] ppid=2869 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2901/stat : 2901 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413990050 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647937112528 140648703047579 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2902] ppid=2869 vsize=10748324 memory=39000 CPUtime=1.7 cores=1,3,5,7
/proc/2877/task/2902/stat : 2902 (java) S 2869 2877 2817 0 -1 1077944384 9631 0 0 0 168 2 0 0 20 0 16 0 413990050 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647936059632 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2903] ppid=2869 vsize=10748324 memory=988 CPUtime=1.68 cores=1,3,5,7
/proc/2877/task/2903/stat : 2903 (java) S 2869 2877 2817 0 -1 1077944384 8193 0 0 0 167 1 0 0 20 0 16 0 413990050 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647935007088 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2904] ppid=2869 vsize=10748324 memory=2016 CPUtime=0.79 cores=1,3,5,7
/proc/2877/task/2904/stat : 2904 (java) S 2869 2877 2817 0 -1 1077944384 9898 0 0 0 77 2 0 0 20 0 16 0 413990050 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647933954032 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2905] ppid=2869 vsize=10748324 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/2877/task/2905/stat : 2905 (java) S 2869 2877 2817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413990050 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647932901728 140648703039189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2907] ppid=2869 vsize=10748324 memory=932 CPUtime=0.53 cores=1,3,5,7
/proc/2877/task/2907/stat : 2907 (java) S 2869 2877 2817 0 -1 1077944384 1419 0 0 0 22 31 0 0 20 0 16 0 413990055 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647931849776 140648703040130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
[pid=2877/tid=2908] ppid=2869 vsize=10748324 memory=3680 CPUtime=2508.24 cores=1,3,5,7
/proc/2877/task/2908/stat : 2908 (java) R 2869 2877 2817 0 -1 4202560 20780 0 0 0 250816 8 0 0 20 0 16 0 413990247 11006283776 84279 33554432000 4194304 4196468 140723356295888 140647914782624 140648325195713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140723356300299 140723356300402 140723356300402 140723356303311 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 337116 KiB

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

[startup+2512.81 s]
# the end of solver process 2877 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.28 s, system=0.783145 s

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

Child status: 143
Real time (s): 2512.81
CPU time (s): 2520.06
CPU user time (s): 2519.28
CPU system time (s): 0.783145
CPU usage (%): 100.288
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 630692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.28
system time used= 0.783145
maximum resident set size= 635284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68623
involuntary context switches= 5392


# summary of solver processes directly reported to runsolver:
#   pid: 2877
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2519.28
#   total CPU system time (s): 0.783145

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2896 second user time and 22.6702 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-13 15:14:35
IDJOB=4390925
IDBENCH=115852
IDSOLVER=2832
FILE ID=node140/4390925-1568380515
RUNJOBID= node140-1568380475-2849
PBS_JOBID= 21701829
Free space on /tmp= 56868 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-4390925-1568380515/watcher-4390925-1568380515 -o /tmp/evaluation-result-4390925-1568380515/solver-4390925-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568380475-2849 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390925-1568380515.xml -cm

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

MD5SUM BENCH= 3801e67c429176a130b0cb7922d17a7f
RANDOM SEED=139609832

node140.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.43
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.43
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.43
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.43
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:        21948652 kB
MemAvailable:   31860452 kB
Buffers:          158816 kB
Cached:          9928076 kB
SwapCached:         2752 kB
Active:          1590112 kB
Inactive:        8503744 kB
Active(anon):       3712 kB
Inactive(anon):    44204 kB
Active(file):    1586400 kB
Inactive(file):  8459540 kB
Unevictable:      107708 kB
Mlocked:          107708 kB
SwapTotal:      67108860 kB
SwapFree:       66999268 kB
Dirty:             17180 kB
Writeback:             0 kB
AnonPages:        112864 kB
Mapped:            42704 kB
Shmem:             32244 kB
Slab:             323760 kB
SReclaimable:     294320 kB
SUnreclaim:        29440 kB
KernelStack:        3312 kB
PageTables:         6088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502092 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56852 MiB
End job on node140 at 2019-09-13 15:56:28