Trace number 4391169

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-23OPT96 32.9798 27.2938

DiagnosticValue
WRONG_DECISIONS220807

General information on the benchmark

NameTal/
Tal-03_c18.xml
MD5SUMfb5ba5d4d49d61a1ee3ee3c25fa47163
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark96
Best CPU time to get the best result obtained on this benchmark32.9798
Satisfiable
(Un)Satisfiability was proved
Number of variables404
Number of constraints286
Number of domains10
Minimum domain size1
Maximum domain size42
Distribution of domain sizes[{"size":1,"count":63},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":43},{"size":7,"count":9},{"size":8,"count":28},{"size":42,"count":62}]
Minimum variable degree0
Maximum variable degree13
Distribution of variable degrees[{"degree":0,"count":177},{"degree":1,"count":63},{"degree":2,"count":47},{"degree":3,"count":8},{"degree":4,"count":9},{"degree":5,"count":25},{"degree":6,"count":17},{"degree":7,"count":12},{"degree":8,"count":12},{"degree":9,"count":17},{"degree":10,"count":8},{"degree":11,"count":5},{"degree":12,"count":3},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity10
Distribution of constraint arities[{"arity":1,"count":88},{"arity":2,"count":90},{"arity":3,"count":30},{"arity":4,"count":10},{"arity":5,"count":16},{"arity":6,"count":15},{"arity":7,"count":14},{"arity":8,"count":12},{"arity":9,"count":9},{"arity":10,"count":2}]
Number of extensional constraints49
Number of intensional constraints225
Distribution of constraint types[{"type":"extension","count":49},{"type":"intension","count":225},{"type":"count","count":12}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

2.39/1.88	
2.39/1.88	AbsCon 2 
2.63/1.90	
3.23/2.18	  Instance
3.23/2.18	    name=instance-4391169-1568391607, framework=COP, bounds=-infty..+infty
3.23/2.18	
3.23/2.18	  Loading variables...
3.55/2.21	  Loading constraints...
4.31/2.46	
4.31/2.46	  Domains
4.31/2.46	    nTypes=10, nValues=3294, sizes=[1#63,2#4,3#5,4#6...6#43,7#9,8#28,42#62]
4.31/2.46	  Variables
4.31/2.46	    count=227, degrees=[1#63,2#47,3#8,4#9...10#8,11#5,12#3,13#1]
4.31/2.46	  Objectives
4.31/2.46	    way=min, type=SumSimpleLE
4.31/2.46	  Constraints
4.31/2.46	    count=287, nSpecific=74, arities=[1#88,2#90,3#30,4#10...8#12,9#9,10#2,98#1]
4.31/2.46	    distribution=[CtrExtensionCT-Table#49,CtrIntension#213,EQ#12,ExactlyKVariable#12,SumSimpleLE#1]
4.31/2.46	    tables=[83#1,91#1,124#2,165#3...1427#5,1860#4,2047#3,2111#2], nTotalTuples=36602
4.31/2.46	    nExtStructures=(13,shared:36), nIntStructures=(70,shared:143), nCftStructures=(18,shared:88,unbuilt:181)
4.31/2.46	    wck=0.607, cpu=2.425, mem=63M506
4.31/2.47	  Solver SolverBacktrack being built...
4.31/2.47	
4.31/2.49	
4.31/2.49	  Solver
4.31/2.49	    guaranteedGAC=false
4.31/2.49	    wck=0.642, cpu=2.459, mem=74M149
4.66/2.52	
4.66/2.52	  Preprocessing
4.66/2.52	    filters=200, revisions=(778,useless=712), ccks=22030, nACremovedValues=2384, nTotalRemovedValues=2384, inconcistency=false
4.66/2.52	    wck=0.022, cpu=2.482, mem=74M149
4.66/2.52	
4.66/2.53	    num=0, depth=25..34, filters=777, revisions=(2839,useless=2578), ccks=24703, wck=0.038, mem=74M149
4.66/2.53	    decisions=55, wrong=13, backtracks=4, failedAssignments=10, nogoods=6
4.66/2.53	    nFilterCalls=1135, avgTableProportion=0.9969186306540773, avgTableSize=730.7911894273128
4.66/2.53	    
4.66/2.54	    num=1, depth=6..16, filters=1214, revisions=(4164,useless=3789), ccks=27818, wck=0.046, mem=74M149
4.66/2.54	    decisions=96, wrong=27, backtracks=7, failedAssignments=21, nogoods=12
4.66/2.54	    nFilterCalls=1854, avgTableProportion=0.9968820715781983, avgTableSize=738.8781014023732
4.66/2.54	    
4.66/2.56	    num=2, depth=4..121, filters=1637, revisions=(5571,useless=5110), ccks=29328, wck=0.068, mem=74M149
4.66/2.56	    decisions=133, wrong=41, backtracks=119, failedAssignments=33, nogoods=16
4.66/2.56	    nFilterCalls=2534, avgTableProportion=0.9968261066375357, avgTableSize=736.7671665351223
4.66/2.56	    
4.66/2.57	    num=3, depth=12..131, filters=2059, revisions=(6858,useless=6299), ccks=31032, wck=0.077, mem=74M149
4.66/2.57	    decisions=186, wrong=57, backtracks=230, failedAssignments=46, nogoods=22
4.66/2.57	    nFilterCalls=3287, avgTableProportion=0.9968029480965829, avgTableSize=739.0955278369333
4.66/2.57	    
4.66/2.58	    num=4, depth=3..19, filters=2792, revisions=(9210,useless=8484), ccks=33422, wck=0.085, mem=74M149
4.66/2.58	    decisions=239, wrong=77, backtracks=236, failedAssignments=60, nogoods=31
4.66/2.58	    nFilterCalls=4335, avgTableProportion=0.9966820598418368, avgTableSize=715.1250288350634
4.66/2.58	    
4.66/2.59	    num=5, depth=2..13, filters=3396, revisions=(11098,useless=10204), ccks=36633, wck=0.093, mem=74M149
4.66/2.59	    decisions=291, wrong=99, backtracks=243, failedAssignments=76, nogoods=43
4.66/2.59	    nFilterCalls=5123, avgTableProportion=0.996706957384028, avgTableSize=720.0821784110873
4.66/2.59	    
4.99/2.60	    num=6, depth=1..8, filters=4455, revisions=(14348,useless=13145), ccks=42365, wck=0.104, mem=76M792
4.99/2.60	    decisions=349, wrong=126, backtracks=255, failedAssignments=93, nogoods=48
4.99/2.60	    nFilterCalls=6424, avgTableProportion=0.9967655703336294, avgTableSize=729.29000622665
4.99/2.60	    
4.99/2.62	    num=7, depth=2..168, filters=5034, revisions=(16803,useless=15452), ccks=44689, wck=0.121, mem=76M792
4.99/2.62	    decisions=410, wrong=150, backtracks=1028, failedAssignments=112, nogoods=55
4.99/2.62	    nFilterCalls=8160, avgTableProportion=0.9967998953897854, avgTableSize=741.757475490196
4.99/2.62	    
4.99/2.63	    num=8, depth=9..19, filters=6093, revisions=(20553,useless=18907), ccks=52223, wck=0.132, mem=76M792
4.99/2.63	    decisions=485, wrong=183, backtracks=1043, failedAssignments=133, nogoods=62
4.99/2.63	    nFilterCalls=9594, avgTableProportion=0.9967865959756743, avgTableSize=731.0217844486137
4.99/2.63	    
4.99/2.63	    num=9, depth=5..21, filters=6674, revisions=(22553,useless=20796), ccks=55434, wck=0.139, mem=76M792
4.99/2.63	    decisions=546, wrong=207, backtracks=1049, failedAssignments=156, nogoods=73
4.99/2.63	    nFilterCalls=10774, avgTableProportion=0.9968132756876696, avgTableSize=735.8109337293484
4.99/2.63	    
4.99/2.65	    num=10, depth=2..126, filters=7846, revisions=(26506,useless=24492), ccks=62060, wck=0.153, mem=76M792
4.99/2.65	    decisions=630, wrong=239, backtracks=1181, failedAssignments=181, nogoods=76
4.99/2.65	    nFilterCalls=12675, avgTableProportion=0.9968028991763729, avgTableSize=734.2551479289941
4.99/2.65	    
4.99/2.66	o 156
4.99/2.66	    num=11, depth=0..226, filters=8475, revisions=(28770,useless=26610), ccks=64779, wck=0.168, mem=76M792
4.99/2.66	    decisions=679, wrong=251, backtracks=1184, failedAssignments=191, nogoods=82, foundSolutions=1, bestBound=156
4.99/2.66	    nFilterCalls=13863, avgTableProportion=0.9967906177338376, avgTableSize=730.9952391257303
4.99/2.66	    
4.99/2.67	o 152
4.99/2.67	    num=12, depth=3..226, filters=8815, revisions=(30546,useless=28329), ccks=66414, wck=0.178, mem=76M792
4.99/2.67	    decisions=706, wrong=255, backtracks=1184, failedAssignments=195, nogoods=86, foundSolutions=2, bestBound=152
4.99/2.67	    nFilterCalls=14722, avgTableProportion=0.9967885539910362, avgTableSize=730.6003260426572
4.99/2.67	    
4.99/2.68	o 144
4.99/2.68	    num=13, depth=2..226, filters=9268, revisions=(32415,useless=30151), ccks=67885, wck=0.188, mem=76M792
4.99/2.68	    decisions=749, wrong=267, backtracks=1191, failedAssignments=203, nogoods=89, foundSolutions=3, bestBound=144
4.99/2.68	    nFilterCalls=15859, avgTableProportion=0.9967786708828071, avgTableSize=728.490005675011
4.99/2.68	    
4.99/2.69	    num=14, depth=16..20, filters=9750, revisions=(34105,useless=31796), ccks=69078, wck=0.195, mem=76M792
4.99/2.69	    decisions=797, wrong=283, backtracks=1200, failedAssignments=214, nogoods=90, foundSolutions=3, bestBound=144
4.99/2.69	    nFilterCalls=16733, avgTableProportion=0.9967612647175625, avgTableSize=726.167812107811
4.99/2.69	    
4.99/2.70	    num=15, depth=1..17, filters=10519, revisions=(36676,useless=34140), ccks=72404, wck=0.203, mem=76M792
4.99/2.70	    decisions=848, wrong=305, backtracks=1213, failedAssignments=225, nogoods=95, foundSolutions=3, bestBound=144
4.99/2.70	    nFilterCalls=17748, avgTableProportion=0.9967811347437905, avgTableSize=727.2773270227631
4.99/2.70	    
5.32/2.70	o 140
5.32/2.71	    num=16, depth=3..226, filters=11100, revisions=(38777,useless=36122), ccks=77040, wck=0.212, mem=76M792
5.32/2.71	    decisions=889, wrong=317, backtracks=1216, failedAssignments=234, nogoods=103, foundSolutions=4, bestBound=140
5.32/2.71	    nFilterCalls=18903, avgTableProportion=0.9967718189694477, avgTableSize=726.2755647251759
5.32/2.71	    
5.32/2.72	    num=17, depth=12..18, filters=11941, revisions=(41779,useless=38938), ccks=79905, wck=0.221, mem=76M792
5.32/2.72	    decisions=945, wrong=338, backtracks=1226, failedAssignments=247, nogoods=108, foundSolutions=4, bestBound=140
5.32/2.72	    nFilterCalls=20122, avgTableProportion=0.9967555295862454, avgTableSize=722.2694066196203
5.32/2.72	    
5.32/2.72	o 120
5.32/2.72	    num=18, depth=3..226, filters=12282, revisions=(43143,useless=40234), ccks=81157, wck=0.228, mem=76M792
5.32/2.72	    decisions=967, wrong=342, backtracks=1227, failedAssignments=250, nogoods=111, foundSolutions=5, bestBound=120
5.32/2.72	    nFilterCalls=20946, avgTableProportion=0.9967584964510741, avgTableSize=723.3454597536522
5.32/2.72	    
5.32/2.73	    num=19, depth=12..18, filters=13096, revisions=(45878,useless=42828), ccks=83586, wck=0.235, mem=76M792
5.32/2.73	    decisions=1021, wrong=362, backtracks=1238, failedAssignments=262, nogoods=116, foundSolutions=5, bestBound=120
5.32/2.73	    nFilterCalls=22194, avgTableProportion=0.9967542281611984, avgTableSize=722.9593583851491
5.32/2.73	    
5.32/2.74	    num=20, depth=0..22, filters=13729, revisions=(47983,useless=44762), ccks=86472, wck=0.241, mem=79M434
5.32/2.74	    decisions=1076, wrong=381, backtracks=1249, failedAssignments=273, nogoods=119, foundSolutions=5, bestBound=120
5.32/2.74	    nFilterCalls=23089, avgTableProportion=0.996752581108132, avgTableSize=721.9621897873446
5.32/2.74	    
5.32/2.74	    num=21, depth=6..10, filters=14512, revisions=(50808,useless=47390), ccks=88898, wck=0.248, mem=79M434
5.32/2.74	    decisions=1125, wrong=402, backtracks=1261, failedAssignments=285, nogoods=125, foundSolutions=5, bestBound=120
5.32/2.74	    nFilterCalls=24176, avgTableProportion=0.9967508373229697, avgTableSize=722.1192918596955
5.32/2.74	    
5.32/2.75	    num=22, depth=3..23, filters=15046, revisions=(52570,useless=49073), ccks=90817, wck=0.253, mem=79M434
5.32/2.75	    decisions=1175, wrong=420, backtracks=1270, failedAssignments=298, nogoods=129, foundSolutions=5, bestBound=120
5.32/2.75	    nFilterCalls=25042, avgTableProportion=0.9967463704331682, avgTableSize=721.1543806405239
5.32/2.75	    
5.32/2.76	    num=23, depth=2..20, filters=16055, revisions=(55823,useless=52062), ccks=93871, wck=0.261, mem=79M434
5.32/2.76	    decisions=1242, wrong=447, backtracks=1286, failedAssignments=312, nogoods=133, foundSolutions=5, bestBound=120
5.32/2.76	    nFilterCalls=26410, avgTableProportion=0.996739921130202, avgTableSize=719.1250283983339
5.32/2.76	    
5.32/2.76	o 116
5.32/2.76	    num=24, depth=2..226, filters=16826, revisions=(58528,useless=54556), ccks=97538, wck=0.271, mem=79M434
5.32/2.76	    decisions=1294, wrong=463, backtracks=1297, failedAssignments=318, nogoods=135, foundSolutions=6, bestBound=116
5.32/2.76	    nFilterCalls=27963, avgTableProportion=0.9967472053596691, avgTableSize=719.1030647641526
5.32/2.76	    
5.32/2.77	    num=25, depth=9..16, filters=17548, revisions=(61068,useless=57007), ccks=100158, wck=0.279, mem=79M434
5.32/2.77	    decisions=1359, wrong=491, backtracks=1313, failedAssignments=335, nogoods=137, foundSolutions=6, bestBound=116
5.32/2.77	    nFilterCalls=29303, avgTableProportion=0.9967422762548344, avgTableSize=717.8918540763744
5.32/2.77	    
5.32/2.78	    num=26, depth=4..11, filters=18204, revisions=(63463,useless=59242), ccks=102352, wck=0.289, mem=79M434
5.32/2.78	    decisions=1401, wrong=509, backtracks=1327, failedAssignments=346, nogoods=141, foundSolutions=6, bestBound=116
5.32/2.78	    nFilterCalls=30262, avgTableProportion=0.9967418406627576, avgTableSize=718.0935827109906
5.32/2.78	    
5.32/2.79	    num=27, depth=1..15, filters=18826, revisions=(65295,useless=60887), ccks=104640, wck=0.298, mem=79M434
5.32/2.79	    decisions=1456, wrong=531, backtracks=1340, failedAssignments=358, nogoods=147, foundSolutions=6, bestBound=116
5.32/2.79	    nFilterCalls=31037, avgTableProportion=0.9967404627575336, avgTableSize=717.3706221606469
5.32/2.79	    
5.63/2.80	    num=28, depth=3..11, filters=19670, revisions=(68419,useless=63792), ccks=108376, wck=0.309, mem=79M434
5.63/2.80	    decisions=1500, wrong=550, backtracks=1348, failedAssignments=371, nogoods=151, foundSolutions=6, bestBound=116
5.63/2.80	    nFilterCalls=32198, avgTableProportion=0.9967402219165692, avgTableSize=717.0238213553637
5.63/2.80	    
5.63/2.82	    num=29, depth=2..19, filters=20804, revisions=(72174,useless=67300), ccks=111852, wck=0.324, mem=79M434
5.63/2.82	    decisions=1560, wrong=576, backtracks=1366, failedAssignments=385, nogoods=154, foundSolutions=6, bestBound=116
5.63/2.82	    nFilterCalls=33865, avgTableProportion=0.9967252932283376, avgTableSize=714.6396279344456
5.63/2.82	    
5.63/2.83	    num=30, depth=6..15, filters=21900, revisions=(75525,useless=70333), ccks=115902, wck=0.337, mem=79M434
5.63/2.83	    decisions=1630, wrong=608, backtracks=1387, failedAssignments=401, nogoods=155, foundSolutions=6, bestBound=116
5.63/2.83	    nFilterCalls=35166, avgTableProportion=0.9967222742627394, avgTableSize=713.3060342376159
5.63/2.83	    
5.63/2.85	    num=31, depth=3..21, filters=23060, revisions=(79509,useless=74030), ccks=120890, wck=0.353, mem=79M434
5.63/2.85	    decisions=1708, wrong=641, backtracks=1407, failedAssignments=418, nogoods=161, foundSolutions=6, bestBound=116
5.63/2.85	    nFilterCalls=36857, avgTableProportion=0.9967162615314262, avgTableSize=712.0106085682503
5.63/2.85	    
5.63/2.86	    num=32, depth=5..15, filters=23876, revisions=(82186,useless=76479), ccks=123914, wck=0.363, mem=79M434
5.63/2.86	    decisions=1781, wrong=674, backtracks=1425, failedAssignments=437, nogoods=164, foundSolutions=6, bestBound=116
5.63/2.86	    nFilterCalls=37973, avgTableProportion=0.9967206933730692, avgTableSize=711.9181787059226
5.63/2.86	    
5.63/2.87	    num=33, depth=3..18, filters=24899, revisions=(85384,useless=79517), ccks=127979, wck=0.376, mem=79M434
5.63/2.87	    decisions=1856, wrong=707, backtracks=1450, failedAssignments=458, nogoods=170, foundSolutions=6, bestBound=116
5.63/2.87	    nFilterCalls=39635, avgTableProportion=0.9967085782602035, avgTableSize=709.9892519238048
5.63/2.87	    
5.63/2.88	    num=34, depth=2..20, filters=25940, revisions=(88796,useless=82661), ccks=132459, wck=0.391, mem=79M434
5.63/2.88	    decisions=1926, wrong=735, backtracks=1462, failedAssignments=481, nogoods=178, foundSolutions=6, bestBound=116
5.63/2.88	    nFilterCalls=41195, avgTableProportion=0.9967022180547336, avgTableSize=708.9828377230247
5.63/2.88	    
5.93/2.91	    num=35, depth=3..12, filters=27230, revisions=(93358,useless=86879), ccks=137541, wck=0.407, mem=79M434
5.93/2.91	    decisions=2019, wrong=779, backtracks=1492, failedAssignments=506, nogoods=182, foundSolutions=6, bestBound=116
5.93/2.91	    nFilterCalls=43104, avgTableProportion=0.9967046962114273, avgTableSize=710.1411469933184
5.93/2.91	    
5.93/2.92	    num=36, depth=3..16, filters=28522, revisions=(97159,useless=90472), ccks=141264, wck=0.423, mem=79M434
5.93/2.92	    decisions=2120, wrong=825, backtracks=1526, failedAssignments=534, nogoods=190, foundSolutions=6, bestBound=116
5.93/2.92	    nFilterCalls=45275, avgTableProportion=0.9966953202837502, avgTableSize=708.415483158476
5.93/2.92	    
5.93/2.94	    num=37, depth=3..22, filters=30093, revisions=(102096,useless=95007), ccks=146833, wck=0.443, mem=79M434
5.93/2.94	    decisions=2246, wrong=880, backtracks=1555, failedAssignments=565, nogoods=198, foundSolutions=6, bestBound=116
5.93/2.94	    nFilterCalls=47638, avgTableProportion=0.9966899073673657, avgTableSize=706.3825307527604
5.93/2.94	    
5.93/2.96	    num=38, depth=2..19, filters=31975, revisions=(108220,useless=100748), ccks=153898, wck=0.468, mem=82M76
5.93/2.96	    decisions=2374, wrong=938, backtracks=1592, failedAssignments=599, nogoods=208, foundSolutions=6, bestBound=116
5.93/2.96	    nFilterCalls=50680, avgTableProportion=0.9966951235679726, avgTableSize=707.2052683504342
5.93/2.96	    
5.93/2.99	    num=39, depth=4..13, filters=33675, revisions=(113337,useless=105441), ccks=160977, wck=0.491, mem=82M76
5.93/2.99	    decisions=2482, wrong=990, backtracks=1618, failedAssignments=636, nogoods=210, foundSolutions=6, bestBound=116
5.93/2.99	    nFilterCalls=53198, avgTableProportion=0.9967131634384769, avgTableSize=709.6922816647242
5.93/2.99	    
6.26/3.01	    num=40, depth=1..125, filters=35080, revisions=(118138,useless=110011), ccks=166870, wck=0.514, mem=82M76
6.26/3.01	    decisions=2596, wrong=1042, backtracks=1762, failedAssignments=677, nogoods=218, foundSolutions=6, bestBound=116
6.26/3.01	    nFilterCalls=55632, avgTableProportion=0.9967089868841201, avgTableSize=709.5195750647109
6.26/3.01	    
6.26/3.05	    num=41, depth=0..22, filters=38802, revisions=(129440,useless=120337), ccks=177709, wck=0.553, mem=82M76
6.26/3.05	    decisions=2804, wrong=1139, backtracks=1826, failedAssignments=722, nogoods=225, foundSolutions=6, bestBound=116
6.26/3.05	    nFilterCalls=60679, avgTableProportion=0.9966946085974028, avgTableSize=705.1947296428748
6.26/3.05	    
6.26/3.07	    num=42, depth=0..23, filters=40806, revisions=(135590,useless=125868), ccks=184910, wck=0.574, mem=82M76
6.26/3.07	    decisions=2982, wrong=1221, backtracks=1872, failedAssignments=772, nogoods=227, foundSolutions=6, bestBound=116
6.26/3.07	    nFilterCalls=63222, avgTableProportion=0.9966916961027827, avgTableSize=703.9445288032647
6.26/3.07	    
6.26/3.09	o 112
6.26/3.09	    num=43, depth=1..226, filters=42413, revisions=(141473,useless=131326), ccks=192361, wck=0.597, mem=82M76
6.26/3.09	    decisions=3113, wrong=1281, backtracks=1915, failedAssignments=800, nogoods=231, foundSolutions=7, bestBound=112
6.26/3.09	    nFilterCalls=66167, avgTableProportion=0.9967062522473672, avgTableSize=706.3252829960554
6.26/3.09	    
6.57/3.13	    num=44, depth=1..18, filters=45777, revisions=(152521,useless=141767), ccks=202241, wck=0.64, mem=82M76
6.57/3.13	    decisions=3367, wrong=1402, backtracks=2012, failedAssignments=861, nogoods=243, foundSolutions=7, bestBound=112
6.57/3.13	    nFilterCalls=71669, avgTableProportion=0.9967037997287401, avgTableSize=705.9406577460269
6.57/3.13	    
6.57/3.15	    num=45, depth=7..16, filters=46977, revisions=(156889,useless=145839), ccks=206840, wck=0.657, mem=82M76
6.57/3.15	    decisions=3435, wrong=1430, backtracks=2032, failedAssignments=872, nogoods=247, foundSolutions=7, bestBound=112
6.57/3.15	    nFilterCalls=73489, avgTableProportion=0.9967048601851518, avgTableSize=705.5860332838928
6.57/3.15	    
6.57/3.16	    num=46, depth=1..18, filters=47859, revisions=(160108,useless=148832), ccks=210497, wck=0.669, mem=82M76
6.57/3.16	    decisions=3488, wrong=1452, backtracks=2050, failedAssignments=884, nogoods=250, foundSolutions=7, bestBound=112
6.57/3.16	    nFilterCalls=74725, avgTableProportion=0.996705341212331, avgTableSize=705.6436266309803
6.57/3.16	    
6.57/3.18	    num=47, depth=2..16, filters=48679, revisions=(163045,useless=151589), ccks=214077, wck=0.681, mem=82M76
6.57/3.18	    decisions=3549, wrong=1479, backtracks=2071, failedAssignments=897, nogoods=252, foundSolutions=7, bestBound=112
6.57/3.18	    nFilterCalls=75981, avgTableProportion=0.9967080776324201, avgTableSize=706.5228938813651
6.57/3.18	    
6.57/3.19	    num=48, depth=9..16, filters=49588, revisions=(166082,useless=154404), ccks=217443, wck=0.694, mem=82M76
6.57/3.19	    decisions=3611, wrong=1505, backtracks=2088, failedAssignments=911, nogoods=254, foundSolutions=7, bestBound=112
6.57/3.19	    nFilterCalls=77426, avgTableProportion=0.996710235797228, avgTableSize=706.5591015937798
6.57/3.19	    
6.85/3.20	    num=49, depth=7..17, filters=50092, revisions=(168106,useless=156277), ccks=220564, wck=0.702, mem=82M76
6.85/3.20	    decisions=3673, wrong=1529, backtracks=2099, failedAssignments=927, nogoods=260, foundSolutions=7, bestBound=112
6.85/3.20	    nFilterCalls=78311, avgTableProportion=0.9967158593310688, avgTableSize=707.7463830113267
6.85/3.20	    
6.85/3.21	    num=50, depth=6..13, filters=51015, revisions=(171301,useless=159272), ccks=224501, wck=0.715, mem=82M76
6.85/3.21	    decisions=3739, wrong=1558, backtracks=2116, failedAssignments=944, nogoods=267, foundSolutions=7, bestBound=112
6.85/3.21	    nFilterCalls=79744, avgTableProportion=0.9967190587377582, avgTableSize=708.8459821428571
6.85/3.21	    
6.85/3.22	    num=51, depth=6..16, filters=51770, revisions=(174076,useless=161797), ccks=227978, wck=0.726, mem=82M76
6.85/3.22	    decisions=3818, wrong=1591, backtracks=2134, failedAssignments=963, nogoods=271, foundSolutions=7, bestBound=112
6.85/3.22	    nFilterCalls=80915, avgTableProportion=0.9967287689872775, avgTableSize=711.2194895878391
6.85/3.22	    
6.85/3.24	    num=52, depth=1..22, filters=53414, revisions=(179155,useless=166512), ccks=233235, wck=0.744, mem=84M719
6.85/3.24	    decisions=3918, wrong=1634, backtracks=2165, failedAssignments=984, nogoods=274, foundSolutions=7, bestBound=112
6.85/3.24	    nFilterCalls=83434, avgTableProportion=0.9967265952210578, avgTableSize=710.4284464367045
6.85/3.24	    
6.85/3.25	    num=53, depth=7..18, filters=54861, revisions=(183679,useless=170663), ccks=237565, wck=0.755, mem=84M719
6.85/3.25	    decisions=4032, wrong=1683, backtracks=2202, failedAssignments=1007, nogoods=280, foundSolutions=7, bestBound=112
6.85/3.25	    nFilterCalls=85815, avgTableProportion=0.9967266005548933, avgTableSize=709.4781798053954
6.85/3.25	    
6.85/3.26	    num=54, depth=1..21, filters=56719, revisions=(189820,useless=176297), ccks=243694, wck=0.768, mem=84M719
6.85/3.26	    decisions=4152, wrong=1737, backtracks=2243, failedAssignments=1032, nogoods=283, foundSolutions=7, bestBound=112
6.85/3.26	    nFilterCalls=88348, avgTableProportion=0.9967224917364638, avgTableSize=708.1065106171051
6.85/3.26	    
6.85/3.27	    num=55, depth=11..21, filters=58415, revisions=(194684,useless=180811), ccks=249041, wck=0.777, mem=84M719
6.85/3.27	    decisions=4286, wrong=1796, backtracks=2280, failedAssignments=1060, nogoods=287, foundSolutions=7, bestBound=112
6.85/3.27	    nFilterCalls=91118, avgTableProportion=0.9967237254243031, avgTableSize=707.8246559406484
6.85/3.27	    
6.85/3.28	    num=56, depth=9..166, filters=59076, revisions=(197008,useless=182951), ccks=251187, wck=0.782, mem=84M719
6.85/3.28	    decisions=4378, wrong=1834, backtracks=2444, failedAssignments=1091, nogoods=295, foundSolutions=7, bestBound=112
6.85/3.28	    nFilterCalls=92669, avgTableProportion=0.9967300887718452, avgTableSize=708.9335160625452
6.85/3.28	    
6.85/3.29	    num=57, depth=1..22, filters=61564, revisions=(204745,useless=189997), ccks=259998, wck=0.793, mem=84M719
6.85/3.29	    decisions=4540, wrong=1909, backtracks=2501, failedAssignments=1125, nogoods=298, foundSolutions=7, bestBound=112
6.85/3.29	    nFilterCalls=96187, avgTableProportion=0.9967269446561152, avgTableSize=706.9883144291848
6.85/3.29	    
7.14/3.30	    num=58, depth=0..16, filters=64504, revisions=(215314,useless=199745), ccks=274744, wck=0.808, mem=84M719
7.14/3.30	    decisions=4693, wrong=1980, backtracks=2547, failedAssignments=1162, nogoods=305, foundSolutions=7, bestBound=112
7.14/3.30	    nFilterCalls=100272, avgTableProportion=0.9967350088254601, avgTableSize=709.2064185415669
7.14/3.30	    
7.14/3.31	    num=59, depth=7..166, filters=65419, revisions=(219129,useless=203338), ccks=277258, wck=0.816, mem=84M719
7.14/3.31	    decisions=4798, wrong=2028, backtracks=3117, failedAssignments=1203, nogoods=310, foundSolutions=7, bestBound=112
7.14/3.31	    nFilterCalls=102940, avgTableProportion=0.9967464811691078, avgTableSize=711.9457839518166
7.14/3.31	    
7.14/3.31	o 108
7.14/3.32	    num=60, depth=7..226, filters=66082, revisions=(221767,useless=205782), ccks=280664, wck=0.821, mem=84M719
7.14/3.32	    decisions=4851, wrong=2049, backtracks=3130, failedAssignments=1213, nogoods=314, foundSolutions=8, bestBound=108
7.14/3.32	    nFilterCalls=104225, avgTableProportion=0.9967518613747637, avgTableSize=713.0530199088511
7.14/3.32	    
7.14/3.33	    num=61, depth=9..21, filters=68739, revisions=(229082,useless=212633), ccks=288486, wck=0.833, mem=84M719
7.14/3.33	    decisions=5078, wrong=2155, backtracks=3207, failedAssignments=1263, nogoods=318, foundSolutions=8, bestBound=108
7.14/3.33	    nFilterCalls=108665, avgTableProportion=0.9967478636025341, avgTableSize=711.8525560207979
7.14/3.33	    
7.14/3.33	    num=62, depth=9..23, filters=69592, revisions=(231584,useless=214969), ccks=290851, wck=0.838, mem=84M719
7.14/3.33	    decisions=5132, wrong=2175, backtracks=3221, failedAssignments=1274, nogoods=323, foundSolutions=8, bestBound=108
7.14/3.33	    nFilterCalls=109986, avgTableProportion=0.9967461785044013, avgTableSize=711.4604040514247
7.14/3.33	    
7.14/3.33	    num=63, depth=8..138, filters=70035, revisions=(233252,useless=216521), ccks=292504, wck=0.841, mem=84M719
7.14/3.33	    decisions=5168, wrong=2189, backtracks=3355, failedAssignments=1286, nogoods=328, foundSolutions=8, bestBound=108
7.14/3.33	    nFilterCalls=110944, avgTableProportion=0.9967503760375283, avgTableSize=712.3631291462359
7.14/3.33	    
7.14/3.34	    num=64, depth=8..15, filters=70457, revisions=(234729,useless=217882), ccks=295084, wck=0.843, mem=84M719
7.14/3.34	    decisions=5220, wrong=2210, backtracks=3366, failedAssignments=1299, nogoods=332, foundSolutions=8, bestBound=108
7.14/3.34	    nFilterCalls=111586, avgTableProportion=0.9967518948683534, avgTableSize=712.3900847776603
7.14/3.34	    
7.14/3.34	    num=65, depth=5..15, filters=71643, revisions=(239068,useless=221923), ccks=299889, wck=0.849, mem=84M719
7.14/3.34	    decisions=5278, wrong=2233, backtracks=3380, failedAssignments=1313, nogoods=335, foundSolutions=8, bestBound=108
7.14/3.34	    nFilterCalls=113136, avgTableProportion=0.9967515534535509, avgTableSize=712.4874133785886
7.14/3.34	    
7.14/3.35	    num=66, depth=1..16, filters=72778, revisions=(242808,useless=225370), ccks=307602, wck=0.855, mem=84M719
7.14/3.35	    decisions=5346, wrong=2263, backtracks=3402, failedAssignments=1329, nogoods=339, foundSolutions=8, bestBound=108
7.14/3.35	    nFilterCalls=114743, avgTableProportion=0.9967537868137926, avgTableSize=712.4722030973567
7.14/3.35	    
7.14/3.35	    num=67, depth=4..12, filters=73402, revisions=(244942,useless=227329), ccks=310465, wck=0.859, mem=84M719
7.14/3.35	    decisions=5394, wrong=2285, backtracks=3411, failedAssignments=1346, nogoods=344, foundSolutions=8, bestBound=108
7.14/3.35	    nFilterCalls=115615, avgTableProportion=0.9967581996201506, avgTableSize=713.5672187864897
7.14/3.35	    
7.14/3.36	    num=68, depth=0..16, filters=75005, revisions=(249779,useless=231766), ccks=316939, wck=0.866, mem=84M719
7.14/3.36	    decisions=5491, wrong=2329, backtracks=3440, failedAssignments=1365, nogoods=349, foundSolutions=8, bestBound=108
7.14/3.36	    nFilterCalls=117698, avgTableProportion=0.9967526842363014, avgTableSize=712.345647334704
7.14/3.36	    
7.14/3.37	    num=69, depth=6..21, filters=77059, revisions=(256370,useless=237865), ccks=324051, wck=0.875, mem=84M719
7.14/3.37	    decisions=5611, wrong=2386, backtracks=3485, failedAssignments=1386, nogoods=350, foundSolutions=8, bestBound=108
7.14/3.37	    nFilterCalls=120700, avgTableProportion=0.9967506571400133, avgTableSize=711.585526097763
7.14/3.37	    
7.14/3.37	    num=70, depth=9..16, filters=78141, revisions=(259354,useless=240690), ccks=327168, wck=0.88, mem=84M719
7.14/3.37	    decisions=5692, wrong=2422, backtracks=3508, failedAssignments=1409, nogoods=351, foundSolutions=8, bestBound=108
7.14/3.37	    nFilterCalls=122219, avgTableProportion=0.9967437677797375, avgTableSize=710.3111545668022
7.14/3.37	    
7.14/3.38	    num=71, depth=7..17, filters=79675, revisions=(264829,useless=245765), ccks=331951, wck=0.887, mem=84M719
7.14/3.38	    decisions=5798, wrong=2471, backtracks=3545, failedAssignments=1434, nogoods=355, foundSolutions=8, bestBound=108
7.14/3.38	    nFilterCalls=124639, avgTableProportion=0.9967490388435487, avgTableSize=711.1016936913807
7.14/3.38	    
7.14/3.39	    num=72, depth=6..21, filters=81855, revisions=(271588,useless=252021), ccks=339626, wck=0.896, mem=84M719
7.14/3.39	    decisions=5925, wrong=2531, backtracks=3587, failedAssignments=1462, nogoods=357, foundSolutions=8, bestBound=108
7.14/3.39	    nFilterCalls=127400, avgTableProportion=0.9967386390655334, avgTableSize=709.431797488226
7.14/3.39	    
7.45/3.40	    num=73, depth=4..18, filters=84549, revisions=(281007,useless=260790), ccks=349948, wck=0.907, mem=84M719
7.45/3.40	    decisions=6064, wrong=2597, backtracks=3628, failedAssignments=1493, nogoods=364, foundSolutions=8, bestBound=108
7.45/3.40	    nFilterCalls=131119, avgTableProportion=0.9967358749789562, avgTableSize=708.6277351108535
7.45/3.40	    
7.45/3.41	    num=74, depth=6..14, filters=85815, revisions=(285277,useless=264723), ccks=354569, wck=0.913, mem=84M719
7.45/3.41	    decisions=6161, wrong=2642, backtracks=3650, failedAssignments=1527, nogoods=372, foundSolutions=8, bestBound=108
7.45/3.41	    nFilterCalls=133322, avgTableProportion=0.9967435890453504, avgTableSize=709.9398673887281
7.45/3.41	    
7.45/3.42	    num=75, depth=14..27, filters=87642, revisions=(290359,useless=269425), ccks=361121, wck=0.921, mem=84M719
7.45/3.42	    decisions=6298, wrong=2703, backtracks=3684, failedAssignments=1564, nogoods=377, foundSolutions=8, bestBound=108
7.45/3.42	    nFilterCalls=136069, avgTableProportion=0.9967354984692027, avgTableSize=708.4659180268834
7.45/3.42	    
7.45/3.43	    num=76, depth=12..133, filters=90419, revisions=(298887,useless=277149), ccks=371690, wck=0.933, mem=84M719
7.45/3.43	    decisions=6481, wrong=2786, backtracks=3859, failedAssignments=1605, nogoods=381, foundSolutions=8, bestBound=108
7.45/3.43	    nFilterCalls=140296, avgTableProportion=0.9967489695506904, avgTableSize=710.0402221018418
7.45/3.43	    
7.45/3.44	    num=77, depth=4..130, filters=92546, revisions=(306091,useless=283822), ccks=379733, wck=0.944, mem=84M719
7.45/3.44	    decisions=6648, wrong=2865, backtracks=4149, failedAssignments=1650, nogoods=385, foundSolutions=8, bestBound=108
7.45/3.44	    nFilterCalls=144027, avgTableProportion=0.9967542955896199, avgTableSize=711.0861366271602
7.45/3.44	    
7.45/3.45	    num=78, depth=8..25, filters=96414, revisions=(316306,useless=293095), ccks=392043, wck=0.959, mem=84M719
7.45/3.45	    decisions=6870, wrong=2969, backtracks=4221, failedAssignments=1700, nogoods=389, foundSolutions=8, bestBound=108
7.45/3.45	    nFilterCalls=149940, avgTableProportion=0.9967550947471968, avgTableSize=710.2110510871015
7.45/3.45	    
7.45/3.46	o 104
7.45/3.46	    num=79, depth=2..226, filters=96896, revisions=(318138,useless=294793), ccks=394460, wck=0.963, mem=84M719
7.45/3.46	    decisions=6909, wrong=2982, backtracks=4227, failedAssignments=1707, nogoods=393, foundSolutions=9, bestBound=104
7.45/3.46	    nFilterCalls=151018, avgTableProportion=0.9967557450555327, avgTableSize=710.5776132646439
7.45/3.46	    
7.45/3.47	    num=80, depth=5..15, filters=100360, revisions=(330218,useless=305910), ccks=410558, wck=0.98, mem=84M719
7.45/3.47	    decisions=7164, wrong=3106, backtracks=4310, failedAssignments=1768, nogoods=399, foundSolutions=9, bestBound=104
7.45/3.47	    nFilterCalls=156595, avgTableProportion=0.9967708212740962, avgTableSize=712.6382579264983
7.45/3.47	    
7.45/3.48	    num=81, depth=10..20, filters=100956, revisions=(332063,useless=307617), ccks=413830, wck=0.983, mem=84M719
7.45/3.48	    decisions=7216, wrong=3126, backtracks=4321, failedAssignments=1779, nogoods=403, foundSolutions=9, bestBound=104
7.45/3.48	    nFilterCalls=157722, avgTableProportion=0.9967725166916677, avgTableSize=712.8571093442894
7.45/3.48	    
7.45/3.48	    num=82, depth=1..20, filters=101643, revisions=(334479,useless=309853), ccks=417981, wck=0.987, mem=87M362
7.45/3.48	    decisions=7270, wrong=3145, backtracks=4329, failedAssignments=1791, nogoods=409, foundSolutions=9, bestBound=104
7.45/3.48	    nFilterCalls=158796, avgTableProportion=0.9967747272198219, avgTableSize=713.2447227889871
7.45/3.48	    
7.45/3.49	    num=83, depth=3..20, filters=103151, revisions=(339423,useless=314427), ccks=425153, wck=0.995, mem=87M362
7.45/3.49	    decisions=7350, wrong=3180, backtracks=4354, failedAssignments=1804, nogoods=411, foundSolutions=9, bestBound=104
7.45/3.49	    nFilterCalls=161213, avgTableProportion=0.9967754078399227, avgTableSize=713.2164527674568
7.45/3.49	    
7.45/3.49	    num=84, depth=8..174, filters=103861, revisions=(341950,useless=316770), ccks=427579, wck=0.999, mem=87M362
7.45/3.49	    decisions=7414, wrong=3208, backtracks=4537, failedAssignments=1818, nogoods=415, foundSolutions=9, bestBound=104
7.45/3.49	    nFilterCalls=162745, avgTableProportion=0.9967792584924116, avgTableSize=713.9358812866755
7.45/3.49	    
7.75/3.50	    num=85, depth=1..18, filters=105143, revisions=(346610,useless=321105), ccks=436496, wck=1.006, mem=87M362
7.75/3.50	    decisions=7498, wrong=3245, backtracks=4561, failedAssignments=1834, nogoods=420, foundSolutions=9, bestBound=104
7.75/3.50	    nFilterCalls=164680, avgTableProportion=0.9967809202575472, avgTableSize=714.3057505465144
7.75/3.50	    
7.75/3.50	    num=86, depth=13..21, filters=106106, revisions=(349800,useless=324068), ccks=441913, wck=1.011, mem=87M362
7.75/3.50	    decisions=7565, wrong=3272, backtracks=4578, failedAssignments=1851, nogoods=422, foundSolutions=9, bestBound=104
7.75/3.50	    nFilterCalls=166109, avgTableProportion=0.9967770721357694, avgTableSize=713.6554972939456
7.75/3.50	    
7.75/3.51	    num=87, depth=2..171, filters=106865, revisions=(352916,useless=326977), ccks=446136, wck=1.016, mem=87M362
7.75/3.51	    decisions=7624, wrong=3300, backtracks=4759, failedAssignments=1870, nogoods=427, foundSolutions=9, bestBound=104
7.75/3.51	    nFilterCalls=167612, avgTableProportion=0.9967797920123891, avgTableSize=714.3065174331193
7.75/3.51	    
7.75/3.52	    num=88, depth=8..17, filters=108569, revisions=(358547,useless=332235), ccks=453515, wck=1.023, mem=87M362
7.75/3.52	    decisions=7722, wrong=3342, backtracks=4788, failedAssignments=1891, nogoods=429, foundSolutions=9, bestBound=104
7.75/3.52	    nFilterCalls=170146, avgTableProportion=0.996775138988206, avgTableSize=713.6344786242404
7.75/3.52	    
7.75/3.52	    num=89, depth=14..22, filters=109853, revisions=(362317,useless=335757), ccks=458736, wck=1.029, mem=87M362
7.75/3.52	    decisions=7828, wrong=3387, backtracks=4819, failedAssignments=1914, nogoods=437, foundSolutions=9, bestBound=104
7.75/3.52	    nFilterCalls=172161, avgTableProportion=0.9967718152532062, avgTableSize=713.1072135965753
7.75/3.52	    
7.75/3.53	    num=90, depth=12..23, filters=111212, revisions=(366091,useless=339270), ccks=461961, wck=1.035, mem=87M362
7.75/3.53	    decisions=7937, wrong=3432, backtracks=4845, failedAssignments=1939, nogoods=448, foundSolutions=9, bestBound=104
7.75/3.53	    nFilterCalls=174519, avgTableProportion=0.9967726581663159, avgTableSize=713.065946974255
7.75/3.53	    
7.75/3.53	    num=91, depth=12..20, filters=112464, revisions=(369929,useless=342846), ccks=467028, wck=1.041, mem=87M362
7.75/3.53	    decisions=8049, wrong=3482, backtracks=4874, failedAssignments=1967, nogoods=453, foundSolutions=9, bestBound=104
7.75/3.53	    nFilterCalls=176849, avgTableProportion=0.9967778565983362, avgTableSize=713.7068007169959
7.75/3.53	    
7.75/3.54	    num=92, depth=10..175, filters=113996, revisions=(375133,useless=347688), ccks=473127, wck=1.049, mem=87M362
7.75/3.54	    decisions=8166, wrong=3535, backtracks=5337, failedAssignments=1998, nogoods=456, foundSolutions=9, bestBound=104
7.75/3.54	    nFilterCalls=179615, avgTableProportion=0.9967732458908264, avgTableSize=713.1579823511399
7.75/3.54	    
7.75/3.55	    num=93, depth=7..16, filters=115332, revisions=(379859,useless=352098), ccks=483272, wck=1.057, mem=87M362
7.75/3.55	    decisions=8287, wrong=3592, backtracks=5369, failedAssignments=2032, nogoods=461, foundSolutions=9, bestBound=104
7.75/3.55	    nFilterCalls=182053, avgTableProportion=0.9967777005709565, avgTableSize=713.7856008964422
7.75/3.55	    
7.75/3.57	    num=94, depth=4..16, filters=117989, revisions=(389713,useless=361240), ccks=506961, wck=1.072, mem=87M362
7.75/3.57	    decisions=8439, wrong=3664, backtracks=5416, failedAssignments=2069, nogoods=465, foundSolutions=9, bestBound=104
7.75/3.57	    nFilterCalls=186283, avgTableProportion=0.9967859191461339, avgTableSize=715.7194644707247
7.75/3.57	    
7.75/3.58	    num=95, depth=5..19, filters=120633, revisions=(398424,useless=369307), ccks=516300, wck=1.083, mem=87M362
7.75/3.58	    decisions=8605, wrong=3743, backtracks=5462, failedAssignments=2110, nogoods=469, foundSolutions=9, bestBound=104
7.75/3.58	    nFilterCalls=190444, avgTableProportion=0.9967878589330266, avgTableSize=716.5422538909075
7.75/3.58	    
7.75/3.59	    num=96, depth=11..21, filters=122645, revisions=(404901,useless=375366), ccks=523832, wck=1.093, mem=87M362
7.75/3.59	    decisions=8774, wrong=3822, backtracks=5517, failedAssignments=2155, nogoods=470, foundSolutions=9, bestBound=104
7.75/3.59	    nFilterCalls=194189, avgTableProportion=0.9967933929709154, avgTableSize=717.8985472915562
7.75/3.59	    
8.06/3.60	    num=97, depth=5..16, filters=125705, revisions=(414809,useless=384582), ccks=533719, wck=1.106, mem=87M362
8.06/3.60	    decisions=8989, wrong=3926, backtracks=5596, failedAssignments=2205, nogoods=475, foundSolutions=9, bestBound=104
8.06/3.60	    nFilterCalls=199321, avgTableProportion=0.9967938622586602, avgTableSize=717.5427175260007
8.06/3.60	    
8.06/3.62	    num=98, depth=10..24, filters=129302, revisions=(426187,useless=395128), ccks=550107, wck=1.122, mem=87M362
8.06/3.62	    decisions=9226, wrong=4037, backtracks=5670, failedAssignments=2260, nogoods=482, foundSolutions=9, bestBound=104
8.06/3.62	    nFilterCalls=205288, avgTableProportion=0.9967909271904053, avgTableSize=716.2149857760804
8.06/3.62	    
8.06/3.63	    num=99, depth=2..9, filters=132332, revisions=(436757,useless=404920), ccks=568124, wck=1.138, mem=87M362
8.06/3.63	    decisions=9433, wrong=4139, backtracks=5729, failedAssignments=2321, nogoods=488, foundSolutions=9, bestBound=104
8.06/3.63	    nFilterCalls=210486, avgTableProportion=0.9967989783842182, avgTableSize=718.051846678639
8.06/3.63	    
8.06/3.65	    num=100, depth=7..173, filters=135206, revisions=(446775,useless=414249), ccks=578230, wck=1.152, mem=87M362
8.06/3.65	    decisions=9673, wrong=4253, backtracks=6357, failedAssignments=2388, nogoods=492, foundSolutions=9, bestBound=104
8.06/3.65	    nFilterCalls=215192, avgTableProportion=0.996791479160907, avgTableSize=716.7566359344214
8.06/3.65	    
8.06/3.66	    num=101, depth=9..21, filters=137734, revisions=(454562,useless=421607), ccks=586171, wck=1.164, mem=87M362
8.06/3.66	    decisions=9937, wrong=4379, backtracks=6444, failedAssignments=2462, nogoods=498, foundSolutions=9, bestBound=104
8.06/3.66	    nFilterCalls=220652, avgTableProportion=0.9967981976404614, avgTableSize=717.9619083443613
8.06/3.66	    
8.06/3.68	    num=102, depth=4..20, filters=142191, revisions=(470331,useless=436146), ccks=611675, wck=1.187, mem=87M362
8.06/3.68	    decisions=10283, wrong=4546, backtracks=6556, failedAssignments=2543, nogoods=506, foundSolutions=9, bestBound=104
8.06/3.68	    nFilterCalls=228482, avgTableProportion=0.9968136923250537, avgTableSize=720.4576553076391
8.06/3.68	    
8.38/3.70	    num=103, depth=7..174, filters=146502, revisions=(483606,useless=448397), ccks=627322, wck=1.204, mem=87M362
8.38/3.70	    decisions=10637, wrong=4716, backtracks=6827, failedAssignments=2632, nogoods=512, foundSolutions=9, bestBound=104
8.38/3.70	    nFilterCalls=234437, avgTableProportion=0.9967992420480284, avgTableSize=717.7394097348115
8.38/3.70	    
8.38/3.72	    num=104, depth=8..24, filters=151007, revisions=(498632,useless=462459), ccks=651806, wck=1.226, mem=87M362
8.38/3.72	    decisions=10973, wrong=4877, backtracks=6927, failedAssignments=2730, nogoods=516, foundSolutions=9, bestBound=104
8.38/3.72	    nFilterCalls=242819, avgTableProportion=0.9968099208433714, avgTableSize=719.6412842487614
8.38/3.72	    
8.38/3.73	    num=105, depth=9..23, filters=154955, revisions=(509650,useless=472596), ccks=664799, wck=1.241, mem=87M362
8.38/3.73	    decisions=11340, wrong=5053, backtracks=7030, failedAssignments=2838, nogoods=522, foundSolutions=9, bestBound=104
8.38/3.73	    nFilterCalls=249115, avgTableProportion=0.9968055092393159, avgTableSize=718.5001425044658
8.38/3.73	    
8.38/3.76	    num=106, depth=7..131, filters=160166, revisions=(526066,useless=487782), ccks=684390, wck=1.262, mem=87M362
8.38/3.76	    decisions=11743, wrong=5251, backtracks=7260, failedAssignments=2957, nogoods=524, foundSolutions=9, bestBound=104
8.38/3.76	    nFilterCalls=258138, avgTableProportion=0.9968092882161924, avgTableSize=718.7655478852397
8.38/3.76	    
8.63/3.80	    num=107, depth=10..171, filters=166196, revisions=(548223,useless=508904), ccks=708219, wck=1.306, mem=87M362
8.63/3.80	    decisions=12234, wrong=5486, backtracks=12823, failedAssignments=3088, nogoods=531, foundSolutions=9, bestBound=104
8.63/3.80	    nFilterCalls=277469, avgTableProportion=0.9968166764764365, avgTableSize=722.0189714887068
8.63/3.80	    
8.63/3.83	    num=108, depth=6..19, filters=173150, revisions=(572194,useless=530903), ccks=746480, wck=1.34, mem=87M362
8.63/3.83	    decisions=12824, wrong=5777, backtracks=13023, failedAssignments=3232, nogoods=537, foundSolutions=9, bestBound=104
8.63/3.83	    nFilterCalls=289071, avgTableProportion=0.9968335883422454, avgTableSize=724.4703827087463
8.63/3.83	    
8.63/3.87	    num=109, depth=7..22, filters=182777, revisions=(603557,useless=560160), ccks=784307, wck=1.379, mem=90M4
8.63/3.87	    decisions=13473, wrong=6095, backtracks=13247, failedAssignments=3390, nogoods=548, foundSolutions=9, bestBound=104
8.63/3.87	    nFilterCalls=305636, avgTableProportion=0.9968358040014921, avgTableSize=724.2318738630266
8.63/3.87	    
8.91/3.91	    num=110, depth=3..16, filters=191895, revisions=(629629,useless=584575), ccks=810948, wck=1.413, mem=90M4
8.91/3.91	    decisions=14139, wrong=6422, backtracks=13460, failedAssignments=3564, nogoods=559, foundSolutions=9, bestBound=104
8.91/3.91	    nFilterCalls=320402, avgTableProportion=0.9968236056353115, avgTableSize=721.7749545882984
8.91/3.91	    
8.91/3.97	    num=111, depth=10..24, filters=206922, revisions=(677671,useless=628676), ccks=874122, wck=1.472, mem=90M4
8.91/3.97	    decisions=14950, wrong=6820, backtracks=13729, failedAssignments=3755, nogoods=565, foundSolutions=9, bestBound=104
8.91/3.97	    nFilterCalls=342136, avgTableProportion=0.996829392132177, avgTableSize=721.7974752729908
8.91/3.97	    
9.16/4.02	    num=112, depth=6..23, filters=221913, revisions=(721703,useless=669066), ccks=929630, wck=1.526, mem=90M4
9.16/4.02	    decisions=15877, wrong=7277, backtracks=14053, failedAssignments=3966, nogoods=572, foundSolutions=9, bestBound=104
9.16/4.02	    nFilterCalls=364084, avgTableProportion=0.9968179480487851, avgTableSize=718.9817212511399
9.16/4.02	    
9.16/4.07	    num=113, depth=3..174, filters=233536, revisions=(758363,useless=703255), ccks=969287, wck=1.573, mem=90M4
9.16/4.07	    decisions=16745, wrong=7702, backtracks=15115, failedAssignments=4198, nogoods=581, foundSolutions=9, bestBound=104
9.16/4.07	    nFilterCalls=384048, avgTableProportion=0.9968156199380827, avgTableSize=718.6846540015831
9.16/4.07	    
9.34/4.12	    num=114, depth=2..167, filters=245605, revisions=(800280,useless=742119), ccks=1020112, wck=1.623, mem=90M4
9.34/4.12	    decisions=17598, wrong=8126, backtracks=15934, failedAssignments=4453, nogoods=587, foundSolutions=9, bestBound=104
9.34/4.12	    nFilterCalls=406325, avgTableProportion=0.9968387554342513, avgTableSize=722.9666547714268
9.34/4.12	    
9.34/4.17	    num=115, depth=10..26, filters=263140, revisions=(852720,useless=790444), ccks=1071413, wck=1.681, mem=90M4
9.34/4.17	    decisions=18937, wrong=8789, backtracks=16447, failedAssignments=4734, nogoods=600, foundSolutions=9, bestBound=104
9.34/4.17	    nFilterCalls=431165, avgTableProportion=0.996812676691606, avgTableSize=718.245256456345
9.34/4.17	    
9.43/4.25	    num=116, depth=4..23, filters=283181, revisions=(923915,useless=856369), ccks=1159203, wck=1.758, mem=90M4
9.43/4.25	    decisions=20228, wrong=9426, backtracks=16920, failedAssignments=5043, nogoods=605, foundSolutions=9, bestBound=104
9.43/4.25	    nFilterCalls=461796, avgTableProportion=0.996820065403444, avgTableSize=719.3004248629264
9.43/4.25	    
9.54/4.33	    num=117, depth=4..172, filters=302306, revisions=(989947,useless=917565), ccks=1237433, wck=1.834, mem=90M4
9.54/4.33	    decisions=21536, wrong=10076, backtracks=17509, failedAssignments=5383, nogoods=616, foundSolutions=9, bestBound=104
9.54/4.33	    nFilterCalls=494381, avgTableProportion=0.9968375209163511, avgTableSize=724.8877363814548
9.54/4.33	    
9.64/4.40	    num=118, depth=4..125, filters=322509, revisions=(1050407,useless=973779), ccks=1309203, wck=1.903, mem=92M647
9.64/4.40	    decisions=22877, wrong=10739, backtracks=18032, failedAssignments=5757, nogoods=626, foundSolutions=9, bestBound=104
9.64/4.40	    nFilterCalls=524954, avgTableProportion=0.9968227763863142, avgTableSize=722.0896364252868
9.64/4.40	    
9.64/4.48	    num=119, depth=1..169, filters=340768, revisions=(1111002,useless=1030354), ccks=1404656, wck=1.987, mem=92M647
9.64/4.48	    decisions=24207, wrong=11399, backtracks=20602, failedAssignments=6168, nogoods=632, foundSolutions=9, bestBound=104
9.64/4.48	    nFilterCalls=560718, avgTableProportion=0.9968350388850287, avgTableSize=725.4453504257042
9.64/4.48	    
9.74/4.56	    num=120, depth=5..174, filters=362528, revisions=(1184065,useless=1098558), ccks=1480513, wck=2.069, mem=92M647
9.74/4.56	    decisions=25756, wrong=12169, backtracks=21514, failedAssignments=6620, nogoods=642, foundSolutions=9, bestBound=104
9.74/4.56	    nFilterCalls=600670, avgTableProportion=0.9968503813262451, avgTableSize=729.2332212362861
9.74/4.56	    
9.85/4.63	    num=121, depth=12..29, filters=384871, revisions=(1242528,useless=1152902), ccks=1542586, wck=2.141, mem=92M647
9.85/4.63	    decisions=27575, wrong=13068, backtracks=22137, failedAssignments=7117, nogoods=656, foundSolutions=9, bestBound=104
9.85/4.63	    nFilterCalls=635095, avgTableProportion=0.9968271920403884, avgTableSize=725.103428620915
9.85/4.63	    
9.96/4.73	    num=122, depth=9..24, filters=412754, revisions=(1321524,useless=1225967), ccks=1643680, wck=2.24, mem=92M647
9.96/4.73	    decisions=29632, wrong=14090, backtracks=22812, failedAssignments=7664, nogoods=666, foundSolutions=9, bestBound=104
9.96/4.73	    nFilterCalls=679972, avgTableProportion=0.99682072242128, avgTableSize=723.6615228274105
9.96/4.73	    
10.06/4.86	    num=123, depth=0..171, filters=445716, revisions=(1430495,useless=1326556), ccks=1771823, wck=2.367, mem=95M289
10.06/4.86	    decisions=31789, wrong=15163, backtracks=23965, failedAssignments=8266, nogoods=673, foundSolutions=9, bestBound=104
10.06/4.86	    nFilterCalls=733642, avgTableProportion=0.9968440634952986, avgTableSize=726.9643368291346
10.06/4.86	    
10.17/4.97	    num=124, depth=2..22, filters=477581, revisions=(1528085,useless=1418330), ccks=1867156, wck=2.473, mem=95M289
10.17/4.97	    decisions=34227, wrong=16375, backtracks=24789, failedAssignments=8928, nogoods=685, foundSolutions=9, bestBound=104
10.17/4.97	    nFilterCalls=784929, avgTableProportion=0.9968254914717602, avgTableSize=725.4540015721167
10.17/4.97	    
10.38/5.11	    num=125, depth=9..26, filters=517617, revisions=(1647877,useless=1528979), ccks=2040798, wck=2.618, mem=95M289
10.38/5.11	    decisions=37018, wrong=17762, backtracks=25765, failedAssignments=9656, nogoods=695, foundSolutions=9, bestBound=104
10.38/5.11	    nFilterCalls=844465, avgTableProportion=0.9968124897800836, avgTableSize=722.0181416636568
10.38/5.11	    
10.47/5.27	    num=126, depth=3..176, filters=560673, revisions=(1791159,useless=1661608), ccks=2179222, wck=2.776, mem=95M289
10.47/5.27	    decisions=40157, wrong=19326, backtracks=27900, failedAssignments=10457, nogoods=703, foundSolutions=9, bestBound=104
10.47/5.27	    nFilterCalls=921032, avgTableProportion=0.996836717736528, avgTableSize=724.6063513536989
10.47/5.27	    
10.68/5.41	    num=127, depth=7..136, filters=602972, revisions=(1916563,useless=1778254), ccks=2305957, wck=2.916, mem=97M931
10.68/5.41	    decisions=43433, wrong=20959, backtracks=29923, failedAssignments=11338, nogoods=708, foundSolutions=9, bestBound=104
10.68/5.41	    nFilterCalls=992296, avgTableProportion=0.9968233562878471, avgTableSize=720.6771416996542
10.68/5.41	    
10.88/5.60	    num=128, depth=8..135, filters=653079, revisions=(2079207,useless=1929321), ccks=2531714, wck=3.108, mem=97M931
10.88/5.60	    decisions=47348, wrong=22909, backtracks=31625, failedAssignments=12308, nogoods=719, foundSolutions=9, bestBound=104
10.88/5.60	    nFilterCalls=1075147, avgTableProportion=0.9968353366234866, avgTableSize=722.0015179319665
10.88/5.60	    
10.98/5.80	    num=129, depth=5..177, filters=699119, revisions=(2235141,useless=2073721), ccks=2720929, wck=3.302, mem=97M931
10.98/5.80	    decisions=51015, wrong=24736, backtracks=36152, failedAssignments=13375, nogoods=730, foundSolutions=9, bestBound=104
10.98/5.80	    nFilterCalls=1163714, avgTableProportion=0.9968696640434433, avgTableSize=728.7022618959642
10.98/5.80	    
11.32/6.05	    num=130, depth=3..25, filters=766220, revisions=(2470280,useless=2293157), ccks=2985127, wck=3.558, mem=100M574
11.32/6.05	    decisions=55517, wrong=26981, backtracks=37658, failedAssignments=14548, nogoods=745, foundSolutions=9, bestBound=104
11.32/6.05	    nFilterCalls=1274464, avgTableProportion=0.9968834968416829, avgTableSize=731.2625150651568
11.32/6.05	    
11.51/6.29	    num=131, depth=2..19, filters=840320, revisions=(2683960,useless=2491843), ccks=3192486, wck=3.795, mem=100M574
11.51/6.29	    decisions=60515, wrong=29479, backtracks=39357, failedAssignments=15839, nogoods=751, foundSolutions=9, bestBound=104
11.51/6.29	    nFilterCalls=1384702, avgTableProportion=0.9968453898388367, avgTableSize=725.2300480536607
11.51/6.29	    
11.86/6.57	    num=132, depth=0..169, filters=915873, revisions=(2922658,useless=2714865), ccks=3410340, wck=4.073, mem=103M216
11.86/6.57	    decisions=65968, wrong=32200, backtracks=44818, failedAssignments=17259, nogoods=761, foundSolutions=9, bestBound=104
11.86/6.57	    nFilterCalls=1522006, avgTableProportion=0.9968633493987142, avgTableSize=728.4297105267653
11.86/6.57	    
12.16/6.88	    num=133, depth=4..24, filters=999738, revisions=(3204517,useless=2978727), ccks=3743999, wck=4.389, mem=103M216
12.16/6.88	    decisions=72039, wrong=35230, backtracks=46875, failedAssignments=18821, nogoods=775, foundSolutions=9, bestBound=104
12.16/6.88	    nFilterCalls=1657904, avgTableProportion=0.9968667905458525, avgTableSize=730.4295556316891
12.16/6.88	    
12.47/7.16	    num=134, depth=0..172, filters=1083226, revisions=(3444615,useless=3204640), ccks=3957680, wck=4.663, mem=105M859
12.47/7.16	    decisions=78576, wrong=38495, backtracks=49924, failedAssignments=20539, nogoods=788, foundSolutions=9, bestBound=104
12.47/7.16	    nFilterCalls=1802397, avgTableProportion=0.9968502417148616, avgTableSize=728.0855455263186
12.47/7.16	    
12.86/7.57	    num=135, depth=5..27, filters=1185565, revisions=(3792366,useless=3527290), ccks=4434146, wck=5.072, mem=108M501
12.86/7.57	    decisions=85629, wrong=42015, backtracks=52211, failedAssignments=22429, nogoods=797, foundSolutions=9, bestBound=104
12.86/7.57	    nFilterCalls=1968644, avgTableProportion=0.9968816920752065, avgTableSize=734.747154386471
12.86/7.57	    
12.86/7.59	o 100
12.86/7.59	    num=136, depth=7..226, filters=1191034, revisions=(3809927,useless=3543629), ccks=4456244, wck=5.094, mem=108M501
12.86/7.59	    decisions=85963, wrong=42177, backtracks=52327, failedAssignments=22513, nogoods=806, foundSolutions=10, bestBound=100
12.86/7.59	    nFilterCalls=1976754, avgTableProportion=0.9968806534545827, avgTableSize=734.5148946201703
12.86/7.59	    
13.48/8.06	    num=137, depth=6..25, filters=1320930, revisions=(4212365,useless=3919370), ccks=4905631, wck=5.563, mem=111M143
13.48/8.06	    decisions=95209, wrong=46795, backtracks=55683, failedAssignments=24800, nogoods=817, foundSolutions=10, bestBound=100
13.48/8.06	    nFilterCalls=2194751, avgTableProportion=0.9968739674563382, avgTableSize=731.6994643128081
13.48/8.06	    
13.48/8.06	    num=138, depth=4..21, filters=1321544, revisions=(4214716,useless=3921584), ccks=4910780, wck=5.567, mem=111M143
13.48/8.06	    decisions=95265, wrong=46816, backtracks=55694, failedAssignments=24811, nogoods=821, foundSolutions=10, bestBound=100
13.48/8.06	    nFilterCalls=2195828, avgTableProportion=0.996874149220998, avgTableSize=731.7564991429201
13.48/8.06	    
13.48/8.06	    num=139, depth=9..16, filters=1322345, revisions=(4217404,useless=3924099), ccks=4913420, wck=5.57, mem=111M143
13.48/8.06	    decisions=95317, wrong=46835, backtracks=55708, failedAssignments=24823, nogoods=825, foundSolutions=10, bestBound=100
13.48/8.06	    nFilterCalls=2197241, avgTableProportion=0.9968743068255433, avgTableSize=731.7656110549548
13.48/8.06	    
13.48/8.07	    num=140, depth=4..13, filters=1323075, revisions=(4219941,useless=3926430), ccks=4916785, wck=5.573, mem=111M143
13.48/8.07	    decisions=95372, wrong=46859, backtracks=55720, failedAssignments=24836, nogoods=829, foundSolutions=10, bestBound=100
13.48/8.07	    nFilterCalls=2198412, avgTableProportion=0.9968743580484108, avgTableSize=731.765173225037
13.48/8.07	    
13.48/8.07	    num=141, depth=10..20, filters=1324044, revisions=(4223512,useless=3929748), ccks=4920075, wck=5.577, mem=111M143
13.48/8.07	    decisions=95430, wrong=46882, backtracks=55732, failedAssignments=24850, nogoods=832, foundSolutions=10, bestBound=100
13.48/8.07	    nFilterCalls=2199986, avgTableProportion=0.9968745483777199, avgTableSize=731.7857077272309
13.48/8.07	    
13.48/8.07	    num=142, depth=5..16, filters=1324713, revisions=(4225739,useless=3931814), ccks=4922666, wck=5.58, mem=111M143
13.48/8.07	    decisions=95483, wrong=46906, backtracks=55745, failedAssignments=24866, nogoods=833, foundSolutions=10, bestBound=100
13.48/8.07	    nFilterCalls=2201077, avgTableProportion=0.9968746497559899, avgTableSize=731.8070512753529
13.48/8.07	    
13.48/8.08	    num=143, depth=7..15, filters=1326235, revisions=(4230979,useless=3936672), ccks=4931653, wck=5.586, mem=111M143
13.48/8.08	    decisions=95564, wrong=46942, backtracks=55772, failedAssignments=24883, nogoods=835, foundSolutions=10, bestBound=100
13.48/8.08	    nFilterCalls=2203242, avgTableProportion=0.9968745153151585, avgTableSize=731.7522087905005
13.48/8.08	    
13.48/8.09	    num=144, depth=7..18, filters=1327819, revisions=(4236433,useless=3941725), ccks=4937888, wck=5.592, mem=111M143
13.48/8.09	    decisions=95658, wrong=46981, backtracks=55795, failedAssignments=24902, nogoods=839, foundSolutions=10, bestBound=100
13.48/8.09	    nFilterCalls=2205630, avgTableProportion=0.996874597102628, avgTableSize=731.747300317823
13.48/8.09	    
13.48/8.09	    num=145, depth=9..17, filters=1329120, revisions=(4241480,useless=3946403), ccks=4944668, wck=5.598, mem=111M143
13.48/8.09	    decisions=95746, wrong=47020, backtracks=55822, failedAssignments=24923, nogoods=843, foundSolutions=10, bestBound=100
13.48/8.09	    nFilterCalls=2207671, avgTableProportion=0.9968748530746264, avgTableSize=731.7813283772808
13.48/8.09	    
13.48/8.10	    num=146, depth=8..20, filters=1330585, revisions=(4246427,useless=3950990), ccks=4949322, wck=5.604, mem=111M143
13.48/8.10	    decisions=95835, wrong=47060, backtracks=55848, failedAssignments=24946, nogoods=845, foundSolutions=10, bestBound=100
13.48/8.10	    nFilterCalls=2210092, avgTableProportion=0.9968751854297264, avgTableSize=731.8002160091073
13.48/8.10	    
13.58/8.11	    num=147, depth=7..18, filters=1332482, revisions=(4253172,useless=3957220), ccks=4956644, wck=5.612, mem=111M143
13.58/8.11	    decisions=95952, wrong=47111, backtracks=55882, failedAssignments=24971, nogoods=852, foundSolutions=10, bestBound=100
13.58/8.11	    nFilterCalls=2213031, avgTableProportion=0.9968755448720455, avgTableSize=731.8411572183128
13.58/8.11	    
13.58/8.11	    num=148, depth=9..20, filters=1333925, revisions=(4257729,useless=3961435), ccks=4962048, wck=5.617, mem=111M143
13.58/8.11	    decisions=96040, wrong=47150, backtracks=55902, failedAssignments=24999, nogoods=854, foundSolutions=10, bestBound=100
13.58/8.11	    nFilterCalls=2215285, avgTableProportion=0.9968758314266363, avgTableSize=731.8472837580717
13.58/8.11	    
13.58/8.12	    num=149, depth=4..16, filters=1336064, revisions=(4265397,useless=3968519), ccks=4975447, wck=5.627, mem=111M143
13.58/8.12	    decisions=96177, wrong=47214, backtracks=55944, failedAssignments=25030, nogoods=858, foundSolutions=10, bestBound=100
13.58/8.12	    nFilterCalls=2218519, avgTableProportion=0.9968762816544917, avgTableSize=731.9559827975329
13.58/8.12	    
13.58/8.13	    num=150, depth=1..14, filters=1337902, revisions=(4272404,useless=3974992), ccks=4986064, wck=5.635, mem=111M143
13.58/8.13	    decisions=96308, wrong=47279, backtracks=55986, failedAssignments=25064, nogoods=860, foundSolutions=10, bestBound=100
13.58/8.13	    nFilterCalls=2221559, avgTableProportion=0.9968767422504361, avgTableSize=732.041232755916
13.58/8.13	    
13.58/8.14	    num=151, depth=8..20, filters=1339684, revisions=(4278738,useless=3980808), ccks=4998304, wck=5.644, mem=111M143
13.58/8.14	    decisions=96456, wrong=47347, backtracks=56029, failedAssignments=25101, nogoods=868, foundSolutions=10, bestBound=100
13.58/8.14	    nFilterCalls=2224223, avgTableProportion=0.9968773360663048, avgTableSize=732.1608579715254
13.58/8.14	    
13.58/8.15	    num=152, depth=3..19, filters=1342759, revisions=(4288964,useless=3990338), ccks=5011813, wck=5.656, mem=111M143
13.58/8.15	    decisions=96628, wrong=47427, backtracks=56086, failedAssignments=25142, nogoods=876, foundSolutions=10, bestBound=100
13.58/8.15	    nFilterCalls=2229022, avgTableProportion=0.996876936776047, avgTableSize=732.0663120417834
13.58/8.15	    
13.58/8.16	    num=153, depth=6..131, filters=1344729, revisions=(4294917,useless=3995797), ccks=5018011, wck=5.663, mem=111M143
13.58/8.16	    decisions=96768, wrong=47493, backtracks=56232, failedAssignments=25187, nogoods=879, foundSolutions=10, bestBound=100
13.58/8.16	    nFilterCalls=2232174, avgTableProportion=0.9968775003448498, avgTableSize=732.193909614573
13.58/8.16	    
13.58/8.17	    num=154, depth=4..18, filters=1347537, revisions=(4304654,useless=4004747), ccks=5035859, wck=5.676, mem=111M143
13.58/8.17	    decisions=96959, wrong=47584, backtracks=56284, failedAssignments=25237, nogoods=882, foundSolutions=10, bestBound=100
13.58/8.17	    nFilterCalls=2236429, avgTableProportion=0.9968778487676282, avgTableSize=732.254366671153
13.58/8.17	    
13.58/8.18	    num=155, depth=4..21, filters=1350836, revisions=(4314975,useless=4014265), ccks=5049328, wck=5.688, mem=111M143
13.58/8.18	    decisions=97225, wrong=47712, backtracks=56372, failedAssignments=25292, nogoods=887, foundSolutions=10, bestBound=100
13.58/8.18	    nFilterCalls=2241340, avgTableProportion=0.9968777558717291, avgTableSize=732.2706773626492
13.58/8.18	    
13.58/8.20	    num=156, depth=9..20, filters=1354248, revisions=(4326554,useless=4024999), ccks=5065903, wck=5.702, mem=111M143
13.58/8.20	    decisions=97459, wrong=47823, backtracks=56439, failedAssignments=25353, nogoods=891, foundSolutions=10, bestBound=100
13.58/8.20	    nFilterCalls=2246875, avgTableProportion=0.9968788627652511, avgTableSize=732.4870328789987
13.58/8.20	    
13.67/8.22	    num=157, depth=3..21, filters=1359769, revisions=(4344520,useless=4041335), ccks=5094296, wck=5.724, mem=111M143
13.67/8.22	    decisions=97812, wrong=47996, backtracks=56557, failedAssignments=25420, nogoods=895, foundSolutions=10, bestBound=100
13.67/8.22	    nFilterCalls=2254113, avgTableProportion=0.9968799150813684, avgTableSize=732.7010633450941
13.67/8.22	    
13.67/8.24	    num=158, depth=4..23, filters=1363838, revisions=(4358478,useless=4054303), ccks=5121132, wck=5.742, mem=111M143
13.67/8.24	    decisions=98115, wrong=48139, backtracks=56644, failedAssignments=25494, nogoods=901, foundSolutions=10, bestBound=100
13.67/8.24	    nFilterCalls=2260671, avgTableProportion=0.9968798874847425, avgTableSize=732.6635388342664
13.67/8.24	    
13.67/8.25	    num=159, depth=6..18, filters=1367271, revisions=(4369162,useless=4064127), ccks=5132152, wck=5.754, mem=111M143
13.67/8.25	    decisions=98375, wrong=48264, backtracks=56716, failedAssignments=25575, nogoods=906, foundSolutions=10, bestBound=100
13.67/8.25	    nFilterCalls=2265769, avgTableProportion=0.9968793162829847, avgTableSize=732.477145728448
13.67/8.25	    
13.67/8.26	    num=160, depth=7..135, filters=1370769, revisions=(4380065,useless=4074366), ccks=5149555, wck=5.769, mem=111M143
13.67/8.26	    decisions=98681, wrong=48407, backtracks=56920, failedAssignments=25664, nogoods=913, foundSolutions=10, bestBound=100
13.67/8.26	    nFilterCalls=2271723, avgTableProportion=0.9968805451351624, avgTableSize=732.8286019026087
13.67/8.26	    
13.67/8.28	    num=161, depth=11..22, filters=1376282, revisions=(4398109,useless=4091138), ccks=5177025, wck=5.79, mem=111M143
13.67/8.28	    decisions=99042, wrong=48579, backtracks=57023, failedAssignments=25762, nogoods=920, foundSolutions=10, bestBound=100
13.67/8.28	    nFilterCalls=2280090, avgTableProportion=0.9968801076908175, avgTableSize=732.7141568973154
13.67/8.28	    
13.78/8.31	    num=162, depth=5..19, filters=1382447, revisions=(4420533,useless=4112085), ccks=5216781, wck=5.819, mem=111M143
13.78/8.31	    decisions=99446, wrong=48778, backtracks=57147, failedAssignments=25870, nogoods=924, foundSolutions=10, bestBound=100
13.78/8.31	    nFilterCalls=2289797, avgTableProportion=0.9968806089960067, avgTableSize=732.8623515534347
13.78/8.31	    
13.78/8.34	    num=163, depth=9..177, filters=1389719, revisions=(4445092,useless=4134750), ccks=5253276, wck=5.849, mem=111M143
13.78/8.34	    decisions=99899, wrong=48999, backtracks=57451, failedAssignments=25989, nogoods=929, foundSolutions=10, bestBound=100
13.78/8.34	    nFilterCalls=2301378, avgTableProportion=0.9968820745052176, avgTableSize=733.2050723523037
13.78/8.34	    
13.78/8.37	    num=164, depth=8..25, filters=1397505, revisions=(4468254,useless=4156440), ccks=5277008, wck=5.876, mem=111M143
13.78/8.37	    decisions=100421, wrong=49255, backtracks=57619, failedAssignments=26120, nogoods=937, foundSolutions=10, bestBound=100
13.78/8.37	    nFilterCalls=2314539, avgTableProportion=0.996881668896486, avgTableSize=733.2214272474994
13.78/8.37	    
13.88/8.41	    num=165, depth=0..22, filters=1406848, revisions=(4498137,useless=4184017), ccks=5315153, wck=5.911, mem=113M786
13.88/8.41	    decisions=101007, wrong=49540, backtracks=57843, failedAssignments=26264, nogoods=941, foundSolutions=10, bestBound=100
13.88/8.41	    nFilterCalls=2328678, avgTableProportion=0.996881462514327, avgTableSize=733.1648647859429
13.88/8.41	    
13.88/8.44	    num=166, depth=3..19, filters=1416455, revisions=(4532082,useless=4215819), ccks=5361171, wck=5.95, mem=113M786
13.88/8.44	    decisions=101604, wrong=49832, backtracks=58033, failedAssignments=26422, nogoods=952, foundSolutions=10, bestBound=100
13.88/8.44	    nFilterCalls=2343827, avgTableProportion=0.9968819499218432, avgTableSize=733.185231674522
13.88/8.44	    
13.88/8.48	    num=167, depth=10..23, filters=1425506, revisions=(4562735,useless=4244411), ccks=5396529, wck=5.984, mem=113M786
13.88/8.48	    decisions=102287, wrong=50167, backtracks=58245, failedAssignments=26596, nogoods=957, foundSolutions=10, bestBound=100
13.88/8.48	    nFilterCalls=2358701, avgTableProportion=0.9968821942937105, avgTableSize=733.309260478543
13.88/8.48	    
13.98/8.52	    num=168, depth=9..26, filters=1436678, revisions=(4598234,useless=4277007), ccks=5455696, wck=6.027, mem=113M786
13.98/8.52	    decisions=103100, wrong=50568, backtracks=58528, failedAssignments=26787, nogoods=962, foundSolutions=10, bestBound=100
13.98/8.52	    nFilterCalls=2373614, avgTableProportion=0.996881196248553, avgTableSize=733.0361836423277
13.98/8.52	    
13.98/8.57	    num=169, depth=6..24, filters=1448497, revisions=(4637383,useless=4313230), ccks=5518831, wck=6.077, mem=113M786
13.98/8.57	    decisions=103900, wrong=50961, backtracks=58780, failedAssignments=26998, nogoods=971, foundSolutions=10, bestBound=100
13.98/8.57	    nFilterCalls=2393791, avgTableProportion=0.9968845229473973, avgTableSize=733.5385077477524
13.98/8.57	    
14.08/8.62	    num=170, depth=2..116, filters=1459026, revisions=(4673445,useless=4346756), ccks=5575566, wck=6.123, mem=113M786
14.08/8.62	    decisions=104695, wrong=51353, backtracks=59126, failedAssignments=27230, nogoods=981, foundSolutions=10, bestBound=100
14.08/8.62	    nFilterCalls=2412083, avgTableProportion=0.9968863600516563, avgTableSize=733.9795575027891
14.08/8.62	    
14.08/8.65	    num=171, depth=3..173, filters=1467486, revisions=(4703422,useless=4375054), ccks=5604543, wck=6.159, mem=113M786
14.08/8.65	    decisions=105408, wrong=51707, backtracks=59910, failedAssignments=27485, nogoods=991, foundSolutions=10, bestBound=100
14.08/8.65	    nFilterCalls=2429450, avgTableProportion=0.9968874011007769, avgTableSize=734.1854003992673
14.08/8.65	    
14.18/8.72	    num=172, depth=3..137, filters=1482393, revisions=(4756015,useless=4424247), ccks=5681972, wck=6.223, mem=113M786
14.18/8.72	    decisions=106382, wrong=52189, backtracks=60441, failedAssignments=27766, nogoods=1000, foundSolutions=10, bestBound=100
14.18/8.72	    nFilterCalls=2455422, avgTableProportion=0.9968894514856361, avgTableSize=734.5147538793739
14.18/8.72	    
14.18/8.78	    num=173, depth=6..173, filters=1498695, revisions=(4808007,useless=4472576), ccks=5746938, wck=6.283, mem=113M786
14.18/8.78	    decisions=107490, wrong=52733, backtracks=61230, failedAssignments=28075, nogoods=1007, foundSolutions=10, bestBound=100
14.18/8.78	    nFilterCalls=2480371, avgTableProportion=0.9968872084134354, avgTableSize=734.1172852770816
14.18/8.78	    
14.28/8.88	    num=174, depth=3..25, filters=1518748, revisions=(4880949,useless=4539979), ccks=5909553, wck=6.384, mem=113M786
14.28/8.88	    decisions=108928, wrong=53447, backtracks=61729, failedAssignments=28415, nogoods=1017, foundSolutions=10, bestBound=100
14.28/8.88	    nFilterCalls=2509776, avgTableProportion=0.996890427169428, avgTableSize=734.8068923282397
14.28/8.88	    
14.38/8.96	    num=175, depth=7..116, filters=1539345, revisions=(4949198,useless=4603381), ccks=6009476, wck=6.463, mem=116M428
14.38/8.96	    decisions=110219, wrong=54083, backtracks=62233, failedAssignments=28789, nogoods=1024, foundSolutions=10, bestBound=100
14.38/8.96	    nFilterCalls=2541005, avgTableProportion=0.9968891967964223, avgTableSize=734.4656484343793
14.38/8.96	    
14.49/9.05	    num=176, depth=2..24, filters=1565341, revisions=(5033000,useless=4681291), ccks=6101825, wck=6.555, mem=116M428
14.49/9.05	    decisions=111906, wrong=54923, backtracks=62857, failedAssignments=29200, nogoods=1029, foundSolutions=10, bestBound=100
14.49/9.05	    nFilterCalls=2582826, avgTableProportion=0.9968892251679805, avgTableSize=734.1196720181692
14.49/9.05	    
14.59/9.14	    num=177, depth=0..174, filters=1586050, revisions=(5101320,useless=4744631), ccks=6202759, wck=6.645, mem=116M428
14.59/9.14	    decisions=113503, wrong=55718, backtracks=63858, failedAssignments=29652, nogoods=1040, foundSolutions=10, bestBound=100
14.59/9.14	    nFilterCalls=2619464, avgTableProportion=0.9968929302908206, avgTableSize=734.6865236552211
14.59/9.14	    
14.68/9.23	    num=178, depth=2..170, filters=1609168, revisions=(5173252,useless=4812299), ccks=6291166, wck=6.732, mem=116M428
14.68/9.23	    decisions=115297, wrong=56612, backtracks=64639, failedAssignments=30149, nogoods=1053, foundSolutions=10, bestBound=100
14.68/9.23	    nFilterCalls=2660025, avgTableProportion=0.9968911416864178, avgTableSize=734.6283689063073
14.68/9.23	    
14.78/9.35	    num=179, depth=7..175, filters=1638297, revisions=(5274527,useless=4906105), ccks=6442283, wck=6.858, mem=116M428
14.78/9.35	    decisions=117445, wrong=57678, backtracks=65654, failedAssignments=30696, nogoods=1061, foundSolutions=10, bestBound=100
14.78/9.35	    nFilterCalls=2709983, avgTableProportion=0.9968981410385391, avgTableSize=735.6895393808743
14.78/9.35	    
14.88/9.47	    num=180, depth=4..173, filters=1668501, revisions=(5372884,useless=4997726), ccks=6580894, wck=6.976, mem=119M71
14.88/9.47	    decisions=119556, wrong=58726, backtracks=67212, failedAssignments=31298, nogoods=1067, foundSolutions=10, bestBound=100
14.88/9.47	    nFilterCalls=2757093, avgTableProportion=0.9968940562988211, avgTableSize=734.716501764721
14.88/9.47	    
15.08/9.65	    num=181, depth=6..22, filters=1712030, revisions=(5522335,useless=5136868), ccks=6812221, wck=7.155, mem=119M71
15.08/9.65	    decisions=122317, wrong=60100, backtracks=68190, failedAssignments=31960, nogoods=1074, foundSolutions=10, bestBound=100
15.08/9.65	    nFilterCalls=2825000, avgTableProportion=0.9968929300740536, avgTableSize=734.1994456637168
15.08/9.65	    
15.28/9.82	    num=182, depth=2..23, filters=1756973, revisions=(5666533,useless=5271376), ccks=7015099, wck=7.331, mem=119M71
15.28/9.82	    decisions=125224, wrong=61548, backtracks=69219, failedAssignments=32688, nogoods=1083, foundSolutions=10, bestBound=100
15.28/9.82	    nFilterCalls=2890080, avgTableProportion=0.9968844413814844, avgTableSize=732.4833336793445
15.28/9.82	    
15.47/10.01	    num=183, depth=9..133, filters=1798408, revisions=(5805705,useless=5399565), ccks=7221795, wck=7.511, mem=121M713
15.47/10.01	    decisions=128267, wrong=63063, backtracks=70284, failedAssignments=33489, nogoods=1098, foundSolutions=10, bestBound=100
15.47/10.01	    nFilterCalls=2956774, avgTableProportion=0.996893686222591, avgTableSize=734.0030864719455
15.47/10.01	    
15.68/10.17	    num=184, depth=4..23, filters=1844188, revisions=(5956413,useless=5540414), ccks=7379175, wck=7.68, mem=121M713
15.68/10.17	    decisions=131510, wrong=64680, backtracks=71380, failedAssignments=34370, nogoods=1108, foundSolutions=10, bestBound=100
15.68/10.17	    nFilterCalls=3035253, avgTableProportion=0.9968948053664486, avgTableSize=734.0879979362511
15.68/10.17	    
15.97/10.40	    num=185, depth=6..23, filters=1901969, revisions=(6140984,useless=5710830), ccks=7644295, wck=7.908, mem=121M713
15.97/10.40	    decisions=135205, wrong=66520, backtracks=72551, failedAssignments=35340, nogoods=1122, foundSolutions=10, bestBound=100
15.97/10.40	    nFilterCalls=3125545, avgTableProportion=0.9969018710821115, avgTableSize=735.4725636648968
15.97/10.40	    
16.17/10.65	    num=186, depth=5..21, filters=1961487, revisions=(6355602,useless=5912034), ccks=7937993, wck=8.158, mem=124M356
16.17/10.65	    decisions=139302, wrong=68562, backtracks=74003, failedAssignments=36407, nogoods=1140, foundSolutions=10, bestBound=100
16.17/10.65	    nFilterCalls=3228780, avgTableProportion=0.9969067473732115, avgTableSize=736.9349497333358
16.17/10.65	    
16.48/10.90	    num=187, depth=4..25, filters=2027008, revisions=(6567311,useless=6110155), ccks=8220607, wck=8.403, mem=124M356
16.48/10.90	    decisions=143630, wrong=70722, backtracks=75517, failedAssignments=37580, nogoods=1146, foundSolutions=10, bestBound=100
16.48/10.90	    nFilterCalls=3333612, avgTableProportion=0.996901021557064, avgTableSize=735.6104453667673
16.48/10.90	    
16.69/11.13	    num=188, depth=1..166, filters=2092031, revisions=(6770070,useless=6300213), ccks=8407063, wck=8.639, mem=124M356
16.69/11.13	    decisions=148779, wrong=73291, backtracks=79048, failedAssignments=38871, nogoods=1157, foundSolutions=10, bestBound=100
16.69/11.13	    nFilterCalls=3452055, avgTableProportion=0.9969021874728964, avgTableSize=735.9856343540297
16.69/11.13	    
16.98/11.47	    num=189, depth=4..171, filters=2172094, revisions=(7044029,useless=6556490), ccks=8802088, wck=8.973, mem=126M998
16.98/11.47	    decisions=154087, wrong=75941, backtracks=80939, failedAssignments=40291, nogoods=1167, foundSolutions=10, bestBound=100
16.98/11.47	    nFilterCalls=3590524, avgTableProportion=0.9969078264542758, avgTableSize=736.5396660765949
16.98/11.47	    
17.28/11.78	    num=190, depth=5..175, filters=2250126, revisions=(7311819,useless=6807882), ccks=9082370, wck=9.282, mem=129M640
17.28/11.78	    decisions=159660, wrong=78721, backtracks=84889, failedAssignments=41853, nogoods=1179, foundSolutions=10, bestBound=100
17.28/11.78	    nFilterCalls=3738039, avgTableProportion=0.9969147294801752, avgTableSize=738.2622808376263
17.28/11.78	    
17.69/12.13	    num=191, depth=2..127, filters=2348651, revisions=(7629588,useless=7105901), ccks=9386519, wck=9.64, mem=129M640
17.69/12.13	    decisions=166004, wrong=81890, backtracks=87342, failedAssignments=43571, nogoods=1188, foundSolutions=10, bestBound=100
17.69/12.13	    nFilterCalls=3911459, avgTableProportion=0.9969146954534801, avgTableSize=737.8869245465695
17.69/12.13	    
17.98/12.40	    num=192, depth=1..171, filters=2429764, revisions=(7868761,useless=7333475), ccks=9552709, wck=9.911, mem=132M283
17.98/12.40	    decisions=172712, wrong=85240, backtracks=89902, failedAssignments=45461, nogoods=1198, foundSolutions=10, bestBound=100
17.98/12.40	    nFilterCalls=4069008, avgTableProportion=0.9969123323260818, avgTableSize=737.9378010561788
17.98/12.40	    
18.29/12.75	    num=193, depth=2..172, filters=2532849, revisions=(8180512,useless=7625103), ccks=9861313, wck=10.258, mem=132M283
18.29/12.75	    decisions=180763, wrong=89260, backtracks=93982, failedAssignments=47540, nogoods=1219, foundSolutions=10, bestBound=100
18.29/12.75	    nFilterCalls=4229284, avgTableProportion=0.9968925170277648, avgTableSize=734.0165935888912
18.29/12.75	    
18.79/13.24	    num=194, depth=2..128, filters=2657258, revisions=(8579046,useless=7994653), ccks=10380897, wck=10.742, mem=134M925
18.79/13.24	    decisions=189487, wrong=93616, backtracks=97099, failedAssignments=49827, nogoods=1230, foundSolutions=10, bestBound=100
18.79/13.24	    nFilterCalls=4427695, avgTableProportion=0.9969003001815786, avgTableSize=735.0375152308368
18.79/13.24	    
19.29/13.78	    num=195, depth=1..170, filters=2794704, revisions=(9032172,useless=8416241), ccks=10932977, wck=11.287, mem=137M568
19.29/13.78	    decisions=199145, wrong=98439, backtracks=101386, failedAssignments=52343, nogoods=1251, foundSolutions=10, bestBound=100
19.29/13.78	    nFilterCalls=4670689, avgTableProportion=0.9969097838583055, avgTableSize=736.2742511864952
19.29/13.78	    
19.89/14.39	    num=196, depth=2..172, filters=2950995, revisions=(9568709,useless=8918427), ccks=11524491, wck=11.892, mem=140M210
19.89/14.39	    decisions=209642, wrong=103682, backtracks=105760, failedAssignments=55111, nogoods=1258, foundSolutions=10, bestBound=100
19.89/14.39	    nFilterCalls=4943432, avgTableProportion=0.9969172914110527, avgTableSize=736.997513872953
19.89/14.39	    
20.69/15.11	    num=197, depth=0..21, filters=3129150, revisions=(10157273,useless=9464667), ccks=12392500, wck=12.617, mem=142M778
20.69/15.11	    decisions=221280, wrong=109495, backtracks=109618, failedAssignments=58155, nogoods=1267, foundSolutions=10, bestBound=100
20.69/15.11	    nFilterCalls=5235268, avgTableProportion=0.9969202091285274, avgTableSize=737.2621946001618
20.69/15.11	    
21.43/15.85	    num=198, depth=0..172, filters=3309960, revisions=(10775429,useless=10042018), ccks=13245677, wck=13.353, mem=28M849
21.43/15.85	    decisions=233273, wrong=115485, backtracks=114646, failedAssignments=61504, nogoods=1275, foundSolutions=10, bestBound=100
21.43/15.85	    nFilterCalls=5549249, avgTableProportion=0.9969225459917562, avgTableSize=737.8088413405129
21.43/15.85	    
22.03/16.48	    num=199, depth=0..170, filters=3488639, revisions=(11348217,useless=10580487), ccks=13830857, wck=13.981, mem=34M28
22.03/16.48	    decisions=246401, wrong=122045, backtracks=120525, failedAssignments=65188, nogoods=1291, foundSolutions=10, bestBound=100
22.03/16.48	    nFilterCalls=5865518, avgTableProportion=0.9969189309984025, avgTableSize=737.5139948423993
22.03/16.48	    
22.74/17.19	    num=200, depth=0..20, filters=3709225, revisions=(12025617,useless=11216437), ccks=14433057, wck=14.695, mem=36M617
22.74/17.19	    decisions=262045, wrong=129861, backtracks=126210, failedAssignments=69240, nogoods=1308, foundSolutions=10, bestBound=100
22.74/17.19	    nFilterCalls=6233026, avgTableProportion=0.9969072143782103, avgTableSize=736.1687717971977
22.74/17.19	    
23.74/18.11	    num=201, depth=2..174, filters=3958734, revisions=(12840962,useless=11982913), ccks=15321153, wck=15.612, mem=41M797
23.74/18.11	    decisions=278475, wrong=138071, backtracks=136601, failedAssignments=73697, nogoods=1318, foundSolutions=10, bestBound=100
23.74/18.11	    nFilterCalls=6682353, avgTableProportion=0.9969117572118567, avgTableSize=736.3147352437084
23.74/18.11	    
24.74/19.15	    num=202, depth=0..23, filters=4260788, revisions=(13814376,useless=12892003), ccks=16291111, wck=16.66, mem=44M386
24.74/19.15	    decisions=297539, wrong=147600, backtracks=143518, failedAssignments=78600, nogoods=1323, foundSolutions=10, bestBound=100
24.74/19.15	    nFilterCalls=7196466, avgTableProportion=0.9969132908673541, avgTableSize=735.4354495664955
24.74/19.15	    
25.74/20.17	    num=203, depth=0..137, filters=4559102, revisions=(14763809,useless=13783030), ccks=17223263, wck=17.679, mem=49M565
25.74/20.17	    decisions=317376, wrong=157514, backtracks=151172, failedAssignments=83994, nogoods=1333, foundSolutions=10, bestBound=100
25.74/20.17	    nFilterCalls=7702056, avgTableProportion=0.9969069375289609, avgTableSize=734.6960930951424
25.74/20.17	    
27.13/21.53	    num=204, depth=0..173, filters=4929124, revisions=(16014876,useless=14952468), ccks=18573248, wck=19.031, mem=54M744
27.13/21.53	    decisions=339711, wrong=168677, backtracks=159959, failedAssignments=89927, nogoods=1351, foundSolutions=10, bestBound=100
27.13/21.53	    nFilterCalls=8324066, avgTableProportion=0.9969120725662471, avgTableSize=735.0939658575509
27.13/21.53	    
27.64/22.06	o 96
27.64/22.06	    num=205, depth=2..226, filters=5070045, revisions=(16494688,useless=15402261), ccks=19119039, wck=19.566, mem=57M334
27.64/22.06	    decisions=348609, wrong=173120, backtracks=164300, failedAssignments=92256, nogoods=1360, foundSolutions=11, bestBound=96
27.64/22.06	    nFilterCalls=8573025, avgTableProportion=0.9969185313633272, avgTableSize=736.0659383356517
27.64/22.06	    
29.14/23.56	    num=206, depth=1..172, filters=5472566, revisions=(17880449,useless=16710199), ccks=20504095, wck=21.064, mem=62M513
29.14/23.56	    decisions=374628, wrong=186125, backtracks=174261, failedAssignments=99435, nogoods=1366, foundSolutions=11, bestBound=96
29.14/23.56	    nFilterCalls=9315985, avgTableProportion=0.9969263832432484, avgTableSize=737.2924500200462
29.14/23.56	    
29.14/23.56	    num=207, depth=10..15, filters=5473213, revisions=(17882308,useless=16711988), ccks=20505654, wck=21.066, mem=62M513
29.14/23.56	    decisions=374680, wrong=186146, backtracks=174276, failedAssignments=99446, nogoods=1368, foundSolutions=11, bestBound=96
29.14/23.56	    nFilterCalls=9317090, avgTableProportion=0.9969263428187957, avgTableSize=737.2900971225995
29.14/23.56	    
29.14/23.56	    num=208, depth=0..13, filters=5474132, revisions=(17885738,useless=16715216), ccks=20512488, wck=21.07, mem=62M513
29.14/23.56	    decisions=374733, wrong=186169, backtracks=174290, failedAssignments=99458, nogoods=1371, foundSolutions=11, bestBound=96
29.14/23.56	    nFilterCalls=9318538, avgTableProportion=0.9969263405267244, avgTableSize=737.2880618182809
29.14/23.56	    
29.14/23.57	    num=209, depth=6..12, filters=5475177, revisions=(17889302,useless=16718546), ccks=20516931, wck=21.075, mem=62M513
29.14/23.57	    decisions=374781, wrong=186190, backtracks=174308, failedAssignments=99471, nogoods=1374, foundSolutions=11, bestBound=96
29.14/23.57	    nFilterCalls=9320397, avgTableProportion=0.9969263642626083, avgTableSize=737.2881859002358
29.14/23.57	    
29.14/23.57	    num=210, depth=6..16, filters=5476048, revisions=(17892238,useless=16721327), ccks=20520591, wck=21.078, mem=65M103
29.14/23.57	    decisions=374839, wrong=186214, backtracks=174327, failedAssignments=99485, nogoods=1376, foundSolutions=11, bestBound=96
29.14/23.57	    nFilterCalls=9321777, avgTableProportion=0.9969262985282756, avgTableSize=737.2774545025053
29.14/23.57	    
29.14/23.58	    num=211, depth=0..12, filters=5477412, revisions=(17896874,useless=16725715), ccks=20525575, wck=21.083, mem=65M103
29.14/23.58	    decisions=374913, wrong=186249, backtracks=174359, failedAssignments=99501, nogoods=1378, foundSolutions=11, bestBound=96
29.14/23.58	    nFilterCalls=9324279, avgTableProportion=0.9969263144179643, avgTableSize=737.276455798888
29.14/23.58	    
29.14/23.58	    num=212, depth=3..15, filters=5478727, revisions=(17901401,useless=16729920), ccks=20532087, wck=21.089, mem=65M103
29.14/23.58	    decisions=374983, wrong=186279, backtracks=174381, failedAssignments=99518, nogoods=1384, foundSolutions=11, bestBound=96
29.14/23.58	    nFilterCalls=9326354, avgTableProportion=0.996926330398844, avgTableSize=737.2787149190348
29.14/23.58	    
29.14/23.59	    num=213, depth=5..15, filters=5480429, revisions=(17907132,useless=16735255), ccks=20539223, wck=21.095, mem=65M103
29.14/23.59	    decisions=375064, wrong=186316, backtracks=174407, failedAssignments=99537, nogoods=1388, foundSolutions=11, bestBound=96
29.14/23.59	    nFilterCalls=9328977, avgTableProportion=0.9969263631898415, avgTableSize=737.285269542416
29.14/23.59	    
29.14/23.59	    num=214, depth=10..19, filters=5481715, revisions=(17911484,useless=16739329), ccks=20544811, wck=21.1, mem=65M103
29.14/23.59	    decisions=375147, wrong=186349, backtracks=174426, failedAssignments=99558, nogoods=1396, foundSolutions=11, bestBound=96
29.14/23.59	    nFilterCalls=9331229, avgTableProportion=0.9969263642216218, avgTableSize=737.2830223114233
29.14/23.59	    
29.24/23.60	    num=215, depth=2..174, filters=5482913, revisions=(17915723,useless=16743356), ccks=20550667, wck=21.106, mem=65M103
29.24/23.60	    decisions=375221, wrong=186381, backtracks=174768, failedAssignments=99581, nogoods=1399, foundSolutions=11, bestBound=96
29.24/23.60	    nFilterCalls=9333969, avgTableProportion=0.9969263639141258, avgTableSize=737.2833379883734
29.24/23.60	    
29.24/23.61	    num=216, depth=4..24, filters=5484743, revisions=(17921766,useless=16749013), ccks=20559608, wck=21.114, mem=65M103
29.24/23.61	    decisions=375361, wrong=186441, backtracks=174814, failedAssignments=99606, nogoods=1402, foundSolutions=11, bestBound=96
29.24/23.61	    nFilterCalls=9336988, avgTableProportion=0.9969263736281517, avgTableSize=737.2794076633706
29.24/23.61	    
29.24/23.61	    num=217, depth=8..18, filters=5486413, revisions=(17927460,useless=16754293), ccks=20566165, wck=21.12, mem=65M103
29.24/23.61	    decisions=375479, wrong=186495, backtracks=174849, failedAssignments=99634, nogoods=1406, foundSolutions=11, bestBound=96
29.24/23.61	    nFilterCalls=9340012, avgTableProportion=0.9969264410326516, avgTableSize=737.2868178327823
29.24/23.61	    
29.24/23.62	    num=218, depth=6..15, filters=5488539, revisions=(17934827,useless=16761111), ccks=20576736, wck=21.129, mem=65M103
29.24/23.62	    decisions=375597, wrong=186550, backtracks=174881, failedAssignments=99665, nogoods=1412, foundSolutions=11, bestBound=96
29.24/23.62	    nFilterCalls=9343474, avgTableProportion=0.9969265199283619, avgTableSize=737.2954184920941
29.24/23.62	    
29.24/23.63	    num=219, depth=10..18, filters=5490181, revisions=(17940204,useless=16766198), ccks=20581564, wck=21.135, mem=65M103
29.24/23.63	    decisions=375736, wrong=186613, backtracks=174920, failedAssignments=99699, nogoods=1418, foundSolutions=11, bestBound=96
29.24/23.63	    nFilterCalls=9346423, avgTableProportion=0.9969264336099158, avgTableSize=737.2821592816846
29.24/23.63	    
29.24/23.64	    num=220, depth=5..14, filters=5492722, revisions=(17948732,useless=16774103), ccks=20592770, wck=21.145, mem=65M103
29.24/23.64	    decisions=375893, wrong=186689, backtracks=174972, failedAssignments=99736, nogoods=1420, foundSolutions=11, bestBound=96
29.24/23.64	    nFilterCalls=9350843, avgTableProportion=0.9969265525949312, avgTableSize=737.3093398103251
29.24/23.64	    
29.24/23.65	    num=221, depth=0..19, filters=5495106, revisions=(17957587,useless=16782462), ccks=20604086, wck=21.155, mem=65M103
29.24/23.65	    decisions=376050, wrong=186763, backtracks=175021, failedAssignments=99777, nogoods=1426, foundSolutions=11, bestBound=96
29.24/23.65	    nFilterCalls=9354955, avgTableProportion=0.9969265646992282, avgTableSize=737.3169415566404
29.24/23.65	    
29.24/23.66	    num=222, depth=6..173, filters=5497293, revisions=(17965100,useless=16789541), ccks=20612349, wck=21.164, mem=65M103
29.24/23.66	    decisions=376211, wrong=186839, backtracks=175390, failedAssignments=99822, nogoods=1428, foundSolutions=11, bestBound=96
29.24/23.66	    nFilterCalls=9358870, avgTableProportion=0.9969263821620375, avgTableSize=737.2867048051742
29.24/23.66	    
29.24/23.67	    num=223, depth=4..18, filters=5500300, revisions=(17975221,useless=16799050), ccks=20624951, wck=21.176, mem=65M103
29.24/23.67	    decisions=376383, wrong=186920, backtracks=175440, failedAssignments=99872, nogoods=1433, foundSolutions=11, bestBound=96
29.24/23.67	    nFilterCalls=9364177, avgTableProportion=0.9969263869552835, avgTableSize=737.2962175960578
29.24/23.67	    
29.24/23.68	    num=224, depth=7..17, filters=5503381, revisions=(17985614,useless=16808907), ccks=20635961, wck=21.187, mem=65M103
29.24/23.68	    decisions=376589, wrong=187019, backtracks=175510, failedAssignments=99927, nogoods=1439, foundSolutions=11, bestBound=96
29.24/23.68	    nFilterCalls=9369740, avgTableProportion=0.9969263029802488, avgTableSize=737.267664310856
29.24/23.68	    
29.24/23.69	    num=225, depth=3..15, filters=5506195, revisions=(17994856,useless=16817634), ccks=20643547, wck=21.197, mem=65M103
29.24/23.69	    decisions=376804, wrong=187124, backtracks=175587, failedAssignments=99988, nogoods=1444, foundSolutions=11, bestBound=96
29.24/23.69	    nFilterCalls=9375291, avgTableProportion=0.9969263192691951, avgTableSize=737.2824159804746
29.24/23.69	    
29.35/23.71	    num=226, depth=6..17, filters=5510423, revisions=(18009085,useless=16830951), ccks=20657984, wck=21.213, mem=65M103
29.35/23.71	    decisions=377068, wrong=187251, backtracks=175675, failedAssignments=100055, nogoods=1447, foundSolutions=11, bestBound=96
29.35/23.71	    nFilterCalls=9382861, avgTableProportion=0.9969266424314582, avgTableSize=737.330671956027
29.35/23.71	    
29.35/23.73	    num=227, depth=5..19, filters=5515483, revisions=(18026377,useless=16847109), ccks=20676550, wck=21.232, mem=65M103
29.35/23.73	    decisions=377378, wrong=187399, backtracks=175778, failedAssignments=100129, nogoods=1452, foundSolutions=11, bestBound=96
29.35/23.73	    nFilterCalls=9390765, avgTableProportion=0.9969266606656253, avgTableSize=737.3332627320565
29.35/23.73	    
29.35/23.75	    num=228, depth=6..18, filters=5520400, revisions=(18043289,useless=16862961), ccks=20698901, wck=21.252, mem=65M103
29.35/23.75	    decisions=377655, wrong=187533, backtracks=175859, failedAssignments=100210, nogoods=1459, foundSolutions=11, bestBound=96
29.35/23.75	    nFilterCalls=9399141, avgTableProportion=0.9969267129706317, avgTableSize=737.3428567568036
29.35/23.75	    
29.35/23.76	    num=229, depth=2..17, filters=5525237, revisions=(18058637,useless=16877436), ccks=20712931, wck=21.269, mem=65M103
29.35/23.76	    decisions=378008, wrong=187706, backtracks=175984, failedAssignments=100299, nogoods=1467, foundSolutions=11, bestBound=96
29.35/23.76	    nFilterCalls=9408255, avgTableProportion=0.9969266725948353, avgTableSize=737.3417511536411
29.35/23.76	    
29.35/23.79	    num=230, depth=4..18, filters=5531734, revisions=(18081015,useless=16898457), ccks=20749304, wck=21.295, mem=65M103
29.35/23.79	    decisions=378375, wrong=187884, backtracks=176109, failedAssignments=100397, nogoods=1473, foundSolutions=11, bestBound=96
29.35/23.79	    nFilterCalls=9419152, avgTableProportion=0.9969266640153601, avgTableSize=737.3408753781657
29.35/23.79	    
29.45/23.80	    num=231, depth=1..11, filters=5534744, revisions=(18091271,useless=16908165), ccks=20756736, wck=21.306, mem=65M103
29.45/23.80	    decisions=378650, wrong=188020, backtracks=176168, failedAssignments=100505, nogoods=1483, foundSolutions=11, bestBound=96
29.45/23.80	    nFilterCalls=9425940, avgTableProportion=0.9969268085258849, avgTableSize=737.3606117798331
29.45/23.80	    
29.45/23.83	    num=232, depth=6..19, filters=5542810, revisions=(18116918,useless=16932157), ccks=20788512, wck=21.336, mem=65M103
29.45/23.83	    decisions=379145, wrong=188263, backtracks=176354, failedAssignments=100624, nogoods=1488, foundSolutions=11, bestBound=96
29.45/23.83	    nFilterCalls=9438663, avgTableProportion=0.9969268038034241, avgTableSize=737.3412111439936
29.45/23.83	    
29.45/23.86	    num=233, depth=5..20, filters=5551577, revisions=(18148273,useless=16961496), ccks=20824420, wck=21.368, mem=65M103
29.45/23.86	    decisions=379701, wrong=188536, backtracks=176541, failedAssignments=100755, nogoods=1493, foundSolutions=11, bestBound=96
29.45/23.86	    nFilterCalls=9452610, avgTableProportion=0.996926645340365, avgTableSize=737.3136455434002
29.45/23.86	    
29.55/23.90	    num=234, depth=2..16, filters=5561750, revisions=(18184169,useless=16994662), ccks=20874935, wck=21.408, mem=65M103
29.55/23.90	    decisions=380297, wrong=188830, backtracks=176756, failedAssignments=100899, nogoods=1501, foundSolutions=11, bestBound=96
29.55/23.90	    nFilterCalls=9467877, avgTableProportion=0.9969269893640461, avgTableSize=737.3541650361533
29.55/23.90	    
29.55/23.94	    num=235, depth=4..16, filters=5571623, revisions=(18216866,useless=17025311), ccks=20911308, wck=21.445, mem=67M692
29.55/23.94	    decisions=380910, wrong=189132, backtracks=176973, failedAssignments=101057, nogoods=1508, foundSolutions=11, bestBound=96
29.55/23.94	    nFilterCalls=9484419, avgTableProportion=0.9969269282064127, avgTableSize=737.3360148892621
29.55/23.94	    
29.55/23.97	    num=236, depth=2..17, filters=5579753, revisions=(18242744,useless=17049806), ccks=20941909, wck=21.474, mem=67M692
29.55/23.97	    decisions=381551, wrong=189449, backtracks=177208, failedAssignments=101231, nogoods=1517, foundSolutions=11, bestBound=96
29.55/23.97	    nFilterCalls=9498479, avgTableProportion=0.9969264697407288, avgTableSize=737.2178492998721
29.55/23.97	    
29.66/24.01	    num=237, depth=3..17, filters=5590702, revisions=(18279189,useless=17084363), ccks=20975327, wck=21.513, mem=67M692
29.66/24.01	    decisions=382243, wrong=189791, backtracks=177434, failedAssignments=101422, nogoods=1527, foundSolutions=11, bestBound=96
29.66/24.01	    nFilterCalls=9517728, avgTableProportion=0.9969262814779933, avgTableSize=737.2098974671266
29.66/24.01	    
29.66/24.06	    num=238, depth=4..171, filters=5602790, revisions=(18322924,useless=17125472), ccks=21037294, wck=21.563, mem=67M692
29.66/24.06	    decisions=383038, wrong=190184, backtracks=177869, failedAssignments=101633, nogoods=1532, foundSolutions=11, bestBound=96
29.66/24.06	    nFilterCalls=9539937, avgTableProportion=0.9969266949605212, avgTableSize=737.2483887472213
29.66/24.06	    
29.76/24.11	    num=239, depth=4..131, filters=5617404, revisions=(18372621,useless=17172198), ccks=21108663, wck=21.62, mem=67M692
29.76/24.11	    decisions=383834, wrong=190577, backtracks=178259, failedAssignments=101865, nogoods=1535, foundSolutions=11, bestBound=96
29.76/24.11	    nFilterCalls=9563937, avgTableProportion=0.9969265573500748, avgTableSize=737.1929292298768
29.76/24.11	    
29.76/24.16	    num=240, depth=2..15, filters=5630705, revisions=(18421891,useless=17218571), ccks=21155872, wck=21.67, mem=67M692
29.76/24.16	    decisions=384773, wrong=191045, backtracks=178580, failedAssignments=102120, nogoods=1541, foundSolutions=11, bestBound=96
29.76/24.16	    nFilterCalls=9588942, avgTableProportion=0.9969270945574894, avgTableSize=737.2552348319554
29.76/24.16	    
29.86/24.21	    num=241, depth=3..16, filters=5644105, revisions=(18464952,useless=17259582), ccks=21189329, wck=21.717, mem=67M692
29.86/24.21	    decisions=385860, wrong=191586, backtracks=178980, failedAssignments=102401, nogoods=1548, foundSolutions=11, bestBound=96
29.86/24.21	    nFilterCalls=9615789, avgTableProportion=0.9969270138446547, avgTableSize=737.2263863110973
29.86/24.21	    
29.86/24.28	    num=242, depth=4..21, filters=5662458, revisions=(18528240,useless=17318999), ccks=21268772, wck=21.785, mem=67M692
29.86/24.28	    decisions=387057, wrong=192180, backtracks=179407, failedAssignments=102710, nogoods=1557, foundSolutions=11, bestBound=96
29.86/24.28	    nFilterCalls=9644047, avgTableProportion=0.9969265787542358, avgTableSize=737.1283647829589
29.86/24.28	    
29.96/24.35	    num=243, depth=3..15, filters=5681845, revisions=(18585551,useless=17372502), ccks=21329740, wck=21.852, mem=67M692
29.96/24.35	    decisions=388321, wrong=192810, backtracks=179852, failedAssignments=103050, nogoods=1572, foundSolutions=11, bestBound=96
29.96/24.35	    nFilterCalls=9678014, avgTableProportion=0.9969269855353661, avgTableSize=737.2171187187785
29.96/24.35	    
30.06/24.40	    num=244, depth=2..18, filters=5699428, revisions=(18641013,useless=17425416), ccks=21364820, wck=21.91, mem=67M692
30.06/24.40	    decisions=389734, wrong=193514, backtracks=180409, failedAssignments=103424, nogoods=1580, foundSolutions=11, bestBound=96
30.06/24.40	    nFilterCalls=9712312, avgTableProportion=0.9969267095232117, avgTableSize=737.2330455405469
30.06/24.40	    
30.16/24.50	    num=245, depth=0..138, filters=5724402, revisions=(18723377,useless=17502884), ccks=21451408, wck=22.004, mem=70M282
30.16/24.50	    decisions=391284, wrong=194284, backtracks=181171, failedAssignments=103835, nogoods=1583, foundSolutions=11, bestBound=96
30.16/24.50	    nFilterCalls=9755000, avgTableProportion=0.9969269903766225, avgTableSize=737.2760481804203
30.16/24.50	    
30.26/24.60	    num=246, depth=3..127, filters=5752044, revisions=(18814242,useless=17588602), ccks=21536929, wck=22.104, mem=70M282
30.26/24.60	    decisions=392902, wrong=195089, backtracks=181870, failedAssignments=104287, nogoods=1593, foundSolutions=11, bestBound=96
30.26/24.60	    nFilterCalls=9803661, avgTableProportion=0.9969271911940069, avgTableSize=737.2481420971206
30.26/24.60	    
30.36/24.70	    num=247, depth=1..173, filters=5779264, revisions=(18901409,useless=17670732), ccks=21622700, wck=22.202, mem=70M282
30.36/24.70	    decisions=394632, wrong=195952, backtracks=183617, failedAssignments=104784, nogoods=1597, foundSolutions=11, bestBound=96
30.36/24.70	    nFilterCalls=9850813, avgTableProportion=0.9969271158625569, avgTableSize=737.2003530063965
30.36/24.70	    
30.47/24.82	    num=248, depth=2..22, filters=5812321, revisions=(19014343,useless=17776445), ccks=21756428, wck=22.329, mem=70M282
30.47/24.82	    decisions=396729, wrong=196996, backtracks=184356, failedAssignments=105331, nogoods=1602, foundSolutions=11, bestBound=96
30.47/24.82	    nFilterCalls=9906243, avgTableProportion=0.9969272593396632, avgTableSize=737.142100289686
30.47/24.82	    
30.57/24.95	    num=249, depth=1..171, filters=5844802, revisions=(19128060,useless=17883652), ccks=21869454, wck=22.453, mem=70M282
30.57/24.95	    decisions=398873, wrong=198065, backtracks=185517, failedAssignments=105933, nogoods=1606, foundSolutions=11, bestBound=96
30.57/24.95	    nFilterCalls=9966637, avgTableProportion=0.9969280503800394, avgTableSize=737.2329392552373
30.57/24.95	    
30.68/25.09	    num=250, depth=1..18, filters=5887090, revisions=(19269719,useless=18017047), ccks=21984914, wck=22.596, mem=72M871
30.68/25.09	    decisions=401609, wrong=199429, backtracks=186531, failedAssignments=106595, nogoods=1614, foundSolutions=11, bestBound=96
30.68/25.09	    nFilterCalls=10041362, avgTableProportion=0.9969282140615646, avgTableSize=737.1366776738056
30.68/25.09	    
30.87/25.23	    num=251, depth=3..173, filters=5923628, revisions=(19390760,useless=18130411), ccks=22104936, wck=22.731, mem=72M871
30.87/25.23	    decisions=404086, wrong=200665, backtracks=187649, failedAssignments=107323, nogoods=1616, foundSolutions=11, bestBound=96
30.87/25.23	    nFilterCalls=10109039, avgTableProportion=0.9969298356678225, avgTableSize=737.4275914852045
30.87/25.23	    
30.97/25.38	    num=252, depth=0..20, filters=5966031, revisions=(19531140,useless=18263146), ccks=22233442, wck=22.882, mem=72M871
30.97/25.38	    decisions=406968, wrong=202100, backtracks=188670, failedAssignments=108124, nogoods=1625, foundSolutions=11, bestBound=96
30.97/25.38	    nFilterCalls=10186638, avgTableProportion=0.996929235300209, avgTableSize=737.3402538698243
30.97/25.38	    
31.17/25.56	    num=253, depth=2..19, filters=6016422, revisions=(19704111,useless=18425326), ccks=22404529, wck=23.071, mem=72M871
31.17/25.56	    decisions=410156, wrong=203690, backtracks=189732, failedAssignments=109005, nogoods=1639, foundSolutions=11, bestBound=96
31.17/25.56	    nFilterCalls=10280372, avgTableProportion=0.9969303775140097, avgTableSize=737.4259020977062
31.17/25.56	    
31.37/25.75	    num=254, depth=0..170, filters=6069253, revisions=(19874948,useless=18587091), ccks=22548301, wck=23.253, mem=75M461
31.37/25.75	    decisions=413665, wrong=205439, backtracks=191727, failedAssignments=109975, nogoods=1648, foundSolutions=11, bestBound=96
31.37/25.75	    nFilterCalls=10376431, avgTableProportion=0.9969292543630218, avgTableSize=737.1396056119873
31.37/25.75	    
31.57/25.92	    num=255, depth=3..20, filters=6118972, revisions=(20027490,useless=18731739), ccks=22673465, wck=23.422, mem=75M461
31.57/25.92	    decisions=417579, wrong=207390, backtracks=193165, failedAssignments=111042, nogoods=1662, foundSolutions=11, bestBound=96
31.57/25.92	    nFilterCalls=10473517, avgTableProportion=0.9969291185268924, avgTableSize=737.0511783195655
31.57/25.92	    
31.78/26.13	    num=256, depth=0..172, filters=6181453, revisions=(20223134,useless=18916494), ccks=22842596, wck=23.638, mem=75M461
31.78/26.13	    decisions=421708, wrong=209450, backtracks=194783, failedAssignments=112215, nogoods=1678, foundSolutions=11, bestBound=96
31.78/26.13	    nFilterCalls=10588771, avgTableProportion=0.9969289311317625, avgTableSize=736.9948794812921
31.78/26.13	    
31.97/26.38	    num=257, depth=1..22, filters=6249874, revisions=(20441587,useless=19122139), ccks=23067623, wck=23.883, mem=78M50
31.97/26.38	    decisions=426410, wrong=211799, backtracks=196487, failedAssignments=113506, nogoods=1683, foundSolutions=11, bestBound=96
31.97/26.38	    nFilterCalls=10707121, avgTableProportion=0.9969276613212101, avgTableSize=736.8171522484896
31.97/26.38	    
32.27/26.66	    num=258, depth=0..22, filters=6329259, revisions=(20690072,useless=19357023), ccks=23306462, wck=24.164, mem=78M50
32.27/26.66	    decisions=431801, wrong=214489, backtracks=198348, failedAssignments=114926, nogoods=1692, foundSolutions=11, bestBound=96
32.27/26.66	    nFilterCalls=10847039, avgTableProportion=0.996926700324203, avgTableSize=736.655379500341
32.27/26.66	    
32.57/26.96	    num=259, depth=2..21, filters=6414122, revisions=(20956376,useless=19605588), ccks=23587128, wck=24.465, mem=80M640
32.57/26.96	    decisions=437633, wrong=217399, backtracks=200420, failedAssignments=116488, nogoods=1705, foundSolutions=11, bestBound=96
32.57/26.96	    nFilterCalls=10990539, avgTableProportion=0.9969277934391954, avgTableSize=736.7999483009887
32.57/26.96	    
32.87/27.24	    num=260, depth=0..169, filters=6496599, revisions=(21213033,useless=19850609), ccks=23776809, wck=24.745, mem=80M640
32.87/27.24	    decisions=443477, wrong=220317, backtracks=202908, failedAssignments=118206, nogoods=1708, foundSolutions=11, bestBound=96
32.87/27.24	    nFilterCalls=11150816, avgTableProportion=0.9969263723222832, avgTableSize=736.538149943466
32.87/27.24	    
32.87/27.28	
32.87/27.28	  New Bounds: 96..95
32.87/27.28	    num=261, depth=0..14, filters=6509127, revisions=(21250534,useless=19886468), ccks=23802996, wck=24.786, mem=80M640
32.87/27.28	    decisions=444455, wrong=220807, backtracks=203306, failedAssignments=118475, foundSolutions=11, bestBound=96
32.87/27.28	    nFilterCalls=11173620, avgTableProportion=0.9969259672986808, avgTableSize=736.4587136487548
32.87/27.28	    
32.87/27.28	  Global
32.87/27.28	    filters=6509127, revisions=(21250534,useless=19886468), ccks=23802996
32.87/27.28	    Stop=FULL_EXPLORATION, wrong=220807, bestBound=96, bestBoundWck=20.207, bestBoundCpu=22.005, foundSolutions=11, firstSolCpu=2.62
32.87/27.28	    wck=25.429, cpu=27.227, mem=80M640
32.87/27.28	
32.87/27.28	v <instantiation id='sol11' type='solution' cost='96'>  <list> c[][] l[][] a[][] i[][] cnt[] </list>  <values> 0 0 0 0 0 0 0 16 16 0 0 4 16 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 16 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 10 12 13 4 16 8 7 7 0 13 5 4 3 7 7 13 5 4 3 0 7 7 13 8 0 3 * 7 7 13 8 3 0 * 7 7 13 3 3 * * 7 7 13 3 3 * * 7 7 2 0 * * * 7 7 2 0 * * * 4 4 3 * * * * 4 4 3 * * * * 6 0 * * * * * 6 0 * * * * * 6 * * * * * * * * * * * * * 1 2 0 1 1 1 1 * * * * * * * 1 1 1 2 0 1 * * * * * * * * 1 1 1 1 1 * * * * * * * * * 1 1 3 0 * * * * * * * * * * 1 1 1 * * * * * * * * * * * 3 0 * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 0 1 3 4 5 6 6 * * * * * * * 0 1 2 3 5 5 * * * * * * * * 0 1 2 3 4 * * * * * * * * * 0 1 2 3 * * * * * * * * * * 0 1 2 * * * * * * * * * * * 0 1 * * * * * * * * * * * * 1 1 1 1 0 0 1 1 0 0 1 1 </values>  </instantiation>
32.87/27.28	s OPTIMUM FOUND
32.87/27.28	
32.87/27.28	d WRONG_DECISIONS 220807
32.87/27.28	d NUMBER_SOLUTIONS 11

Verifier Data 

OK	96

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391169-1568391607/watcher-4391169-1568391607 -o /tmp/evaluation-result-4391169-1568391607/solver-4391169-1568391607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568389059-22410 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391169-1568391607.xml -cm 

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

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


[startup+0.10208 s]*
/proc/loadavg: 1.77 1.70 1.69 3/229 23439
/proc/meminfo: memFree=31353584/32770624 swapFree=66996928/67108860
[pid=23424] ppid=23421 vsize=10659884 memory=29492 CPUtime=0.14 cores=1,3,5,7
/proc/23424/stat : 23424 (java) S 23421 23424 22378 0 -1 1077944320 5849 0 0 0 13 1 0 0 20 0 15 0 415413739 10915721216 7373 33554432000 4194304 4196468 140726419133168 140726419115712 139765040586487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
/proc/23424/statm: 2664971 7373 2918 1 0 2627468 0
[pid=23424/tid=23426] ppid=23421 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/23424/task/23426/stat : 23426 (java) R 23421 23424 22378 0 -1 4202560 3222 0 0 0 9 0 0 0 20 0 15 0 415413739 10915721216 7373 33554432000 4194304 4196468 140726419133168 139765044816992 139765032823614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23427] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23427/stat : 23427 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764966661264 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23428] ppid=23421 vsize=10659884 memory=3544536260408297120 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23428/stat : 23428 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764965608464 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23429] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23429/stat : 23429 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764964555664 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23430] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23430/stat : 23430 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764963502864 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23431] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23431/stat : 23431 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413741 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764076329328 139765040597634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23432] ppid=23421 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23432/stat : 23432 (java) S 23421 23424 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415413742 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764007167008 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23433] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23433/stat : 23433 (java) S 23421 23424 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415413742 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764006114160 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23434] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23434/stat : 23434 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415413744 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764005062480 139765040605083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23435] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23435/stat : 23435 (java) S 23421 23424 22378 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 15 0 415413744 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764004010864 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23436] ppid=23421 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23436/stat : 23436 (java) R 23421 23424 22378 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 415413744 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764002958064 139765040597634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23437] ppid=23421 vsize=10659884 memory=140474507380352 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23437/stat : 23437 (java) R 23421 23424 22378 0 -1 4202560 587 0 0 0 2 0 0 0 20 0 15 0 415413744 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764001901208 139765040607834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23438] ppid=23421 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23438/stat : 23438 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415413745 10915721216 7373 33554432000 4194304 4196468 140726419133168 139764000852704 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23439] ppid=23421 vsize=10659884 memory=140474507380352 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23439/stat : 23439 (java) R 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413745 10915721216 7373 33554432000 4194304 4196468 140726419133168 139763999799984 139765040597634 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29492 KiB

