Trace number 4390869

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 33.2263 28.0189

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 benchmark33.2263
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.43/1.87	
2.43/1.87	AbsCon 2 
2.43/1.89	
3.28/2.16	  Instance
3.28/2.16	    name=instance-4390869-1568386660, framework=COP, bounds=-infty..+infty
3.28/2.16	
3.28/2.16	  Loading variables...
3.28/2.20	  Loading constraints...
4.35/2.44	
4.35/2.44	  Domains
4.35/2.44	    nTypes=10, nValues=3294, sizes=[1#63,2#4,3#5,4#6...6#43,7#9,8#28,42#62]
4.35/2.44	  Variables
4.35/2.44	    count=227, degrees=[1#63,2#47,3#8,4#9...10#8,11#5,12#3,13#1]
4.35/2.44	  Objectives
4.35/2.44	    way=min, type=SumSimpleLE
4.35/2.44	  Constraints
4.35/2.44	    count=287, nSpecific=74, arities=[1#88,2#90,3#30,4#10...8#12,9#9,10#2,98#1]
4.35/2.44	    distribution=[CtrExtensionCT-Table#49,CtrIntension#213,EQ#12,ExactlyKVariable#12,SumSimpleLE#1]
4.35/2.44	    tables=[83#1,91#1,124#2,165#3...1427#5,1860#4,2047#3,2111#2], nTotalTuples=36602
4.35/2.44	    nExtStructures=(13,shared:36), nIntStructures=(70,shared:143), nCftStructures=(18,shared:88,unbuilt:181)
4.35/2.44	    wck=0.595, cpu=2.405, mem=60M864
4.35/2.45	  Solver SolverBacktrack being built...
4.35/2.45	
4.35/2.47	
4.35/2.47	  Solver
4.35/2.47	    guaranteedGAC=false
4.35/2.47	    wck=0.629, cpu=2.438, mem=71M506
4.35/2.49	
4.35/2.49	  Preprocessing
4.35/2.49	    filters=200, revisions=(778,useless=712), ccks=22030, nACremovedValues=2384, nTotalRemovedValues=2384, inconcistency=false
4.35/2.49	    wck=0.021, cpu=2.461, mem=71M506
4.35/2.49	
4.71/2.51	    num=0, depth=25..34, filters=777, revisions=(2839,useless=2578), ccks=24703, wck=0.037, mem=71M506
4.71/2.51	    decisions=55, wrong=13, backtracks=4, failedAssignments=10, nogoods=6
4.71/2.51	    nFilterCalls=1135, avgTableProportion=0.9969186306540773, avgTableSize=730.7911894273128
4.71/2.51	    
4.71/2.51	    num=1, depth=6..16, filters=1214, revisions=(4164,useless=3789), ccks=27818, wck=0.046, mem=71M506
4.71/2.51	    decisions=96, wrong=27, backtracks=7, failedAssignments=21, nogoods=12
4.71/2.51	    nFilterCalls=1854, avgTableProportion=0.9968820715781983, avgTableSize=738.8781014023732
4.71/2.51	    
4.71/2.54	    num=2, depth=4..121, filters=1637, revisions=(5571,useless=5110), ccks=29328, wck=0.066, mem=71M506
4.71/2.54	    decisions=133, wrong=41, backtracks=119, failedAssignments=33, nogoods=16
4.71/2.54	    nFilterCalls=2534, avgTableProportion=0.9968261066375357, avgTableSize=736.7671665351223
4.71/2.54	    
4.71/2.54	    num=3, depth=12..131, filters=2059, revisions=(6858,useless=6299), ccks=31032, wck=0.075, mem=71M506
4.71/2.54	    decisions=186, wrong=57, backtracks=230, failedAssignments=46, nogoods=22
4.71/2.54	    nFilterCalls=3287, avgTableProportion=0.9968029480965829, avgTableSize=739.0955278369333
4.71/2.54	    
4.71/2.55	    num=4, depth=3..19, filters=2792, revisions=(9210,useless=8484), ccks=33422, wck=0.083, mem=71M506
4.71/2.55	    decisions=239, wrong=77, backtracks=236, failedAssignments=60, nogoods=31
4.71/2.55	    nFilterCalls=4335, avgTableProportion=0.9966820598418368, avgTableSize=715.1250288350634
4.71/2.55	    
4.71/2.56	    num=5, depth=2..13, filters=3396, revisions=(11098,useless=10204), ccks=36633, wck=0.09, mem=71M506
4.71/2.56	    decisions=291, wrong=99, backtracks=243, failedAssignments=76, nogoods=43
4.71/2.56	    nFilterCalls=5123, avgTableProportion=0.996706957384028, avgTableSize=720.0821784110873
4.71/2.56	    
4.71/2.57	    num=6, depth=1..8, filters=4455, revisions=(14348,useless=13145), ccks=42365, wck=0.101, mem=74M149
4.71/2.57	    decisions=349, wrong=126, backtracks=255, failedAssignments=93, nogoods=48
4.71/2.57	    nFilterCalls=6424, avgTableProportion=0.9967655703336294, avgTableSize=729.29000622665
4.71/2.57	    
4.71/2.59	    num=7, depth=2..168, filters=5034, revisions=(16803,useless=15452), ccks=44689, wck=0.118, mem=74M149
4.71/2.59	    decisions=410, wrong=150, backtracks=1028, failedAssignments=112, nogoods=55
4.71/2.59	    nFilterCalls=8160, avgTableProportion=0.9967998953897854, avgTableSize=741.757475490196
4.71/2.59	    
5.03/2.60	    num=8, depth=9..19, filters=6093, revisions=(20553,useless=18907), ccks=52223, wck=0.129, mem=74M149
5.03/2.60	    decisions=485, wrong=183, backtracks=1043, failedAssignments=133, nogoods=62
5.03/2.60	    nFilterCalls=9594, avgTableProportion=0.9967865959756743, avgTableSize=731.0217844486137
5.03/2.60	    
5.03/2.60	    num=9, depth=5..21, filters=6674, revisions=(22553,useless=20796), ccks=55434, wck=0.135, mem=74M149
5.03/2.60	    decisions=546, wrong=207, backtracks=1049, failedAssignments=156, nogoods=73
5.03/2.60	    nFilterCalls=10774, avgTableProportion=0.9968132756876696, avgTableSize=735.8109337293484
5.03/2.60	    
5.03/2.62	    num=10, depth=2..126, filters=7846, revisions=(26506,useless=24492), ccks=62060, wck=0.149, mem=74M149
5.03/2.62	    decisions=630, wrong=239, backtracks=1181, failedAssignments=181, nogoods=76
5.03/2.62	    nFilterCalls=12675, avgTableProportion=0.9968028991763729, avgTableSize=734.2551479289941
5.03/2.62	    
5.03/2.63	o 156
5.03/2.63	    num=11, depth=0..226, filters=8475, revisions=(28770,useless=26610), ccks=64779, wck=0.165, mem=74M149
5.03/2.63	    decisions=679, wrong=251, backtracks=1184, failedAssignments=191, nogoods=82, foundSolutions=1, bestBound=156
5.03/2.63	    nFilterCalls=13863, avgTableProportion=0.9967906177338376, avgTableSize=730.9952391257303
5.03/2.63	    
5.03/2.64	o 152
5.03/2.64	    num=12, depth=3..226, filters=8815, revisions=(30546,useless=28329), ccks=66414, wck=0.174, mem=74M149
5.03/2.64	    decisions=706, wrong=255, backtracks=1184, failedAssignments=195, nogoods=86, foundSolutions=2, bestBound=152
5.03/2.64	    nFilterCalls=14722, avgTableProportion=0.9967885539910362, avgTableSize=730.6003260426572
5.03/2.64	    
5.03/2.65	o 144
5.03/2.65	    num=13, depth=2..226, filters=9268, revisions=(32415,useless=30151), ccks=67885, wck=0.185, mem=74M149
5.03/2.65	    decisions=749, wrong=267, backtracks=1191, failedAssignments=203, nogoods=89, foundSolutions=3, bestBound=144
5.03/2.65	    nFilterCalls=15859, avgTableProportion=0.9967786708828071, avgTableSize=728.490005675011
5.03/2.65	    
5.03/2.66	    num=14, depth=16..20, filters=9750, revisions=(34105,useless=31796), ccks=69078, wck=0.191, mem=74M149
5.03/2.66	    decisions=797, wrong=283, backtracks=1200, failedAssignments=214, nogoods=90, foundSolutions=3, bestBound=144
5.03/2.66	    nFilterCalls=16733, avgTableProportion=0.9967612647175625, avgTableSize=726.167812107811
5.03/2.66	    
5.03/2.67	    num=15, depth=1..17, filters=10519, revisions=(36676,useless=34140), ccks=72404, wck=0.199, mem=74M149
5.03/2.67	    decisions=848, wrong=305, backtracks=1213, failedAssignments=225, nogoods=95, foundSolutions=3, bestBound=144
5.03/2.67	    nFilterCalls=17748, avgTableProportion=0.9967811347437905, avgTableSize=727.2773270227631
5.03/2.67	    
5.03/2.68	o 140
5.03/2.68	    num=16, depth=3..226, filters=11100, revisions=(38777,useless=36122), ccks=77040, wck=0.208, mem=74M149
5.03/2.68	    decisions=889, wrong=317, backtracks=1216, failedAssignments=234, nogoods=103, foundSolutions=4, bestBound=140
5.03/2.68	    nFilterCalls=18903, avgTableProportion=0.9967718189694477, avgTableSize=726.2755647251759
5.03/2.68	    
5.03/2.69	    num=17, depth=12..18, filters=11941, revisions=(41779,useless=38938), ccks=79905, wck=0.22, mem=74M149
5.03/2.69	    decisions=945, wrong=338, backtracks=1226, failedAssignments=247, nogoods=108, foundSolutions=4, bestBound=140
5.03/2.69	    nFilterCalls=20122, avgTableProportion=0.9967555295862454, avgTableSize=722.2694066196203
5.03/2.69	    
5.03/2.69	o 120
5.03/2.70	    num=18, depth=3..226, filters=12282, revisions=(43143,useless=40234), ccks=81157, wck=0.227, mem=74M149
5.03/2.70	    decisions=967, wrong=342, backtracks=1227, failedAssignments=250, nogoods=111, foundSolutions=5, bestBound=120
5.03/2.70	    nFilterCalls=20946, avgTableProportion=0.9967584964510741, avgTableSize=723.3454597536522
5.03/2.70	    
5.36/2.71	    num=19, depth=12..18, filters=13096, revisions=(45878,useless=42828), ccks=83586, wck=0.238, mem=74M149
5.36/2.71	    decisions=1021, wrong=362, backtracks=1238, failedAssignments=262, nogoods=116, foundSolutions=5, bestBound=120
5.36/2.71	    nFilterCalls=22194, avgTableProportion=0.9967542281611984, avgTableSize=722.9593583851491
5.36/2.71	    
5.36/2.71	    num=20, depth=0..22, filters=13729, revisions=(47983,useless=44762), ccks=86472, wck=0.245, mem=74M149
5.36/2.71	    decisions=1076, wrong=381, backtracks=1249, failedAssignments=273, nogoods=119, foundSolutions=5, bestBound=120
5.36/2.71	    nFilterCalls=23089, avgTableProportion=0.996752581108132, avgTableSize=721.9621897873446
5.36/2.71	    
5.36/2.72	    num=21, depth=6..10, filters=14512, revisions=(50808,useless=47390), ccks=88898, wck=0.254, mem=76M791
5.36/2.72	    decisions=1125, wrong=402, backtracks=1261, failedAssignments=285, nogoods=125, foundSolutions=5, bestBound=120
5.36/2.72	    nFilterCalls=24176, avgTableProportion=0.9967508373229697, avgTableSize=722.1192918596955
5.36/2.72	    
5.36/2.73	    num=22, depth=3..23, filters=15046, revisions=(52570,useless=49073), ccks=90817, wck=0.26, mem=76M791
5.36/2.73	    decisions=1175, wrong=420, backtracks=1270, failedAssignments=298, nogoods=129, foundSolutions=5, bestBound=120
5.36/2.73	    nFilterCalls=25042, avgTableProportion=0.9967463704331682, avgTableSize=721.1543806405239
5.36/2.73	    
5.36/2.74	    num=23, depth=2..20, filters=16055, revisions=(55823,useless=52062), ccks=93871, wck=0.269, mem=76M791
5.36/2.74	    decisions=1242, wrong=447, backtracks=1286, failedAssignments=312, nogoods=133, foundSolutions=5, bestBound=120
5.36/2.74	    nFilterCalls=26410, avgTableProportion=0.996739921130202, avgTableSize=719.1250283983339
5.36/2.74	    
5.36/2.75	o 116
5.36/2.75	    num=24, depth=2..226, filters=16826, revisions=(58528,useless=54556), ccks=97538, wck=0.279, mem=76M791
5.36/2.75	    decisions=1294, wrong=463, backtracks=1297, failedAssignments=318, nogoods=135, foundSolutions=6, bestBound=116
5.36/2.75	    nFilterCalls=27963, avgTableProportion=0.9967472053596691, avgTableSize=719.1030647641526
5.36/2.75	    
5.36/2.76	    num=25, depth=9..16, filters=17548, revisions=(61068,useless=57007), ccks=100158, wck=0.289, mem=76M791
5.36/2.76	    decisions=1359, wrong=491, backtracks=1313, failedAssignments=335, nogoods=137, foundSolutions=6, bestBound=116
5.36/2.76	    nFilterCalls=29303, avgTableProportion=0.9967422762548344, avgTableSize=717.8918540763744
5.36/2.76	    
5.36/2.77	    num=26, depth=4..11, filters=18204, revisions=(63463,useless=59242), ccks=102352, wck=0.299, mem=76M791
5.36/2.77	    decisions=1401, wrong=509, backtracks=1327, failedAssignments=346, nogoods=141, foundSolutions=6, bestBound=116
5.36/2.77	    nFilterCalls=30262, avgTableProportion=0.9967418406627576, avgTableSize=718.0935827109906
5.36/2.77	    
5.36/2.78	    num=27, depth=1..15, filters=18826, revisions=(65295,useless=60887), ccks=104640, wck=0.308, mem=76M791
5.36/2.78	    decisions=1456, wrong=531, backtracks=1340, failedAssignments=358, nogoods=147, foundSolutions=6, bestBound=116
5.36/2.78	    nFilterCalls=31037, avgTableProportion=0.9967404627575336, avgTableSize=717.3706221606469
5.36/2.78	    
5.36/2.79	    num=28, depth=3..11, filters=19670, revisions=(68419,useless=63792), ccks=108376, wck=0.321, mem=76M791
5.36/2.79	    decisions=1500, wrong=550, backtracks=1348, failedAssignments=371, nogoods=151, foundSolutions=6, bestBound=116
5.36/2.79	    nFilterCalls=32198, avgTableProportion=0.9967402219165692, avgTableSize=717.0238213553637
5.36/2.79	    
5.66/2.81	    num=29, depth=2..19, filters=20804, revisions=(72174,useless=67300), ccks=111852, wck=0.337, mem=76M791
5.66/2.81	    decisions=1560, wrong=576, backtracks=1366, failedAssignments=385, nogoods=154, foundSolutions=6, bestBound=116
5.66/2.81	    nFilterCalls=33865, avgTableProportion=0.9967252932283376, avgTableSize=714.6396279344456
5.66/2.81	    
5.66/2.82	    num=30, depth=6..15, filters=21900, revisions=(75525,useless=70333), ccks=115902, wck=0.35, mem=76M791
5.66/2.82	    decisions=1630, wrong=608, backtracks=1387, failedAssignments=401, nogoods=155, foundSolutions=6, bestBound=116
5.66/2.82	    nFilterCalls=35166, avgTableProportion=0.9967222742627394, avgTableSize=713.3060342376159
5.66/2.82	    
5.66/2.83	    num=31, depth=3..21, filters=23060, revisions=(79509,useless=74030), ccks=120890, wck=0.365, mem=76M791
5.66/2.83	    decisions=1708, wrong=641, backtracks=1407, failedAssignments=418, nogoods=161, foundSolutions=6, bestBound=116
5.66/2.83	    nFilterCalls=36857, avgTableProportion=0.9967162615314262, avgTableSize=712.0106085682503
5.66/2.83	    
5.66/2.84	    num=32, depth=5..15, filters=23876, revisions=(82186,useless=76479), ccks=123914, wck=0.375, mem=76M791
5.66/2.84	    decisions=1781, wrong=674, backtracks=1425, failedAssignments=437, nogoods=164, foundSolutions=6, bestBound=116
5.66/2.84	    nFilterCalls=37973, avgTableProportion=0.9967206933730692, avgTableSize=711.9181787059226
5.66/2.84	    
5.66/2.86	    num=33, depth=3..18, filters=24899, revisions=(85384,useless=79517), ccks=127979, wck=0.388, mem=76M791
5.66/2.86	    decisions=1856, wrong=707, backtracks=1450, failedAssignments=458, nogoods=170, foundSolutions=6, bestBound=116
5.66/2.86	    nFilterCalls=39635, avgTableProportion=0.9967085782602035, avgTableSize=709.9892519238048
5.66/2.86	    
5.66/2.87	    num=34, depth=2..20, filters=25940, revisions=(88796,useless=82661), ccks=132459, wck=0.402, mem=76M791
5.66/2.87	    decisions=1926, wrong=735, backtracks=1462, failedAssignments=481, nogoods=178, foundSolutions=6, bestBound=116
5.66/2.87	    nFilterCalls=41195, avgTableProportion=0.9967022180547336, avgTableSize=708.9828377230247
5.66/2.87	    
5.66/2.89	    num=35, depth=3..12, filters=27230, revisions=(93358,useless=86879), ccks=137541, wck=0.418, mem=76M791
5.66/2.89	    decisions=2019, wrong=779, backtracks=1492, failedAssignments=506, nogoods=182, foundSolutions=6, bestBound=116
5.66/2.89	    nFilterCalls=43104, avgTableProportion=0.9967046962114273, avgTableSize=710.1411469933184
5.66/2.89	    
5.96/2.90	    num=36, depth=3..16, filters=28522, revisions=(97159,useless=90472), ccks=141264, wck=0.434, mem=76M791
5.96/2.90	    decisions=2120, wrong=825, backtracks=1526, failedAssignments=534, nogoods=190, foundSolutions=6, bestBound=116
5.96/2.90	    nFilterCalls=45275, avgTableProportion=0.9966953202837502, avgTableSize=708.415483158476
5.96/2.90	    
5.96/2.92	    num=37, depth=3..22, filters=30093, revisions=(102096,useless=95007), ccks=146833, wck=0.452, mem=76M791
5.96/2.92	    decisions=2246, wrong=880, backtracks=1555, failedAssignments=565, nogoods=198, foundSolutions=6, bestBound=116
5.96/2.92	    nFilterCalls=47638, avgTableProportion=0.9966899073673657, avgTableSize=706.3825307527604
5.96/2.92	    
5.96/2.94	    num=38, depth=2..19, filters=31975, revisions=(108220,useless=100748), ccks=153898, wck=0.475, mem=76M791
5.96/2.94	    decisions=2374, wrong=938, backtracks=1592, failedAssignments=599, nogoods=208, foundSolutions=6, bestBound=116
5.96/2.94	    nFilterCalls=50680, avgTableProportion=0.9966951235679726, avgTableSize=707.2052683504342
5.96/2.94	    
5.96/2.97	    num=39, depth=4..13, filters=33675, revisions=(113337,useless=105441), ccks=160977, wck=0.498, mem=76M791
5.96/2.97	    decisions=2482, wrong=990, backtracks=1618, failedAssignments=636, nogoods=210, foundSolutions=6, bestBound=116
5.96/2.97	    nFilterCalls=53198, avgTableProportion=0.9967131634384769, avgTableSize=709.6922816647242
5.96/2.97	    
5.96/2.99	    num=40, depth=1..125, filters=35080, revisions=(118138,useless=110011), ccks=166870, wck=0.52, mem=76M791
5.96/2.99	    decisions=2596, wrong=1042, backtracks=1762, failedAssignments=677, nogoods=218, foundSolutions=6, bestBound=116
5.96/2.99	    nFilterCalls=55632, avgTableProportion=0.9967089868841201, avgTableSize=709.5195750647109
5.96/2.99	    
6.28/3.03	    num=41, depth=0..22, filters=38802, revisions=(129440,useless=120337), ccks=177709, wck=0.559, mem=79M433
6.28/3.03	    decisions=2804, wrong=1139, backtracks=1826, failedAssignments=722, nogoods=225, foundSolutions=6, bestBound=116
6.28/3.03	    nFilterCalls=60679, avgTableProportion=0.9966946085974028, avgTableSize=705.1947296428748
6.28/3.03	    
6.28/3.04	    num=42, depth=0..23, filters=40806, revisions=(135590,useless=125868), ccks=184910, wck=0.576, mem=79M433
6.28/3.04	    decisions=2982, wrong=1221, backtracks=1872, failedAssignments=772, nogoods=227, foundSolutions=6, bestBound=116
6.28/3.04	    nFilterCalls=63222, avgTableProportion=0.9966916961027827, avgTableSize=703.9445288032647
6.28/3.04	    
6.28/3.06	o 112
6.28/3.06	    num=43, depth=1..226, filters=42413, revisions=(141473,useless=131326), ccks=192361, wck=0.59, mem=79M433
6.28/3.06	    decisions=3113, wrong=1281, backtracks=1915, failedAssignments=800, nogoods=231, foundSolutions=7, bestBound=112
6.28/3.06	    nFilterCalls=66167, avgTableProportion=0.9967062522473672, avgTableSize=706.3252829960554
6.28/3.06	    
6.28/3.08	    num=44, depth=1..18, filters=45777, revisions=(152521,useless=141767), ccks=202241, wck=0.611, mem=79M433
6.28/3.08	    decisions=3367, wrong=1402, backtracks=2012, failedAssignments=861, nogoods=243, foundSolutions=7, bestBound=112
6.28/3.08	    nFilterCalls=71669, avgTableProportion=0.9967037997287401, avgTableSize=705.9406577460269
6.28/3.08	    
6.28/3.09	    num=45, depth=7..16, filters=46977, revisions=(156889,useless=145839), ccks=206840, wck=0.619, mem=79M433
6.28/3.09	    decisions=3435, wrong=1430, backtracks=2032, failedAssignments=872, nogoods=247, foundSolutions=7, bestBound=112
6.28/3.09	    nFilterCalls=73489, avgTableProportion=0.9967048601851518, avgTableSize=705.5860332838928
6.28/3.09	    
6.28/3.09	    num=46, depth=1..18, filters=47859, revisions=(160108,useless=148832), ccks=210497, wck=0.625, mem=79M433
6.28/3.09	    decisions=3488, wrong=1452, backtracks=2050, failedAssignments=884, nogoods=250, foundSolutions=7, bestBound=112
6.28/3.09	    nFilterCalls=74725, avgTableProportion=0.996705341212331, avgTableSize=705.6436266309803
6.28/3.09	    
6.28/3.10	    num=47, depth=2..16, filters=48679, revisions=(163045,useless=151589), ccks=214077, wck=0.631, mem=79M433
6.28/3.10	    decisions=3549, wrong=1479, backtracks=2071, failedAssignments=897, nogoods=252, foundSolutions=7, bestBound=112
6.28/3.10	    nFilterCalls=75981, avgTableProportion=0.9967080776324201, avgTableSize=706.5228938813651
6.28/3.10	    
6.60/3.11	    num=48, depth=9..16, filters=49588, revisions=(166082,useless=154404), ccks=217443, wck=0.637, mem=79M433
6.60/3.11	    decisions=3611, wrong=1505, backtracks=2088, failedAssignments=911, nogoods=254, foundSolutions=7, bestBound=112
6.60/3.11	    nFilterCalls=77426, avgTableProportion=0.996710235797228, avgTableSize=706.5591015937798
6.60/3.11	    
6.60/3.11	    num=49, depth=7..17, filters=50092, revisions=(168106,useless=156277), ccks=220564, wck=0.641, mem=79M433
6.60/3.11	    decisions=3673, wrong=1529, backtracks=2099, failedAssignments=927, nogoods=260, foundSolutions=7, bestBound=112
6.60/3.11	    nFilterCalls=78311, avgTableProportion=0.9967158593310688, avgTableSize=707.7463830113267
6.60/3.11	    
6.60/3.12	    num=50, depth=6..13, filters=51015, revisions=(171301,useless=159272), ccks=224501, wck=0.648, mem=79M433
6.60/3.12	    decisions=3739, wrong=1558, backtracks=2116, failedAssignments=944, nogoods=267, foundSolutions=7, bestBound=112
6.60/3.12	    nFilterCalls=79744, avgTableProportion=0.9967190587377582, avgTableSize=708.8459821428571
6.60/3.12	    
6.60/3.12	    num=51, depth=6..16, filters=51770, revisions=(174076,useless=161797), ccks=227978, wck=0.653, mem=79M433
6.60/3.12	    decisions=3818, wrong=1591, backtracks=2134, failedAssignments=963, nogoods=271, foundSolutions=7, bestBound=112
6.60/3.12	    nFilterCalls=80915, avgTableProportion=0.9967287689872775, avgTableSize=711.2194895878391
6.60/3.12	    
6.60/3.13	    num=52, depth=1..22, filters=53414, revisions=(179155,useless=166512), ccks=233235, wck=0.662, mem=79M433
6.60/3.13	    decisions=3918, wrong=1634, backtracks=2165, failedAssignments=984, nogoods=274, foundSolutions=7, bestBound=112
6.60/3.13	    nFilterCalls=83434, avgTableProportion=0.9967265952210578, avgTableSize=710.4284464367045
6.60/3.13	    
6.60/3.14	    num=53, depth=7..18, filters=54861, revisions=(183679,useless=170663), ccks=237565, wck=0.67, mem=79M433
6.60/3.14	    decisions=4032, wrong=1683, backtracks=2202, failedAssignments=1007, nogoods=280, foundSolutions=7, bestBound=112
6.60/3.14	    nFilterCalls=85815, avgTableProportion=0.9967266005548933, avgTableSize=709.4781798053954
6.60/3.14	    
6.60/3.15	    num=54, depth=1..21, filters=56719, revisions=(189820,useless=176297), ccks=243694, wck=0.68, mem=79M433
6.60/3.15	    decisions=4152, wrong=1737, backtracks=2243, failedAssignments=1032, nogoods=283, foundSolutions=7, bestBound=112
6.60/3.15	    nFilterCalls=88348, avgTableProportion=0.9967224917364638, avgTableSize=708.1065106171051
6.60/3.15	    
6.60/3.16	    num=55, depth=11..21, filters=58415, revisions=(194684,useless=180811), ccks=249041, wck=0.69, mem=79M433
6.60/3.16	    decisions=4286, wrong=1796, backtracks=2280, failedAssignments=1060, nogoods=287, foundSolutions=7, bestBound=112
6.60/3.16	    nFilterCalls=91118, avgTableProportion=0.9967237254243031, avgTableSize=707.8246559406484
6.60/3.16	    
6.60/3.16	    num=56, depth=9..166, filters=59076, revisions=(197008,useless=182951), ccks=251187, wck=0.695, mem=79M433
6.60/3.16	    decisions=4378, wrong=1834, backtracks=2444, failedAssignments=1091, nogoods=295, foundSolutions=7, bestBound=112
6.60/3.16	    nFilterCalls=92669, avgTableProportion=0.9967300887718452, avgTableSize=708.9335160625452
6.60/3.16	    
6.60/3.18	    num=57, depth=1..22, filters=61564, revisions=(204745,useless=189997), ccks=259998, wck=0.708, mem=79M433
6.60/3.18	    decisions=4540, wrong=1909, backtracks=2501, failedAssignments=1125, nogoods=298, foundSolutions=7, bestBound=112
6.60/3.18	    nFilterCalls=96187, avgTableProportion=0.9967269446561152, avgTableSize=706.9883144291848
6.60/3.18	    
6.88/3.20	    num=58, depth=0..16, filters=64504, revisions=(215314,useless=199745), ccks=274744, wck=0.725, mem=79M433
6.88/3.20	    decisions=4693, wrong=1980, backtracks=2547, failedAssignments=1162, nogoods=305, foundSolutions=7, bestBound=112
6.88/3.20	    nFilterCalls=100272, avgTableProportion=0.9967350088254601, avgTableSize=709.2064185415669
6.88/3.20	    
6.88/3.20	    num=59, depth=7..166, filters=65419, revisions=(219129,useless=203338), ccks=277258, wck=0.733, mem=79M433
6.88/3.20	    decisions=4798, wrong=2028, backtracks=3117, failedAssignments=1203, nogoods=310, foundSolutions=7, bestBound=112
6.88/3.20	    nFilterCalls=102940, avgTableProportion=0.9967464811691078, avgTableSize=711.9457839518166
6.88/3.20	    
6.88/3.21	o 108
6.88/3.21	    num=60, depth=7..226, filters=66082, revisions=(221767,useless=205782), ccks=280664, wck=0.739, mem=79M433
6.88/3.21	    decisions=4851, wrong=2049, backtracks=3130, failedAssignments=1213, nogoods=314, foundSolutions=8, bestBound=108
6.88/3.21	    nFilterCalls=104225, avgTableProportion=0.9967518613747637, avgTableSize=713.0530199088511
6.88/3.21	    
6.88/3.22	    num=61, depth=9..21, filters=68739, revisions=(229082,useless=212633), ccks=288486, wck=0.752, mem=79M433
6.88/3.22	    decisions=5078, wrong=2155, backtracks=3207, failedAssignments=1263, nogoods=318, foundSolutions=8, bestBound=108
6.88/3.22	    nFilterCalls=108665, avgTableProportion=0.9967478636025341, avgTableSize=711.8525560207979
6.88/3.22	    
6.88/3.23	    num=62, depth=9..23, filters=69592, revisions=(231584,useless=214969), ccks=290851, wck=0.757, mem=79M433
6.88/3.23	    decisions=5132, wrong=2175, backtracks=3221, failedAssignments=1274, nogoods=323, foundSolutions=8, bestBound=108
6.88/3.23	    nFilterCalls=109986, avgTableProportion=0.9967461785044013, avgTableSize=711.4604040514247
6.88/3.23	    
6.88/3.23	    num=63, depth=8..138, filters=70035, revisions=(233252,useless=216521), ccks=292504, wck=0.76, mem=79M433
6.88/3.23	    decisions=5168, wrong=2189, backtracks=3355, failedAssignments=1286, nogoods=328, foundSolutions=8, bestBound=108
6.88/3.23	    nFilterCalls=110944, avgTableProportion=0.9967503760375283, avgTableSize=712.3631291462359
6.88/3.23	    
6.88/3.23	    num=64, depth=8..15, filters=70457, revisions=(234729,useless=217882), ccks=295084, wck=0.763, mem=79M433
6.88/3.23	    decisions=5220, wrong=2210, backtracks=3366, failedAssignments=1299, nogoods=332, foundSolutions=8, bestBound=108
6.88/3.23	    nFilterCalls=111586, avgTableProportion=0.9967518948683534, avgTableSize=712.3900847776603
6.88/3.23	    
6.88/3.24	    num=65, depth=5..15, filters=71643, revisions=(239068,useless=221923), ccks=299889, wck=0.769, mem=79M433
6.88/3.24	    decisions=5278, wrong=2233, backtracks=3380, failedAssignments=1313, nogoods=335, foundSolutions=8, bestBound=108
6.88/3.24	    nFilterCalls=113136, avgTableProportion=0.9967515534535509, avgTableSize=712.4874133785886
6.88/3.24	    
6.88/3.24	    num=66, depth=1..16, filters=72778, revisions=(242808,useless=225370), ccks=307602, wck=0.775, mem=79M433
6.88/3.24	    decisions=5346, wrong=2263, backtracks=3402, failedAssignments=1329, nogoods=339, foundSolutions=8, bestBound=108
6.88/3.24	    nFilterCalls=114743, avgTableProportion=0.9967537868137926, avgTableSize=712.4722030973567
6.88/3.24	    
6.88/3.25	    num=67, depth=4..12, filters=73402, revisions=(244942,useless=227329), ccks=310465, wck=0.778, mem=79M433
6.88/3.25	    decisions=5394, wrong=2285, backtracks=3411, failedAssignments=1346, nogoods=344, foundSolutions=8, bestBound=108
6.88/3.25	    nFilterCalls=115615, avgTableProportion=0.9967581996201506, avgTableSize=713.5672187864897
6.88/3.25	    
6.88/3.25	    num=68, depth=0..16, filters=75005, revisions=(249779,useless=231766), ccks=316939, wck=0.786, mem=79M433
6.88/3.25	    decisions=5491, wrong=2329, backtracks=3440, failedAssignments=1365, nogoods=349, foundSolutions=8, bestBound=108
6.88/3.25	    nFilterCalls=117698, avgTableProportion=0.9967526842363014, avgTableSize=712.345647334704
6.88/3.25	    
6.88/3.26	    num=69, depth=6..21, filters=77059, revisions=(256370,useless=237865), ccks=324051, wck=0.794, mem=79M433
6.88/3.26	    decisions=5611, wrong=2386, backtracks=3485, failedAssignments=1386, nogoods=350, foundSolutions=8, bestBound=108
6.88/3.26	    nFilterCalls=120700, avgTableProportion=0.9967506571400133, avgTableSize=711.585526097763
6.88/3.26	    
6.88/3.27	    num=70, depth=9..16, filters=78141, revisions=(259354,useless=240690), ccks=327168, wck=0.799, mem=79M433
6.88/3.27	    decisions=5692, wrong=2422, backtracks=3508, failedAssignments=1409, nogoods=351, foundSolutions=8, bestBound=108
6.88/3.27	    nFilterCalls=122219, avgTableProportion=0.9967437677797375, avgTableSize=710.3111545668022
6.88/3.27	    
6.88/3.27	    num=71, depth=7..17, filters=79675, revisions=(264829,useless=245765), ccks=331951, wck=0.805, mem=79M433
6.88/3.27	    decisions=5798, wrong=2471, backtracks=3545, failedAssignments=1434, nogoods=355, foundSolutions=8, bestBound=108
6.88/3.27	    nFilterCalls=124639, avgTableProportion=0.9967490388435487, avgTableSize=711.1016936913807
6.88/3.27	    
6.88/3.28	    num=72, depth=6..21, filters=81855, revisions=(271588,useless=252021), ccks=339626, wck=0.814, mem=82M76
6.88/3.28	    decisions=5925, wrong=2531, backtracks=3587, failedAssignments=1462, nogoods=357, foundSolutions=8, bestBound=108
6.88/3.28	    nFilterCalls=127400, avgTableProportion=0.9967386390655334, avgTableSize=709.431797488226
6.88/3.28	    
6.88/3.29	    num=73, depth=4..18, filters=84549, revisions=(281007,useless=260790), ccks=349948, wck=0.825, mem=82M76
6.88/3.29	    decisions=6064, wrong=2597, backtracks=3628, failedAssignments=1493, nogoods=364, foundSolutions=8, bestBound=108
6.88/3.29	    nFilterCalls=131119, avgTableProportion=0.9967358749789562, avgTableSize=708.6277351108535
6.88/3.29	    
7.18/3.30	    num=74, depth=6..14, filters=85815, revisions=(285277,useless=264723), ccks=354569, wck=0.831, mem=82M76
7.18/3.30	    decisions=6161, wrong=2642, backtracks=3650, failedAssignments=1527, nogoods=372, foundSolutions=8, bestBound=108
7.18/3.30	    nFilterCalls=133322, avgTableProportion=0.9967435890453504, avgTableSize=709.9398673887281
7.18/3.30	    
7.18/3.31	    num=75, depth=14..27, filters=87642, revisions=(290359,useless=269425), ccks=361121, wck=0.839, mem=82M76
7.18/3.31	    decisions=6298, wrong=2703, backtracks=3684, failedAssignments=1564, nogoods=377, foundSolutions=8, bestBound=108
7.18/3.31	    nFilterCalls=136069, avgTableProportion=0.9967354984692027, avgTableSize=708.4659180268834
7.18/3.31	    
7.18/3.32	    num=76, depth=12..133, filters=90419, revisions=(298887,useless=277149), ccks=371690, wck=0.851, mem=82M76
7.18/3.32	    decisions=6481, wrong=2786, backtracks=3859, failedAssignments=1605, nogoods=381, foundSolutions=8, bestBound=108
7.18/3.32	    nFilterCalls=140296, avgTableProportion=0.9967489695506904, avgTableSize=710.0402221018418
7.18/3.32	    
7.18/3.33	    num=77, depth=4..130, filters=92546, revisions=(306091,useless=283822), ccks=379733, wck=0.861, mem=82M76
7.18/3.33	    decisions=6648, wrong=2865, backtracks=4149, failedAssignments=1650, nogoods=385, foundSolutions=8, bestBound=108
7.18/3.33	    nFilterCalls=144027, avgTableProportion=0.9967542955896199, avgTableSize=711.0861366271602
7.18/3.33	    
7.18/3.35	    num=78, depth=8..25, filters=96414, revisions=(316306,useless=293095), ccks=392043, wck=0.877, mem=82M76
7.18/3.35	    decisions=6870, wrong=2969, backtracks=4221, failedAssignments=1700, nogoods=389, foundSolutions=8, bestBound=108
7.18/3.35	    nFilterCalls=149940, avgTableProportion=0.9967550947471968, avgTableSize=710.2110510871015
7.18/3.35	    
7.18/3.35	o 104
7.18/3.35	    num=79, depth=2..226, filters=96896, revisions=(318138,useless=294793), ccks=394460, wck=0.882, mem=82M76
7.18/3.35	    decisions=6909, wrong=2982, backtracks=4227, failedAssignments=1707, nogoods=393, foundSolutions=9, bestBound=104
7.18/3.35	    nFilterCalls=151018, avgTableProportion=0.9967557450555327, avgTableSize=710.5776132646439
7.18/3.35	    
7.18/3.37	    num=80, depth=5..15, filters=100360, revisions=(330218,useless=305910), ccks=410558, wck=0.898, mem=82M76
7.18/3.37	    decisions=7164, wrong=3106, backtracks=4310, failedAssignments=1768, nogoods=399, foundSolutions=9, bestBound=104
7.18/3.37	    nFilterCalls=156595, avgTableProportion=0.9967708212740962, avgTableSize=712.6382579264983
7.18/3.37	    
7.18/3.37	    num=81, depth=10..20, filters=100956, revisions=(332063,useless=307617), ccks=413830, wck=0.901, mem=82M76
7.18/3.37	    decisions=7216, wrong=3126, backtracks=4321, failedAssignments=1779, nogoods=403, foundSolutions=9, bestBound=104
7.18/3.37	    nFilterCalls=157722, avgTableProportion=0.9967725166916677, avgTableSize=712.8571093442894
7.18/3.37	    
7.18/3.37	    num=82, depth=1..20, filters=101643, revisions=(334479,useless=309853), ccks=417981, wck=0.905, mem=82M76
7.18/3.37	    decisions=7270, wrong=3145, backtracks=4329, failedAssignments=1791, nogoods=409, foundSolutions=9, bestBound=104
7.18/3.37	    nFilterCalls=158796, avgTableProportion=0.9967747272198219, avgTableSize=713.2447227889871
7.18/3.37	    
7.18/3.38	    num=83, depth=3..20, filters=103151, revisions=(339423,useless=314427), ccks=425153, wck=0.913, mem=82M76
7.18/3.38	    decisions=7350, wrong=3180, backtracks=4354, failedAssignments=1804, nogoods=411, foundSolutions=9, bestBound=104
7.18/3.38	    nFilterCalls=161213, avgTableProportion=0.9967754078399227, avgTableSize=713.2164527674568
7.18/3.38	    
7.18/3.39	    num=84, depth=8..174, filters=103861, revisions=(341950,useless=316770), ccks=427579, wck=0.917, mem=82M76
7.18/3.39	    decisions=7414, wrong=3208, backtracks=4537, failedAssignments=1818, nogoods=415, foundSolutions=9, bestBound=104
7.18/3.39	    nFilterCalls=162745, avgTableProportion=0.9967792584924116, avgTableSize=713.9358812866755
7.18/3.39	    
7.18/3.39	    num=85, depth=1..18, filters=105143, revisions=(346610,useless=321105), ccks=436496, wck=0.924, mem=82M76
7.18/3.39	    decisions=7498, wrong=3245, backtracks=4561, failedAssignments=1834, nogoods=420, foundSolutions=9, bestBound=104
7.18/3.39	    nFilterCalls=164680, avgTableProportion=0.9967809202575472, avgTableSize=714.3057505465144
7.18/3.39	    
7.48/3.40	    num=86, depth=13..21, filters=106106, revisions=(349800,useless=324068), ccks=441913, wck=0.929, mem=82M76
7.48/3.40	    decisions=7565, wrong=3272, backtracks=4578, failedAssignments=1851, nogoods=422, foundSolutions=9, bestBound=104
7.48/3.40	    nFilterCalls=166109, avgTableProportion=0.9967770721357694, avgTableSize=713.6554972939456
7.48/3.40	    
7.48/3.40	    num=87, depth=2..171, filters=106865, revisions=(352916,useless=326977), ccks=446136, wck=0.934, mem=82M76
7.48/3.40	    decisions=7624, wrong=3300, backtracks=4759, failedAssignments=1870, nogoods=427, foundSolutions=9, bestBound=104
7.48/3.40	    nFilterCalls=167612, avgTableProportion=0.9967797920123891, avgTableSize=714.3065174331193
7.48/3.40	    
7.48/3.41	    num=88, depth=8..17, filters=108569, revisions=(358547,useless=332235), ccks=453515, wck=0.941, mem=82M76
7.48/3.41	    decisions=7722, wrong=3342, backtracks=4788, failedAssignments=1891, nogoods=429, foundSolutions=9, bestBound=104
7.48/3.41	    nFilterCalls=170146, avgTableProportion=0.996775138988206, avgTableSize=713.6344786242404
7.48/3.41	    
7.48/3.42	    num=89, depth=14..22, filters=109853, revisions=(362317,useless=335757), ccks=458736, wck=0.948, mem=82M76
7.48/3.42	    decisions=7828, wrong=3387, backtracks=4819, failedAssignments=1914, nogoods=437, foundSolutions=9, bestBound=104
7.48/3.42	    nFilterCalls=172161, avgTableProportion=0.9967718152532062, avgTableSize=713.1072135965753
7.48/3.42	    
7.48/3.42	    num=90, depth=12..23, filters=111212, revisions=(366091,useless=339270), ccks=461961, wck=0.953, mem=82M76
7.48/3.42	    decisions=7937, wrong=3432, backtracks=4845, failedAssignments=1939, nogoods=448, foundSolutions=9, bestBound=104
7.48/3.42	    nFilterCalls=174519, avgTableProportion=0.9967726581663159, avgTableSize=713.065946974255
7.48/3.42	    
7.48/3.43	    num=91, depth=12..20, filters=112464, revisions=(369929,useless=342846), ccks=467028, wck=0.959, mem=82M76
7.48/3.43	    decisions=8049, wrong=3482, backtracks=4874, failedAssignments=1967, nogoods=453, foundSolutions=9, bestBound=104
7.48/3.43	    nFilterCalls=176849, avgTableProportion=0.9967778565983362, avgTableSize=713.7068007169959
7.48/3.43	    
7.48/3.44	    num=92, depth=10..175, filters=113996, revisions=(375133,useless=347688), ccks=473127, wck=0.967, mem=82M76
7.48/3.44	    decisions=8166, wrong=3535, backtracks=5337, failedAssignments=1998, nogoods=456, foundSolutions=9, bestBound=104
7.48/3.44	    nFilterCalls=179615, avgTableProportion=0.9967732458908264, avgTableSize=713.1579823511399
7.48/3.44	    
7.48/3.44	    num=93, depth=7..16, filters=115332, revisions=(379859,useless=352098), ccks=483272, wck=0.975, mem=82M76
7.48/3.44	    decisions=8287, wrong=3592, backtracks=5369, failedAssignments=2032, nogoods=461, foundSolutions=9, bestBound=104
7.48/3.44	    nFilterCalls=182053, avgTableProportion=0.9967777005709565, avgTableSize=713.7856008964422
7.48/3.44	    
7.48/3.46	    num=94, depth=4..16, filters=117989, revisions=(389713,useless=361240), ccks=506961, wck=0.991, mem=82M76
7.48/3.46	    decisions=8439, wrong=3664, backtracks=5416, failedAssignments=2069, nogoods=465, foundSolutions=9, bestBound=104
7.48/3.46	    nFilterCalls=186283, avgTableProportion=0.9967859191461339, avgTableSize=715.7194644707247
7.48/3.46	    
7.48/3.47	    num=95, depth=5..19, filters=120633, revisions=(398424,useless=369307), ccks=516300, wck=1.002, mem=82M76
7.48/3.47	    decisions=8605, wrong=3743, backtracks=5462, failedAssignments=2110, nogoods=469, foundSolutions=9, bestBound=104
7.48/3.47	    nFilterCalls=190444, avgTableProportion=0.9967878589330266, avgTableSize=716.5422538909075
7.48/3.47	    
7.48/3.48	    num=96, depth=11..21, filters=122645, revisions=(404901,useless=375366), ccks=523832, wck=1.011, mem=82M76
7.48/3.48	    decisions=8774, wrong=3822, backtracks=5517, failedAssignments=2155, nogoods=470, foundSolutions=9, bestBound=104
7.48/3.48	    nFilterCalls=194189, avgTableProportion=0.9967933929709154, avgTableSize=717.8985472915562
7.48/3.48	    
7.48/3.49	    num=97, depth=5..16, filters=125705, revisions=(414809,useless=384582), ccks=533719, wck=1.024, mem=82M76
7.48/3.49	    decisions=8989, wrong=3926, backtracks=5596, failedAssignments=2205, nogoods=475, foundSolutions=9, bestBound=104
7.48/3.49	    nFilterCalls=199321, avgTableProportion=0.9967938622586602, avgTableSize=717.5427175260007
7.48/3.49	    
7.79/3.51	    num=98, depth=10..24, filters=129302, revisions=(426187,useless=395128), ccks=550107, wck=1.04, mem=82M76
7.79/3.51	    decisions=9226, wrong=4037, backtracks=5670, failedAssignments=2260, nogoods=482, foundSolutions=9, bestBound=104
7.79/3.51	    nFilterCalls=205288, avgTableProportion=0.9967909271904053, avgTableSize=716.2149857760804
7.79/3.51	    
7.79/3.52	    num=99, depth=2..9, filters=132332, revisions=(436757,useless=404920), ccks=568124, wck=1.056, mem=82M76
7.79/3.52	    decisions=9433, wrong=4139, backtracks=5729, failedAssignments=2321, nogoods=488, foundSolutions=9, bestBound=104
7.79/3.52	    nFilterCalls=210486, avgTableProportion=0.9967989783842182, avgTableSize=718.051846678639
7.79/3.52	    
7.79/3.54	    num=100, depth=7..173, filters=135206, revisions=(446775,useless=414249), ccks=578230, wck=1.07, mem=82M76
7.79/3.54	    decisions=9673, wrong=4253, backtracks=6357, failedAssignments=2388, nogoods=492, foundSolutions=9, bestBound=104
7.79/3.54	    nFilterCalls=215192, avgTableProportion=0.996791479160907, avgTableSize=716.7566359344214
7.79/3.54	    
7.79/3.55	    num=101, depth=9..21, filters=137734, revisions=(454562,useless=421607), ccks=586171, wck=1.082, mem=82M76
7.79/3.55	    decisions=9937, wrong=4379, backtracks=6444, failedAssignments=2462, nogoods=498, foundSolutions=9, bestBound=104
7.79/3.55	    nFilterCalls=220652, avgTableProportion=0.9967981976404614, avgTableSize=717.9619083443613
7.79/3.55	    
7.79/3.57	    num=102, depth=4..20, filters=142191, revisions=(470331,useless=436146), ccks=611675, wck=1.104, mem=82M76
7.79/3.57	    decisions=10283, wrong=4546, backtracks=6556, failedAssignments=2543, nogoods=506, foundSolutions=9, bestBound=104
7.79/3.57	    nFilterCalls=228482, avgTableProportion=0.9968136923250537, avgTableSize=720.4576553076391
7.79/3.57	    
7.79/3.59	    num=103, depth=7..174, filters=146502, revisions=(483606,useless=448397), ccks=627322, wck=1.122, mem=82M76
7.79/3.59	    decisions=10637, wrong=4716, backtracks=6827, failedAssignments=2632, nogoods=512, foundSolutions=9, bestBound=104
7.79/3.59	    nFilterCalls=234437, avgTableProportion=0.9967992420480284, avgTableSize=717.7394097348115
7.79/3.59	    
8.10/3.61	    num=104, depth=8..24, filters=151007, revisions=(498632,useless=462459), ccks=651806, wck=1.145, mem=82M76
8.10/3.61	    decisions=10973, wrong=4877, backtracks=6927, failedAssignments=2730, nogoods=516, foundSolutions=9, bestBound=104
8.10/3.61	    nFilterCalls=242819, avgTableProportion=0.9968099208433714, avgTableSize=719.6412842487614
8.10/3.61	    
8.10/3.63	    num=105, depth=9..23, filters=154955, revisions=(509650,useless=472596), ccks=664799, wck=1.161, mem=82M76
8.10/3.63	    decisions=11340, wrong=5053, backtracks=7030, failedAssignments=2838, nogoods=522, foundSolutions=9, bestBound=104
8.10/3.63	    nFilterCalls=249115, avgTableProportion=0.9968055092393159, avgTableSize=718.5001425044658
8.10/3.63	    
8.10/3.65	    num=106, depth=7..131, filters=160166, revisions=(526066,useless=487782), ccks=684390, wck=1.183, mem=82M76
8.10/3.65	    decisions=11743, wrong=5251, backtracks=7260, failedAssignments=2957, nogoods=524, foundSolutions=9, bestBound=104
8.10/3.65	    nFilterCalls=258138, avgTableProportion=0.9968092882161924, avgTableSize=718.7655478852397
8.10/3.65	    
8.40/3.70	    num=107, depth=10..171, filters=166196, revisions=(548223,useless=508904), ccks=708219, wck=1.228, mem=82M76
8.40/3.70	    decisions=12234, wrong=5486, backtracks=12823, failedAssignments=3088, nogoods=531, foundSolutions=9, bestBound=104
8.40/3.70	    nFilterCalls=277469, avgTableProportion=0.9968166764764365, avgTableSize=722.0189714887068
8.40/3.70	    
8.40/3.73	    num=108, depth=6..19, filters=173150, revisions=(572194,useless=530903), ccks=746480, wck=1.261, mem=84M719
8.40/3.73	    decisions=12824, wrong=5777, backtracks=13023, failedAssignments=3232, nogoods=537, foundSolutions=9, bestBound=104
8.40/3.73	    nFilterCalls=289071, avgTableProportion=0.9968335883422454, avgTableSize=724.4703827087463
8.40/3.73	    
8.40/3.77	    num=109, depth=7..22, filters=182777, revisions=(603557,useless=560160), ccks=784307, wck=1.298, mem=84M719
8.40/3.77	    decisions=13473, wrong=6095, backtracks=13247, failedAssignments=3390, nogoods=548, foundSolutions=9, bestBound=104
8.40/3.77	    nFilterCalls=305636, avgTableProportion=0.9968358040014921, avgTableSize=724.2318738630266
8.40/3.77	    
8.52/3.80	    num=110, depth=3..16, filters=191895, revisions=(629629,useless=584575), ccks=810948, wck=1.331, mem=84M719
8.52/3.80	    decisions=14139, wrong=6422, backtracks=13460, failedAssignments=3564, nogoods=559, foundSolutions=9, bestBound=104
8.52/3.80	    nFilterCalls=320402, avgTableProportion=0.9968236056353115, avgTableSize=721.7749545882984
8.52/3.80	    
8.52/3.86	    num=111, depth=10..24, filters=206922, revisions=(677671,useless=628676), ccks=874122, wck=1.389, mem=84M719
8.52/3.86	    decisions=14950, wrong=6820, backtracks=13729, failedAssignments=3755, nogoods=565, foundSolutions=9, bestBound=104
8.52/3.86	    nFilterCalls=342136, avgTableProportion=0.996829392132177, avgTableSize=721.7974752729908
8.52/3.86	    
8.63/3.91	    num=112, depth=6..23, filters=221913, revisions=(721703,useless=669066), ccks=929630, wck=1.442, mem=84M719
8.63/3.91	    decisions=15877, wrong=7277, backtracks=14053, failedAssignments=3966, nogoods=572, foundSolutions=9, bestBound=104
8.63/3.91	    nFilterCalls=364084, avgTableProportion=0.9968179480487851, avgTableSize=718.9817212511399
8.63/3.91	    
8.63/3.96	    num=113, depth=3..174, filters=233536, revisions=(758363,useless=703255), ccks=969287, wck=1.487, mem=84M719
8.63/3.96	    decisions=16745, wrong=7702, backtracks=15115, failedAssignments=4198, nogoods=581, foundSolutions=9, bestBound=104
8.63/3.96	    nFilterCalls=384048, avgTableProportion=0.9968156199380827, avgTableSize=718.6846540015831
8.63/3.96	    
8.75/4.01	    num=114, depth=2..167, filters=245605, revisions=(800280,useless=742119), ccks=1020112, wck=1.537, mem=84M719
8.75/4.01	    decisions=17598, wrong=8126, backtracks=15934, failedAssignments=4453, nogoods=587, foundSolutions=9, bestBound=104
8.75/4.01	    nFilterCalls=406325, avgTableProportion=0.9968387554342513, avgTableSize=722.9666547714268
8.75/4.01	    
8.75/4.06	    num=115, depth=10..26, filters=263140, revisions=(852720,useless=790444), ccks=1071413, wck=1.596, mem=84M719
8.75/4.06	    decisions=18937, wrong=8789, backtracks=16447, failedAssignments=4734, nogoods=600, foundSolutions=9, bestBound=104
8.75/4.06	    nFilterCalls=431165, avgTableProportion=0.996812676691606, avgTableSize=718.245256456345
8.75/4.06	    
8.88/4.14	    num=116, depth=4..23, filters=283181, revisions=(923915,useless=856369), ccks=1159203, wck=1.675, mem=84M719
8.88/4.14	    decisions=20228, wrong=9426, backtracks=16920, failedAssignments=5043, nogoods=605, foundSolutions=9, bestBound=104
8.88/4.14	    nFilterCalls=461796, avgTableProportion=0.996820065403444, avgTableSize=719.3004248629264
8.88/4.14	    
8.97/4.22	    num=117, depth=4..172, filters=302306, revisions=(989947,useless=917565), ccks=1237433, wck=1.752, mem=84M719
8.97/4.22	    decisions=21536, wrong=10076, backtracks=17509, failedAssignments=5383, nogoods=616, foundSolutions=9, bestBound=104
8.97/4.22	    nFilterCalls=494381, avgTableProportion=0.9968375209163511, avgTableSize=724.8877363814548
8.97/4.22	    
8.97/4.29	    num=118, depth=4..125, filters=322509, revisions=(1050407,useless=973779), ccks=1309203, wck=1.822, mem=84M719
8.97/4.29	    decisions=22877, wrong=10739, backtracks=18032, failedAssignments=5757, nogoods=626, foundSolutions=9, bestBound=104
8.97/4.29	    nFilterCalls=524954, avgTableProportion=0.9968227763863142, avgTableSize=722.0896364252868
8.97/4.29	    
9.07/4.38	    num=119, depth=1..169, filters=340768, revisions=(1111002,useless=1030354), ccks=1404656, wck=1.906, mem=84M719
9.07/4.38	    decisions=24207, wrong=11399, backtracks=20602, failedAssignments=6168, nogoods=632, foundSolutions=9, bestBound=104
9.07/4.38	    nFilterCalls=560718, avgTableProportion=0.9968350388850287, avgTableSize=725.4453504257042
9.07/4.38	    
9.19/4.46	    num=120, depth=5..174, filters=362528, revisions=(1184065,useless=1098558), ccks=1480513, wck=1.991, mem=84M719
9.19/4.46	    decisions=25756, wrong=12169, backtracks=21514, failedAssignments=6620, nogoods=642, foundSolutions=9, bestBound=104
9.19/4.46	    nFilterCalls=600670, avgTableProportion=0.9968503813262451, avgTableSize=729.2332212362861
9.19/4.46	    
9.29/4.53	    num=121, depth=12..29, filters=384871, revisions=(1242528,useless=1152902), ccks=1542586, wck=2.063, mem=84M719
9.29/4.53	    decisions=27575, wrong=13068, backtracks=22137, failedAssignments=7117, nogoods=656, foundSolutions=9, bestBound=104
9.29/4.53	    nFilterCalls=635095, avgTableProportion=0.9968271920403884, avgTableSize=725.103428620915
9.29/4.53	    
9.39/4.63	    num=122, depth=9..24, filters=412754, revisions=(1321524,useless=1225967), ccks=1643680, wck=2.163, mem=87M361
9.39/4.63	    decisions=29632, wrong=14090, backtracks=22812, failedAssignments=7664, nogoods=666, foundSolutions=9, bestBound=104
9.39/4.63	    nFilterCalls=679972, avgTableProportion=0.99682072242128, avgTableSize=723.6615228274105
9.39/4.63	    
9.49/4.76	    num=123, depth=0..171, filters=445716, revisions=(1430495,useless=1326556), ccks=1771823, wck=2.291, mem=87M361
9.49/4.76	    decisions=31789, wrong=15163, backtracks=23965, failedAssignments=8266, nogoods=673, foundSolutions=9, bestBound=104
9.49/4.76	    nFilterCalls=733642, avgTableProportion=0.9968440634952986, avgTableSize=726.9643368291346
9.49/4.76	    
9.60/4.87	    num=124, depth=2..22, filters=477581, revisions=(1528085,useless=1418330), ccks=1867156, wck=2.399, mem=87M361
9.60/4.87	    decisions=34227, wrong=16375, backtracks=24789, failedAssignments=8928, nogoods=685, foundSolutions=9, bestBound=104
9.60/4.87	    nFilterCalls=784929, avgTableProportion=0.9968254914717602, avgTableSize=725.4540015721167
9.60/4.87	    
9.82/5.01	    num=125, depth=9..26, filters=517617, revisions=(1647877,useless=1528979), ccks=2040798, wck=2.546, mem=87M361
9.82/5.01	    decisions=37018, wrong=17762, backtracks=25765, failedAssignments=9656, nogoods=695, foundSolutions=9, bestBound=104
9.82/5.01	    nFilterCalls=844465, avgTableProportion=0.9968124897800836, avgTableSize=722.0181416636568
9.82/5.01	    
9.92/5.17	    num=126, depth=3..176, filters=560673, revisions=(1791159,useless=1661608), ccks=2179222, wck=2.706, mem=87M361
9.92/5.17	    decisions=40157, wrong=19326, backtracks=27900, failedAssignments=10457, nogoods=703, foundSolutions=9, bestBound=104
9.92/5.17	    nFilterCalls=921032, avgTableProportion=0.996836717736528, avgTableSize=724.6063513536989
9.92/5.17	    
10.13/5.32	    num=127, depth=7..136, filters=602972, revisions=(1916563,useless=1778254), ccks=2305957, wck=2.848, mem=87M361
10.13/5.32	    decisions=43433, wrong=20959, backtracks=29923, failedAssignments=11338, nogoods=708, foundSolutions=9, bestBound=104
10.13/5.32	    nFilterCalls=992296, avgTableProportion=0.9968233562878471, avgTableSize=720.6771416996542
10.13/5.32	    
10.33/5.51	    num=128, depth=8..135, filters=653079, revisions=(2079207,useless=1929321), ccks=2531714, wck=3.044, mem=87M361
10.33/5.51	    decisions=47348, wrong=22909, backtracks=31625, failedAssignments=12308, nogoods=719, foundSolutions=9, bestBound=104
10.33/5.51	    nFilterCalls=1075147, avgTableProportion=0.9968353366234866, avgTableSize=722.0015179319665
10.33/5.51	    
10.53/5.71	    num=129, depth=5..177, filters=699119, revisions=(2235141,useless=2073721), ccks=2720929, wck=3.239, mem=90M4
10.53/5.71	    decisions=51015, wrong=24736, backtracks=36152, failedAssignments=13375, nogoods=730, foundSolutions=9, bestBound=104
10.53/5.71	    nFilterCalls=1163714, avgTableProportion=0.9968696640434433, avgTableSize=728.7022618959642
10.53/5.71	    
10.74/5.97	    num=130, depth=3..25, filters=766220, revisions=(2470280,useless=2293157), ccks=2985127, wck=3.5, mem=90M4
10.74/5.97	    decisions=55517, wrong=26981, backtracks=37658, failedAssignments=14548, nogoods=745, foundSolutions=9, bestBound=104
10.74/5.97	    nFilterCalls=1274464, avgTableProportion=0.9968834968416829, avgTableSize=731.2625150651568
10.74/5.97	    
11.04/6.21	    num=131, depth=2..19, filters=840320, revisions=(2683960,useless=2491843), ccks=3192486, wck=3.738, mem=90M4
11.04/6.21	    decisions=60515, wrong=29479, backtracks=39357, failedAssignments=15839, nogoods=751, foundSolutions=9, bestBound=104
11.04/6.21	    nFilterCalls=1384702, avgTableProportion=0.9968453898388367, avgTableSize=725.2300480536607
11.04/6.21	    
11.25/6.49	    num=132, depth=0..169, filters=915873, revisions=(2922658,useless=2714865), ccks=3410340, wck=4.018, mem=90M4
11.25/6.49	    decisions=65968, wrong=32200, backtracks=44818, failedAssignments=17259, nogoods=761, foundSolutions=9, bestBound=104
11.25/6.49	    nFilterCalls=1522006, avgTableProportion=0.9968633493987142, avgTableSize=728.4297105267653
11.25/6.49	    
11.65/6.81	    num=133, depth=4..24, filters=999738, revisions=(3204517,useless=2978727), ccks=3743999, wck=4.338, mem=92M646
11.65/6.81	    decisions=72039, wrong=35230, backtracks=46875, failedAssignments=18821, nogoods=775, foundSolutions=9, bestBound=104
11.65/6.81	    nFilterCalls=1657904, avgTableProportion=0.9968667905458525, avgTableSize=730.4295556316891
11.65/6.81	    
11.86/7.08	    num=134, depth=0..172, filters=1083226, revisions=(3444615,useless=3204640), ccks=3957680, wck=4.614, mem=92M646
11.86/7.08	    decisions=78576, wrong=38495, backtracks=49924, failedAssignments=20539, nogoods=788, foundSolutions=9, bestBound=104
11.86/7.08	    nFilterCalls=1802397, avgTableProportion=0.9968502417148616, avgTableSize=728.0855455263186
11.86/7.08	    
12.35/7.50	    num=135, depth=5..27, filters=1185565, revisions=(3792366,useless=3527290), ccks=4434146, wck=5.03, mem=92M646
12.35/7.50	    decisions=85629, wrong=42015, backtracks=52211, failedAssignments=22429, nogoods=797, foundSolutions=9, bestBound=104
12.35/7.50	    nFilterCalls=1968644, avgTableProportion=0.9968816920752065, avgTableSize=734.747154386471
12.35/7.50	    
12.35/7.52	o 100
12.35/7.52	    num=136, depth=7..226, filters=1191034, revisions=(3809927,useless=3543629), ccks=4456244, wck=5.053, mem=95M288
12.35/7.52	    decisions=85963, wrong=42177, backtracks=52327, failedAssignments=22513, nogoods=806, foundSolutions=10, bestBound=100
12.35/7.52	    nFilterCalls=1976754, avgTableProportion=0.9968806534545827, avgTableSize=734.5148946201703
12.35/7.52	    
12.88/8.00	    num=137, depth=6..25, filters=1320930, revisions=(4212365,useless=3919370), ccks=4905631, wck=5.527, mem=95M288
12.88/8.00	    decisions=95209, wrong=46795, backtracks=55683, failedAssignments=24800, nogoods=817, foundSolutions=10, bestBound=100
12.88/8.00	    nFilterCalls=2194751, avgTableProportion=0.9968739674563382, avgTableSize=731.6994643128081
12.88/8.00	    
12.88/8.00	    num=138, depth=4..21, filters=1321544, revisions=(4214716,useless=3921584), ccks=4910780, wck=5.531, mem=95M288
12.88/8.00	    decisions=95265, wrong=46816, backtracks=55694, failedAssignments=24811, nogoods=821, foundSolutions=10, bestBound=100
12.88/8.00	    nFilterCalls=2195828, avgTableProportion=0.996874149220998, avgTableSize=731.7564991429201
12.88/8.00	    
12.88/8.00	    num=139, depth=9..16, filters=1322345, revisions=(4217404,useless=3924099), ccks=4913420, wck=5.534, mem=95M288
12.88/8.00	    decisions=95317, wrong=46835, backtracks=55708, failedAssignments=24823, nogoods=825, foundSolutions=10, bestBound=100
12.88/8.00	    nFilterCalls=2197241, avgTableProportion=0.9968743068255433, avgTableSize=731.7656110549548
12.88/8.00	    
12.98/8.01	    num=140, depth=4..13, filters=1323075, revisions=(4219941,useless=3926430), ccks=4916785, wck=5.537, mem=95M288
12.98/8.01	    decisions=95372, wrong=46859, backtracks=55720, failedAssignments=24836, nogoods=829, foundSolutions=10, bestBound=100
12.98/8.01	    nFilterCalls=2198412, avgTableProportion=0.9968743580484108, avgTableSize=731.765173225037
12.98/8.01	    
12.98/8.01	    num=141, depth=10..20, filters=1324044, revisions=(4223512,useless=3929748), ccks=4920075, wck=5.541, mem=95M288
12.98/8.01	    decisions=95430, wrong=46882, backtracks=55732, failedAssignments=24850, nogoods=832, foundSolutions=10, bestBound=100
12.98/8.01	    nFilterCalls=2199986, avgTableProportion=0.9968745483777199, avgTableSize=731.7857077272309
12.98/8.01	    
12.98/8.01	    num=142, depth=5..16, filters=1324713, revisions=(4225739,useless=3931814), ccks=4922666, wck=5.544, mem=95M288
12.98/8.01	    decisions=95483, wrong=46906, backtracks=55745, failedAssignments=24866, nogoods=833, foundSolutions=10, bestBound=100
12.98/8.01	    nFilterCalls=2201077, avgTableProportion=0.9968746497559899, avgTableSize=731.8070512753529
12.98/8.01	    
12.98/8.02	    num=143, depth=7..15, filters=1326235, revisions=(4230979,useless=3936672), ccks=4931653, wck=5.551, mem=95M288
12.98/8.02	    decisions=95564, wrong=46942, backtracks=55772, failedAssignments=24883, nogoods=835, foundSolutions=10, bestBound=100
12.98/8.02	    nFilterCalls=2203242, avgTableProportion=0.9968745153151585, avgTableSize=731.7522087905005
12.98/8.02	    
12.98/8.03	    num=144, depth=7..18, filters=1327819, revisions=(4236433,useless=3941725), ccks=4937888, wck=5.557, mem=95M288
12.98/8.03	    decisions=95658, wrong=46981, backtracks=55795, failedAssignments=24902, nogoods=839, foundSolutions=10, bestBound=100
12.98/8.03	    nFilterCalls=2205630, avgTableProportion=0.996874597102628, avgTableSize=731.747300317823
12.98/8.03	    
12.98/8.03	    num=145, depth=9..17, filters=1329120, revisions=(4241480,useless=3946403), ccks=4944668, wck=5.563, mem=95M288
12.98/8.03	    decisions=95746, wrong=47020, backtracks=55822, failedAssignments=24923, nogoods=843, foundSolutions=10, bestBound=100
12.98/8.03	    nFilterCalls=2207671, avgTableProportion=0.9968748530746264, avgTableSize=731.7813283772808
12.98/8.03	    
12.98/8.04	    num=146, depth=8..20, filters=1330585, revisions=(4246427,useless=3950990), ccks=4949322, wck=5.568, mem=95M288
12.98/8.04	    decisions=95835, wrong=47060, backtracks=55848, failedAssignments=24946, nogoods=845, foundSolutions=10, bestBound=100
12.98/8.04	    nFilterCalls=2210092, avgTableProportion=0.9968751854297264, avgTableSize=731.8002160091073
12.98/8.04	    
12.98/8.04	    num=147, depth=7..18, filters=1332482, revisions=(4253172,useless=3957220), ccks=4956644, wck=5.576, mem=95M288
12.98/8.04	    decisions=95952, wrong=47111, backtracks=55882, failedAssignments=24971, nogoods=852, foundSolutions=10, bestBound=100
12.98/8.04	    nFilterCalls=2213031, avgTableProportion=0.9968755448720455, avgTableSize=731.8411572183128
12.98/8.04	    
12.98/8.05	    num=148, depth=9..20, filters=1333925, revisions=(4257729,useless=3961435), ccks=4962048, wck=5.581, mem=95M288
12.98/8.05	    decisions=96040, wrong=47150, backtracks=55902, failedAssignments=24999, nogoods=854, foundSolutions=10, bestBound=100
12.98/8.05	    nFilterCalls=2215285, avgTableProportion=0.9968758314266363, avgTableSize=731.8472837580717
12.98/8.05	    
12.98/8.06	    num=149, depth=4..16, filters=1336064, revisions=(4265397,useless=3968519), ccks=4975447, wck=5.591, mem=95M288
12.98/8.06	    decisions=96177, wrong=47214, backtracks=55944, failedAssignments=25030, nogoods=858, foundSolutions=10, bestBound=100
12.98/8.06	    nFilterCalls=2218519, avgTableProportion=0.9968762816544917, avgTableSize=731.9559827975329
12.98/8.06	    
12.98/8.07	    num=150, depth=1..14, filters=1337902, revisions=(4272404,useless=3974992), ccks=4986064, wck=5.6, mem=95M288
12.98/8.07	    decisions=96308, wrong=47279, backtracks=55986, failedAssignments=25064, nogoods=860, foundSolutions=10, bestBound=100
12.98/8.07	    nFilterCalls=2221559, avgTableProportion=0.9968767422504361, avgTableSize=732.041232755916
12.98/8.07	    
12.98/8.08	    num=151, depth=8..20, filters=1339684, revisions=(4278738,useless=3980808), ccks=4998304, wck=5.609, mem=95M288
12.98/8.08	    decisions=96456, wrong=47347, backtracks=56029, failedAssignments=25101, nogoods=868, foundSolutions=10, bestBound=100
12.98/8.08	    nFilterCalls=2224223, avgTableProportion=0.9968773360663048, avgTableSize=732.1608579715254
12.98/8.08	    
12.98/8.09	    num=152, depth=3..19, filters=1342759, revisions=(4288964,useless=3990338), ccks=5011813, wck=5.621, mem=95M288
12.98/8.09	    decisions=96628, wrong=47427, backtracks=56086, failedAssignments=25142, nogoods=876, foundSolutions=10, bestBound=100
12.98/8.09	    nFilterCalls=2229022, avgTableProportion=0.996876936776047, avgTableSize=732.0663120417834
12.98/8.09	    
12.98/8.10	    num=153, depth=6..131, filters=1344729, revisions=(4294917,useless=3995797), ccks=5018011, wck=5.629, mem=95M288
12.98/8.10	    decisions=96768, wrong=47493, backtracks=56232, failedAssignments=25187, nogoods=879, foundSolutions=10, bestBound=100
12.98/8.10	    nFilterCalls=2232174, avgTableProportion=0.9968775003448498, avgTableSize=732.193909614573
12.98/8.10	    
13.10/8.11	    num=154, depth=4..18, filters=1347537, revisions=(4304654,useless=4004747), ccks=5035859, wck=5.642, mem=95M288
13.10/8.11	    decisions=96959, wrong=47584, backtracks=56284, failedAssignments=25237, nogoods=882, foundSolutions=10, bestBound=100
13.10/8.11	    nFilterCalls=2236429, avgTableProportion=0.9968778487676282, avgTableSize=732.254366671153
13.10/8.11	    
13.10/8.12	    num=155, depth=4..21, filters=1350836, revisions=(4314975,useless=4014265), ccks=5049328, wck=5.654, mem=95M288
13.10/8.12	    decisions=97225, wrong=47712, backtracks=56372, failedAssignments=25292, nogoods=887, foundSolutions=10, bestBound=100
13.10/8.12	    nFilterCalls=2241340, avgTableProportion=0.9968777558717291, avgTableSize=732.2706773626492
13.10/8.12	    
13.10/8.14	    num=156, depth=9..20, filters=1354248, revisions=(4326554,useless=4024999), ccks=5065903, wck=5.668, mem=95M288
13.10/8.14	    decisions=97459, wrong=47823, backtracks=56439, failedAssignments=25353, nogoods=891, foundSolutions=10, bestBound=100
13.10/8.14	    nFilterCalls=2246875, avgTableProportion=0.9968788627652511, avgTableSize=732.4870328789987
13.10/8.14	    
13.10/8.16	    num=157, depth=3..21, filters=1359769, revisions=(4344520,useless=4041335), ccks=5094296, wck=5.69, mem=95M288
13.10/8.16	    decisions=97812, wrong=47996, backtracks=56557, failedAssignments=25420, nogoods=895, foundSolutions=10, bestBound=100
13.10/8.16	    nFilterCalls=2254113, avgTableProportion=0.9968799150813684, avgTableSize=732.7010633450941
13.10/8.16	    
13.10/8.18	    num=158, depth=4..23, filters=1363838, revisions=(4358478,useless=4054303), ccks=5121132, wck=5.709, mem=95M288
13.10/8.18	    decisions=98115, wrong=48139, backtracks=56644, failedAssignments=25494, nogoods=901, foundSolutions=10, bestBound=100
13.10/8.18	    nFilterCalls=2260671, avgTableProportion=0.9968798874847425, avgTableSize=732.6635388342664
13.10/8.18	    
13.10/8.19	    num=159, depth=6..18, filters=1367271, revisions=(4369162,useless=4064127), ccks=5132152, wck=5.721, mem=95M288
13.10/8.19	    decisions=98375, wrong=48264, backtracks=56716, failedAssignments=25575, nogoods=906, foundSolutions=10, bestBound=100
13.10/8.19	    nFilterCalls=2265769, avgTableProportion=0.9968793162829847, avgTableSize=732.477145728448
13.10/8.19	    
13.19/8.20	    num=160, depth=7..135, filters=1370769, revisions=(4380065,useless=4074366), ccks=5149555, wck=5.736, mem=95M288
13.19/8.20	    decisions=98681, wrong=48407, backtracks=56920, failedAssignments=25664, nogoods=913, foundSolutions=10, bestBound=100
13.19/8.20	    nFilterCalls=2271723, avgTableProportion=0.9968805451351624, avgTableSize=732.8286019026087
13.19/8.20	    
13.19/8.23	    num=161, depth=11..22, filters=1376282, revisions=(4398109,useless=4091138), ccks=5177025, wck=5.758, mem=95M288
13.19/8.23	    decisions=99042, wrong=48579, backtracks=57023, failedAssignments=25762, nogoods=920, foundSolutions=10, bestBound=100
13.19/8.23	    nFilterCalls=2280090, avgTableProportion=0.9968801076908175, avgTableSize=732.7141568973154
13.19/8.23	    
13.19/8.26	    num=162, depth=5..19, filters=1382447, revisions=(4420533,useless=4112085), ccks=5216781, wck=5.787, mem=97M931
13.19/8.26	    decisions=99446, wrong=48778, backtracks=57147, failedAssignments=25870, nogoods=924, foundSolutions=10, bestBound=100
13.19/8.26	    nFilterCalls=2289797, avgTableProportion=0.9968806089960067, avgTableSize=732.8623515534347
13.19/8.26	    
13.19/8.29	    num=163, depth=9..177, filters=1389719, revisions=(4445092,useless=4134750), ccks=5253276, wck=5.817, mem=97M931
13.19/8.29	    decisions=99899, wrong=48999, backtracks=57451, failedAssignments=25989, nogoods=929, foundSolutions=10, bestBound=100
13.19/8.29	    nFilterCalls=2301378, avgTableProportion=0.9968820745052176, avgTableSize=733.2050723523037
13.19/8.29	    
13.29/8.31	    num=164, depth=8..25, filters=1397505, revisions=(4468254,useless=4156440), ccks=5277008, wck=5.845, mem=97M931
13.29/8.31	    decisions=100421, wrong=49255, backtracks=57619, failedAssignments=26120, nogoods=937, foundSolutions=10, bestBound=100
13.29/8.31	    nFilterCalls=2314539, avgTableProportion=0.996881668896486, avgTableSize=733.2214272474994
13.29/8.31	    
13.29/8.35	    num=165, depth=0..22, filters=1406848, revisions=(4498137,useless=4184017), ccks=5315153, wck=5.88, mem=97M931
13.29/8.35	    decisions=101007, wrong=49540, backtracks=57843, failedAssignments=26264, nogoods=941, foundSolutions=10, bestBound=100
13.29/8.35	    nFilterCalls=2328678, avgTableProportion=0.996881462514327, avgTableSize=733.1648647859429
13.29/8.35	    
13.29/8.39	    num=166, depth=3..19, filters=1416455, revisions=(4532082,useless=4215819), ccks=5361171, wck=5.919, mem=97M931
13.29/8.39	    decisions=101604, wrong=49832, backtracks=58033, failedAssignments=26422, nogoods=952, foundSolutions=10, bestBound=100
13.29/8.39	    nFilterCalls=2343827, avgTableProportion=0.9968819499218432, avgTableSize=733.185231674522
13.29/8.39	    
13.39/8.42	    num=167, depth=10..23, filters=1425506, revisions=(4562735,useless=4244411), ccks=5396529, wck=5.954, mem=97M931
13.39/8.42	    decisions=102287, wrong=50167, backtracks=58245, failedAssignments=26596, nogoods=957, foundSolutions=10, bestBound=100
13.39/8.42	    nFilterCalls=2358701, avgTableProportion=0.9968821942937105, avgTableSize=733.309260478543
13.39/8.42	    
13.39/8.47	    num=168, depth=9..26, filters=1436678, revisions=(4598234,useless=4277007), ccks=5455696, wck=5.997, mem=97M931
13.39/8.47	    decisions=103100, wrong=50568, backtracks=58528, failedAssignments=26787, nogoods=962, foundSolutions=10, bestBound=100
13.39/8.47	    nFilterCalls=2373614, avgTableProportion=0.996881196248553, avgTableSize=733.0361836423277
13.39/8.47	    
13.49/8.52	    num=169, depth=6..24, filters=1448497, revisions=(4637383,useless=4313230), ccks=5518831, wck=6.049, mem=97M931
13.49/8.52	    decisions=103900, wrong=50961, backtracks=58780, failedAssignments=26998, nogoods=971, foundSolutions=10, bestBound=100
13.49/8.52	    nFilterCalls=2393791, avgTableProportion=0.9968845229473973, avgTableSize=733.5385077477524
13.49/8.52	    
13.49/8.56	    num=170, depth=2..116, filters=1459026, revisions=(4673445,useless=4346756), ccks=5575566, wck=6.095, mem=97M931
13.49/8.56	    decisions=104695, wrong=51353, backtracks=59126, failedAssignments=27230, nogoods=981, foundSolutions=10, bestBound=100
13.49/8.56	    nFilterCalls=2412083, avgTableProportion=0.9968863600516563, avgTableSize=733.9795575027891
13.49/8.56	    
13.59/8.60	    num=171, depth=3..173, filters=1467486, revisions=(4703422,useless=4375054), ccks=5604543, wck=6.131, mem=97M931
13.59/8.60	    decisions=105408, wrong=51707, backtracks=59910, failedAssignments=27485, nogoods=991, foundSolutions=10, bestBound=100
13.59/8.60	    nFilterCalls=2429450, avgTableProportion=0.9968874011007769, avgTableSize=734.1854003992673
13.59/8.60	    
13.59/8.66	    num=172, depth=3..137, filters=1482393, revisions=(4756015,useless=4424247), ccks=5681972, wck=6.196, mem=97M931
13.59/8.66	    decisions=106382, wrong=52189, backtracks=60441, failedAssignments=27766, nogoods=1000, foundSolutions=10, bestBound=100
13.59/8.66	    nFilterCalls=2455422, avgTableProportion=0.9968894514856361, avgTableSize=734.5147538793739
13.59/8.66	    
13.70/8.73	    num=173, depth=6..173, filters=1498695, revisions=(4808007,useless=4472576), ccks=5746938, wck=6.257, mem=97M931
13.70/8.73	    decisions=107490, wrong=52733, backtracks=61230, failedAssignments=28075, nogoods=1007, foundSolutions=10, bestBound=100
13.70/8.73	    nFilterCalls=2480371, avgTableProportion=0.9968872084134354, avgTableSize=734.1172852770816
13.70/8.73	    
13.80/8.83	    num=174, depth=3..25, filters=1518748, revisions=(4880949,useless=4539979), ccks=5909553, wck=6.36, mem=97M931
13.80/8.83	    decisions=108928, wrong=53447, backtracks=61729, failedAssignments=28415, nogoods=1017, foundSolutions=10, bestBound=100
13.80/8.83	    nFilterCalls=2509776, avgTableProportion=0.996890427169428, avgTableSize=734.8068923282397
13.80/8.83	    
13.90/8.91	    num=175, depth=7..116, filters=1539345, revisions=(4949198,useless=4603381), ccks=6009476, wck=6.44, mem=97M931
13.90/8.91	    decisions=110219, wrong=54083, backtracks=62233, failedAssignments=28789, nogoods=1024, foundSolutions=10, bestBound=100
13.90/8.91	    nFilterCalls=2541005, avgTableProportion=0.9968891967964223, avgTableSize=734.4656484343793
13.90/8.91	    
13.90/9.00	    num=176, depth=2..24, filters=1565341, revisions=(5033000,useless=4681291), ccks=6101825, wck=6.533, mem=97M931
13.90/9.00	    decisions=111906, wrong=54923, backtracks=62857, failedAssignments=29200, nogoods=1029, foundSolutions=10, bestBound=100
13.90/9.00	    nFilterCalls=2582826, avgTableProportion=0.9968892251679805, avgTableSize=734.1196720181692
13.90/9.00	    
14.00/9.09	    num=177, depth=0..174, filters=1586050, revisions=(5101320,useless=4744631), ccks=6202759, wck=6.624, mem=97M931
14.00/9.09	    decisions=113503, wrong=55718, backtracks=63858, failedAssignments=29652, nogoods=1040, foundSolutions=10, bestBound=100
14.00/9.09	    nFilterCalls=2619464, avgTableProportion=0.9968929302908206, avgTableSize=734.6865236552211
14.00/9.09	    
14.11/9.18	    num=178, depth=2..170, filters=1609168, revisions=(5173252,useless=4812299), ccks=6291166, wck=6.711, mem=100M573
14.11/9.18	    decisions=115297, wrong=56612, backtracks=64639, failedAssignments=30149, nogoods=1053, foundSolutions=10, bestBound=100
14.11/9.18	    nFilterCalls=2660025, avgTableProportion=0.9968911416864178, avgTableSize=734.6283689063073
14.11/9.18	    
14.30/9.31	    num=179, depth=7..175, filters=1638297, revisions=(5274527,useless=4906105), ccks=6442283, wck=6.84, mem=100M573
14.30/9.31	    decisions=117445, wrong=57678, backtracks=65654, failedAssignments=30696, nogoods=1061, foundSolutions=10, bestBound=100
14.30/9.31	    nFilterCalls=2709983, avgTableProportion=0.9968981410385391, avgTableSize=735.6895393808743
14.30/9.31	    
14.40/9.43	    num=180, depth=4..173, filters=1668501, revisions=(5372884,useless=4997726), ccks=6580894, wck=6.958, mem=100M573
14.40/9.43	    decisions=119556, wrong=58726, backtracks=67212, failedAssignments=31298, nogoods=1067, foundSolutions=10, bestBound=100
14.40/9.43	    nFilterCalls=2757093, avgTableProportion=0.9968940562988211, avgTableSize=734.716501764721
14.40/9.43	    
14.60/9.61	    num=181, depth=6..22, filters=1712030, revisions=(5522335,useless=5136868), ccks=6812221, wck=7.141, mem=100M573
14.60/9.61	    decisions=122317, wrong=60100, backtracks=68190, failedAssignments=31960, nogoods=1074, foundSolutions=10, bestBound=100
14.60/9.61	    nFilterCalls=2825000, avgTableProportion=0.9968929300740536, avgTableSize=734.1994456637168
14.60/9.61	    
14.70/9.79	    num=182, depth=2..23, filters=1756973, revisions=(5666533,useless=5271376), ccks=7015099, wck=7.318, mem=100M573
14.70/9.79	    decisions=125224, wrong=61548, backtracks=69219, failedAssignments=32688, nogoods=1083, foundSolutions=10, bestBound=100
14.70/9.79	    nFilterCalls=2890080, avgTableProportion=0.9968844413814844, avgTableSize=732.4833336793445
14.70/9.79	    
14.98/9.97	    num=183, depth=9..133, filters=1798408, revisions=(5805705,useless=5399565), ccks=7221795, wck=7.499, mem=100M573
14.98/9.97	    decisions=128267, wrong=63063, backtracks=70284, failedAssignments=33489, nogoods=1098, foundSolutions=10, bestBound=100
14.98/9.97	    nFilterCalls=2956774, avgTableProportion=0.996893686222591, avgTableSize=734.0030864719455
14.98/9.97	    
15.19/10.14	    num=184, depth=4..23, filters=1844188, revisions=(5956413,useless=5540414), ccks=7379175, wck=7.669, mem=100M573
15.19/10.14	    decisions=131510, wrong=64680, backtracks=71380, failedAssignments=34370, nogoods=1108, foundSolutions=10, bestBound=100
15.19/10.14	    nFilterCalls=3035253, avgTableProportion=0.9968948053664486, avgTableSize=734.0879979362511
15.19/10.14	    
15.38/10.37	    num=185, depth=6..23, filters=1901969, revisions=(6140984,useless=5710830), ccks=7644295, wck=7.901, mem=103M216
15.38/10.37	    decisions=135205, wrong=66520, backtracks=72551, failedAssignments=35340, nogoods=1122, foundSolutions=10, bestBound=100
15.38/10.37	    nFilterCalls=3125545, avgTableProportion=0.9969018710821115, avgTableSize=735.4725636648968
15.38/10.37	    
15.68/10.62	    num=186, depth=5..21, filters=1961487, revisions=(6355602,useless=5912034), ccks=7937993, wck=8.154, mem=103M216
15.68/10.62	    decisions=139302, wrong=68562, backtracks=74003, failedAssignments=36407, nogoods=1140, foundSolutions=10, bestBound=100
15.68/10.62	    nFilterCalls=3228780, avgTableProportion=0.9969067473732115, avgTableSize=736.9349497333358
15.68/10.62	    
15.88/10.87	    num=187, depth=4..25, filters=2027008, revisions=(6567311,useless=6110155), ccks=8220607, wck=8.402, mem=103M216
15.88/10.87	    decisions=143630, wrong=70722, backtracks=75517, failedAssignments=37580, nogoods=1146, foundSolutions=10, bestBound=100
15.88/10.87	    nFilterCalls=3333612, avgTableProportion=0.996901021557064, avgTableSize=735.6104453667673
15.88/10.87	    
16.19/11.11	    num=188, depth=1..166, filters=2092031, revisions=(6770070,useless=6300213), ccks=8407063, wck=8.638, mem=103M216
16.19/11.11	    decisions=148779, wrong=73291, backtracks=79048, failedAssignments=38871, nogoods=1157, foundSolutions=10, bestBound=100
16.19/11.11	    nFilterCalls=3452055, avgTableProportion=0.9969021874728964, avgTableSize=735.9856343540297
16.19/11.11	    
16.48/11.45	    num=189, depth=4..171, filters=2172094, revisions=(7044029,useless=6556490), ccks=8802088, wck=8.978, mem=105M858
16.48/11.45	    decisions=154087, wrong=75941, backtracks=80939, failedAssignments=40291, nogoods=1167, foundSolutions=10, bestBound=100
16.48/11.45	    nFilterCalls=3590524, avgTableProportion=0.9969078264542758, avgTableSize=736.5396660765949
16.48/11.45	    
16.78/11.76	    num=190, depth=5..175, filters=2250126, revisions=(7311819,useless=6807882), ccks=9082370, wck=9.29, mem=105M858
16.78/11.76	    decisions=159660, wrong=78721, backtracks=84889, failedAssignments=41853, nogoods=1179, foundSolutions=10, bestBound=100
16.78/11.76	    nFilterCalls=3738039, avgTableProportion=0.9969147294801752, avgTableSize=738.2622808376263
16.78/11.76	    
17.19/12.12	    num=191, depth=2..127, filters=2348651, revisions=(7629588,useless=7105901), ccks=9386519, wck=9.65, mem=105M858
17.19/12.12	    decisions=166004, wrong=81890, backtracks=87342, failedAssignments=43571, nogoods=1188, foundSolutions=10, bestBound=100
17.19/12.12	    nFilterCalls=3911459, avgTableProportion=0.9969146954534801, avgTableSize=737.8869245465695
17.19/12.12	    
17.38/12.39	    num=192, depth=1..171, filters=2429764, revisions=(7868761,useless=7333475), ccks=9552709, wck=9.921, mem=105M858
17.38/12.39	    decisions=172712, wrong=85240, backtracks=89902, failedAssignments=45461, nogoods=1198, foundSolutions=10, bestBound=100
17.38/12.39	    nFilterCalls=4069008, avgTableProportion=0.9969123323260818, avgTableSize=737.9378010561788
17.38/12.39	    
17.79/12.74	    num=193, depth=2..172, filters=2532849, revisions=(8180512,useless=7625103), ccks=9861313, wck=10.27, mem=108M501
17.79/12.74	    decisions=180763, wrong=89260, backtracks=93982, failedAssignments=47540, nogoods=1219, foundSolutions=10, bestBound=100
17.79/12.74	    nFilterCalls=4229284, avgTableProportion=0.9968925170277648, avgTableSize=734.0165935888912
17.79/12.74	    
18.29/13.23	    num=194, depth=2..128, filters=2657258, revisions=(8579046,useless=7994653), ccks=10380897, wck=10.76, mem=108M501
18.29/13.23	    decisions=189487, wrong=93616, backtracks=97099, failedAssignments=49827, nogoods=1230, foundSolutions=10, bestBound=100
18.29/13.23	    nFilterCalls=4427695, avgTableProportion=0.9969003001815786, avgTableSize=735.0375152308368
18.29/13.23	    
18.79/13.78	    num=195, depth=1..170, filters=2794704, revisions=(9032172,useless=8416241), ccks=10932977, wck=11.312, mem=111M143
18.79/13.78	    decisions=199145, wrong=98439, backtracks=101386, failedAssignments=52343, nogoods=1251, foundSolutions=10, bestBound=100
18.79/13.78	    nFilterCalls=4670689, avgTableProportion=0.9969097838583055, avgTableSize=736.2742511864952
18.79/13.78	    
19.39/14.39	    num=196, depth=2..172, filters=2950995, revisions=(9568709,useless=8918427), ccks=11524491, wck=11.925, mem=111M143
19.39/14.39	    decisions=209642, wrong=103682, backtracks=105760, failedAssignments=55111, nogoods=1258, foundSolutions=10, bestBound=100
19.39/14.39	    nFilterCalls=4943432, avgTableProportion=0.9969172914110527, avgTableSize=736.997513872953
19.39/14.39	    
20.20/15.13	    num=197, depth=0..21, filters=3129150, revisions=(10157273,useless=9464667), ccks=12392500, wck=12.663, mem=113M785
20.20/15.13	    decisions=221280, wrong=109495, backtracks=109618, failedAssignments=58155, nogoods=1267, foundSolutions=10, bestBound=100
20.20/15.13	    nFilterCalls=5235268, avgTableProportion=0.9969202091285274, avgTableSize=737.2621946001618
20.20/15.13	    
20.89/15.89	    num=198, depth=0..172, filters=3309960, revisions=(10775429,useless=10042018), ccks=13245677, wck=13.417, mem=116M428
20.89/15.89	    decisions=233273, wrong=115485, backtracks=114646, failedAssignments=61504, nogoods=1275, foundSolutions=10, bestBound=100
20.89/15.89	    nFilterCalls=5549249, avgTableProportion=0.9969225459917562, avgTableSize=737.8088413405129
20.89/15.89	    
21.59/16.55	    num=199, depth=0..170, filters=3488639, revisions=(11348217,useless=10580487), ccks=13830857, wck=14.083, mem=116M428
21.59/16.55	    decisions=246401, wrong=122045, backtracks=120525, failedAssignments=65188, nogoods=1291, foundSolutions=10, bestBound=100
21.59/16.55	    nFilterCalls=5865518, avgTableProportion=0.9969189309984025, avgTableSize=737.5139948423993
21.59/16.55	    
22.39/17.31	    num=200, depth=0..20, filters=3709225, revisions=(12025617,useless=11216437), ccks=14433057, wck=14.84, mem=119M70
22.39/17.31	    decisions=262045, wrong=129861, backtracks=126210, failedAssignments=69240, nogoods=1308, foundSolutions=10, bestBound=100
22.39/17.31	    nFilterCalls=6233026, avgTableProportion=0.9969072143782103, avgTableSize=736.1687717971977
22.39/17.31	    
23.29/18.28	    num=201, depth=2..174, filters=3958734, revisions=(12840962,useless=11982913), ccks=15321153, wck=15.813, mem=121M713
23.29/18.28	    decisions=278475, wrong=138071, backtracks=136601, failedAssignments=73697, nogoods=1318, foundSolutions=10, bestBound=100
23.29/18.28	    nFilterCalls=6682353, avgTableProportion=0.9969117572118567, avgTableSize=736.3147352437084
23.29/18.28	    
24.39/19.40	    num=202, depth=0..23, filters=4260788, revisions=(13814376,useless=12892003), ccks=16291111, wck=16.928, mem=124M355
24.39/19.40	    decisions=297539, wrong=147600, backtracks=143518, failedAssignments=78600, nogoods=1323, foundSolutions=10, bestBound=100
24.39/19.40	    nFilterCalls=7196466, avgTableProportion=0.9969132908673541, avgTableSize=735.4354495664955
24.39/19.40	    
25.49/20.48	    num=203, depth=0..137, filters=4559102, revisions=(14763809,useless=13783030), ccks=17223263, wck=18.008, mem=126M998
25.49/20.48	    decisions=317376, wrong=157514, backtracks=151172, failedAssignments=83994, nogoods=1333, foundSolutions=10, bestBound=100
25.49/20.48	    nFilterCalls=7702056, avgTableProportion=0.9969069375289609, avgTableSize=734.6960930951424
25.49/20.48	    
26.99/21.91	    num=204, depth=0..173, filters=4929124, revisions=(16014876,useless=14952468), ccks=18573248, wck=19.444, mem=129M640
26.99/21.91	    decisions=339711, wrong=168677, backtracks=159959, failedAssignments=89927, nogoods=1351, foundSolutions=10, bestBound=100
26.99/21.91	    nFilterCalls=8324066, avgTableProportion=0.9969120725662471, avgTableSize=735.0939658575509
26.99/21.91	    
27.49/22.48	o 96
27.49/22.48	    num=205, depth=2..226, filters=5070045, revisions=(16494688,useless=15402261), ccks=19119039, wck=20.01, mem=132M282
27.49/22.48	    decisions=348609, wrong=173120, backtracks=164300, failedAssignments=92256, nogoods=1360, foundSolutions=11, bestBound=96
27.49/22.48	    nFilterCalls=8573025, avgTableProportion=0.9969185313633272, avgTableSize=736.0659383356517
27.49/22.48	    
29.11/24.07	    num=206, depth=1..172, filters=5472566, revisions=(17880449,useless=16710199), ccks=20504095, wck=21.597, mem=134M925
29.11/24.07	    decisions=374628, wrong=186125, backtracks=174261, failedAssignments=99435, nogoods=1366, foundSolutions=11, bestBound=96
29.11/24.07	    nFilterCalls=9315985, avgTableProportion=0.9969263832432484, avgTableSize=737.2924500200462
29.11/24.07	    
29.11/24.07	    num=207, depth=10..15, filters=5473213, revisions=(17882308,useless=16711988), ccks=20505654, wck=21.599, mem=134M925
29.11/24.07	    decisions=374680, wrong=186146, backtracks=174276, failedAssignments=99446, nogoods=1368, foundSolutions=11, bestBound=96
29.11/24.07	    nFilterCalls=9317090, avgTableProportion=0.9969263428187957, avgTableSize=737.2900971225995
29.11/24.07	    
29.11/24.07	    num=208, depth=0..13, filters=5474132, revisions=(17885738,useless=16715216), ccks=20512488, wck=21.604, mem=134M925
29.11/24.07	    decisions=374733, wrong=186169, backtracks=174290, failedAssignments=99458, nogoods=1371, foundSolutions=11, bestBound=96
29.11/24.07	    nFilterCalls=9318538, avgTableProportion=0.9969263405267244, avgTableSize=737.2880618182809
29.11/24.07	    
29.11/24.08	    num=209, depth=6..12, filters=5475177, revisions=(17889302,useless=16718546), ccks=20516931, wck=21.608, mem=134M925
29.11/24.08	    decisions=374781, wrong=186190, backtracks=174308, failedAssignments=99471, nogoods=1374, foundSolutions=11, bestBound=96
29.11/24.08	    nFilterCalls=9320397, avgTableProportion=0.9969263642626083, avgTableSize=737.2881859002358
29.11/24.08	    
29.11/24.08	    num=210, depth=6..16, filters=5476048, revisions=(17892238,useless=16721327), ccks=20520591, wck=21.612, mem=134M925
29.11/24.08	    decisions=374839, wrong=186214, backtracks=174327, failedAssignments=99485, nogoods=1376, foundSolutions=11, bestBound=96
29.11/24.08	    nFilterCalls=9321777, avgTableProportion=0.9969262985282756, avgTableSize=737.2774545025053
29.11/24.08	    
29.11/24.09	    num=211, depth=0..12, filters=5477412, revisions=(17896874,useless=16725715), ccks=20525575, wck=21.618, mem=134M925
29.11/24.09	    decisions=374913, wrong=186249, backtracks=174359, failedAssignments=99501, nogoods=1378, foundSolutions=11, bestBound=96
29.11/24.09	    nFilterCalls=9324279, avgTableProportion=0.9969263144179643, avgTableSize=737.276455798888
29.11/24.09	    
29.11/24.09	    num=212, depth=3..15, filters=5478727, revisions=(17901401,useless=16729920), ccks=20532087, wck=21.623, mem=134M925
29.11/24.09	    decisions=374983, wrong=186279, backtracks=174381, failedAssignments=99518, nogoods=1384, foundSolutions=11, bestBound=96
29.11/24.09	    nFilterCalls=9326354, avgTableProportion=0.996926330398844, avgTableSize=737.2787149190348
29.11/24.09	    
29.11/24.10	    num=213, depth=5..15, filters=5480429, revisions=(17907132,useless=16735255), ccks=20539223, wck=21.63, mem=134M925
29.11/24.10	    decisions=375064, wrong=186316, backtracks=174407, failedAssignments=99537, nogoods=1388, foundSolutions=11, bestBound=96
29.11/24.10	    nFilterCalls=9328977, avgTableProportion=0.9969263631898415, avgTableSize=737.285269542416
29.11/24.10	    
29.11/24.10	    num=214, depth=10..19, filters=5481715, revisions=(17911484,useless=16739329), ccks=20544811, wck=21.636, mem=134M925
29.11/24.10	    decisions=375147, wrong=186349, backtracks=174426, failedAssignments=99558, nogoods=1396, foundSolutions=11, bestBound=96
29.11/24.10	    nFilterCalls=9331229, avgTableProportion=0.9969263642216218, avgTableSize=737.2830223114233
29.11/24.10	    
29.23/24.11	    num=215, depth=2..174, filters=5482913, revisions=(17915723,useless=16743356), ccks=20550667, wck=21.642, mem=134M925
29.23/24.11	    decisions=375221, wrong=186381, backtracks=174768, failedAssignments=99581, nogoods=1399, foundSolutions=11, bestBound=96
29.23/24.11	    nFilterCalls=9333969, avgTableProportion=0.9969263639141258, avgTableSize=737.2833379883734
29.23/24.11	    
29.23/24.12	    num=216, depth=4..24, filters=5484743, revisions=(17921766,useless=16749013), ccks=20559608, wck=21.65, mem=134M925
29.23/24.12	    decisions=375361, wrong=186441, backtracks=174814, failedAssignments=99606, nogoods=1402, foundSolutions=11, bestBound=96
29.23/24.12	    nFilterCalls=9336988, avgTableProportion=0.9969263736281517, avgTableSize=737.2794076633706
29.23/24.12	    
29.23/24.13	    num=217, depth=8..18, filters=5486413, revisions=(17927460,useless=16754293), ccks=20566165, wck=21.657, mem=134M925
29.23/24.13	    decisions=375479, wrong=186495, backtracks=174849, failedAssignments=99634, nogoods=1406, foundSolutions=11, bestBound=96
29.23/24.13	    nFilterCalls=9340012, avgTableProportion=0.9969264410326516, avgTableSize=737.2868178327823
29.23/24.13	    
29.23/24.13	    num=218, depth=6..15, filters=5488539, revisions=(17934827,useless=16761111), ccks=20576736, wck=21.666, mem=134M925
29.23/24.13	    decisions=375597, wrong=186550, backtracks=174881, failedAssignments=99665, nogoods=1412, foundSolutions=11, bestBound=96
29.23/24.13	    nFilterCalls=9343474, avgTableProportion=0.9969265199283619, avgTableSize=737.2954184920941
29.23/24.13	    
29.23/24.14	    num=219, depth=10..18, filters=5490181, revisions=(17940204,useless=16766198), ccks=20581564, wck=21.673, mem=134M925
29.23/24.14	    decisions=375736, wrong=186613, backtracks=174920, failedAssignments=99699, nogoods=1418, foundSolutions=11, bestBound=96
29.23/24.14	    nFilterCalls=9346423, avgTableProportion=0.9969264336099158, avgTableSize=737.2821592816846
29.23/24.14	    
29.23/24.15	    num=220, depth=5..14, filters=5492722, revisions=(17948732,useless=16774103), ccks=20592770, wck=21.683, mem=134M925
29.23/24.15	    decisions=375893, wrong=186689, backtracks=174972, failedAssignments=99736, nogoods=1420, foundSolutions=11, bestBound=96
29.23/24.15	    nFilterCalls=9350843, avgTableProportion=0.9969265525949312, avgTableSize=737.3093398103251
29.23/24.15	    
29.23/24.16	    num=221, depth=0..19, filters=5495106, revisions=(17957587,useless=16782462), ccks=20604086, wck=21.694, mem=134M925
29.23/24.16	    decisions=376050, wrong=186763, backtracks=175021, failedAssignments=99777, nogoods=1426, foundSolutions=11, bestBound=96
29.23/24.16	    nFilterCalls=9354955, avgTableProportion=0.9969265646992282, avgTableSize=737.3169415566404
29.23/24.16	    
29.23/24.17	    num=222, depth=6..173, filters=5497293, revisions=(17965100,useless=16789541), ccks=20612349, wck=21.703, mem=134M925
29.23/24.17	    decisions=376211, wrong=186839, backtracks=175390, failedAssignments=99822, nogoods=1428, foundSolutions=11, bestBound=96
29.23/24.17	    nFilterCalls=9358870, avgTableProportion=0.9969263821620375, avgTableSize=737.2867048051742
29.23/24.17	    
29.23/24.18	    num=223, depth=4..18, filters=5500300, revisions=(17975221,useless=16799050), ccks=20624951, wck=21.715, mem=134M925
29.23/24.18	    decisions=376383, wrong=186920, backtracks=175440, failedAssignments=99872, nogoods=1433, foundSolutions=11, bestBound=96
29.23/24.18	    nFilterCalls=9364177, avgTableProportion=0.9969263869552835, avgTableSize=737.2962175960578
29.23/24.18	    
29.23/24.20	    num=224, depth=7..17, filters=5503381, revisions=(17985614,useless=16808907), ccks=20635961, wck=21.728, mem=134M925
29.23/24.20	    decisions=376589, wrong=187019, backtracks=175510, failedAssignments=99927, nogoods=1439, foundSolutions=11, bestBound=96
29.23/24.20	    nFilterCalls=9369740, avgTableProportion=0.9969263029802488, avgTableSize=737.267664310856
29.23/24.20	    
29.33/24.21	    num=225, depth=3..15, filters=5506195, revisions=(17994856,useless=16817634), ccks=20643547, wck=21.739, mem=134M925
29.33/24.21	    decisions=376804, wrong=187124, backtracks=175587, failedAssignments=99988, nogoods=1444, foundSolutions=11, bestBound=96
29.33/24.21	    nFilterCalls=9375291, avgTableProportion=0.9969263192691951, avgTableSize=737.2824159804746
29.33/24.21	    
29.33/24.22	    num=226, depth=6..17, filters=5510423, revisions=(18009085,useless=16830951), ccks=20657984, wck=21.756, mem=134M925
29.33/24.22	    decisions=377068, wrong=187251, backtracks=175675, failedAssignments=100055, nogoods=1447, foundSolutions=11, bestBound=96
29.33/24.22	    nFilterCalls=9382861, avgTableProportion=0.9969266424314582, avgTableSize=737.330671956027
29.33/24.22	    
29.33/24.24	    num=227, depth=5..19, filters=5515483, revisions=(18026377,useless=16847109), ccks=20676550, wck=21.775, mem=134M925
29.33/24.24	    decisions=377378, wrong=187399, backtracks=175778, failedAssignments=100129, nogoods=1452, foundSolutions=11, bestBound=96
29.33/24.24	    nFilterCalls=9390765, avgTableProportion=0.9969266606656253, avgTableSize=737.3332627320565
29.33/24.24	    
29.33/24.26	    num=228, depth=6..18, filters=5520400, revisions=(18043289,useless=16862961), ccks=20698901, wck=21.796, mem=134M925
29.33/24.26	    decisions=377655, wrong=187533, backtracks=175859, failedAssignments=100210, nogoods=1459, foundSolutions=11, bestBound=96
29.33/24.26	    nFilterCalls=9399141, avgTableProportion=0.9969267129706317, avgTableSize=737.3428567568036
29.33/24.26	    
29.33/24.28	    num=229, depth=2..17, filters=5525237, revisions=(18058637,useless=16877436), ccks=20712931, wck=21.815, mem=134M925
29.33/24.28	    decisions=378008, wrong=187706, backtracks=175984, failedAssignments=100299, nogoods=1467, foundSolutions=11, bestBound=96
29.33/24.28	    nFilterCalls=9408255, avgTableProportion=0.9969266725948353, avgTableSize=737.3417511536411
29.33/24.28	    
29.43/24.31	    num=230, depth=4..18, filters=5531734, revisions=(18081015,useless=16898457), ccks=20749304, wck=21.843, mem=134M925
29.43/24.31	    decisions=378375, wrong=187884, backtracks=176109, failedAssignments=100397, nogoods=1473, foundSolutions=11, bestBound=96
29.43/24.31	    nFilterCalls=9419152, avgTableProportion=0.9969266640153601, avgTableSize=737.3408753781657
29.43/24.31	    
29.43/24.32	    num=231, depth=1..11, filters=5534744, revisions=(18091271,useless=16908165), ccks=20756736, wck=21.855, mem=134M925
29.43/24.32	    decisions=378650, wrong=188020, backtracks=176168, failedAssignments=100505, nogoods=1483, foundSolutions=11, bestBound=96
29.43/24.32	    nFilterCalls=9425940, avgTableProportion=0.9969268085258849, avgTableSize=737.3606117798331
29.43/24.32	    
29.43/24.35	    num=232, depth=6..19, filters=5542810, revisions=(18116918,useless=16932157), ccks=20788512, wck=21.886, mem=134M925
29.43/24.35	    decisions=379145, wrong=188263, backtracks=176354, failedAssignments=100624, nogoods=1488, foundSolutions=11, bestBound=96
29.43/24.35	    nFilterCalls=9438663, avgTableProportion=0.9969268038034241, avgTableSize=737.3412111439936
29.43/24.35	    
29.43/24.39	    num=233, depth=5..20, filters=5551577, revisions=(18148273,useless=16961496), ccks=20824420, wck=21.92, mem=134M925
29.43/24.39	    decisions=379701, wrong=188536, backtracks=176541, failedAssignments=100755, nogoods=1493, foundSolutions=11, bestBound=96
29.43/24.39	    nFilterCalls=9452610, avgTableProportion=0.996926645340365, avgTableSize=737.3136455434002
29.43/24.39	    
29.53/24.43	    num=234, depth=2..16, filters=5561750, revisions=(18184169,useless=16994662), ccks=20874935, wck=21.963, mem=137M567
29.53/24.43	    decisions=380297, wrong=188830, backtracks=176756, failedAssignments=100899, nogoods=1501, foundSolutions=11, bestBound=96
29.53/24.43	    nFilterCalls=9467877, avgTableProportion=0.9969269893640461, avgTableSize=737.3541650361533
29.53/24.43	    
29.53/24.47	    num=235, depth=4..16, filters=5571623, revisions=(18216866,useless=17025311), ccks=20911308, wck=22.002, mem=137M567
29.53/24.47	    decisions=380910, wrong=189132, backtracks=176973, failedAssignments=101057, nogoods=1508, foundSolutions=11, bestBound=96
29.53/24.47	    nFilterCalls=9484419, avgTableProportion=0.9969269282064127, avgTableSize=737.3360148892621
29.53/24.47	    
29.63/24.50	    num=236, depth=2..17, filters=5579753, revisions=(18242744,useless=17049806), ccks=20941909, wck=22.033, mem=137M567
29.63/24.50	    decisions=381551, wrong=189449, backtracks=177208, failedAssignments=101231, nogoods=1517, foundSolutions=11, bestBound=96
29.63/24.50	    nFilterCalls=9498479, avgTableProportion=0.9969264697407288, avgTableSize=737.2178492998721
29.63/24.50	    
29.63/24.54	    num=237, depth=3..17, filters=5590702, revisions=(18279189,useless=17084363), ccks=20975327, wck=22.075, mem=137M567
29.63/24.54	    decisions=382243, wrong=189791, backtracks=177434, failedAssignments=101422, nogoods=1527, foundSolutions=11, bestBound=96
29.63/24.54	    nFilterCalls=9517728, avgTableProportion=0.9969262814779933, avgTableSize=737.2098974671266
29.63/24.54	    
29.73/24.60	    num=238, depth=4..171, filters=5602790, revisions=(18322924,useless=17125472), ccks=21037294, wck=22.129, mem=137M567
29.73/24.60	    decisions=383038, wrong=190184, backtracks=177869, failedAssignments=101633, nogoods=1532, foundSolutions=11, bestBound=96
29.73/24.60	    nFilterCalls=9539937, avgTableProportion=0.9969266949605212, avgTableSize=737.2483887472213
29.73/24.60	    
29.73/24.66	    num=239, depth=4..131, filters=5617404, revisions=(18372621,useless=17172198), ccks=21108663, wck=22.189, mem=137M567
29.73/24.66	    decisions=383834, wrong=190577, backtracks=178259, failedAssignments=101865, nogoods=1535, foundSolutions=11, bestBound=96
29.73/24.66	    nFilterCalls=9563937, avgTableProportion=0.9969265573500748, avgTableSize=737.1929292298768
29.73/24.66	    
29.83/24.71	    num=240, depth=2..15, filters=5630705, revisions=(18421891,useless=17218571), ccks=21155872, wck=22.242, mem=137M567
29.83/24.71	    decisions=384773, wrong=191045, backtracks=178580, failedAssignments=102120, nogoods=1541, foundSolutions=11, bestBound=96
29.83/24.71	    nFilterCalls=9588942, avgTableProportion=0.9969270945574894, avgTableSize=737.2552348319554
29.83/24.71	    
29.83/24.76	    num=241, depth=3..16, filters=5644105, revisions=(18464952,useless=17259582), ccks=21189329, wck=22.292, mem=137M567
29.83/24.76	    decisions=385860, wrong=191586, backtracks=178980, failedAssignments=102401, nogoods=1548, foundSolutions=11, bestBound=96
29.83/24.76	    nFilterCalls=9615789, avgTableProportion=0.9969270138446547, avgTableSize=737.2263863110973
29.83/24.76	    
29.94/24.83	    num=242, depth=4..21, filters=5662458, revisions=(18528240,useless=17318999), ccks=21268772, wck=22.364, mem=137M567
29.94/24.83	    decisions=387057, wrong=192180, backtracks=179407, failedAssignments=102710, nogoods=1557, foundSolutions=11, bestBound=96
29.94/24.83	    nFilterCalls=9644047, avgTableProportion=0.9969265787542358, avgTableSize=737.1283647829589
29.94/24.83	    
30.04/24.90	    num=243, depth=3..15, filters=5681845, revisions=(18585551,useless=17372502), ccks=21329740, wck=22.436, mem=137M567
30.04/24.90	    decisions=388321, wrong=192810, backtracks=179852, failedAssignments=103050, nogoods=1572, foundSolutions=11, bestBound=96
30.04/24.90	    nFilterCalls=9678014, avgTableProportion=0.9969269855353661, avgTableSize=737.2171187187785
30.04/24.90	    
30.04/24.97	    num=244, depth=2..18, filters=5699428, revisions=(18641013,useless=17425416), ccks=21364820, wck=22.497, mem=137M567
30.04/24.97	    decisions=389734, wrong=193514, backtracks=180409, failedAssignments=103424, nogoods=1580, foundSolutions=11, bestBound=96
30.04/24.97	    nFilterCalls=9712312, avgTableProportion=0.9969267095232117, avgTableSize=737.2330455405469
30.04/24.97	    
30.15/25.07	    num=245, depth=0..138, filters=5724402, revisions=(18723377,useless=17502884), ccks=21451408, wck=22.597, mem=137M567
30.15/25.07	    decisions=391284, wrong=194284, backtracks=181171, failedAssignments=103835, nogoods=1583, foundSolutions=11, bestBound=96
30.15/25.07	    nFilterCalls=9755000, avgTableProportion=0.9969269903766225, avgTableSize=737.2760481804203
30.15/25.07	    
30.25/25.17	    num=246, depth=3..127, filters=5752044, revisions=(18814242,useless=17588602), ccks=21536929, wck=22.702, mem=137M567
30.25/25.17	    decisions=392902, wrong=195089, backtracks=181870, failedAssignments=104287, nogoods=1593, foundSolutions=11, bestBound=96
30.25/25.17	    nFilterCalls=9803661, avgTableProportion=0.9969271911940069, avgTableSize=737.2481420971206
30.25/25.17	    
30.34/25.28	    num=247, depth=1..173, filters=5779264, revisions=(18901409,useless=17670732), ccks=21622700, wck=22.807, mem=137M567
30.34/25.28	    decisions=394632, wrong=195952, backtracks=183617, failedAssignments=104784, nogoods=1597, foundSolutions=11, bestBound=96
30.34/25.28	    nFilterCalls=9850813, avgTableProportion=0.9969271158625569, avgTableSize=737.2003530063965
30.34/25.28	    
30.54/25.41	    num=248, depth=2..22, filters=5812321, revisions=(19014343,useless=17776445), ccks=21756428, wck=22.94, mem=137M567
30.54/25.41	    decisions=396729, wrong=196996, backtracks=184356, failedAssignments=105331, nogoods=1602, foundSolutions=11, bestBound=96
30.54/25.41	    nFilterCalls=9906243, avgTableProportion=0.9969272593396632, avgTableSize=737.142100289686
30.54/25.41	    
30.64/25.54	    num=249, depth=1..171, filters=5844802, revisions=(19128060,useless=17883652), ccks=21869454, wck=23.072, mem=140M210
30.64/25.54	    decisions=398873, wrong=198065, backtracks=185517, failedAssignments=105933, nogoods=1606, foundSolutions=11, bestBound=96
30.64/25.54	    nFilterCalls=9966637, avgTableProportion=0.9969280503800394, avgTableSize=737.2329392552373
30.64/25.54	    
30.74/25.69	    num=250, depth=1..18, filters=5887090, revisions=(19269719,useless=18017047), ccks=21984914, wck=23.224, mem=140M210
30.74/25.69	    decisions=401609, wrong=199429, backtracks=186531, failedAssignments=106595, nogoods=1614, foundSolutions=11, bestBound=96
30.74/25.69	    nFilterCalls=10041362, avgTableProportion=0.9969282140615646, avgTableSize=737.1366776738056
30.74/25.69	    
30.94/25.84	    num=251, depth=3..173, filters=5923628, revisions=(19390760,useless=18130411), ccks=22104936, wck=23.367, mem=140M210
30.94/25.84	    decisions=404086, wrong=200665, backtracks=187649, failedAssignments=107323, nogoods=1616, foundSolutions=11, bestBound=96
30.94/25.84	    nFilterCalls=10109039, avgTableProportion=0.9969298356678225, avgTableSize=737.4275914852045
30.94/25.84	    
31.04/26.00	    num=252, depth=0..20, filters=5966031, revisions=(19531140,useless=18263146), ccks=22233442, wck=23.528, mem=140M210
31.04/26.00	    decisions=406968, wrong=202100, backtracks=188670, failedAssignments=108124, nogoods=1625, foundSolutions=11, bestBound=96
31.04/26.00	    nFilterCalls=10186638, avgTableProportion=0.996929235300209, avgTableSize=737.3402538698243
31.04/26.00	    
31.35/26.20	    num=253, depth=2..19, filters=6016422, revisions=(19704111,useless=18425326), ccks=22404529, wck=23.728, mem=140M210
31.35/26.20	    decisions=410156, wrong=203690, backtracks=189732, failedAssignments=109005, nogoods=1639, foundSolutions=11, bestBound=96
31.35/26.20	    nFilterCalls=10280372, avgTableProportion=0.9969303775140097, avgTableSize=737.4259020977062
31.35/26.20	    
31.45/26.39	    num=254, depth=0..170, filters=6069253, revisions=(19874948,useless=18587091), ccks=22548301, wck=23.921, mem=140M210
31.45/26.39	    decisions=413665, wrong=205439, backtracks=191727, failedAssignments=109975, nogoods=1648, foundSolutions=11, bestBound=96
31.45/26.39	    nFilterCalls=10376431, avgTableProportion=0.9969292543630218, avgTableSize=737.1396056119873
31.45/26.39	    
31.65/26.57	    num=255, depth=3..20, filters=6118972, revisions=(20027490,useless=18731739), ccks=22673465, wck=24.101, mem=142M778
31.65/26.57	    decisions=417579, wrong=207390, backtracks=193165, failedAssignments=111042, nogoods=1662, foundSolutions=11, bestBound=96
31.65/26.57	    nFilterCalls=10473517, avgTableProportion=0.9969291185268924, avgTableSize=737.0511783195655
31.65/26.57	    
31.95/26.80	    num=256, depth=0..172, filters=6181453, revisions=(20223134,useless=18916494), ccks=22842596, wck=24.329, mem=142M778
31.95/26.80	    decisions=421708, wrong=209450, backtracks=194783, failedAssignments=112215, nogoods=1678, foundSolutions=11, bestBound=96
31.95/26.80	    nFilterCalls=10588771, avgTableProportion=0.9969289311317625, avgTableSize=736.9948794812921
31.95/26.80	    
32.15/27.06	    num=257, depth=1..22, filters=6249874, revisions=(20441587,useless=19122139), ccks=23067623, wck=24.589, mem=142M778
32.15/27.06	    decisions=426410, wrong=211799, backtracks=196487, failedAssignments=113506, nogoods=1683, foundSolutions=11, bestBound=96
32.15/27.06	    nFilterCalls=10707121, avgTableProportion=0.9969276613212101, avgTableSize=736.8171522484896
32.15/27.06	    
32.45/27.35	    num=258, depth=0..22, filters=6329259, revisions=(20690072,useless=19357023), ccks=23306462, wck=24.886, mem=142M778
32.45/27.35	    decisions=431801, wrong=214489, backtracks=198348, failedAssignments=114926, nogoods=1692, foundSolutions=11, bestBound=96
32.45/27.35	    nFilterCalls=10847039, avgTableProportion=0.996926700324203, avgTableSize=736.655379500341
32.45/27.35	    
32.79/27.68	    num=259, depth=2..21, filters=6414122, revisions=(20956376,useless=19605588), ccks=23587128, wck=25.216, mem=28M842
32.79/27.68	    decisions=437633, wrong=217399, backtracks=200420, failedAssignments=116488, nogoods=1705, foundSolutions=11, bestBound=96
32.79/27.68	    nFilterCalls=10990539, avgTableProportion=0.9969277934391954, avgTableSize=736.7999483009887
32.79/27.68	    
33.09/27.96	    num=260, depth=0..169, filters=6496599, revisions=(21213033,useless=19850609), ccks=23776809, wck=25.496, mem=28M842
33.09/27.96	    decisions=443477, wrong=220317, backtracks=202908, failedAssignments=118206, nogoods=1708, foundSolutions=11, bestBound=96
33.09/27.96	    nFilterCalls=11150816, avgTableProportion=0.9969263723222832, avgTableSize=736.538149943466
33.09/27.96	    
33.09/28.00	
33.09/28.00	  New Bounds: 96..95
33.09/28.01	    num=261, depth=0..14, filters=6509127, revisions=(21250534,useless=19886468), ccks=23802996, wck=25.537, mem=28M842
33.09/28.01	    decisions=444455, wrong=220807, backtracks=203306, failedAssignments=118475, foundSolutions=11, bestBound=96
33.09/28.01	    nFilterCalls=11173620, avgTableProportion=0.9969259672986808, avgTableSize=736.4587136487548
33.09/28.01	    
33.09/28.01	  Global
33.09/28.01	    filters=6509127, revisions=(21250534,useless=19886468), ccks=23802996
33.09/28.01	    Stop=FULL_EXPLORATION, wrong=220807, bestBound=96, bestBoundWck=20.639, bestBoundCpu=22.443, foundSolutions=11, firstSolCpu=2.595
33.09/28.01	    wck=26.167, cpu=27.954, mem=28M842
33.20/28.01	
33.20/28.01	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>
33.20/28.01	s OPTIMUM FOUND
33.20/28.01	
33.20/28.01	d WRONG_DECISIONS 220807
33.20/28.01	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 (11462 MiB free)
  memory of node 1: 16384 MiB (14343 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=3132, runsolver pid=3129

[startup+0.100391 s]*
/proc/loadavg: 1.62 1.61 1.55 4/228 3147
/proc/meminfo: memFree=26409664/32770624 swapFree=66957012/67108860
[pid=3132] ppid=3129 vsize=10659884 memory=28120 CPUtime=0.13 cores=1,3,5,7
/proc/3132/stat : 3132 (java) S 3129 3132 32084 0 -1 1077944320 5538 0 0 0 12 1 0 0 20 0 15 0 414579850 10915721216 7030 33554432000 4194304 4196468 140729131210624 140729131193168 140205637537527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
/proc/3132/statm: 2664971 7030 2875 1 0 2627468 0
[pid=3132/tid=3134] ppid=3129 vsize=10659884 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/3132/task/3134/stat : 3134 (java) R 3129 3132 32084 0 -1 4202560 3272 0 0 0 8 1 0 0 20 0 15 0 414579851 10915721216 7030 33554432000 4194304 4196468 140729131210624 140205641767184 140205637549462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3135] ppid=3129 vsize=10659884 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3135/stat : 3135 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 7030 33554432000 4194304 4196468 140729131210624 140205590157968 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3136] ppid=3129 vsize=10659884 memory=140542867334784 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3136/stat : 3136 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 7030 33554432000 4194304 4196468 140729131210624 140205589105168 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3137] ppid=3129 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3137/stat : 3137 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 7030 33554432000 4194304 4196468 140729131210624 140205588052368 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3138] ppid=3129 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3138/stat : 3138 (java) S 3129 3132 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 7030 33554432000 4194304 4196468 140729131210624 140205586999568 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3139] ppid=3129 vsize=10659884 memory=140542867334784 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3139/stat : 3139 (java) S 3129 3132 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579853 10915721216 7030 33554432000 4194304 4196468 140729131210624 140204673080176 140205637548674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3140] ppid=3129 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3140/stat : 3140 (java) S 3129 3132 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414579853 10915721216 7030 33554432000 4194304 4196468 140729131210624 140204672026144 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3141] ppid=3129 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3141/stat : 3141 (java) S 3129 3132 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414579853 10915721216 7030 33554432000 4194304 4196468 140729131210624 140204670973296 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3142] ppid=3129 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3142/stat : 3142 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579856 10915721216 7030 33554432000 4194304 4196468 140729131210624 140204669921616 140205637556123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3143] ppid=3129 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3143/stat : 3143 (java) S 3129 3132 32084 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 414579856 10915721216 7030 33554432000 4194304 4196468 140729131210624 140204668868976 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3144] ppid=3129 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3144/stat : 3144 (java) S 3129 3132 32084 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 15 0 414579856 10915721216 7030 33554432000 4194304 4196468 140729131210624 140204667816176 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3145] ppid=3129 vsize=10659884 memory=140542867334784 CPUtime=0.02 cores=1,3,5,7
/proc/3132/task/3145/stat : 3145 (java) R 3129 3132 32084 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 414579856 10915721216 7030 33554432000 4194304 4196468 140729131210624 140204666759328 140205637549462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3146] ppid=3129 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3146/stat : 3146 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579856 10915721216 7030 33554432000 4194304 4196468 140729131210624 140204665710816 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3147] ppid=3129 vsize=10659884 memory=140542867334784 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3147/stat : 3147 (java) R 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579856 10915721216 7030 33554432000 4194304 4196468 140729131210624 140204664659120 140205637548674 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28120 KiB

