Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
AbsCon 2019-07-23 | OPT | 140 | 6.71131 | 3.21137 |
Diagnostic | Value |
---|---|
WRONG_DECISIONS | 800 |
Name | Tpp/Tpp-zinc-s1/ Tpp-4-5-30-1.xml |
MD5SUM | 1a3f146023047dfa4a3d56734d0c92f1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 140 |
Best CPU time to get the best result obtained on this benchmark | 0.315281 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 652 |
Number of domains | 52 |
Minimum domain size | 3 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":3,"count":7},{"size":4,"count":10},{"size":5,"count":3},{"size":8,"count":1},{"size":10,"count":2},{"size":11,"count":4},{"size":12,"count":13},{"size":13,"count":5},{"size":14,"count":3},{"size":15,"count":2},{"size":19,"count":30},{"size":20,"count":20}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":50},{"degree":21,"count":30},{"degree":32,"count":19},{"degree":33,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 20 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":650},{"arity":20,"count":1}] |
Number of extensional constraints | 50 |
Number of intensional constraints | 601 |
Distribution of constraint types | [{"type":"extension","count":50},{"type":"intension","count":601},{"type":"circuit","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
2.61/1.91 2.61/1.91 AbsCon 2 2.61/1.93 3.20/2.16 Instance 3.20/2.16 name=instance-4391165-1568389733, framework=COP, bounds=-infty..+infty 3.20/2.16 3.20/2.16 Loading variables... 3.20/2.20 Loading constraints... 4.21/2.49 4.21/2.49 Domains 4.21/2.49 nTypes=52, nValues=1411, sizes=[3#7,4#10,5#3,8#1...14#3,15#2,19#30,20#20] 4.21/2.49 Variables 4.21/2.49 count=100, degrees=[2#50,21#30,32#19,33#1] 4.21/2.49 Objectives 4.21/2.49 way=min, type=SumSimpleLE 4.21/2.49 Constraints 4.21/2.49 count=653, nSpecific=2, arities=[1#1,2#650,20#1,50#1] 4.21/2.49 distribution=[Circuit#1,CtrExtensionV-Bits#50,CtrIntension#601,SumSimpleLE#1] 4.21/2.49 nExtStructures=(50,shared:0), nIntStructures=(21,shared:580), nCftStructures=(70,shared:580,unbuilt:3) 4.21/2.49 wck=0.607, cpu=2.444, mem=60M864 4.21/2.49 Solver SolverBacktrack being built... 4.21/2.49 4.52/2.52 4.52/2.52 Solver 4.52/2.52 guaranteedGAC=false 4.52/2.52 wck=0.639, cpu=2.474, mem=71M506 4.52/2.52 4.52/2.52 Preprocessing 4.52/2.52 filters=22, revisions=(42,useless=20), ccks=7603, nACremovedValues=320, nTotalRemovedValues=320, inconcistency=false 4.52/2.52 wck=0.006, cpu=2.482, mem=71M506 4.52/2.52 4.52/2.55 o 307 4.52/2.55 num=0, depth=101..99, filters=930, revisions=(1324,useless=411), ccks=8857, wck=0.029, mem=71M506 4.52/2.55 decisions=17, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=307 4.52/2.55 4.52/2.57 o 306 4.52/2.57 num=1, depth=101..99, filters=1743, revisions=(2582,useless=875), ccks=10110, wck=0.054, mem=71M506 4.52/2.57 decisions=58, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=306 4.52/2.57 4.52/2.58 o 305 4.52/2.58 num=2, depth=3..99, filters=2170, revisions=(4298,useless=2185), ccks=11597, wck=0.065, mem=71M506 4.52/2.58 decisions=93, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=3, bestBound=305 4.52/2.58 4.52/2.59 o 304 4.52/2.59 num=3, depth=101..99, filters=2371, revisions=(5686,useless=3386), ccks=12778, wck=0.074, mem=71M506 4.52/2.59 decisions=115, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=4, bestBound=304 4.52/2.59 4.86/2.61 o 303 4.86/2.61 num=4, depth=101..99, filters=2560, revisions=(7095,useless=4619), ccks=13451, wck=0.081, mem=71M506 4.86/2.61 decisions=135, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=5, bestBound=303 4.86/2.61 4.86/2.61 o 302 4.86/2.61 num=5, depth=101..99, filters=2733, revisions=(8496,useless=5859), ccks=14107, wck=0.087, mem=71M506 4.86/2.61 decisions=154, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=6, bestBound=302 4.86/2.61 4.86/2.61 o 301 4.86/2.61 num=6, depth=101..99, filters=2897, revisions=(9894,useless=7105), ccks=14764, wck=0.093, mem=71M506 4.86/2.61 decisions=173, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=7, bestBound=301 4.86/2.61 4.86/2.61 o 300 4.86/2.61 num=7, depth=101..99, filters=3043, revisions=(11282,useless=8358), ccks=15420, wck=0.098, mem=74M149 4.86/2.61 decisions=191, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=8, bestBound=300 4.86/2.61 4.86/2.62 o 299 4.86/2.62 num=8, depth=101..99, filters=3177, revisions=(12678,useless=9630), ccks=16077, wck=0.104, mem=74M149 4.86/2.62 decisions=208, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=9, bestBound=299 4.86/2.62 4.86/2.62 o 298 4.86/2.63 num=9, depth=101..99, filters=3311, revisions=(14054,useless=10883), ccks=16733, wck=0.109, mem=74M149 4.86/2.63 decisions=226, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=10, bestBound=298 4.86/2.63 4.86/2.63 o 297 4.86/2.63 num=10, depth=101..99, filters=3430, revisions=(15435,useless=12155), ccks=17390, wck=0.114, mem=74M149 4.86/2.63 decisions=243, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=11, bestBound=297 4.86/2.63 4.86/2.63 o 296 4.86/2.64 num=11, depth=101..99, filters=3533, revisions=(16808,useless=13434), ccks=18046, wck=0.119, mem=74M149 4.86/2.64 decisions=259, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=12, bestBound=296 4.86/2.64 4.86/2.64 o 295 4.86/2.64 num=12, depth=101..99, filters=3668, revisions=(18191,useless=14693), ccks=18703, wck=0.124, mem=74M149 4.86/2.64 decisions=277, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=13, bestBound=295 4.86/2.64 4.86/2.65 o 294 4.86/2.65 num=13, depth=101..99, filters=3785, revisions=(19564,useless=15959), ccks=19359, wck=0.129, mem=74M149 4.86/2.65 decisions=294, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=14, bestBound=294 4.86/2.65 4.86/2.65 o 293 4.86/2.65 num=14, depth=101..99, filters=3890, revisions=(20945,useless=17244), ccks=20016, wck=0.134, mem=74M149 4.86/2.65 decisions=310, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=15, bestBound=293 4.86/2.65 4.86/2.65 o 292 4.86/2.66 num=15, depth=101..99, filters=3994, revisions=(22305,useless=18510), ccks=20672, wck=0.139, mem=74M149 4.86/2.66 decisions=327, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=16, bestBound=292 4.86/2.66 4.86/2.66 o 291 4.86/2.66 num=16, depth=101..99, filters=4083, revisions=(23670,useless=19795), ccks=21329, wck=0.144, mem=74M149 4.86/2.66 decisions=343, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=17, bestBound=291 4.86/2.66 4.86/2.66 o 290 4.86/2.66 num=17, depth=101..99, filters=4156, revisions=(25027,useless=21087), ccks=21985, wck=0.149, mem=74M149 4.86/2.66 decisions=358, wrong=6, backtracks=2, failedAssignments=4, nogoods=4, foundSolutions=18, bestBound=290 4.86/2.66 4.86/2.67 o 260 4.86/2.67 num=18, depth=7..99, filters=4307, revisions=(26453,useless=22372), ccks=22758, wck=0.154, mem=74M149 4.86/2.67 decisions=405, wrong=7, backtracks=2, failedAssignments=5, nogoods=5, foundSolutions=19, bestBound=260 4.86/2.67 4.86/2.68 o 258 4.86/2.68 num=19, depth=6..99, filters=4574, revisions=(28088,useless=23745), ccks=23660, wck=0.159, mem=74M149 4.86/2.68 decisions=429, wrong=8, backtracks=2, failedAssignments=6, nogoods=6, foundSolutions=20, bestBound=258 4.86/2.68 4.86/2.68 o 250 4.86/2.68 num=20, depth=6..99, filters=4742, revisions=(29580,useless=25075), ccks=24535, wck=0.165, mem=74M149 4.86/2.68 decisions=473, wrong=9, backtracks=2, failedAssignments=7, nogoods=7, foundSolutions=21, bestBound=250 4.86/2.68 4.86/2.69 num=21, depth=3..8, filters=5276, revisions=(32642,useless=27650), ccks=25747, wck=0.173, mem=74M149 4.86/2.69 decisions=508, wrong=24, backtracks=12, failedAssignments=18, nogoods=13, foundSolutions=21, bestBound=250 4.86/2.69 4.86/2.70 o 218 5.20/2.70 num=22, depth=3..99, filters=5895, revisions=(34932,useless=29346), ccks=27332, wck=0.18, mem=74M149 5.20/2.70 decisions=567, wrong=31, backtracks=16, failedAssignments=21, nogoods=16, foundSolutions=22, bestBound=218 5.20/2.70 5.20/2.71 num=23, depth=2..7, filters=6386, revisions=(38868,useless=32853), ccks=28961, wck=0.189, mem=74M149 5.20/2.71 decisions=609, wrong=51, backtracks=31, failedAssignments=33, nogoods=18, foundSolutions=22, bestBound=218 5.20/2.71 5.20/2.71 num=24, depth=2..7, filters=7231, revisions=(42362,useless=35569), ccks=30799, wck=0.197, mem=74M149 5.20/2.71 decisions=647, wrong=69, backtracks=41, failedAssignments=44, nogoods=21, foundSolutions=22, bestBound=218 5.20/2.71 5.20/2.72 o 211 5.20/2.72 num=25, depth=101..99, filters=7606, revisions=(43718,useless=36553), ccks=31845, wck=0.202, mem=74M149 5.20/2.72 decisions=692, wrong=69, backtracks=41, failedAssignments=44, nogoods=21, foundSolutions=23, bestBound=211 5.20/2.72 5.20/2.72 o 210 5.20/2.73 num=26, depth=11..99, filters=8043, revisions=(45423,useless=37838), ccks=32797, wck=0.208, mem=74M149 5.20/2.73 decisions=712, wrong=70, backtracks=41, failedAssignments=45, nogoods=22, foundSolutions=24, bestBound=210 5.20/2.73 5.20/2.74 o 209 5.20/2.74 num=27, depth=6..99, filters=9412, revisions=(49482,useless=40570), ccks=35068, wck=0.22, mem=76M791 5.20/2.74 decisions=755, wrong=83, backtracks=46, failedAssignments=55, nogoods=27, foundSolutions=25, bestBound=209 5.20/2.74 5.20/2.75 num=28, depth=2..8, filters=10252, revisions=(52873,useless=43183), ccks=36783, wck=0.229, mem=76M791 5.20/2.75 decisions=795, wrong=101, backtracks=56, failedAssignments=66, nogoods=33, foundSolutions=25, bestBound=209 5.20/2.75 5.20/2.76 o 208 5.20/2.76 num=29, depth=2..99, filters=11357, revisions=(56905,useless=46166), ccks=39083, wck=0.239, mem=76M791 5.20/2.76 decisions=834, wrong=113, backtracks=61, failedAssignments=75, nogoods=41, foundSolutions=26, bestBound=208 5.20/2.76 5.20/2.76 num=30, depth=6..11, filters=12051, revisions=(59149,useless=47769), ccks=40511, wck=0.246, mem=76M791 5.20/2.76 decisions=872, wrong=129, backtracks=67, failedAssignments=87, nogoods=45, foundSolutions=26, bestBound=208 5.20/2.76 5.20/2.77 o 206 5.20/2.77 num=31, depth=7..99, filters=12633, revisions=(60851,useless=48895), ccks=41850, wck=0.253, mem=76M791 5.20/2.77 decisions=902, wrong=131, backtracks=68, failedAssignments=88, nogoods=46, foundSolutions=27, bestBound=206 5.20/2.77 5.20/2.77 o 205 5.20/2.77 num=32, depth=9..99, filters=13108, revisions=(62449,useless=50028), ccks=42879, wck=0.258, mem=76M791 5.20/2.77 decisions=922, wrong=132, backtracks=68, failedAssignments=89, nogoods=47, foundSolutions=28, bestBound=205 5.20/2.77 5.20/2.78 o 204 5.20/2.78 num=33, depth=7..99, filters=13597, revisions=(64231,useless=51320), ccks=43939, wck=0.263, mem=76M791 5.20/2.78 decisions=945, wrong=134, backtracks=68, failedAssignments=91, nogoods=49, foundSolutions=29, bestBound=204 5.20/2.78 5.20/2.78 o 203 5.20/2.78 num=34, depth=10..99, filters=14053, revisions=(65859,useless=52483), ccks=44907, wck=0.268, mem=76M791 5.20/2.78 decisions=964, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=30, bestBound=203 5.20/2.78 5.20/2.79 o 202 5.20/2.79 num=35, depth=101..99, filters=14446, revisions=(67376,useless=53603), ccks=45807, wck=0.272, mem=76M791 5.20/2.79 decisions=983, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=31, bestBound=202 5.20/2.79 5.20/2.79 o 201 5.20/2.79 num=36, depth=101..99, filters=14843, revisions=(68862,useless=54689), ccks=46698, wck=0.277, mem=76M791 5.20/2.79 decisions=1001, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=32, bestBound=201 5.20/2.79 5.51/2.80 o 199 5.51/2.80 num=37, depth=101..99, filters=15250, revisions=(70375,useless=55796), ccks=47598, wck=0.281, mem=76M791 5.51/2.80 decisions=1025, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=33, bestBound=199 5.51/2.80 5.51/2.80 o 198 5.51/2.80 num=38, depth=101..99, filters=15648, revisions=(71838,useless=56869), ccks=48489, wck=0.286, mem=76M791 5.51/2.80 decisions=1044, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=34, bestBound=198 5.51/2.80 5.51/2.81 o 197 5.51/2.81 num=39, depth=101..99, filters=16020, revisions=(73361,useless=58031), ccks=49381, wck=0.29, mem=76M791 5.51/2.81 decisions=1060, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=35, bestBound=197 5.51/2.81 5.51/2.81 o 196 5.51/2.81 num=40, depth=101..99, filters=16386, revisions=(74842,useless=59158), ccks=50272, wck=0.293, mem=76M791 5.51/2.81 decisions=1075, wrong=135, backtracks=68, failedAssignments=92, nogoods=50, foundSolutions=36, bestBound=196 5.51/2.81 5.51/2.82 num=41, depth=4..10, filters=17947, revisions=(78968,useless=61780), ccks=52356, wck=0.302, mem=76M791 5.51/2.82 decisions=1113, wrong=152, backtracks=77, failedAssignments=103, nogoods=52, foundSolutions=36, bestBound=196 5.51/2.82 5.51/2.82 o 195 5.51/2.82 num=42, depth=2..99, filters=18338, revisions=(80769,useless=63212), ccks=53540, wck=0.307, mem=76M791 5.51/2.82 decisions=1134, wrong=155, backtracks=78, failedAssignments=105, nogoods=54, foundSolutions=37, bestBound=195 5.51/2.82 5.51/2.83 o 194 5.51/2.83 num=43, depth=5..99, filters=18770, revisions=(82743,useless=64771), ccks=55010, wck=0.312, mem=76M791 5.51/2.83 decisions=1161, wrong=159, backtracks=81, failedAssignments=107, nogoods=56, foundSolutions=38, bestBound=194 5.51/2.83 5.51/2.84 num=44, depth=3..10, filters=20177, revisions=(86655,useless=67355), ccks=57180, wck=0.322, mem=76M791 5.51/2.84 decisions=1217, wrong=184, backtracks=98, failedAssignments=118, nogoods=62, foundSolutions=38, bestBound=194 5.51/2.84 5.51/2.84 o 193 5.51/2.84 num=45, depth=3..99, filters=20990, revisions=(89383,useless=69299), ccks=58996, wck=0.328, mem=79M433 5.51/2.84 decisions=1244, wrong=191, backtracks=102, failedAssignments=123, nogoods=66, foundSolutions=39, bestBound=193 5.51/2.84 5.51/2.86 num=46, depth=4..11, filters=22286, revisions=(92876,useless=71560), ccks=60953, wck=0.336, mem=79M433 5.51/2.86 decisions=1288, wrong=211, backtracks=116, failedAssignments=135, nogoods=70, foundSolutions=39, bestBound=193 5.51/2.86 5.51/2.86 num=47, depth=4..9, filters=23259, revisions=(95727,useless=73504), ccks=62633, wck=0.342, mem=79M433 5.51/2.86 decisions=1332, wrong=231, backtracks=127, failedAssignments=146, nogoods=74, foundSolutions=39, bestBound=193 5.51/2.86 5.51/2.87 o 192 5.51/2.87 num=48, depth=2..99, filters=24713, revisions=(100194,useless=76572), ccks=65213, wck=0.35, mem=79M433 5.51/2.87 decisions=1379, wrong=248, backtracks=138, failedAssignments=157, nogoods=80, foundSolutions=40, bestBound=192 5.51/2.87 5.51/2.87 o 191 5.51/2.87 num=49, depth=4..99, filters=25501, revisions=(102386,useless=77994), ccks=66854, wck=0.355, mem=79M433 5.51/2.87 decisions=1408, wrong=254, backtracks=138, failedAssignments=163, nogoods=86, foundSolutions=41, bestBound=191 5.51/2.87 5.51/2.88 num=50, depth=2..8, filters=26176, revisions=(105317,useless=80315), ccks=68244, wck=0.36, mem=79M433 5.51/2.88 decisions=1448, wrong=273, backtracks=151, failedAssignments=174, nogoods=89, foundSolutions=41, bestBound=191 5.51/2.88 5.51/2.88 num=51, depth=2..7, filters=27239, revisions=(108579,useless=82568), ccks=70073, wck=0.365, mem=79M433 5.51/2.88 decisions=1480, wrong=288, backtracks=158, failedAssignments=185, nogoods=92, foundSolutions=41, bestBound=191 5.51/2.88 5.51/2.89 num=52, depth=2..6, filters=28934, revisions=(112898,useless=85260), ccks=72623, wck=0.371, mem=79M433 5.51/2.89 decisions=1522, wrong=307, backtracks=166, failedAssignments=197, nogoods=99, foundSolutions=41, bestBound=191 5.51/2.89 5.51/2.89 num=53, depth=2..10, filters=30626, revisions=(117171,useless=87941), ccks=75232, wck=0.378, mem=79M433 5.51/2.89 decisions=1567, wrong=328, backtracks=182, failedAssignments=210, nogoods=105, foundSolutions=41, bestBound=191 5.51/2.89 5.81/2.90 o 190 5.81/2.90 num=54, depth=1..99, filters=32420, revisions=(122607,useless=91651), ccks=78846, wck=0.387, mem=79M433 5.81/2.90 decisions=1619, wrong=346, backtracks=195, failedAssignments=220, nogoods=109, foundSolutions=42, bestBound=190 5.81/2.90 5.81/2.91 o 189 5.81/2.91 num=55, depth=9..99, filters=33067, revisions=(124290,useless=92703), ccks=80220, wck=0.391, mem=79M433 5.81/2.91 decisions=1639, wrong=348, backtracks=195, failedAssignments=222, nogoods=111, foundSolutions=43, bestBound=189 5.81/2.91 5.81/2.91 num=56, depth=1..8, filters=33384, revisions=(126259,useless=94388), ccks=81420, wck=0.394, mem=79M433 5.81/2.91 decisions=1669, wrong=361, backtracks=201, failedAssignments=233, nogoods=118, foundSolutions=43, bestBound=189 5.81/2.91 5.81/2.92 num=57, depth=1..4, filters=34067, revisions=(129220,useless=96727), ccks=83223, wck=0.399, mem=79M433 5.81/2.92 decisions=1703, wrong=377, backtracks=213, failedAssignments=244, nogoods=122, foundSolutions=43, bestBound=189 5.81/2.92 5.81/2.92 num=58, depth=2..9, filters=35066, revisions=(132190,useless=98725), ccks=84628, wck=0.404, mem=79M433 5.81/2.92 decisions=1740, wrong=394, backtracks=220, failedAssignments=256, nogoods=132, foundSolutions=43, bestBound=189 5.81/2.92 5.81/2.92 o 188 5.81/2.92 num=59, depth=8..99, filters=35528, revisions=(133742,useless=99816), ccks=85974, wck=0.407, mem=79M433 5.81/2.92 decisions=1768, wrong=396, backtracks=220, failedAssignments=258, nogoods=134, foundSolutions=44, bestBound=188 5.81/2.92 5.81/2.93 o 187 5.81/2.93 num=60, depth=101..99, filters=36114, revisions=(135343,useless=100842), ccks=87124, wck=0.41, mem=79M433 5.81/2.93 decisions=1783, wrong=396, backtracks=220, failedAssignments=258, nogoods=134, foundSolutions=45, bestBound=187 5.81/2.93 5.81/2.93 o 186 5.81/2.93 num=61, depth=3..99, filters=36555, revisions=(137224,useless=102287), ccks=88428, wck=0.414, mem=79M433 5.81/2.93 decisions=1809, wrong=399, backtracks=220, failedAssignments=261, nogoods=137, foundSolutions=46, bestBound=186 5.81/2.93 5.81/2.93 o 185 5.81/2.93 num=62, depth=101..99, filters=37143, revisions=(138827,useless=103313), ccks=89642, wck=0.418, mem=79M433 5.81/2.93 decisions=1824, wrong=399, backtracks=220, failedAssignments=261, nogoods=137, foundSolutions=47, bestBound=185 5.81/2.93 5.81/2.94 o 184 5.81/2.94 num=63, depth=101..99, filters=37495, revisions=(140463,useless=104586), ccks=90696, wck=0.421, mem=79M433 5.81/2.94 decisions=1840, wrong=399, backtracks=220, failedAssignments=261, nogoods=137, foundSolutions=48, bestBound=184 5.81/2.94 5.81/2.94 o 183 5.81/2.94 num=64, depth=101..99, filters=38088, revisions=(142084,useless=105626), ccks=91905, wck=0.424, mem=79M433 5.81/2.94 decisions=1854, wrong=399, backtracks=220, failedAssignments=261, nogoods=137, foundSolutions=49, bestBound=183 5.81/2.94 5.81/2.94 o 182 5.81/2.94 num=65, depth=101..99, filters=38425, revisions=(143740,useless=106936), ccks=92940, wck=0.427, mem=79M433 5.81/2.94 decisions=1868, wrong=399, backtracks=220, failedAssignments=261, nogoods=137, foundSolutions=50, bestBound=182 5.81/2.94 5.81/2.95 o 181 5.81/2.95 num=66, depth=8..99, filters=39063, revisions=(145596,useless=108166), ccks=94314, wck=0.431, mem=79M433 5.81/2.95 decisions=1885, wrong=400, backtracks=220, failedAssignments=262, nogoods=138, foundSolutions=51, bestBound=181 5.81/2.95 5.81/2.95 o 180 5.81/2.95 num=67, depth=101..99, filters=39447, revisions=(147160,useless=109341), ccks=95468, wck=0.434, mem=79M433 5.81/2.95 decisions=1907, wrong=400, backtracks=220, failedAssignments=262, nogoods=138, foundSolutions=52, bestBound=180 5.81/2.95 5.81/2.96 o 179 5.81/2.96 num=68, depth=5..99, filters=40975, revisions=(151284,useless=111980), ccks=97908, wck=0.441, mem=79M433 5.81/2.96 decisions=1948, wrong=412, backtracks=228, failedAssignments=269, nogoods=142, foundSolutions=53, bestBound=179 5.81/2.96 5.81/2.96 o 178 5.81/2.96 num=69, depth=101..99, filters=41336, revisions=(152912,useless=113242), ccks=99061, wck=0.444, mem=82M76 5.81/2.96 decisions=1965, wrong=412, backtracks=228, failedAssignments=269, nogoods=142, foundSolutions=54, bestBound=178 5.81/2.96 5.81/2.96 o 177 5.81/2.96 num=70, depth=8..99, filters=41918, revisions=(154594,useless=114352), ccks=100318, wck=0.447, mem=82M76 5.81/2.96 decisions=1987, wrong=414, backtracks=228, failedAssignments=271, nogoods=144, foundSolutions=55, bestBound=177 5.81/2.96 5.81/2.97 o 176 5.81/2.97 num=71, depth=101..99, filters=42247, revisions=(156242,useless=115665), ccks=101400, wck=0.45, mem=82M76 5.81/2.97 decisions=2002, wrong=414, backtracks=228, failedAssignments=271, nogoods=144, foundSolutions=56, bestBound=176 5.81/2.97 5.81/2.97 o 175 5.81/2.97 num=72, depth=101..99, filters=42769, revisions=(157828,useless=116736), ccks=102578, wck=0.453, mem=82M76 5.81/2.97 decisions=2019, wrong=414, backtracks=228, failedAssignments=271, nogoods=144, foundSolutions=57, bestBound=175 5.81/2.97 5.81/2.97 o 174 5.81/2.97 num=73, depth=101..99, filters=43081, revisions=(159478,useless=118071), ccks=103642, wck=0.456, mem=82M76 5.81/2.97 decisions=2032, wrong=414, backtracks=228, failedAssignments=271, nogoods=144, foundSolutions=58, bestBound=174 5.81/2.97 5.81/2.98 o 173 5.81/2.98 num=74, depth=4..99, filters=44749, revisions=(163320,useless=120273), ccks=106200, wck=0.463, mem=82M76 5.81/2.98 decisions=2079, wrong=429, backtracks=234, failedAssignments=281, nogoods=153, foundSolutions=59, bestBound=173 5.81/2.98 5.81/2.98 o 172 5.81/2.98 num=75, depth=101..99, filters=45040, revisions=(164984,useless=121646), ccks=107311, wck=0.466, mem=82M76 5.81/2.98 decisions=2090, wrong=429, backtracks=234, failedAssignments=281, nogoods=153, foundSolutions=60, bestBound=172 5.81/2.98 5.81/2.98 o 171 5.81/2.98 num=76, depth=101..99, filters=45619, revisions=(166513,useless=122610), ccks=108528, wck=0.469, mem=82M76 5.81/2.98 decisions=2106, wrong=429, backtracks=234, failedAssignments=281, nogoods=153, foundSolutions=61, bestBound=171 5.81/2.98 5.81/2.99 num=77, depth=2..11, filters=46586, revisions=(169594,useless=124756), ccks=109814, wck=0.473, mem=82M76 5.81/2.99 decisions=2136, wrong=443, backtracks=246, failedAssignments=292, nogoods=155, foundSolutions=61, bestBound=171 5.81/2.99 5.81/2.99 num=78, depth=1..5, filters=47427, revisions=(172199,useless=126591), ccks=111474, wck=0.477, mem=82M76 5.81/2.99 decisions=2177, wrong=463, backtracks=256, failedAssignments=303, nogoods=159, foundSolutions=61, bestBound=171 5.81/2.99 5.81/3.00 o 170 5.81/3.00 num=79, depth=2..99, filters=48707, revisions=(175647,useless=128804), ccks=113886, wck=0.482, mem=82M76 5.81/3.00 decisions=2220, wrong=477, backtracks=260, failedAssignments=314, nogoods=169, foundSolutions=62, bestBound=170 5.81/3.00 6.16/3.01 o 169 6.16/3.01 num=80, depth=3..99, filters=49649, revisions=(178251,useless=130495), ccks=115778, wck=0.487, mem=82M76 6.16/3.01 decisions=2257, wrong=487, backtracks=264, failedAssignments=322, nogoods=176, foundSolutions=63, bestBound=169 6.16/3.01 6.16/3.01 num=81, depth=1..8, filters=50735, revisions=(181381,useless=132600), ccks=117695, wck=0.491, mem=82M76 6.16/3.01 decisions=2291, wrong=503, backtracks=274, failedAssignments=333, nogoods=182, foundSolutions=63, bestBound=169 6.16/3.01 6.16/3.01 o 168 6.16/3.01 num=82, depth=3..99, filters=51564, revisions=(183594,useless=134006), ccks=119363, wck=0.495, mem=82M76 6.16/3.01 decisions=2317, wrong=508, backtracks=277, failedAssignments=336, nogoods=184, foundSolutions=64, bestBound=168 6.16/3.01 6.16/3.01 o 167 6.16/3.01 num=83, depth=101..99, filters=52212, revisions=(185140,useless=134905), ccks=120650, wck=0.499, mem=82M76 6.16/3.01 decisions=2332, wrong=508, backtracks=277, failedAssignments=336, nogoods=184, foundSolutions=65, bestBound=167 6.16/3.01 6.16/3.02 num=84, depth=0..7, filters=53296, revisions=(188742,useless=137485), ccks=122807, wck=0.503, mem=82M76 6.16/3.02 decisions=2370, wrong=525, backtracks=285, failedAssignments=347, nogoods=191, foundSolutions=65, bestBound=167 6.16/3.02 6.16/3.02 num=85, depth=1..9, filters=54667, revisions=(191671,useless=139098), ccks=124556, wck=0.507, mem=82M76 6.16/3.02 decisions=2400, wrong=538, backtracks=289, failedAssignments=358, nogoods=199, foundSolutions=65, bestBound=167 6.16/3.02 6.16/3.03 o 166 6.16/3.03 num=86, depth=0..99, filters=56988, revisions=(196815,useless=142004), ccks=127984, wck=0.516, mem=82M76 6.16/3.03 decisions=2462, wrong=558, backtracks=301, failedAssignments=369, nogoods=202, foundSolutions=66, bestBound=166 6.16/3.03 6.16/3.04 o 165 6.16/3.04 num=87, depth=9..99, filters=58039, revisions=(199125,useless=143272), ccks=129458, wck=0.52, mem=82M76 6.16/3.04 decisions=2490, wrong=562, backtracks=303, failedAssignments=371, nogoods=204, foundSolutions=67, bestBound=165 6.16/3.04 6.16/3.04 o 164 6.16/3.04 num=88, depth=8..99, filters=59182, revisions=(201866,useless=144905), ccks=131116, wck=0.526, mem=82M76 6.16/3.04 decisions=2531, wrong=573, backtracks=307, failedAssignments=379, nogoods=211, foundSolutions=68, bestBound=164 6.16/3.04 6.16/3.05 o 163 6.16/3.05 num=89, depth=9..99, filters=59865, revisions=(203592,useless=145946), ccks=132277, wck=0.529, mem=82M76 6.16/3.05 decisions=2553, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=69, bestBound=163 6.16/3.05 6.16/3.05 o 162 6.16/3.05 num=90, depth=101..99, filters=60469, revisions=(205136,useless=146899), ccks=133293, wck=0.533, mem=82M76 6.16/3.05 decisions=2571, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=70, bestBound=162 6.16/3.05 6.16/3.05 o 161 6.16/3.05 num=91, depth=101..99, filters=61077, revisions=(206711,useless=147862), ccks=134314, wck=0.536, mem=82M76 6.16/3.05 decisions=2590, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=71, bestBound=161 6.16/3.05 6.16/3.06 o 160 6.16/3.06 num=92, depth=101..99, filters=61664, revisions=(208239,useless=148816), ccks=135323, wck=0.539, mem=82M76 6.16/3.06 decisions=2608, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=72, bestBound=160 6.16/3.06 6.16/3.06 o 159 6.16/3.06 num=93, depth=101..99, filters=62258, revisions=(209798,useless=149780), ccks=136335, wck=0.542, mem=82M76 6.16/3.06 decisions=2626, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=73, bestBound=159 6.16/3.06 6.16/3.06 o 158 6.16/3.06 num=94, depth=101..99, filters=62851, revisions=(211352,useless=150747), ccks=137348, wck=0.546, mem=82M76 6.16/3.06 decisions=2643, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=74, bestBound=158 6.16/3.06 6.16/3.07 o 157 6.16/3.07 num=95, depth=101..99, filters=63423, revisions=(212894,useless=151716), ccks=138357, wck=0.55, mem=82M76 6.16/3.07 decisions=2661, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=75, bestBound=157 6.16/3.07 6.16/3.07 o 156 6.16/3.07 num=96, depth=101..99, filters=64003, revisions=(214440,useless=152687), ccks=139366, wck=0.553, mem=84M718 6.16/3.07 decisions=2678, wrong=574, backtracks=307, failedAssignments=380, nogoods=212, foundSolutions=76, bestBound=156 6.16/3.07 6.16/3.07 num=97, depth=9..14, filters=65479, revisions=(217787,useless=154589), ccks=141077, wck=0.559, mem=84M718 6.16/3.07 decisions=2719, wrong=590, backtracks=317, failedAssignments=391, nogoods=216, foundSolutions=76, bestBound=156 6.16/3.07 6.16/3.08 num=98, depth=1..8, filters=66953, revisions=(221055,useless=156418), ccks=142838, wck=0.565, mem=84M718 6.16/3.08 decisions=2756, wrong=606, backtracks=328, failedAssignments=402, nogoods=219, foundSolutions=76, bestBound=156 6.16/3.08 6.16/3.09 num=99, depth=0..5, filters=68304, revisions=(225317,useless=159411), ccks=145045, wck=0.57, mem=84M718 6.16/3.09 decisions=2804, wrong=629, backtracks=343, failedAssignments=414, nogoods=221, foundSolutions=76, bestBound=156 6.16/3.09 6.16/3.09 num=100, depth=0..4, filters=69206, revisions=(228726,useless=161989), ccks=147010, wck=0.575, mem=84M718 6.16/3.09 decisions=2847, wrong=650, backtracks=354, failedAssignments=427, nogoods=226, foundSolutions=76, bestBound=156 6.16/3.09 6.16/3.10 num=101, depth=0..9, filters=71626, revisions=(234392,useless=165342), ccks=150570, wck=0.582, mem=84M718 6.16/3.10 decisions=2903, wrong=676, backtracks=369, failedAssignments=441, nogoods=229, foundSolutions=76, bestBound=156 6.16/3.10 6.16/3.10 num=102, depth=0..8, filters=73305, revisions=(239028,useless=168400), ccks=153364, wck=0.588, mem=84M718 6.16/3.10 decisions=2965, wrong=705, backtracks=386, failedAssignments=457, nogoods=231, foundSolutions=76, bestBound=156 6.16/3.10 6.46/3.11 num=103, depth=0..10, filters=75621, revisions=(244437,useless=171574), ccks=156493, wck=0.595, mem=84M718 6.46/3.11 decisions=3034, wrong=737, backtracks=406, failedAssignments=474, nogoods=237, foundSolutions=76, bestBound=156 6.46/3.11 6.46/3.11 o 155 6.46/3.12 num=104, depth=1..99, filters=76552, revisions=(246605,useless=172818), ccks=158005, wck=0.599, mem=84M718 6.46/3.12 decisions=3052, wrong=742, backtracks=406, failedAssignments=479, nogoods=242, foundSolutions=77, bestBound=155 6.46/3.12 6.46/3.12 o 154 6.46/3.12 num=105, depth=1..99, filters=77164, revisions=(248469,useless=174092), ccks=159264, wck=0.602, mem=84M718 6.46/3.12 decisions=3077, wrong=748, backtracks=406, failedAssignments=485, nogoods=248, foundSolutions=78, bestBound=154 6.46/3.12 6.46/3.12 o 153 6.46/3.12 num=106, depth=1..99, filters=77779, revisions=(250289,useless=175311), ccks=160288, wck=0.605, mem=84M718 6.46/3.12 decisions=3099, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=79, bestBound=153 6.46/3.12 6.46/3.12 o 152 6.46/3.12 num=107, depth=101..99, filters=78340, revisions=(251976,useless=176448), ccks=161323, wck=0.608, mem=84M718 6.46/3.12 decisions=3111, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=80, bestBound=152 6.46/3.12 6.46/3.13 o 151 6.46/3.13 num=108, depth=101..99, filters=78957, revisions=(253695,useless=177564), ccks=162359, wck=0.611, mem=84M718 6.46/3.13 decisions=3125, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=81, bestBound=151 6.46/3.13 6.46/3.13 o 150 6.46/3.13 num=109, depth=101..99, filters=79538, revisions=(255374,useless=178659), ccks=163384, wck=0.614, mem=84M718 6.46/3.13 decisions=3140, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=82, bestBound=150 6.46/3.13 6.46/3.13 o 149 6.46/3.13 num=110, depth=101..99, filters=80146, revisions=(257081,useless=179763), ccks=164430, wck=0.617, mem=84M718 6.46/3.13 decisions=3154, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=83, bestBound=149 6.46/3.13 6.46/3.14 o 148 6.46/3.14 num=111, depth=101..99, filters=80737, revisions=(258780,useless=180872), ccks=165455, wck=0.619, mem=84M718 6.46/3.14 decisions=3168, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=84, bestBound=148 6.46/3.14 6.46/3.14 o 147 6.46/3.14 num=112, depth=101..99, filters=81318, revisions=(260493,useless=181996), ccks=166471, wck=0.622, mem=84M718 6.46/3.14 decisions=3181, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=85, bestBound=147 6.46/3.14 6.46/3.14 o 146 6.46/3.14 num=113, depth=101..99, filters=81885, revisions=(262195,useless=183125), ccks=167496, wck=0.625, mem=84M718 6.46/3.14 decisions=3194, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=86, bestBound=146 6.46/3.14 6.46/3.14 o 145 6.46/3.14 num=114, depth=101..99, filters=82457, revisions=(263902,useless=184252), ccks=168522, wck=0.627, mem=84M718 6.46/3.14 decisions=3207, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=87, bestBound=145 6.46/3.14 6.46/3.15 o 144 6.46/3.15 num=115, depth=101..99, filters=83016, revisions=(265613,useless=185399), ccks=169537, wck=0.629, mem=84M718 6.46/3.15 decisions=3219, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=88, bestBound=144 6.46/3.15 6.46/3.15 o 143 6.46/3.15 num=116, depth=101..99, filters=83580, revisions=(267329,useless=186545), ccks=170563, wck=0.632, mem=84M718 6.46/3.15 decisions=3231, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=89, bestBound=143 6.46/3.15 6.46/3.15 o 142 6.46/3.15 num=117, depth=101..99, filters=84137, revisions=(269038,useless=187691), ccks=171588, wck=0.634, mem=84M718 6.46/3.15 decisions=3243, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=90, bestBound=142 6.46/3.15 6.46/3.15 o 141 6.46/3.16 num=118, depth=101..99, filters=84686, revisions=(270738,useless=188841), ccks=172614, wck=0.637, mem=84M718 6.46/3.16 decisions=3255, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=91, bestBound=141 6.46/3.16 6.46/3.16 o 140 6.46/3.16 num=119, depth=101..99, filters=85225, revisions=(272446,useless=190011), ccks=173629, wck=0.639, mem=84M718 6.46/3.16 decisions=3266, wrong=752, backtracks=406, failedAssignments=489, nogoods=252, foundSolutions=92, bestBound=140 6.46/3.16 6.46/3.16 num=120, depth=0..8, filters=87404, revisions=(277192,useless=192631), ccks=175961, wck=0.644, mem=84M718 6.46/3.16 decisions=3305, wrong=770, backtracks=416, failedAssignments=500, nogoods=255, foundSolutions=92, bestBound=140 6.46/3.16 6.46/3.16 num=121, depth=0..7, filters=88810, revisions=(280473,useless=194562), ccks=177499, wck=0.648, mem=84M718 6.46/3.16 decisions=3342, wrong=787, backtracks=425, failedAssignments=511, nogoods=263, foundSolutions=92, bestBound=140 6.46/3.16 6.46/3.17 6.46/3.17 New Bounds: 140..139 6.46/3.17 num=122, depth=0..5, filters=89704, revisions=(282214,useless=195444), ccks=178502, wck=0.651, mem=84M718 6.46/3.17 decisions=3366, wrong=800, backtracks=433, failedAssignments=518, foundSolutions=92, bestBound=140 6.46/3.17 6.46/3.17 Global 6.46/3.17 filters=89704, revisions=(282214,useless=195444), ccks=178502 6.46/3.17 Stop=FULL_EXPLORATION, wrong=800, bestBound=140, bestBoundWck=1.278, bestBoundCpu=3.113, foundSolutions=92, firstSolCpu=2.496 6.46/3.17 wck=1.291, cpu=3.125, mem=84M718 6.46/3.17 6.46/3.17 v <instantiation id='sol92' type='solution' cost='140'> <list> s[] d[] l[] c[] </list> <values> 0 1 2 3 4 5 6 7 8 10 11 15 12 9 13 19 16 17 14 18 0 0 0 0 0 0 0 0 0 6 4 1 0 1 1 14 0 0 10 12 9 11 13 13 13 18 9 11 11 10 13 18 18 11 11 15 13 10 10 11 9 18 13 11 14 15 10 13 14 14 4 8 1 1 5 5 1 4 5 1 2 1 3 1 2 1 5 2 2 5 4 1 1 1 7 6 8 1 2 1 </values> </instantiation> 6.46/3.17 s OPTIMUM FOUND 6.46/3.17 6.46/3.17 d WRONG_DECISIONS 800 6.46/3.17 d NUMBER_SOLUTIONS 92
OK 140
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (11653 MiB free) memory of node 1: 16384 MiB (13892 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391165-1568389733/watcher-4391165-1568389733 -o /tmp/evaluation-result-4391165-1568389733/solver-4391165-1568389733 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3789 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391165-1568389733.xml -cm running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=4901, runsolver pid=4898 [startup+0.100657 s]* /proc/loadavg: 1.99 1.86 1.87 4/228 4916 /proc/meminfo: memFree=26144388/32770624 swapFree=66957012/67108860 [pid=4901] ppid=4898 vsize=10659884 memory=25628 CPUtime=0.13 cores=0,2,4,6 /proc/4901/stat : 4901 (java) S 4898 4901 3758 0 -1 1077944320 5432 0 0 0 12 1 0 0 20 0 15 0 414887155 10915721216 6407 33554432000 4194304 4196468 140734483152160 140734483134704 140524786056951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 /proc/4901/statm: 2664971 6407 2834 1 0 2627468 0 [pid=4901/tid=4903] ppid=4898 vsize=10659884 memory=-8393403987102889152 CPUtime=0.09 cores=0,2,4,6 /proc/4901/task/4903/stat : 4903 (java) R 4898 4901 3758 0 -1 4202560 3255 0 0 0 9 0 0 0 20 0 15 0 414887155 10915721216 6407 33554432000 4194304 4196468 140734483152160 140524790286464 140524786068886 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4904] ppid=4898 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4904/stat : 4904 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 6407 33554432000 4194304 4196468 140734483152160 140524392999440 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4905] ppid=4898 vsize=10659884 memory=139845737903744 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4905/stat : 4905 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 6407 33554432000 4194304 4196468 140734483152160 140524391946896 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4906] ppid=4898 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4906/stat : 4906 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 6407 33554432000 4194304 4196468 140734483152160 140524390893840 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4907] ppid=4898 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4907/stat : 4907 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 6407 33554432000 4194304 4196468 140734483152160 140524389841296 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4908] ppid=4898 vsize=10659884 memory=139845737903744 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4908/stat : 4908 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887157 10915721216 6407 33554432000 4194304 4196468 140734483152160 140523889068784 140524786068098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4909] ppid=4898 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4909/stat : 4909 (java) S 4898 4901 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414887158 10915721216 6407 33554432000 4194304 4196468 140734483152160 140523888015008 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4910] ppid=4898 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4910/stat : 4910 (java) S 4898 4901 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414887158 10915721216 6407 33554432000 4194304 4196468 140734483152160 140523886961904 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4911] ppid=4898 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4911/stat : 4911 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887160 10915721216 6407 33554432000 4194304 4196468 140734483152160 140523885910480 140524786075547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4912] ppid=4898 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4912/stat : 4912 (java) R 4898 4901 3758 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 414887160 10915721216 6407 33554432000 4194304 4196468 140734483152160 140523884857584 140524786068098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4913] ppid=4898 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4913/stat : 4913 (java) R 4898 4901 3758 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 414887160 10915721216 6407 33554432000 4194304 4196468 140734483152160 140523883805040 140524763897152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4914] ppid=4898 vsize=10659884 memory=139845737903744 CPUtime=0.02 cores=0,2,4,6 /proc/4901/task/4914/stat : 4914 (java) R 4898 4901 3758 0 -1 4202560 382 0 0 0 2 0 0 0 20 0 15 0 414887160 10915721216 6407 33554432000 4194304 4196468 140734483152160 140523882751984 140524779153787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4915] ppid=4898 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4915/stat : 4915 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887160 10915721216 6407 33554432000 4194304 4196468 140734483152160 140523439216992 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4916] ppid=4898 vsize=10659884 memory=139845737903744 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4916/stat : 4916 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887161 10915721216 6407 33554432000 4194304 4196468 140734483152160 140523438165040 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 25628 KiB [startup+0.211859 s]* /proc/loadavg: 1.99 1.86 1.87 5/228 4916 /proc/meminfo: memFree=26132872/32770624 swapFree=66957012/67108860 [pid=4901] ppid=4898 vsize=10659884 memory=36268 CPUtime=0.33 cores=0,2,4,6 /proc/4901/stat : 4901 (java) S 4898 4901 3758 0 -1 1077944320 9372 0 0 0 30 3 0 0 20 0 15 0 414887155 10915721216 9067 33554432000 4194304 4196468 140734483152160 140734483134704 140524786056951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 /proc/4901/statm: 2664971 9067 2987 1 0 2627468 0 [pid=4901/tid=4903] ppid=4898 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/4901/task/4903/stat : 4903 (java) R 4898 4901 3758 0 -1 4202560 6164 0 0 0 18 2 0 0 20 0 15 0 414887155 10915721216 9067 33554432000 4194304 4196468 140734483152160 140524790283312 140524786078877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4904] ppid=4898 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4904/stat : 4904 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 9067 33554432000 4194304 4196468 140734483152160 140524392999440 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4905] ppid=4898 vsize=10659884 memory=139845739168356 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4905/stat : 4905 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 9067 33554432000 4194304 4196468 140734483152160 140524391946896 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4906] ppid=4898 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4906/stat : 4906 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 9067 33554432000 4194304 4196468 140734483152160 140524390893840 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4907] ppid=4898 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4907/stat : 4907 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 9067 33554432000 4194304 4196468 140734483152160 140524389841296 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4908] ppid=4898 vsize=10659884 memory=139845737903744 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4908/stat : 4908 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887157 10915721216 9067 33554432000 4194304 4196468 140734483152160 140523889068784 140524786068098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4909] ppid=4898 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4909/stat : 4909 (java) S 4898 4901 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414887158 10915721216 9067 33554432000 4194304 4196468 140734483152160 140523888015008 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4910] ppid=4898 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4910/stat : 4910 (java) S 4898 4901 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414887158 10915721216 9067 33554432000 4194304 4196468 140734483152160 140523886961904 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4911] ppid=4898 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4911/stat : 4911 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887160 10915721216 9067 33554432000 4194304 4196468 140734483152160 140523885910480 140524786075547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4912] ppid=4898 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/4901/task/4912/stat : 4912 (java) S 4898 4901 3758 0 -1 1077944384 778 0 0 0 3 0 0 0 20 0 15 0 414887160 10915721216 9067 33554432000 4194304 4196468 140734483152160 140523884857584 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4913] ppid=4898 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6 /proc/4901/task/4913/stat : 4913 (java) S 4898 4901 3758 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 15 0 414887160 10915721216 9067 33554432000 4194304 4196468 140734483152160 140523883805040 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4914] ppid=4898 vsize=10659884 memory=139845737903744 CPUtime=0.05 cores=0,2,4,6 /proc/4901/task/4914/stat : 4914 (java) S 4898 4901 3758 0 -1 1077944384 830 0 0 0 5 0 0 0 20 0 15 0 414887160 10915721216 9067 33554432000 4194304 4196468 140734483152160 140523882751984 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4915] ppid=4898 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4915/stat : 4915 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887160 10915721216 9067 33554432000 4194304 4196468 140734483152160 140523439216992 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4916] ppid=4898 vsize=10659884 memory=139845737903744 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4916/stat : 4916 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887161 10915721216 9067 33554432000 4194304 4196468 140734483152160 140523438165040 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 36268 KiB [startup+0.310383 s]* /proc/loadavg: 1.99 1.86 1.87 3/228 4916 /proc/meminfo: memFree=26131060/32770624 swapFree=66957012/67108860 [pid=4901] ppid=4898 vsize=10659884 memory=39088 CPUtime=0.46 cores=0,2,4,6 /proc/4901/stat : 4901 (java) S 4898 4901 3758 0 -1 1077944320 9585 0 0 0 43 3 0 0 20 0 15 0 414887155 10915721216 9772 33554432000 4194304 4196468 140734483152160 140734483134704 140524786056951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 /proc/4901/statm: 2664971 9772 3018 1 0 2627468 0 [pid=4901/tid=4903] ppid=4898 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6 /proc/4901/task/4903/stat : 4903 (java) R 4898 4901 3758 0 -1 4202560 6282 0 0 0 27 2 0 0 20 0 15 0 414887155 10915721216 9772 33554432000 4194304 4196468 140734483152160 140524790295264 140524786078877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4904] ppid=4898 vsize=10659884 memory=290763870908448791 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4904/stat : 4904 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 9772 33554432000 4194304 4196468 140734483152160 140524392999440 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4905] ppid=4898 vsize=10659884 memory=13985141840672408 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4905/stat : 4905 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 9772 33554432000 4194304 4196468 140734483152160 140524391946896 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4906] ppid=4898 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4906/stat : 4906 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 9772 33554432000 4194304 4196468 140734483152160 140524390893840 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4907] ppid=4898 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4907/stat : 4907 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887156 10915721216 9772 33554432000 4194304 4196468 140734483152160 140524389841296 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4908] ppid=4898 vsize=10659884 memory=139845737903744 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4908/stat : 4908 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887157 10915721216 9772 33554432000 4194304 4196468 140734483152160 140523889068784 140524786068098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4909] ppid=4898 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4909/stat : 4909 (java) S 4898 4901 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414887158 10915721216 9772 33554432000 4194304 4196468 140734483152160 140523888015008 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4910] ppid=4898 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4910/stat : 4910 (java) S 4898 4901 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414887158 10915721216 9772 33554432000 4194304 4196468 140734483152160 140523886961904 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4911] ppid=4898 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4911/stat : 4911 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887160 10915721216 9772 33554432000 4194304 4196468 140734483152160 140523885910480 140524786075547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4912] ppid=4898 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/4901/task/4912/stat : 4912 (java) S 4898 4901 3758 0 -1 1077944384 791 0 0 0 3 0 0 0 20 0 15 0 414887160 10915721216 9772 33554432000 4194304 4196468 140734483152160 140523884857584 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4913] ppid=4898 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6 /proc/4901/task/4913/stat : 4913 (java) S 4898 4901 3758 0 -1 1077944384 282 0 0 0 4 0 0 0 20 0 15 0 414887160 10915721216 9772 33554432000 4194304 4196468 140734483152160 140523883805040 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4914] ppid=4898 vsize=10659884 memory=139845737903744 CPUtime=0.07 cores=0,2,4,6 /proc/4901/task/4914/stat : 4914 (java) S 4898 4901 3758 0 -1 1077944384 873 0 0 0 7 0 0 0 20 0 15 0 414887160 10915721216 9772 33554432000 4194304 4196468 140734483152160 140523882751984 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4915] ppid=4898 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4915/stat : 4915 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887160 10915721216 9772 33554432000 4194304 4196468 140734483152160 140523439216992 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4916] ppid=4898 vsize=10659884 memory=139845737903744 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4916/stat : 4916 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887161 10915721216 9772 33554432000 4194304 4196468 140734483152160 140523438165040 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 Current children cumulated CPU time: 0.46 s Current children cumulated vsize: 10659884 KiB Current children cumulated memory: 39088 KiB [startup+0.700707 s] /proc/loadavg: 1.99 1.86 1.87 3/228 4916 /proc/meminfo: memFree=26121460/32770624 swapFree=66957012/67108860 [pid=4901] ppid=4898 vsize=10661932 memory=59816 CPUtime=1.1 cores=0,2,4,6 /proc/4901/stat : 4901 (java) S 4898 4901 3758 0 -1 1077944320 12988 0 0 0 104 6 0 0 20 0 15 0 414887155 10917818368 14954 33554432000 4194304 4196468 140734483152160 140734483134704 140524786056951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 /proc/4901/statm: 2665483 14954 3072 1 0 2627980 0 [pid=4901/tid=4903] ppid=4898 vsize=10661932 memory=1368 CPUtime=0.67 cores=0,2,4,6 /proc/4901/task/4903/stat : 4903 (java) R 4898 4901 3758 0 -1 4202560 8796 0 0 0 63 4 0 0 20 0 15 0 414887155 10917818368 14954 33554432000 4194304 4196468 140734483152160 140524790288976 140524770137438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4904] ppid=4898 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4904/stat : 4904 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887156 10917818368 14954 33554432000 4194304 4196468 140734483152160 140524392999440 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4905] ppid=4898 vsize=10661932 memory=1712 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4905/stat : 4905 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887156 10917818368 14954 33554432000 4194304 4196468 140734483152160 140524391946896 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4906] ppid=4898 vsize=10661932 memory=6100 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4906/stat : 4906 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887156 10917818368 14954 33554432000 4194304 4196468 140734483152160 140524390893840 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4907] ppid=4898 vsize=10661932 memory=11624 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4907/stat : 4907 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887156 10917818368 14954 33554432000 4194304 4196468 140734483152160 140524389841296 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4908] ppid=4898 vsize=10661932 memory=732 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4908/stat : 4908 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887157 10917818368 14954 33554432000 4194304 4196468 140734483152160 140523889068784 140524786068098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4909] ppid=4898 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4909/stat : 4909 (java) S 4898 4901 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414887158 10917818368 14954 33554432000 4194304 4196468 140734483152160 140523888015008 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4910] ppid=4898 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4910/stat : 4910 (java) S 4898 4901 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414887158 10917818368 14954 33554432000 4194304 4196468 140734483152160 140523886961904 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4911] ppid=4898 vsize=10661932 memory=4008 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4911/stat : 4911 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887160 10917818368 14954 33554432000 4194304 4196468 140734483152160 140523885910480 140524786075547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4912] ppid=4898 vsize=10661932 memory=4639098309541126765 CPUtime=0.09 cores=0,2,4,6 /proc/4901/task/4912/stat : 4912 (java) S 4898 4901 3758 0 -1 1077944384 1016 0 0 0 9 0 0 0 20 0 15 0 414887160 10917818368 14954 33554432000 4194304 4196468 140734483152160 140523884857584 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4913] ppid=4898 vsize=10661932 memory=7380108234216663121 CPUtime=0.12 cores=0,2,4,6 /proc/4901/task/4913/stat : 4913 (java) S 4898 4901 3758 0 -1 1077944384 510 0 0 0 12 0 0 0 20 0 15 0 414887160 10917818368 14954 33554432000 4194304 4196468 140734483152160 140523883805040 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4914] ppid=4898 vsize=10661932 memory=5787782378022856021 CPUtime=0.18 cores=0,2,4,6 /proc/4901/task/4914/stat : 4914 (java) S 4898 4901 3758 0 -1 1077944384 1308 0 0 0 18 0 0 0 20 0 15 0 414887160 10917818368 14954 33554432000 4194304 4196468 140734483152160 140523882751984 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4915] ppid=4898 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4915/stat : 4915 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887160 10917818368 14954 33554432000 4194304 4196468 140734483152160 140523439216992 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4916] ppid=4898 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4916/stat : 4916 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887161 10917818368 14954 33554432000 4194304 4196468 140734483152160 140523438165040 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 Current children cumulated CPU time: 1.1 s Current children cumulated vsize: 10661932 KiB Current children cumulated memory: 59816 KiB [startup+1.50071 s] /proc/loadavg: 1.99 1.86 1.87 3/228 4916 /proc/meminfo: memFree=26104876/32770624 swapFree=66957012/67108860 [pid=4901] ppid=4898 vsize=10663980 memory=74320 CPUtime=2 cores=0,2,4,6 /proc/4901/stat : 4901 (java) S 4898 4901 3758 0 -1 1077944320 16621 0 0 0 193 7 0 0 20 0 15 0 414887155 10919915520 18580 33554432000 4194304 4196468 140734483152160 140734483134704 140524786056951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 /proc/4901/statm: 2665995 18580 3092 1 0 2628492 0 [pid=4901/tid=4903] ppid=4898 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6 /proc/4901/task/4903/stat : 4903 (java) R 4898 4901 3758 0 -1 4202560 11463 0 0 0 143 5 0 0 20 0 15 0 414887155 10919915520 18580 33554432000 4194304 4196468 140734483152160 140524790288976 140524769243760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4904] ppid=4898 vsize=10663980 memory=7235428992464153433 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4904/stat : 4904 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887156 10919915520 18580 33554432000 4194304 4196468 140734483152160 140524392999440 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4905] ppid=4898 vsize=10663980 memory=7305792226182194773 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4905/stat : 4905 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887156 10919915520 18580 33554432000 4194304 4196468 140734483152160 140524391946896 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4906] ppid=4898 vsize=10663980 memory=7451882158599990102 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4906/stat : 4906 (java) S 4898 4901 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414887156 10919915520 18580 33554432000 4194304 4196468 140734483152160 140524390893840 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4907] ppid=4898 vsize=10663980 memory=6220708488653005931 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4907/stat : 4907 (java) S 4898 4901 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414887156 10919915520 18580 33554432000 4194304 4196468 140734483152160 140524389841296 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4908] ppid=4898 vsize=10663980 memory=7236554896314034789 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4908/stat : 4908 (java) S 4898 4901 3758 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414887157 10919915520 18580 33554432000 4194304 4196468 140734483152160 140523889068784 140524786068098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4909] ppid=4898 vsize=10663980 memory=7518026630507422825 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4909/stat : 4909 (java) S 4898 4901 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414887158 10919915520 18580 33554432000 4194304 4196468 140734483152160 140523888015008 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4910] ppid=4898 vsize=10663980 memory=8242264966809872741 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4910/stat : 4910 (java) S 4898 4901 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414887158 10919915520 18580 33554432000 4194304 4196468 140734483152160 140523886961904 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4911] ppid=4898 vsize=10663980 memory=7162782133124617065 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4911/stat : 4911 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887160 10919915520 18580 33554432000 4194304 4196468 140734483152160 140523885910480 140524786075547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4912] ppid=4898 vsize=10663980 memory=7526543366708517240 CPUtime=0.16 cores=0,2,4,6 /proc/4901/task/4912/stat : 4912 (java) S 4898 4901 3758 0 -1 1077944384 1719 0 0 0 16 0 0 0 20 0 15 0 414887160 10919915520 18580 33554432000 4194304 4196468 140734483152160 140523884857584 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4913] ppid=4898 vsize=10663980 memory=0 CPUtime=0.15 cores=0,2,4,6 /proc/4901/task/4913/stat : 4913 (java) S 4898 4901 3758 0 -1 1077944384 750 0 0 0 15 0 0 0 20 0 15 0 414887160 10919915520 18580 33554432000 4194304 4196468 140734483152160 140523883805040 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4914] ppid=4898 vsize=10663980 memory=0 CPUtime=0.18 cores=0,2,4,6 /proc/4901/task/4914/stat : 4914 (java) S 4898 4901 3758 0 -1 1077944384 1310 0 0 0 18 0 0 0 20 0 15 0 414887160 10919915520 18580 33554432000 4194304 4196468 140734483152160 140523882751984 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4915] ppid=4898 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4915/stat : 4915 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414887160 10919915520 18580 33554432000 4194304 4196468 140734483152160 140523439216992 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4916] ppid=4898 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4916/stat : 4916 (java) S 4898 4901 3758 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414887161 10919915520 18580 33554432000 4194304 4196468 140734483152160 140523438165040 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 Current children cumulated CPU time: 2 s Current children cumulated vsize: 10663980 KiB Current children cumulated memory: 74320 KiB [startup+3.1104 s] /proc/loadavg: 1.99 1.86 1.87 5/229 4917 /proc/meminfo: memFree=25981760/32770624 swapFree=66957012/67108860 [pid=4901] ppid=4898 vsize=10748324 memory=192380 CPUtime=6.46 cores=0,2,4,6 /proc/4901/stat : 4901 (java) S 4898 4901 3758 0 -1 1077944320 33868 0 0 0 630 16 0 0 20 0 16 0 414887155 11006283776 48095 33554432000 4194304 4196468 140734483152160 140734483134704 140524786056951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 /proc/4901/statm: 2687081 48095 3346 1 0 2647217 0 [pid=4901/tid=4903] ppid=4898 vsize=10748324 memory=139845611826641 CPUtime=1.88 cores=0,2,4,6 /proc/4901/task/4903/stat : 4903 (java) S 4898 4901 3758 0 -1 1077944384 13205 0 0 0 182 6 0 0 20 0 16 0 414887155 11006283776 48095 33554432000 4194304 4196468 140734483152160 140524790299824 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4904] ppid=4898 vsize=10748324 memory=6655300316396806240 CPUtime=0.01 cores=0,2,4,6 /proc/4901/task/4904/stat : 4904 (java) S 4898 4901 3758 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 16 0 414887156 11006283776 48095 33554432000 4194304 4196468 140734483152160 140524392999440 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4905] ppid=4898 vsize=10748324 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4905/stat : 4905 (java) S 4898 4901 3758 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414887156 11006283776 48095 33554432000 4194304 4196468 140734483152160 140524391946896 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4906] ppid=4898 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4906/stat : 4906 (java) S 4898 4901 3758 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 414887156 11006283776 48095 33554432000 4194304 4196468 140734483152160 140524390893840 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4907] ppid=4898 vsize=10748324 memory=279691223670880 CPUtime=0.01 cores=0,2,4,6 /proc/4901/task/4907/stat : 4907 (java) S 4898 4901 3758 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 414887156 11006283776 48095 33554432000 4194304 4196468 140734483152160 140524389841296 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4908] ppid=4898 vsize=10748324 memory=0 CPUtime=0.01 cores=0,2,4,6 /proc/4901/task/4908/stat : 4908 (java) S 4898 4901 3758 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 16 0 414887157 11006283776 48095 33554432000 4194304 4196468 140734483152160 140523889068784 140524786068098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4909] ppid=4898 vsize=10748324 memory=107 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4909/stat : 4909 (java) S 4898 4901 3758 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414887158 11006283776 48095 33554432000 4194304 4196468 140734483152160 140523888015072 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4910] ppid=4898 vsize=10748324 memory=104 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4910/stat : 4910 (java) S 4898 4901 3758 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414887158 11006283776 48095 33554432000 4194304 4196468 140734483152160 140523886961920 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4911] ppid=4898 vsize=10748324 memory=77 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4911/stat : 4911 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414887160 11006283776 48095 33554432000 4194304 4196468 140734483152160 140523885910480 140524786075547 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4912] ppid=4898 vsize=10748324 memory=0 CPUtime=1.27 cores=0,2,4,6 /proc/4901/task/4912/stat : 4912 (java) R 4898 4901 3758 0 -1 4202560 5948 0 0 0 126 1 0 0 20 0 16 0 414887160 11006283776 48095 33554432000 4194304 4196468 140734483152160 140523884839192 140524769467752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4913] ppid=4898 vsize=10748324 memory=0 CPUtime=1.25 cores=0,2,4,6 /proc/4901/task/4913/stat : 4913 (java) R 4898 4901 3758 0 -1 4202560 4117 0 0 0 124 1 0 0 20 0 16 0 414887160 11006283776 48095 33554432000 4194304 4196468 140734483152160 140523883796880 140524763652497 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4914] ppid=4898 vsize=10748324 memory=94 CPUtime=0.79 cores=0,2,4,6 /proc/4901/task/4914/stat : 4914 (java) S 4898 4901 3758 0 -1 1077944384 4086 0 0 0 77 2 0 0 20 0 16 0 414887160 11006283776 48095 33554432000 4194304 4196468 140734483152160 140523882751984 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4915] ppid=4898 vsize=10748324 memory=139845611590884 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4915/stat : 4915 (java) S 4898 4901 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414887160 11006283776 48095 33554432000 4194304 4196468 140734483152160 140523439216992 140524786067157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4916] ppid=4898 vsize=10748324 memory=279691223737616 CPUtime=0 cores=0,2,4,6 /proc/4901/task/4916/stat : 4916 (java) S 4898 4901 3758 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414887161 11006283776 48095 33554432000 4194304 4196468 140734483152160 140523438165040 140524786068098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 [pid=4901/tid=4917] ppid=4898 vsize=10748324 memory=0 CPUtime=1.16 cores=0,2,4,6 /proc/4901/task/4917/stat : 4917 (java) R 4898 4901 3758 0 -1 4202560 4770 0 0 0 114 2 0 0 20 0 16 0 414887346 11006283776 48095 33554432000 4194304 4196468 140734483152160 140523421488880 140524431369880 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12234752 140734483153931 140734483154034 140734483154034 140734483156943 0 Current children cumulated CPU time: 6.46 s Current children cumulated vsize: 10748324 KiB Current children cumulated memory: 192380 KiB [startup+3.21134 s] # the end of solver process 4901 was just reported to runsolver # cumulated CPU time of all completed processes: user=6.53568 s, system=0.17563 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20152 s]* /proc/loadavg: 2.15 1.89 1.88 3/213 4919 /proc/meminfo: memFree=26157784/32770624 swapFree=66957012/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child status: 0 Real time (s): 3.21137 CPU time (s): 6.71131 CPU user time (s): 6.53568 CPU system time (s): 0.17563 CPU usage (%): 208.986 Max. virtual memory (cumulated for all children) (KiB): 10748500 Max. memory (cumulated for all children) (KiB): 192380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.53568 system time used= 0.17563 maximum resident set size= 200692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35621 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2704 involuntary context switches= 34 # summary of solver processes directly reported to runsolver: # pid: 4901 # total CPU time (s): 6.71131 # total CPU user time (s): 6.53568 # total CPU system time (s): 0.17563 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.043855 second user time and 0.086667 second system time The end
Begin job on node147 at 2019-09-13 17:48:10 IDJOB=4391165 IDBENCH=126828 IDSOLVER=2833 FILE ID=node147/4391165-1568389733 RUNJOBID= node147-1568389280-3789 PBS_JOBID= 21701856 Free space on /tmp= 56536 MiB SOLVER NAME= AbsCon 2019-07-23 BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-4-5-30-1.xml COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391165-1568389733/watcher-4391165-1568389733 -o /tmp/evaluation-result-4391165-1568389733/solver-4391165-1568389733 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3789 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391165-1568389733.xml -cm TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1a3f146023047dfa4a3d56734d0c92f1 RANDOM SEED=1715166147 node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26158496 kB MemAvailable: 31353988 kB Buffers: 167924 kB Cached: 5241544 kB SwapCached: 48500 kB Active: 2629120 kB Inactive: 3292360 kB Active(anon): 464280 kB Inactive(anon): 89344 kB Active(file): 2164840 kB Inactive(file): 3203016 kB Unevictable: 107760 kB Mlocked: 107760 kB SwapTotal: 67108860 kB SwapFree: 66957012 kB Dirty: 8968 kB Writeback: 0 kB AnonPages: 581564 kB Mapped: 56920 kB Shmem: 32768 kB Slab: 285840 kB SReclaimable: 256096 kB SUnreclaim: 29744 kB KernelStack: 4000 kB PageTables: 6668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1680392 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 452608 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 56528 MiB End job on node147 at 2019-09-13 17:48:13