[startup+0.210745 s]*
/proc/loadavg: 1.77 1.70 1.69 3/229 23439
/proc/meminfo: memFree=31346448/32770624 swapFree=66996928/67108860
[pid=23424] ppid=23421 vsize=10659884 memory=34784 CPUtime=0.33 cores=1,3,5,7
/proc/23424/stat : 23424 (java) S 23421 23424 22378 0 -1 1077944320 6812 0 0 0 31 2 0 0 20 0 15 0 415413739 10915721216 8696 33554432000 4194304 4196468 140726419133168 140726419115712 139765040586487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
/proc/23424/statm: 2664971 8696 2991 1 0 2627468 0
[pid=23424/tid=23426] ppid=23421 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/23424/task/23426/stat : 23426 (java) R 23421 23424 22378 0 -1 4202560 3871 0 0 0 19 1 0 0 20 0 15 0 415413739 10915721216 8696 33554432000 4194304 4196468 140726419133168 139765044812848 139765040608413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23427] ppid=23421 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23427/stat : 23427 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764966661264 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23428] ppid=23421 vsize=10659884 memory=140474510653461 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23428/stat : 23428 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764965608464 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23429] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23429/stat : 23429 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764964555664 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23430] ppid=23421 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23430/stat : 23430 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764963502864 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23431] ppid=23421 vsize=10659884 memory=140474507380352 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23431/stat : 23431 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413741 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764076329328 139765040597634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23432] ppid=23421 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23432/stat : 23432 (java) S 23421 23424 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415413742 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764007167008 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23433] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23433/stat : 23433 (java) S 23421 23424 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415413742 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764006114160 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23434] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23434/stat : 23434 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415413744 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764005062480 139765040605083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23435] ppid=23421 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23424/task/23435/stat : 23435 (java) S 23421 23424 22378 0 -1 1077944384 585 0 0 0 3 0 0 0 20 0 15 0 415413744 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764004010864 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23436] ppid=23421 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23424/task/23436/stat : 23436 (java) S 23421 23424 22378 0 -1 1077944384 381 0 0 0 3 0 0 0 20 0 15 0 415413744 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764002958064 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23437] ppid=23421 vsize=10659884 memory=140474507380352 CPUtime=0.05 cores=1,3,5,7
/proc/23424/task/23437/stat : 23437 (java) S 23421 23424 22378 0 -1 1077944384 615 0 0 0 5 0 0 0 20 0 15 0 415413744 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764001905264 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23438] ppid=23421 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23438/stat : 23438 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415413745 10915721216 8696 33554432000 4194304 4196468 140726419133168 139764000852704 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23439] ppid=23421 vsize=10659884 memory=140474507380352 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23439/stat : 23439 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413745 10915721216 8696 33554432000 4194304 4196468 140726419133168 139763999799984 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34784 KiB

