Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
AbsCon 2019-07-23 | ? (TO) | 2520.04 | 2515.21 |
Name | StripPacking/StripPacking-m1-seriesT/ StripPacking-T1e.xml |
MD5SUM | f7b8b642e131c8af917aaf97f4ae3b24 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 123.921 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 85 |
Number of constraints | 52 |
Number of domains | 19 |
Minimum domain size | 2 |
Maximum domain size | 200 |
Distribution of domain sizes | [{"size":2,"count":51},{"size":200,"count":34}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":17},{"degree":2,"count":34},{"degree":3,"count":34}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 68 |
Distribution of constraint arities | [{"arity":2,"count":34},{"arity":3,"count":17},{"arity":68,"count":1}] |
Number of extensional constraints | 17 |
Number of intensional constraints | 34 |
Distribution of constraint types | [{"type":"extension","count":17},{"type":"intension","count":34},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
2.50/2.25 2.50/2.25 AbsCon 2 2.50/2.27 2.97/2.43 Instance 2.97/2.43 name=instance-4390661-1568380516, framework=CSP 2.97/2.43 2.97/2.43 Loading variables... 2.97/2.47 Loading constraints... 3.48/2.66 3.48/2.66 Domains 3.48/2.66 nTypes=19, nValues=6902, sizes=[2#51,200#34] 3.48/2.66 Variables 3.48/2.66 count=85, degrees=[1#17,17#34,18#34] 3.48/2.66 Constraints 3.48/2.66 count=187, nSpecific=17, arities=[2#34,3#17,8#136] 3.48/2.66 distribution=[CtrExtensionCT-Table#17,CtrIntension#170] 3.48/2.66 tables=[2#17], nTotalTuples=34 3.48/2.66 nExtStructures=(17,shared:0), nIntStructures=(153,shared:17), nCftStructures=(17,shared:17,unbuilt:153) 3.48/2.66 wck=0.434, cpu=2.222, mem=42M368 3.48/2.66 Solver SolverBacktrack being built... 3.48/2.66 3.48/2.68 3.48/2.68 Solver 3.48/2.68 guaranteedGAC=false 3.48/2.68 wck=0.462, cpu=2.249, mem=53M10 3.48/2.69 3.48/2.69 Preprocessing 3.48/2.69 filters=34, revisions=(34,useless=0), ccks=8580, nACremovedValues=890, nTotalRemovedValues=890, inconcistency=false 3.48/2.69 wck=0.006, cpu=2.256, mem=53M10 3.48/2.69 3.82/2.70 num=0, depth=32..35, filters=60, revisions=(78,useless=34), ccks=8658, wck=0.015, mem=53M10 3.82/2.70 decisions=52, wrong=10, backtracks=8, failedAssignments=10, nogoods=2 3.82/2.70 nFilterCalls=41, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.70 3.82/2.71 num=1, depth=20..20, filters=75, revisions=(131,useless=74), ccks=9154, wck=0.018, mem=53M10 3.82/2.71 decisions=94, wrong=21, backtracks=8, failedAssignments=21, nogoods=13 3.82/2.71 nFilterCalls=43, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.71 3.82/2.71 num=2, depth=20..20, filters=91, revisions=(189,useless=118), ccks=9527, wck=0.02, mem=53M10 3.82/2.71 decisions=138, wrong=33, backtracks=8, failedAssignments=33, nogoods=25 3.82/2.71 nFilterCalls=45, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.71 3.82/2.72 num=3, depth=20..20, filters=108, revisions=(224,useless=138), ccks=9905, wck=0.034, mem=53M10 3.82/2.72 decisions=184, wrong=46, backtracks=8, failedAssignments=46, nogoods=38 3.82/2.72 nFilterCalls=47, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.72 3.82/2.72 num=4, depth=20..20, filters=125, revisions=(285,useless=184), ccks=10045, wck=0.036, mem=53M10 3.82/2.72 decisions=232, wrong=60, backtracks=8, failedAssignments=60, nogoods=52 3.82/2.72 nFilterCalls=49, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.72 3.82/2.72 num=5, depth=20..36, filters=147, revisions=(341,useless=222), ccks=10300, wck=0.039, mem=53M10 3.82/2.72 decisions=300, wrong=76, backtracks=8, failedAssignments=76, nogoods=68 3.82/2.72 nFilterCalls=53, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.72 3.82/2.73 num=6, depth=21..21, filters=170, revisions=(415,useless=276), ccks=10618, wck=0.041, mem=53M10 3.82/2.73 decisions=355, wrong=93, backtracks=8, failedAssignments=93, nogoods=85 3.82/2.73 nFilterCalls=56, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.73 3.82/2.73 num=7, depth=21..21, filters=195, revisions=(459,useless=298), ccks=10921, wck=0.044, mem=53M10 3.82/2.73 decisions=414, wrong=112, backtracks=8, failedAssignments=112, nogoods=104 3.82/2.73 nFilterCalls=59, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.73 3.82/2.73 num=8, depth=21..21, filters=221, revisions=(502,useless=318), ccks=11091, wck=0.046, mem=53M10 3.82/2.73 decisions=477, wrong=133, backtracks=8, failedAssignments=133, nogoods=125 3.82/2.73 nFilterCalls=62, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.73 3.82/2.74 num=9, depth=21..21, filters=249, revisions=(548,useless=339), ccks=11248, wck=0.048, mem=53M10 3.82/2.74 decisions=544, wrong=156, backtracks=8, failedAssignments=156, nogoods=148 3.82/2.74 nFilterCalls=65, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.74 3.82/2.74 num=10, depth=21..21, filters=279, revisions=(596,useless=360), ccks=11422, wck=0.049, mem=53M10 3.82/2.74 decisions=615, wrong=181, backtracks=8, failedAssignments=181, nogoods=173 3.82/2.74 nFilterCalls=68, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.74 3.82/2.74 num=11, depth=21..21, filters=312, revisions=(647,useless=381), ccks=11584, wck=0.051, mem=53M10 3.82/2.74 decisions=692, wrong=209, backtracks=8, failedAssignments=209, nogoods=201 3.82/2.74 nFilterCalls=71, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.74 3.82/2.74 num=12, depth=21..21, filters=348, revisions=(701,useless=402), ccks=11764, wck=0.053, mem=53M10 3.82/2.74 decisions=775, wrong=240, backtracks=8, failedAssignments=240, nogoods=232 3.82/2.74 nFilterCalls=74, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.74 3.82/2.74 num=13, depth=21..21, filters=387, revisions=(758,useless=423), ccks=11932, wck=0.055, mem=53M10 3.82/2.74 decisions=864, wrong=274, backtracks=8, failedAssignments=274, nogoods=266 3.82/2.74 nFilterCalls=77, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.74 3.82/2.74 num=14, depth=21..21, filters=429, revisions=(818,useless=444), ccks=12118, wck=0.057, mem=53M10 3.82/2.74 decisions=959, wrong=311, backtracks=8, failedAssignments=311, nogoods=303 3.82/2.74 nFilterCalls=80, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.74 3.82/2.75 num=15, depth=21..21, filters=475, revisions=(882,useless=465), ccks=12293, wck=0.06, mem=53M10 3.82/2.75 decisions=1062, wrong=352, backtracks=8, failedAssignments=352, nogoods=344 3.82/2.75 nFilterCalls=83, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.75 3.82/2.75 num=16, depth=21..22, filters=525, revisions=(952,useless=488), ccks=12488, wck=0.062, mem=53M10 3.82/2.75 decisions=1174, wrong=397, backtracks=8, failedAssignments=397, nogoods=389 3.82/2.75 nFilterCalls=86, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.75 3.82/2.75 num=17, depth=21..22, filters=580, revisions=(1039,useless=523), ccks=12783, wck=0.064, mem=53M10 3.82/2.75 decisions=1296, wrong=447, backtracks=8, failedAssignments=447, nogoods=439 3.82/2.75 nFilterCalls=89, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.75 3.82/2.75 num=18, depth=21..22, filters=641, revisions=(1158,useless=584), ccks=13119, wck=0.066, mem=53M10 3.82/2.75 decisions=1428, wrong=502, backtracks=8, failedAssignments=502, nogoods=494 3.82/2.75 nFilterCalls=92, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.75 3.82/2.76 num=19, depth=21..22, filters=707, revisions=(1365,useless=728), ccks=13479, wck=0.069, mem=53M10 3.82/2.76 decisions=1571, wrong=563, backtracks=9, failedAssignments=563, nogoods=512 3.82/2.76 nFilterCalls=95, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.76 3.82/2.76 num=20, depth=21..37, filters=790, revisions=(1486,useless=779), ccks=13815, wck=0.072, mem=53M10 3.82/2.76 decisions=1738, wrong=630, backtracks=13, failedAssignments=630, nogoods=572 3.82/2.76 nFilterCalls=112, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.76 3.82/2.76 num=21, depth=22..22, filters=872, revisions=(1584,useless=799), ccks=14182, wck=0.074, mem=53M10 3.82/2.76 decisions=1908, wrong=704, backtracks=13, failedAssignments=704, nogoods=646 3.82/2.76 nFilterCalls=116, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.76 3.82/2.76 num=22, depth=22..22, filters=960, revisions=(1689,useless=820), ccks=14429, wck=0.076, mem=53M10 3.82/2.76 decisions=2092, wrong=785, backtracks=13, failedAssignments=785, nogoods=727 3.82/2.76 nFilterCalls=120, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.76 3.82/2.76 num=23, depth=22..22, filters=1056, revisions=(1802,useless=841), ccks=14683, wck=0.077, mem=53M10 3.82/2.76 decisions=2292, wrong=874, backtracks=13, failedAssignments=874, nogoods=816 3.82/2.76 nFilterCalls=124, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.76 3.82/2.76 num=24, depth=22..23, filters=1161, revisions=(2013,useless=951), ccks=14990, wck=0.08, mem=53M10 3.82/2.76 decisions=2511, wrong=972, backtracks=13, failedAssignments=972, nogoods=914 3.82/2.76 nFilterCalls=128, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.76 3.82/2.77 num=25, depth=22..23, filters=1276, revisions=(2277,useless=1104), ccks=15417, wck=0.082, mem=53M10 3.82/2.77 decisions=2750, wrong=1080, backtracks=13, failedAssignments=1080, nogoods=1022 3.82/2.77 nFilterCalls=132, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.77 3.82/2.77 num=26, depth=20..22, filters=1402, revisions=(2656,useless=1361), ccks=15806, wck=0.086, mem=53M10 3.82/2.77 decisions=3008, wrong=1199, backtracks=15, failedAssignments=1199, nogoods=1032 3.82/2.77 nFilterCalls=136, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.77 3.82/2.77 num=27, depth=23..38, filters=1545, revisions=(3023,useless=1593), ccks=16312, wck=0.089, mem=53M10 3.82/2.77 decisions=3306, wrong=1330, backtracks=17, failedAssignments=1330, nogoods=1160 3.82/2.77 nFilterCalls=146, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.77 3.82/2.78 num=28, depth=24..25, filters=1699, revisions=(3604,useless=2025), ccks=17180, wck=0.092, mem=53M10 3.82/2.78 decisions=3619, wrong=1474, backtracks=17, failedAssignments=1474, nogoods=1304 3.82/2.78 nFilterCalls=151, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.78 3.82/2.78 num=29, depth=23..24, filters=1867, revisions=(3921,useless=2179), ccks=17857, wck=0.096, mem=55M653 3.82/2.78 decisions=3959, wrong=1632, backtracks=17, failedAssignments=1632, nogoods=1462 3.82/2.78 nFilterCalls=156, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.78 3.82/2.79 num=30, depth=23..24, filters=2050, revisions=(4385,useless=2465), ccks=18401, wck=0.1, mem=55M653 3.82/2.79 decisions=4331, wrong=1806, backtracks=17, failedAssignments=1806, nogoods=1636 3.82/2.79 nFilterCalls=161, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.79 3.82/2.79 num=31, depth=23..24, filters=2250, revisions=(4729,useless=2614), ccks=18999, wck=0.104, mem=55M653 3.82/2.79 decisions=4737, wrong=1997, backtracks=19, failedAssignments=1997, nogoods=1669 3.82/2.79 nFilterCalls=166, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.79 3.82/2.79 num=32, depth=23..24, filters=2471, revisions=(5289,useless=2958), ccks=19806, wck=0.107, mem=55M653 3.82/2.79 decisions=5183, wrong=2208, backtracks=20, failedAssignments=2208, nogoods=1724 3.82/2.79 nFilterCalls=171, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.79 3.82/2.80 num=33, depth=23..25, filters=2713, revisions=(5647,useless=3079), ccks=20479, wck=0.111, mem=55M653 3.82/2.80 decisions=5672, wrong=2440, backtracks=20, failedAssignments=2440, nogoods=1956 3.82/2.80 nFilterCalls=176, avgTableProportion=0.5, avgTableSize=1.0 3.82/2.80 4.15/2.80 num=34, depth=23..24, filters=2978, revisions=(6121,useless=3293), ccks=21195, wck=0.117, mem=55M653 4.15/2.80 decisions=6206, wrong=2695, backtracks=21, failedAssignments=2695, nogoods=2163 4.15/2.80 nFilterCalls=181, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.80 4.15/2.81 num=35, depth=24..25, filters=3269, revisions=(6655,useless=3541), ccks=22003, wck=0.121, mem=55M653 4.15/2.81 decisions=6792, wrong=2976, backtracks=22, failedAssignments=2976, nogoods=2304 4.15/2.81 nFilterCalls=186, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.81 4.15/2.81 num=36, depth=23..26, filters=3588, revisions=(7394,useless=3966), ccks=22877, wck=0.127, mem=55M653 4.15/2.81 decisions=7436, wrong=3285, backtracks=22, failedAssignments=3285, nogoods=2613 4.15/2.81 nFilterCalls=191, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.81 4.15/2.82 num=37, depth=18..23, filters=3937, revisions=(8434,useless=4662), ccks=23835, wck=0.133, mem=55M653 4.15/2.82 decisions=8134, wrong=3625, backtracks=27, failedAssignments=3625, nogoods=2644 4.15/2.82 nFilterCalls=196, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.82 4.15/2.82 num=38, depth=23..24, filters=4321, revisions=(10074,useless=5923), ccks=25272, wck=0.139, mem=55M653 4.15/2.82 decisions=8906, wrong=3999, backtracks=36, failedAssignments=3999, nogoods=2703 4.15/2.82 nFilterCalls=201, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.82 4.15/2.83 num=39, depth=23..39, filters=4769, revisions=(11263,useless=6695), ccks=26618, wck=0.147, mem=55M653 4.15/2.83 decisions=9755, wrong=4410, backtracks=49, failedAssignments=4410, nogoods=3013 4.15/2.83 nFilterCalls=245, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.83 4.15/2.84 num=40, depth=25..28, filters=5233, revisions=(13241,useless=8215), ccks=28422, wck=0.154, mem=55M653 4.15/2.84 decisions=10685, wrong=4862, backtracks=51, failedAssignments=4862, nogoods=3172 4.15/2.84 nFilterCalls=251, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.84 4.15/2.85 num=41, depth=24..25, filters=5742, revisions=(14799,useless=9270), ccks=29906, wck=0.161, mem=55M653 4.15/2.85 decisions=11704, wrong=5359, backtracks=62, failedAssignments=5359, nogoods=3231 4.15/2.85 nFilterCalls=257, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.85 4.15/2.85 num=42, depth=26..27, filters=6301, revisions=(17956,useless=11874), ccks=32208, wck=0.17, mem=55M653 4.15/2.85 decisions=12825, wrong=5906, backtracks=66, failedAssignments=5906, nogoods=3442 4.15/2.85 nFilterCalls=263, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.85 4.15/2.87 num=43, depth=24..40, filters=6940, revisions=(20481,useless=13790), ccks=34349, wck=0.18, mem=55M653 4.15/2.87 decisions=14058, wrong=6508, backtracks=78, failedAssignments=6508, nogoods=3856 4.15/2.87 nFilterCalls=305, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.87 4.15/2.87 num=44, depth=25..26, filters=7616, revisions=(22214,useless=14854), ccks=36160, wck=0.189, mem=58M295 4.15/2.87 decisions=15408, wrong=7170, backtracks=87, failedAssignments=7170, nogoods=4082 4.15/2.87 nFilterCalls=312, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.87 4.15/2.88 num=45, depth=25..27, filters=8358, revisions=(24372,useless=16277), ccks=38221, wck=0.198, mem=58M295 4.15/2.88 decisions=16890, wrong=7898, backtracks=93, failedAssignments=7898, nogoods=4229 4.15/2.88 nFilterCalls=319, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.88 4.15/2.89 num=46, depth=25..27, filters=9173, revisions=(26593,useless=17690), ccks=40211, wck=0.209, mem=58M295 4.15/2.89 decisions=18518, wrong=8699, backtracks=104, failedAssignments=8699, nogoods=4282 4.15/2.89 nFilterCalls=326, avgTableProportion=0.5, avgTableSize=1.0 4.15/2.89 4.46/2.90 num=47, depth=24..26, filters=10068, revisions=(27698,useless=17907), ccks=41680, wck=0.219, mem=58M295 4.46/2.90 decisions=20305, wrong=9580, backtracks=113, failedAssignments=9580, nogoods=4342 4.46/2.90 nFilterCalls=333, avgTableProportion=0.5, avgTableSize=1.0 4.46/2.90 4.46/2.92 num=48, depth=27..42, filters=11096, revisions=(33188,useless=22418), ccks=45659, wck=0.234, mem=58M295 4.46/2.92 decisions=22277, wrong=10550, backtracks=134, failedAssignments=10550, nogoods=4999 4.46/2.92 nFilterCalls=403, avgTableProportion=0.5, avgTableSize=1.0 4.46/2.92 4.46/2.93 num=49, depth=26..29, filters=12181, revisions=(35351,useless=23505), ccks=47976, wck=0.247, mem=58M295 4.46/2.93 decisions=24438, wrong=11617, backtracks=143, failedAssignments=11617, nogoods=5022 4.46/2.93 nFilterCalls=412, avgTableProportion=0.5, avgTableSize=1.0 4.46/2.93 4.46/2.95 num=50, depth=28..31, filters=13372, revisions=(41870,useless=28842), ccks=52384, wck=0.262, mem=58M295 4.46/2.95 decisions=26813, wrong=12790, backtracks=153, failedAssignments=12790, nogoods=5197 4.46/2.95 nFilterCalls=421, avgTableProportion=0.5, avgTableSize=1.0 4.46/2.95 4.46/2.97 num=51, depth=27..31, filters=14681, revisions=(48855,useless=34527), ccks=57353, wck=0.28, mem=58M295 4.46/2.97 decisions=29425, wrong=14081, backtracks=164, failedAssignments=14081, nogoods=5454 4.46/2.97 nFilterCalls=430, avgTableProportion=0.5, avgTableSize=1.0 4.46/2.97 4.46/2.98 num=52, depth=27..29, filters=16119, revisions=(53697,useless=37940), ccks=61148, wck=0.298, mem=58M295 4.46/2.98 decisions=32293, wrong=15501, backtracks=370, failedAssignments=15501, nogoods=5624 4.46/2.98 nFilterCalls=439, avgTableProportion=0.5, avgTableSize=1.0 4.46/2.98 4.46/3.00 num=53, depth=26..28, filters=17698, revisions=(56679,useless=39352), ccks=63930, wck=0.314, mem=60M938 4.46/3.00 decisions=35444, wrong=17063, backtracks=388, failedAssignments=17063, nogoods=5791 4.46/3.00 nFilterCalls=448, avgTableProportion=0.5, avgTableSize=1.0 4.46/3.00 4.79/3.02 num=54, depth=27..32, filters=19434, revisions=(68977,useless=49923), ccks=71742, wck=0.337, mem=60M938 4.79/3.02 decisions=38912, wrong=18781, backtracks=420, failedAssignments=18781, nogoods=6417 4.79/3.02 nFilterCalls=457, avgTableProportion=0.5, avgTableSize=1.0 4.79/3.02 4.79/3.04 num=55, depth=27..31, filters=21342, revisions=(79025,useless=58072), ccks=78316, wck=0.359, mem=60M938 4.79/3.04 decisions=42721, wrong=20671, backtracks=441, failedAssignments=20671, nogoods=6552 4.79/3.04 nFilterCalls=466, avgTableProportion=0.5, avgTableSize=1.0 4.79/3.04 4.79/3.07 num=56, depth=11..29, filters=23438, revisions=(84588,useless=61548), ccks=82923, wck=0.381, mem=60M938 4.79/3.07 decisions=46902, wrong=22750, backtracks=463, failedAssignments=22750, nogoods=6670 4.79/3.07 nFilterCalls=475, avgTableProportion=0.5, avgTableSize=1.0 4.79/3.07 4.79/3.10 num=57, depth=27..33, filters=25743, revisions=(99127,useless=73791), ccks=91947, wck=0.41, mem=60M938 4.79/3.10 decisions=51508, wrong=25037, backtracks=505, failedAssignments=25037, nogoods=7368 4.79/3.10 nFilterCalls=484, avgTableProportion=0.5, avgTableSize=1.0 4.79/3.10 5.09/3.12 num=58, depth=27..30, filters=28276, revisions=(105232,useless=77372), ccks=96807, wck=0.432, mem=63M580 5.09/3.12 decisions=56569, wrong=27553, backtracks=548, failedAssignments=27553, nogoods=7806 5.09/3.12 nFilterCalls=493, avgTableProportion=0.5, avgTableSize=1.0 5.09/3.12 5.09/3.14 num=59, depth=11..29, filters=31061, revisions=(112224,useless=81588), ccks=102674, wck=0.457, mem=63M580 5.09/3.14 decisions=62122, wrong=30321, backtracks=576, failedAssignments=30321, nogoods=7934 5.09/3.14 nFilterCalls=502, avgTableProportion=0.5, avgTableSize=1.0 5.09/3.14 5.09/3.17 num=60, depth=27..31, filters=34123, revisions=(124548,useless=90859), ccks=110925, wck=0.486, mem=63M580 5.09/3.17 decisions=68239, wrong=33365, backtracks=609, failedAssignments=33365, nogoods=8193 5.09/3.17 nFilterCalls=511, avgTableProportion=0.5, avgTableSize=1.0 5.09/3.17 5.36/3.20 num=61, depth=26..29, filters=37490, revisions=(140158,useless=103111), ccks=121033, wck=0.516, mem=63M580 5.36/3.20 decisions=74964, wrong=36714, backtracks=745, failedAssignments=36714, nogoods=8259 5.36/3.20 nFilterCalls=520, avgTableProportion=0.5, avgTableSize=1.0 5.36/3.20 5.36/3.23 num=62, depth=26..28, filters=41191, revisions=(150895,useless=110156), ccks=128759, wck=0.542, mem=63M580 5.36/3.23 decisions=82359, wrong=40398, backtracks=914, failedAssignments=40398, nogoods=8421 5.36/3.23 nFilterCalls=529, avgTableProportion=0.5, avgTableSize=1.0 5.36/3.23 5.36/3.25 num=63, depth=24..28, filters=45260, revisions=(157241,useless=112442), ccks=134680, wck=0.565, mem=63M580 5.36/3.25 decisions=90487, wrong=44450, backtracks=941, failedAssignments=44450, nogoods=8654 5.36/3.25 nFilterCalls=538, avgTableProportion=0.5, avgTableSize=1.0 5.36/3.25 5.36/3.28 num=64, depth=27..33, filters=49735, revisions=(187419,useless=138154), ccks=153106, wck=0.595, mem=63M580 5.36/3.28 decisions=99430, wrong=48907, backtracks=986, failedAssignments=48907, nogoods=8847 5.36/3.28 nFilterCalls=547, avgTableProportion=0.5, avgTableSize=1.0 5.36/3.28 5.66/3.30 num=65, depth=27..29, filters=54656, revisions=(194319,useless=140142), ccks=159573, wck=0.617, mem=63M580 5.66/3.30 decisions=109265, wrong=53810, backtracks=1056, failedAssignments=53810, nogoods=9076 5.66/3.30 nFilterCalls=556, avgTableProportion=0.5, avgTableSize=1.0 5.66/3.30 5.66/3.33 num=66, depth=26..28, filters=60068, revisions=(218377,useless=158797), ccks=175071, wck=0.64, mem=63M580 5.66/3.33 decisions=120080, wrong=59204, backtracks=1235, failedAssignments=59204, nogoods=9192 5.66/3.33 nFilterCalls=565, avgTableProportion=0.5, avgTableSize=1.0 5.66/3.33 5.66/3.36 num=67, depth=30..43, filters=66090, revisions=(263326,useless=197792), ccks=202040, wck=0.677, mem=66M223 5.66/3.36 decisions=131983, wrong=65137, backtracks=1391, failedAssignments=65137, nogoods=10009 5.66/3.36 nFilterCalls=658, avgTableProportion=0.5, avgTableSize=1.0 5.66/3.36 5.66/3.39 num=68, depth=29..33, filters=72638, revisions=(292462,useless=220391), ccks=220506, wck=0.709, mem=66M223 5.66/3.39 decisions=145067, wrong=71663, backtracks=1466, failedAssignments=71663, nogoods=10395 5.66/3.39 nFilterCalls=669, avgTableProportion=0.5, avgTableSize=1.0 5.66/3.39 5.88/3.44 num=69, depth=29..35, filters=79839, revisions=(348432,useless=269171), ccks=252712, wck=0.75, mem=66M223 5.88/3.44 decisions=159459, wrong=78842, backtracks=1668, failedAssignments=78842, nogoods=11063 5.88/3.44 nFilterCalls=680, avgTableProportion=0.5, avgTableSize=1.0 5.88/3.44 5.88/3.48 num=70, depth=29..33, filters=87758, revisions=(387513,useless=300344), ccks=279028, wck=0.792, mem=66M223 5.88/3.48 decisions=175284, wrong=86739, backtracks=1751, failedAssignments=86739, nogoods=11266 5.88/3.48 nFilterCalls=691, avgTableProportion=0.5, avgTableSize=1.0 5.88/3.48 5.98/3.51 num=71, depth=29..31, filters=96467, revisions=(398897,useless=303030), ccks=289676, wck=0.824, mem=66M223 5.98/3.51 decisions=192689, wrong=95426, backtracks=1865, failedAssignments=95426, nogoods=11426 5.98/3.51 nFilterCalls=702, avgTableProportion=0.5, avgTableSize=1.0 5.98/3.51 5.98/3.55 num=72, depth=27..31, filters=106044, revisions=(438913,useless=333480), ccks=315345, wck=0.861, mem=66M223 5.98/3.55 decisions=211827, wrong=104981, backtracks=2117, failedAssignments=104981, nogoods=11488 5.98/3.55 nFilterCalls=713, avgTableProportion=0.5, avgTableSize=1.0 5.98/3.55 6.10/3.60 num=73, depth=30..35, filters=116577, revisions=(493612,useless=377657), ccks=349094, wck=0.915, mem=68M865 6.10/3.60 decisions=232884, wrong=115492, backtracks=2237, failedAssignments=115492, nogoods=12128 6.10/3.60 nFilterCalls=724, avgTableProportion=0.5, avgTableSize=1.0 6.10/3.60 6.10/3.64 num=74, depth=28..31, filters=128161, revisions=(528252,useless=400724), ccks=373141, wck=0.954, mem=68M865 6.10/3.64 decisions=256037, wrong=127054, backtracks=2464, failedAssignments=127054, nogoods=12256 6.10/3.64 nFilterCalls=735, avgTableProportion=0.5, avgTableSize=1.0 6.10/3.64 6.10/3.70 num=75, depth=29..33, filters=140901, revisions=(581107,useless=440850), ccks=406542, wck=1.011, mem=68M865 6.10/3.70 decisions=281504, wrong=139772, backtracks=2619, failedAssignments=139772, nogoods=12442 6.10/3.70 nFilterCalls=746, avgTableProportion=0.5, avgTableSize=1.0 6.10/3.70 6.21/3.78 num=76, depth=29..35, filters=154913, revisions=(706987,useless=552729), ccks=477140, wck=1.091, mem=68M865 6.21/3.78 decisions=309518, wrong=153762, backtracks=3439, failedAssignments=153762, nogoods=13050 6.21/3.78 nFilterCalls=757, avgTableProportion=0.5, avgTableSize=1.0 6.21/3.78 6.31/3.83 num=77, depth=29..32, filters=170323, revisions=(743955,useless=574298), ccks=503840, wck=1.143, mem=68M865 6.31/3.83 decisions=340326, wrong=169151, backtracks=3792, failedAssignments=169151, nogoods=13288 6.31/3.83 nFilterCalls=768, avgTableProportion=0.5, avgTableSize=1.0 6.31/3.83 6.31/3.89 num=78, depth=13..34, filters=187272, revisions=(806395,useless=619800), ccks=545861, wck=1.209, mem=68M865 6.31/3.89 decisions=374214, wrong=186079, backtracks=4090, failedAssignments=186079, nogoods=13937 6.31/3.89 nFilterCalls=779, avgTableProportion=0.5, avgTableSize=1.0 6.31/3.89 6.41/3.96 num=79, depth=26..31, filters=205915, revisions=(874078,useless=668851), ccks=589998, wck=1.279, mem=71M508 6.41/3.96 decisions=411483, wrong=204700, backtracks=4456, failedAssignments=204700, nogoods=14097 6.41/3.96 nFilterCalls=790, avgTableProportion=0.5, avgTableSize=1.0 6.41/3.96 6.52/4.08 num=80, depth=29..35, filters=226421, revisions=(1022649,useless=796927), ccks=675131, wck=1.394, mem=71M508 6.52/4.08 decisions=452484, wrong=225184, backtracks=5088, failedAssignments=225184, nogoods=14795 6.52/4.08 nFilterCalls=801, avgTableProportion=0.5, avgTableSize=1.0 6.52/4.08 6.62/4.16 num=81, depth=27..32, filters=248974, revisions=(1080034,useless=831770), ccks=715940, wck=1.474, mem=71M508 6.62/4.16 decisions=497576, wrong=247716, backtracks=5739, failedAssignments=247716, nogoods=14968 6.62/4.16 nFilterCalls=812, avgTableProportion=0.5, avgTableSize=1.0 6.62/4.16 6.71/4.24 num=82, depth=26..30, filters=273781, revisions=(1157064,useless=884004), ccks=767706, wck=1.552, mem=74M150 6.71/4.24 decisions=547173, wrong=272501, backtracks=6232, failedAssignments=272501, nogoods=15117 6.71/4.24 nFilterCalls=823, avgTableProportion=0.5, avgTableSize=1.0 6.71/4.24 6.81/4.34 num=83, depth=14..37, filters=301066, revisions=(1218777,useless=918443), ccks=815261, wck=1.659, mem=74M150 6.81/4.34 decisions=601736, wrong=299765, backtracks=6409, failedAssignments=299765, nogoods=16130 6.81/4.34 nFilterCalls=834, avgTableProportion=0.5, avgTableSize=1.0 6.81/4.34 6.91/4.49 num=84, depth=29..34, filters=331078, revisions=(1351291,useless=1020956), ccks=897147, wck=1.8, mem=74M150 6.91/4.49 decisions=661749, wrong=329755, backtracks=6782, failedAssignments=329755, nogoods=16562 6.91/4.49 nFilterCalls=845, avgTableProportion=0.5, avgTableSize=1.0 6.91/4.49 7.11/4.61 num=85, depth=29..33, filters=364089, revisions=(1465826,useless=1102491), ccks=974436, wck=1.93, mem=76M792 7.11/4.61 decisions=727757, wrong=362744, backtracks=7239, failedAssignments=362744, nogoods=16834 7.11/4.61 nFilterCalls=856, avgTableProportion=0.5, avgTableSize=1.0 7.11/4.61 7.21/4.74 num=86, depth=29..31, filters=400399, revisions=(1511325,useless=1111691), ccks=1015951, wck=2.051, mem=76M792 7.21/4.74 decisions=800364, wrong=399032, backtracks=7701, failedAssignments=399032, nogoods=17045 7.21/4.74 nFilterCalls=867, avgTableProportion=0.5, avgTableSize=1.0 7.21/4.74 7.31/4.89 num=87, depth=23..30, filters=440338, revisions=(1670686,useless=1231124), ccks=1117052, wck=2.201, mem=76M792 7.31/4.89 decisions=880222, wrong=438949, backtracks=8573, failedAssignments=438949, nogoods=17187 7.31/4.89 nFilterCalls=878, avgTableProportion=0.5, avgTableSize=1.0 7.31/4.89 7.52/5.06 num=88, depth=24..31, filters=484269, revisions=(1862933,useless=1379451), ccks=1236112, wck=2.37, mem=79M435 7.52/5.06 decisions=968065, wrong=482858, backtracks=9326, failedAssignments=482858, nogoods=17306 7.52/5.06 nFilterCalls=889, avgTableProportion=0.5, avgTableSize=1.0 7.52/5.06 7.71/5.27 num=89, depth=28..35, filters=532590, revisions=(2051248,useless=1519456), ccks=1355103, wck=2.582, mem=79M435 7.71/5.27 decisions=1064695, wrong=531158, backtracks=9936, failedAssignments=531158, nogoods=17558 7.71/5.27 nFilterCalls=900, avgTableProportion=0.5, avgTableSize=1.0 7.71/5.27 7.91/5.46 num=90, depth=13..34, filters=585742, revisions=(2220507,useless=1635574), ccks=1467806, wck=2.777, mem=82M77 7.91/5.46 decisions=1170987, wrong=584288, backtracks=10946, failedAssignments=584288, nogoods=18230 7.91/5.46 nFilterCalls=911, avgTableProportion=0.5, avgTableSize=1.0 7.91/5.46 8.22/5.77 num=91, depth=29..34, filters=644206, revisions=(2738386,useless=2095000), ccks=1759068, wck=3.085, mem=84M720 8.22/5.77 decisions=1287905, wrong=642731, backtracks=13771, failedAssignments=642731, nogoods=18924 8.22/5.77 nFilterCalls=922, avgTableProportion=0.5, avgTableSize=1.0 8.22/5.77 8.52/6.01 num=92, depth=29..33, filters=708515, revisions=(2932615,useless=2224931), ccks=1892898, wck=3.323, mem=84M720 8.52/6.01 decisions=1416510, wrong=707018, backtracks=14614, failedAssignments=707018, nogoods=19124 8.52/6.01 nFilterCalls=933, avgTableProportion=0.5, avgTableSize=1.0 8.52/6.01 8.72/6.25 num=93, depth=29..31, filters=779253, revisions=(3087267,useless=2308856), ccks=2006939, wck=3.564, mem=87M362 8.72/6.25 decisions=1557972, wrong=777734, backtracks=16907, failedAssignments=777734, nogoods=19459 8.72/6.25 nFilterCalls=944, avgTableProportion=0.5, avgTableSize=1.0 8.72/6.25 9.02/6.55 num=94, depth=14..33, filters=857062, revisions=(3296178,useless=2439969), ccks=2157161, wck=3.868, mem=90M5 9.02/6.55 decisions=1713574, wrong=855521, backtracks=17915, failedAssignments=855521, nogoods=19909 9.02/6.55 nFilterCalls=955, avgTableProportion=0.5, avgTableSize=1.0 9.02/6.55 9.42/6.93 num=95, depth=29..33, filters=942650, revisions=(3788849,useless=2847063), ccks=2448469, wck=4.248, mem=92M647 9.42/6.93 decisions=1884737, wrong=941087, backtracks=21555, failedAssignments=941087, nogoods=20187 9.42/6.93 nFilterCalls=966, avgTableProportion=0.5, avgTableSize=1.0 9.42/6.93 9.72/7.29 num=96, depth=17..31, filters=1036795, revisions=(4201802,useless=3165882), ccks=2703981, wck=4.603, mem=95M289 9.72/7.29 decisions=2073001, wrong=1035210, backtracks=23121, failedAssignments=1035210, nogoods=20357 9.72/7.29 nFilterCalls=977, avgTableProportion=0.5, avgTableSize=1.0 9.72/7.29 10.32/7.87 num=97, depth=31..35, filters=1140352, revisions=(5107254,useless=3967788), ccks=3210530, wck=5.184, mem=97M932 10.32/7.87 decisions=2280104, wrong=1138745, backtracks=27979, failedAssignments=1138745, nogoods=20755 10.32/7.87 nFilterCalls=988, avgTableProportion=0.5, avgTableSize=1.0 10.32/7.87 10.82/8.35 num=98, depth=15..45, filters=1254295, revisions=(5484423,useless=4231050), ccks=3465001, wck=5.665, mem=100M574 10.82/8.35 decisions=2507916, wrong=1252634, backtracks=28760, failedAssignments=1252634, nogoods=21942 10.82/8.35 nFilterCalls=1036, avgTableProportion=0.5, avgTableSize=1.0 10.82/8.35 11.32/8.89 num=99, depth=29..33, filters=1379596, revisions=(6026385,useless=4647723), ccks=3807149, wck=6.202, mem=103M217 11.32/8.89 decisions=2758503, wrong=1377912, backtracks=31396, failedAssignments=1377912, nogoods=22155 11.32/8.89 nFilterCalls=1048, avgTableProportion=0.5, avgTableSize=1.0 11.32/8.89 12.02/9.52 num=100, depth=30..34, filters=1517426, revisions=(6629675,useless=5113195), ccks=4181155, wck=6.83, mem=105M859 12.02/9.52 decisions=3034147, wrong=1515718, backtracks=33938, failedAssignments=1515718, nogoods=22373 12.02/9.52 nFilterCalls=1060, avgTableProportion=0.5, avgTableSize=1.0 12.02/9.52 12.63/10.19 num=101, depth=14..46, filters=1669066, revisions=(7240031,useless=5571946), ccks=4590692, wck=7.501, mem=111M144 12.63/10.19 decisions=3337356, wrong=1667304, backtracks=35346, failedAssignments=1667304, nogoods=23690 12.63/10.19 nFilterCalls=1106, avgTableProportion=0.5, avgTableSize=1.0 12.63/10.19 13.42/10.99 num=102, depth=31..37, filters=1835836, revisions=(8147034,useless=6312192), ccks=5128653, wck=8.305, mem=116M429 13.42/10.99 decisions=3670879, wrong=1834049, backtracks=39160, failedAssignments=1834049, nogoods=23959 13.42/10.99 nFilterCalls=1119, avgTableProportion=0.5, avgTableSize=1.0 13.42/10.99 14.12/11.62 num=103, depth=21..33, filters=2019281, revisions=(8712250,useless=6693976), ccks=5507078, wck=8.936, mem=119M71 14.12/11.62 decisions=4037740, wrong=2017468, backtracks=43318, failedAssignments=2017468, nogoods=24061 14.12/11.62 nFilterCalls=1132, avgTableProportion=0.5, avgTableSize=1.0 14.12/11.62 14.92/12.48 num=104, depth=17..41, filters=2221068, revisions=(9477323,useless=7257275), ccks=5993858, wck=9.793, mem=124M356 14.92/12.48 decisions=4441298, wrong=2219229, backtracks=45654, failedAssignments=2219229, nogoods=25372 14.92/12.48 nFilterCalls=1145, avgTableProportion=0.5, avgTableSize=1.0 14.92/12.48 16.02/13.54 num=105, depth=31..36, filters=2443032, revisions=(10940264,useless=8498265), ccks=6838591, wck=10.854, mem=132M284 16.02/13.54 decisions=4885210, wrong=2441167, backtracks=53189, failedAssignments=2441167, nogoods=25956 16.02/13.54 nFilterCalls=1158, avgTableProportion=0.5, avgTableSize=1.0 16.02/13.54 17.03/14.52 num=106, depth=28..34, filters=2687189, revisions=(11926442,useless=9240299), ccks=7464432, wck=11.831, mem=137M568 17.03/14.52 decisions=5373505, wrong=2685298, backtracks=60580, failedAssignments=2685298, nogoods=26164 17.03/14.52 nFilterCalls=1171, avgTableProportion=0.5, avgTableSize=1.0 17.03/14.52 18.23/15.71 num=107, depth=16..42, filters=2955759, revisions=(13247123,useless=10292423), ccks=8274931, wck=13.028, mem=34M684 18.23/15.71 decisions=5910632, wrong=2953843, backtracks=63835, failedAssignments=2953843, nogoods=27617 18.23/15.71 nFilterCalls=1184, avgTableProportion=0.5, avgTableSize=1.0 18.23/15.71 19.17/16.68 num=108, depth=29..34, filters=3251183, revisions=(14131108,useless=10880997), ccks=8869799, wck=13.998, mem=39M916 19.17/16.68 decisions=6501461, wrong=3249242, backtracks=71421, failedAssignments=3249242, nogoods=28070 19.17/16.68 nFilterCalls=1197, avgTableProportion=0.5, avgTableSize=1.0 19.17/16.68 20.87/18.30 num=109, depth=15..49, filters=3576208, revisions=(16312836,useless=12737759), ccks=10146178, wck=15.62, mem=50M380 20.87/18.30 decisions=7151385, wrong=3574181, backtracks=77014, failedAssignments=3574181, nogoods=29982 20.87/18.30 nFilterCalls=1276, avgTableProportion=0.5, avgTableSize=1.0 20.87/18.30 22.17/19.68 num=110, depth=33..38, filters=3933674, revisions=(17633487,useless=13700961), ccks=11004737, wck=16.992, mem=58M228 22.17/19.68 decisions=7866286, wrong=3931614, backtracks=83455, failedAssignments=3931614, nogoods=30323 22.17/19.68 nFilterCalls=1293, avgTableProportion=0.5, avgTableSize=1.0 22.17/19.68 24.47/22.00 num=111, depth=19..49, filters=4326883, revisions=(21457584,useless=17131866), ccks=13152578, wck=19.319, mem=68M692 24.47/22.00 decisions=8652682, wrong=4324790, backtracks=86733, failedAssignments=4324790, nogoods=32326 24.47/22.00 nFilterCalls=1310, avgTableProportion=0.5, avgTableSize=1.0 24.47/22.00 26.18/23.66 num=112, depth=34..40, filters=4759410, revisions=(23031273,useless=18273045), ccks=14157990, wck=20.979, mem=79M156 26.18/23.66 decisions=9517707, wrong=4757284, backtracks=98840, failedAssignments=4757284, nogoods=32937 26.18/23.66 nFilterCalls=1327, avgTableProportion=0.5, avgTableSize=1.0 26.18/23.66 28.69/26.18 num=113, depth=19..46, filters=5235187, revisions=(26651663,useless=21417675), ccks=16267387, wck=23.49, mem=92M236 28.69/26.18 decisions=10469235, wrong=5233028, backtracks=103846, failedAssignments=5233028, nogoods=34184 28.69/26.18 nFilterCalls=1344, avgTableProportion=0.5, avgTableSize=1.0 28.69/26.18 30.48/28.00 num=114, depth=26..37, filters=5758538, revisions=(28158321,useless=22400999), ccks=17330793, wck=25.311, mem=105M316 30.48/28.00 decisions=11515903, wrong=5756346, backtracks=116987, failedAssignments=5756346, nogoods=34423 30.48/28.00 nFilterCalls=1361, avgTableProportion=0.5, avgTableSize=1.0 30.48/28.00 33.78/31.25 num=115, depth=21..46, filters=6334221, revisions=(33046654,useless=26713666), ccks=20107325, wck=28.562, mem=118M396 33.78/31.25 decisions=12667243, wrong=6331996, backtracks=121482, failedAssignments=6331996, nogoods=35860 33.78/31.25 nFilterCalls=1378, avgTableProportion=0.5, avgTableSize=1.0 33.78/31.25 36.82/34.23 num=116, depth=21..46, filters=6967470, revisions=(36622747,useless=29656527), ccks=22236432, wck=31.548, mem=138M29 36.82/34.23 decisions=13933714, wrong=6965211, backtracks=127043, failedAssignments=6965211, nogoods=37480 36.82/34.23 nFilterCalls=1395, avgTableProportion=0.5, avgTableSize=1.0 36.82/34.23 39.22/36.60 num=117, depth=27..38, filters=7664039, revisions=(37908455,useless=30245683), ccks=23230002, wck=33.911, mem=153M725 39.22/36.60 decisions=15326814, wrong=7661747, backtracks=134919, failedAssignments=7661747, nogoods=37551 39.22/36.60 nFilterCalls=1412, avgTableProportion=0.5, avgTableSize=1.0 39.22/36.60 43.56/40.98 num=118, depth=21..46, filters=8430262, revisions=(44371011,useless=35942033), ccks=26906009, wck=38.29, mem=42M188 43.56/40.98 decisions=16859238, wrong=8427937, backtracks=141470, failedAssignments=8427937, nogoods=38992 43.56/40.98 nFilterCalls=1429, avgTableProportion=0.5, avgTableSize=1.0 43.56/40.98 47.86/45.28 num=119, depth=21..46, filters=9273104, revisions=(50381748,useless=41109945), ccks=30421184, wck=42.593, mem=63M116 47.86/45.28 decisions=18544896, wrong=9270746, backtracks=148997, failedAssignments=9270746, nogoods=40446 47.86/45.28 nFilterCalls=1446, avgTableProportion=0.5, avgTableSize=1.0 47.86/45.28 52.67/50.05 num=120, depth=19..47, filters=10200227, revisions=(56756814,useless=46557905), ccks=34126504, wck=47.368, mem=86M660 52.67/50.05 decisions=20399114, wrong=10197836, backtracks=156372, failedAssignments=10197836, nogoods=41751 52.67/50.05 nFilterCalls=1463, avgTableProportion=0.5, avgTableSize=1.0 52.67/50.05 57.57/54.92 num=121, depth=21..47, filters=11220060, revisions=(62308621,useless=51089896), ccks=37429689, wck=52.236, mem=112M820 57.57/54.92 decisions=22438752, wrong=11217635, backtracks=165091, failedAssignments=11217635, nogoods=43605 57.57/54.92 nFilterCalls=1480, avgTableProportion=0.5, avgTableSize=1.0 57.57/54.92 61.27/58.67 num=122, depth=26..38, filters=12341873, revisions=(65340020,useless=52999499), ccks=39521487, wck=55.984, mem=141M596 61.27/58.67 decisions=24682342, wrong=12339414, backtracks=197261, failedAssignments=12339414, nogoods=43811 61.27/58.67 nFilterCalls=1497, avgTableProportion=0.5, avgTableSize=1.0 61.27/58.67 67.50/64.81 num=123, depth=20..46, filters=13575863, revisions=(74056510,useless=60482016), ccks=44655189, wck=62.124, mem=40M988 67.50/64.81 decisions=27150296, wrong=13573371, backtracks=208295, failedAssignments=13573371, nogoods=45108 67.50/64.81 nFilterCalls=1514, avgTableProportion=0.5, avgTableSize=1.0 67.50/64.81 72.82/70.13 num=124, depth=20..47, filters=14933249, revisions=(78391551,useless=63459688), ccks=47592430, wck=67.449, mem=75M38 72.82/70.13 decisions=29865044, wrong=14930724, backtracks=225515, failedAssignments=14930724, nogoods=46750 72.82/70.13 nFilterCalls=1531, avgTableProportion=0.5, avgTableSize=1.0 72.82/70.13 77.73/75.06 num=125, depth=21..39, filters=16426371, revisions=(81809324,useless=65384356), ccks=50053918, wck=72.377, mem=111M707 77.73/75.06 decisions=32851254, wrong=16423812, backtracks=248442, failedAssignments=16423812, nogoods=47360 77.73/75.06 nFilterCalls=1548, avgTableProportion=0.5, avgTableSize=1.0 77.73/75.06 83.73/81.10 num=126, depth=21..47, filters=18068802, revisions=(88732746,useless=70665364), ccks=54377717, wck=78.417, mem=153M614 83.73/81.10 decisions=36136092, wrong=18066209, backtracks=279601, failedAssignments=18066209, nogoods=49464 83.73/81.10 nFilterCalls=1565, avgTableProportion=0.5, avgTableSize=1.0 83.73/81.10 92.26/89.57 num=127, depth=34..42, filters=19875472, revisions=(100634104,useless=80760069), ccks=61244268, wck=86.88, mem=68M153 92.26/89.57 decisions=39749406, wrong=19872846, backtracks=347609, failedAssignments=19872846, nogoods=50309 92.26/89.57 nFilterCalls=1582, avgTableProportion=0.5, avgTableSize=1.0 92.26/89.57 100.78/98.05 num=128, depth=20..44, filters=21862806, revisions=(109773159,useless=87911807), ccks=67065988, wck=95.362, mem=114M695 100.78/98.05 decisions=43724048, wrong=21860147, backtracks=369050, failedAssignments=21860147, nogoods=51318 100.78/98.05 nFilterCalls=1599, avgTableProportion=0.5, avgTableSize=1.0 100.78/98.05 108.61/105.80 num=129, depth=28..39, filters=24048870, revisions=(117318985,useless=93271586), ccks=71997336, wck=103.117, mem=40M166 108.61/105.80 decisions=48096140, wrong=24046178, backtracks=419171, failedAssignments=24046178, nogoods=51670 108.61/105.80 nFilterCalls=1616, avgTableProportion=0.5, avgTableSize=1.0 108.61/105.80 121.98/119.11 num=130, depth=19..49, filters=26453537, revisions=(135287671,useless=108835622), ccks=82210965, wck=116.428, mem=98M794 121.98/119.11 decisions=52905445, wrong=26450812, backtracks=437055, failedAssignments=26450812, nogoods=52969 121.98/119.11 nFilterCalls=1633, avgTableProportion=0.5, avgTableSize=1.0 121.98/119.11 138.37/135.50 num=131, depth=19..49, filters=29098667, revisions=(161440291,useless=132343129), ccks=97294047, wck=132.816, mem=162M520 138.37/135.50 decisions=58195684, wrong=29095909, backtracks=457979, failedAssignments=29095909, nogoods=54901 138.37/135.50 nFilterCalls=1650, avgTableProportion=0.5, avgTableSize=1.0 138.37/135.50 151.40/148.53 num=132, depth=21..47, filters=32008307, revisions=(177796792,useless=145790007), ccks=107029383, wck=145.85, mem=108M739 151.40/148.53 decisions=64014941, wrong=32005516, backtracks=497749, failedAssignments=32005516, nogoods=56798 151.40/148.53 nFilterCalls=1667, avgTableProportion=0.5, avgTableSize=1.0 151.40/148.53 166.82/163.94 num=133, depth=21..47, filters=35208909, revisions=(197798953,useless=162591583), ccks=118732244, wck=161.255, mem=61M107 166.82/163.94 decisions=70416113, wrong=35206084, backtracks=534225, failedAssignments=35206084, nogoods=57959 166.82/163.94 nFilterCalls=1684, avgTableProportion=0.5, avgTableSize=1.0 166.82/163.94 184.04/181.15 num=134, depth=19..46, filters=38729568, revisions=(220995340,useless=182267328), ccks=132632980, wck=178.463, mem=147M584 184.04/181.15 decisions=77457396, wrong=38726709, backtracks=566726, failedAssignments=38726709, nogoods=58972 184.04/181.15 nFilterCalls=1701, avgTableProportion=0.5, avgTableSize=1.0 184.04/181.15 200.07/197.14 num=135, depth=28..41, filters=42602288, revisions=(238286679,useless=195685964), ccks=143226961, wck=194.452, mem=119M559 200.07/197.14 decisions=85202810, wrong=42599396, backtracks=667009, failedAssignments=42599396, nogoods=59842 200.07/197.14 nFilterCalls=1718, avgTableProportion=0.5, avgTableSize=1.0 200.07/197.14 227.90/224.94 num=136, depth=19..49, filters=46862277, revisions=(285721922,useless=238861235), ccks=169362075, wck=222.258, mem=101M644 227.90/224.94 decisions=93722766, wrong=46859352, backtracks=710419, failedAssignments=46859352, nogoods=61723 227.90/224.94 nFilterCalls=1735, avgTableProportion=0.5, avgTableSize=1.0 227.90/224.94 256.73/253.74 num=137, depth=19..49, filters=51548263, revisions=(328747666,useless=277201010), ccks=193250540, wck=251.058, mem=96M583 256.73/253.74 decisions=103094713, wrong=51545304, backtracks=757857, failedAssignments=51545304, nogoods=63582 256.73/253.74 nFilterCalls=1752, avgTableProportion=0.5, avgTableSize=1.0 256.73/253.74 281.18/278.12 num=138, depth=20..47, filters=56702844, revisions=(358856549,useless=302155329), ccks=211474946, wck=275.436, mem=105M605 281.18/278.12 decisions=113403841, wrong=56699851, backtracks=818447, failedAssignments=56699851, nogoods=64472 281.18/278.12 nFilterCalls=1769, avgTableProportion=0.5, avgTableSize=1.0 281.18/278.12 305.13/302.08 num=139, depth=20..47, filters=62372879, revisions=(384992938,useless=322621700), ccks=227692126, wck=299.391, mem=127M854 305.13/302.08 decisions=124743885, wrong=62369853, backtracks=919900, failedAssignments=62369853, nogoods=65506 305.13/302.08 nFilterCalls=1786, avgTableProportion=0.5, avgTableSize=1.0 305.13/302.08 338.21/335.05 num=140, depth=21..49, filters=68609914, revisions=(430322312,useless=361714056), ccks=254603464, wck=332.37, mem=54M236 338.21/335.05 decisions=137217935, wrong=68606855, backtracks=1010526, failedAssignments=68606855, nogoods=67777 338.21/335.05 nFilterCalls=1803, avgTableProportion=0.5, avgTableSize=1.0 338.21/335.05 373.03/369.86 num=141, depth=21..47, filters=75470649, revisions=(477945690,useless=402476716), ccks=282729138, wck=367.178, mem=109M652 373.03/369.86 decisions=150939381, wrong=75467557, backtracks=1080921, failedAssignments=75467557, nogoods=69058 373.03/369.86 nFilterCalls=1820, avgTableProportion=0.5, avgTableSize=1.0 373.03/369.86 414.31/411.09 num=142, depth=19..49, filters=83017455, revisions=(530831102,useless=447815339), ccks=313030752, wck=408.402, mem=73M856 414.31/411.09 decisions=166032966, wrong=83014330, backtracks=1142658, failedAssignments=83014330, nogoods=70430 414.31/411.09 nFilterCalls=1837, avgTableProportion=0.5, avgTableSize=1.0 414.31/411.09 449.14/445.81 num=143, depth=28..46, filters=91318939, revisions=(561764490,useless=470447260), ccks=332725592, wck=443.126, mem=64M944 449.14/445.81 decisions=182635904, wrong=91315780, backtracks=1284920, failedAssignments=91315780, nogoods=71945 449.14/445.81 nFilterCalls=1854, avgTableProportion=0.5, avgTableSize=1.0 449.14/445.81 495.77/492.41 num=144, depth=19..48, filters=100450568, revisions=(620696512,useless=520247670), ccks=367911856, wck=489.721, mem=82M732 495.77/492.41 decisions=200899137, wrong=100447375, backtracks=1380288, failedAssignments=100447375, nogoods=73730 495.77/492.41 nFilterCalls=1871, avgTableProportion=0.5, avgTableSize=1.0 495.77/492.41 539.91/536.51 num=145, depth=20..47, filters=110495355, revisions=(662202418,useless=551708806), ccks=394404630, wck=533.823, mem=125M680 539.91/536.51 decisions=220988684, wrong=110492129, backtracks=1478198, failedAssignments=110492129, nogoods=74980 539.91/536.51 nFilterCalls=1888, avgTableProportion=0.5, avgTableSize=1.0 539.91/536.51 598.35/594.96 num=146, depth=21..46, filters=121544619, revisions=(738974804,useless=617431945), ccks=439190441, wck=592.275, mem=102M414 598.35/594.96 decisions=243087181, wrong=121541359, backtracks=1594243, failedAssignments=121541359, nogoods=76306 598.35/594.96 nFilterCalls=1905, avgTableProportion=0.5, avgTableSize=1.0 598.35/594.96 666.29/662.83 num=147, depth=21..49, filters=133698805, revisions=(834303744,useless=700606716), ccks=493802656, wck=660.145, mem=115M547 666.29/662.83 decisions=267395526, wrong=133695512, backtracks=1761083, failedAssignments=133695512, nogoods=77761 666.29/662.83 nFilterCalls=1922, avgTableProportion=0.5, avgTableSize=1.0 666.29/662.83 730.94/727.43 num=148, depth=20..49, filters=147068406, revisions=(901733915,useless=754667303), ccks=535150232, wck=724.748, mem=77M428 730.94/727.43 decisions=294134703, wrong=147065080, backtracks=1868055, failedAssignments=147065080, nogoods=79092 730.94/727.43 nFilterCalls=1939, avgTableProportion=0.5, avgTableSize=1.0 730.94/727.43 792.19/788.66 num=149, depth=21..49, filters=161774965, revisions=(957997500,useless=796224346), ccks=571030599, wck=785.976, mem=89M584 792.19/788.66 decisions=323547791, wrong=161771605, backtracks=2076696, failedAssignments=161771605, nogoods=80500 792.19/788.66 nFilterCalls=1956, avgTableProportion=0.5, avgTableSize=1.0 792.19/788.66 881.25/877.63 num=150, depth=19..48, filters=177952176, revisions=(1070881452,useless=892931104), ccks=637215918, wck=874.941, mem=74M738 881.25/877.63 decisions=355902184, wrong=177948783, backtracks=2235952, failedAssignments=177948783, nogoods=81926 881.25/877.63 nFilterCalls=1973, avgTableProportion=0.5, avgTableSize=1.0 881.25/877.63 990.91/987.28 num=151, depth=19..48, filters=195747105, revisions=(1241979703,useless=1046234443), ccks=732696997, wck=984.598, mem=115M388 990.91/987.28 decisions=391492018, wrong=195743679, backtracks=2419445, failedAssignments=195743679, nogoods=83731 990.91/987.28 nFilterCalls=1990, avgTableProportion=0.5, avgTableSize=1.0 990.91/987.28 1070.68/1066.92 num=152, depth=29..39, filters=215321524, revisions=(1319478046,useless=1104158384), ccks=782038624, wck=1064.236, mem=74M550 1070.68/1066.92 decisions=430640822, wrong=215318064, backtracks=2938045, failedAssignments=215318064, nogoods=84405 1070.68/1066.92 nFilterCalls=2007, avgTableProportion=0.5, avgTableSize=1.0 1070.68/1066.92 1214.25/1210.40 num=153, depth=19..48, filters=236853381, revisions=(1552211688,useless=1315360186), ccks=909752792, wck=1207.719, mem=98M168 1214.25/1210.40 decisions=473704512, wrong=236849888, backtracks=3151273, failedAssignments=236849888, nogoods=86451 1214.25/1210.40 nFilterCalls=2024, avgTableProportion=0.5, avgTableSize=1.0 1214.25/1210.40 1375.06/1371.16 num=154, depth=19..50, filters=260538421, revisions=(1809786153,useless=1549249628), ccks=1051106361, wck=1368.477, mem=69M279 1375.06/1371.16 decisions=521074570, wrong=260534894, backtracks=3383981, failedAssignments=260534894, nogoods=88642 1375.06/1371.16 nFilterCalls=2041, avgTableProportion=0.5, avgTableSize=1.0 1375.06/1371.16 1509.86/1505.82 num=155, depth=35..41, filters=286591962, revisions=(2003658608,useless=1717068559), ccks=1161331512, wck=1503.134, mem=96M336 1509.86/1505.82 decisions=573181624, wrong=286588401, backtracks=4329799, failedAssignments=286588401, nogoods=89341 1509.86/1505.82 nFilterCalls=2058, avgTableProportion=0.5, avgTableSize=1.0 1509.86/1505.82 1632.67/1628.53 num=156, depth=22..46, filters=315250854, revisions=(2121378662,useless=1806129738), ccks=1236448862, wck=1625.844, mem=64M105 1632.67/1628.53 decisions=630499377, wrong=315247259, backtracks=4736894, failedAssignments=315247259, nogoods=90378 1632.67/1628.53 nFilterCalls=2075, avgTableProportion=0.5, avgTableSize=1.0 1632.67/1628.53 1809.79/1805.51 num=157, depth=19..49, filters=346775632, revisions=(2366474215,useless=2019700530), ccks=1378078824, wck=1802.823, mem=79M447 1809.79/1805.51 decisions=693548907, wrong=346772003, backtracks=5333046, failedAssignments=346772003, nogoods=92282 1809.79/1805.51 nFilterCalls=2092, avgTableProportion=0.5, avgTableSize=1.0 1809.79/1805.51 2003.64/1999.27 num=158, depth=19..48, filters=381452883, revisions=(2615666386,useless=2234215467), ccks=1520197416, wck=1996.583, mem=55M8 2003.64/1999.27 decisions=762903381, wrong=381449221, backtracks=5581582, failedAssignments=381449221, nogoods=93897 2003.64/1999.27 nFilterCalls=2109, avgTableProportion=0.5, avgTableSize=1.0 2003.64/1999.27 2261.02/2256.49 num=159, depth=21..49, filters=419597857, revisions=(3008829759,useless=2589233883), ccks=1745753546, wck=2253.81, mem=60M793 2261.02/2256.49 decisions=839193300, wrong=419594161, backtracks=5854850, failedAssignments=419594161, nogoods=95705 2261.02/2256.49 nFilterCalls=2126, avgTableProportion=0.5, avgTableSize=1.0 2261.02/2256.49 2493.49/2488.77 num=160, depth=20..47, filters=461557324, revisions=(3300825879,useless=2839270553), ccks=1916766136, wck=2486.083, mem=51M491 2493.49/2488.77 decisions=923112209, wrong=461553595, backtracks=6207094, failedAssignments=461553595, nogoods=97365 2493.49/2488.77 nFilterCalls=2143, avgTableProportion=0.5, avgTableSize=1.0 2493.49/2488.77
One s line expected
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 (13035 MiB free) memory of node 1: 16384 MiB (12099 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390661-1568380516/watcher-4390661-1568380516 -o /tmp/evaluation-result-4390661-1568380516/solver-4390661-1568380516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568380476-6730 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390661-1568380516.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=6757, runsolver pid=6751 [startup+0.100151 s]* /proc/loadavg: 0.00 0.01 0.05 2/199 6760 /proc/meminfo: memFree=25737872/32770624 swapFree=66959224/67108860 [pid=6757] ppid=6751 vsize=98704 memory=4624 CPUtime=0 cores=1,3,5,7 /proc/6757/stat : 6757 (java) S 6751 6757 6698 0 -1 1077944320 1364 0 0 0 0 0 0 0 20 0 2 0 413991815 101072896 1156 33554432000 4194304 4196468 140735387973840 140735387956384 140568189677303 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 /proc/6757/statm: 24676 1156 858 1 0 16800 0 [pid=6757/tid=6762] ppid=6751 vsize=98704 memory=-3103912127665269909 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6762/stat : 6762 (java) D 6751 6757 6698 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 2 0 413991825 101072896 1156 33554432000 4194304 4196468 140735387973840 140568193914208 140568182356525 0 0 4096 0 18446744072101572132 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 98704 KiB Current children cumulated memory: 4624 KiB [startup+0.211369 s]* /proc/loadavg: 0.00 0.01 0.05 4/209 6770 /proc/meminfo: memFree=25722096/32770624 swapFree=66959224/67108860 [pid=6757] ppid=6751 vsize=9940964 memory=18856 CPUtime=0.02 cores=1,3,5,7 /proc/6757/stat : 6757 (java) S 6751 6757 6698 0 -1 1077944320 3512 0 0 0 1 1 0 0 20 0 6 0 413991815 10179547136 4714 33554432000 4194304 4196468 140735387973840 140735387956384 140568189677303 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 /proc/6757/statm: 2485241 4714 1952 1 0 2473679 0 [pid=6757/tid=6762] ppid=6751 vsize=9957044 memory=7377246124687064083 CPUtime=0.01 cores=1,3,5,7 /proc/6757/task/6762/stat : 6762 (java) R 6751 6757 6698 0 -1 4202560 2279 0 0 0 1 0 0 0 20 0 6 0 413991825 10196013056 4780 33554432000 4194304 4196468 140735387973840 140568193916672 140568175190013 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6767] ppid=6751 vsize=9957044 memory=4211974384751984010 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6767/stat : 6767 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 413991835 10196013056 4780 33554432000 4194304 4196468 140735387973840 140568115751440 140568189687509 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6768] ppid=6751 vsize=9957044 memory=140658547193472 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6768/stat : 6768 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 413991835 10196013056 4780 33554432000 4194304 4196468 140735387973840 140568114698896 140568189687509 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6769] ppid=6751 vsize=9957044 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6769/stat : 6769 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 413991835 10196013056 4780 33554432000 4194304 4196468 140735387973840 140568113645840 140568189687509 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6770] ppid=6751 vsize=9957044 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6770/stat : 6770 (java) S 6751 6757 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 413991835 10196013056 4780 33554432000 4194304 4196468 140735387973840 140568112593296 140568189687509 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 Current children cumulated CPU time: 0.02 s Current children cumulated vsize: 9940964 KiB Current children cumulated memory: 18856 KiB [startup+0.309722 s]* /proc/loadavg: 0.00 0.01 0.05 2/215 6776 /proc/meminfo: memFree=25713892/32770624 swapFree=66959224/67108860 [pid=6757] ppid=6751 vsize=10260324 memory=20576 CPUtime=0.04 cores=1,3,5,7 /proc/6757/stat : 6757 (java) S 6751 6757 6698 0 -1 1077944320 4031 0 0 0 3 1 0 0 20 0 9 0 413991815 10506571776 5144 33554432000 4194304 4196468 140735387973840 140735387956384 140568189677303 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 /proc/6757/statm: 2565081 5144 2188 1 0 2527622 0 [pid=6757/tid=6762] ppid=6751 vsize=10260324 memory=140658434250064 CPUtime=0.03 cores=1,3,5,7 /proc/6757/task/6762/stat : 6762 (java) D 6751 6757 6698 0 -1 1077944384 2679 0 0 0 3 0 0 0 20 0 9 0 413991825 10506571776 5144 33554432000 4194304 4196468 140735387973840 140568193912344 140568182355317 0 4 0 16800971 18446744072101572132 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6767] ppid=6751 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6767/stat : 6767 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413991835 10506571776 5144 33554432000 4194304 4196468 140735387973840 140568115751440 140568189687509 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6768] ppid=6751 vsize=10260324 memory=140658547193472 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6768/stat : 6768 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413991835 10506571776 5144 33554432000 4194304 4196468 140735387973840 140568114698896 140568189687509 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6769] ppid=6751 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6769/stat : 6769 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413991835 10506571776 5144 33554432000 4194304 4196468 140735387973840 140568113645840 140568189687509 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6770] ppid=6751 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6770/stat : 6770 (java) S 6751 6757 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413991835 10506571776 5144 33554432000 4194304 4196468 140735387973840 140568112593296 140568189687509 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6772] ppid=6751 vsize=10260324 memory=140658547193472 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6772/stat : 6772 (java) S 6751 6757 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413991837 10506571776 5144 33554432000 4194304 4196468 140735387973840 140567224740592 140568189688450 0 0 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6774] ppid=6751 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6774/stat : 6774 (java) S 6751 6757 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 413991837 10506571776 5144 33554432000 4194304 4196468 140735387973840 140567223686816 140568189687509 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6776] ppid=6751 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6776/stat : 6776 (java) S 6751 6757 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 413991837 10506571776 5144 33554432000 4194304 4196468 140735387973840 140567222633712 140568189687509 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 Current children cumulated CPU time: 0.04 s Current children cumulated vsize: 10260324 KiB Current children cumulated memory: 20576 KiB [startup+0.704608 s] /proc/loadavg: 0.00 0.01 0.05 3/227 6788 /proc/meminfo: memFree=25692260/32770624 swapFree=66959224/67108860 [pid=6757] ppid=6751 vsize=10659884 memory=46740 CPUtime=0.66 cores=1,3,5,7 /proc/6757/stat : 6757 (java) S 6751 6757 6698 0 -1 1077944320 11388 0 0 0 62 4 0 0 20 0 15 0 413991815 10915721216 11685 33554432000 4194304 4196468 140735387973840 140735387956384 140568189677303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 /proc/6757/statm: 2664971 11685 3057 1 0 2627468 0 [pid=6757/tid=6762] ppid=6751 vsize=10659884 memory=0 CPUtime=0.38 cores=1,3,5,7 /proc/6757/task/6762/stat : 6762 (java) R 6751 6757 6698 0 -1 4202560 7386 0 0 0 35 3 0 0 20 0 15 0 413991825 10915721216 11685 33554432000 4194304 4196468 140735387973840 140568193909168 140568189699229 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6767] ppid=6751 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6767/stat : 6767 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991835 10915721216 11685 33554432000 4194304 4196468 140735387973840 140568115751440 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6768] ppid=6751 vsize=10659884 memory=2388 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6768/stat : 6768 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991835 10915721216 11685 33554432000 4194304 4196468 140735387973840 140568114698896 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6769] ppid=6751 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6769/stat : 6769 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991835 10915721216 11685 33554432000 4194304 4196468 140735387973840 140568113645840 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6770] ppid=6751 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6770/stat : 6770 (java) S 6751 6757 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413991835 10915721216 11685 33554432000 4194304 4196468 140735387973840 140568112593296 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6772] ppid=6751 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6772/stat : 6772 (java) S 6751 6757 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413991837 10915721216 11685 33554432000 4194304 4196468 140735387973840 140567224740592 140568189688450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6774] ppid=6751 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6774/stat : 6774 (java) S 6751 6757 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413991837 10915721216 11685 33554432000 4194304 4196468 140735387973840 140567223686816 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6776] ppid=6751 vsize=10659884 memory=5968 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6776/stat : 6776 (java) S 6751 6757 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413991837 10915721216 11685 33554432000 4194304 4196468 140735387973840 140567222633712 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6777] ppid=6751 vsize=10659884 memory=1060 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6777/stat : 6777 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413991849 10915721216 11685 33554432000 4194304 4196468 140735387973840 140567221582288 140568189695899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6778] ppid=6751 vsize=10659884 memory=2828 CPUtime=0.07 cores=1,3,5,7 /proc/6757/task/6778/stat : 6778 (java) R 6751 6757 6698 0 -1 4202560 941 0 0 0 7 0 0 0 20 0 15 0 413991849 10915721216 11685 33554432000 4194304 4196468 140735387973840 140567220513800 140568174596234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6779] ppid=6751 vsize=10659884 memory=1216 CPUtime=0.07 cores=1,3,5,7 /proc/6757/task/6779/stat : 6779 (java) R 6751 6757 6698 0 -1 4202560 721 0 0 0 7 0 0 0 20 0 15 0 413991849 10915721216 11685 33554432000 4194304 4196468 140735387973840 140567219462328 140568189689238 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6780] ppid=6751 vsize=10659884 memory=984 CPUtime=0.12 cores=1,3,5,7 /proc/6757/task/6780/stat : 6780 (java) R 6751 6757 6698 0 -1 1077944384 981 0 0 0 12 0 0 0 20 0 15 0 413991849 10915721216 11685 33554432000 4194304 4196468 140735387973840 140567218419056 140568189687509 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6785] ppid=6751 vsize=10659884 memory=14004 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6785/stat : 6785 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413991849 10915721216 11685 33554432000 4194304 4196468 140735387973840 140567217371488 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6787] ppid=6751 vsize=10659884 memory=21172 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6787/stat : 6787 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991850 10915721216 11685 33554432000 4194304 4196468 140735387973840 140567216319536 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 Current children cumulated CPU time: 0.66 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 46740 KiB [startup+1.50073 s] /proc/loadavg: 0.00 0.01 0.05 4/228 6790 /proc/meminfo: memFree=25636944/32770624 swapFree=66959224/67108860 [pid=6757] ppid=6751 vsize=10663980 memory=71504 CPUtime=1.61 cores=1,3,5,7 /proc/6757/stat : 6757 (java) S 6751 6757 6698 0 -1 1077944320 15503 0 0 0 155 6 0 0 20 0 15 0 413991815 10919915520 17876 33554432000 4194304 4196468 140735387973840 140735387956384 140568189677303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 /proc/6757/statm: 2665995 17876 3079 1 0 2628492 0 [pid=6757/tid=6762] ppid=6751 vsize=10663980 memory=140658547193472 CPUtime=1.16 cores=1,3,5,7 /proc/6757/task/6762/stat : 6762 (java) R 6751 6757 6698 0 -1 4202560 10840 0 0 0 112 4 0 0 20 0 15 0 413991825 10919915520 17876 33554432000 4194304 4196468 140735387973840 140568193905168 140568172870019 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6767] ppid=6751 vsize=10663980 memory=140660178944572 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6767/stat : 6767 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991835 10919915520 17876 33554432000 4194304 4196468 140735387973840 140568115751440 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6768] ppid=6751 vsize=10663980 memory=140660178944573 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6768/stat : 6768 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991835 10919915520 17876 33554432000 4194304 4196468 140735387973840 140568114698896 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6769] ppid=6751 vsize=10663980 memory=140660178944574 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6769/stat : 6769 (java) S 6751 6757 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413991835 10919915520 17876 33554432000 4194304 4196468 140735387973840 140568113645840 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6770] ppid=6751 vsize=10663980 memory=5968 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6770/stat : 6770 (java) S 6751 6757 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413991835 10919915520 17876 33554432000 4194304 4196468 140735387973840 140568112593296 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6772] ppid=6751 vsize=10663980 memory=1060 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6772/stat : 6772 (java) S 6751 6757 6698 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 413991837 10919915520 17876 33554432000 4194304 4196468 140735387973840 140567224740592 140568189688450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6774] ppid=6751 vsize=10663980 memory=2828 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6774/stat : 6774 (java) S 6751 6757 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413991837 10919915520 17876 33554432000 4194304 4196468 140735387973840 140567223686816 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6776] ppid=6751 vsize=10663980 memory=1216 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6776/stat : 6776 (java) S 6751 6757 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413991837 10919915520 17876 33554432000 4194304 4196468 140735387973840 140567222633712 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6777] ppid=6751 vsize=10663980 memory=984 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6777/stat : 6777 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413991849 10919915520 17876 33554432000 4194304 4196468 140735387973840 140567221582288 140568189695899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6778] ppid=6751 vsize=10663980 memory=2008 CPUtime=0.13 cores=1,3,5,7 /proc/6757/task/6778/stat : 6778 (java) S 6751 6757 6698 0 -1 1077944384 1408 0 0 0 13 0 0 0 20 0 15 0 413991849 10919915520 17876 33554432000 4194304 4196468 140735387973840 140567220529392 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6779] ppid=6751 vsize=10663980 memory=1436 CPUtime=0.1 cores=1,3,5,7 /proc/6757/task/6779/stat : 6779 (java) S 6751 6757 6698 0 -1 1077944384 734 0 0 0 10 0 0 0 20 0 15 0 413991849 10919915520 17876 33554432000 4194304 4196468 140735387973840 140567219476848 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6780] ppid=6751 vsize=10663980 memory=580 CPUtime=0.18 cores=1,3,5,7 /proc/6757/task/6780/stat : 6780 (java) S 6751 6757 6698 0 -1 1077944384 1158 0 0 0 18 0 0 0 20 0 15 0 413991849 10919915520 17876 33554432000 4194304 4196468 140735387973840 140567218423792 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6785] ppid=6751 vsize=10663980 memory=1720 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6785/stat : 6785 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413991849 10919915520 17876 33554432000 4194304 4196468 140735387973840 140567217371488 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6787] ppid=6751 vsize=10663980 memory=10604 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6787/stat : 6787 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413991850 10919915520 17876 33554432000 4194304 4196468 140735387973840 140567216319536 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 Current children cumulated CPU time: 1.61 s Current children cumulated vsize: 10663980 KiB Current children cumulated memory: 71504 KiB [startup+3.11062 s] /proc/loadavg: 0.00 0.01 0.05 10/230 6792 /proc/meminfo: memFree=25359520/32770624 swapFree=66959224/67108860 [pid=6757] ppid=6751 vsize=10748324 memory=166716 CPUtime=5.09 cores=1,3,5,7 /proc/6757/stat : 6757 (java) S 6751 6757 6698 0 -1 1077944320 27861 0 0 0 495 14 0 0 20 0 16 0 413991815 11006283776 41679 33554432000 4194304 4196468 140735387973840 140735387956384 140568189677303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 /proc/6757/statm: 2687081 41679 3347 1 0 2647217 0 [pid=6757/tid=6762] ppid=6751 vsize=10748324 memory=3058660135923630176 CPUtime=1.85 cores=1,3,5,7 /proc/6757/task/6762/stat : 6762 (java) S 6751 6757 6698 0 -1 1077944384 13767 0 0 0 179 6 0 0 20 0 16 0 413991825 11006283776 41679 33554432000 4194304 4196468 140735387973840 140568193920176 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6767] ppid=6751 vsize=10748324 memory=281316868227312 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6767/stat : 6767 (java) S 6751 6757 6698 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 413991835 11006283776 41679 33554432000 4194304 4196468 140735387973840 140568115751440 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6768] ppid=6751 vsize=10748324 memory=4778389918060652848 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6768/stat : 6768 (java) S 6751 6757 6698 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 16 0 413991835 11006283776 41679 33554432000 4194304 4196468 140735387973840 140568114698896 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6769] ppid=6751 vsize=10748324 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6769/stat : 6769 (java) S 6751 6757 6698 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 413991835 11006283776 41679 33554432000 4194304 4196468 140735387973840 140568113645840 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6770] ppid=6751 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6770/stat : 6770 (java) S 6751 6757 6698 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 413991835 11006283776 41679 33554432000 4194304 4196468 140735387973840 140568112593296 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6772] ppid=6751 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/6757/task/6772/stat : 6772 (java) S 6751 6757 6698 0 -1 1077944384 700 0 0 0 1 0 0 0 20 0 16 0 413991837 11006283776 41679 33554432000 4194304 4196468 140735387973840 140567224740592 140568189688450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6774] ppid=6751 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6774/stat : 6774 (java) S 6751 6757 6698 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 41679 33554432000 4194304 4196468 140735387973840 140567223686880 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6776] ppid=6751 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6776/stat : 6776 (java) S 6751 6757 6698 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 41679 33554432000 4194304 4196468 140735387973840 140567222633728 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6777] ppid=6751 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6777/stat : 6777 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 41679 33554432000 4194304 4196468 140735387973840 140567221582288 140568189695899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6778] ppid=6751 vsize=10748324 memory=3620 CPUtime=0.89 cores=1,3,5,7 /proc/6757/task/6778/stat : 6778 (java) R 6751 6757 6698 0 -1 4202560 3451 0 0 0 89 0 0 0 20 0 16 0 413991849 11006283776 41679 33554432000 4194304 4196468 140735387973840 140567220509800 140568173580339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6779] ppid=6751 vsize=10748324 memory=2372 CPUtime=0.84 cores=1,3,5,7 /proc/6757/task/6779/stat : 6779 (java) R 6751 6757 6698 0 -1 4202560 2411 0 0 0 83 1 0 0 20 0 16 0 413991849 11006283776 41679 33554432000 4194304 4196468 140735387973840 140567219462312 140568174075756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6780] ppid=6751 vsize=10748324 memory=288230621803970871 CPUtime=0.6 cores=1,3,5,7 /proc/6757/task/6780/stat : 6780 (java) S 6751 6757 6698 0 -1 1077944384 2290 0 0 0 59 1 0 0 20 0 16 0 413991849 11006283776 41679 33554432000 4194304 4196468 140735387973840 140567218423792 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6785] ppid=6751 vsize=10748324 memory=15823283127847324 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6785/stat : 6785 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 41679 33554432000 4194304 4196468 140735387973840 140567217371488 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6787] ppid=6751 vsize=10748324 memory=7007706849797497172 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6787/stat : 6787 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991850 11006283776 41679 33554432000 4194304 4196468 140735387973840 140567216319536 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6791] ppid=6751 vsize=10748324 memory=4639927396573659232 CPUtime=0.79 cores=1,3,5,7 /proc/6757/task/6791/stat : 6791 (java) R 6751 6757 6698 0 -1 4202560 3639 0 0 0 78 1 0 0 20 0 16 0 413992040 11006283776 41679 33554432000 4194304 4196468 140735387973840 140567199649664 140567793120501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 ################ # More data... # ################ /proc/6757/task/6770/stat : 6770 (java) S 6751 6757 6698 0 -1 1077944384 7166 0 0 0 47 2 0 0 20 0 16 0 413991835 11006283776 51311 33554432000 4194304 4196468 140735387973840 140568112593296 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6772] ppid=6751 vsize=10748324 memory=205236 CPUtime=0.15 cores=1,3,5,7 /proc/6757/task/6772/stat : 6772 (java) S 6751 6757 6698 0 -1 1077944384 6093 0 0 0 12 3 0 0 20 0 16 0 413991837 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567224740592 140568189688450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6774] ppid=6751 vsize=10748324 memory=205244 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6774/stat : 6774 (java) S 6751 6757 6698 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567223686880 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6776] ppid=6751 vsize=10748324 memory=205244 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6776/stat : 6776 (java) S 6751 6757 6698 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567222633728 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6777] ppid=6751 vsize=10748324 memory=205244 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6777/stat : 6777 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567221582288 140568189695899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6778] ppid=6751 vsize=10748324 memory=205244 CPUtime=1.24 cores=1,3,5,7 /proc/6757/task/6778/stat : 6778 (java) S 6751 6757 6698 0 -1 1077944384 6966 0 0 0 123 1 0 0 20 0 16 0 413991849 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567220529392 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6779] ppid=6751 vsize=10748324 memory=8112282956445269571 CPUtime=1.16 cores=1,3,5,7 /proc/6757/task/6779/stat : 6779 (java) S 6751 6757 6698 0 -1 1077944384 5306 0 1 0 115 1 0 0 20 0 16 0 413991849 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567219476848 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6780] ppid=6751 vsize=10748324 memory=1660 CPUtime=0.69 cores=1,3,5,7 /proc/6757/task/6780/stat : 6780 (java) S 6751 6757 6698 0 -1 1077944384 10763 0 0 0 67 2 0 0 20 0 16 0 413991849 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567218423792 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6785] ppid=6751 vsize=10748324 memory=3620 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6785/stat : 6785 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567217371488 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6787] ppid=6751 vsize=10748324 memory=1660 CPUtime=0.47 cores=1,3,5,7 /proc/6757/task/6787/stat : 6787 (java) S 6751 6757 6698 0 -1 1077944384 1068 0 0 0 19 28 0 0 20 0 16 0 413991850 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567216319536 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6791] ppid=6751 vsize=10748324 memory=205244 CPUtime=2379.38 cores=1,3,5,7 /proc/6757/task/6791/stat : 6791 (java) R 6751 6757 6698 0 -1 4202560 19295 0 0 0 237935 3 0 0 20 0 16 0 413992040 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567199658448 140567793615990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 Current children cumulated CPU time: 2387.02 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 205244 KiB [startup+2442.3 s] /proc/loadavg: 1.97 2.00 1.87 3/230 7016 /proc/meminfo: memFree=23722268/32770624 swapFree=66959224/67108860 [pid=6757] ppid=6751 vsize=10748324 memory=205244 CPUtime=2447.07 cores=1,3,5,7 /proc/6757/stat : 6757 (java) S 6751 6757 6698 0 -1 1077944320 90396 0 1 0 244654 53 0 0 20 0 16 0 413991815 11006283776 51311 33554432000 4194304 4196468 140735387973840 140735387956384 140568189677303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 /proc/6757/statm: 2687081 51311 3374 1 0 2647217 0 [pid=6757/tid=6762] ppid=6751 vsize=10748324 memory=205244 CPUtime=1.85 cores=1,3,5,7 /proc/6757/task/6762/stat : 6762 (java) S 6751 6757 6698 0 -1 1077944384 13767 0 0 0 179 6 0 0 20 0 16 0 413991825 11006283776 51311 33554432000 4194304 4196468 140735387973840 140568193920176 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6767] ppid=6751 vsize=10748324 memory=205244 CPUtime=0.5 cores=1,3,5,7 /proc/6757/task/6767/stat : 6767 (java) S 6751 6757 6698 0 -1 1077944384 2575 0 0 0 48 2 0 0 20 0 16 0 413991835 11006283776 51311 33554432000 4194304 4196468 140735387973840 140568115751440 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6768] ppid=6751 vsize=10748324 memory=205244 CPUtime=0.5 cores=1,3,5,7 /proc/6757/task/6768/stat : 6768 (java) S 6751 6757 6698 0 -1 1077944384 7961 0 0 0 47 3 0 0 20 0 16 0 413991835 11006283776 51311 33554432000 4194304 4196468 140735387973840 140568114698896 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6769] ppid=6751 vsize=10748324 memory=205244 CPUtime=0.5 cores=1,3,5,7 /proc/6757/task/6769/stat : 6769 (java) S 6751 6757 6698 0 -1 1077944384 7721 0 0 0 47 3 0 0 20 0 16 0 413991835 11006283776 51311 33554432000 4194304 4196468 140735387973840 140568113645840 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6770] ppid=6751 vsize=10748324 memory=205244 CPUtime=0.5 cores=1,3,5,7 /proc/6757/task/6770/stat : 6770 (java) S 6751 6757 6698 0 -1 1077944384 7194 0 0 0 48 2 0 0 20 0 16 0 413991835 11006283776 51311 33554432000 4194304 4196468 140735387973840 140568112593296 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6772] ppid=6751 vsize=10748324 memory=205244 CPUtime=0.16 cores=1,3,5,7 /proc/6757/task/6772/stat : 6772 (java) S 6751 6757 6698 0 -1 1077944384 6255 0 0 0 13 3 0 0 20 0 16 0 413991837 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567224740592 140568189688450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6774] ppid=6751 vsize=10748324 memory=205244 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6774/stat : 6774 (java) S 6751 6757 6698 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567223686880 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6776] ppid=6751 vsize=10748324 memory=205244 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6776/stat : 6776 (java) S 6751 6757 6698 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567222633728 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6777] ppid=6751 vsize=10748324 memory=205244 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6777/stat : 6777 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567221582288 140568189695899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6778] ppid=6751 vsize=10748324 memory=205244 CPUtime=1.24 cores=1,3,5,7 /proc/6757/task/6778/stat : 6778 (java) S 6751 6757 6698 0 -1 1077944384 6966 0 0 0 123 1 0 0 20 0 16 0 413991849 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567220529392 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6779] ppid=6751 vsize=10748324 memory=205244 CPUtime=1.16 cores=1,3,5,7 /proc/6757/task/6779/stat : 6779 (java) S 6751 6757 6698 0 -1 1077944384 5306 0 1 0 115 1 0 0 20 0 16 0 413991849 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567219476848 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6780] ppid=6751 vsize=10748324 memory=205244 CPUtime=0.69 cores=1,3,5,7 /proc/6757/task/6780/stat : 6780 (java) S 6751 6757 6698 0 -1 1077944384 10764 0 0 0 67 2 0 0 20 0 16 0 413991849 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567218423792 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6785] ppid=6751 vsize=10748324 memory=205244 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6785/stat : 6785 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567217371488 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6787] ppid=6751 vsize=10748324 memory=3620 CPUtime=0.47 cores=1,3,5,7 /proc/6757/task/6787/stat : 6787 (java) S 6751 6757 6698 0 -1 1077944384 1096 0 0 0 19 28 0 0 20 0 16 0 413991850 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567216319536 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6791] ppid=6751 vsize=10748324 memory=205244 CPUtime=2439.37 cores=1,3,5,7 /proc/6757/task/6791/stat : 6791 (java) R 6751 6757 6698 0 -1 4202560 19356 0 0 0 243934 3 0 0 20 0 16 0 413992040 11006283776 51311 33554432000 4194304 4196468 140735387973840 140567199658448 140567793743286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 Current children cumulated CPU time: 2447.07 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 205244 KiB [startup+2502.3 s] /proc/loadavg: 1.99 2.00 1.87 3/229 7020 /proc/meminfo: memFree=23721112/32770624 swapFree=66959224/67108860 [pid=6757] ppid=6751 vsize=10748324 memory=207304 CPUtime=2507.1 cores=1,3,5,7 /proc/6757/stat : 6757 (java) S 6751 6757 6698 0 -1 1077944320 90871 0 1 0 250657 53 0 0 20 0 16 0 413991815 11006283776 51826 33554432000 4194304 4196468 140735387973840 140735387956384 140568189677303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 /proc/6757/statm: 2687081 51826 3374 1 0 2647217 0 [pid=6757/tid=6762] ppid=6751 vsize=10748324 memory=207304 CPUtime=1.85 cores=1,3,5,7 /proc/6757/task/6762/stat : 6762 (java) S 6751 6757 6698 0 -1 1077944384 13767 0 0 0 179 6 0 0 20 0 16 0 413991825 11006283776 51826 33554432000 4194304 4196468 140735387973840 140568193920176 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6767] ppid=6751 vsize=10748324 memory=207304 CPUtime=0.51 cores=1,3,5,7 /proc/6757/task/6767/stat : 6767 (java) S 6751 6757 6698 0 -1 1077944384 2577 0 0 0 49 2 0 0 20 0 16 0 413991835 11006283776 51826 33554432000 4194304 4196468 140735387973840 140568115751440 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6768] ppid=6751 vsize=10748324 memory=207304 CPUtime=0.51 cores=1,3,5,7 /proc/6757/task/6768/stat : 6768 (java) S 6751 6757 6698 0 -1 1077944384 7965 0 0 0 48 3 0 0 20 0 16 0 413991835 11006283776 51826 33554432000 4194304 4196468 140735387973840 140568114698896 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6769] ppid=6751 vsize=10748324 memory=207304 CPUtime=0.51 cores=1,3,5,7 /proc/6757/task/6769/stat : 6769 (java) S 6751 6757 6698 0 -1 1077944384 7727 0 0 0 48 3 0 0 20 0 16 0 413991835 11006283776 51826 33554432000 4194304 4196468 140735387973840 140568113645840 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6770] ppid=6751 vsize=10748324 memory=207304 CPUtime=0.51 cores=1,3,5,7 /proc/6757/task/6770/stat : 6770 (java) S 6751 6757 6698 0 -1 1077944384 7195 0 0 0 49 2 0 0 20 0 16 0 413991835 11006283776 51826 33554432000 4194304 4196468 140735387973840 140568112593296 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6772] ppid=6751 vsize=10748324 memory=0 CPUtime=0.16 cores=1,3,5,7 /proc/6757/task/6772/stat : 6772 (java) S 6751 6757 6698 0 -1 1077944384 6262 0 0 0 13 3 0 0 20 0 16 0 413991837 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567224740592 140568189688450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6774] ppid=6751 vsize=10748324 memory=207304 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6774/stat : 6774 (java) S 6751 6757 6698 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567223686880 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6776] ppid=6751 vsize=10748324 memory=207304 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6776/stat : 6776 (java) S 6751 6757 6698 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567222633728 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6777] ppid=6751 vsize=10748324 memory=39556 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6777/stat : 6777 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567221582288 140568189695899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6778] ppid=6751 vsize=10748324 memory=988 CPUtime=1.24 cores=1,3,5,7 /proc/6757/task/6778/stat : 6778 (java) S 6751 6757 6698 0 -1 1077944384 6966 0 0 0 123 1 0 0 20 0 16 0 413991849 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567220529392 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6779] ppid=6751 vsize=10748324 memory=2008 CPUtime=1.16 cores=1,3,5,7 /proc/6757/task/6779/stat : 6779 (java) S 6751 6757 6698 0 -1 1077944384 5306 0 1 0 115 1 0 0 20 0 16 0 413991849 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567219476848 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6780] ppid=6751 vsize=10748324 memory=21196 CPUtime=0.69 cores=1,3,5,7 /proc/6757/task/6780/stat : 6780 (java) S 6751 6757 6698 0 -1 1077944384 10924 0 0 0 67 2 0 0 20 0 16 0 413991849 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567218423792 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6785] ppid=6751 vsize=10748324 memory=14048 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6785/stat : 6785 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567217371488 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6787] ppid=6751 vsize=10748324 memory=2124 CPUtime=0.49 cores=1,3,5,7 /proc/6757/task/6787/stat : 6787 (java) S 6751 6757 6698 0 -1 1077944384 1100 0 0 0 20 29 0 0 20 0 16 0 413991850 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567216319536 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6791] ppid=6751 vsize=10748324 memory=6946346481496779883 CPUtime=2499.36 cores=1,3,5,7 /proc/6757/task/6791/stat : 6791 (java) R 6751 6757 6698 0 -1 4202560 19647 0 0 0 249933 3 0 0 20 0 16 0 413992040 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567199658448 140567793514228 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 Current children cumulated CPU time: 2507.1 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 207304 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2515.2 s] /proc/loadavg: 1.99 2.00 1.87 3/228 7097 /proc/meminfo: memFree=25485244/32770624 swapFree=66959224/67108860 [pid=6757] ppid=6751 vsize=10748324 memory=207304 CPUtime=2520.02 cores=1,3,5,7 /proc/6757/stat : 6757 (java) S 6751 6757 6698 0 -1 1077944320 90878 0 1 0 251949 53 0 0 20 0 16 0 413991815 11006283776 51826 33554432000 4194304 4196468 140735387973840 140735387956384 140568189677303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 /proc/6757/statm: 2687081 51826 3374 1 0 2647217 0 [pid=6757/tid=6762] ppid=6751 vsize=10748324 memory=207304 CPUtime=1.85 cores=1,3,5,7 /proc/6757/task/6762/stat : 6762 (java) S 6751 6757 6698 0 -1 1077944384 13767 0 0 0 179 6 0 0 20 0 16 0 413991825 11006283776 51826 33554432000 4194304 4196468 140735387973840 140568193920176 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6767] ppid=6751 vsize=10748324 memory=207304 CPUtime=0.51 cores=1,3,5,7 /proc/6757/task/6767/stat : 6767 (java) S 6751 6757 6698 0 -1 1077944384 2577 0 0 0 49 2 0 0 20 0 16 0 413991835 11006283776 51826 33554432000 4194304 4196468 140735387973840 140568115751440 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6768] ppid=6751 vsize=10748324 memory=21196 CPUtime=0.51 cores=1,3,5,7 /proc/6757/task/6768/stat : 6768 (java) S 6751 6757 6698 0 -1 1077944384 7965 0 0 0 48 3 0 0 20 0 16 0 413991835 11006283776 51826 33554432000 4194304 4196468 140735387973840 140568114698896 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6769] ppid=6751 vsize=10748324 memory=14048 CPUtime=0.52 cores=1,3,5,7 /proc/6757/task/6769/stat : 6769 (java) S 6751 6757 6698 0 -1 1077944384 7727 0 0 0 49 3 0 0 20 0 16 0 413991835 11006283776 51826 33554432000 4194304 4196468 140735387973840 140568113645840 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6770] ppid=6751 vsize=10748324 memory=2124 CPUtime=0.51 cores=1,3,5,7 /proc/6757/task/6770/stat : 6770 (java) S 6751 6757 6698 0 -1 1077944384 7196 0 0 0 49 2 0 0 20 0 16 0 413991835 11006283776 51826 33554432000 4194304 4196468 140735387973840 140568112593296 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6772] ppid=6751 vsize=10748324 memory=8112282956445269571 CPUtime=0.16 cores=1,3,5,7 /proc/6757/task/6772/stat : 6772 (java) S 6751 6757 6698 0 -1 1077944384 6264 0 0 0 13 3 0 0 20 0 16 0 413991837 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567224740592 140568189688450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6774] ppid=6751 vsize=10748324 memory=1760 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6774/stat : 6774 (java) S 6751 6757 6698 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567223686880 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6776] ppid=6751 vsize=10748324 memory=111636 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6776/stat : 6776 (java) S 6751 6757 6698 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 413991837 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567222633728 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6777] ppid=6751 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6777/stat : 6777 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567221582288 140568189695899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6778] ppid=6751 vsize=10748324 memory=0 CPUtime=1.24 cores=1,3,5,7 /proc/6757/task/6778/stat : 6778 (java) S 6751 6757 6698 0 -1 1077944384 6966 0 0 0 123 1 0 0 20 0 16 0 413991849 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567220529392 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6779] ppid=6751 vsize=10748324 memory=0 CPUtime=1.16 cores=1,3,5,7 /proc/6757/task/6779/stat : 6779 (java) S 6751 6757 6698 0 -1 1077944384 5306 0 1 0 115 1 0 0 20 0 16 0 413991849 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567219476848 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6780] ppid=6751 vsize=10748324 memory=8112282956445269571 CPUtime=0.69 cores=1,3,5,7 /proc/6757/task/6780/stat : 6780 (java) S 6751 6757 6698 0 -1 1077944384 10924 0 0 0 67 2 0 0 20 0 16 0 413991849 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567218423792 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6785] ppid=6751 vsize=10748324 memory=928 CPUtime=0 cores=1,3,5,7 /proc/6757/task/6785/stat : 6785 (java) S 6751 6757 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413991849 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567217371488 140568189687509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6787] ppid=6751 vsize=10748324 memory=1760 CPUtime=0.49 cores=1,3,5,7 /proc/6757/task/6787/stat : 6787 (java) S 6751 6757 6698 0 -1 1077944384 1102 0 0 0 20 29 0 0 20 0 16 0 413991850 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567216319536 140568189688450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 [pid=6757/tid=6791] ppid=6751 vsize=10748324 memory=832 CPUtime=2512.25 cores=1,3,5,7 /proc/6757/task/6791/stat : 6791 (java) R 6751 6757 6698 0 -1 4202560 19649 0 0 0 251222 3 0 0 20 0 16 0 413992040 11006283776 51826 33554432000 4194304 4196468 140735387973840 140567199658448 140567794002658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20209664 140735387980811 140735387980914 140735387980914 140735387983823 0 Current children cumulated CPU time: 2520.02 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 207304 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2515.21 s] # the end of solver process 6757 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.5 s, system=0.540084 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2515.21 CPU time (s): 2520.04 CPU user time (s): 2519.5 CPU system time (s): 0.540084 CPU usage (%): 100.192 Max. virtual memory (cumulated for all children) (KiB): 10748324 Max. memory (cumulated for all children) (KiB): 298460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.5 system time used= 0.540084 maximum resident set size= 298464 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91132 page faults= 1 swaps= 0 block input operations= 720 block output operations= 2880 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 60097 involuntary context switches= 969 # summary of solver processes directly reported to runsolver: # pid: 6757 # total CPU time (s): 2520.04 # total CPU user time (s): 2519.5 # total CPU system time (s): 0.540084 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.2251 second user time and 23.3073 second system time The end
Begin job on node124 at 2019-09-13 15:14:36 IDJOB=4390661 IDBENCH=120457 IDSOLVER=2832 FILE ID=node124/4390661-1568380516 RUNJOBID= node124-1568380476-6730 PBS_JOBID= 21701840 Free space on /tmp= 55368 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesT/StripPacking-T1e.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390661-1568380516/watcher-4390661-1568380516 -o /tmp/evaluation-result-4390661-1568380516/solver-4390661-1568380516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568380476-6730 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390661-1568380516.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7b8b642e131c8af917aaf97f4ae3b24 RANDOM SEED=1983991887 node124.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.47 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.47 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.47 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.47 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: 25739492 kB MemAvailable: 31816056 kB Buffers: 162752 kB Cached: 6158136 kB SwapCached: 45888 kB Active: 1109772 kB Inactive: 5260448 kB Active(anon): 3212 kB Inactive(anon): 87928 kB Active(file): 1106560 kB Inactive(file): 5172520 kB Unevictable: 108760 kB Mlocked: 108760 kB SwapTotal: 67108860 kB SwapFree: 66959224 kB Dirty: 17292 kB Writeback: 0 kB AnonPages: 114276 kB Mapped: 43272 kB Shmem: 32744 kB Slab: 254156 kB SReclaimable: 225944 kB SUnreclaim: 28212 kB KernelStack: 3344 kB PageTables: 5104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 501908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 55348 MiB End job on node124 at 2019-09-13 15:56:32