Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
AbsCon 2019-07-23 | ? (TO) | 2520.03 | 2511.71 |
Name | RectPacking/RectPacking-m1-perf/ RectPacking-perfect-033.xml |
MD5SUM | 273a3a450a7af16ef80dfed9e1af494c |
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 | 36.4974 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 48 |
Number of constraints | 51 |
Number of domains | 1 |
Minimum domain size | 288 |
Maximum domain size | 288 |
Distribution of domain sizes | [{"size":288,"count":48}] |
Minimum variable degree | 2 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 48 |
Distribution of constraint arities | [{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 50 |
Distribution of constraint types | [{"type":"intension","count":50},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
2.89/2.13 2.89/2.13 AbsCon 2 2.89/2.15 3.10/2.28 Instance 3.10/2.28 name=instance-4390536-1568383033, framework=CSP 3.10/2.28 3.10/2.28 Loading variables... 3.37/2.32 Loading constraints... 3.96/2.60 3.96/2.60 Domains 3.96/2.60 nTypes=1, nValues=13824, sizes=[288#48] 3.96/2.60 Variables 3.96/2.60 count=48, degrees=[24#46,25#1,26#1] 3.96/2.60 Constraints 3.96/2.60 count=326, nSpecific=1, arities=[1#49,2#1,4#276] 3.96/2.60 distribution=[CtrIntension#325,LE#1] 3.96/2.60 nIntStructures=(301,shared:24) 3.96/2.60 wck=0.496, cpu=2.557, mem=55M580 3.96/2.60 Solver SolverBacktrack being built... 3.96/2.60 4.31/2.62 4.31/2.62 Solver 4.31/2.62 guaranteedGAC=false 4.31/2.62 wck=0.528, cpu=2.587, mem=66M222 4.31/2.64 4.31/2.64 Preprocessing 4.31/2.64 filters=50, revisions=(51,useless=2), ccks=14084, nACremovedValues=2222, nTotalRemovedValues=2222, inconcistency=false 4.31/2.64 wck=0.013, cpu=2.601, mem=66M222 4.31/2.64 5.51/3.44 num=0, depth=23..23, filters=310, revisions=(1522,useless=1213), ccks=1905236, wck=0.812, mem=68M865 5.51/3.44 decisions=43, wrong=10, backtracks=0, failedAssignments=10, nogoods=10 5.51/3.44 5.51/3.44 num=1, depth=2..2, filters=334, revisions=(1570,useless=1238), ccks=1913219, wck=0.817, mem=68M865 5.51/3.44 decisions=67, wrong=21, backtracks=0, failedAssignments=21, nogoods=21 5.51/3.44 5.68/3.50 num=2, depth=3..3, filters=355, revisions=(1668,useless=1315), ccks=2043353, wck=0.872, mem=68M865 5.68/3.50 decisions=94, wrong=33, backtracks=0, failedAssignments=33, nogoods=33 5.68/3.50 5.68/3.52 num=3, depth=4..4, filters=383, revisions=(1815,useless=1433), ccks=2084360, wck=0.891, mem=68M865 5.68/3.52 decisions=124, wrong=46, backtracks=0, failedAssignments=46, nogoods=46 5.68/3.52 5.68/3.53 num=4, depth=4..4, filters=414, revisions=(1966,useless=1554), ccks=2119467, wck=0.907, mem=71M507 5.68/3.53 decisions=156, wrong=60, backtracks=0, failedAssignments=60, nogoods=60 5.68/3.53 6.13/4.01 num=5, depth=3..4, filters=448, revisions=(2133,useless=1687), ccks=3314895, wck=1.381, mem=71M507 6.13/4.01 decisions=192, wrong=76, backtracks=0, failedAssignments=76, nogoods=76 6.13/4.01 6.24/4.04 num=6, depth=4..4, filters=484, revisions=(2310,useless=1827), ccks=3366220, wck=1.414, mem=71M507 6.24/4.04 decisions=230, wrong=93, backtracks=0, failedAssignments=93, nogoods=93 6.24/4.04 6.24/4.07 num=7, depth=2..3, filters=525, revisions=(2423,useless=1900), ccks=3435459, wck=1.441, mem=71M507 6.24/4.07 decisions=271, wrong=112, backtracks=0, failedAssignments=112, nogoods=112 6.24/4.07 6.34/4.14 num=8, depth=3..6, filters=572, revisions=(2694,useless=2124), ccks=3607201, wck=1.51, mem=71M507 6.34/4.14 decisions=319, wrong=133, backtracks=0, failedAssignments=133, nogoods=133 6.34/4.14 6.44/4.20 num=9, depth=11..11, filters=630, revisions=(3356,useless=2728), ccks=3763027, wck=1.578, mem=74M150 6.44/4.20 decisions=376, wrong=156, backtracks=0, failedAssignments=156, nogoods=156 6.44/4.20 6.44/4.26 num=10, depth=4..13, filters=710, revisions=(3946,useless=3238), ccks=3893064, wck=1.636, mem=74M150 6.44/4.26 decisions=439, wrong=181, backtracks=0, failedAssignments=181, nogoods=181 6.44/4.26 6.44/4.29 num=11, depth=4..4, filters=768, revisions=(4201,useless=3434), ccks=3967372, wck=1.666, mem=76M792 6.44/4.29 decisions=499, wrong=209, backtracks=0, failedAssignments=209, nogoods=209 6.44/4.29 6.58/4.35 num=12, depth=2..4, filters=834, revisions=(4408,useless=3576), ccks=4130042, wck=1.729, mem=76M792 6.58/4.35 decisions=565, wrong=240, backtracks=0, failedAssignments=240, nogoods=240 6.58/4.35 7.03/4.72 num=13, depth=3..27, filters=1189, revisions=(6537,useless=5350), ccks=5050839, wck=2.091, mem=82M77 7.03/4.72 decisions=660, wrong=274, backtracks=0, failedAssignments=274, nogoods=274 7.03/4.72 7.34/5.01 num=14, depth=2..2, filters=1302, revisions=(6765,useless=5502), ccks=5831725, wck=2.389, mem=82M77 7.34/5.01 decisions=736, wrong=311, backtracks=0, failedAssignments=311, nogoods=311 7.34/5.01 7.34/5.06 num=15, depth=5..5, filters=1388, revisions=(7240,useless=5891), ccks=5945207, wck=2.436, mem=82M77 7.34/5.06 decisions=823, wrong=352, backtracks=0, failedAssignments=352, nogoods=352 7.34/5.06 19.04/16.76 num=16, depth=2..2, filters=1502, revisions=(9336,useless=7873), ccks=35948466, wck=14.138, mem=90M4 19.04/16.76 decisions=915, wrong=397, backtracks=0, failedAssignments=397, nogoods=397 19.04/16.76 19.04/16.77 num=17, depth=2..2, filters=1604, revisions=(9544,useless=7980), ccks=35983848, wck=14.149, mem=90M4 19.04/16.77 decisions=1017, wrong=447, backtracks=0, failedAssignments=447, nogoods=447 19.04/16.77 19.35/17.02 num=18, depth=11..15, filters=1874, revisions=(11348,useless=9514), ccks=36579824, wck=14.392, mem=95M289 19.35/17.02 decisions=1142, wrong=502, backtracks=0, failedAssignments=502, nogoods=502 19.35/17.02 19.35/17.09 num=19, depth=9..9, filters=2008, revisions=(12494,useless=10526), ccks=36753144, wck=14.466, mem=95M289 19.35/17.09 decisions=1273, wrong=563, backtracks=0, failedAssignments=563, nogoods=563 19.35/17.09 19.56/17.26 num=20, depth=4..16, filters=2209, revisions=(13608,useless=11437), ccks=37164380, wck=14.634, mem=97M931 19.56/17.26 decisions=1425, wrong=631, backtracks=1, failedAssignments=630, nogoods=627 19.56/17.26 19.56/17.29 num=21, depth=3..3, filters=2359, revisions=(14070,useless=11748), ccks=37249900, wck=14.666, mem=97M931 19.56/17.29 decisions=1576, wrong=705, backtracks=1, failedAssignments=704, nogoods=701 19.56/17.29 19.87/17.52 num=22, depth=2..8, filters=2551, revisions=(14715,useless=12202), ccks=37849887, wck=14.899, mem=100M574 19.87/17.52 decisions=1746, wrong=786, backtracks=1, failedAssignments=785, nogoods=782 19.87/17.52 20.07/17.72 num=23, depth=2..6, filters=2757, revisions=(15286,useless=12568), ccks=38357210, wck=15.095, mem=100M574 20.07/17.72 decisions=1930, wrong=875, backtracks=1, failedAssignments=874, nogoods=871 20.07/17.72 20.17/17.82 num=24, depth=3..4, filters=2956, revisions=(16115,useless=13198), ccks=38603212, wck=15.195, mem=103M217 20.17/17.82 decisions=2130, wrong=973, backtracks=1, failedAssignments=972, nogoods=969 20.17/17.82 20.67/18.33 num=25, depth=9..16, filters=3325, revisions=(18619,useless=15333), ccks=39879300, wck=15.704, mem=108M501 20.67/18.33 decisions=2362, wrong=1081, backtracks=1, failedAssignments=1080, nogoods=1077 20.67/18.33 21.39/19.07 num=26, depth=3..24, filters=3778, revisions=(22552,useless=18813), ccks=41698854, wck=16.444, mem=113M786 21.39/19.07 decisions=2624, wrong=1200, backtracks=1, failedAssignments=1199, nogoods=1196 21.39/19.07 21.49/19.19 num=27, depth=7..10, filters=4049, revisions=(24352,useless=20342), ccks=41980757, wck=16.563, mem=116M429 21.49/19.19 decisions=2896, wrong=1331, backtracks=1, failedAssignments=1330, nogoods=1327 21.49/19.19 21.68/19.36 num=28, depth=5..10, filters=4374, revisions=(26740,useless=22405), ccks=42385054, wck=16.736, mem=121M714 21.68/19.36 decisions=3194, wrong=1475, backtracks=1, failedAssignments=1474, nogoods=1471 21.68/19.36 22.18/19.85 num=29, depth=13..31, filters=5153, revisions=(33771,useless=28655), ccks=43481375, wck=17.222, mem=132M283 22.18/19.85 decisions=3541, wrong=1633, backtracks=1, failedAssignments=1632, nogoods=1629 22.18/19.85 22.29/19.95 num=30, depth=5..9, filters=5604, revisions=(35533,useless=29967), ccks=43729244, wck=17.323, mem=134M926 22.29/19.95 decisions=3898, wrong=1807, backtracks=1, failedAssignments=1806, nogoods=1803 22.29/19.95 22.60/20.28 num=31, depth=5..12, filters=6116, revisions=(38853,useless=32775), ccks=44508873, wck=17.652, mem=140M210 22.60/20.28 decisions=4294, wrong=1999, backtracks=2, failedAssignments=1997, nogoods=1993 22.60/20.28 23.07/20.69 num=32, depth=5..18, filters=6647, revisions=(43765,useless=37156), ccks=45433057, wck=18.069, mem=40M875 23.07/20.69 decisions=4736, wrong=2211, backtracks=3, failedAssignments=2208, nogoods=2203 23.07/20.69 23.54/21.05 num=33, depth=5..16, filters=7400, revisions=(48733,useless=41371), ccks=46264861, wck=18.425, mem=48M643 23.54/21.05 decisions=5216, wrong=2443, backtracks=3, failedAssignments=2440, nogoods=2435 23.54/21.05 24.23/21.74 num=34, depth=5..25, filters=8179, revisions=(53380,useless=45239), ccks=48031765, wck=19.118, mem=56M412 24.23/21.74 decisions=5751, wrong=2698, backtracks=3, failedAssignments=2695, nogoods=2690 24.23/21.74 24.87/22.34 num=35, depth=13..27, filters=9322, revisions=(63595,useless=54311), ccks=49391815, wck=19.714, mem=71M949 24.87/22.34 decisions=6340, wrong=2979, backtracks=3, failedAssignments=2976, nogoods=2971 24.87/22.34 25.59/23.09 num=36, depth=16..32, filters=10626, revisions=(77604,useless=67016), ccks=51065595, wck=20.467, mem=92M666 25.59/23.09 decisions=6990, wrong=3288, backtracks=3, failedAssignments=3285, nogoods=3280 25.59/23.09 26.39/23.86 num=37, depth=14..34, filters=12333, revisions=(89943,useless=77648), ccks=52802779, wck=21.232, mem=113M382 26.39/23.86 decisions=7704, wrong=3628, backtracks=3, failedAssignments=3625, nogoods=3620 26.39/23.86 27.19/24.61 num=38, depth=11..36, filters=13775, revisions=(104510,useless=90772), ccks=54496873, wck=21.987, mem=134M98 27.19/24.61 decisions=8488, wrong=4002, backtracks=3, failedAssignments=3999, nogoods=3994 27.19/24.61 29.49/26.99 num=39, depth=9..25, filters=15114, revisions=(115116,useless=100039), ccks=60359724, wck=24.365, mem=154M815 29.49/26.99 decisions=9337, wrong=4414, backtracks=4, failedAssignments=4410, nogoods=4392 29.49/26.99 30.25/27.63 num=40, depth=5..22, filters=16208, revisions=(124249,useless=108078), ccks=61850880, wck=25.007, mem=38M723 30.25/27.63 decisions=10263, wrong=4866, backtracks=4, failedAssignments=4862, nogoods=4844 30.25/27.63 31.04/28.35 num=41, depth=7..19, filters=17588, revisions=(135969,useless=118418), ccks=63509686, wck=25.723, mem=56M980 31.04/28.35 decisions=11276, wrong=5363, backtracks=4, failedAssignments=5359, nogoods=5341 31.04/28.35 32.13/29.33 num=42, depth=9..27, filters=19101, revisions=(148404,useless=129340), ccks=65839681, wck=26.704, mem=75M236 32.13/29.33 decisions=12397, wrong=5910, backtracks=4, failedAssignments=5906, nogoods=5888 32.13/29.33 33.75/30.92 num=43, depth=25..42, filters=21344, revisions=(181062,useless=159755), ccks=69419679, wck=28.291, mem=114M357 33.75/30.92 decisions=13643, wrong=6512, backtracks=4, failedAssignments=6508, nogoods=6490 33.75/30.92 35.57/32.70 num=44, depth=5..17, filters=23164, revisions=(197452,useless=174325), ccks=73926744, wck=30.074, mem=135M221 35.57/32.70 decisions=14984, wrong=7174, backtracks=6, failedAssignments=7170, nogoods=6742 35.57/32.70 36.58/33.78 num=45, depth=8..34, filters=25488, revisions=(217485,useless=192033), ccks=76378082, wck=31.153, mem=163M910 36.58/33.78 decisions=16474, wrong=7902, backtracks=6, failedAssignments=7898, nogoods=7470 36.58/33.78 38.06/35.16 num=46, depth=7..35, filters=28697, revisions=(246368,useless=217708), ccks=79407717, wck=32.535, mem=75M920 38.06/35.16 decisions=18111, wrong=8703, backtracks=6, failedAssignments=8699, nogoods=8271 38.06/35.16 39.75/36.80 num=47, depth=4..36, filters=31798, revisions=(281946,useless=250186), ccks=83032498, wck=34.174, mem=125M701 39.75/36.80 decisions=19909, wrong=9584, backtracks=6, failedAssignments=9580, nogoods=9152 39.75/36.80 41.55/38.65 num=48, depth=9..30, filters=35108, revisions=(311713,useless=276642), ccks=87313186, wck=36.028, mem=37M77 41.55/38.65 decisions=21879, wrong=10554, backtracks=6, failedAssignments=10550, nogoods=10122 41.55/38.65 43.18/40.29 num=49, depth=8..38, filters=38942, revisions=(355328,useless=316423), ccks=90926885, wck=37.667, mem=86M214 43.18/40.29 decisions=24050, wrong=11621, backtracks=7, failedAssignments=11617, nogoods=10974 43.18/40.29 44.84/41.88 num=50, depth=3..27, filters=42324, revisions=(387669,useless=345381), ccks=94535032, wck=39.252, mem=130M179 44.84/41.88 decisions=26423, wrong=12794, backtracks=7, failedAssignments=12790, nogoods=12147 44.84/41.88 46.88/43.85 num=51, depth=3..32, filters=45784, revisions=(425742,useless=379994), ccks=99026253, wck=41.225, mem=50M157 46.88/43.85 decisions=29038, wrong=14086, backtracks=8, failedAssignments=14081, nogoods=13267 46.88/43.85 48.28/45.29 num=52, depth=5..25, filters=49835, revisions=(458234,useless=408435), ccks=102265502, wck=42.669, mem=93M496 48.28/45.29 decisions=31903, wrong=15506, backtracks=8, failedAssignments=15501, nogoods=14687 48.28/45.29 50.19/47.17 num=53, depth=7..24, filters=53970, revisions=(495377,useless=441443), ccks=106562792, wck=44.547, mem=139M385 50.19/47.17 decisions=35051, wrong=17068, backtracks=13, failedAssignments=17063, nogoods=15520 50.19/47.17 52.21/49.19 num=54, depth=5..26, filters=59019, revisions=(539289,useless=480305), ccks=111049275, wck=46.562, mem=73M152 52.21/49.19 decisions=38512, wrong=18786, backtracks=13, failedAssignments=18781, nogoods=17238 52.21/49.19 54.71/51.67 num=55, depth=7..27, filters=64153, revisions=(591280,useless=527163), ccks=116713830, wck=49.05, mem=140M942 54.71/51.67 decisions=42306, wrong=20676, backtracks=26, failedAssignments=20671, nogoods=17791 54.71/51.67 57.93/54.82 num=56, depth=6..44, filters=70459, revisions=(665767,useless=595344), ccks=123451339, wck=52.193, mem=112M417 57.93/54.82 decisions=46506, wrong=22755, backtracks=28, failedAssignments=22750, nogoods=19639 57.93/54.82 59.61/56.45 num=57, depth=5..21, filters=76282, revisions=(710855,useless=634609), ccks=127221430, wck=53.829, mem=156M893 59.61/56.45 decisions=51091, wrong=25042, backtracks=38, failedAssignments=25037, nogoods=20060 59.61/56.45 62.24/59.02 num=58, depth=4..25, filters=82959, revisions=(768695,useless=685771), ccks=133029155, wck=56.393, mem=109M97 62.24/59.02 decisions=56148, wrong=27558, backtracks=44, failedAssignments=27553, nogoods=21323 62.24/59.02 65.55/62.37 num=59, depth=5..20, filters=90261, revisions=(840067,useless=749842), ccks=140448053, wck=59.741, mem=84M201 65.55/62.37 decisions=61727, wrong=30338, backtracks=56, failedAssignments=30321, nogoods=22068 65.55/62.37 68.15/65.00 num=60, depth=7..18, filters=97910, revisions=(905227,useless=807354), ccks=146530288, wck=62.375, mem=155M878 68.15/65.00 decisions=67831, wrong=33382, backtracks=92, failedAssignments=33365, nogoods=22861 68.15/65.00 71.98/68.79 num=61, depth=8..31, filters=106355, revisions=(1001028,useless=894710), ccks=155172013, wck=66.168, mem=138M21 71.98/68.79 decisions=74543, wrong=36731, backtracks=109, failedAssignments=36714, nogoods=23517 71.98/68.79 75.90/72.69 num=62, depth=5..20, filters=115449, revisions=(1088323,useless=972910), ccks=164007033, wck=70.062, mem=129M833 75.90/72.69 decisions=81960, wrong=40431, backtracks=127, failedAssignments=40398, nogoods=24284 75.90/72.69 79.33/76.06 num=63, depth=5..14, filters=123132, revisions=(1144967,useless=1021597), ccks=172378360, wck=73.431, mem=66M658 79.33/76.06 decisions=90076, wrong=44483, backtracks=198, failedAssignments=44450, nogoods=24907 79.33/76.06 84.64/81.30 num=64, depth=3..16, filters=133679, revisions=(1219024,useless=1084978), ccks=185380362, wck=78.674, mem=43M702 84.64/81.30 decisions=99004, wrong=48941, backtracks=219, failedAssignments=48907, nogoods=26248 84.64/81.30 96.15/92.87 num=65, depth=4..10, filters=146520, revisions=(1283018,useless=1136131), ccks=214494027, wck=90.243, mem=113M907 96.15/92.87 decisions=108818, wrong=53844, backtracks=272, failedAssignments=53810, nogoods=26632 96.15/92.87 98.97/95.62 num=66, depth=3..14, filters=154844, revisions=(1342929,useless=1187718), ccks=221375185, wck=92.992, mem=48M280 98.97/95.62 decisions=119615, wrong=59238, backtracks=306, failedAssignments=59204, nogoods=27060 98.97/95.62 104.56/101.15 num=67, depth=4..19, filters=172181, revisions=(1477641,useless=1305092), ccks=233843431, wck=98.521, mem=114M245 104.56/101.15 decisions=131498, wrong=65172, backtracks=333, failedAssignments=65137, nogoods=28096 104.56/101.15 118.88/115.47 num=68, depth=3..10, filters=185054, revisions=(1550532,useless=1365111), ccks=271630083, wck=112.846, mem=87M301 118.88/115.47 decisions=144558, wrong=71698, backtracks=385, failedAssignments=71663, nogoods=28515 118.88/115.47 126.01/122.55 num=69, depth=3..20, filters=204939, revisions=(1710322,useless=1505016), ccks=288133328, wck=119.924, mem=45M884 126.01/122.55 decisions=158930, wrong=78877, backtracks=476, failedAssignments=78842, nogoods=29259 126.01/122.55 133.82/130.39 num=70, depth=4..15, filters=229466, revisions=(1846500,useless=1616667), ccks=306906699, wck=127.763, mem=72M879 133.82/130.39 decisions=174735, wrong=86774, backtracks=542, failedAssignments=86739, nogoods=29904 133.82/130.39 142.24/138.72 num=71, depth=3..20, filters=253142, revisions=(2060713,useless=1807204), ccks=325850827, wck=136.099, mem=104M161 142.24/138.72 decisions=192163, wrong=95480, backtracks=586, failedAssignments=95426, nogoods=30946 142.24/138.72 172.25/168.60 num=72, depth=6..18, filters=291107, revisions=(2389405,useless=2097697), ccks=396045539, wck=165.974, mem=82M756 172.25/168.60 decisions=211862, wrong=105322, backtracks=909, failedAssignments=104981, nogoods=31764 172.25/168.60 178.71/175.04 num=73, depth=9..12, filters=315215, revisions=(2571302,useless=2255486), ccks=410871164, wck=172.418, mem=76M415 178.71/175.04 decisions=232894, wrong=115833, backtracks=964, failedAssignments=115492, nogoods=31865 178.71/175.04 185.32/181.62 num=74, depth=6..19, filters=336111, revisions=(2786724,useless=2450011), ccks=426189148, wck=178.991, mem=89M860 185.32/181.62 decisions=256033, wrong=127395, backtracks=1063, failedAssignments=127054, nogoods=32355 185.32/181.62 196.25/192.50 num=75, depth=4..19, filters=367849, revisions=(3054696,useless=2686246), ccks=450986208, wck=189.877, mem=65M427 196.25/192.50 decisions=281487, wrong=140114, backtracks=1124, failedAssignments=139772, nogoods=33292 196.25/192.50 211.97/208.22 num=76, depth=7..21, filters=398918, revisions=(3289683,useless=2889489), ccks=490688207, wck=205.595, mem=112M965 211.97/208.22 decisions=309479, wrong=154105, backtracks=1231, failedAssignments=153762, nogoods=33993 211.97/208.22 230.80/227.07 num=77, depth=6..16, filters=429275, revisions=(3470145,useless=3039593), ccks=538886939, wck=224.44, mem=40M104 230.80/227.07 decisions=340265, wrong=169494, backtracks=1554, failedAssignments=169151, nogoods=34505 230.80/227.07 245.53/241.75 num=78, depth=6..19, filters=475735, revisions=(3831082,useless=3354071), ccks=572263964, wck=239.12, mem=64M812 245.53/241.75 decisions=374136, wrong=186422, backtracks=1659, failedAssignments=186079, nogoods=35399 245.53/241.75 281.97/278.18 num=79, depth=8..17, filters=531348, revisions=(4190933,useless=3658309), ccks=662389506, wck=275.559, mem=93M856 281.97/278.18 decisions=411390, wrong=205043, backtracks=1788, failedAssignments=204700, nogoods=35795 281.97/278.18 305.94/302.06 num=80, depth=6..19, filters=587949, revisions=(4693025,useless=4103799), ccks=716846846, wck=299.436, mem=104M441 305.94/302.06 decisions=452420, wrong=225551, backtracks=1889, failedAssignments=225184, nogoods=36858 305.94/302.06 322.87/319.00 num=81, depth=8..15, filters=642166, revisions=(5055836,useless=4412394), ccks=757074819, wck=316.374, mem=78M993 322.87/319.00 decisions=497495, wrong=248083, backtracks=2136, failedAssignments=247716, nogoods=37491 322.87/319.00 347.75/343.79 num=82, depth=2..17, filters=718117, revisions=(5547812,useless=4828420), ccks=815223952, wck=341.166, mem=50M190 347.75/343.79 decisions=547081, wrong=272869, backtracks=2532, failedAssignments=272501, nogoods=38966 347.75/343.79 363.72/359.64 num=83, depth=9..17, filters=769849, revisions=(5972887,useless=5201659), ccks=853517564, wck=357.019, mem=78M134 363.72/359.64 decisions=601628, wrong=300136, backtracks=2803, failedAssignments=299765, nogoods=39718 363.72/359.64 396.41/392.29 num=84, depth=7..18, filters=871858, revisions=(6597268,useless=5724031), ccks=930782979, wck=389.669, mem=54M654 396.41/392.29 decisions=661621, wrong=330126, backtracks=3066, failedAssignments=329755, nogoods=40326 396.41/392.29 443.11/438.86 num=85, depth=14..18, filters=980552, revisions=(7354608,useless=6372677), ccks=1044072511, wck=436.239, mem=60M177 443.11/438.86 decisions=727614, wrong=363115, backtracks=4230, failedAssignments=362744, nogoods=40841 443.11/438.86 477.80/473.42 num=86, depth=4..18, filters=1070194, revisions=(8099942,useless=7028252), ccks=1126602726, wck=470.796, mem=61M331 477.80/473.42 decisions=800207, wrong=399405, backtracks=4528, failedAssignments=399032, nogoods=41778 477.80/473.42 514.24/509.73 num=87, depth=3..18, filters=1184953, revisions=(8956648,useless=7770198), ccks=1207261528, wck=507.11, mem=67M893 514.24/509.73 decisions=880070, wrong=439329, backtracks=4781, failedAssignments=438949, nogoods=42751 514.24/509.73 547.05/542.43 num=88, depth=9..18, filters=1294707, revisions=(9660403,useless=8364200), ccks=1283670482, wck=539.804, mem=51M889 547.05/542.43 decisions=967903, wrong=483238, backtracks=5055, failedAssignments=482858, nogoods=43715 547.05/542.43 599.39/594.68 num=89, depth=3..18, filters=1425086, revisions=(10654187,useless=9227428), ccks=1404017858, wck=592.051, mem=59M548 599.39/594.68 decisions=1064518, wrong=531538, backtracks=5368, failedAssignments=531158, nogoods=45009 599.39/594.68 722.94/718.07 num=90, depth=5..16, filters=1579908, revisions=(11765829,useless=10183724), ccks=1709009154, wck=715.442, mem=41M376 722.94/718.07 decisions=1170791, wrong=584668, backtracks=5943, failedAssignments=584288, nogoods=45834 722.94/718.07 779.91/774.94 num=91, depth=5..16, filters=1690716, revisions=(12497748,useless=10800469), ccks=1850536112, wck=772.311, mem=71M846 779.91/774.94 decisions=1287685, wrong=643111, backtracks=6302, failedAssignments=642731, nogoods=46423 779.91/774.94 854.49/849.23 num=92, depth=1..20, filters=1891518, revisions=(14214569,useless=12316402), ccks=2011404451, wck=846.602, mem=68M589 854.49/849.23 decisions=1416276, wrong=707398, backtracks=6688, failedAssignments=707018, nogoods=47475 854.49/849.23 995.79/990.46 num=93, depth=5..12, filters=2040533, revisions=(14890634,useless=12843453), ccks=2361731051, wck=987.837, mem=67M739 995.79/990.46 decisions=1557716, wrong=778114, backtracks=8622, failedAssignments=777734, nogoods=48050 995.79/990.46 1080.50/1075.03 num=94, depth=1..13, filters=2165098, revisions=(15701743,useless=13523816), ccks=2574901393, wck=1072.399, mem=81M894 1080.50/1075.03 decisions=1713298, wrong=855901, backtracks=9068, failedAssignments=855521, nogoods=48490 1080.50/1075.03 1146.45/1140.74 num=95, depth=3..20, filters=2389559, revisions=(17557843,useless=15155454), ccks=2720376654, wck=1138.11, mem=75M397 1146.45/1140.74 decisions=1884482, wrong=941486, backtracks=9829, failedAssignments=941087, nogoods=49120 1146.45/1140.74 1224.58/1218.60 num=96, depth=6..17, filters=2587673, revisions=(19190931,useless=16590347), ccks=2898585955, wck=1215.975, mem=50M663 1224.58/1218.60 decisions=2072804, wrong=1035640, backtracks=12644, failedAssignments=1035210, nogoods=50132 1224.58/1218.60 1598.26/1592.08 num=97, depth=3..10, filters=2816888, revisions=(20456191,useless=17626392), ccks=3838314473, wck=1589.459, mem=47M587 1598.26/1592.08 decisions=2279882, wrong=1139175, backtracks=13664, failedAssignments=1138745, nogoods=50816 1598.26/1592.08 1709.25/1702.69 num=98, depth=2..20, filters=3118463, revisions=(23001543,useless=19870173), ccks=4083990848, wck=1700.065, mem=74M686 1709.25/1702.69 decisions=2508055, wrong=1253253, backtracks=14348, failedAssignments=1252634, nogoods=51989 1709.25/1702.69 2069.87/2062.92 num=99, depth=4..10, filters=3398378, revisions=(24134853,useless=20723560), ccks=4984786783, wck=2060.297, mem=44M625 2069.87/2062.92 decisions=2758647, wrong=1378546, backtracks=16140, failedAssignments=1377912, nogoods=52447 2069.87/2062.92 2224.54/2217.03 num=100, depth=3..20, filters=3857263, revisions=(27329660,useless=23459479), ccks=5325846827, wck=2214.401, mem=90M68 2224.54/2217.03 decisions=3034333, wrong=1516382, backtracks=16913, failedAssignments=1515718, nogoods=53044 2224.54/2217.03 2366.98/2359.21 num=101, depth=4..19, filters=4154289, revisions=(29441138,useless=25273026), ccks=5665169261, wck=2356.583, mem=67M486 2366.98/2359.21 decisions=3337522, wrong=1667969, backtracks=21911, failedAssignments=1667304, nogoods=54027 2366.98/2359.21
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: 16375 MiB (13551 MiB free) memory of node 1: 16384 MiB (12651 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390536-1568383033/watcher-4390536-1568383033 -o /tmp/evaluation-result-4390536-1568383033/solver-4390536-1568383033 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323894939-835 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390536-1568383033.xml -cm running on 4 cores: 0-3 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 solver pid=1337, runsolver pid=1334 Current StackSize limit: 8192 KiB [startup+0.100091 s]* /proc/loadavg: 1.96 1.96 1.87 4/228 1352 /proc/meminfo: memFree=26817276/32770688 swapFree=66919992/67108860 [pid=1337] ppid=1334 vsize=10659884 memory=27304 CPUtime=0.11 cores=0-3 /proc/1337/stat : 1337 (java) S 1334 1337 804 0 -1 1077944320 5309 0 0 0 11 0 0 0 20 0 15 0 414309607 10915721216 6826 33554432000 4194304 4196468 140729342481616 140729342464160 139717337214711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 /proc/1337/statm: 2664971 6826 2847 1 0 2627468 0 [pid=1337/tid=1339] ppid=1334 vsize=10659884 memory=8389772277269004345 CPUtime=0.09 cores=0-3 /proc/1337/task/1339/stat : 1339 (java) R 1334 1337 804 0 -1 4202560 3208 0 0 0 9 0 0 0 20 0 15 0 414309607 10915721216 6892 33554432000 4194304 4196468 140729342481616 139717341448048 139716975224714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1340] ppid=1334 vsize=10659884 memory=288292155783643159 CPUtime=0 cores=0-3 /proc/1337/task/1340/stat : 1340 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716943600656 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1341] ppid=1334 vsize=10659884 memory=139845799177768 CPUtime=0 cores=0-3 /proc/1337/task/1341/stat : 1341 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716942548112 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1342] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1342/stat : 1342 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716941495056 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1343] ppid=1334 vsize=10659884 memory=-1 CPUtime=0 cores=0-3 /proc/1337/task/1343/stat : 1343 (java) S 1334 1337 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716940442512 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1344] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1344/stat : 1344 (java) S 1334 1337 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716372453616 139717337225858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1345] ppid=1334 vsize=10659884 memory=-1 CPUtime=0 cores=0-3 /proc/1337/task/1345/stat : 1345 (java) S 1334 1337 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716371399840 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1346] ppid=1334 vsize=10659884 memory=139845799159424 CPUtime=0 cores=0-3 /proc/1337/task/1346/stat : 1346 (java) S 1334 1337 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716370346736 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1347] ppid=1334 vsize=10659884 memory=-1 CPUtime=0 cores=0-3 /proc/1337/task/1347/stat : 1347 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309613 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716369295312 139717337233307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1348] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1348/stat : 1348 (java) S 1334 1337 804 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 414309613 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716368243440 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1349] ppid=1334 vsize=10659884 memory=-1 CPUtime=0 cores=0-3 /proc/1337/task/1349/stat : 1349 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309613 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716367190896 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1350] ppid=1334 vsize=10659884 memory=0 CPUtime=0.01 cores=0-3 /proc/1337/task/1350/stat : 1350 (java) R 1334 1337 804 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 414309613 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716366137840 139717321295198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1351] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1351/stat : 1351 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309613 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716365085536 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1352] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1352/stat : 1352 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309614 10915721216 6892 33554432000 4194304 4196468 140729342481616 139716364032560 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 27304 KiB [startup+0.211709 s]* /proc/loadavg: 1.96 1.96 1.87 5/228 1352 /proc/meminfo: memFree=26809276/32770688 swapFree=66919992/67108860 [pid=1337] ppid=1334 vsize=10660092 memory=35424 CPUtime=0.33 cores=0-3 /proc/1337/stat : 1337 (java) S 1334 1337 804 0 -1 1077944320 6955 0 0 0 32 1 0 0 20 0 15 0 414309607 10915934208 8856 33554432000 4194304 4196468 140729342481616 140729342464160 139717337214711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 /proc/1337/statm: 2665023 8856 2989 1 0 2627520 0 [pid=1337/tid=1339] ppid=1334 vsize=10659884 memory=8389772277269004345 CPUtime=0.19 cores=0-3 /proc/1337/task/1339/stat : 1339 (java) R 1334 1337 804 0 -1 4202560 3886 0 0 0 19 0 0 0 20 0 15 0 414309607 10915721216 8839 33554432000 4194304 4196468 140729342481616 139717341446320 139717337236637 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1340] ppid=1334 vsize=10659884 memory=288292155783643159 CPUtime=0 cores=0-3 /proc/1337/task/1340/stat : 1340 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716943600656 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1341] ppid=1334 vsize=10659884 memory=139845799177768 CPUtime=0 cores=0-3 /proc/1337/task/1341/stat : 1341 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716942548112 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1342] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1342/stat : 1342 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716941495056 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1343] ppid=1334 vsize=10659884 memory=-1 CPUtime=0 cores=0-3 /proc/1337/task/1343/stat : 1343 (java) S 1334 1337 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716940442512 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1344] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1344/stat : 1344 (java) S 1334 1337 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716372453616 139717337225858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1345] ppid=1334 vsize=10659884 memory=-1 CPUtime=0 cores=0-3 /proc/1337/task/1345/stat : 1345 (java) S 1334 1337 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716371399840 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1346] ppid=1334 vsize=10659884 memory=139845799159424 CPUtime=0 cores=0-3 /proc/1337/task/1346/stat : 1346 (java) S 1334 1337 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716370346736 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1347] ppid=1334 vsize=10659884 memory=-1 CPUtime=0 cores=0-3 /proc/1337/task/1347/stat : 1347 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309613 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716369295312 139717337233307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1348] ppid=1334 vsize=10659884 memory=0 CPUtime=0.04 cores=0-3 /proc/1337/task/1348/stat : 1348 (java) S 1334 1337 804 0 -1 1077944384 715 0 0 0 4 0 0 0 20 0 15 0 414309613 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716368243440 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1349] ppid=1334 vsize=10659884 memory=-1 CPUtime=0.02 cores=0-3 /proc/1337/task/1349/stat : 1349 (java) S 1334 1337 804 0 -1 1077944384 232 0 0 0 2 0 0 0 20 0 15 0 414309613 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716367190896 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1350] ppid=1334 vsize=10659884 memory=0 CPUtime=0.06 cores=0-3 /proc/1337/task/1350/stat : 1350 (java) S 1334 1337 804 0 -1 1077944384 763 0 0 0 6 0 0 0 20 0 15 0 414309613 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716366137840 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1351] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1351/stat : 1351 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309613 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716365085536 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1352] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1352/stat : 1352 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309614 10915721216 8839 33554432000 4194304 4196468 140729342481616 139716364032560 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10660092 KiB Current children cumulated memory: 35424 KiB [startup+0.31137 s]* /proc/loadavg: 1.96 1.96 1.87 3/228 1352 /proc/meminfo: memFree=26808904/32770688 swapFree=66919992/67108860 [pid=1337] ppid=1334 vsize=10659884 memory=37404 CPUtime=0.45 cores=0-3 /proc/1337/stat : 1337 (java) S 1334 1337 804 0 -1 1077944320 7037 0 0 0 44 1 0 0 20 0 15 0 414309607 10915721216 9351 33554432000 4194304 4196468 140729342481616 140729342464160 139717337214711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 /proc/1337/statm: 2664971 9351 2989 1 0 2627468 0 [pid=1337/tid=1339] ppid=1334 vsize=10659884 memory=1398722017469774279 CPUtime=0.29 cores=0-3 /proc/1337/task/1339/stat : 1339 (java) R 1334 1337 804 0 -1 4202560 3932 0 0 0 29 0 0 0 20 0 15 0 414309607 10915721216 9351 33554432000 4194304 4196468 140729342481616 139717341446480 139717337236637 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1340] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1340/stat : 1340 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716943600656 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1341] ppid=1334 vsize=10659884 memory=4294969536 CPUtime=0 cores=0-3 /proc/1337/task/1341/stat : 1341 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716942548112 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1342] ppid=1334 vsize=10659884 memory=2241 CPUtime=0 cores=0-3 /proc/1337/task/1342/stat : 1342 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716941495056 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1343] ppid=1334 vsize=10659884 memory=-1 CPUtime=0 cores=0-3 /proc/1337/task/1343/stat : 1343 (java) S 1334 1337 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716940442512 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1344] ppid=1334 vsize=10659884 memory=279691357513696 CPUtime=0 cores=0-3 /proc/1337/task/1344/stat : 1344 (java) S 1334 1337 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716372453616 139717337225858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1345] ppid=1334 vsize=10659884 memory=67 CPUtime=0 cores=0-3 /proc/1337/task/1345/stat : 1345 (java) S 1334 1337 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716371399840 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1346] ppid=1334 vsize=10659884 memory=139845799159424 CPUtime=0 cores=0-3 /proc/1337/task/1346/stat : 1346 (java) S 1334 1337 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716370346736 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1347] ppid=1334 vsize=10659884 memory=67 CPUtime=0 cores=0-3 /proc/1337/task/1347/stat : 1347 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309613 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716369295312 139717337233307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1348] ppid=1334 vsize=10659884 memory=0 CPUtime=0.05 cores=0-3 /proc/1337/task/1348/stat : 1348 (java) R 1334 1337 804 0 -1 4202560 745 0 0 0 5 0 0 0 20 0 15 0 414309613 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716368243440 139717316471336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1349] ppid=1334 vsize=10659884 memory=139845678664143 CPUtime=0.03 cores=0-3 /proc/1337/task/1349/stat : 1349 (java) R 1334 1337 804 0 -1 1077944384 243 0 0 0 3 0 0 0 20 0 15 0 414309613 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716367190896 139717337225858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1350] ppid=1334 vsize=10659884 memory=279691357439440 CPUtime=0.07 cores=0-3 /proc/1337/task/1350/stat : 1350 (java) R 1334 1337 804 0 -1 4202560 774 0 0 0 7 0 0 0 20 0 15 0 414309613 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716366137840 139717321295198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1351] ppid=1334 vsize=10659884 memory=279691357339176 CPUtime=0 cores=0-3 /proc/1337/task/1351/stat : 1351 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309613 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716365085536 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1352] ppid=1334 vsize=10659884 memory=11 CPUtime=0 cores=0-3 /proc/1337/task/1352/stat : 1352 (java) R 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309614 10915721216 9351 33554432000 4194304 4196468 140729342481616 139716364032560 139717337225858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 Current children cumulated CPU time: 0.45 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 37404 KiB [startup+0.700765 s] /proc/loadavg: 1.96 1.96 1.87 3/228 1352 /proc/meminfo: memFree=26794760/32770688 swapFree=66919992/67108860 [pid=1337] ppid=1334 vsize=10659884 memory=58488 CPUtime=1.14 cores=0-3 /proc/1337/stat : 1337 (java) S 1334 1337 804 0 -1 1077944320 12781 0 0 0 110 4 0 0 20 0 15 0 414309607 10915721216 14622 33554432000 4194304 4196468 140729342481616 140729342464160 139717337214711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 /proc/1337/statm: 2664971 14622 3057 1 0 2627468 0 [pid=1337/tid=1339] ppid=1334 vsize=10659884 memory=46424 CPUtime=0.68 cores=0-3 /proc/1337/task/1339/stat : 1339 (java) R 1334 1337 804 0 -1 4202560 8632 0 0 0 65 3 0 0 20 0 15 0 414309607 10915721216 14622 33554432000 4194304 4196468 140729342481616 139717341447808 139717337236637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1340] ppid=1334 vsize=10659884 memory=984 CPUtime=0 cores=0-3 /proc/1337/task/1340/stat : 1340 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716943600656 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1341] ppid=1334 vsize=10659884 memory=59 CPUtime=0 cores=0-3 /proc/1337/task/1341/stat : 1341 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716942548112 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1342] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1342/stat : 1342 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716941495056 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1343] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1343/stat : 1343 (java) S 1334 1337 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309608 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716940442512 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1344] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1344/stat : 1344 (java) S 1334 1337 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716372453616 139717337225858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1345] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1345/stat : 1345 (java) S 1334 1337 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716371399840 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1346] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1346/stat : 1346 (java) S 1334 1337 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414309610 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716370346736 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1347] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1347/stat : 1347 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309613 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716369295312 139717337233307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1348] ppid=1334 vsize=10659884 memory=0 CPUtime=0.12 cores=0-3 /proc/1337/task/1348/stat : 1348 (java) S 1334 1337 804 0 -1 1077944384 1071 0 0 0 12 0 0 0 20 0 15 0 414309613 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716368243440 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1349] ppid=1334 vsize=10659884 memory=110 CPUtime=0.13 cores=0-3 /proc/1337/task/1349/stat : 1349 (java) S 1334 1337 804 0 -1 1077944384 541 0 0 0 13 0 0 0 20 0 15 0 414309613 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716367190896 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1350] ppid=1334 vsize=10659884 memory=0 CPUtime=0.2 cores=0-3 /proc/1337/task/1350/stat : 1350 (java) S 1334 1337 804 0 -1 1077944384 1178 0 0 0 20 0 0 0 20 0 15 0 414309613 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716366137840 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1351] ppid=1334 vsize=10659884 memory=145618114848127 CPUtime=0 cores=0-3 /proc/1337/task/1351/stat : 1351 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414309613 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716365085536 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1352] ppid=1334 vsize=10659884 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1352/stat : 1352 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309614 10915721216 14622 33554432000 4194304 4196468 140729342481616 139716364032560 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 Current children cumulated CPU time: 1.14 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 58488 KiB [startup+1.50073 s] /proc/loadavg: 1.96 1.96 1.87 3/228 1352 /proc/meminfo: memFree=26778128/32770688 swapFree=66919992/67108860 [pid=1337] ppid=1334 vsize=10663980 memory=72136 CPUtime=1.99 cores=0-3 /proc/1337/stat : 1337 (java) S 1334 1337 804 0 -1 1077944320 15451 0 0 0 194 5 0 0 20 0 15 0 414309607 10919915520 18034 33554432000 4194304 4196468 140729342481616 140729342464160 139717337214711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 /proc/1337/statm: 2665995 18034 3076 1 0 2628492 0 [pid=1337/tid=1339] ppid=1334 vsize=10663980 memory=0 CPUtime=1.48 cores=0-3 /proc/1337/task/1339/stat : 1339 (java) R 1334 1337 804 0 -1 4202560 11056 0 0 0 144 4 0 0 20 0 15 0 414309607 10919915520 18034 33554432000 4194304 4196468 140729342481616 139717341442576 139717320391294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1340] ppid=1334 vsize=10663980 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1340/stat : 1340 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10919915520 18034 33554432000 4194304 4196468 140729342481616 139716943600656 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1341] ppid=1334 vsize=10663980 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1341/stat : 1341 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10919915520 18034 33554432000 4194304 4196468 140729342481616 139716942548112 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1342] ppid=1334 vsize=10663980 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1342/stat : 1342 (java) S 1334 1337 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414309608 10919915520 18034 33554432000 4194304 4196468 140729342481616 139716941495056 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1343] ppid=1334 vsize=10663980 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1343/stat : 1343 (java) S 1334 1337 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414309608 10919915520 18034 33554432000 4194304 4196468 140729342481616 139716940442512 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1344] ppid=1334 vsize=10663980 memory=-6452064069391756930 CPUtime=0 cores=0-3 /proc/1337/task/1344/stat : 1344 (java) S 1334 1337 804 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 414309610 10919915520 18034 33554432000 4194304 4196468 140729342481616 139716372453616 139717337225858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 ################ # More data... # ################ /proc/1337/task/1343/stat : 1343 (java) S 1334 1337 804 0 -1 1077944384 2981 0 0 0 153 6 0 0 20 0 16 0 414309608 11006283776 50348 33554432000 4194304 4196468 140729342481616 139716940442512 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1344] ppid=1334 vsize=10748324 memory=201392 CPUtime=0.49 cores=0-3 /proc/1337/task/1344/stat : 1344 (java) S 1334 1337 804 0 -1 1077944384 5183 0 0 0 44 5 0 0 20 0 16 0 414309610 11006283776 50348 33554432000 4194304 4196468 140729342481616 139716372453616 139717337225858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1345] ppid=1334 vsize=10748324 memory=201392 CPUtime=0 cores=0-3 /proc/1337/task/1345/stat : 1345 (java) S 1334 1337 804 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414309610 11006283776 50348 33554432000 4194304 4196468 140729342481616 139716371399904 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1346] ppid=1334 vsize=10748324 memory=201392 CPUtime=0 cores=0-3 /proc/1337/task/1346/stat : 1346 (java) S 1334 1337 804 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414309610 11006283776 50348 33554432000 4194304 4196468 140729342481616 139716370346752 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1347] ppid=1334 vsize=10748324 memory=201392 CPUtime=0 cores=0-3 /proc/1337/task/1347/stat : 1347 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309613 11006283776 50348 33554432000 4194304 4196468 140729342481616 139716369295312 139717337233307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1348] ppid=1334 vsize=10748324 memory=201392 CPUtime=1.22 cores=0-3 /proc/1337/task/1348/stat : 1348 (java) S 1334 1337 804 0 -1 1077944384 9369 0 0 0 121 1 0 0 20 0 16 0 414309613 11006283776 50348 33554432000 4194304 4196468 140729342481616 139716368243440 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1349] ppid=1334 vsize=10748324 memory=201392 CPUtime=1.29 cores=0-3 /proc/1337/task/1349/stat : 1349 (java) S 1334 1337 804 0 -1 1077944384 7566 0 0 0 128 1 0 0 20 0 16 0 414309613 11006283776 50348 33554432000 4194304 4196468 140729342481616 139716367190896 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1350] ppid=1334 vsize=10748324 memory=201392 CPUtime=0.72 cores=0-3 /proc/1337/task/1350/stat : 1350 (java) S 1334 1337 804 0 -1 1077944384 9355 0 0 0 71 1 0 0 20 0 16 0 414309613 11006283776 50348 33554432000 4194304 4196468 140729342481616 139716366137840 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1351] ppid=1334 vsize=10748324 memory=201392 CPUtime=0 cores=0-3 /proc/1337/task/1351/stat : 1351 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309613 11006283776 50348 33554432000 4194304 4196468 140729342481616 139716365085536 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1352] ppid=1334 vsize=10748324 memory=8112282956445269571 CPUtime=0.57 cores=0-3 /proc/1337/task/1352/stat : 1352 (java) S 1334 1337 804 0 -1 1077944384 796 0 0 0 24 33 0 0 20 0 16 0 414309614 11006283776 50348 33554432000 4194304 4196468 140729342481616 139716364032560 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1353] ppid=1334 vsize=10748324 memory=8112282956445269571 CPUtime=2437.51 cores=0-3 /proc/1337/task/1353/stat : 1353 (java) R 1334 1337 804 0 -1 4202560 13930 0 0 0 243743 8 0 0 20 0 16 0 414309820 11006283776 50348 33554432000 4194304 4196468 140729342481616 139716038962664 139716980109141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 Current children cumulated CPU time: 2450.41 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 201392 KiB [startup+2502.3 s] /proc/loadavg: 1.80 1.83 1.86 3/229 1662 /proc/meminfo: memFree=27277176/32770688 swapFree=66919992/67108860 [pid=1337] ppid=1334 vsize=10748324 memory=201400 CPUtime=2510.58 cores=0-3 /proc/1337/stat : 1337 (java) S 1334 1337 804 0 -1 1077944320 76197 0 0 0 250980 78 0 0 20 0 16 0 414309607 11006283776 50350 33554432000 4194304 4196468 140729342481616 140729342464160 139717337214711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 /proc/1337/statm: 2687081 50350 3375 1 0 2647217 0 [pid=1337/tid=1339] ppid=1334 vsize=10748324 memory=201400 CPUtime=2.1 cores=0-3 /proc/1337/task/1339/stat : 1339 (java) S 1334 1337 804 0 -1 1077944384 14830 0 0 0 205 5 0 0 20 0 16 0 414309607 11006283776 50350 33554432000 4194304 4196468 140729342481616 139717341457584 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1340] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.65 cores=0-3 /proc/1337/task/1340/stat : 1340 (java) S 1334 1337 804 0 -1 1077944384 3324 0 0 0 160 5 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716943600656 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1341] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.66 cores=0-3 /proc/1337/task/1341/stat : 1341 (java) S 1334 1337 804 0 -1 1077944384 2975 0 0 0 161 5 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716942548112 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1342] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.65 cores=0-3 /proc/1337/task/1342/stat : 1342 (java) S 1334 1337 804 0 -1 1077944384 4157 0 0 0 160 5 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716941495056 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1343] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.65 cores=0-3 /proc/1337/task/1343/stat : 1343 (java) S 1334 1337 804 0 -1 1077944384 2985 0 0 0 159 6 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716940442512 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1344] ppid=1334 vsize=10748324 memory=201400 CPUtime=0.5 cores=0-3 /proc/1337/task/1344/stat : 1344 (java) S 1334 1337 804 0 -1 1077944384 5354 0 0 0 45 5 0 0 20 0 16 0 414309610 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716372453616 139717337225858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1345] ppid=1334 vsize=10748324 memory=201400 CPUtime=0 cores=0-3 /proc/1337/task/1345/stat : 1345 (java) S 1334 1337 804 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414309610 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716371399904 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1346] ppid=1334 vsize=10748324 memory=201400 CPUtime=0 cores=0-3 /proc/1337/task/1346/stat : 1346 (java) S 1334 1337 804 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414309610 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716370346752 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1347] ppid=1334 vsize=10748324 memory=660 CPUtime=0 cores=0-3 /proc/1337/task/1347/stat : 1347 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716369295312 139717337233307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1348] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.22 cores=0-3 /proc/1337/task/1348/stat : 1348 (java) S 1334 1337 804 0 -1 1077944384 9369 0 0 0 121 1 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716368243440 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1349] ppid=1334 vsize=10748324 memory=2020 CPUtime=1.29 cores=0-3 /proc/1337/task/1349/stat : 1349 (java) S 1334 1337 804 0 -1 1077944384 7566 0 0 0 128 1 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716367190896 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1350] ppid=1334 vsize=10748324 memory=201400 CPUtime=0.72 cores=0-3 /proc/1337/task/1350/stat : 1350 (java) S 1334 1337 804 0 -1 1077944384 9355 0 0 0 71 1 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716366137840 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1351] ppid=1334 vsize=10748324 memory=201400 CPUtime=0 cores=0-3 /proc/1337/task/1351/stat : 1351 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716365085536 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1352] ppid=1334 vsize=10748324 memory=279691358530416 CPUtime=0.58 cores=0-3 /proc/1337/task/1352/stat : 1352 (java) S 1334 1337 804 0 -1 1077944384 823 0 0 0 24 34 0 0 20 0 16 0 414309614 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716364032560 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1353] ppid=1334 vsize=10748324 memory=-5444948047819393585 CPUtime=2497.41 cores=0-3 /proc/1337/task/1353/stat : 1353 (java) R 1334 1337 804 0 -1 4202560 14032 0 0 0 249733 8 0 0 20 0 16 0 414309820 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716038962672 139716980076231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 Current children cumulated CPU time: 2510.58 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 201400 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2511.7 s] /proc/loadavg: 1.76 1.82 1.85 3/229 1663 /proc/meminfo: memFree=27277456/32770688 swapFree=66919992/67108860 [pid=1337] ppid=1334 vsize=10748324 memory=201400 CPUtime=2520.01 cores=0-3 /proc/1337/stat : 1337 (java) S 1334 1337 804 0 -1 1077944320 76201 0 0 0 251923 78 0 0 20 0 16 0 414309607 11006283776 50350 33554432000 4194304 4196468 140729342481616 140729342464160 139717337214711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 /proc/1337/statm: 2687081 50350 3375 1 0 2647217 0 [pid=1337/tid=1339] ppid=1334 vsize=10748324 memory=201400 CPUtime=2.1 cores=0-3 /proc/1337/task/1339/stat : 1339 (java) S 1334 1337 804 0 -1 1077944384 14830 0 0 0 205 5 0 0 20 0 16 0 414309607 11006283776 50350 33554432000 4194304 4196468 140729342481616 139717341457584 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1340] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.66 cores=0-3 /proc/1337/task/1340/stat : 1340 (java) S 1334 1337 804 0 -1 1077944384 3324 0 0 0 161 5 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716943600656 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1341] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.67 cores=0-3 /proc/1337/task/1341/stat : 1341 (java) S 1334 1337 804 0 -1 1077944384 2975 0 0 0 162 5 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716942548112 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1342] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.66 cores=0-3 /proc/1337/task/1342/stat : 1342 (java) S 1334 1337 804 0 -1 1077944384 4157 0 0 0 161 5 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716941495056 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1343] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.66 cores=0-3 /proc/1337/task/1343/stat : 1343 (java) S 1334 1337 804 0 -1 1077944384 2985 0 0 0 160 6 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716940442512 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1344] ppid=1334 vsize=10748324 memory=201400 CPUtime=0.51 cores=0-3 /proc/1337/task/1344/stat : 1344 (java) S 1334 1337 804 0 -1 1077944384 5354 0 0 0 46 5 0 0 20 0 16 0 414309610 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716372453616 139717337225858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1345] ppid=1334 vsize=10748324 memory=201400 CPUtime=0 cores=0-3 /proc/1337/task/1345/stat : 1345 (java) S 1334 1337 804 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414309610 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716371399904 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1346] ppid=1334 vsize=10748324 memory=201400 CPUtime=0 cores=0-3 /proc/1337/task/1346/stat : 1346 (java) S 1334 1337 804 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414309610 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716370346752 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1347] ppid=1334 vsize=10748324 memory=201400 CPUtime=0 cores=0-3 /proc/1337/task/1347/stat : 1347 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716369295312 139717337233307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1348] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.22 cores=0-3 /proc/1337/task/1348/stat : 1348 (java) S 1334 1337 804 0 -1 1077944384 9369 0 0 0 121 1 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716368243440 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1349] ppid=1334 vsize=10748324 memory=7234307473038071143 CPUtime=1.29 cores=0-3 /proc/1337/task/1349/stat : 1349 (java) S 1334 1337 804 0 -1 1077944384 7566 0 0 0 128 1 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716367190896 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1350] ppid=1334 vsize=10748324 memory=924 CPUtime=0.72 cores=0-3 /proc/1337/task/1350/stat : 1350 (java) S 1334 1337 804 0 -1 1077944384 9355 0 0 0 71 1 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716366137840 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1351] ppid=1334 vsize=10748324 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1351/stat : 1351 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716365085536 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1352] ppid=1334 vsize=10748324 memory=660 CPUtime=0.59 cores=0-3 /proc/1337/task/1352/stat : 1352 (java) S 1334 1337 804 0 -1 1077944384 823 0 0 0 25 34 0 0 20 0 16 0 414309614 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716364032560 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1353] ppid=1334 vsize=10748324 memory=201400 CPUtime=2506.8 cores=0-3 /proc/1337/task/1353/stat : 1353 (java) R 1334 1337 804 0 -1 4202560 14036 0 0 0 250672 8 0 0 20 0 16 0 414309820 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716038962656 139716980310464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 201400 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2511.71 s] # the end of solver process 1337 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.24 s, system=0.78507 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2511.7 s] /proc/loadavg: 1.76 1.82 1.85 3/229 1663 /proc/meminfo: memFree=27277456/32770688 swapFree=66919992/67108860 [pid=1337] ppid=1334 vsize=10748324 memory=201400 CPUtime=2520.01 cores=0-3 /proc/1337/stat : 1337 (java) S 1334 1337 804 0 -1 1077944320 76201 0 0 0 251923 78 0 0 20 0 16 0 414309607 11006283776 50350 33554432000 4194304 4196468 140729342481616 140729342464160 139717337214711 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 /proc/1337/statm: 2687081 50350 3375 1 0 2647217 0 [pid=1337/tid=1339] ppid=1334 vsize=10748324 memory=201400 CPUtime=2.1 cores=0-3 /proc/1337/task/1339/stat : 1339 (java) S 1334 1337 804 0 -1 1077944384 14830 0 0 0 205 5 0 0 20 0 16 0 414309607 11006283776 50350 33554432000 4194304 4196468 140729342481616 139717341457584 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1340] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.66 cores=0-3 /proc/1337/task/1340/stat : 1340 (java) S 1334 1337 804 0 -1 1077944384 3324 0 0 0 161 5 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716943600656 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1341] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.67 cores=0-3 /proc/1337/task/1341/stat : 1341 (java) S 1334 1337 804 0 -1 1077944384 2975 0 0 0 162 5 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716942548112 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1342] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.66 cores=0-3 /proc/1337/task/1342/stat : 1342 (java) S 1334 1337 804 0 -1 1077944384 4157 0 0 0 161 5 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716941495056 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1343] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.66 cores=0-3 /proc/1337/task/1343/stat : 1343 (java) S 1334 1337 804 0 -1 1077944384 2985 0 0 0 160 6 0 0 20 0 16 0 414309608 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716940442512 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1344] ppid=1334 vsize=10748324 memory=201400 CPUtime=0.51 cores=0-3 /proc/1337/task/1344/stat : 1344 (java) S 1334 1337 804 0 -1 1077944384 5354 0 0 0 46 5 0 0 20 0 16 0 414309610 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716372453616 139717337225858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1345] ppid=1334 vsize=10748324 memory=201400 CPUtime=0 cores=0-3 /proc/1337/task/1345/stat : 1345 (java) S 1334 1337 804 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414309610 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716371399904 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1346] ppid=1334 vsize=10748324 memory=201400 CPUtime=0 cores=0-3 /proc/1337/task/1346/stat : 1346 (java) S 1334 1337 804 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 414309610 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716370346752 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1347] ppid=1334 vsize=10748324 memory=201400 CPUtime=0 cores=0-3 /proc/1337/task/1347/stat : 1347 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716369295312 139717337233307 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1348] ppid=1334 vsize=10748324 memory=201400 CPUtime=1.22 cores=0-3 /proc/1337/task/1348/stat : 1348 (java) S 1334 1337 804 0 -1 1077944384 9369 0 0 0 121 1 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716368243440 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1349] ppid=1334 vsize=10748324 memory=7234307473038071143 CPUtime=1.29 cores=0-3 /proc/1337/task/1349/stat : 1349 (java) S 1334 1337 804 0 -1 1077944384 7566 0 0 0 128 1 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716367190896 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1350] ppid=1334 vsize=10748324 memory=924 CPUtime=0.72 cores=0-3 /proc/1337/task/1350/stat : 1350 (java) S 1334 1337 804 0 -1 1077944384 9355 0 0 0 71 1 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716366137840 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1351] ppid=1334 vsize=10748324 memory=0 CPUtime=0 cores=0-3 /proc/1337/task/1351/stat : 1351 (java) S 1334 1337 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414309613 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716365085536 139717337224917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1352] ppid=1334 vsize=10748324 memory=660 CPUtime=0.59 cores=0-3 /proc/1337/task/1352/stat : 1352 (java) S 1334 1337 804 0 -1 1077944384 823 0 0 0 25 34 0 0 20 0 16 0 414309614 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716364032560 139717337225858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 [pid=1337/tid=1353] ppid=1334 vsize=10748324 memory=201400 CPUtime=2506.8 cores=0-3 /proc/1337/task/1353/stat : 1353 (java) R 1334 1337 804 0 -1 4202560 14036 0 0 0 250672 8 0 0 20 0 16 0 414309820 11006283776 50350 33554432000 4194304 4196468 140729342481616 139716038962656 139716980310464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17977344 140729342485515 140729342485618 140729342485618 140729342488527 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 201400 KiB Child status: 143 Real time (s): 2511.71 CPU time (s): 2520.03 CPU user time (s): 2519.24 CPU system time (s): 0.78507 CPU usage (%): 100.331 Max. virtual memory (cumulated for all children) (KiB): 10748324 Max. memory (cumulated for all children) (KiB): 282368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.24 system time used= 0.78507 maximum resident set size= 284416 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76557 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 67609 involuntary context switches= 5058 # summary of solver processes directly reported to runsolver: # pid: 1337 # total CPU time (s): 2520.03 # total CPU user time (s): 2519.24 # total CPU system time (s): 0.78507 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.3234 second user time and 19.3516 second system time The end
Begin job on node120 at 2011-12-14 22:17:35 IDJOB=4390536 IDBENCH=127865 IDSOLVER=2832 FILE ID=node120/4390536-1568383033 RUNJOBID= node120-1323894939-835 PBS_JOBID= 21701843 Free space on /tmp= 59144 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-033.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390536-1568383033/watcher-4390536-1568383033 -o /tmp/evaluation-result-4390536-1568383033/solver-4390536-1568383033 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323894939-835 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390536-1568383033.xml -cm TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 273a3a450a7af16ef80dfed9e1af494c RANDOM SEED=1895445107 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 26831920 kB MemAvailable: 30895268 kB Buffers: 169676 kB Cached: 4186792 kB SwapCached: 77548 kB Active: 2195440 kB Inactive: 3162512 kB Active(anon): 924032 kB Inactive(anon): 126920 kB Active(file): 1271408 kB Inactive(file): 3035592 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 8512 kB Writeback: 0 kB AnonPages: 1033524 kB Mapped: 60356 kB Shmem: 41008 kB Slab: 173592 kB SReclaimable: 144368 kB SUnreclaim: 29224 kB KernelStack: 3968 kB PageTables: 7748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1879992 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 962560 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59136 MiB End job on node120 at 2011-12-14 22:59:27