[startup+0.31012 s]*
/proc/loadavg: 1.77 1.70 1.69 4/229 23439
/proc/meminfo: memFree=31339080/32770624 swapFree=66996928/67108860
[pid=23424] ppid=23421 vsize=10659884 memory=40200 CPUtime=0.47 cores=1,3,5,7
/proc/23424/stat : 23424 (java) S 23421 23424 22378 0 -1 1077944320 9378 0 0 0 44 3 0 0 20 0 15 0 415413739 10915721216 10050 33554432000 4194304 4196468 140726419133168 140726419115712 139765040586487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
/proc/23424/statm: 2664971 10050 3004 1 0 2627468 0
[pid=23424/tid=23426] ppid=23421 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/23424/task/23426/stat : 23426 (java) R 23421 23424 22378 0 -1 4202560 6343 0 0 0 28 2 0 0 20 0 15 0 415413739 10915721216 10050 33554432000 4194304 4196468 140726419133168 139765044818288 139765024666974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23427] ppid=23421 vsize=10659884 memory=4294976387 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23427/stat : 23427 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764966661264 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23428] ppid=23421 vsize=10659884 memory=140474510653335 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23428/stat : 23428 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764965608464 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23429] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23429/stat : 23429 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764964555664 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23430] ppid=23421 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23430/stat : 23430 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413740 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764963502864 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23431] ppid=23421 vsize=10659884 memory=140474507380352 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23431/stat : 23431 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413741 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764076329328 139765040597634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23432] ppid=23421 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23432/stat : 23432 (java) S 23421 23424 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415413742 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764007167008 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23433] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23433/stat : 23433 (java) S 23421 23424 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415413742 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764006114160 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23434] ppid=23421 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23434/stat : 23434 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415413744 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764005062480 139765040605083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23435] ppid=23421 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23424/task/23435/stat : 23435 (java) R 23421 23424 22378 0 -1 1077944384 625 0 0 0 4 0 0 0 20 0 15 0 415413744 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764004010864 139765040597634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23436] ppid=23421 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23424/task/23436/stat : 23436 (java) R 23421 23424 22378 0 -1 4202560 389 0 0 0 3 0 0 0 20 0 15 0 415413744 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764002958064 139765040598422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23437] ppid=23421 vsize=10659884 memory=140474507380352 CPUtime=0.07 cores=1,3,5,7
/proc/23424/task/23437/stat : 23437 (java) R 23421 23424 22378 0 -1 4202560 662 0 0 0 7 0 0 0 20 0 15 0 415413744 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764001905264 139765040607834 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23438] ppid=23421 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23438/stat : 23438 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415413745 10915721216 10050 33554432000 4194304 4196468 140726419133168 139764000852704 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23439] ppid=23421 vsize=10659884 memory=140474507380352 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23439/stat : 23439 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413745 10915721216 10050 33554432000 4194304 4196468 140726419133168 139763999799984 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40200 KiB