[startup+0.210677 s]*
/proc/loadavg: 1.62 1.61 1.55 3/228 3147
/proc/meminfo: memFree=26402036/32770624 swapFree=66957012/67108860
[pid=3132] ppid=3129 vsize=10659884 memory=35460 CPUtime=0.32 cores=1,3,5,7
/proc/3132/stat : 3132 (java) S 3129 3132 32084 0 -1 1077944320 6946 0 0 0 30 2 0 0 20 0 15 0 414579850 10915721216 8865 33554432000 4194304 4196468 140729131210624 140729131193168 140205637537527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
/proc/3132/statm: 2664971 8865 2990 1 0 2627468 0
[pid=3132/tid=3134] ppid=3129 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/3132/task/3134/stat : 3134 (java) R 3129 3132 32084 0 -1 4202560 3873 0 0 0 19 1 0 0 20 0 15 0 414579851 10915721216 8865 33554432000 4194304 4196468 140729131210624 140205641763888 140205637559453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3135] ppid=3129 vsize=10659884 memory=4294967635 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3135/stat : 3135 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 8865 33554432000 4194304 4196468 140729131210624 140205590157968 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3136] ppid=3129 vsize=10659884 memory=140542870093992 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3136/stat : 3136 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 8865 33554432000 4194304 4196468 140729131210624 140205589105168 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3137] ppid=3129 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3137/stat : 3137 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 8865 33554432000 4194304 4196468 140729131210624 140205588052368 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3138] ppid=3129 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3138/stat : 3138 (java) S 3129 3132 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 8865 33554432000 4194304 4196468 140729131210624 140205586999568 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3139] ppid=3129 vsize=10659884 memory=140542867334784 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3139/stat : 3139 (java) S 3129 3132 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579853 10915721216 8865 33554432000 4194304 4196468 140729131210624 140204673080176 140205637548674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3140] ppid=3129 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3140/stat : 3140 (java) S 3129 3132 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414579853 10915721216 8865 33554432000 4194304 4196468 140729131210624 140204672026144 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3141] ppid=3129 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3141/stat : 3141 (java) S 3129 3132 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414579853 10915721216 8865 33554432000 4194304 4196468 140729131210624 140204670973296 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3142] ppid=3129 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3142/stat : 3142 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579856 10915721216 8865 33554432000 4194304 4196468 140729131210624 140204669921616 140205637556123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3143] ppid=3129 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3132/task/3143/stat : 3143 (java) S 3129 3132 32084 0 -1 1077944384 557 0 0 0 3 0 0 0 20 0 15 0 414579856 10915721216 8865 33554432000 4194304 4196468 140729131210624 140204668868976 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3144] ppid=3129 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3132/task/3144/stat : 3144 (java) S 3129 3132 32084 0 -1 1077944384 490 0 0 0 2 0 0 0 20 0 15 0 414579856 10915721216 8865 33554432000 4194304 4196468 140729131210624 140204667816176 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3145] ppid=3129 vsize=10659884 memory=140542867334784 CPUtime=0.05 cores=1,3,5,7
/proc/3132/task/3145/stat : 3145 (java) S 3129 3132 32084 0 -1 1077944384 667 0 0 0 5 0 0 0 20 0 15 0 414579856 10915721216 8865 33554432000 4194304 4196468 140729131210624 140204666763376 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3146] ppid=3129 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3146/stat : 3146 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579856 10915721216 8865 33554432000 4194304 4196468 140729131210624 140204665710816 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3147] ppid=3129 vsize=10659884 memory=140542867334784 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3147/stat : 3147 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579856 10915721216 8865 33554432000 4194304 4196468 140729131210624 140204664659120 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35460 KiB

