Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 14 | 147.836 | 141.81 |
Diagnostic | Value |
---|---|
WRONG_DECISIONS | 494592 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-pb-30-15-1.xml |
MD5SUM | 200d8ff13be0114d953e34120514972f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 66.689 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1380 |
Number of constraints | 1366 |
Number of domains | 8 |
Minimum domain size | 2 |
Maximum domain size | 16 |
Distribution of domain sizes | [{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"size":15,"count":15},{"size":16,"count":15}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] |
Number of extensional constraints | 450 |
Number of intensional constraints | 450 |
Distribution of constraint types | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
2.43/1.87 2.43/1.87 AbsCon 2 2.43/1.89 3.37/2.18 Instance 3.37/2.18 name=instance-4391055-1568386470, framework=COP, bounds=-infty..+infty 3.37/2.18 3.37/2.18 Loading variables... 3.71/2.24 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e50cebc 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f437838 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd89273 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f6f3ed9 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ed3fa3 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d714d43 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2b2aab 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524b4678 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a40f071 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fccb006 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5938f612 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f71c10 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3d2b25 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@425f2881 5.16/2.61 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd3e045 5.16/2.65 5.16/2.65 5.16/2.65 Domains 5.16/2.65 nTypes=8, nValues=4005, sizes=[2#960,3#120,4#165,5#60,6#15,7#30,15#15,16#15] 5.16/2.65 Variables 5.16/2.65 count=1380, degrees=[2#495,3#870,31#15] 5.16/2.65 Objectives 5.16/2.65 way=min, type=ObjMaximumLE 5.16/2.65 Constraints 5.16/2.65 count=1367, nSpecific=497, arities=[2#480,3#870,15#2,31#15] 5.16/2.65 distribution=[AllDifferent#1,CtrExtensionCT-Table#450,CtrExtensionV-Bits#450,CtrIntension#420,EQ#30,ObjMaximumLE#1,SumWeightedEQ#15] 5.16/2.65 tables=[3#60,5#120,7#165,9#60,11#15,13#30], nTotalTuples=3030 5.16/2.65 nExtStructures=(456,shared:444), nIntStructures=(6,shared:414), nCftStructures=(456,shared:414,unbuilt:497) 5.16/2.65 wck=0.805, cpu=2.606, mem=79M369 5.49/2.72 Solver SolverBacktrack being built... 5.49/2.72 5.49/2.75 5.49/2.75 Solver 5.49/2.75 guaranteedGAC=false 5.49/2.75 wck=0.91, cpu=2.709, mem=132M313 5.49/2.78 5.49/2.78 Preprocessing 5.49/2.78 filters=56, revisions=(112,useless=82), ccks=1272, nACremovedValues=105, nTotalRemovedValues=105, inconcistency=false 5.49/2.78 wck=0.025, cpu=2.736, mem=132M313 5.49/2.78 5.76/2.81 num=0, depth=2..3, filters=1496, revisions=(2909,useless=1815), ccks=6435, wck=0.055, mem=132M313 5.76/2.81 decisions=23, wrong=10, backtracks=0, failedAssignments=10, nogoods=10 5.76/2.81 nFilterCalls=1137, avgTableProportion=0.8381724012330861, avgTableSize=6.191732629727353 5.76/2.81 5.76/2.83 num=1, depth=16..21, filters=3174, revisions=(6717,useless=4569), ccks=9768, wck=0.074, mem=132M313 5.76/2.83 decisions=71, wrong=26, backtracks=5, failedAssignments=21, nogoods=13 5.76/2.83 nFilterCalls=1837, avgTableProportion=0.8373590481374976, avgTableSize=6.209036472509527 5.76/2.83 5.76/2.85 num=2, depth=11..17, filters=5385, revisions=(12154,useless=8376), ccks=14704, wck=0.096, mem=132M313 5.76/2.85 decisions=120, wrong=43, backtracks=11, failedAssignments=33, nogoods=22 5.76/2.85 nFilterCalls=2903, avgTableProportion=0.8411160929245647, avgTableSize=6.3740957630037895 5.76/2.85 5.76/2.88 num=3, depth=14..24, filters=11125, revisions=(24508,useless=16791), ccks=24611, wck=0.131, mem=132M313 5.76/2.88 decisions=197, wrong=74, backtracks=35, failedAssignments=46, nogoods=24 5.76/2.88 nFilterCalls=5645, avgTableProportion=0.8414009374151165, avgTableSize=6.296191319751993 5.76/2.88 6.11/2.91 num=4, depth=23..26, filters=13976, revisions=(31915,useless=22067), ccks=30235, wck=0.161, mem=132M313 6.11/2.91 decisions=254, wrong=90, backtracks=37, failedAssignments=60, nogoods=32 6.11/2.91 nFilterCalls=7020, avgTableProportion=0.8418184158355471, avgTableSize=6.317948717948718 6.11/2.91 6.11/2.95 num=5, depth=22..27, filters=20254, revisions=(46845,useless=32755), ccks=42328, wck=0.194, mem=134M956 6.11/2.95 decisions=339, wrong=121, backtracks=57, failedAssignments=76, nogoods=39 6.11/2.95 nFilterCalls=10169, avgTableProportion=0.8431329424937999, avgTableSize=6.406923001278395 6.11/2.95 6.11/2.97 num=6, depth=19..28, filters=25054, revisions=(56540,useless=39160), ccks=50381, wck=0.22, mem=134M956 6.11/2.97 decisions=411, wrong=145, backtracks=67, failedAssignments=93, nogoods=42 6.11/2.97 nFilterCalls=12477, avgTableProportion=0.8426928827986719, avgTableSize=6.395928508455558 6.11/2.97 6.42/3.01 num=7, depth=21..29, filters=29881, revisions=(67488,useless=46723), ccks=58426, wck=0.248, mem=134M956 6.42/3.01 decisions=490, wrong=173, backtracks=81, failedAssignments=112, nogoods=50 6.42/3.01 nFilterCalls=14896, avgTableProportion=0.8439574120830389, avgTableSize=6.4415950590762625 6.42/3.01 6.42/3.04 num=8, depth=18..34, filters=36377, revisions=(82998,useless=57471), ccks=70266, wck=0.284, mem=134M956 6.42/3.04 decisions=595, wrong=210, backtracks=101, failedAssignments=133, nogoods=63 6.42/3.04 nFilterCalls=18031, avgTableProportion=0.8435281231686551, avgTableSize=6.423603793466807 6.42/3.04 6.42/3.09 num=9, depth=21..25, filters=47576, revisions=(106387,useless=73391), ccks=88401, wck=0.334, mem=134M956 6.42/3.09 decisions=702, wrong=252, backtracks=125, failedAssignments=156, nogoods=70 6.42/3.09 nFilterCalls=23568, avgTableProportion=0.8442124858620825, avgTableSize=6.467922606924644 6.42/3.09 6.73/3.12 num=10, depth=23..27, filters=54851, revisions=(121546,useless=83351), ccks=102287, wck=0.366, mem=134M956 6.73/3.12 decisions=799, wrong=289, backtracks=144, failedAssignments=181, nogoods=72 6.73/3.12 nFilterCalls=27343, avgTableProportion=0.8446945805537348, avgTableSize=6.478659986102476 6.73/3.12 6.73/3.15 num=11, depth=22..25, filters=63553, revisions=(139564,useless=95417), ccks=116720, wck=0.4, mem=134M956 6.73/3.15 decisions=896, wrong=326, backtracks=154, failedAssignments=209, nogoods=80 6.73/3.15 nFilterCalls=31675, avgTableProportion=0.8459769251180458, avgTableSize=6.498689818468824 6.73/3.15 6.73/3.19 num=12, depth=28..33, filters=73062, revisions=(163043,useless=111907), ccks=134221, wck=0.44, mem=134M956 6.73/3.19 decisions=1019, wrong=372, backtracks=176, failedAssignments=240, nogoods=86 6.73/3.19 nFilterCalls=36378, avgTableProportion=0.8458559674787742, avgTableSize=6.501511902798395 6.73/3.19 7.01/3.24 num=13, depth=27..33, filters=83615, revisions=(183331,useless=124983), ccks=149832, wck=0.482, mem=137M598 7.01/3.24 decisions=1137, wrong=417, backtracks=192, failedAssignments=274, nogoods=92 7.01/3.24 nFilterCalls=41128, avgTableProportion=0.8449474070850845, avgTableSize=6.455310250923945 7.01/3.24 7.32/3.30 num=14, depth=23..28, filters=101502, revisions=(212568,useless=142733), ccks=175366, wck=0.549, mem=137M598 7.32/3.30 decisions=1267, wrong=470, backtracks=210, failedAssignments=311, nogoods=96 7.32/3.30 nFilterCalls=49477, avgTableProportion=0.8451894421377846, avgTableSize=6.426096974351719 7.32/3.30 7.32/3.38 num=15, depth=22..25, filters=123470, revisions=(248034,useless=164313), ccks=210718, wck=0.622, mem=137M598 7.32/3.38 decisions=1404, wrong=527, backtracks=234, failedAssignments=352, nogoods=101 7.32/3.38 nFilterCalls=60289, avgTableProportion=0.8441111182312483, avgTableSize=6.413740483338586 7.32/3.38 7.62/3.41 num=16, depth=16..24, filters=131957, revisions=(268592,useless=178396), ccks=226627, wck=0.655, mem=137M598 7.62/3.41 decisions=1551, wrong=592, backtracks=259, failedAssignments=397, nogoods=109 7.62/3.41 nFilterCalls=64284, avgTableProportion=0.8443495663213565, avgTableSize=6.420260095824777 7.62/3.41 7.62/3.46 num=17, depth=18..24, filters=145357, revisions=(295535,useless=195808), ccks=248407, wck=0.701, mem=137M598 7.62/3.46 decisions=1713, wrong=664, backtracks=282, failedAssignments=447, nogoods=113 7.62/3.46 nFilterCalls=70800, avgTableProportion=0.8442622405849017, avgTableSize=6.4122316384180795 7.62/3.46 7.92/3.50 num=18, depth=23..28, filters=160515, revisions=(331257,useless=219912), ccks=275036, wck=0.746, mem=140M241 7.92/3.50 decisions=1903, wrong=746, backtracks=318, failedAssignments=502, nogoods=124 7.92/3.50 nFilterCalls=78309, avgTableProportion=0.8446594497706876, avgTableSize=6.424012565605486 7.92/3.50 7.92/3.55 num=19, depth=21..24, filters=183715, revisions=(372971,useless=245601), ccks=308683, wck=0.794, mem=140M241 7.92/3.55 decisions=2094, wrong=830, backtracks=344, failedAssignments=563, nogoods=131 7.92/3.55 nFilterCalls=90054, avgTableProportion=0.8441709552785237, avgTableSize=6.382659293312901 7.92/3.55 7.92/3.59 num=20, depth=25..40, filters=200968, revisions=(407838,useless=268078), ccks=335210, wck=0.832, mem=140M241 7.92/3.59 decisions=2340, wrong=939, backtracks=397, failedAssignments=630, nogoods=136 7.92/3.59 nFilterCalls=98008, avgTableProportion=0.8441963087757074, avgTableSize=6.381662721410497 7.92/3.59 8.22/3.63 num=21, depth=17..20, filters=226481, revisions=(450224,useless=293094), ccks=372478, wck=0.878, mem=140M241 8.22/3.63 decisions=2553, wrong=1036, backtracks=421, failedAssignments=704, nogoods=144 8.22/3.63 nFilterCalls=110656, avgTableProportion=0.8439504839205267, avgTableSize=6.357088635049162 8.22/3.63 8.22/3.66 num=22, depth=15..31, filters=239588, revisions=(481339,useless=314584), ccks=393359, wck=0.903, mem=140M241 8.22/3.66 decisions=2811, wrong=1155, backtracks=468, failedAssignments=785, nogoods=158 8.22/3.66 nFilterCalls=116309, avgTableProportion=0.843851207263644, avgTableSize=6.358011847750389 8.22/3.66 8.39/3.70 num=23, depth=17..23, filters=266715, revisions=(536619,useless=350990), ccks=436507, wck=0.949, mem=142M778 8.39/3.70 decisions=3112, wrong=1296, backtracks=529, failedAssignments=874, nogoods=168 8.39/3.70 nFilterCalls=128886, avgTableProportion=0.8438285448027661, avgTableSize=6.361482240119175 8.39/3.70 8.39/3.73 num=24, depth=13..22, filters=282924, revisions=(572437,useless=375157), ccks=462147, wck=0.978, mem=142M778 8.39/3.73 decisions=3391, wrong=1427, backtracks=564, failedAssignments=972, nogoods=190 8.39/3.73 nFilterCalls=136021, avgTableProportion=0.8439579574343924, avgTableSize=6.367222708258284 8.39/3.73 8.52/3.80 num=25, depth=20..25, filters=328385, revisions=(655113,useless=426784), ccks=539180, wck=1.05, mem=142M778 8.52/3.80 decisions=3724, wrong=1582, backtracks=621, failedAssignments=1080, nogoods=199 8.52/3.80 nFilterCalls=158618, avgTableProportion=0.8447839072470301, avgTableSize=6.404972953889218 8.52/3.80 8.52/3.89 num=26, depth=14..21, filters=360043, revisions=(719747,useless=469396), ccks=589781, wck=1.134, mem=59M404 8.52/3.89 decisions=4065, wrong=1745, backtracks=668, failedAssignments=1199, nogoods=208 8.52/3.89 nFilterCalls=174057, avgTableProportion=0.8454493572609725, avgTableSize=6.4232636435190775 8.52/3.89 8.72/3.94 num=27, depth=23..32, filters=393305, revisions=(794957,useless=520788), ccks=642770, wck=1.189, mem=60M726 8.72/3.94 decisions=4476, wrong=1938, backtracks=749, failedAssignments=1330, nogoods=217 8.72/3.94 nFilterCalls=190066, avgTableProportion=0.8449348648995462, avgTableSize=6.413151221154757 8.72/3.94 8.72/4.00 num=28, depth=27..33, filters=432788, revisions=(877175,useless=574274), ccks=709574, wck=1.251, mem=60M726 8.72/4.00 decisions=4911, wrong=2141, backtracks=823, failedAssignments=1474, nogoods=227 8.72/4.00 nFilterCalls=209926, avgTableProportion=0.8455134295610117, avgTableSize=6.431237674228061 8.72/4.00 8.84/4.05 num=29, depth=11..26, filters=462666, revisions=(941556,useless=616646), ccks=758870, wck=1.3, mem=63M315 8.84/4.05 decisions=5352, wrong=2355, backtracks=887, failedAssignments=1632, nogoods=237 8.84/4.05 nFilterCalls=223645, avgTableProportion=0.8458013184942452, avgTableSize=6.435323839120034 8.84/4.05 8.94/4.17 num=30, depth=17..22, filters=540505, revisions=(1071600,useless=694486), ccks=882629, wck=1.415, mem=63M315 8.94/4.17 decisions=5895, wrong=2617, backtracks=986, failedAssignments=1806, nogoods=244 8.94/4.17 nFilterCalls=262618, avgTableProportion=0.8464015467577654, avgTableSize=6.443473029266844 8.94/4.17 9.11/4.27 num=31, depth=14..18, filters=604193, revisions=(1187409,useless=764049), ccks=995912, wck=1.512, mem=65M905 9.11/4.27 decisions=6411, wrong=2867, backtracks=1046, failedAssignments=1997, nogoods=250 9.11/4.27 nFilterCalls=295186, avgTableProportion=0.8465838997753281, avgTableSize=6.44133529367924 9.11/4.27 9.21/4.33 num=32, depth=9..23, filters=645187, revisions=(1271208,useless=817118), ccks=1055484, wck=1.578, mem=65M905 9.21/4.33 decisions=6995, wrong=3153, backtracks=1129, failedAssignments=2208, nogoods=253 9.21/4.33 nFilterCalls=313553, avgTableProportion=0.8460220822239388, avgTableSize=6.4187617404394155 9.21/4.33 9.31/4.40 num=33, depth=10..22, filters=688662, revisions=(1361799,useless=877513), ccks=1112529, wck=1.646, mem=68M494 9.31/4.40 decisions=7637, wrong=3466, backtracks=1230, failedAssignments=2440, nogoods=265 9.31/4.40 nFilterCalls=333543, avgTableProportion=0.8454430402989526, avgTableSize=6.395295359219051 9.31/4.40 9.42/4.53 num=34, depth=14..22, filters=782484, revisions=(1514195,useless=969245), ccks=1239379, wck=1.78, mem=71M83 9.42/4.53 decisions=8336, wrong=3807, backtracks=1320, failedAssignments=2695, nogoods=279 9.42/4.53 nFilterCalls=379421, avgTableProportion=0.8451189372860387, avgTableSize=6.371982573447437 9.42/4.53 9.53/4.63 num=35, depth=11..25, filters=840190, revisions=(1647431,useless=1058528), ccks=1335241, wck=1.879, mem=71M83 9.53/4.63 decisions=9217, wrong=4240, backtracks=1491, failedAssignments=2976, nogoods=298 9.53/4.63 nFilterCalls=406482, avgTableProportion=0.8450539338543922, avgTableSize=6.374048543354934 9.53/4.63 9.66/4.78 num=36, depth=18..22, filters=942252, revisions=(1822909,useless=1165137), ccks=1476078, wck=2.03, mem=73M673 9.66/4.78 decisions=10078, wrong=4660, backtracks=1607, failedAssignments=3285, nogoods=319 9.66/4.78 nFilterCalls=454944, avgTableProportion=0.8446398603048232, avgTableSize=6.352606035028487 9.66/4.78 9.78/4.88 num=37, depth=6..23, filters=1000755, revisions=(1957722,useless=1256167), ccks=1563095, wck=2.129, mem=76M262 9.78/4.88 decisions=11183, wrong=5205, backtracks=1839, failedAssignments=3625, nogoods=334 9.78/4.88 nFilterCalls=480495, avgTableProportion=0.844569084286729, avgTableSize=6.350222166723899 9.78/4.88 10.00/5.04 num=38, depth=24..33, filters=1091080, revisions=(2169297,useless=1399973), ccks=1715707, wck=2.282, mem=76M262 10.00/5.04 decisions=12315, wrong=5758, backtracks=2078, failedAssignments=3999, nogoods=350 10.00/5.04 nFilterCalls=525148, avgTableProportion=0.8439804324080815, avgTableSize=6.3461348039029 10.00/5.04 10.26/5.27 num=39, depth=29..34, filters=1243022, revisions=(2449594,useless=1575571), ccks=1958209, wck=2.511, mem=81M441 10.26/5.27 decisions=13475, wrong=6322, backtracks=2261, failedAssignments=4410, nogoods=368 10.26/5.27 nFilterCalls=601868, avgTableProportion=0.8435446878724078, avgTableSize=6.335551981497604 10.26/5.27 10.49/5.43 num=40, depth=10..26, filters=1341534, revisions=(2683138,useless=1734523), ccks=2115163, wck=2.676, mem=81M441 10.49/5.43 decisions=14892, wrong=7022, backtracks=2578, failedAssignments=4862, nogoods=374 10.49/5.43 nFilterCalls=648129, avgTableProportion=0.8434925950245573, avgTableSize=6.338741207383098 10.49/5.43 10.79/5.73 num=41, depth=18..26, filters=1547402, revisions=(3042748,useless=1955267), ccks=2435399, wck=2.971, mem=86M620 10.79/5.73 decisions=16252, wrong=7692, backtracks=2780, failedAssignments=5359, nogoods=386 10.79/5.73 nFilterCalls=750215, avgTableProportion=0.8435567719647694, avgTableSize=6.337186006678086 10.79/5.73 10.99/5.93 num=42, depth=4..16, filters=1682813, revisions=(3310068,useless=2124182), ccks=2638648, wck=3.176, mem=89M209 10.99/5.93 decisions=17770, wrong=8447, backtracks=3021, failedAssignments=5906, nogoods=400 10.99/5.93 nFilterCalls=813835, avgTableProportion=0.8434530218736452, avgTableSize=6.326601829609196 10.99/5.93 11.20/6.14 num=43, depth=17..23, filters=1815584, revisions=(3586842,useless=2305161), ccks=2841763, wck=3.383, mem=91M798 11.20/6.14 decisions=19483, wrong=9294, backtracks=3306, failedAssignments=6508, nogoods=417 11.20/6.14 nFilterCalls=875865, avgTableProportion=0.8436355764821777, avgTableSize=6.337743830384819 11.20/6.14 11.39/6.35 num=44, depth=8..20, filters=1954360, revisions=(3882688,useless=2499826), ccks=3053869, wck=3.599, mem=94M388 11.39/6.35 decisions=21395, wrong=10243, backtracks=3641, failedAssignments=7170, nogoods=428 11.39/6.35 nFilterCalls=940970, avgTableProportion=0.8437619705108498, avgTableSize=6.3446231016929335 11.39/6.35 11.80/6.73 num=45, depth=21..27, filters=2214752, revisions=(4344652,useless=2785806), ccks=3452939, wck=3.979, mem=102M156 11.80/6.73 decisions=23380, wrong=11223, backtracks=3918, failedAssignments=7898, nogoods=434 11.80/6.73 nFilterCalls=1069209, avgTableProportion=0.843377140566887, avgTableSize=6.319683055417603 11.80/6.73 12.11/7.06 num=46, depth=15..27, filters=2422122, revisions=(4767094,useless=3060658), ccks=3758289, wck=4.302, mem=104M745 12.11/7.06 decisions=25769, wrong=12408, backtracks=4422, failedAssignments=8699, nogoods=448 12.11/7.06 nFilterCalls=1167492, avgTableProportion=0.8430863843550451, avgTableSize=6.3093040466230175 12.11/7.06 12.71/7.60 num=47, depth=22..28, filters=2798793, revisions=(5460878,useless=3501735), ccks=4366567, wck=4.844, mem=112M513 12.71/7.60 decisions=28439, wrong=13731, backtracks=4932, failedAssignments=9580, nogoods=458 12.71/7.60 nFilterCalls=1355832, avgTableProportion=0.8435857668110878, avgTableSize=6.332224051357396 12.71/7.60 13.12/8.05 num=48, depth=25..33, filters=3103709, revisions=(6052433,useless=3880151), ccks=4828734, wck=5.296, mem=120M282 13.12/8.05 decisions=31179, wrong=15087, backtracks=5409, failedAssignments=10550, nogoods=476 13.12/8.05 nFilterCalls=1506583, avgTableProportion=0.843804699635689, avgTableSize=6.346507294984743 13.12/8.05 13.51/8.40 num=49, depth=14..26, filters=3320657, revisions=(6526972,useless=4191601), ccks=5157890, wck=5.645, mem=122M871 13.51/8.40 decisions=34268, wrong=16624, backtracks=5987, failedAssignments=11617, nogoods=501 13.51/8.40 nFilterCalls=1606932, avgTableProportion=0.8437027075847231, avgTableSize=6.338615448569074 13.51/8.40 14.12/9.07 num=50, depth=22..28, filters=3775867, revisions=(7340518,useless=4701267), ccks=5840123, wck=6.313, mem=133M229 14.12/9.07 decisions=37624, wrong=18289, backtracks=6567, failedAssignments=12790, nogoods=518 14.12/9.07 nFilterCalls=1830672, avgTableProportion=0.8434151923357386, avgTableSize=6.3215660697274005 14.12/9.07 14.62/9.56 num=51, depth=17..31, filters=4110718, revisions=(7963199,useless=5097432), ccks=6319415, wck=6.81, mem=140M997 14.62/9.56 decisions=41200, wrong=20067, backtracks=7130, failedAssignments=14081, nogoods=535 14.62/9.56 nFilterCalls=1989423, avgTableProportion=0.8435227194424973, avgTableSize=6.324736368283668 14.62/9.56 15.13/10.03 num=52, depth=11..26, filters=4402928, revisions=(8616782,useless=5530933), ccks=6788300, wck=7.276, mem=146M175 15.13/10.03 decisions=45411, wrong=22165, backtracks=7909, failedAssignments=15501, nogoods=560 15.13/10.03 nFilterCalls=2126432, avgTableProportion=0.8437383747823965, avgTableSize=6.332375547395825 15.13/10.03 15.83/10.76 num=53, depth=18..25, filters=4924607, revisions=(9457496,useless=6037313), ccks=7456786, wck=8.002, mem=156M533 15.83/10.76 decisions=49584, wrong=24241, backtracks=8491, failedAssignments=17063, nogoods=567 15.83/10.76 nFilterCalls=2372964, avgTableProportion=0.8437174231767773, avgTableSize=6.3223639296677066 15.83/10.76 16.43/11.32 num=54, depth=10..26, filters=5284611, revisions=(10238063,useless=6559468), ccks=8008794, wck=8.571, mem=164M301 16.43/11.32 decisions=54916, wrong=26899, backtracks=9593, failedAssignments=18781, nogoods=580 16.43/11.32 nFilterCalls=2538999, avgTableProportion=0.8435741657554834, avgTableSize=6.321267554654413 16.43/11.32 17.33/12.29 num=55, depth=22..28, filters=5936285, revisions=(11476822,useless=7360397), ccks=9101302, wck=9.534, mem=177M248 17.33/12.29 decisions=60332, wrong=29594, backtracks=10609, failedAssignments=20671, nogoods=593 17.33/12.29 nFilterCalls=2862413, avgTableProportion=0.8443392766611512, avgTableSize=6.357689823236549 17.33/12.29 17.83/12.74 o 15 17.83/12.76 num=56, depth=13..1379, filters=6234026, revisions=(11979689,useless=7675650), ccks=9494082, wck=10.008, mem=185M28 17.83/12.76 decisions=63279, wrong=31054, backtracks=11019, failedAssignments=21755, nogoods=623, foundSolutions=1, bestBound=15 17.83/12.76 nFilterCalls=2998930, avgTableProportion=0.8440579817168145, avgTableSize=6.345634609677451 17.83/12.76 18.26/13.06 o 14 18.26/13.09 num=57, depth=0..1379, filters=6412735, revisions=(12296988,useless=7874830), ccks=9757819, wck=10.335, mem=187M617 18.26/13.09 decisions=65559, wrong=32181, backtracks=11282, failedAssignments=22629, nogoods=636, foundSolutions=2, bestBound=14 18.26/13.09 nFilterCalls=3081203, avgTableProportion=0.8439270215122576, avgTableSize=6.341201796830654 18.26/13.09 18.26/13.10 num=58, depth=0..15, filters=6416028, revisions=(12303533,useless=7878887), ccks=9764771, wck=10.347, mem=187M617 18.26/13.10 decisions=65598, wrong=32193, backtracks=11283, failedAssignments=22640, nogoods=645, foundSolutions=2, bestBound=14 18.26/13.10 nFilterCalls=3083400, avgTableProportion=0.8439230433219429, avgTableSize=6.340941817474217 18.26/13.10 18.26/13.11 num=59, depth=11..14, filters=6418113, revisions=(12308242,useless=7882052), ccks=9768867, wck=10.351, mem=187M617 18.26/13.11 decisions=65637, wrong=32207, backtracks=11286, failedAssignments=22651, nogoods=646, foundSolutions=2, bestBound=14 18.26/13.11 nFilterCalls=3084365, avgTableProportion=0.8439202627778126, avgTableSize=6.340866272312129 18.26/13.11 18.47/13.11 num=60, depth=11..14, filters=6420189, revisions=(12312681,useless=7885022), ccks=9772800, wck=10.356, mem=187M617 18.47/13.11 decisions=65677, wrong=32220, backtracks=11287, failedAssignments=22663, nogoods=652, foundSolutions=2, bestBound=14 18.47/13.11 nFilterCalls=3085354, avgTableProportion=0.8439201002220293, avgTableSize=6.340895728658689 18.47/13.11 18.47/13.12 num=61, depth=10..13, filters=6423478, revisions=(12318943,useless=7888858), ccks=9778949, wck=10.361, mem=187M617 18.47/13.12 decisions=65719, wrong=32236, backtracks=11290, failedAssignments=22676, nogoods=653, foundSolutions=2, bestBound=14 18.47/13.12 nFilterCalls=3086918, avgTableProportion=0.843918597443047, avgTableSize=6.340789745629784 18.47/13.12 18.47/13.12 num=62, depth=14..23, filters=6426048, revisions=(12325658,useless=7893619), ccks=9784395, wck=10.367, mem=187M617 18.47/13.12 decisions=65771, wrong=32253, backtracks=11294, failedAssignments=22690, nogoods=658, foundSolutions=2, bestBound=14 18.47/13.12 nFilterCalls=3088166, avgTableProportion=0.8439191935125103, avgTableSize=6.340850200410211 18.47/13.12 18.47/13.13 num=63, depth=13..16, filters=6431161, revisions=(12336798,useless=7901001), ccks=9794229, wck=10.376, mem=188M936 18.47/13.13 decisions=65829, wrong=32275, backtracks=11300, failedAssignments=22706, nogoods=661, foundSolutions=2, bestBound=14 18.47/13.13 nFilterCalls=3090749, avgTableProportion=0.8439203475304436, avgTableSize=6.340879832040712 18.47/13.13 18.47/13.14 num=64, depth=11..15, filters=6434939, revisions=(12344208,useless=7905822), ccks=9800873, wck=10.382, mem=188M936 18.47/13.14 decisions=65884, wrong=32297, backtracks=11306, failedAssignments=22723, nogoods=664, foundSolutions=2, bestBound=14 18.47/13.14 nFilterCalls=3092497, avgTableProportion=0.8439165722429698, avgTableSize=6.340806797872399 18.47/13.14 18.47/13.14 num=65, depth=17..19, filters=6438934, revisions=(12354622,useless=7913189), ccks=9809206, wck=10.39, mem=188M936 18.47/13.14 decisions=65955, wrong=32324, backtracks=11314, failedAssignments=22742, nogoods=671, foundSolutions=2, bestBound=14 18.47/13.14 nFilterCalls=3094448, avgTableProportion=0.8439210163459004, avgTableSize=6.340994581262959 18.47/13.14 18.47/13.15 num=66, depth=13..15, filters=6443731, revisions=(12364720,useless=7919787), ccks=9818040, wck=10.399, mem=188M936 18.47/13.15 decisions=66019, wrong=32349, backtracks=11318, failedAssignments=22763, nogoods=677, foundSolutions=2, bestBound=14 18.47/13.15 nFilterCalls=3096870, avgTableProportion=0.8439198522723658, avgTableSize=6.341003012719294 18.47/13.15 18.47/13.16 num=67, depth=12..19, filters=6447013, revisions=(12373059,useless=7925652), ccks=9825062, wck=10.405, mem=188M936 18.47/13.16 decisions=66093, wrong=32378, backtracks=11324, failedAssignments=22786, nogoods=684, foundSolutions=2, bestBound=14 18.47/13.16 nFilterCalls=3098427, avgTableProportion=0.8439199290253283, avgTableSize=6.3410782309862395 18.47/13.16 18.47/13.17 num=68, depth=12..15, filters=6454211, revisions=(12388493,useless=7935956), ccks=9838601, wck=10.417, mem=188M936 18.47/13.17 decisions=66175, wrong=32412, backtracks=11333, failedAssignments=22811, nogoods=690, foundSolutions=2, bestBound=14 18.47/13.17 nFilterCalls=3102128, avgTableProportion=0.843926241019684, avgTableSize=6.3413102231758325 18.47/13.17 18.47/13.18 num=69, depth=11..22, filters=6458498, revisions=(12398351,useless=7942617), ccks=9846486, wck=10.425, mem=188M936 18.47/13.18 decisions=66257, wrong=32444, backtracks=11338, failedAssignments=22839, nogoods=702, foundSolutions=2, bestBound=14 18.47/13.18 nFilterCalls=3104034, avgTableProportion=0.8439253022404807, avgTableSize=6.341327446799874 18.47/13.18 18.47/13.19 num=70, depth=12..15, filters=6467425, revisions=(12415570,useless=7953681), ccks=9862983, wck=10.439, mem=188M936 18.47/13.19 decisions=66349, wrong=32483, backtracks=11346, failedAssignments=22870, nogoods=707, foundSolutions=2, bestBound=14 18.47/13.19 nFilterCalls=3108486, avgTableProportion=0.8439341836531129, avgTableSize=6.341674371382081 18.47/13.19 18.56/13.20 num=71, depth=14..21, filters=6472209, revisions=(12427144,useless=7961668), ccks=9871818, wck=10.448, mem=188M936 18.56/13.20 decisions=66449, wrong=32524, backtracks=11355, failedAssignments=22904, nogoods=718, foundSolutions=2, bestBound=14 18.56/13.20 nFilterCalls=3110678, avgTableProportion=0.8439340868539744, avgTableSize=6.34166570760458 18.56/13.20 18.56/13.23 num=72, depth=12..15, filters=6480993, revisions=(12445277,useless=7973512), ccks=9886782, wck=10.476, mem=59M496 18.56/13.23 decisions=66557, wrong=32572, backtracks=11366, failedAssignments=22941, nogoods=725, foundSolutions=2, bestBound=14 18.56/13.23 nFilterCalls=3114897, avgTableProportion=0.8439367556545299, avgTableSize=6.341839232565315 18.56/13.23 18.56/13.24 num=73, depth=14..20, filters=6487073, revisions=(12460144,useless=7983764), ccks=9898365, wck=10.488, mem=59M496 18.56/13.24 decisions=66679, wrong=32625, backtracks=11378, failedAssignments=22982, nogoods=729, foundSolutions=2, bestBound=14 18.56/13.24 nFilterCalls=3117677, avgTableProportion=0.8439406986201896, avgTableSize=6.342030300124099 18.56/13.24 18.56/13.26 num=74, depth=9..12, filters=6500941, revisions=(12484898,useless=7998852), ccks=9921546, wck=10.509, mem=59M496 18.56/13.26 decisions=66805, wrong=32683, backtracks=11391, failedAssignments=23027, nogoods=742, foundSolutions=2, bestBound=14 18.56/13.26 nFilterCalls=3124436, avgTableProportion=0.8439381626289083, avgTableSize=6.341667424136708 18.56/13.26 18.56/13.28 num=75, depth=14..19, filters=6509250, revisions=(12505696,useless=8013407), ccks=9936935, wck=10.523, mem=59M496 18.56/13.28 decisions=66963, wrong=32754, backtracks=11412, failedAssignments=23077, nogoods=752, foundSolutions=2, bestBound=14 18.56/13.28 nFilterCalls=3128210, avgTableProportion=0.8439418275570222, avgTableSize=6.34191054948357 18.56/13.28 18.71/13.30 num=76, depth=14..16, filters=6525629, revisions=(12536488,useless=8032794), ccks=9965223, wck=10.549, mem=59M496 18.71/13.30 decisions=67123, wrong=32826, backtracks=11430, failedAssignments=23132, nogoods=762, foundSolutions=2, bestBound=14 18.71/13.30 nFilterCalls=3136422, avgTableProportion=0.8439563885628771, avgTableSize=6.3424175700846375 18.71/13.30 18.71/13.32 num=77, depth=14..19, filters=6534710, revisions=(12558447,useless=8047770), ccks=9981288, wck=10.565, mem=59M496 18.71/13.32 decisions=67300, wrong=32907, backtracks=11450, failedAssignments=23193, nogoods=770, foundSolutions=2, bestBound=14 18.71/13.32 nFilterCalls=3140437, avgTableProportion=0.843954708804146, avgTableSize=6.342398844492025 18.71/13.32 18.71/13.35 num=78, depth=13..16, filters=6555176, revisions=(12595467,useless=8071213), ccks=10016608, wck=10.595, mem=59M496 18.71/13.35 decisions=67488, wrong=32994, backtracks=11470, failedAssignments=23260, nogoods=782, foundSolutions=2, bestBound=14 18.71/13.35 nFilterCalls=3150578, avgTableProportion=0.8439786652087692, avgTableSize=6.3433852455009845 18.71/13.35 18.71/13.37 num=79, depth=14..18, filters=6567827, revisions=(12624804,useless=8091051), ccks=10037702, wck=10.617, mem=59M496 18.71/13.37 decisions=67704, wrong=33095, backtracks=11497, failedAssignments=23334, nogoods=789, foundSolutions=2, bestBound=14 18.71/13.37 nFilterCalls=3156237, avgTableProportion=0.8439764843232337, avgTableSize=6.343313889292851 18.71/13.37 18.83/13.41 num=80, depth=14..17, filters=6596190, revisions=(12672801,useless=8120602), ccks=10080652, wck=10.658, mem=62M94 18.83/13.41 decisions=67938, wrong=33204, backtracks=11527, failedAssignments=23415, nogoods=797, foundSolutions=2, bestBound=14 18.83/13.41 nFilterCalls=3169678, avgTableProportion=0.8439913843653987, avgTableSize=6.3436632995528255 18.83/13.41 18.83/13.46 num=81, depth=16..19, filters=6626305, revisions=(12729134,useless=8155751), ccks=10132214, wck=10.704, mem=62M94 18.83/13.46 decisions=68192, wrong=33322, backtracks=11558, failedAssignments=23504, nogoods=808, foundSolutions=2, bestBound=14 18.83/13.46 nFilterCalls=3184937, avgTableProportion=0.843970847098935, avgTableSize=6.342777894821781 18.83/13.46 18.83/13.49 num=82, depth=13..18, filters=6644515, revisions=(12770648,useless=8183487), ccks=10161795, wck=10.735, mem=62M94 18.83/13.49 decisions=68470, wrong=33454, backtracks=11595, failedAssignments=23602, nogoods=822, foundSolutions=2, bestBound=14 18.83/13.49 nFilterCalls=3193220, avgTableProportion=0.843965258493412, avgTableSize=6.342461214698643 18.83/13.49 18.93/13.54 num=83, depth=13..16, filters=6682119, revisions=(12831838,useless=8221152), ccks=10216173, wck=10.787, mem=62M94 18.93/13.54 decisions=68770, wrong=33597, backtracks=11633, failedAssignments=23710, nogoods=829, foundSolutions=2, bestBound=14 18.93/13.54 nFilterCalls=3210356, avgTableProportion=0.8440028511434734, avgTableSize=6.34385158530705 18.93/13.54 18.93/13.57 num=84, depth=11..22, filters=6698619, revisions=(12871007,useless=8247988), ccks=10243106, wck=10.815, mem=62M94 18.93/13.57 decisions=69097, wrong=33752, backtracks=11671, failedAssignments=23829, nogoods=852, foundSolutions=2, bestBound=14 18.93/13.57 nFilterCalls=3217470, avgTableProportion=0.8439985560675881, avgTableSize=6.3438241848408845 18.93/13.57 19.03/13.63 num=85, depth=14..17, filters=6743073, revisions=(12947857,useless=8293913), ccks=10318947, wck=10.879, mem=64M693 19.03/13.63 decisions=69448, wrong=33920, backtracks=11711, failedAssignments=23960, nogoods=859, foundSolutions=2, bestBound=14 19.03/13.63 nFilterCalls=3239682, avgTableProportion=0.8440076306756793, avgTableSize=6.343435559416017 19.03/13.63 19.03/13.68 num=86, depth=13..22, filters=6769012, revisions=(13005967,useless=8333128), ccks=10361703, wck=10.922, mem=64M693 19.03/13.68 decisions=69860, wrong=34117, backtracks=11772, failedAssignments=24104, nogoods=881, foundSolutions=2, bestBound=14 19.03/13.68 nFilterCalls=3251441, avgTableProportion=0.8440012533762715, avgTableSize=6.343397896501889 19.03/13.68 19.14/13.76 num=87, depth=13..17, filters=6823198, revisions=(13099810,useless=8388421), ccks=10449638, wck=11.003, mem=67M292 19.14/13.76 decisions=70289, wrong=34324, backtracks=11824, failedAssignments=24262, nogoods=894, foundSolutions=2, bestBound=14 19.14/13.76 nFilterCalls=3277494, avgTableProportion=0.8439950085995302, avgTableSize=6.34160184580048 19.14/13.76 19.26/13.83 num=88, depth=15..21, filters=6868841, revisions=(13185395,useless=8439996), ccks=10525712, wck=11.075, mem=67M292 19.26/13.83 decisions=70751, wrong=34547, backtracks=11878, failedAssignments=24436, nogoods=903, foundSolutions=2, bestBound=14 19.26/13.83 nFilterCalls=3300247, avgTableProportion=0.8439919793762276, avgTableSize=6.340346646781287 19.26/13.83 19.26/13.89 num=89, depth=8..18, filters=6905062, revisions=(13264827,useless=8492505), ccks=10583885, wck=11.133, mem=67M292 19.26/13.89 decisions=71292, wrong=34811, backtracks=11958, failedAssignments=24627, nogoods=930, foundSolutions=2, bestBound=14 19.26/13.89 nFilterCalls=3316519, avgTableProportion=0.8439749975197162, avgTableSize=6.339747789775967 19.26/13.89 19.37/13.97 num=90, depth=13..18, filters=6968505, revisions=(13369624,useless=8556004), ccks=10675118, wck=11.22, mem=69M890 19.37/13.97 decisions=71845, wrong=35080, backtracks=12019, failedAssignments=24838, nogoods=936, foundSolutions=2, bestBound=14 19.37/13.97 nFilterCalls=3345714, avgTableProportion=0.8440121575246475, avgTableSize=6.3405222323247 19.37/13.97 19.47/14.05 num=91, depth=11..18, filters=7017429, revisions=(13486056,useless=8635600), ccks=10759558, wck=11.3, mem=69M890 19.47/14.05 decisions=72554, wrong=35428, backtracks=12150, failedAssignments=25070, nogoods=942, foundSolutions=2, bestBound=14 19.47/14.05 nFilterCalls=3368830, avgTableProportion=0.8440125226091029, avgTableSize=6.340758067340887 19.47/14.05 19.58/14.18 num=92, depth=12..17, filters=7100974, revisions=(13637072,useless=8726409), ccks=10908376, wck=11.422, mem=72M489 19.58/14.18 decisions=73222, wrong=35754, backtracks=12230, failedAssignments=25325, nogoods=948, foundSolutions=2, bestBound=14 19.58/14.18 nFilterCalls=3409839, avgTableProportion=0.8440377395601879, avgTableSize=6.3402084379937 19.58/14.18 19.67/14.29 num=93, depth=9..13, filters=7182541, revisions=(13780176,useless=8812318), ccks=11036860, wck=11.541, mem=75M87 19.67/14.29 decisions=73959, wrong=36117, backtracks=12320, failedAssignments=25606, nogoods=961, foundSolutions=2, bestBound=14 19.67/14.29 nFilterCalls=3447716, avgTableProportion=0.8440296944893355, avgTableSize=6.3381328392477805 19.67/14.29 19.87/14.42 num=94, depth=12..18, filters=7266776, revisions=(13932290,useless=8903404), ccks=11174364, wck=11.667, mem=77M686 19.87/14.42 decisions=74765, wrong=36513, backtracks=12410, failedAssignments=25915, nogoods=972, foundSolutions=2, bestBound=14 19.87/14.42 nFilterCalls=3488672, avgTableProportion=0.844004619461669, avgTableSize=6.335292627108538 19.87/14.42 19.97/14.56 num=95, depth=5..9, filters=7362585, revisions=(14099757,useless=9002613), ccks=11323357, wck=11.804, mem=80M285 19.97/14.56 decisions=75625, wrong=36940, backtracks=12504, failedAssignments=26255, nogoods=990, foundSolutions=2, bestBound=14 19.97/14.56 nFilterCalls=3533248, avgTableProportion=0.8439893435128527, avgTableSize=6.332914077924901 19.97/14.56 20.07/14.65 num=96, depth=6..20, filters=7423320, revisions=(14233674,useless=9090422), ccks=11414820, wck=11.901, mem=80M285 20.07/14.65 decisions=76613, wrong=37428, backtracks=12634, failedAssignments=26629, nogoods=1017, foundSolutions=2, bestBound=14 20.07/14.65 nFilterCalls=3559404, avgTableProportion=0.8439719493812738, avgTableSize=6.33178532136279 20.07/14.65 20.27/14.80 num=97, depth=11..16, filters=7528182, revisions=(14418501,useless=9204500), ccks=11572860, wck=12.05, mem=82M883 20.27/14.80 decisions=77654, wrong=37942, backtracks=12747, failedAssignments=27040, nogoods=1030, foundSolutions=2, bestBound=14 20.27/14.80 nFilterCalls=3609206, avgTableProportion=0.8440210251568983, avgTableSize=6.332833315693258 20.27/14.80 20.37/14.93 num=98, depth=5..18, filters=7610882, revisions=(14582908,useless=9310193), ccks=11684128, wck=12.176, mem=85M482 20.37/14.93 decisions=78846, wrong=38533, backtracks=12906, failedAssignments=27492, nogoods=1044, foundSolutions=2, bestBound=14 20.37/14.93 nFilterCalls=3645274, avgTableProportion=0.8439453315614635, avgTableSize=6.329777679263616 20.37/14.93 20.58/15.16 num=99, depth=12..17, filters=7770561, revisions=(14846375,useless=9461468), ccks=11926799, wck=12.402, mem=90M679 20.58/15.16 decisions=80071, wrong=39139, backtracks=13028, failedAssignments=27989, nogoods=1059, foundSolutions=2, bestBound=14 20.58/15.16 nFilterCalls=3722676, avgTableProportion=0.8438382665426954, avgTableSize=6.322182215159203 20.58/15.16 20.77/15.32 num=100, depth=8..18, filters=7872812, revisions=(15066207,useless=9604104), ccks=12085158, wck=12.562, mem=93M278 20.77/15.32 decisions=81533, wrong=39865, backtracks=13228, failedAssignments=28536, nogoods=1078, foundSolutions=2, bestBound=14 20.77/15.32 nFilterCalls=3769880, avgTableProportion=0.8437530440370865, avgTableSize=6.319869597971288 20.77/15.32 20.88/15.49 num=101, depth=10..22, filters=7983441, revisions=(15303965,useless=9761298), ccks=12262636, wck=12.738, mem=95M876 20.88/15.49 decisions=83149, wrong=40667, backtracks=13466, failedAssignments=29138, nogoods=1093, foundSolutions=2, bestBound=14 20.88/15.49 nFilterCalls=3819913, avgTableProportion=0.8437340992942434, avgTableSize=6.319553874656307 20.88/15.49 21.18/15.79 num=102, depth=14..21, filters=8178742, revisions=(15714299,useless=10033202), ccks=12594058, wck=13.034, mem=98M475 21.18/15.79 decisions=85053, wrong=41610, backtracks=13842, failedAssignments=29800, nogoods=1114, foundSolutions=2, bestBound=14 21.18/15.79 nFilterCalls=3916747, avgTableProportion=0.8438201940004033, avgTableSize=6.324490706190622 21.18/15.79 21.59/16.12 num=103, depth=10..15, filters=8412850, revisions=(16126535,useless=10280655), ccks=12966764, wck=13.363, mem=108M914 21.59/16.12 decisions=86967, wrong=42561, backtracks=14092, failedAssignments=30528, nogoods=1127, foundSolutions=2, bestBound=14 21.59/16.12 nFilterCalls=4026919, avgTableProportion=0.8439060436281874, avgTableSize=6.3248572916415755 21.59/16.12 21.78/16.37 num=104, depth=12..20, filters=8571838, revisions=(16473659,useless=10511754), ccks=13217959, wck=13.612, mem=111M512 21.78/16.37 decisions=89133, wrong=43638, backtracks=14441, failedAssignments=31329, nogoods=1133, foundSolutions=2, bestBound=14 21.78/16.37 nFilterCalls=4098669, avgTableProportion=0.8439093460386315, avgTableSize=6.325861883455336 21.78/16.37 22.18/16.72 num=105, depth=13..20, filters=8824080, revisions=(16905145,useless=10770235), ccks=13557856, wck=13.965, mem=119M308 22.18/16.72 decisions=91382, wrong=44754, backtracks=14701, failedAssignments=32210, nogoods=1154, foundSolutions=2, bestBound=14 22.18/16.72 nFilterCalls=4215853, avgTableProportion=0.8437119344590291, avgTableSize=6.316181802354114 22.18/16.72 22.49/17.10 num=106, depth=10..17, filters=9090058, revisions=(17379990,useless=11064413), ccks=13940615, wck=14.345, mem=124M505 22.49/17.10 decisions=93980, wrong=46048, backtracks=15068, failedAssignments=33180, nogoods=1155, foundSolutions=2, bestBound=14 22.49/17.10 nFilterCalls=4338925, avgTableProportion=0.8437046803595718, avgTableSize=6.315281780625385 22.49/17.10 22.88/17.41 num=107, depth=6..20, filters=9283654, revisions=(17825115,useless=11363464), ccks=14245235, wck=14.653, mem=129M703 22.88/17.41 decisions=96978, wrong=47542, backtracks=15567, failedAssignments=34247, nogoods=1177, foundSolutions=2, bestBound=14 22.88/17.41 nFilterCalls=4426381, avgTableProportion=0.843753588565181, avgTableSize=6.316995757934078 22.88/17.41 23.38/17.91 num=108, depth=12..19, filters=9645068, revisions=(18456574,useless=11753321), ccks=14749606, wck=15.159, mem=137M499 23.38/17.91 decisions=100154, wrong=49123, backtracks=16016, failedAssignments=35420, nogoods=1196, foundSolutions=2, bestBound=14 23.38/17.91 nFilterCalls=4597910, avgTableProportion=0.8436945765373715, avgTableSize=6.31447592493111 23.38/17.91 23.78/18.34 num=109, depth=6..16, filters=9926871, revisions=(19059832,useless=12150357), ccks=15156334, wck=15.588, mem=145M294 23.78/18.34 decisions=103848, wrong=50965, backtracks=16588, failedAssignments=36711, nogoods=1220, foundSolutions=2, bestBound=14 23.78/18.34 nFilterCalls=4727577, avgTableProportion=0.8437596466424857, avgTableSize=6.31490169276989 23.78/18.34 24.39/18.99 num=110, depth=13..21, filters=10362912, revisions=(19924919,useless=12709693), ccks=15815500, wck=16.239, mem=155M689 24.39/18.99 decisions=107997, wrong=53032, backtracks=17396, failedAssignments=38131, nogoods=1238, foundSolutions=2, bestBound=14 24.39/18.99 nFilterCalls=4935104, avgTableProportion=0.8437303738857909, avgTableSize=6.3134649239408125 24.39/18.99 24.99/19.52 num=111, depth=12..21, filters=10701892, revisions=(20690658,useless=13230089), ccks=16364183, wck=16.766, mem=163M485 24.99/19.52 decisions=112358, wrong=55204, backtracks=18194, failedAssignments=39693, nogoods=1261, foundSolutions=2, bestBound=14 24.99/19.52 nFilterCalls=5093995, avgTableProportion=0.8439731259293508, avgTableSize=6.325007386147807 24.99/19.52 25.79/20.38 num=112, depth=13..20, filters=11292128, revisions=(21814039,useless=13949182), ccks=17250490, wck=17.624, mem=176M478 25.79/20.38 decisions=117291, wrong=57663, backtracks=19079, failedAssignments=41411, nogoods=1281, foundSolutions=2, bestBound=14 25.79/20.38 nFilterCalls=5379679, avgTableProportion=0.8438088788990333, avgTableSize=6.3193127322280755 25.79/20.38 26.60/21.16 num=113, depth=10..15, filters=11817346, revisions=(22914203,useless=14680425), ccks=18163255, wck=18.409, mem=189M18 26.60/21.16 decisions=122315, wrong=60169, backtracks=19890, failedAssignments=43301, nogoods=1301, foundSolutions=2, bestBound=14 26.60/21.16 nFilterCalls=5638675, avgTableProportion=0.8441833872287919, avgTableSize=6.33518973872408 26.60/21.16 27.54/22.06 num=114, depth=14..23, filters=12412350, revisions=(24074073,useless=15413900), ccks=19040988, wck=19.308, mem=71M609 27.54/22.06 decisions=127893, wrong=62949, backtracks=20643, failedAssignments=45380, nogoods=1323, foundSolutions=2, bestBound=14 27.54/22.06 nFilterCalls=5912566, avgTableProportion=0.8442167533602434, avgTableSize=6.331916464019176 27.54/22.06 28.54/23.01 num=115, depth=9..23, filters=13068329, revisions=(25267704,useless=16148937), ccks=19998330, wck=20.254, mem=89M839 28.54/23.01 decisions=133991, wrong=65992, backtracks=21476, failedAssignments=47667, nogoods=1340, foundSolutions=2, bestBound=14 28.54/23.01 nFilterCalls=6220543, avgTableProportion=0.8440923232504691, avgTableSize=6.3237074319717745 28.54/23.01 29.44/23.91 num=116, depth=12..20, filters=13662370, revisions=(26469308,useless=16933768), ccks=20957001, wck=21.152, mem=104M423 29.44/23.91 decisions=141068, wrong=69523, backtracks=22584, failedAssignments=50183, nogoods=1348, foundSolutions=2, bestBound=14 29.44/23.91 nFilterCalls=6498017, avgTableProportion=0.8442395444637498, avgTableSize=6.3309714332849545 29.44/23.91 30.44/24.93 num=117, depth=9..21, filters=14338334, revisions=(27863388,useless=17849459), ccks=21977212, wck=22.178, mem=119M7 30.44/24.93 decisions=148843, wrong=73404, backtracks=23957, failedAssignments=52951, nogoods=1372, foundSolutions=2, bestBound=14 30.44/24.93 nFilterCalls=6811411, avgTableProportion=0.8440696244154359, avgTableSize=6.328234487685444 30.44/24.93 31.74/26.25 num=118, depth=11..16, filters=15235699, revisions=(29606845,useless=18950728), ccks=23453841, wck=23.499, mem=140M883 31.74/26.25 decisions=157037, wrong=77494, backtracks=25144, failedAssignments=55995, nogoods=1391, foundSolutions=2, bestBound=14 31.74/26.25 nFilterCalls=7243200, avgTableProportion=0.8440204489940113, avgTableSize=6.328399602385685 31.74/26.25 32.75/27.27 num=119, depth=7..22, filters=15883750, revisions=(31023062,useless=19878735), ccks=24462035, wck=24.512, mem=159M113 32.75/27.27 decisions=166306, wrong=82124, backtracks=26488, failedAssignments=59344, nogoods=1410, foundSolutions=2, bestBound=14 32.75/27.27 nFilterCalls=7540846, avgTableProportion=0.8439927862954963, avgTableSize=6.326771028078282 32.75/27.27 34.46/28.93 num=120, depth=11..20, filters=17022052, revisions=(33166074,useless=21250022), ccks=26173676, wck=26.175, mem=184M635 34.46/28.93 decisions=176818, wrong=87374, backtracks=28286, failedAssignments=63028, nogoods=1438, foundSolutions=2, bestBound=14 34.46/28.93 nFilterCalls=8082665, avgTableProportion=0.8439805140398687, avgTableSize=6.322574051998939 34.46/28.93 35.76/30.27 num=121, depth=11..25, filters=17858741, revisions=(35142259,useless=22594215), ccks=27558733, wck=27.515, mem=206M510 35.76/30.27 decisions=189271, wrong=93591, backtracks=30628, failedAssignments=67080, nogoods=1455, foundSolutions=2, bestBound=14 35.76/30.27 nFilterCalls=8468019, avgTableProportion=0.8442637562949614, avgTableSize=6.332003506369081 35.76/30.27 37.96/32.41 num=122, depth=12..20, filters=19359426, revisions=(37879292,useless=24297597), ccks=29945125, wck=29.658, mem=242M623 37.96/32.41 decisions=201559, wrong=99728, backtracks=32493, failedAssignments=71537, nogoods=1470, foundSolutions=2, bestBound=14 37.96/32.41 nFilterCalls=9188958, avgTableProportion=0.844693873802954, avgTableSize=6.341648748421747 37.96/32.41 40.12/34.51 num=123, depth=10..25, filters=20728643, revisions=(40721465,useless=26170700), ccks=32092876, wck=31.76, mem=91M121 40.12/34.51 decisions=215839, wrong=106862, backtracks=35394, failedAssignments=76440, nogoods=1481, foundSolutions=2, bestBound=14 40.12/34.51 nFilterCalls=9850770, avgTableProportion=0.8443937277601232, avgTableSize=6.3357765941139625 40.12/34.51 42.53/36.91 num=124, depth=11..23, filters=22379462, revisions=(43736714,useless=28071416), ccks=34495118, wck=34.151, mem=128M968 42.53/36.91 decisions=231189, wrong=114530, backtracks=37915, failedAssignments=81834, nogoods=1499, foundSolutions=2, bestBound=14 42.53/36.91 nFilterCalls=10638114, avgTableProportion=0.8442947845548114, avgTableSize=6.3274531557003435 42.53/36.91 44.33/38.77 num=125, depth=6..25, filters=23545587, revisions=(46390044,useless=29839995), ccks=36498384, wck=36.014, mem=159M245 44.33/38.77 decisions=248171, wrong=123016, backtracks=40973, failedAssignments=87767, nogoods=1520, foundSolutions=2, bestBound=14 44.33/38.77 nFilterCalls=11181055, avgTableProportion=0.8444162408058177, avgTableSize=6.332498498576387 44.33/38.77 47.22/41.63 num=126, depth=12..21, filters=25499398, revisions=(50169441,useless=32243884), ccks=39789699, wck=38.879, mem=204M662 47.22/41.63 decisions=266557, wrong=132201, backtracks=43801, failedAssignments=94293, nogoods=1549, foundSolutions=2, bestBound=14 47.22/41.63 nFilterCalls=12117110, avgTableProportion=0.8450526389263232, avgTableSize=6.352223426213016 47.22/41.63 51.09/45.42 num=127, depth=12..25, filters=28108591, revisions=(54998882,useless=35265811), ccks=44009248, wck=42.669, mem=75M634 51.09/45.42 decisions=287445, wrong=142637, backtracks=47493, failedAssignments=101472, nogoods=1562, foundSolutions=2, bestBound=14 51.09/45.42 nFilterCalls=13392205, avgTableProportion=0.8454517724988454, avgTableSize=6.35986740047662 51.09/45.42 54.39/48.73 num=128, depth=11..24, filters=30312133, revisions=(59477328,useless=38205125), ccks=47330913, wck=45.976, mem=127M717 54.39/48.73 decisions=310490, wrong=154153, backtracks=52305, failedAssignments=109369, nogoods=1574, foundSolutions=2, bestBound=14 54.39/48.73 nFilterCalls=14440170, avgTableProportion=0.845324518187038, avgTableSize=6.356412147502419 54.39/48.73 57.60/51.92 num=129, depth=10..24, filters=32373536, revisions=(63900832,useless=41146605), ccks=50513421, wck=49.169, mem=179M799 57.60/51.92 decisions=335749, wrong=166775, backtracks=57349, failedAssignments=118056, nogoods=1599, foundSolutions=2, bestBound=14 57.60/51.92 nFilterCalls=15415463, avgTableProportion=0.8450949244598616, avgTableSize=6.3522565621285585 57.60/51.92 61.50/55.86 num=130, depth=9..22, filters=34997552, revisions=(69193451,useless=44585237), ccks=54936037, wck=53.106, mem=243M42 61.50/55.86 decisions=362793, wrong=180292, backtracks=61675, failedAssignments=127611, nogoods=1624, foundSolutions=2, bestBound=14 61.50/55.86 nFilterCalls=16670088, avgTableProportion=0.8454033663806806, avgTableSize=6.362385129580599 61.50/55.86 66.05/60.36 num=131, depth=5..24, filters=38103438, revisions=(74708810,useless=47952338), ccks=59518874, wck=57.607, mem=130M79 66.05/60.36 decisions=390646, wrong=194215, backtracks=65523, failedAssignments=138122, nogoods=1642, foundSolutions=2, bestBound=14 66.05/60.36 nFilterCalls=18135292, avgTableProportion=0.8450494829820876, avgTableSize=6.342650893076328 66.05/60.36 70.05/64.36 num=132, depth=0..22, filters=40662883, revisions=(80146346,useless=51509370), ccks=63590975, wck=61.606, mem=195M753 70.05/64.36 decisions=423427, wrong=210602, backtracks=71244, failedAssignments=149684, nogoods=1673, foundSolutions=2, bestBound=14 70.05/64.36 nFilterCalls=19323635, avgTableProportion=0.8448151224422278, avgTableSize=6.337837886091307 70.05/64.36 76.20/70.41 num=133, depth=10..20, filters=44785061, revisions=(87773582,useless=56332859), ccks=70092877, wck=67.652, mem=107M277 76.20/70.41 decisions=460345, wrong=229055, backtracks=77594, failedAssignments=162402, nogoods=1677, foundSolutions=2, bestBound=14 76.20/70.41 nFilterCalls=21300143, avgTableProportion=0.8447075743378093, avgTableSize=6.332163403785599 76.20/70.41 82.00/76.25 num=134, depth=1..19, filters=48728651, revisions=(95327878,useless=61110243), ccks=76199789, wck=73.492, mem=204M17 82.00/76.25 decisions=499772, wrong=248767, backtracks=84401, failedAssignments=176392, nogoods=1685, foundSolutions=2, bestBound=14 82.00/76.25 nFilterCalls=23138709, avgTableProportion=0.8447262147507186, avgTableSize=6.330044169707135 82.00/76.25 88.03/82.20 num=135, depth=11..25, filters=52545084, revisions=(103667452,useless=66698590), ccks=82611669, wck=79.449, mem=120M352 88.03/82.20 decisions=545526, wrong=271636, backtracks=93805, failedAssignments=191781, nogoods=1709, foundSolutions=2, bestBound=14 88.03/82.20 nFilterCalls=24940255, avgTableProportion=0.8451090905909936, avgTableSize=6.350409488595846 88.03/82.20 93.44/87.62 num=136, depth=0..20, filters=56067509, revisions=(111007681,useless=71529025), ccks=87904410, wck=84.864, mem=204M701 93.44/87.62 decisions=593647, wrong=295694, backtracks=101835, failedAssignments=208709, nogoods=1746, foundSolutions=2, bestBound=14 93.44/87.62 nFilterCalls=26520671, avgTableProportion=0.8449022731975901, avgTableSize=6.3434777347828035 93.44/87.62 99.37/93.56 num=137, depth=0..28, filters=59912380, revisions=(119073249,useless=76767985), ccks=94307150, wck=90.81, mem=126M9 99.37/93.56 decisions=645156, wrong=321445, backtracks=109581, failedAssignments=227330, nogoods=1769, foundSolutions=2, bestBound=14 99.37/93.56 nFilterCalls=28258557, avgTableProportion=0.8448655904164747, avgTableSize=6.343475358632078 99.37/93.56 108.80/102.99 num=138, depth=6..20, filters=66420934, revisions=(130796361,useless=83978181), ccks=104187955, wck=100.239, mem=111M90 108.80/102.99 decisions=700983, wrong=349354, backtracks=117790, failedAssignments=247814, nogoods=1779, foundSolutions=2, bestBound=14 108.80/102.99 nFilterCalls=31368148, avgTableProportion=0.844678644336019, avgTableSize=6.33096375342274 108.80/102.99 116.83/110.98 num=139, depth=2..24, filters=71465953, revisions=(141943256,useless=91477824), ccks=113039317, wck=108.226, mem=63M746 116.83/110.98 decisions=767199, wrong=382457, backtracks=130431, failedAssignments=270346, nogoods=1791, foundSolutions=2, bestBound=14 116.83/110.98 nFilterCalls=33718442, avgTableProportion=0.8448304060526253, avgTableSize=6.340780217543859 116.83/110.98 127.97/122.08 num=140, depth=3..22, filters=79034042, revisions=(156049562,useless=100244126), ccks=124988500, wck=119.329, mem=89M582 127.97/122.08 decisions=836131, wrong=416920, backtracks=140952, failedAssignments=295131, nogoods=1811, foundSolutions=2, bestBound=14 127.97/122.08 nFilterCalls=37296348, avgTableProportion=0.8450229644768373, avgTableSize=6.343278596606831 127.97/122.08 138.69/132.77 num=141, depth=0..19, filters=86243369, revisions=(170211309,useless=109378398), ccks=136930089, wck=130.018, mem=95M365 138.69/132.77 decisions=912000, wrong=454852, backtracks=152795, failedAssignments=322395, nogoods=1834, foundSolutions=2, bestBound=14 138.69/132.77 nFilterCalls=40661040, avgTableProportion=0.8448918211300045, avgTableSize=6.343378132974464 138.69/132.77 147.73/141.78 147.73/141.78 New Bounds: 14..13 147.73/141.78 num=142, depth=0..18, filters=92200250, revisions=(182031343,useless=116998949), ccks=146280847, wck=139.027, mem=78M993 147.73/141.78 decisions=991478, wrong=494592, backtracks=163715, failedAssignments=351955, foundSolutions=2, bestBound=14 147.73/141.78 nFilterCalls=43280999, avgTableProportion=0.8448058044047211, avgTableSize=6.342362106752665 147.73/141.78 147.73/141.78 Global 147.73/141.78 filters=92200250, revisions=(182031343,useless=116998949), ccks=146280847 147.73/141.78 Stop=FULL_EXPLORATION, wrong=494592, bestBound=14, bestBoundWck=11.216, bestBoundCpu=12.977, foundSolutions=2, firstSolCpu=12.643 147.73/141.78 wck=139.938, cpu=141.502, mem=78M993 147.73/141.78 147.73/141.78 v <instantiation id='sol2' type='solution' cost='14'> <list> p[] np[][] r[][] o[][] so[] </list> <values> 2 5 7 1 14 8 6 12 13 3 4 9 10 11 0 0 1 1 1 2 3 3 3 4 4 5 5 5 5 6 0 1 1 1 1 1 1 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 3 0 0 0 0 0 0 0 0 0 1 2 2 2 2 3 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 1 2 2 2 2 2 2 2 2 3 3 0 0 0 0 1 1 1 1 1 1 1 1 1 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 2 3 3 3 3 3 3 3 3 0 0 0 0 0 1 2 3 3 4 4 5 5 5 6 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 1 2 3 3 3 3 3 3 3 3 3 3 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 1 2 2 2 2 2 2 3 4 4 4 4 4 4 4 0 0 0 1 2 2 2 2 2 2 2 3 3 4 4 0 0 0 0 0 0 1 2 2 2 2 2 2 3 3 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 1 1 1 1 2 2 2 2 3 4 4 4 4 4 0 0 0 0 0 0 0 0 1 1 2 2 2 2 3 0 1 2 2 2 2 2 2 2 2 2 3 3 3 4 0 0 0 0 1 2 2 3 3 4 5 5 5 5 5 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 2 2 3 3 3 3 3 3 3 3 3 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 5 10 11 14 14 14 14 12 14 14 14 13 14 14 8 </values> </instantiation> 147.73/141.78 s OPTIMUM FOUND 147.73/141.78 147.73/141.78 d WRONG_DECISIONS 494592 147.73/141.78 d NUMBER_SOLUTIONS 2
OK 14
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 (13747 MiB free) memory of node 1: 16384 MiB (15747 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391055-1568386470/watcher-4391055-1568386470 -o /tmp/evaluation-result-4391055-1568386470/solver-4391055-1568386470 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2531 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391055-1568386470.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=5752, runsolver pid=5749 [startup+0.100498 s]* /proc/loadavg: 1.76 1.70 1.72 4/230 5767 /proc/meminfo: memFree=30184396/32770624 swapFree=66945476/67108860 [pid=5752] ppid=5749 vsize=10659884 memory=29992 CPUtime=0.14 cores=1,3,5,7 /proc/5752/stat : 5752 (java) S 5749 5752 2499 0 -1 1077944320 5494 0 0 0 13 1 0 0 20 0 15 0 414588907 10915721216 7498 33554432000 4194304 4196468 140724720798752 140724720781296 139845856497399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 /proc/5752/statm: 2664971 7498 2862 1 0 2627468 0 [pid=5752/tid=5754] ppid=5749 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7 /proc/5752/task/5754/stat : 5754 (java) R 5749 5752 2499 0 -1 4202560 3198 0 0 0 9 0 0 0 20 0 15 0 414588908 10915721216 7498 33554432000 4194304 4196468 140724720798752 139845860726360 139845848734526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5755] ppid=5749 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5755/stat : 5755 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 7498 33554432000 4194304 4196468 140724720798752 139845463628944 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5756] ppid=5749 vsize=10659884 memory=139771986933376 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5756/stat : 5756 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 7498 33554432000 4194304 4196468 140724720798752 139845462576144 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5757] ppid=5749 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5757/stat : 5757 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 7498 33554432000 4194304 4196468 140724720798752 139845461523344 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5758] ppid=5749 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5758/stat : 5758 (java) S 5749 5752 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 7498 33554432000 4194304 4196468 140724720798752 139845460470544 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5759] ppid=5749 vsize=10659884 memory=139771986933376 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5759/stat : 5759 (java) S 5749 5752 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414588910 10915721216 7564 33554432000 4194304 4196468 140724720798752 139845415655792 139845856508546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5760] ppid=5749 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5760/stat : 5760 (java) S 5749 5752 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414588910 10915721216 7564 33554432000 4194304 4196468 140724720798752 139845414601760 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5761] ppid=5749 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5761/stat : 5761 (java) S 5749 5752 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414588911 10915721216 7564 33554432000 4194304 4196468 140724720798752 139845413548912 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5762] ppid=5749 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5762/stat : 5762 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414588913 10915721216 7564 33554432000 4194304 4196468 140724720798752 139845412497232 139845856515995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5763] ppid=5749 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5763/stat : 5763 (java) S 5749 5752 2499 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 414588913 10915721216 7564 33554432000 4194304 4196468 140724720798752 139845411445616 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5764] ppid=5749 vsize=10659884 memory=-1 CPUtime=0.01 cores=1,3,5,7 /proc/5752/task/5764/stat : 5764 (java) R 5749 5752 2499 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 15 0 414588913 10915721216 7564 33554432000 4194304 4196468 140724720798752 139844954090224 139845856508546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5765] ppid=5749 vsize=10659884 memory=139771986933376 CPUtime=0.02 cores=1,3,5,7 /proc/5752/task/5765/stat : 5765 (java) R 5749 5752 2499 0 -1 4202560 482 0 0 0 2 0 0 0 20 0 15 0 414588913 10915721216 7564 33554432000 4194304 4196468 140724720798752 139844953033336 139845835895967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5766] ppid=5749 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5766/stat : 5766 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414588913 10915721216 7564 33554432000 4194304 4196468 140724720798752 139844951984864 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5767] ppid=5749 vsize=10659884 memory=139771986933376 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5767/stat : 5767 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588913 10915721216 7564 33554432000 4194304 4196468 140724720798752 139844950932144 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 29992 KiB [startup+0.210838 s]* /proc/loadavg: 1.76 1.70 1.72 3/230 5767 /proc/meminfo: memFree=30172832/32770624 swapFree=66945476/67108860 [pid=5752] ppid=5749 vsize=10659884 memory=39460 CPUtime=0.33 cores=1,3,5,7 /proc/5752/stat : 5752 (java) S 5749 5752 2499 0 -1 1077944320 9130 0 0 0 30 3 0 0 20 0 15 0 414588907 10915721216 9865 33554432000 4194304 4196468 140724720798752 140724720781296 139845856497399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 /proc/5752/statm: 2664971 9865 2984 1 0 2627468 0 [pid=5752/tid=5754] ppid=5749 vsize=10659884 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7 /proc/5752/task/5754/stat : 5754 (java) R 5749 5752 2499 0 -1 4202560 6072 0 0 0 19 2 0 0 20 0 15 0 414588908 10915721216 9865 33554432000 4194304 4196468 140724720798752 139845860723760 139845856519325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5755] ppid=5749 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5755/stat : 5755 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 9865 33554432000 4194304 4196468 140724720798752 139845463628944 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5756] ppid=5749 vsize=10659884 memory=139771989881847 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5756/stat : 5756 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 9865 33554432000 4194304 4196468 140724720798752 139845462576144 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5757] ppid=5749 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5757/stat : 5757 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 9865 33554432000 4194304 4196468 140724720798752 139845461523344 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5758] ppid=5749 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5758/stat : 5758 (java) S 5749 5752 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 9865 33554432000 4194304 4196468 140724720798752 139845460470544 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5759] ppid=5749 vsize=10659884 memory=139771986933376 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5759/stat : 5759 (java) S 5749 5752 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414588910 10915721216 9865 33554432000 4194304 4196468 140724720798752 139845415655792 139845856508546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5760] ppid=5749 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5760/stat : 5760 (java) S 5749 5752 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414588910 10915721216 9865 33554432000 4194304 4196468 140724720798752 139845414601760 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5761] ppid=5749 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5761/stat : 5761 (java) S 5749 5752 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414588911 10915721216 9865 33554432000 4194304 4196468 140724720798752 139845413548912 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5762] ppid=5749 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5762/stat : 5762 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414588913 10915721216 9865 33554432000 4194304 4196468 140724720798752 139845412497232 139845856515995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5763] ppid=5749 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/5752/task/5763/stat : 5763 (java) S 5749 5752 2499 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 15 0 414588913 10915721216 9865 33554432000 4194304 4196468 140724720798752 139845411445616 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5764] ppid=5749 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7 /proc/5752/task/5764/stat : 5764 (java) S 5749 5752 2499 0 -1 1077944384 761 0 0 0 3 0 0 0 20 0 15 0 414588913 10915721216 9865 33554432000 4194304 4196468 140724720798752 139844954090224 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5765] ppid=5749 vsize=10659884 memory=139771986933376 CPUtime=0.05 cores=1,3,5,7 /proc/5752/task/5765/stat : 5765 (java) S 5749 5752 2499 0 -1 1077944384 746 0 0 0 5 0 0 0 20 0 15 0 414588913 10915721216 9865 33554432000 4194304 4196468 140724720798752 139844953037424 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5766] ppid=5749 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5766/stat : 5766 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414588913 10915721216 9865 33554432000 4194304 4196468 140724720798752 139844951984864 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5767] ppid=5749 vsize=10659884 memory=139771986933376 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5767/stat : 5767 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588913 10915721216 9865 33554432000 4194304 4196468 140724720798752 139844950932144 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 39460 KiB [startup+0.310323 s]* /proc/loadavg: 1.76 1.70 1.72 5/230 5767 /proc/meminfo: memFree=30170884/32770624 swapFree=66945476/67108860 [pid=5752] ppid=5749 vsize=10659884 memory=42512 CPUtime=0.48 cores=1,3,5,7 /proc/5752/stat : 5752 (java) S 5749 5752 2499 0 -1 1077944320 9353 0 0 0 45 3 0 0 20 0 15 0 414588907 10915721216 10628 33554432000 4194304 4196468 140724720798752 140724720781296 139845856497399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 /proc/5752/statm: 2664971 10628 3036 1 0 2627468 0 [pid=5752/tid=5754] ppid=5749 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7 /proc/5752/task/5754/stat : 5754 (java) R 5749 5752 2499 0 -1 4202560 6223 0 0 0 28 2 0 0 20 0 15 0 414588908 10915721216 10628 33554432000 4194304 4196468 140724720798752 139845860729200 139845856519325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5755] ppid=5749 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5755/stat : 5755 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 10628 33554432000 4194304 4196468 140724720798752 139845463628944 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5756] ppid=5749 vsize=10659884 memory=15678303145129624 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5756/stat : 5756 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 10628 33554432000 4194304 4196468 140724720798752 139845462576144 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5757] ppid=5749 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5757/stat : 5757 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 10628 33554432000 4194304 4196468 140724720798752 139845461523344 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5758] ppid=5749 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5758/stat : 5758 (java) S 5749 5752 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414588909 10915721216 10628 33554432000 4194304 4196468 140724720798752 139845460470544 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5759] ppid=5749 vsize=10659884 memory=139771986933376 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5759/stat : 5759 (java) S 5749 5752 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414588910 10915721216 10628 33554432000 4194304 4196468 140724720798752 139845415655792 139845856508546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5760] ppid=5749 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5760/stat : 5760 (java) S 5749 5752 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414588910 10915721216 10628 33554432000 4194304 4196468 140724720798752 139845414601760 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5761] ppid=5749 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5761/stat : 5761 (java) S 5749 5752 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414588911 10915721216 10628 33554432000 4194304 4196468 140724720798752 139845413548912 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5762] ppid=5749 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5762/stat : 5762 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414588913 10915721216 10628 33554432000 4194304 4196468 140724720798752 139845412497232 139845856515995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5763] ppid=5749 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7 /proc/5752/task/5763/stat : 5763 (java) S 5749 5752 2499 0 -1 1077944384 200 0 0 0 3 0 0 0 20 0 15 0 414588913 10915721216 10628 33554432000 4194304 4196468 140724720798752 139845411445616 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5764] ppid=5749 vsize=10659884 memory=-1 CPUtime=0.05 cores=1,3,5,7 /proc/5752/task/5764/stat : 5764 (java) S 5749 5752 2499 0 -1 1077944384 800 0 0 0 5 0 0 0 20 0 15 0 414588913 10915721216 10628 33554432000 4194304 4196468 140724720798752 139844954090224 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5765] ppid=5749 vsize=10659884 memory=139771986933376 CPUtime=0.08 cores=1,3,5,7 /proc/5752/task/5765/stat : 5765 (java) S 5749 5752 2499 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 15 0 414588913 10915721216 10628 33554432000 4194304 4196468 140724720798752 139844953037424 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5766] ppid=5749 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5766/stat : 5766 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414588913 10915721216 10628 33554432000 4194304 4196468 140724720798752 139844951984864 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5767] ppid=5749 vsize=10659884 memory=139771986933376 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5767/stat : 5767 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588913 10915721216 10628 33554432000 4194304 4196468 140724720798752 139844950932144 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 42512 KiB [startup+0.700766 s] /proc/loadavg: 1.76 1.70 1.72 3/230 5767 /proc/meminfo: memFree=30161880/32770624 swapFree=66945476/67108860 [pid=5752] ppid=5749 vsize=10661932 memory=64724 CPUtime=1.1 cores=1,3,5,7 /proc/5752/stat : 5752 (java) S 5749 5752 2499 0 -1 1077944320 12706 0 0 0 105 5 0 0 20 0 15 0 414588907 10917818368 16181 33554432000 4194304 4196468 140724720798752 140724720781296 139845856497399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 /proc/5752/statm: 2665483 16181 3074 1 0 2627980 0 [pid=5752/tid=5754] ppid=5749 vsize=10661932 memory=1428 CPUtime=0.68 cores=1,3,5,7 /proc/5752/task/5754/stat : 5754 (java) R 5749 5752 2499 0 -1 4202560 8762 0 0 0 64 4 0 0 20 0 15 0 414588908 10917818368 16181 33554432000 4194304 4196468 140724720798752 139845860729264 139845836769130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5755] ppid=5749 vsize=10661932 memory=11580 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5755/stat : 5755 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10917818368 16247 33554432000 4194304 4196468 140724720798752 139845463628944 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5756] ppid=5749 vsize=10661932 memory=740 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5756/stat : 5756 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10917818368 16247 33554432000 4194304 4196468 140724720798752 139845462576144 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5757] ppid=5749 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5757/stat : 5757 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10917818368 16247 33554432000 4194304 4196468 140724720798752 139845461523344 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5758] ppid=5749 vsize=10661932 memory=1552 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5758/stat : 5758 (java) S 5749 5752 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414588909 10917818368 16247 33554432000 4194304 4196468 140724720798752 139845460470544 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5759] ppid=5749 vsize=10661932 memory=1040 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5759/stat : 5759 (java) S 5749 5752 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414588910 10917818368 16247 33554432000 4194304 4196468 140724720798752 139845415655792 139845856508546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5760] ppid=5749 vsize=10661932 memory=4136 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5760/stat : 5760 (java) S 5749 5752 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414588910 10917818368 16247 33554432000 4194304 4196468 140724720798752 139845414601760 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5761] ppid=5749 vsize=10661932 memory=780 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5761/stat : 5761 (java) S 5749 5752 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414588911 10917818368 16247 33554432000 4194304 4196468 140724720798752 139845413548912 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5762] ppid=5749 vsize=10661932 memory=7450174591119418944 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5762/stat : 5762 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414588913 10917818368 16247 33554432000 4194304 4196468 140724720798752 139845412497232 139845856515995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5763] ppid=5749 vsize=10661932 memory=7013342048905618540 CPUtime=0.08 cores=1,3,5,7 /proc/5752/task/5763/stat : 5763 (java) R 5749 5752 2499 0 -1 4202560 425 0 0 0 8 0 0 0 20 0 15 0 414588913 10917818368 16247 33554432000 4194304 4196468 140724720798752 139845411445616 139845840054093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5764] ppid=5749 vsize=10661932 memory=5787219346483269989 CPUtime=0.14 cores=1,3,5,7 /proc/5752/task/5764/stat : 5764 (java) S 5749 5752 2499 0 -1 1077944384 1042 0 0 0 14 0 0 0 20 0 15 0 414588913 10917818368 16247 33554432000 4194304 4196468 140724720798752 139844954090224 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5765] ppid=5749 vsize=10661932 memory=4629539461233085814 CPUtime=0.18 cores=1,3,5,7 /proc/5752/task/5765/stat : 5765 (java) S 5749 5752 2499 0 -1 1077944384 1155 0 0 0 18 0 0 0 20 0 15 0 414588913 10917818368 16247 33554432000 4194304 4196468 140724720798752 139844953037424 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5766] ppid=5749 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5766/stat : 5766 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414588913 10917818368 16247 33554432000 4194304 4196468 140724720798752 139844951984864 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5767] ppid=5749 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5767/stat : 5767 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588913 10917818368 16247 33554432000 4194304 4196468 140724720798752 139844950932144 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 Current children cumulated CPU time: 1.1 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 64724 KiB [startup+1.50078 s] /proc/loadavg: 1.76 1.70 1.72 3/230 5767 /proc/meminfo: memFree=30145192/32770624 swapFree=66945476/67108860 [pid=5752] ppid=5749 vsize=10663980 memory=77544 CPUtime=2 cores=1,3,5,7 /proc/5752/stat : 5752 (java) S 5749 5752 2499 0 -1 1077944320 16464 0 0 0 194 6 0 0 20 0 15 0 414588907 10919915520 19386 33554432000 4194304 4196468 140724720798752 140724720781296 139845856497399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 /proc/5752/statm: 2665995 19386 3093 1 0 2628492 0 [pid=5752/tid=5754] ppid=5749 vsize=10663980 memory=8112282956445269571 CPUtime=1.48 cores=1,3,5,7 /proc/5752/task/5754/stat : 5754 (java) R 5749 5752 2499 0 -1 4202560 11414 0 0 0 143 5 0 0 20 0 15 0 414588908 10919915520 19386 33554432000 4194304 4196468 140724720798752 139845860737680 139845856519325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5755] ppid=5749 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5755/stat : 5755 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10919915520 19386 33554432000 4194304 4196468 140724720798752 139845463628944 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5756] ppid=5749 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5756/stat : 5756 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10919915520 19386 33554432000 4194304 4196468 140724720798752 139845462576144 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5757] ppid=5749 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5757/stat : 5757 (java) S 5749 5752 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414588909 10919915520 19386 33554432000 4194304 4196468 140724720798752 139845461523344 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5758] ppid=5749 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5758/stat : 5758 (java) S 5749 5752 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414588909 10919915520 19386 33554432000 4194304 4196468 140724720798752 139845460470544 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5759] ppid=5749 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5759/stat : 5759 (java) S 5749 5752 2499 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 414588910 10919915520 19386 33554432000 4194304 4196468 140724720798752 139845415655792 139845856508546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 ################ # More data... # ################ /proc/5752/task/5754/stat : 5754 (java) S 5749 5752 2499 0 -1 1077944384 13105 0 0 0 179 6 0 0 20 0 16 0 414588908 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845860740272 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5755] ppid=5749 vsize=10748324 memory=362064 CPUtime=0.19 cores=1,3,5,7 /proc/5752/task/5755/stat : 5755 (java) S 5749 5752 2499 0 -1 1077944384 1993 0 0 0 14 5 0 0 20 0 16 0 414588909 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845463628944 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5756] ppid=5749 vsize=10748324 memory=362064 CPUtime=0.18 cores=1,3,5,7 /proc/5752/task/5756/stat : 5756 (java) S 5749 5752 2499 0 -1 1077944384 1427 0 0 0 14 4 0 0 20 0 16 0 414588909 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845462576144 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5757] ppid=5749 vsize=10748324 memory=362064 CPUtime=0.19 cores=1,3,5,7 /proc/5752/task/5757/stat : 5757 (java) S 5749 5752 2499 0 -1 1077944384 3157 0 0 0 14 5 0 0 20 0 16 0 414588909 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845461523344 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5758] ppid=5749 vsize=10748324 memory=740 CPUtime=0.19 cores=1,3,5,7 /proc/5752/task/5758/stat : 5758 (java) S 5749 5752 2499 0 -1 1077944384 3673 0 0 0 14 5 0 0 20 0 16 0 414588909 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845460470544 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5759] ppid=5749 vsize=10748324 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7 /proc/5752/task/5759/stat : 5759 (java) S 5749 5752 2499 0 -1 1077944384 1581 0 0 0 2 1 0 0 20 0 16 0 414588910 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845415655792 139845856508546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5760] ppid=5749 vsize=10748324 memory=1720 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5760/stat : 5760 (java) S 5749 5752 2499 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414588910 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845414601824 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5761] ppid=5749 vsize=10748324 memory=1200 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5761/stat : 5761 (java) S 5749 5752 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414588911 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845413548928 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5762] ppid=5749 vsize=10748324 memory=5956 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5762/stat : 5762 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845412497232 139845856515995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5763] ppid=5749 vsize=10748324 memory=14012 CPUtime=2.14 cores=1,3,5,7 /proc/5752/task/5763/stat : 5763 (java) S 5749 5752 2499 0 -1 1077944384 10957 0 0 0 213 1 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845411445616 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5764] ppid=5749 vsize=10748324 memory=3608 CPUtime=2.19 cores=1,3,5,7 /proc/5752/task/5764/stat : 5764 (java) S 5749 5752 2499 0 -1 1077944384 7770 0 0 0 218 1 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139844954090224 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5765] ppid=5749 vsize=10748324 memory=19860 CPUtime=1.05 cores=1,3,5,7 /proc/5752/task/5765/stat : 5765 (java) S 5749 5752 2499 0 -1 1077944384 10062 0 0 0 103 2 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139844953037424 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5766] ppid=5749 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5766/stat : 5766 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139844951984864 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5767] ppid=5749 vsize=10748324 memory=-8412661042843906680 CPUtime=0.02 cores=1,3,5,7 /proc/5752/task/5767/stat : 5767 (java) S 5749 5752 2499 0 -1 1077944384 758 0 0 0 0 2 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139844950932144 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5768] ppid=5749 vsize=10748324 memory=-8253362664378451622 CPUtime=135.46 cores=1,3,5,7 /proc/5752/task/5768/stat : 5768 (java) R 5749 5752 2499 0 -1 4202560 15023 0 0 0 13542 4 0 0 20 0 16 0 414589095 11006283776 90516 33554432000 4194304 4196468 140724720798752 139844491640144 139845503351046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 Current children cumulated CPU time: 143.59 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 362064 KiB [startup+139.201 s] /proc/loadavg: 1.87 1.76 1.74 3/229 5780 /proc/meminfo: memFree=29850132/32770624 swapFree=66945488/67108860 [pid=5752] ppid=5749 vsize=10748324 memory=362064 CPUtime=145.19 cores=1,3,5,7 /proc/5752/stat : 5752 (java) S 5749 5752 2499 0 -1 1077944320 70900 0 0 0 14480 39 0 0 20 0 16 0 414588907 11006283776 90516 33554432000 4194304 4196468 140724720798752 140724720781296 139845856497399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 /proc/5752/statm: 2687081 90516 3373 1 0 2647217 0 [pid=5752/tid=5754] ppid=5749 vsize=10748324 memory=362064 CPUtime=1.85 cores=1,3,5,7 /proc/5752/task/5754/stat : 5754 (java) S 5749 5752 2499 0 -1 1077944384 13105 0 0 0 179 6 0 0 20 0 16 0 414588908 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845860740272 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5755] ppid=5749 vsize=10748324 memory=362064 CPUtime=0.19 cores=1,3,5,7 /proc/5752/task/5755/stat : 5755 (java) S 5749 5752 2499 0 -1 1077944384 1993 0 0 0 14 5 0 0 20 0 16 0 414588909 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845463628944 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5756] ppid=5749 vsize=10748324 memory=8112282956445269571 CPUtime=0.18 cores=1,3,5,7 /proc/5752/task/5756/stat : 5756 (java) S 5749 5752 2499 0 -1 1077944384 1427 0 0 0 14 4 0 0 20 0 16 0 414588909 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845462576144 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5757] ppid=5749 vsize=10748324 memory=5790086053191909267 CPUtime=0.19 cores=1,3,5,7 /proc/5752/task/5757/stat : 5757 (java) S 5749 5752 2499 0 -1 1077944384 3157 0 0 0 14 5 0 0 20 0 16 0 414588909 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845461523344 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5758] ppid=5749 vsize=10748324 memory=-3472574944341025154 CPUtime=0.19 cores=1,3,5,7 /proc/5752/task/5758/stat : 5758 (java) S 5749 5752 2499 0 -1 1077944384 3673 0 0 0 14 5 0 0 20 0 16 0 414588909 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845460470544 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5759] ppid=5749 vsize=10748324 memory=-1189914978686163229 CPUtime=0.03 cores=1,3,5,7 /proc/5752/task/5759/stat : 5759 (java) S 5749 5752 2499 0 -1 1077944384 1581 0 0 0 2 1 0 0 20 0 16 0 414588910 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845415655792 139845856508546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5760] ppid=5749 vsize=10748324 memory=8330969454845486047 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5760/stat : 5760 (java) S 5749 5752 2499 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414588910 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845414601824 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5761] ppid=5749 vsize=10748324 memory=11580 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5761/stat : 5761 (java) S 5749 5752 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414588911 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845413548928 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5762] ppid=5749 vsize=10748324 memory=740 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5762/stat : 5762 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845412497232 139845856515995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5763] ppid=5749 vsize=10748324 memory=1056 CPUtime=2.14 cores=1,3,5,7 /proc/5752/task/5763/stat : 5763 (java) S 5749 5752 2499 0 -1 1077944384 10957 0 0 0 213 1 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139845411445616 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5764] ppid=5749 vsize=10748324 memory=1552 CPUtime=2.19 cores=1,3,5,7 /proc/5752/task/5764/stat : 5764 (java) S 5749 5752 2499 0 -1 1077944384 7770 0 0 0 218 1 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139844954090224 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5765] ppid=5749 vsize=10748324 memory=1040 CPUtime=1.05 cores=1,3,5,7 /proc/5752/task/5765/stat : 5765 (java) S 5749 5752 2499 0 -1 1077944384 10062 0 0 0 103 2 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139844953037424 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5766] ppid=5749 vsize=10748324 memory=4136 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5766/stat : 5766 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139844951984864 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5767] ppid=5749 vsize=10748324 memory=780 CPUtime=0.02 cores=1,3,5,7 /proc/5752/task/5767/stat : 5767 (java) S 5749 5752 2499 0 -1 1077944384 758 0 0 0 0 2 0 0 20 0 16 0 414588913 11006283776 90516 33554432000 4194304 4196468 140724720798752 139844950932144 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5768] ppid=5749 vsize=10748324 memory=8112282956445269571 CPUtime=137.06 cores=1,3,5,7 /proc/5752/task/5768/stat : 5768 (java) R 5749 5752 2499 0 -1 4202560 15035 0 0 0 13702 4 0 0 20 0 16 0 414589095 11006283776 90516 33554432000 4194304 4196468 140724720798752 139844491640144 139845503221387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 Current children cumulated CPU time: 145.19 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 362064 KiB [startup+140.801 s] /proc/loadavg: 1.88 1.76 1.74 3/229 5780 /proc/meminfo: memFree=29850132/32770624 swapFree=66945488/67108860 [pid=5752] ppid=5749 vsize=10748324 memory=357980 CPUtime=146.83 cores=1,3,5,7 /proc/5752/stat : 5752 (java) S 5749 5752 2499 0 -1 1077944320 71872 0 0 0 14643 40 0 0 20 0 16 0 414588907 11006283776 89495 33554432000 4194304 4196468 140724720798752 140724720781296 139845856497399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 /proc/5752/statm: 2687081 89495 3373 1 0 2647217 0 [pid=5752/tid=5754] ppid=5749 vsize=10748324 memory=796 CPUtime=1.85 cores=1,3,5,7 /proc/5752/task/5754/stat : 5754 (java) S 5749 5752 2499 0 -1 1077944384 13105 0 0 0 179 6 0 0 20 0 16 0 414588908 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845860740272 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5755] ppid=5749 vsize=10748324 memory=1436 CPUtime=0.2 cores=1,3,5,7 /proc/5752/task/5755/stat : 5755 (java) S 5749 5752 2499 0 -1 1077944384 2013 0 0 0 15 5 0 0 20 0 16 0 414588909 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845463628944 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5756] ppid=5749 vsize=10748324 memory=1984 CPUtime=0.2 cores=1,3,5,7 /proc/5752/task/5756/stat : 5756 (java) S 5749 5752 2499 0 -1 1077944384 2100 0 0 0 15 5 0 0 20 0 16 0 414588909 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845462576144 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5757] ppid=5749 vsize=10748324 memory=2832 CPUtime=0.2 cores=1,3,5,7 /proc/5752/task/5757/stat : 5757 (java) S 5749 5752 2499 0 -1 1077944384 3172 0 0 0 15 5 0 0 20 0 16 0 414588909 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845461523344 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5758] ppid=5749 vsize=10748324 memory=1720 CPUtime=0.2 cores=1,3,5,7 /proc/5752/task/5758/stat : 5758 (java) S 5749 5752 2499 0 -1 1077944384 3700 0 0 0 15 5 0 0 20 0 16 0 414588909 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845460470544 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5759] ppid=5749 vsize=10748324 memory=1200 CPUtime=0.03 cores=1,3,5,7 /proc/5752/task/5759/stat : 5759 (java) S 5749 5752 2499 0 -1 1077944384 1802 0 0 0 2 1 0 0 20 0 16 0 414588910 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845415655792 139845856508546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5760] ppid=5749 vsize=10748324 memory=5956 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5760/stat : 5760 (java) S 5749 5752 2499 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414588910 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845414601824 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5761] ppid=5749 vsize=10748324 memory=279543718337920 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5761/stat : 5761 (java) S 5749 5752 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414588911 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845413548928 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5762] ppid=5749 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5762/stat : 5762 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845412497232 139845856515995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5763] ppid=5749 vsize=10748324 memory=0 CPUtime=2.14 cores=1,3,5,7 /proc/5752/task/5763/stat : 5763 (java) S 5749 5752 2499 0 -1 1077944384 10957 0 0 0 213 1 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845411445616 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5764] ppid=5749 vsize=10748324 memory=0 CPUtime=2.19 cores=1,3,5,7 /proc/5752/task/5764/stat : 5764 (java) S 5749 5752 2499 0 -1 1077944384 7770 0 0 0 218 1 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139844954090224 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5765] ppid=5749 vsize=10748324 memory=3608 CPUtime=1.05 cores=1,3,5,7 /proc/5752/task/5765/stat : 5765 (java) S 5749 5752 2499 0 -1 1077944384 10062 0 0 0 103 2 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139844953037424 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5766] ppid=5749 vsize=10748324 memory=19860 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5766/stat : 5766 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139844951984864 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5767] ppid=5749 vsize=10748324 memory=992 CPUtime=0.02 cores=1,3,5,7 /proc/5752/task/5767/stat : 5767 (java) S 5749 5752 2499 0 -1 1077944384 758 0 0 0 0 2 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139844950932144 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5768] ppid=5749 vsize=10748324 memory=2044 CPUtime=138.64 cores=1,3,5,7 /proc/5752/task/5768/stat : 5768 (java) R 5749 5752 2499 0 -1 4202560 15051 0 0 0 13860 4 0 0 20 0 16 0 414589095 11006283776 89495 33554432000 4194304 4196468 140724720798752 139844491648304 139845504429636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 Current children cumulated CPU time: 146.83 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 357980 KiB [startup+141.601 s] /proc/loadavg: 1.88 1.76 1.74 3/229 5780 /proc/meminfo: memFree=29854228/32770624 swapFree=66945488/67108860 [pid=5752] ppid=5749 vsize=10748324 memory=357980 CPUtime=147.63 cores=1,3,5,7 /proc/5752/stat : 5752 (java) S 5749 5752 2499 0 -1 1077944320 71877 0 0 0 14723 40 0 0 20 0 16 0 414588907 11006283776 89495 33554432000 4194304 4196468 140724720798752 140724720781296 139845856497399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 /proc/5752/statm: 2687081 89495 3373 1 0 2647217 0 [pid=5752/tid=5754] ppid=5749 vsize=10748324 memory=500 CPUtime=1.85 cores=1,3,5,7 /proc/5752/task/5754/stat : 5754 (java) S 5749 5752 2499 0 -1 1077944384 13105 0 0 0 179 6 0 0 20 0 16 0 414588908 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845860740272 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5755] ppid=5749 vsize=10748324 memory=1556 CPUtime=0.2 cores=1,3,5,7 /proc/5752/task/5755/stat : 5755 (java) S 5749 5752 2499 0 -1 1077944384 2013 0 0 0 15 5 0 0 20 0 16 0 414588909 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845463628944 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5756] ppid=5749 vsize=10748324 memory=8112282956445269571 CPUtime=0.2 cores=1,3,5,7 /proc/5752/task/5756/stat : 5756 (java) S 5749 5752 2499 0 -1 1077944384 2100 0 0 0 15 5 0 0 20 0 16 0 414588909 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845462576144 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5757] ppid=5749 vsize=10748324 memory=1056 CPUtime=0.2 cores=1,3,5,7 /proc/5752/task/5757/stat : 5757 (java) S 5749 5752 2499 0 -1 1077944384 3172 0 0 0 15 5 0 0 20 0 16 0 414588909 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845461523344 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5758] ppid=5749 vsize=10748324 memory=1552 CPUtime=0.2 cores=1,3,5,7 /proc/5752/task/5758/stat : 5758 (java) S 5749 5752 2499 0 -1 1077944384 3700 0 0 0 15 5 0 0 20 0 16 0 414588909 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845460470544 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5759] ppid=5749 vsize=10748324 memory=1040 CPUtime=0.03 cores=1,3,5,7 /proc/5752/task/5759/stat : 5759 (java) S 5749 5752 2499 0 -1 1077944384 1802 0 0 0 2 1 0 0 20 0 16 0 414588910 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845415655792 139845856508546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5760] ppid=5749 vsize=10748324 memory=4136 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5760/stat : 5760 (java) S 5749 5752 2499 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 414588910 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845414601824 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5761] ppid=5749 vsize=10748324 memory=19860 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5761/stat : 5761 (java) S 5749 5752 2499 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414588911 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845413548928 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5762] ppid=5749 vsize=10748324 memory=992 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5762/stat : 5762 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845412497232 139845856515995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5763] ppid=5749 vsize=10748324 memory=2044 CPUtime=2.14 cores=1,3,5,7 /proc/5752/task/5763/stat : 5763 (java) S 5749 5752 2499 0 -1 1077944384 10957 0 0 0 213 1 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139845411445616 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5764] ppid=5749 vsize=10748324 memory=1428 CPUtime=2.19 cores=1,3,5,7 /proc/5752/task/5764/stat : 5764 (java) S 5749 5752 2499 0 -1 1077944384 7770 0 0 0 218 1 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139844954090224 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5765] ppid=5749 vsize=10748324 memory=11580 CPUtime=1.05 cores=1,3,5,7 /proc/5752/task/5765/stat : 5765 (java) S 5749 5752 2499 0 -1 1077944384 10062 0 0 0 103 2 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139844953037424 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5766] ppid=5749 vsize=10748324 memory=780 CPUtime=0 cores=1,3,5,7 /proc/5752/task/5766/stat : 5766 (java) S 5749 5752 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139844951984864 139845856507605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5767] ppid=5749 vsize=10748324 memory=2832 CPUtime=0.02 cores=1,3,5,7 /proc/5752/task/5767/stat : 5767 (java) S 5749 5752 2499 0 -1 1077944384 758 0 0 0 0 2 0 0 20 0 16 0 414588913 11006283776 89495 33554432000 4194304 4196468 140724720798752 139844950932144 139845856508546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 [pid=5752/tid=5768] ppid=5749 vsize=10748324 memory=1720 CPUtime=139.44 cores=1,3,5,7 /proc/5752/task/5768/stat : 5768 (java) R 5749 5752 2499 0 -1 4202560 15056 0 0 0 13940 4 0 0 20 0 16 0 414589095 11006283776 89495 33554432000 4194304 4196468 140724720798752 139844491648304 139845504458631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34291712 140724720800779 140724720800882 140724720800882 140724720803791 0 Current children cumulated CPU time: 147.63 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 357980 KiB [startup+141.801 s]* /proc/loadavg: 1.88 1.76 1.74 3/215 5782 /proc/meminfo: memFree=30117048/32770624 swapFree=66945488/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 141.81 CPU time (s): 147.836 CPU user time (s): 147.427 CPU system time (s): 0.409318 CPU usage (%): 104.249 Max. virtual memory (cumulated for all children) (KiB): 10750676 Max. memory (cumulated for all children) (KiB): 417896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 147.427 system time used= 0.409318 maximum resident set size= 419948 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73898 page faults= 0 swaps= 0 block input operations= 0 block output operations= 264 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6412 involuntary context switches= 108 # summary of solver processes directly reported to runsolver: # pid: 5752 # total CPU time (s): 147.836 # total CPU user time (s): 147.427 # total CPU system time (s): 0.409318 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.866563 second user time and 1.2765 second system time The end
Begin job on node117 at 2019-09-13 16:53:47 IDJOB=4391055 IDBENCH=140467 IDSOLVER=2832 FILE ID=node117/4391055-1568386470 RUNJOBID= node117-1568380475-2531 PBS_JOBID= 21701845 Free space on /tmp= 58908 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-pb-30-15-1.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391055-1568386470/watcher-4391055-1568386470 -o /tmp/evaluation-result-4391055-1568386470/solver-4391055-1568386470 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2531 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391055-1568386470.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 200d8ff13be0114d953e34120514972f RANDOM SEED=1673276926 node117.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.75 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.75 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.75 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.75 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: 30201840 kB MemAvailable: 31386748 kB Buffers: 101740 kB Cached: 1339268 kB SwapCached: 48120 kB Active: 1242524 kB Inactive: 727300 kB Active(anon): 497160 kB Inactive(anon): 53308 kB Active(file): 745364 kB Inactive(file): 673992 kB Unevictable: 110284 kB Mlocked: 110284 kB SwapTotal: 67108860 kB SwapFree: 66945476 kB Dirty: 8740 kB Writeback: 0 kB AnonPages: 591864 kB Mapped: 44052 kB Shmem: 13416 kB Slab: 191076 kB SReclaimable: 162776 kB SUnreclaim: 28300 kB KernelStack: 3760 kB PageTables: 7116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1637204 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 520192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 58900 MiB End job on node117 at 2019-09-13 16:56:09