[startup+0.704612 s]
/proc/loadavg: 1.77 1.70 1.69 3/229 23439
/proc/meminfo: memFree=31331188/32770624 swapFree=66996928/67108860
[pid=23424] ppid=23421 vsize=10661932 memory=62820 CPUtime=1.1 cores=1,3,5,7
/proc/23424/stat : 23424 (java) S 23421 23424 22378 0 -1 1077944320 12826 0 0 0 105 5 0 0 20 0 15 0 415413739 10917818368 15705 33554432000 4194304 4196468 140726419133168 140726419115712 139765040586487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
/proc/23424/statm: 2665483 15705 3075 1 0 2627980 0
[pid=23424/tid=23426] ppid=23421 vsize=10661932 memory=39636 CPUtime=0.69 cores=1,3,5,7
/proc/23424/task/23426/stat : 23426 (java) R 23421 23424 22378 0 -1 4202560 8896 0 0 0 65 4 0 0 20 0 15 0 415413739 10917818368 15705 33554432000 4194304 4196468 140726419133168 139765044809424 139765021960037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23427] ppid=23421 vsize=10661932 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23427/stat : 23427 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413740 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764966661264 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23428] ppid=23421 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23428/stat : 23428 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413740 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764965608464 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23429] ppid=23421 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23429/stat : 23429 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413740 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764964555664 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23430] ppid=23421 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23430/stat : 23430 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413740 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764963502864 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23431] ppid=23421 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23431/stat : 23431 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413741 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764076329328 139765040597634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23432] ppid=23421 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23432/stat : 23432 (java) S 23421 23424 22378 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415413742 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764007167008 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23433] ppid=23421 vsize=10661932 memory=6 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23433/stat : 23433 (java) S 23421 23424 22378 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415413742 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764006114160 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23434] ppid=23421 vsize=10661932 memory=25 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23434/stat : 23434 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415413744 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764005062480 139765040605083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23435] ppid=23421 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/23424/task/23435/stat : 23435 (java) R 23421 23424 22378 0 -1 4202560 886 0 0 0 11 0 0 0 20 0 15 0 415413744 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764003996928 139765022130576 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23436] ppid=23421 vsize=10661932 memory=139 CPUtime=0.09 cores=1,3,5,7
/proc/23424/task/23436/stat : 23436 (java) S 23421 23424 22378 0 -1 1077944384 639 0 0 0 9 0 0 0 20 0 15 0 415413744 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764002958064 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23437] ppid=23421 vsize=10661932 memory=9776 CPUtime=0.19 cores=1,3,5,7
/proc/23424/task/23437/stat : 23437 (java) S 23421 23424 22378 0 -1 1077944384 1045 0 0 0 19 0 0 0 20 0 15 0 415413744 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764001905264 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23438] ppid=23421 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23438/stat : 23438 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415413745 10917818368 15705 33554432000 4194304 4196468 140726419133168 139764000852704 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23439] ppid=23421 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23439/stat : 23439 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413745 10917818368 15705 33554432000 4194304 4196468 140726419133168 139763999799984 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62820 KiB