[startup+0.310106 s]*
/proc/loadavg: 1.62 1.61 1.55 4/228 3147
/proc/meminfo: memFree=26394328/32770624 swapFree=66957012/67108860
[pid=3132] ppid=3129 vsize=10659884 memory=40572 CPUtime=0.47 cores=1,3,5,7
/proc/3132/stat : 3132 (java) S 3129 3132 32084 0 -1 1077944320 9477 0 0 0 44 3 0 0 20 0 15 0 414579850 10915721216 10143 33554432000 4194304 4196468 140729131210624 140729131193168 140205637537527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
/proc/3132/statm: 2664971 10143 3002 1 0 2627468 0
[pid=3132/tid=3134] ppid=3129 vsize=10659884 memory=6935652554413002832 CPUtime=0.3 cores=1,3,5,7
/proc/3132/task/3134/stat : 3134 (java) R 3129 3132 32084 0 -1 4202560 6338 0 0 0 28 2 0 0 20 0 15 0 414579851 10915721216 10143 33554432000 4194304 4196468 140729131210624 140205641769936 140205637559453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3135] ppid=3129 vsize=10659884 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3135/stat : 3135 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 10143 33554432000 4194304 4196468 140729131210624 140205590157968 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3136] ppid=3129 vsize=10659884 memory=140542867334784 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3136/stat : 3136 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 10143 33554432000 4194304 4196468 140729131210624 140205589105168 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3137] ppid=3129 vsize=10659884 memory=281085477063584 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3137/stat : 3137 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 10143 33554432000 4194304 4196468 140729131210624 140205588052368 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3138] ppid=3129 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3138/stat : 3138 (java) S 3129 3132 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579851 10915721216 10143 33554432000 4194304 4196468 140729131210624 140205586999568 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3139] ppid=3129 vsize=10659884 memory=281085605868880 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3139/stat : 3139 (java) S 3129 3132 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579853 10915721216 10143 33554432000 4194304 4196468 140729131210624 140204673080176 140205637548674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3140] ppid=3129 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3140/stat : 3140 (java) S 3129 3132 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414579853 10915721216 10143 33554432000 4194304 4196468 140729131210624 140204672026144 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3141] ppid=3129 vsize=10659884 memory=64996 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3141/stat : 3141 (java) S 3129 3132 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414579853 10915721216 10143 33554432000 4194304 4196468 140729131210624 140204670973296 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3142] ppid=3129 vsize=10659884 memory=67300 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3142/stat : 3142 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579856 10915721216 10143 33554432000 4194304 4196468 140729131210624 140204669921616 140205637556123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3143] ppid=3129 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3132/task/3143/stat : 3143 (java) S 3129 3132 32084 0 -1 1077944384 565 0 0 0 4 0 0 0 20 0 15 0 414579856 10915721216 10143 33554432000 4194304 4196468 140729131210624 140204668868976 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3144] ppid=3129 vsize=10659884 memory=140542738545679 CPUtime=0.04 cores=1,3,5,7
/proc/3132/task/3144/stat : 3144 (java) S 3129 3132 32084 0 -1 1077944384 525 0 0 0 4 0 0 0 20 0 15 0 414579856 10915721216 10143 33554432000 4194304 4196468 140729131210624 140204667816176 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3145] ppid=3129 vsize=10659884 memory=281085605889632 CPUtime=0.08 cores=1,3,5,7
/proc/3132/task/3145/stat : 3145 (java) S 3129 3132 32084 0 -1 1077944384 693 0 0 0 8 0 0 0 20 0 15 0 414579856 10915721216 10143 33554432000 4194304 4196468 140729131210624 140204666763376 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3146] ppid=3129 vsize=10659884 memory=140542738550287 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3146/stat : 3146 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579856 10915721216 10143 33554432000 4194304 4196468 140729131210624 140204665710816 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3147] ppid=3129 vsize=10659884 memory=140542867334796 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3147/stat : 3147 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579856 10915721216 10143 33554432000 4194304 4196468 140729131210624 140204664659120 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40572 KiB