[startup+1.50075 s]
/proc/loadavg: 1.77 1.70 1.69 3/228 23439
/proc/meminfo: memFree=31314624/32770624 swapFree=66996928/67108860
[pid=23424] ppid=23421 vsize=10663980 memory=75116 CPUtime=1.99 cores=1,3,5,7
/proc/23424/stat : 23424 (java) S 23421 23424 22378 0 -1 1077944320 16476 0 0 0 194 5 0 0 20 0 15 0 415413739 10919915520 18779 33554432000 4194304 4196468 140726419133168 140726419115712 139765040586487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
/proc/23424/statm: 2665995 18779 3095 1 0 2628492 0
[pid=23424/tid=23426] ppid=23421 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/23424/task/23426/stat : 23426 (java) R 23421 23424 22378 0 -1 4202560 11493 0 0 0 144 4 0 0 20 0 15 0 415413739 10919915520 18779 33554432000 4194304 4196468 140726419133168 139765044825304 139765040600351 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23427] ppid=23421 vsize=10663980 memory=39636 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23427/stat : 23427 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413740 10919915520 18779 33554432000 4194304 4196468 140726419133168 139764966661264 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23428] ppid=23421 vsize=10663980 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23428/stat : 23428 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413740 10919915520 18779 33554432000 4194304 4196468 140726419133168 139764965608464 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23429] ppid=23421 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23429/stat : 23429 (java) S 23421 23424 22378 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415413740 10919915520 18779 33554432000 4194304 4196468 140726419133168 139764964555664 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23430] ppid=23421 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23430/stat : 23430 (java) S 23421 23424 22378 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415413740 10919915520 18779 33554432000 4194304 4196468 140726419133168 139764963502864 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23431] ppid=23421 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23431/stat : 23431 (java) S 23421 23424 22378 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 415413741 10919915520 18779 33554432000 4194304 4196468 140726419133168 139764076329328 139765040597634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0

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

[startup+25.6008 s]
/proc/loadavg: 1.96 1.75 1.71 3/229 23441
/proc/meminfo: memFree=31131076/32770624 swapFree=66996928/67108860
[pid=23424] ppid=23421 vsize=10748324 memory=267980 CPUtime=31.27 cores=1,3,5,7
/proc/23424/stat : 23424 (java) S 23421 23424 22378 0 -1 1077944320 48476 0 0 0 3110 17 0 0 20 0 16 0 415413739 11006283776 66995 33554432000 4194304 4196468 140726419133168 140726419115712 139765040586487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
/proc/23424/statm: 2687081 66995 3378 1 0 2647217 0
[pid=23424/tid=23426] ppid=23421 vsize=10748324 memory=1980 CPUtime=1.86 cores=1,3,5,7
/proc/23424/task/23426/stat : 23426 (java) S 23421 23424 22378 0 -1 1077944384 13200 0 0 0 181 5 0 0 20 0 16 0 415413739 11006283776 66995 33554432000 4194304 4196468 140726419133168 139765044829360 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23427] ppid=23421 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23427/stat : 23427 (java) S 23421 23424 22378 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 16 0 415413740 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764966661264 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23428] ppid=23421 vsize=10748324 memory=-7025448733113094249 CPUtime=0.01 cores=1,3,5,7
/proc/23424/task/23428/stat : 23428 (java) S 23421 23424 22378 0 -1 1077944384 934 0 0 0 1 0 0 0 20 0 16 0 415413740 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764965608464 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23429] ppid=23421 vsize=10748324 memory=-7737605721172012177 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23429/stat : 23429 (java) S 23421 23424 22378 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 16 0 415413740 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764964555664 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23430] ppid=23421 vsize=10748324 memory=-7737605721172012177 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23430/stat : 23430 (java) S 23421 23424 22378 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 16 0 415413740 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764963502864 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23431] ppid=23421 vsize=10748324 memory=267892 CPUtime=0.01 cores=1,3,5,7
/proc/23424/task/23431/stat : 23431 (java) S 23421 23424 22378 0 -1 1077944384 542 0 0 0 1 0 0 0 20 0 16 0 415413741 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764076329328 139765040597634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23432] ppid=23421 vsize=10748324 memory=267892 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23432/stat : 23432 (java) S 23421 23424 22378 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415413742 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764007167072 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23433] ppid=23421 vsize=10748324 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23433/stat : 23433 (java) S 23421 23424 22378 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415413742 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764006114176 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23434] ppid=23421 vsize=10748324 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23434/stat : 23434 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415413744 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764005062480 139765040605083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23435] ppid=23421 vsize=10748324 memory=8560 CPUtime=2.22 cores=1,3,5,7
/proc/23424/task/23435/stat : 23435 (java) S 23421 23424 22378 0 -1 1077944384 7168 0 0 0 221 1 0 0 20 0 16 0 415413744 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764004010864 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23436] ppid=23421 vsize=10748324 memory=1668 CPUtime=2.47 cores=1,3,5,7
/proc/23424/task/23436/stat : 23436 (java) S 23421 23424 22378 0 -1 1077944384 10276 0 0 0 246 1 0 0 20 0 16 0 415413744 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764002958064 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23437] ppid=23421 vsize=10748324 memory=267956 CPUtime=0.87 cores=1,3,5,7
/proc/23424/task/23437/stat : 23437 (java) S 23421 23424 22378 0 -1 1077944384 6344 0 0 0 86 1 0 0 20 0 16 0 415413744 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764001905264 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23438] ppid=23421 vsize=10748324 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23438/stat : 23438 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415413745 11006283776 66995 33554432000 4194304 4196468 140726419133168 139764000852704 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23439] ppid=23421 vsize=10748324 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23439/stat : 23439 (java) S 23421 23424 22378 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 16 0 415413745 11006283776 66995 33554432000 4194304 4196468 140726419133168 139763999799984 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23440] ppid=23421 vsize=10748324 memory=1436 CPUtime=23.66 cores=1,3,5,7
/proc/23424/task/23440/stat : 23440 (java) R 23421 23424 22378 0 -1 4202560 7614 0 0 0 2363 3 0 0 20 0 16 0 415413927 11006283776 66995 33554432000 4194304 4196468 140726419133168 139763983130256 139764635428000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
Current children cumulated CPU time: 31.27 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 267980 KiB