[startup+0.700797 s]
/proc/loadavg: 1.65 1.61 1.55 3/228 3147
/proc/meminfo: memFree=26385784/32770624 swapFree=66957012/67108860
[pid=3132] ppid=3129 vsize=10661932 memory=63832 CPUtime=1.1 cores=1,3,5,7
/proc/3132/stat : 3132 (java) S 3129 3132 32084 0 -1 1077944320 13107 0 0 0 105 5 0 0 20 0 15 0 414579850 10917818368 15958 33554432000 4194304 4196468 140729131210624 140729131193168 140205637537527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
/proc/3132/statm: 2665483 15958 3070 1 0 2627980 0
[pid=3132/tid=3134] ppid=3129 vsize=10661932 memory=732 CPUtime=0.68 cores=1,3,5,7
/proc/3132/task/3134/stat : 3134 (java) R 3129 3132 32084 0 -1 4202560 8893 0 0 0 64 4 0 0 20 0 15 0 414579851 10917818368 15958 33554432000 4194304 4196468 140729131210624 140205641769552 140205621645373 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3135] ppid=3129 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3135/stat : 3135 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10917818368 15958 33554432000 4194304 4196468 140729131210624 140205590157968 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3136] ppid=3129 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3136/stat : 3136 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10917818368 15958 33554432000 4194304 4196468 140729131210624 140205589105168 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3137] ppid=3129 vsize=10661932 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3137/stat : 3137 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10917818368 15958 33554432000 4194304 4196468 140729131210624 140205588052368 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3138] ppid=3129 vsize=10661932 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3138/stat : 3138 (java) S 3129 3132 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579851 10917818368 15958 33554432000 4194304 4196468 140729131210624 140205586999568 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3139] ppid=3129 vsize=10661932 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3139/stat : 3139 (java) S 3129 3132 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579853 10917818368 15958 33554432000 4194304 4196468 140729131210624 140204673080176 140205637548674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3140] ppid=3129 vsize=10661932 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3140/stat : 3140 (java) S 3129 3132 32084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414579853 10917818368 15958 33554432000 4194304 4196468 140729131210624 140204672026144 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3141] ppid=3129 vsize=10661932 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3141/stat : 3141 (java) S 3129 3132 32084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414579853 10917818368 15958 33554432000 4194304 4196468 140729131210624 140204670973296 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3142] ppid=3129 vsize=10661932 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3142/stat : 3142 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579856 10917818368 15958 33554432000 4194304 4196468 140729131210624 140204669921616 140205637556123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3143] ppid=3129 vsize=10661932 memory=2124 CPUtime=0.09 cores=1,3,5,7
/proc/3132/task/3143/stat : 3143 (java) S 3129 3132 32084 0 -1 1077944384 884 0 0 0 9 0 0 0 20 0 15 0 414579856 10917818368 15958 33554432000 4194304 4196468 140729131210624 140204668868976 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3144] ppid=3129 vsize=10661932 memory=21252 CPUtime=0.12 cores=1,3,5,7
/proc/3132/task/3144/stat : 3144 (java) R 3129 3132 32084 0 -1 4202560 837 0 0 0 12 0 0 0 20 0 15 0 414579856 10917818368 15958 33554432000 4194304 4196468 140729131210624 140204667816176 140205622646524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3145] ppid=3129 vsize=10661932 memory=492 CPUtime=0.18 cores=1,3,5,7
/proc/3132/task/3145/stat : 3145 (java) S 3129 3132 32084 0 -1 1077944384 1135 0 0 0 18 0 0 0 20 0 15 0 414579856 10917818368 15958 33554432000 4194304 4196468 140729131210624 140204666763376 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3146] ppid=3129 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3146/stat : 3146 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414579856 10917818368 15958 33554432000 4194304 4196468 140729131210624 140204665710816 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3147] ppid=3129 vsize=10661932 memory=3512 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3147/stat : 3147 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579856 10917818368 15958 33554432000 4194304 4196468 140729131210624 140204664659120 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63832 KiB

[startup+1.5008 s]
/proc/loadavg: 1.65 1.61 1.55 3/228 3147
/proc/meminfo: memFree=26369592/32770624 swapFree=66957012/67108860
[pid=3132] ppid=3129 vsize=10663980 memory=75836 CPUtime=2 cores=1,3,5,7
/proc/3132/stat : 3132 (java) S 3129 3132 32084 0 -1 1077944320 18674 0 0 0 194 6 0 0 20 0 15 0 414579850 10919915520 18959 33554432000 4194304 4196468 140729131210624 140729131193168 140205637537527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
/proc/3132/statm: 2665995 18959 3096 1 0 2628492 0
[pid=3132/tid=3134] ppid=3129 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/3132/task/3134/stat : 3134 (java) R 3129 3132 32084 0 -1 4202560 13099 0 0 0 143 5 0 0 20 0 15 0 414579851 10919915520 18959 33554432000 4194304 4196468 140729131210624 140205641763408 140205620724336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3135] ppid=3129 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3135/stat : 3135 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10919915520 18959 33554432000 4194304 4196468 140729131210624 140205590157968 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3136] ppid=3129 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3136/stat : 3136 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10919915520 18959 33554432000 4194304 4196468 140729131210624 140205589105168 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3137] ppid=3129 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3137/stat : 3137 (java) S 3129 3132 32084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414579851 10919915520 18959 33554432000 4194304 4196468 140729131210624 140205588052368 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3138] ppid=3129 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3138/stat : 3138 (java) S 3129 3132 32084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414579851 10919915520 18959 33554432000 4194304 4196468 140729131210624 140205586999568 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3139] ppid=3129 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3139/stat : 3139 (java) S 3129 3132 32084 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 414579853 10919915520 18959 33554432000 4194304 4196468 140729131210624 140204673080176 140205637548674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0

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