[startup+26.4006 s]
/proc/loadavg: 1.96 1.75 1.71 3/229 23441
/proc/meminfo: memFree=31131076/32770624 swapFree=66996928/67108860
[pid=23424] ppid=23421 vsize=10748324 memory=268000 CPUtime=32.07 cores=1,3,5,7
/proc/23424/stat : 23424 (java) S 23421 23424 22378 0 -1 1077944320 48722 0 0 0 3190 17 0 0 20 0 16 0 415413739 11006283776 67000 33554432000 4194304 4196468 140726419133168 140726419115712 139765040586487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
/proc/23424/statm: 2687081 67000 3378 1 0 2647217 0
[pid=23424/tid=23426] ppid=23421 vsize=10748324 memory=140474355010717 CPUtime=1.86 cores=1,3,5,7
/proc/23424/task/23426/stat : 23426 (java) S 23421 23424 22378 0 -1 1077944384 13200 0 0 0 181 5 0 0 20 0 16 0 415413739 11006283776 67000 33554432000 4194304 4196468 140726419133168 139765044829360 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23427] ppid=23421 vsize=10748324 memory=280948709983568 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23427/stat : 23427 (java) S 23421 23424 22378 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764966661264 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23428] ppid=23421 vsize=10748324 memory=3472468769774217028 CPUtime=0.01 cores=1,3,5,7
/proc/23424/task/23428/stat : 23428 (java) S 23421 23424 22378 0 -1 1077944384 934 0 0 0 1 0 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764965608464 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23429] ppid=23421 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23429/stat : 23429 (java) S 23421 23424 22378 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764964555664 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23430] ppid=23421 vsize=10748324 memory=267880 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23430/stat : 23430 (java) S 23421 23424 22378 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764963502864 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23431] ppid=23421 vsize=10748324 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/23424/task/23431/stat : 23431 (java) S 23421 23424 22378 0 -1 1077944384 542 0 0 0 1 0 0 0 20 0 16 0 415413741 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764076329328 139765040597634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23432] ppid=23421 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23432/stat : 23432 (java) S 23421 23424 22378 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415413742 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764007167072 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23433] ppid=23421 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23433/stat : 23433 (java) S 23421 23424 22378 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415413742 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764006114176 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23434] ppid=23421 vsize=10748324 memory=8976414709404591081 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23434/stat : 23434 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764005062480 139765040605083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23435] ppid=23421 vsize=10748324 memory=6656426216303648864 CPUtime=2.22 cores=1,3,5,7
/proc/23424/task/23435/stat : 23435 (java) S 23421 23424 22378 0 -1 1077944384 7168 0 0 0 221 1 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764004010864 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23436] ppid=23421 vsize=10748324 memory=6944652177228980320 CPUtime=2.47 cores=1,3,5,7
/proc/23424/task/23436/stat : 23436 (java) S 23421 23424 22378 0 -1 1077944384 10276 0 0 0 246 1 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764002958064 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23437] ppid=23421 vsize=10748324 memory=267972 CPUtime=0.88 cores=1,3,5,7
/proc/23424/task/23437/stat : 23437 (java) S 23421 23424 22378 0 -1 1077944384 6584 0 0 0 87 1 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764001905264 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23438] ppid=23421 vsize=10748324 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23438/stat : 23438 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415413745 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764000852704 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23439] ppid=23421 vsize=10748324 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23439/stat : 23439 (java) S 23421 23424 22378 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 16 0 415413745 11006283776 67000 33554432000 4194304 4196468 140726419133168 139763999799984 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23440] ppid=23421 vsize=10748324 memory=14689699524512400 CPUtime=24.46 cores=1,3,5,7
/proc/23424/task/23440/stat : 23440 (java) R 23421 23424 22378 0 -1 4202560 7620 0 0 0 2443 3 0 0 20 0 16 0 415413927 11006283776 67000 33554432000 4194304 4196468 140726419133168 139763983130256 139764636915828 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
Current children cumulated CPU time: 32.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268000 KiB