[startup+25.6008 s]
/proc/loadavg: 1.53 1.59 1.54 3/229 3148
/proc/meminfo: memFree=26195392/32770624 swapFree=66957012/67108860
[pid=3132] ppid=3129 vsize=10748324 memory=242356 CPUtime=30.74 cores=1,3,5,7
/proc/3132/stat : 3132 (java) S 3129 3132 32084 0 -1 1077944320 51691 0 0 0 3056 18 0 0 20 0 16 0 414579850 11006283776 60589 33554432000 4194304 4196468 140729131210624 140729131193168 140205637537527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
/proc/3132/statm: 2687081 60589 3355 1 0 2647217 0
[pid=3132/tid=3134] ppid=3129 vsize=10748324 memory=1980 CPUtime=1.85 cores=1,3,5,7
/proc/3132/task/3134/stat : 3134 (java) S 3129 3132 32084 0 -1 1077944384 15340 0 0 0 178 7 0 0 20 0 16 0 414579851 11006283776 60589 33554432000 4194304 4196468 140729131210624 140205641780400 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3135] ppid=3129 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3135/stat : 3135 (java) S 3129 3132 32084 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414579851 11006283776 60589 33554432000 4194304 4196468 140729131210624 140205590157968 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3136] ppid=3129 vsize=10748324 memory=6944656592455097440 CPUtime=0.01 cores=1,3,5,7
/proc/3132/task/3136/stat : 3136 (java) S 3129 3132 32084 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414579851 11006283776 60589 33554432000 4194304 4196468 140729131210624 140205589105168 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3137] ppid=3129 vsize=10748324 memory=7665520613253540971 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3137/stat : 3137 (java) S 3129 3132 32084 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414579851 11006283776 60589 33554432000 4194304 4196468 140729131210624 140205588052368 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3138] ppid=3129 vsize=10748324 memory=7584172172082901604 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3138/stat : 3138 (java) S 3129 3132 32084 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414579851 11006283776 60589 33554432000 4194304 4196468 140729131210624 140205586999568 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3139] ppid=3129 vsize=10748324 memory=4639939496134862184 CPUtime=0.01 cores=1,3,5,7
/proc/3132/task/3139/stat : 3139 (java) S 3129 3132 32084 0 -1 1077944384 1247 0 0 0 1 0 0 0 20 0 16 0 414579853 11006283776 60589 33554432000 4194304 4196468 140729131210624 140204673080176 140205637548674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3140] ppid=3129 vsize=10748324 memory=164 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3140/stat : 3140 (java) S 3129 3132 32084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414579853 11006283776 60589 33554432000 4194304 4196468 140729131210624 140204672026208 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3141] ppid=3129 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3141/stat : 3141 (java) S 3129 3132 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414579853 11006283776 60589 33554432000 4194304 4196468 140729131210624 140204670973312 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3142] ppid=3129 vsize=10748324 memory=7956010499115057218 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3142/stat : 3142 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 60589 33554432000 4194304 4196468 140729131210624 140204669921616 140205637556123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3143] ppid=3129 vsize=10748324 memory=288283398362112796 CPUtime=2.06 cores=1,3,5,7
/proc/3132/task/3143/stat : 3143 (java) S 3129 3132 32084 0 -1 1077944384 6046 0 0 0 206 0 0 0 20 0 16 0 414579856 11006283776 60589 33554432000 4194304 4196468 140729131210624 140204668868976 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3144] ppid=3129 vsize=10748324 memory=3043888 CPUtime=2.17 cores=1,3,5,7
/proc/3132/task/3144/stat : 3144 (java) S 3129 3132 32084 0 -1 1077944384 12160 0 0 0 215 2 0 0 20 0 16 0 414579856 11006283776 60589 33554432000 4194304 4196468 140729131210624 140204667816176 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3145] ppid=3129 vsize=10748324 memory=7450194454519767379 CPUtime=0.85 cores=1,3,5,7
/proc/3132/task/3145/stat : 3145 (java) S 3129 3132 32084 0 -1 1077944384 7258 0 0 0 83 2 0 0 20 0 16 0 414579856 11006283776 60589 33554432000 4194304 4196468 140729131210624 140204666763376 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3146] ppid=3129 vsize=10748324 memory=39616 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3146/stat : 3146 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 60589 33554432000 4194304 4196468 140729131210624 140204665710816 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3147] ppid=3129 vsize=10748324 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3147/stat : 3147 (java) S 3129 3132 32084 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 60589 33554432000 4194304 4196468 140729131210624 140204664659120 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3148] ppid=3129 vsize=10748324 memory=988 CPUtime=23.69 cores=1,3,5,7
/proc/3132/task/3148/stat : 3148 (java) R 3129 3132 32084 0 -1 4202560 7823 0 0 0 2366 3 0 0 20 0 16 0 414580037 11006283776 60589 33554432000 4194304 4196468 140729131210624 140204647878736 140205273406077 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
Current children cumulated CPU time: 30.74 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 242356 KiB

[startup+27.2006 s]
/proc/loadavg: 1.57 1.60 1.55 3/229 3148
/proc/meminfo: memFree=26191204/32770624 swapFree=66957012/67108860
[pid=3132] ppid=3129 vsize=10748324 memory=246472 CPUtime=32.35 cores=1,3,5,7
/proc/3132/stat : 3132 (java) S 3129 3132 32084 0 -1 1077944320 52098 0 0 0 3217 18 0 0 20 0 16 0 414579850 11006283776 61618 33554432000 4194304 4196468 140729131210624 140729131193168 140205637537527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
/proc/3132/statm: 2687081 61618 3355 1 0 2647217 0
[pid=3132/tid=3134] ppid=3129 vsize=10748324 memory=1712 CPUtime=1.85 cores=1,3,5,7
/proc/3132/task/3134/stat : 3134 (java) S 3129 3132 32084 0 -1 1077944384 15340 0 0 0 178 7 0 0 20 0 16 0 414579851 11006283776 61618 33554432000 4194304 4196468 140729131210624 140205641780400 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3135] ppid=3129 vsize=10748324 memory=244416 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3135/stat : 3135 (java) S 3129 3132 32084 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414579851 11006283776 61618 33554432000 4194304 4196468 140729131210624 140205590157968 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3136] ppid=3129 vsize=10748324 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/3132/task/3136/stat : 3136 (java) S 3129 3132 32084 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414579851 11006283776 61618 33554432000 4194304 4196468 140729131210624 140205589105168 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3137] ppid=3129 vsize=10748324 memory=896 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3137/stat : 3137 (java) S 3129 3132 32084 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414579851 11006283776 61618 33554432000 4194304 4196468 140729131210624 140205588052368 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3138] ppid=3129 vsize=10748324 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3138/stat : 3138 (java) S 3129 3132 32084 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 16 0 414579851 11006283776 61618 33554432000 4194304 4196468 140729131210624 140205586999568 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3139] ppid=3129 vsize=10748324 memory=2520 CPUtime=0.01 cores=1,3,5,7
/proc/3132/task/3139/stat : 3139 (java) S 3129 3132 32084 0 -1 1077944384 1247 0 0 0 1 0 0 0 20 0 16 0 414579853 11006283776 61618 33554432000 4194304 4196468 140729131210624 140204673080176 140205637548674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3140] ppid=3129 vsize=10748324 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3140/stat : 3140 (java) S 3129 3132 32084 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414579853 11006283776 61618 33554432000 4194304 4196468 140729131210624 140204672026208 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3141] ppid=3129 vsize=10748324 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3141/stat : 3141 (java) S 3129 3132 32084 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414579853 11006283776 61618 33554432000 4194304 4196468 140729131210624 140204670973312 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3142] ppid=3129 vsize=10748324 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3142/stat : 3142 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 61618 33554432000 4194304 4196468 140729131210624 140204669921616 140205637556123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3143] ppid=3129 vsize=10748324 memory=0 CPUtime=2.07 cores=1,3,5,7
/proc/3132/task/3143/stat : 3143 (java) S 3129 3132 32084 0 -1 1077944384 6046 0 0 0 207 0 0 0 20 0 16 0 414579856 11006283776 61618 33554432000 4194304 4196468 140729131210624 140204668868976 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3144] ppid=3129 vsize=10748324 memory=6944656575208382560 CPUtime=2.17 cores=1,3,5,7
/proc/3132/task/3144/stat : 3144 (java) S 3129 3132 32084 0 -1 1077944384 12160 0 0 0 215 2 0 0 20 0 16 0 414579856 11006283776 61618 33554432000 4194304 4196468 140729131210624 140204667816176 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3145] ppid=3129 vsize=10748324 memory=6944656592387989600 CPUtime=0.85 cores=1,3,5,7
/proc/3132/task/3145/stat : 3145 (java) S 3129 3132 32084 0 -1 1077944384 7655 0 0 0 83 2 0 0 20 0 16 0 414579856 11006283776 61618 33554432000 4194304 4196468 140729131210624 140204666763376 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3146] ppid=3129 vsize=10748324 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3146/stat : 3146 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 61618 33554432000 4194304 4196468 140729131210624 140204665710816 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3147] ppid=3129 vsize=10748324 memory=-3833726747341067623 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3147/stat : 3147 (java) S 3129 3132 32084 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 61618 33554432000 4194304 4196468 140729131210624 140204664659120 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3148] ppid=3129 vsize=10748324 memory=-7595754389018307680 CPUtime=25.29 cores=1,3,5,7
/proc/3132/task/3148/stat : 3148 (java) R 3129 3132 32084 0 -1 4202560 7833 0 0 0 2526 3 0 0 20 0 16 0 414580037 11006283776 61618 33554432000 4194304 4196468 140729131210624 140204647878736 140205272766975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
Current children cumulated CPU time: 32.35 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 246472 KiB