[startup+26.8006 s]
/proc/loadavg: 1.96 1.75 1.71 3/229 23441
/proc/meminfo: memFree=31131076/32770624 swapFree=66996928/67108860
[pid=23424] ppid=23421 vsize=10748324 memory=268000 CPUtime=32.47 cores=1,3,5,7
/proc/23424/stat : 23424 (java) S 23421 23424 22378 0 -1 1077944320 48725 0 0 0 3230 17 0 0 20 0 16 0 415413739 11006283776 67000 33554432000 4194304 4196468 140726419133168 140726419115712 139765040586487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
/proc/23424/statm: 2687081 67000 3378 1 0 2647217 0
[pid=23424/tid=23426] ppid=23421 vsize=10748324 memory=111628 CPUtime=1.86 cores=1,3,5,7
/proc/23424/task/23426/stat : 23426 (java) S 23421 23424 22378 0 -1 1077944384 13200 0 0 0 181 5 0 0 20 0 16 0 415413739 11006283776 67000 33554432000 4194304 4196468 140726419133168 139765044829360 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23427] ppid=23421 vsize=10748324 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23427/stat : 23427 (java) S 23421 23424 22378 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764966661264 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23428] ppid=23421 vsize=10748324 memory=372116 CPUtime=0.01 cores=1,3,5,7
/proc/23424/task/23428/stat : 23428 (java) S 23421 23424 22378 0 -1 1077944384 934 0 0 0 1 0 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764965608464 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23429] ppid=23421 vsize=10748324 memory=1408 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23429/stat : 23429 (java) S 23421 23424 22378 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764964555664 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23430] ppid=23421 vsize=10748324 memory=2700 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23430/stat : 23430 (java) S 23421 23424 22378 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764963502864 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23431] ppid=23421 vsize=10748324 memory=65 CPUtime=0.01 cores=1,3,5,7
/proc/23424/task/23431/stat : 23431 (java) S 23421 23424 22378 0 -1 1077944384 542 0 0 0 1 0 0 0 20 0 16 0 415413741 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764076329328 139765040597634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23432] ppid=23421 vsize=10748324 memory=140474354772560 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23432/stat : 23432 (java) S 23421 23424 22378 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415413742 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764007167072 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23433] ppid=23421 vsize=10748324 memory=33 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23433/stat : 23433 (java) S 23421 23424 22378 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415413742 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764006114176 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23434] ppid=23421 vsize=10748324 memory=5787213827380633664 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23434/stat : 23434 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764005062480 139765040605083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23435] ppid=23421 vsize=10748324 memory=0 CPUtime=2.22 cores=1,3,5,7
/proc/23424/task/23435/stat : 23435 (java) S 23421 23424 22378 0 -1 1077944384 7168 0 0 0 221 1 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764004010864 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23436] ppid=23421 vsize=10748324 memory=6944656592455359580 CPUtime=2.47 cores=1,3,5,7
/proc/23424/task/23436/stat : 23436 (java) S 23421 23424 22378 0 -1 1077944384 10276 0 0 0 246 1 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764002958064 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23437] ppid=23421 vsize=10748324 memory=6943526294502006880 CPUtime=0.88 cores=1,3,5,7
/proc/23424/task/23437/stat : 23437 (java) S 23421 23424 22378 0 -1 1077944384 6584 0 0 0 87 1 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764001905264 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23438] ppid=23421 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23438/stat : 23438 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415413745 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764000852704 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23439] ppid=23421 vsize=10748324 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23439/stat : 23439 (java) S 23421 23424 22378 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 16 0 415413745 11006283776 67000 33554432000 4194304 4196468 140726419133168 139763999799984 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23440] ppid=23421 vsize=10748324 memory=-9108684669924967205 CPUtime=24.86 cores=1,3,5,7
/proc/23424/task/23440/stat : 23440 (java) R 23421 23424 22378 0 -1 4202560 7623 0 0 0 2483 3 0 0 20 0 16 0 415413927 11006283776 67000 33554432000 4194304 4196468 140726419133168 139763983130256 139764635513035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
Current children cumulated CPU time: 32.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268000 KiB

[startup+27.2006 s]
/proc/loadavg: 1.96 1.75 1.71 3/229 23441
/proc/meminfo: memFree=31131076/32770624 swapFree=66996928/67108860
[pid=23424] ppid=23421 vsize=10748324 memory=268000 CPUtime=32.87 cores=1,3,5,7
/proc/23424/stat : 23424 (java) S 23421 23424 22378 0 -1 1077944320 48728 0 0 0 3270 17 0 0 20 0 16 0 415413739 11006283776 67000 33554432000 4194304 4196468 140726419133168 140726419115712 139765040586487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
/proc/23424/statm: 2687081 67000 3378 1 0 2647217 0
[pid=23424/tid=23426] ppid=23421 vsize=10748324 memory=6791534058613427641 CPUtime=1.86 cores=1,3,5,7
/proc/23424/task/23426/stat : 23426 (java) S 23421 23424 22378 0 -1 1077944384 13200 0 0 0 181 5 0 0 20 0 16 0 415413739 11006283776 67000 33554432000 4194304 4196468 140726419133168 139765044829360 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23427] ppid=23421 vsize=10748324 memory=267892 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23427/stat : 23427 (java) S 23421 23424 22378 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764966661264 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23428] ppid=23421 vsize=10748324 memory=1644 CPUtime=0.01 cores=1,3,5,7
/proc/23424/task/23428/stat : 23428 (java) S 23421 23424 22378 0 -1 1077944384 934 0 0 0 1 0 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764965608464 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23429] ppid=23421 vsize=10748324 memory=288230574492221466 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23429/stat : 23429 (java) S 23421 23424 22378 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764964555664 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23430] ppid=23421 vsize=10748324 memory=932 CPUtime=0.02 cores=1,3,5,7
/proc/23424/task/23430/stat : 23430 (java) S 23421 23424 22378 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 16 0 415413740 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764963502864 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23431] ppid=23421 vsize=10748324 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/23424/task/23431/stat : 23431 (java) S 23421 23424 22378 0 -1 1077944384 542 0 0 0 1 0 0 0 20 0 16 0 415413741 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764076329328 139765040597634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23432] ppid=23421 vsize=10748324 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23432/stat : 23432 (java) S 23421 23424 22378 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 415413742 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764007167072 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23433] ppid=23421 vsize=10748324 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23433/stat : 23433 (java) S 23421 23424 22378 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 415413742 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764006114176 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23434] ppid=23421 vsize=10748324 memory=916 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23434/stat : 23434 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764005062480 139765040605083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23435] ppid=23421 vsize=10748324 memory=3848 CPUtime=2.22 cores=1,3,5,7
/proc/23424/task/23435/stat : 23435 (java) S 23421 23424 22378 0 -1 1077944384 7168 0 0 0 221 1 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764004010864 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23436] ppid=23421 vsize=10748324 memory=3504 CPUtime=2.47 cores=1,3,5,7
/proc/23424/task/23436/stat : 23436 (java) S 23421 23424 22378 0 -1 1077944384 10276 0 0 0 246 1 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764002958064 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23437] ppid=23421 vsize=10748324 memory=39636 CPUtime=0.88 cores=1,3,5,7
/proc/23424/task/23437/stat : 23437 (java) S 23421 23424 22378 0 -1 1077944384 6584 0 0 0 87 1 0 0 20 0 16 0 415413744 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764001905264 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23438] ppid=23421 vsize=10748324 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23438/stat : 23438 (java) S 23421 23424 22378 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415413745 11006283776 67000 33554432000 4194304 4196468 140726419133168 139764000852704 139765040596693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23439] ppid=23421 vsize=10748324 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/23424/task/23439/stat : 23439 (java) S 23421 23424 22378 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 16 0 415413745 11006283776 67000 33554432000 4194304 4196468 140726419133168 139763999799984 139765040597634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
[pid=23424/tid=23440] ppid=23421 vsize=10748324 memory=1388 CPUtime=25.26 cores=1,3,5,7
/proc/23424/task/23440/stat : 23440 (java) R 23421 23424 22378 0 -1 4202560 7626 0 0 0 2523 3 0 0 20 0 16 0 415413927 11006283776 67000 33554432000 4194304 4196468 140726419133168 139763983130256 139764633648309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22568960 140726419137547 140726419137650 140726419137650 140726419140559 0
Current children cumulated CPU time: 32.87 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268000 KiB

Child status: 0
Real time (s): 27.2938
CPU time (s): 32.9798
CPU user time (s): 32.7993
CPU system time (s): 0.180551
CPU usage (%): 120.833
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 268000

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


# summary of solver processes directly reported to runsolver:
#   pid: 23424
#   total CPU time (s): 32.9798
#   total CPU user time (s): 32.7993
#   total CPU system time (s): 0.180551

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.150274 second user time and 0.334585 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-13 18:19:08
IDJOB=4391169
IDBENCH=141106
IDSOLVER=2833
FILE ID=node103/4391169-1568391607
RUNJOBID= node103-1568389059-22410
PBS_JOBID= 21701854
Free space on /tmp= 61708 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP18/Tal/Tal-03_c18.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391169-1568391607/watcher-4391169-1568391607 -o /tmp/evaluation-result-4391169-1568391607/solver-4391169-1568391607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568389059-22410 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391169-1568391607.xml -cm

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

MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163
RANDOM SEED=1841114516

node103.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.74
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.74
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.74
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.74
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:        31369596 kB
MemAvailable:   31519260 kB
Buffers:           58144 kB
Cached:           375236 kB
SwapCached:         9144 kB
Active:           723292 kB
Inactive:          94928 kB
Active(anon):     379152 kB
Inactive(anon):    46792 kB
Active(file):     344140 kB
Inactive(file):    48136 kB
Unevictable:      111360 kB
Mlocked:          111360 kB
SwapTotal:      67108860 kB
SwapFree:       66996928 kB
Dirty:              8704 kB
Writeback:             0 kB
AnonPages:        500316 kB
Mapped:            56580 kB
Shmem:             32616 kB
Slab:             175736 kB
SReclaimable:     146444 kB
SUnreclaim:        29292 kB
KernelStack:        4016 kB
PageTables:         6588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1336512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    374784 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= 61700 MiB
End job on node103 at 2019-09-13 18:19:35