[startup+27.6006 s]
/proc/loadavg: 1.57 1.60 1.55 3/229 3148
/proc/meminfo: memFree=26191204/32770624 swapFree=66957012/67108860
[pid=3132] ppid=3129 vsize=10748324 memory=263204 CPUtime=32.79 cores=1,3,5,7
/proc/3132/stat : 3132 (java) S 3129 3132 32084 0 -1 1077944320 53773 0 0 0 3260 19 0 0 20 0 16 0 414579850 11006283776 65801 33554432000 4194304 4196468 140729131210624 140729131193168 140205637537527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
/proc/3132/statm: 2687081 65801 3376 1 0 2647217 0
[pid=3132/tid=3134] ppid=3129 vsize=10748324 memory=8112282956445269571 CPUtime=1.85 cores=1,3,5,7
/proc/3132/task/3134/stat : 3134 (java) S 3129 3132 32084 0 -1 1077944384 15340 0 0 0 178 7 0 0 20 0 16 0 414579851 11006283776 65801 33554432000 4194304 4196468 140729131210624 140205641780400 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3135] ppid=3129 vsize=10748324 memory=3188 CPUtime=0.02 cores=1,3,5,7
/proc/3132/task/3135/stat : 3135 (java) S 3129 3132 32084 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 16 0 414579851 11006283776 65801 33554432000 4194304 4196468 140729131210624 140205590157968 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3136] ppid=3129 vsize=10748324 memory=209248 CPUtime=0.02 cores=1,3,5,7
/proc/3132/task/3136/stat : 3136 (java) S 3129 3132 32084 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 16 0 414579851 11006283776 65801 33554432000 4194304 4196468 140729131210624 140205589105168 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3137] ppid=3129 vsize=10748324 memory=1436 CPUtime=0.02 cores=1,3,5,7
/proc/3132/task/3137/stat : 3137 (java) S 3129 3132 32084 0 -1 1077944384 74 0 0 0 2 0 0 0 20 0 16 0 414579851 11006283776 65801 33554432000 4194304 4196468 140729131210624 140205588052368 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3138] ppid=3129 vsize=10748324 memory=896 CPUtime=0.02 cores=1,3,5,7
/proc/3132/task/3138/stat : 3138 (java) S 3129 3132 32084 0 -1 1077944384 1321 0 0 0 1 1 0 0 20 0 16 0 414579851 11006283776 65801 33554432000 4194304 4196468 140729131210624 140205586999568 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3139] ppid=3129 vsize=10748324 memory=1980 CPUtime=0.01 cores=1,3,5,7
/proc/3132/task/3139/stat : 3139 (java) S 3129 3132 32084 0 -1 1077944384 1453 0 0 0 1 0 0 0 20 0 16 0 414579853 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204673080176 140205637548674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3140] ppid=3129 vsize=10748324 memory=2520 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3140/stat : 3140 (java) S 3129 3132 32084 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414579853 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204672026208 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3141] ppid=3129 vsize=10748324 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3141/stat : 3141 (java) S 3129 3132 32084 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414579853 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204670973312 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3142] ppid=3129 vsize=10748324 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3142/stat : 3142 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204669921616 140205637556123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3143] ppid=3129 vsize=10748324 memory=111632 CPUtime=2.07 cores=1,3,5,7
/proc/3132/task/3143/stat : 3143 (java) S 3129 3132 32084 0 -1 1077944384 6046 0 0 0 207 0 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204668868976 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3144] ppid=3129 vsize=10748324 memory=796 CPUtime=2.17 cores=1,3,5,7
/proc/3132/task/3144/stat : 3144 (java) S 3129 3132 32084 0 -1 1077944384 12160 0 0 0 215 2 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204667816176 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3145] ppid=3129 vsize=10748324 memory=1408 CPUtime=0.85 cores=1,3,5,7
/proc/3132/task/3145/stat : 3145 (java) S 3129 3132 32084 0 -1 1077944384 7655 0 0 0 83 2 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204666763376 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3146] ppid=3129 vsize=10748324 memory=2800 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3146/stat : 3146 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204665710816 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3147] ppid=3129 vsize=10748324 memory=244404 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3147/stat : 3147 (java) S 3129 3132 32084 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204664659120 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3148] ppid=3129 vsize=10748324 memory=1804 CPUtime=25.67 cores=1,3,5,7
/proc/3132/task/3148/stat : 3148 (java) R 3129 3132 32084 0 -1 4202560 7838 0 0 0 2564 3 0 0 20 0 16 0 414580037 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204647887200 140205272166896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
Current children cumulated CPU time: 32.79 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 263204 KiB

[startup+28.0006 s]*
/proc/loadavg: 1.57 1.60 1.55 3/229 3148
/proc/meminfo: memFree=26174448/32770624 swapFree=66957012/67108860
[pid=3132] ppid=3129 vsize=10748324 memory=263204 CPUtime=33.2 cores=1,3,5,7
/proc/3132/stat : 3132 (java) S 3129 3132 32084 0 -1 1077944320 53776 0 0 0 3301 19 0 0 20 0 16 0 414579850 11006283776 65801 33554432000 4194304 4196468 140729131210624 140729131193168 140205637537527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
/proc/3132/statm: 2687081 65801 3376 1 0 2647217 0
[pid=3132/tid=3134] ppid=3129 vsize=10748324 memory=6935054825532540783 CPUtime=1.85 cores=1,3,5,7
/proc/3132/task/3134/stat : 3134 (java) S 3129 3132 32084 0 -1 1077944384 15340 0 0 0 178 7 0 0 20 0 16 0 414579851 11006283776 65801 33554432000 4194304 4196468 140729131210624 140205641780400 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3135] ppid=3129 vsize=10748324 memory=4126316290023845779 CPUtime=0.02 cores=1,3,5,7
/proc/3132/task/3135/stat : 3135 (java) S 3129 3132 32084 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 16 0 414579851 11006283776 65801 33554432000 4194304 4196468 140729131210624 140205590157968 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3136] ppid=3129 vsize=10748324 memory=244404 CPUtime=0.02 cores=1,3,5,7
/proc/3132/task/3136/stat : 3136 (java) S 3129 3132 32084 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 16 0 414579851 11006283776 65801 33554432000 4194304 4196468 140729131210624 140205589105168 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3137] ppid=3129 vsize=10748324 memory=1096 CPUtime=0.02 cores=1,3,5,7
/proc/3132/task/3137/stat : 3137 (java) S 3129 3132 32084 0 -1 1077944384 74 0 0 0 2 0 0 0 20 0 16 0 414579851 11006283776 65801 33554432000 4194304 4196468 140729131210624 140205588052368 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3138] ppid=3129 vsize=10748324 memory=246464 CPUtime=0.02 cores=1,3,5,7
/proc/3132/task/3138/stat : 3138 (java) S 3129 3132 32084 0 -1 1077944384 1321 0 0 0 1 1 0 0 20 0 16 0 414579851 11006283776 65801 33554432000 4194304 4196468 140729131210624 140205586999568 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3139] ppid=3129 vsize=10748324 memory=1164 CPUtime=0.01 cores=1,3,5,7
/proc/3132/task/3139/stat : 3139 (java) S 3129 3132 32084 0 -1 1077944384 1453 0 0 0 1 0 0 0 20 0 16 0 414579853 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204673080176 140205637548674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3140] ppid=3129 vsize=10748324 memory=2521145808269 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3140/stat : 3140 (java) S 3129 3132 32084 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414579853 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204672026208 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3141] ppid=3129 vsize=10748324 memory=301741416391115062 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3141/stat : 3141 (java) S 3129 3132 32084 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414579853 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204670973312 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3142] ppid=3129 vsize=10748324 memory=15815616594446436 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3142/stat : 3142 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204669921616 140205637556123 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3143] ppid=3129 vsize=10748324 memory=6944656592387989600 CPUtime=2.07 cores=1,3,5,7
/proc/3132/task/3143/stat : 3143 (java) S 3129 3132 32084 0 -1 1077944384 6046 0 0 0 207 0 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204668868976 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3144] ppid=3129 vsize=10748324 memory=6656426216303648864 CPUtime=2.17 cores=1,3,5,7
/proc/3132/task/3144/stat : 3144 (java) S 3129 3132 32084 0 -1 1077944384 12160 0 0 0 215 2 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204667816176 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3145] ppid=3129 vsize=10748324 memory=6944656592455360604 CPUtime=0.85 cores=1,3,5,7
/proc/3132/task/3145/stat : 3145 (java) S 3129 3132 32084 0 -1 1077944384 7655 0 0 0 83 2 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204666763376 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3146] ppid=3129 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3146/stat : 3146 (java) S 3129 3132 32084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204665710816 140205637547733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3147] ppid=3129 vsize=10748324 memory=-5444948047819393585 CPUtime=0 cores=1,3,5,7
/proc/3132/task/3147/stat : 3147 (java) S 3129 3132 32084 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 16 0 414579856 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204664659120 140205637548674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
[pid=3132/tid=3148] ppid=3129 vsize=10748324 memory=8978309881829228949 CPUtime=26.08 cores=1,3,5,7
/proc/3132/task/3148/stat : 3148 (java) R 3129 3132 32084 0 -1 4202560 7958 0 0 0 2605 3 0 0 20 0 16 0 414580037 11006283776 65801 33554432000 4194304 4196468 140729131210624 140204647887200 140205264809618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30912512 140729131213835 140729131213938 140729131213938 140729131216847 0
Current children cumulated CPU time: 33.2 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 263204 KiB

Child status: 0
Real time (s): 28.0189
CPU time (s): 33.2263
CPU user time (s): 33.0218
CPU system time (s): 0.204531
CPU usage (%): 118.585
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 263204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.0218
system time used= 0.204531
maximum resident set size= 263368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54470
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= 3485
involuntary context switches= 66


# summary of solver processes directly reported to runsolver:
#   pid: 3132
#   total CPU time (s): 33.2263
#   total CPU user time (s): 33.0218
#   total CPU system time (s): 0.204531

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.211315 second user time and 0.284211 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 16:56:57
IDJOB=4390869
IDBENCH=141106
IDSOLVER=2832
FILE ID=node147/4390869-1568386660
RUNJOBID= node147-1568380472-32116
PBS_JOBID= 21701824
Free space on /tmp= 56536 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-4390869-1568386660/watcher-4390869-1568386660 -o /tmp/evaluation-result-4390869-1568386660/solver-4390869-1568386660 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568380472-32116 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390869-1568386660.xml -cm

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

MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163
RANDOM SEED=24044346

node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26425404 kB
MemAvailable:   31615296 kB
Buffers:          164388 kB
Cached:          5239796 kB
SwapCached:        48500 kB
Active:          2365916 kB
Inactive:        3287496 kB
Active(anon):     201668 kB
Inactive(anon):    89344 kB
Active(file):    2164248 kB
Inactive(file):  3198152 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:              8648 kB
Writeback:             0 kB
AnonPages:        312832 kB
Mapped:            56896 kB
Shmem:             32768 kB
Slab:             285180 kB
SReclaimable:     255952 kB
SUnreclaim:        29228 kB
KernelStack:        4000 kB
PageTables:         6236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1183808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

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