2.58/1.91
2.58/1.91 AbsCon 2
2.58/1.93
3.88/2.31 Instance
3.88/2.31 name=instance-4391056-1568383027, framework=COP, bounds=-infty..+infty
3.88/2.31
3.88/2.31 Loading variables...
4.23/2.44 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a49770f
6.22/3.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31336ce
6.22/3.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a1512da
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43be905a
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f59239
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eaca6b
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c884559
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60bc502e
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64234cb9
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2eee89
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40399e63
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af9c8ef
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256f422
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d58d28a
6.22/3.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33c99932
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@172c2c4a
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@325356a6
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4389506a
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4475de72
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73dee113
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa6e6b3
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e1dd332
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32f95142
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23fbfaeb
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64f35268
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12192652
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333febe8
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b8b2083
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46c663ea
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1996b26f
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33407f24
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c14b867
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3a42f5
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c6cb469
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43c7fda6
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58080405
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5adc0be0
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@323f1d5f
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@793feb71
6.22/3.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611c1b1f
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1757f049
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24d5a2be
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32885beb
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a7f43d1
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59344b15
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c3c527e
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@565f6c0b
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f9e29
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c1da4c6
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9175ba
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37369bd4
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1f589f
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@792d1546
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14891f4c
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495afc17
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de86c40
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4991cf88
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dcae30e
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54722135
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2d9764
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4990a4b8
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ebcb83
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fed85c
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b5f8c18
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@96502e2
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d77fa5
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187ce9d8
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cc83d5e
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@161f9767
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b4b77da
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ca75d7b
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e40db1b
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349c3725
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e8e0025
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e69484c
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12eb1b3a
6.22/3.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4675ba04
6.85/3.26
6.85/3.26
6.85/3.26 Domains
6.85/3.26 nTypes=155, nValues=15325, sizes=[2#3082,3#2,4#1,5#2...149#1,151#1,153#1,155#1]
6.85/3.26 Variables
6.85/3.26 count=3235, degrees=[2#3157,77#78]
6.85/3.26 Objectives
6.85/3.26 way=min, type=SumSimpleLE
6.85/3.26 Constraints
6.85/3.26 count=3158, nSpecific=78, arities=[2#78,3#3004,4#1,5#1...75#1,76#1,77#2,78#1]
6.85/3.26 distribution=[CtrIntension#3080,SumSimpleLE#1,SumWeightedEQ#77]
6.85/3.26 nIntStructures=(78,shared:3002), nCftStructures=(78,shared:3002,unbuilt:78)
6.85/3.26 wck=1.38, cpu=3.194, mem=105M376
6.85/3.29 Solver SolverBacktrack being built...
6.85/3.29
7.18/3.38
7.18/3.38 Solver
7.18/3.38 guaranteedGAC=false
7.18/3.38 wck=1.491, cpu=3.274, mem=73M496
7.52/3.46
7.52/3.46 Preprocessing
7.52/3.46 filters=0, ccks=319404, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
7.52/3.46 wck=0.09, cpu=3.368, mem=73M496
7.52/3.46
8.10/3.65 o 155155
8.10/3.66 num=0, depth=3236..3234, filters=7527, revisions=(12089,useless=7565), ccks=644884, wck=0.29, mem=76M917
8.10/3.66 decisions=78, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=155155
8.10/3.66
8.71/3.84 o 143451
8.71/3.84 num=1, depth=0..3234, filters=14993, revisions=(24293,useless=15269), ccks=730767, wck=0.472, mem=79M480
8.71/3.84 decisions=158, wrong=1, backtracks=0, failedAssignments=1, foundSolutions=2, bestBound=143451
8.71/3.84
9.35/4.04 o 132355
9.35/4.05 num=2, depth=77..3234, filters=22621, revisions=(36844,useless=23195), ccks=819897, wck=0.676, mem=82M42
9.35/4.05 decisions=237, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=3, bestBound=132355
9.35/4.05
9.60/4.17 o 26835
9.60/4.17 num=3, depth=3236..3234, filters=27903, revisions=(50864,useless=34137), ccks=830734, wck=0.8, mem=84M605
9.60/4.17 decisions=279, wrong=2, backtracks=0, failedAssignments=2, nogoods=1, foundSolutions=4, bestBound=26835
9.60/4.17
10.06/4.34 num=4, depth=42..61, filters=49245, revisions=(82185,useless=51379), ccks=914107, wck=0.966, mem=84M605
10.06/4.34 decisions=352, wrong=13, backtracks=0, failedAssignments=13, nogoods=12, foundSolutions=4, bestBound=26835
10.06/4.34
10.18/4.45 num=5, depth=52..78, filters=76219, revisions=(117745,useless=68174), ccks=1064994, wck=1.076, mem=84M605
10.18/4.45 decisions=464, wrong=41, backtracks=26, failedAssignments=24, nogoods=14, foundSolutions=4, bestBound=26835
10.18/4.45
10.18/4.50 o 5939
10.18/4.50 num=6, depth=52..3234, filters=83128, revisions=(137786,useless=83999), ccks=1146187, wck=1.131, mem=87M167
10.18/4.50 decisions=522, wrong=43, backtracks=26, failedAssignments=26, nogoods=16, foundSolutions=5, bestBound=5939
10.18/4.50
10.44/4.63 num=7, depth=54..67, filters=93862, revisions=(160325,useless=99097), ccks=1259180, wck=1.254, mem=87M167
10.44/4.63 decisions=609, wrong=60, backtracks=41, failedAssignments=39, nogoods=18, foundSolutions=5, bestBound=5939
10.44/4.63
10.44/4.69 num=8, depth=58..68, filters=107079, revisions=(183693,useless=113339), ccks=1422172, wck=1.322, mem=87M167
10.44/4.69 decisions=711, wrong=82, backtracks=55, failedAssignments=50, nogoods=19, foundSolutions=5, bestBound=5939
10.44/4.69
10.56/4.74 o 4155
10.56/4.75 num=9, depth=63..3234, filters=113209, revisions=(199557,useless=125400), ccks=1550216, wck=1.378, mem=89M757
10.56/4.75 decisions=780, wrong=84, backtracks=55, failedAssignments=52, nogoods=21, foundSolutions=6, bestBound=4155
10.56/4.75
10.71/4.86 o 3915
10.71/4.87 num=10, depth=3236..3234, filters=119165, revisions=(215113,useless=137321), ccks=1660098, wck=1.497, mem=92M319
10.71/4.87 decisions=848, wrong=84, backtracks=55, failedAssignments=52, nogoods=21, foundSolutions=7, bestBound=3915
10.71/4.87
10.88/4.98 o 2907
10.88/4.99 num=11, depth=68..3234, filters=125825, revisions=(231994,useless=149682), ccks=1780570, wck=1.617, mem=92M319
10.88/4.99 decisions=925, wrong=87, backtracks=55, failedAssignments=55, nogoods=24, foundSolutions=8, bestBound=2907
10.88/4.99
11.16/5.11 o 2499
11.16/5.12 num=12, depth=69..3234, filters=135352, revisions=(250932,useless=162485), ccks=1907730, wck=1.744, mem=94M882
11.16/5.12 decisions=1013, wrong=96, backtracks=56, failedAssignments=63, nogoods=32, foundSolutions=9, bestBound=2499
11.16/5.12
11.25/5.24 num=13, depth=67..75, filters=147750, revisions=(269974,useless=172797), ccks=2027535, wck=1.864, mem=94M882
11.25/5.24 decisions=1138, wrong=121, backtracks=70, failedAssignments=74, nogoods=43, foundSolutions=9, bestBound=2499
11.25/5.24
11.25/5.25 num=14, depth=30..42, filters=149475, revisions=(279802,useless=180951), ccks=2071957, wck=1.882, mem=94M882
11.25/5.25 decisions=1207, wrong=137, backtracks=77, failedAssignments=85, nogoods=49, foundSolutions=9, bestBound=2499
11.25/5.25
11.43/5.30 num=15, depth=75..78, filters=157421, revisions=(293920,useless=189389), ccks=2173658, wck=1.929, mem=94M882
11.43/5.30 decisions=1317, wrong=154, backtracks=82, failedAssignments=97, nogoods=57, foundSolutions=9, bestBound=2499
11.43/5.30
11.43/5.35 num=16, depth=73..80, filters=166700, revisions=(309278,useless=198224), ccks=2272843, wck=1.975, mem=94M882
11.43/5.35 decisions=1426, wrong=169, backtracks=84, failedAssignments=110, nogoods=70, foundSolutions=9, bestBound=2499
11.43/5.35
11.43/5.37 num=17, depth=39..45, filters=169382, revisions=(322098,useless=208410), ccks=2320012, wck=1.997, mem=97M444
11.43/5.37 decisions=1512, wrong=192, backtracks=104, failedAssignments=124, nogoods=73, foundSolutions=9, bestBound=2499
11.43/5.37
11.53/5.41 num=18, depth=73..81, filters=178077, revisions=(337183,useless=217077), ccks=2418137, wck=2.039, mem=97M444
11.53/5.41 decisions=1632, wrong=213, backtracks=109, failedAssignments=140, nogoods=85, foundSolutions=9, bestBound=2499
11.53/5.41
11.53/5.46 num=19, depth=75..79, filters=187350, revisions=(353246,useless=226233), ccks=2519214, wck=2.085, mem=97M444
11.53/5.46 decisions=1755, wrong=237, backtracks=118, failedAssignments=157, nogoods=89, foundSolutions=9, bestBound=2499
11.53/5.46
11.70/5.54 num=20, depth=74..84, filters=198967, revisions=(370859,useless=235454), ccks=2627067, wck=2.173, mem=97M444
11.70/5.54 decisions=1885, wrong=265, backtracks=130, failedAssignments=176, nogoods=90, foundSolutions=9, bestBound=2499
11.70/5.54
11.70/5.59 num=21, depth=74..81, filters=210890, revisions=(389337,useless=244994), ccks=2735299, wck=2.223, mem=97M444
11.70/5.59 decisions=2024, wrong=296, backtracks=141, failedAssignments=197, nogoods=95, foundSolutions=9, bestBound=2499
11.70/5.59
11.81/5.64 num=22, depth=73..82, filters=220724, revisions=(406439,useless=254729), ccks=2848306, wck=2.269, mem=97M444
11.81/5.64 decisions=2166, wrong=329, backtracks=155, failedAssignments=220, nogoods=100, foundSolutions=9, bestBound=2499
11.81/5.64
11.81/5.69 num=23, depth=75..81, filters=230491, revisions=(423113,useless=264169), ccks=2955111, wck=2.315, mem=97M444
11.81/5.69 decisions=2315, wrong=365, backtracks=168, failedAssignments=245, nogoods=105, foundSolutions=9, bestBound=2499
11.81/5.69
11.91/5.76 num=24, depth=66..78, filters=246408, revisions=(447944,useless=277216), ccks=3135215, wck=2.385, mem=97M444
11.91/5.76 decisions=2502, wrong=422, backtracks=212, failedAssignments=273, nogoods=110, foundSolutions=9, bestBound=2499
11.91/5.76
12.02/5.82 num=25, depth=72..81, filters=263200, revisions=(475040,useless=291579), ccks=3280087, wck=2.448, mem=97M444
12.02/5.82 decisions=2676, wrong=472, backtracks=239, failedAssignments=304, nogoods=113, foundSolutions=9, bestBound=2499
12.02/5.82
12.12/5.93 num=26, depth=42..59, filters=292669, revisions=(556918,useless=344654), ccks=3372170, wck=2.561, mem=100M7
12.12/5.93 decisions=2866, wrong=546, backtracks=294, failedAssignments=338, nogoods=114, foundSolutions=9, bestBound=2499
12.12/5.93
12.23/6.04 num=27, depth=69..76, filters=325020, revisions=(606300,useless=369273), ccks=3602631, wck=2.671, mem=100M7
12.23/6.04 decisions=3072, wrong=613, backtracks=333, failedAssignments=375, nogoods=116, foundSolutions=9, bestBound=2499
12.23/6.04
12.33/6.15 num=28, depth=69..79, filters=356416, revisions=(652576,useless=391790), ccks=3831064, wck=2.777, mem=100M7
12.33/6.15 decisions=3281, wrong=683, backtracks=375, failedAssignments=416, nogoods=118, foundSolutions=9, bestBound=2499
12.33/6.15
12.42/6.25 num=29, depth=69..80, filters=388293, revisions=(697059,useless=412698), ccks=4039301, wck=2.881, mem=102M569
12.42/6.25 decisions=3517, wrong=764, backtracks=425, failedAssignments=461, nogoods=121, foundSolutions=9, bestBound=2499
12.42/6.25
12.62/6.47 num=30, depth=46..56, filters=453844, revisions=(857719,useless=509904), ccks=4178880, wck=3.098, mem=102M569
12.62/6.47 decisions=3771, wrong=867, backtracks=504, failedAssignments=511, nogoods=125, foundSolutions=9, bestBound=2499
12.62/6.47
12.72/6.56 num=31, depth=71..78, filters=482334, revisions=(897519,useless=528241), ccks=4369987, wck=3.188, mem=102M569
12.72/6.56 decisions=4027, wrong=959, backtracks=556, failedAssignments=566, nogoods=128, foundSolutions=9, bestBound=2499
12.72/6.56
12.82/6.65 num=32, depth=70..81, filters=512078, revisions=(942591,useless=549598), ccks=4580054, wck=3.282, mem=105M132
12.82/6.65 decisions=4303, wrong=1060, backtracks=609, failedAssignments=627, nogoods=131, foundSolutions=9, bestBound=2499
12.82/6.65
12.92/6.76 num=33, depth=70..78, filters=545078, revisions=(988736,useless=570394), ccks=4786663, wck=3.387, mem=105M132
12.92/6.76 decisions=4585, wrong=1164, backtracks=661, failedAssignments=694, nogoods=141, foundSolutions=9, bestBound=2499
12.92/6.76
13.03/6.84 num=34, depth=72..85, filters=570013, revisions=(1022317,useless=585280), ccks=4936163, wck=3.467, mem=105M132
13.03/6.84 decisions=4881, wrong=1275, backtracks=708, failedAssignments=768, nogoods=147, foundSolutions=9, bestBound=2499
13.03/6.84
13.13/6.92 num=35, depth=71..84, filters=595941, revisions=(1059306,useless=602285), ccks=5098610, wck=3.55, mem=105M132
13.13/6.92 decisions=5219, wrong=1408, backtracks=778, failedAssignments=849, nogoods=150, foundSolutions=9, bestBound=2499
13.13/6.92
13.13/7.01 num=36, depth=71..82, filters=624390, revisions=(1100512,useless=620904), ccks=5247808, wck=3.633, mem=107M695
13.13/7.01 decisions=5575, wrong=1547, backtracks=841, failedAssignments=938, nogoods=168, foundSolutions=9, bestBound=2499
13.13/7.01
13.41/7.12 num=37, depth=71..78, filters=660260, revisions=(1150285,useless=643040), ccks=5441786, wck=3.75, mem=107M695
13.41/7.12 decisions=5948, wrong=1697, backtracks=904, failedAssignments=1036, nogoods=179, foundSolutions=9, bestBound=2499
13.41/7.12
13.69/7.46 num=38, depth=53..71, filters=791034, revisions=(1404596,useless=776767), ccks=5713315, wck=4.091, mem=110M257
13.69/7.46 decisions=6493, wrong=1939, backtracks=1104, failedAssignments=1144, nogoods=185, foundSolutions=9, bestBound=2499
13.69/7.46
13.79/7.59 num=39, depth=26..60, filters=816200, revisions=(1489766,useless=837279), ccks=5851491, wck=4.217, mem=110M257
13.79/7.59 decisions=7051, wrong=2200, backtracks=1303, failedAssignments=1263, nogoods=193, foundSolutions=9, bestBound=2499
13.79/7.59
14.22/7.82 num=40, depth=69..80, filters=891525, revisions=(1585674,useless=875958), ccks=6250811, wck=4.452, mem=112M820
14.22/7.82 decisions=7557, wrong=2416, backtracks=1413, failedAssignments=1394, nogoods=195, foundSolutions=9, bestBound=2499
14.22/7.82
14.32/7.93 num=41, depth=71..79, filters=933145, revisions=(1643818,useless=900371), ccks=6435498, wck=4.558, mem=112M820
14.32/7.93 decisions=8052, wrong=2628, backtracks=1501, failedAssignments=1538, nogoods=202, foundSolutions=9, bestBound=2499
14.32/7.93
14.53/8.17 num=42, depth=67..78, filters=1017787, revisions=(1753289,useless=942212), ccks=6939456, wck=4.796, mem=115M383
14.53/8.17 decisions=8612, wrong=2873, backtracks=1639, failedAssignments=1696, nogoods=207, foundSolutions=9, bestBound=2499
14.53/8.17
15.22/8.82 num=43, depth=63..76, filters=1219584, revisions=(1982460,useless=1025050), ccks=8084100, wck=5.444, mem=120M508
15.22/8.82 decisions=9388, wrong=3227, backtracks=1916, failedAssignments=1870, nogoods=210, foundSolutions=9, bestBound=2499
15.22/8.82
15.53/9.17 num=44, depth=64..73, filters=1338495, revisions=(2132612,useless=1076225), ccks=8853142, wck=5.802, mem=123M70
15.53/9.17 decisions=10028, wrong=3514, backtracks=2086, failedAssignments=2061, nogoods=215, foundSolutions=9, bestBound=2499
15.53/9.17
15.82/9.49 num=45, depth=63..73, filters=1444311, revisions=(2269859,useless=1122241), ccks=9509914, wck=6.122, mem=123M70
15.82/9.49 decisions=10699, wrong=3817, backtracks=2245, failedAssignments=2272, nogoods=225, foundSolutions=9, bestBound=2499
15.82/9.49
16.43/10.03 num=46, depth=57..68, filters=1604518, revisions=(2484422,useless=1195359), ccks=10770478, wck=6.657, mem=128M196
16.43/10.03 decisions=11389, wrong=4133, backtracks=2463, failedAssignments=2504, nogoods=227, foundSolutions=9, bestBound=2499
16.43/10.03
16.94/10.55 num=47, depth=57..69, filters=1754691, revisions=(2679185,useless=1260567), ccks=11821165, wck=7.181, mem=130M758
16.94/10.55 decisions=12131, wrong=4475, backtracks=2676, failedAssignments=2759, nogoods=235, foundSolutions=9, bestBound=2499
16.94/10.55
18.46/12.05 num=48, depth=53..70, filters=2166923, revisions=(3147338,useless=1424934), ccks=13456105, wck=8.676, mem=138M446
18.46/12.05 decisions=13082, wrong=4922, backtracks=3048, failedAssignments=3040, nogoods=243, foundSolutions=9, bestBound=2499
18.46/12.05
19.05/12.68 num=49, depth=58..68, filters=2351377, revisions=(3390202,useless=1506584), ccks=14982782, wck=9.313, mem=141M8
19.05/12.68 decisions=14010, wrong=5356, backtracks=3332, failedAssignments=3349, nogoods=256, foundSolutions=9, bestBound=2499
19.05/12.68
19.87/13.42 num=50, depth=58..68, filters=2563474, revisions=(3669123,useless=1602099), ccks=16747305, wck=10.05, mem=146M134
19.87/13.42 decisions=15010, wrong=5826, backtracks=3660, failedAssignments=3689, nogoods=268, foundSolutions=9, bestBound=2499
19.87/13.42
20.58/14.18 num=51, depth=58..71, filters=2773357, revisions=(3944164,useless=1693763), ccks=18600064, wck=10.805, mem=148M696
20.58/14.18 decisions=16087, wrong=6334, backtracks=4002, failedAssignments=4063, nogoods=280, foundSolutions=9, bestBound=2499
20.58/14.18
21.17/14.75 num=52, depth=57..72, filters=2932989, revisions=(4159504,useless=1774763), ccks=20167172, wck=11.381, mem=153M821
21.17/14.75 decisions=17198, wrong=6859, backtracks=4408, failedAssignments=4474, nogoods=297, foundSolutions=9, bestBound=2499
21.17/14.75
22.17/15.78 num=53, depth=59..69, filters=3253205, revisions=(4566583,useless=1906871), ccks=22502128, wck=12.408, mem=158M947
22.17/15.78 decisions=18518, wrong=7488, backtracks=4846, failedAssignments=4926, nogoods=311, foundSolutions=9, bestBound=2499
22.17/15.78
23.58/17.15 num=54, depth=56..66, filters=3668739, revisions=(5099112,useless=2082855), ccks=25123878, wck=13.783, mem=166M634
23.58/17.15 decisions=19933, wrong=8167, backtracks=5300, failedAssignments=5423, nogoods=323, foundSolutions=9, bestBound=2499
23.58/17.15
25.17/18.75 num=55, depth=54..65, filters=4153577, revisions=(5730110,useless=2294404), ccks=28489864, wck=15.382, mem=176M885
25.17/18.75 decisions=21476, wrong=8911, backtracks=5862, failedAssignments=5970, nogoods=346, foundSolutions=9, bestBound=2499
25.17/18.75
26.79/20.38 num=56, depth=55..66, filters=4577343, revisions=(6282587,useless=2477211), ccks=32275547, wck=17.01, mem=187M135
26.79/20.38 decisions=23151, wrong=9720, backtracks=6482, failedAssignments=6572, nogoods=357, foundSolutions=9, bestBound=2499
26.79/20.38
28.75/22.24 num=57, depth=54..66, filters=5086894, revisions=(6967970,useless=2708284), ccks=37041921, wck=18.871, mem=75M774
28.75/22.24 decisions=24988, wrong=10610, backtracks=7195, failedAssignments=7234, nogoods=363, foundSolutions=9, bestBound=2499
28.75/22.24
30.36/23.89 num=58, depth=53..65, filters=5560591, revisions=(7612119,useless=2933703), ccks=40794896, wck=20.514, mem=84M396
30.36/23.89 decisions=26973, wrong=11575, backtracks=7921, failedAssignments=7962, nogoods=377, foundSolutions=9, bestBound=2499
30.36/23.89
32.36/25.81 num=59, depth=52..65, filters=6109329, revisions=(8353430,useless=3193934), ccks=45166461, wck=22.439, mem=97M329
32.36/25.81 decisions=29129, wrong=12626, backtracks=8717, failedAssignments=8763, nogoods=392, foundSolutions=9, bestBound=2499
32.36/25.81
34.46/27.96 num=60, depth=53..66, filters=6697555, revisions=(9130049,useless=3456420), ccks=50160106, wck=24.584, mem=110M262
34.46/27.96 decisions=31503, wrong=13785, backtracks=9594, failedAssignments=9644, nogoods=401, foundSolutions=9, bestBound=2499
34.46/27.96
37.06/30.59 num=61, depth=52..65, filters=7411150, revisions=(10086114,useless=3784165), ccks=56579006, wck=27.223, mem=123M195
37.06/30.59 decisions=34094, wrong=15053, backtracks=10661, failedAssignments=10614, nogoods=410, foundSolutions=9, bestBound=2499
37.06/30.59
39.47/32.99 num=62, depth=53..66, filters=8094879, revisions=(10985668,useless=4095620), ccks=61397337, wck=29.619, mem=136M129
39.47/32.99 decisions=36933, wrong=16444, backtracks=11674, failedAssignments=11681, nogoods=429, foundSolutions=9, bestBound=2499
39.47/32.99
42.58/36.04 num=63, depth=53..67, filters=8981415, revisions=(12147749,useless=4483753), ccks=68322015, wck=32.668, mem=157M684
42.58/36.04 decisions=40105, wrong=18001, backtracks=12884, failedAssignments=12854, nogoods=448, foundSolutions=9, bestBound=2499
42.58/36.04
45.98/39.44 num=64, depth=53..66, filters=9974790, revisions=(13452279,useless=4909005), ccks=76592488, wck=36.072, mem=174M928
45.98/39.44 decisions=43636, wrong=19738, backtracks=14246, failedAssignments=14145, nogoods=460, foundSolutions=9, bestBound=2499
45.98/39.44
49.28/42.76 num=65, depth=53..66, filters=10918500, revisions=(14688288,useless=5320063), ccks=84157518, wck=39.392, mem=196M483
49.28/42.76 decisions=47503, wrong=21643, backtracks=15642, failedAssignments=15565, nogoods=470, foundSolutions=9, bestBound=2499
49.28/42.76
53.70/47.19 num=66, depth=54..67, filters=12096023, revisions=(16201644,useless=5802608), ccks=95732668, wck=43.823, mem=222M350
53.70/47.19 decisions=51884, wrong=23805, backtracks=17385, failedAssignments=17127, nogoods=488, foundSolutions=9, bestBound=2499
53.70/47.19
58.89/52.37 num=67, depth=53..66, filters=13597931, revisions=(18172461,useless=6457142), ccks=108187518, wck=48.996, mem=252M527
58.89/52.37 decisions=56638, wrong=26154, backtracks=19407, failedAssignments=18845, nogoods=495, foundSolutions=9, bestBound=2499
58.89/52.37
63.29/56.78 num=68, depth=53..66, filters=14815039, revisions=(19779660,useless=7009063), ccks=118727451, wck=53.407, mem=278M393
63.29/56.78 decisions=61778, wrong=28696, backtracks=21358, failedAssignments=20735, nogoods=514, foundSolutions=9, bestBound=2499
63.29/56.78
68.75/62.14 num=69, depth=55..68, filters=16281698, revisions=(21649769,useless=7605642), ccks=132228683, wck=58.765, mem=89M569
68.75/62.14 decisions=67565, wrong=31560, backtracks=23664, failedAssignments=22814, nogoods=518, foundSolutions=9, bestBound=2499
68.75/62.14
75.44/68.85 num=70, depth=53..68, filters=18034146, revisions=(23929906,useless=8358530), ccks=149526468, wck=65.482, mem=125M558
75.44/68.85 decisions=73740, wrong=34620, backtracks=26389, failedAssignments=25101, nogoods=535, foundSolutions=9, bestBound=2499
75.44/68.85
80.76/74.13 num=71, depth=52..65, filters=19302550, revisions=(25656950,useless=8970546), ccks=164230499, wck=70.758, mem=157M49
80.76/74.13 decisions=80609, wrong=38027, backtracks=28982, failedAssignments=27617, nogoods=551, foundSolutions=9, bestBound=2499
80.76/74.13
89.77/83.16 num=72, depth=52..66, filters=21712685, revisions=(28754843,useless=9944149), ccks=188764423, wck=79.788, mem=211M34
89.77/83.16 decisions=88189, wrong=41789, backtracks=32499, failedAssignments=30385, nogoods=559, foundSolutions=9, bestBound=2499
89.77/83.16
98.87/92.28 num=73, depth=51..66, filters=24243295, revisions=(32121102,useless=11075202), ccks=211292844, wck=88.907, mem=265M19
98.87/92.28 decisions=96333, wrong=45833, backtracks=36119, failedAssignments=33429, nogoods=577, foundSolutions=9, bestBound=2499
98.87/92.28
108.53/101.84 num=74, depth=51..65, filters=26756027, revisions=(35387460,useless=12160950), ccks=235048070, wck=98.467, mem=92M434
108.53/101.84 decisions=105223, wrong=50250, backtracks=40027, failedAssignments=36778, nogoods=585, foundSolutions=9, bestBound=2499
108.53/101.84
117.33/110.60 num=75, depth=51..66, filters=29263351, revisions=(38722245,useless=13284934), ccks=256837507, wck=107.225, mem=140M955
117.33/110.60 decisions=115112, wrong=55167, backtracks=43910, failedAssignments=40462, nogoods=597, foundSolutions=9, bestBound=2499
117.33/110.60
128.34/121.68 num=76, depth=52..65, filters=32335183, revisions=(42698686,useless=14558464), ccks=285793664, wck=118.313, mem=210M272
128.34/121.68 decisions=126365, wrong=60766, backtracks=48443, failedAssignments=44514, nogoods=606, foundSolutions=9, bestBound=2499
128.34/121.68
142.55/135.81 num=77, depth=53..68, filters=36243537, revisions=(47648560,useless=16083149), ccks=322901214, wck=132.442, mem=293M451
142.55/135.81 decisions=138704, wrong=66908, backtracks=53978, failedAssignments=48971, nogoods=619, foundSolutions=9, bestBound=2499
142.55/135.81
157.34/150.65 num=78, depth=51..67, filters=40219466, revisions=(52793184,useless=17754382), ccks=361487647, wck=147.281, mem=376M630
157.34/150.65 decisions=151895, wrong=73476, backtracks=59901, failedAssignments=53874, nogoods=632, foundSolutions=9, bestBound=2499
157.34/150.65
170.39/163.68 num=79, depth=51..65, filters=44283150, revisions=(58165947,useless=19534223), ccks=393543110, wck=160.312, mem=112M466
170.39/163.68 decisions=166629, wrong=80816, backtracks=65599, failedAssignments=59268, nogoods=654, foundSolutions=9, bestBound=2499
170.39/163.68
184.40/177.63 num=80, depth=51..68, filters=48551716, revisions=(63786813,useless=21480652), ccks=429627477, wck=174.262, mem=200M150
184.40/177.63 decisions=182999, wrong=88973, backtracks=72108, failedAssignments=65201, nogoods=667, foundSolutions=9, bestBound=2499
184.40/177.63
201.71/194.96 num=81, depth=52..70, filters=53648281, revisions=(70230354,useless=23504579), ccks=477444971, wck=191.587, mem=308M69
201.71/194.96 decisions=200894, wrong=97892, backtracks=79751, failedAssignments=71727, nogoods=684, foundSolutions=9, bestBound=2499
201.71/194.96
218.45/211.65 num=82, depth=52..67, filters=58797023, revisions=(76886261,useless=25636996), ccks=523050886, wck=208.282, mem=78M933
218.45/211.65 decisions=220569, wrong=107702, backtracks=87549, failedAssignments=78906, nogoods=698, foundSolutions=9, bestBound=2499
218.45/211.65
241.56/234.73 num=83, depth=50..66, filters=66067528, revisions=(86554731,useless=28852156), ccks=587281814, wck=231.362, mem=236M378
241.56/234.73 decisions=243451, wrong=119115, backtracks=97571, failedAssignments=86803, nogoods=705, foundSolutions=9, bestBound=2499
241.56/234.73
264.47/257.63 num=84, depth=52..69, filters=72802354, revisions=(95156355,useless=31617511), ccks=649966950, wck=254.26, mem=380M703
264.47/257.63 decisions=267239, wrong=130982, backtracks=107890, failedAssignments=95490, nogoods=723, foundSolutions=9, bestBound=2499
264.47/257.63
287.70/280.87 num=85, depth=52..66, filters=79801010, revisions=(104097500,useless=34420794), ccks=712122970, wck=277.498, mem=199M952
287.70/280.87 decisions=293326, wrong=143998, backtracks=118283, failedAssignments=105045, nogoods=729, foundSolutions=9, bestBound=2499
287.70/280.87
314.71/307.89 num=86, depth=50..67, filters=88074306, revisions=(114657396,useless=37859889), ccks=780622806, wck=304.517, mem=365M849
314.71/307.89 decisions=322636, wrong=158625, backtracks=129759, failedAssignments=115556, nogoods=737, foundSolutions=9, bestBound=2499
314.71/307.89
344.84/337.95 num=87, depth=50..67, filters=97080547, revisions=(126485140,useless=41834843), ccks=861366443, wck=334.577, mem=239M976
344.84/337.95 decisions=354802, wrong=174682, backtracks=143247, failedAssignments=127118, nogoods=749, foundSolutions=9, bestBound=2499
344.84/337.95
375.58/368.66 num=88, depth=52..69, filters=106225531, revisions=(138036530,useless=45460621), ccks=943933226, wck=365.293, mem=120M625
375.58/368.66 decisions=389395, wrong=191950, backtracks=157209, failedAssignments=139836, nogoods=765, foundSolutions=9, bestBound=2499
375.58/368.66
407.89/400.90 num=89, depth=52..67, filters=115487340, revisions=(149648883,useless=49127238), ccks=1030812581, wck=397.533, mem=313M698
407.89/400.90 decisions=427691, wrong=211070, backtracks=172033, failedAssignments=153826, nogoods=787, foundSolutions=9, bestBound=2499
407.89/400.90
439.82/432.86 num=90, depth=52..67, filters=124705894, revisions=(161310591,useless=52936022), ccks=1117213612, wck=429.488, mem=201M470
439.82/432.86 decisions=470335, wrong=232364, backtracks=188309, failedAssignments=169215, nogoods=799, foundSolutions=9, bestBound=2499
439.82/432.86
486.65/479.63 num=91, depth=21..65, filters=138479453, revisions=(195919547,useless=74826866), ccks=1138229686, wck=476.263, mem=203M738
486.65/479.63 decisions=530378, wrong=262373, backtracks=215636, failedAssignments=186143, nogoods=807, foundSolutions=9, bestBound=2499
486.65/479.63
535.39/528.36 num=92, depth=53..69, filters=152883059, revisions=(213713654,useless=80466196), ccks=1272807401, wck=524.987, mem=216M825
535.39/528.36 decisions=584682, wrong=289496, backtracks=239179, failedAssignments=204764, nogoods=817, foundSolutions=9, bestBound=2499
535.39/528.36
589.83/582.78 num=93, depth=51..68, filters=167329574, revisions=(231637360,useless=86310296), ccks=1432132769, wck=579.411, mem=256M300
589.83/582.78 decisions=641746, wrong=318000, backtracks=265811, failedAssignments=225248, nogoods=829, foundSolutions=9, bestBound=2499
589.83/582.78
655.70/648.57 num=94, depth=52..68, filters=186026293, revisions=(254757653,useless=93430345), ccks=1618800719, wck=645.197, mem=118M549
655.70/648.57 decisions=705082, wrong=349640, backtracks=295745, failedAssignments=247780, nogoods=837, foundSolutions=9, bestBound=2499
655.70/648.57
720.26/713.08 num=95, depth=52..67, filters=204137059, revisions=(277212481,useless=100358141), ccks=1801088603, wck=709.71, mem=249M700
720.26/713.08 decisions=774152, wrong=384148, backtracks=325934, failedAssignments=272565, nogoods=855, foundSolutions=9, bestBound=2499
720.26/713.08
796.00/788.74 num=96, depth=51..68, filters=226145148, revisions=(304795001,useless=109029192), ccks=2019269265, wck=785.365, mem=226M462
796.00/788.74 decisions=849360, wrong=421724, backtracks=361667, failedAssignments=299829, nogoods=868, foundSolutions=9, bestBound=2499
796.00/788.74
875.14/867.87 num=97, depth=51..67, filters=250245669, revisions=(334901062,useless=118530554), ccks=2234993540, wck=864.497, mem=263M964
875.14/867.87 decisions=933249, wrong=463642, backtracks=399229, failedAssignments=329819, nogoods=891, foundSolutions=9, bestBound=2499
875.14/867.87
959.29/951.99 num=98, depth=51..68, filters=274974621, revisions=(365481405,useless=127875429), ccks=2466887087, wck=948.617, mem=120M490
959.29/951.99 decisions=1025939, wrong=509959, backtracks=437497, failedAssignments=362808, nogoods=902, foundSolutions=9, bestBound=2499
959.29/951.99
1038.93/1031.56 num=99, depth=53..69, filters=298916225, revisions=(394634002,useless=136976787), ccks=2684569771, wck=1028.187, mem=202M358
1038.93/1031.56 decisions=1128579, wrong=561250, backtracks=479234, failedAssignments=399096, nogoods=920, foundSolutions=9, bestBound=2499
1038.93/1031.56
1126.78/1119.39 num=100, depth=53..69, filters=324355483, revisions=(425824354,useless=146516141), ccks=2932554670, wck=1116.018, mem=160M90
1126.78/1119.39 decisions=1244727, wrong=619295, backtracks=525165, failedAssignments=439013, nogoods=943, foundSolutions=9, bestBound=2499
1126.78/1119.39
1247.14/1239.67 num=101, depth=53..71, filters=362651488, revisions=(472364496,useless=161268212), ccks=3255573623, wck=1236.297, mem=214M773
1247.14/1239.67 decisions=1376422, wrong=685114, backtracks=588988, failedAssignments=482922, nogoods=957, foundSolutions=9, bestBound=2499
1247.14/1239.67
1370.50/1362.94 num=102, depth=51..70, filters=398617795, revisions=(516615585,useless=174942804), ccks=3601466677, wck=1359.568, mem=145M146
1370.50/1362.94 decisions=1510506, wrong=752128, backtracks=648562, failedAssignments=531222, nogoods=971, foundSolutions=9, bestBound=2499
1370.50/1362.94
1513.17/1505.55 num=103, depth=52..69, filters=440612312, revisions=(567186155,useless=190762617), ccks=3996774311, wck=1502.181, mem=128M994
1513.17/1505.55 decisions=1666848, wrong=830269, backtracks=722010, failedAssignments=584352, nogoods=978, foundSolutions=9, bestBound=2499
1513.17/1505.55
1658.86/1651.19 num=104, depth=51..69, filters=481667709, revisions=(617489500,useless=206160153), ccks=4405505885, wck=1647.814, mem=75M440
1658.86/1651.19 decisions=1828886, wrong=911260, backtracks=792515, failedAssignments=642795, nogoods=992, foundSolutions=9, bestBound=2499
1658.86/1651.19
1817.11/1809.39 num=105, depth=51..69, filters=528200159, revisions=(674904991,useless=224165368), ccks=4841046953, wck=1806.015, mem=103M681
1817.11/1809.39 decisions=2010277, wrong=1001928, backtracks=870858, failedAssignments=707082, nogoods=1003, foundSolutions=9, bestBound=2499
1817.11/1809.39
1990.22/1982.37 num=106, depth=50..68, filters=580847600, revisions=(740465353,useless=244328601), ccks=5306851448, wck=1979.0, mem=161M716
1990.22/1982.37 decisions=2210258, wrong=1101891, backtracks=950621, failedAssignments=777798, nogoods=1019, foundSolutions=9, bestBound=2499
1990.22/1982.37
2186.78/2178.78 num=107, depth=51..70, filters=637179013, revisions=(809211075,useless=265197974), ccks=5857580304, wck=2175.407, mem=95M229
2186.78/2178.78 decisions=2427593, wrong=1210531, backtracks=1045085, failedAssignments=855585, nogoods=1035, foundSolutions=9, bestBound=2499
2186.78/2178.78
2412.66/2404.49 num=108, depth=50..68, filters=699579460, revisions=(884731233,useless=288593120), ccks=6497604618, wck=2401.119, mem=127M980
2412.66/2404.49 decisions=2669416, wrong=1331415, backtracks=1155731, failedAssignments=941151, nogoods=1050, foundSolutions=9, bestBound=2499
2412.66/2404.49
2520.06/2511.70
2520.06/2511.70 v <instantiation id='sol9' type='solution' cost='2499'> <list> x[] y[][] c[] s[] </list> <values> -1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 * -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 * * -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 1 1 1 1 * * * -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 1 * * * * 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 * * * * * -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 * * * * * * 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 * * * * * * * -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 1 * * * * * * * * 1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 * * * * * * * * * -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 * * * * * * * * * * -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 * * * * * * * * * * * -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 * * * * * * * * * * * * 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 * * * * * * * * * * * * * -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 -6 7 22 -5 8 -1 -6 3 16 -1 4 11 2 -3 14 1 -2 1 10 -3 8 5 4 -5 8 -3 0 5 4 -5 8 7 4 -1 8 -5 -4 -3 -10 -5 -6 -5 -2 3 -6 -5 2 1 -6 -7 -2 -1 -2 -3 -2 1 4 1 -4 -3 0 1 -8 -1 -2 3 -2 -1 -4 -1 -2 -1 -4 -1 0 1 25 36 49 484 25 64 1 36 9 256 1 16 121 4 9 196 1 4 1 100 9 64 25 16 25 64 9 0 25 16 25 64 49 16 1 64 25 16 9 100 25 36 25 4 9 36 25 4 1 36 49 4 1 4 9 4 1 16 1 16 9 0 1 64 1 4 9 4 1 16 1 4 1 16 1 0 1 </values> </instantiation>
2520.06/2511.70 s SATISFIABLE
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 (15493 MiB free)
memory of node 1: 16384 MiB (9316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391056-1568383027/watcher-4391056-1568383027 -o /tmp/evaluation-result-4391056-1568383027/solver-4391056-1568383027 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568380473-21311 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391056-1568383027.xml -cm
running on 4 cores: 0,2,4,6
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=22298, runsolver pid=22295
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 1.88 1.88 1.77 4/228 22313
/proc/meminfo: memFree=25391376/32770624 swapFree=66958212/67108860
[pid=22298] ppid=22295 vsize=10659884 memory=25924 CPUtime=0.13 cores=0,2,4,6
/proc/22298/stat : 22298 (java) S 22295 22298 21280 0 -1 1077944320 5476 0 0 0 12 1 0 0 20 0 15 0 414239248 10915721216 6481 33554432000 4194304 4196468 140732122077792 140732122060336 140156224777975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
/proc/22298/statm: 2664971 6481 2904 1 0 2627468 0
[pid=22298/tid=22300] ppid=22295 vsize=10659884 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/22298/task/22300/stat : 22300 (java) R 22295 22298 21280 0 -1 4202560 3266 0 0 0 8 0 0 0 20 0 15 0 414239248 10915721216 6481 33554432000 4194304 4196468 140732122077792 140156229008416 140156210458920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22301] ppid=22295 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22301/stat : 22301 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 6481 33554432000 4194304 4196468 140732122077792 140155831118736 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22302] ppid=22295 vsize=10659884 memory=140346646107776 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22302/stat : 22302 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 6481 33554432000 4194304 4196468 140732122077792 140155830065936 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22303] ppid=22295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22303/stat : 22303 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 6481 33554432000 4194304 4196468 140732122077792 140155829013648 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22304] ppid=22295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22304/stat : 22304 (java) S 22295 22298 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 6481 33554432000 4194304 4196468 140732122077792 140155827960848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22305] ppid=22295 vsize=10659884 memory=140346646107776 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22305/stat : 22305 (java) S 22295 22298 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414239250 10915721216 6481 33554432000 4194304 4196468 140732122077792 140155260213360 140156224789122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22306] ppid=22295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22306/stat : 22306 (java) S 22295 22298 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414239251 10915721216 6481 33554432000 4194304 4196468 140732122077792 140155259159328 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22307] ppid=22295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22307/stat : 22307 (java) S 22295 22298 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414239251 10915721216 6481 33554432000 4194304 4196468 140732122077792 140155258106992 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22308] ppid=22295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22308/stat : 22308 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414239253 10915721216 6481 33554432000 4194304 4196468 140732122077792 140155257055312 140156224796571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22309] ppid=22295 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22298/task/22309/stat : 22309 (java) R 22295 22298 21280 0 -1 4202560 487 0 0 0 1 0 0 0 20 0 15 0 414239253 10915721216 6481 33554432000 4194304 4196468 140732122077792 140155255988984 140156205271232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22310] ppid=22295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22310/stat : 22310 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414239253 10915721216 6481 33554432000 4194304 4196468 140732122077792 140155254950384 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22311] ppid=22295 vsize=10659884 memory=140346646107776 CPUtime=0.02 cores=0,2,4,6
/proc/22298/task/22311/stat : 22311 (java) R 22295 22298 21280 0 -1 4202560 400 0 0 0 2 0 0 0 20 0 15 0 414239253 10915721216 6547 33554432000 4194304 4196468 140732122077792 140155253894776 140156203586709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22312] ppid=22295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22312/stat : 22312 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414239254 10915721216 6547 33554432000 4194304 4196468 140732122077792 140154944445408 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22313] ppid=22295 vsize=10659884 memory=140346646107776 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22313/stat : 22313 (java) R 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239254 10915721216 6547 33554432000 4194304 4196468 140732122077792 140154943392176 140156224789122 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 25924 KiB
[startup+0.213185 s]*
/proc/loadavg: 1.88 1.88 1.77 4/228 22313
/proc/meminfo: memFree=25379712/32770624 swapFree=66958212/67108860
[pid=22298] ppid=22295 vsize=10659884 memory=36564 CPUtime=0.34 cores=0,2,4,6
/proc/22298/stat : 22298 (java) S 22295 22298 21280 0 -1 1077944320 9358 0 0 0 31 3 0 0 20 0 15 0 414239248 10915721216 9141 33554432000 4194304 4196468 140732122077792 140732122060336 140156224777975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
/proc/22298/statm: 2664971 9141 2990 1 0 2627468 0
[pid=22298/tid=22300] ppid=22295 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/22298/task/22300/stat : 22300 (java) R 22295 22298 21280 0 -1 4202560 6169 0 0 0 18 2 0 0 20 0 15 0 414239248 10915721216 9141 33554432000 4194304 4196468 140732122077792 140156229004336 140156224799901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22301] ppid=22295 vsize=10659884 memory=331 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22301/stat : 22301 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 9141 33554432000 4194304 4196468 140732122077792 140155831118736 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22302] ppid=22295 vsize=10659884 memory=140346649125073 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22302/stat : 22302 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 9141 33554432000 4194304 4196468 140732122077792 140155830065936 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22303] ppid=22295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22303/stat : 22303 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 9141 33554432000 4194304 4196468 140732122077792 140155829013648 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22304] ppid=22295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22304/stat : 22304 (java) S 22295 22298 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 9141 33554432000 4194304 4196468 140732122077792 140155827960848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22305] ppid=22295 vsize=10659884 memory=140346646107776 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22305/stat : 22305 (java) S 22295 22298 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414239250 10915721216 9141 33554432000 4194304 4196468 140732122077792 140155260213360 140156224789122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22306] ppid=22295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22306/stat : 22306 (java) S 22295 22298 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414239251 10915721216 9141 33554432000 4194304 4196468 140732122077792 140155259159328 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22307] ppid=22295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22307/stat : 22307 (java) S 22295 22298 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414239251 10915721216 9141 33554432000 4194304 4196468 140732122077792 140155258106992 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22308] ppid=22295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22308/stat : 22308 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414239253 10915721216 9141 33554432000 4194304 4196468 140732122077792 140155257055312 140156224796571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22309] ppid=22295 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22298/task/22309/stat : 22309 (java) S 22295 22298 21280 0 -1 1077944384 604 0 0 0 3 0 0 0 20 0 15 0 414239253 10915721216 9141 33554432000 4194304 4196468 140732122077792 140155256003184 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22310] ppid=22295 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/22298/task/22310/stat : 22310 (java) S 22295 22298 21280 0 -1 1077944384 407 0 0 0 3 0 0 0 20 0 15 0 414239253 10915721216 9141 33554432000 4194304 4196468 140732122077792 140155254950384 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22311] ppid=22295 vsize=10659884 memory=140346646107776 CPUtime=0.05 cores=0,2,4,6
/proc/22298/task/22311/stat : 22311 (java) S 22295 22298 21280 0 -1 1077944384 819 0 0 0 5 0 0 0 20 0 15 0 414239253 10915721216 9141 33554432000 4194304 4196468 140732122077792 140155253898096 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22312] ppid=22295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22312/stat : 22312 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414239254 10915721216 9141 33554432000 4194304 4196468 140732122077792 140154944445408 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22313] ppid=22295 vsize=10659884 memory=140346646107776 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22313/stat : 22313 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239254 10915721216 9141 33554432000 4194304 4196468 140732122077792 140154943392176 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36564 KiB
[startup+0.310279 s]*
/proc/loadavg: 1.88 1.88 1.77 4/228 22313
/proc/meminfo: memFree=25377744/32770624 swapFree=66958212/67108860
[pid=22298] ppid=22295 vsize=10659884 memory=39124 CPUtime=0.47 cores=0,2,4,6
/proc/22298/stat : 22298 (java) S 22295 22298 21280 0 -1 1077944320 9575 0 0 0 44 3 0 0 20 0 15 0 414239248 10915721216 9781 33554432000 4194304 4196468 140732122077792 140732122060336 140156224777975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
/proc/22298/statm: 2664971 9781 3003 1 0 2627468 0
[pid=22298/tid=22300] ppid=22295 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/22298/task/22300/stat : 22300 (java) R 22295 22298 21280 0 -1 4202560 6292 0 0 0 27 2 0 0 20 0 15 0 414239248 10915721216 9781 33554432000 4194304 4196468 140732122077792 140156229010032 140156208858462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22301] ppid=22295 vsize=10659884 memory=8900 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22301/stat : 22301 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 9781 33554432000 4194304 4196468 140732122077792 140155831118736 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22302] ppid=22295 vsize=10659884 memory=140346649124857 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22302/stat : 22302 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 9781 33554432000 4194304 4196468 140732122077792 140155830065936 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22303] ppid=22295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22303/stat : 22303 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 9781 33554432000 4194304 4196468 140732122077792 140155829013648 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22304] ppid=22295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22304/stat : 22304 (java) S 22295 22298 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414239249 10915721216 9781 33554432000 4194304 4196468 140732122077792 140155827960848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22305] ppid=22295 vsize=10659884 memory=140346646107776 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22305/stat : 22305 (java) S 22295 22298 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414239250 10915721216 9781 33554432000 4194304 4196468 140732122077792 140155260213360 140156224789122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22306] ppid=22295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22306/stat : 22306 (java) S 22295 22298 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414239251 10915721216 9781 33554432000 4194304 4196468 140732122077792 140155259159328 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22307] ppid=22295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22307/stat : 22307 (java) S 22295 22298 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414239251 10915721216 9781 33554432000 4194304 4196468 140732122077792 140155258106992 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22308] ppid=22295 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22308/stat : 22308 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414239253 10915721216 9781 33554432000 4194304 4196468 140732122077792 140155257055312 140156224796571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22309] ppid=22295 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22298/task/22309/stat : 22309 (java) S 22295 22298 21280 0 -1 1077944384 640 0 0 0 4 0 0 0 20 0 15 0 414239253 10915721216 9781 33554432000 4194304 4196468 140732122077792 140155256003184 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22310] ppid=22295 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/22298/task/22310/stat : 22310 (java) S 22295 22298 21280 0 -1 1077944384 420 0 0 0 3 0 0 0 20 0 15 0 414239253 10915721216 9781 33554432000 4194304 4196468 140732122077792 140155254950384 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22311] ppid=22295 vsize=10659884 memory=140346646107776 CPUtime=0.07 cores=0,2,4,6
/proc/22298/task/22311/stat : 22311 (java) R 22295 22298 21280 0 -1 4202560 867 0 0 0 7 0 0 0 20 0 15 0 414239253 10915721216 9781 33554432000 4194304 4196468 140732122077792 140155253898096 140156224799322 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22312] ppid=22295 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22312/stat : 22312 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414239254 10915721216 9781 33554432000 4194304 4196468 140732122077792 140154944445408 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22313] ppid=22295 vsize=10659884 memory=140346646107776 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22313/stat : 22313 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239254 10915721216 9781 33554432000 4194304 4196468 140732122077792 140154943392176 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39124 KiB
[startup+0.700781 s]
/proc/loadavg: 1.88 1.88 1.77 3/228 22313
/proc/meminfo: memFree=25366764/32770624 swapFree=66958212/67108860
[pid=22298] ppid=22295 vsize=10661932 memory=60668 CPUtime=1.09 cores=0,2,4,6
/proc/22298/stat : 22298 (java) S 22295 22298 21280 0 -1 1077944320 13168 0 0 0 104 5 0 0 20 0 15 0 414239248 10917818368 15167 33554432000 4194304 4196468 140732122077792 140732122060336 140156224777975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
/proc/22298/statm: 2665483 15167 3070 1 0 2627980 0
[pid=22298/tid=22300] ppid=22295 vsize=10661932 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/22298/task/22300/stat : 22300 (java) R 22295 22298 21280 0 -1 4202560 8786 0 0 0 63 4 0 0 20 0 15 0 414239248 10917818368 15167 33554432000 4194304 4196468 140732122077792 140156229000896 140156224799901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22301] ppid=22295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22301/stat : 22301 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10917818368 15167 33554432000 4194304 4196468 140732122077792 140155831118736 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22302] ppid=22295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22302/stat : 22302 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10917818368 15167 33554432000 4194304 4196468 140732122077792 140155830065936 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22303] ppid=22295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22303/stat : 22303 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10917818368 15167 33554432000 4194304 4196468 140732122077792 140155829013648 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22304] ppid=22295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22304/stat : 22304 (java) S 22295 22298 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414239249 10917818368 15167 33554432000 4194304 4196468 140732122077792 140155827960848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22305] ppid=22295 vsize=10661932 memory=236145757678208 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22305/stat : 22305 (java) S 22295 22298 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414239250 10917818368 15167 33554432000 4194304 4196468 140732122077792 140155260213360 140156224789122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22306] ppid=22295 vsize=10661932 memory=2933550 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22306/stat : 22306 (java) S 22295 22298 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414239251 10917818368 15167 33554432000 4194304 4196468 140732122077792 140155259159328 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22307] ppid=22295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22307/stat : 22307 (java) S 22295 22298 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414239251 10917818368 15167 33554432000 4194304 4196468 140732122077792 140155258106992 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22308] ppid=22295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22308/stat : 22308 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414239253 10917818368 15167 33554432000 4194304 4196468 140732122077792 140155257055312 140156224796571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22309] ppid=22295 vsize=10661932 memory=7809523229951467576 CPUtime=0.1 cores=0,2,4,6
/proc/22298/task/22309/stat : 22309 (java) S 22295 22298 21280 0 -1 1077944384 936 0 0 0 10 0 0 0 20 0 15 0 414239253 10917818368 15167 33554432000 4194304 4196468 140732122077792 140155256003184 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22310] ppid=22295 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/22298/task/22310/stat : 22310 (java) S 22295 22298 21280 0 -1 1077944384 679 0 0 0 11 0 0 0 20 0 15 0 414239253 10917818368 15167 33554432000 4194304 4196468 140732122077792 140155254950384 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22311] ppid=22295 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/22298/task/22311/stat : 22311 (java) S 22295 22298 21280 0 -1 1077944384 1409 0 0 0 19 0 0 0 20 0 15 0 414239253 10917818368 15167 33554432000 4194304 4196468 140732122077792 140155253898096 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22312] ppid=22295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22312/stat : 22312 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414239254 10917818368 15167 33554432000 4194304 4196468 140732122077792 140154944445408 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22313] ppid=22295 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22313/stat : 22313 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239254 10917818368 15167 33554432000 4194304 4196468 140732122077792 140154943392176 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60668 KiB
[startup+1.50081 s]
/proc/loadavg: 1.89 1.88 1.77 3/228 22313
/proc/meminfo: memFree=25351440/32770624 swapFree=66958212/67108860
[pid=22298] ppid=22295 vsize=10663980 memory=74632 CPUtime=1.98 cores=0,2,4,6
/proc/22298/stat : 22298 (java) S 22295 22298 21280 0 -1 1077944320 16759 0 0 0 192 6 0 0 20 0 15 0 414239248 10919915520 18658 33554432000 4194304 4196468 140732122077792 140732122060336 140156224777975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
/proc/22298/statm: 2665995 18658 3090 1 0 2628492 0
[pid=22298/tid=22300] ppid=22295 vsize=10663980 memory=191607081053762 CPUtime=1.47 cores=0,2,4,6
/proc/22298/task/22300/stat : 22300 (java) R 22295 22298 21280 0 -1 4202560 11504 0 0 0 142 5 0 0 20 0 15 0 414239248 10919915520 18658 33554432000 4194304 4196468 140732122077792 140156229003856 140156208858462 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22301] ppid=22295 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22301/stat : 22301 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10919915520 18658 33554432000 4194304 4196468 140732122077792 140155831118736 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22302] ppid=22295 vsize=10663980 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22302/stat : 22302 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10919915520 18658 33554432000 4194304 4196468 140732122077792 140155830065936 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22303] ppid=22295 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22303/stat : 22303 (java) S 22295 22298 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414239249 10919915520 18658 33554432000 4194304 4196468 140732122077792 140155829013648 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22304] ppid=22295 vsize=10663980 memory=3472468642739816592 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22304/stat : 22304 (java) S 22295 22298 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414239249 10919915520 18658 33554432000 4194304 4196468 140732122077792 140155827960848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22305] ppid=22295 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22305/stat : 22305 (java) S 22295 22298 21280 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 414239250 10919915520 18658 33554432000 4194304 4196468 140732122077792 140155260213360 140156224789122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
################
# More data... #
################
/proc/22298/task/22304/stat : 22304 (java) S 22295 22298 21280 0 -1 1077944384 6737 0 0 0 33 6 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155827960848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22305] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.13 cores=0,2,4,6
/proc/22298/task/22305/stat : 22305 (java) S 22295 22298 21280 0 -1 1077944384 7036 0 0 0 9 4 0 0 20 0 16 0 414239250 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155260213360 140156224789122 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22306] ppid=22295 vsize=10748324 memory=306572 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22306/stat : 22306 (java) S 22295 22298 21280 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414239251 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155259159392 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22307] ppid=22295 vsize=10748324 memory=306572 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22307/stat : 22307 (java) S 22295 22298 21280 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414239251 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155258107008 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22308] ppid=22295 vsize=10748324 memory=306572 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22308/stat : 22308 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155257055312 140156224796571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22309] ppid=22295 vsize=10748324 memory=306572 CPUtime=2.78 cores=0,2,4,6
/proc/22298/task/22309/stat : 22309 (java) S 22295 22298 21280 0 -1 1077944384 14415 0 0 0 277 1 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155256003184 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22310] ppid=22295 vsize=10748324 memory=306572 CPUtime=2.67 cores=0,2,4,6
/proc/22298/task/22310/stat : 22310 (java) S 22295 22298 21280 0 -1 1077944384 12330 0 0 0 265 2 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155254950384 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22311] ppid=22295 vsize=10748324 memory=306572 CPUtime=1.04 cores=0,2,4,6
/proc/22298/task/22311/stat : 22311 (java) S 22295 22298 21280 0 -1 1077944384 12012 0 0 0 101 3 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155253898096 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22312] ppid=22295 vsize=10748324 memory=306572 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22312/stat : 22312 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414239254 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154944445408 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22313] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.72 cores=0,2,4,6
/proc/22298/task/22313/stat : 22313 (java) S 22295 22298 21280 0 -1 1077944384 1784 0 0 0 34 38 0 0 20 0 16 0 414239254 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154943392176 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22314] ppid=22295 vsize=10748324 memory=38956 CPUtime=2439.69 cores=0,2,4,6
/proc/22298/task/22314/stat : 22314 (java) R 22295 22298 21280 0 -1 4202560 31532 0 0 0 243961 8 0 0 20 0 16 0 414239439 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154926730096 140155872217894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
Current children cumulated CPU time: 2450.61 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 306572 KiB
[startup+2502.3 s]
/proc/loadavg: 1.90 1.98 1.98 3/229 22645
/proc/meminfo: memFree=28857840/32770624 swapFree=66958212/67108860
[pid=22298] ppid=22295 vsize=10748324 memory=306572 CPUtime=2510.65 cores=0,2,4,6
/proc/22298/stat : 22298 (java) S 22295 22298 21280 0 -1 1077944320 121688 0 0 0 250985 80 0 0 20 0 16 0 414239248 11006283776 76643 33554432000 4194304 4196468 140732122077792 140732122060336 140156224777975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
/proc/22298/statm: 2687081 76643 3382 1 0 2647217 0
[pid=22298/tid=22300] ppid=22295 vsize=10748324 memory=306572 CPUtime=1.88 cores=0,2,4,6
/proc/22298/task/22300/stat : 22300 (java) S 22295 22298 21280 0 -1 1077944384 13181 0 0 0 182 6 0 0 20 0 16 0 414239248 11006283776 76643 33554432000 4194304 4196468 140732122077792 140156229020848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22301] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.42 cores=0,2,4,6
/proc/22298/task/22301/stat : 22301 (java) S 22295 22298 21280 0 -1 1077944384 8505 0 0 0 37 5 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155831118736 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22302] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.39 cores=0,2,4,6
/proc/22298/task/22302/stat : 22302 (java) S 22295 22298 21280 0 -1 1077944384 4771 0 0 0 34 5 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155830065936 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22303] ppid=22295 vsize=10748324 memory=1408 CPUtime=0.42 cores=0,2,4,6
/proc/22298/task/22303/stat : 22303 (java) S 22295 22298 21280 0 -1 1077944384 7525 0 0 0 35 7 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155829013648 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22304] ppid=22295 vsize=10748324 memory=280693024303360 CPUtime=0.4 cores=0,2,4,6
/proc/22298/task/22304/stat : 22304 (java) S 22295 22298 21280 0 -1 1077944384 6776 0 0 0 34 6 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155827960848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22305] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.14 cores=0,2,4,6
/proc/22298/task/22305/stat : 22305 (java) S 22295 22298 21280 0 -1 1077944384 7204 0 0 0 9 5 0 0 20 0 16 0 414239250 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155260213360 140156224789122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22306] ppid=22295 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22306/stat : 22306 (java) S 22295 22298 21280 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414239251 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155259159392 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22307] ppid=22295 vsize=10748324 memory=306572 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22307/stat : 22307 (java) S 22295 22298 21280 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414239251 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155258107008 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22308] ppid=22295 vsize=10748324 memory=306572 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22308/stat : 22308 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155257055312 140156224796571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22309] ppid=22295 vsize=10748324 memory=38956 CPUtime=2.78 cores=0,2,4,6
/proc/22298/task/22309/stat : 22309 (java) S 22295 22298 21280 0 -1 1077944384 14418 0 0 0 277 1 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155256003184 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22310] ppid=22295 vsize=10748324 memory=306572 CPUtime=2.67 cores=0,2,4,6
/proc/22298/task/22310/stat : 22310 (java) S 22295 22298 21280 0 -1 1077944384 12332 0 0 0 265 2 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155254950384 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22311] ppid=22295 vsize=10748324 memory=3608 CPUtime=1.04 cores=0,2,4,6
/proc/22298/task/22311/stat : 22311 (java) S 22295 22298 21280 0 -1 1077944384 12014 0 0 0 101 3 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155253898096 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22312] ppid=22295 vsize=10748324 memory=306572 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22312/stat : 22312 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414239254 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154944445408 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22313] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.74 cores=0,2,4,6
/proc/22298/task/22313/stat : 22313 (java) S 22295 22298 21280 0 -1 1077944384 1812 0 0 0 35 39 0 0 20 0 16 0 414239254 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154943392176 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22314] ppid=22295 vsize=10748324 memory=306572 CPUtime=2499.67 cores=0,2,4,6
/proc/22298/task/22314/stat : 22314 (java) R 22295 22298 21280 0 -1 4202560 31722 0 0 0 249959 8 0 0 20 0 16 0 414239439 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154926730096 140155872252575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
Current children cumulated CPU time: 2510.65 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 306572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.7 s]
/proc/loadavg: 1.91 1.98 1.98 3/229 22645
/proc/meminfo: memFree=28858088/32770624 swapFree=66958212/67108860
[pid=22298] ppid=22295 vsize=10748324 memory=306572 CPUtime=2520.06 cores=0,2,4,6
/proc/22298/stat : 22298 (java) S 22295 22298 21280 0 -1 1077944320 121713 0 0 0 251926 80 0 0 20 0 16 0 414239248 11006283776 76643 33554432000 4194304 4196468 140732122077792 140732122060336 140156224777975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
/proc/22298/statm: 2687081 76643 3382 1 0 2647217 0
[pid=22298/tid=22300] ppid=22295 vsize=10748324 memory=306572 CPUtime=1.88 cores=0,2,4,6
/proc/22298/task/22300/stat : 22300 (java) S 22295 22298 21280 0 -1 1077944384 13181 0 0 0 182 6 0 0 20 0 16 0 414239248 11006283776 76643 33554432000 4194304 4196468 140732122077792 140156229020848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22301] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.42 cores=0,2,4,6
/proc/22298/task/22301/stat : 22301 (java) S 22295 22298 21280 0 -1 1077944384 8512 0 0 0 37 5 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155831118736 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22302] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.39 cores=0,2,4,6
/proc/22298/task/22302/stat : 22302 (java) S 22295 22298 21280 0 -1 1077944384 4771 0 0 0 34 5 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155830065936 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22303] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.42 cores=0,2,4,6
/proc/22298/task/22303/stat : 22303 (java) S 22295 22298 21280 0 -1 1077944384 7525 0 0 0 35 7 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155829013648 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22304] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.4 cores=0,2,4,6
/proc/22298/task/22304/stat : 22304 (java) S 22295 22298 21280 0 -1 1077944384 6776 0 0 0 34 6 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155827960848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22305] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.14 cores=0,2,4,6
/proc/22298/task/22305/stat : 22305 (java) S 22295 22298 21280 0 -1 1077944384 7208 0 0 0 9 5 0 0 20 0 16 0 414239250 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155260213360 140156224789122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22306] ppid=22295 vsize=10748324 memory=306572 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22306/stat : 22306 (java) S 22295 22298 21280 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414239251 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155259159392 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22307] ppid=22295 vsize=10748324 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22307/stat : 22307 (java) S 22295 22298 21280 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414239251 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155258107008 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22308] ppid=22295 vsize=10748324 memory=306572 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22308/stat : 22308 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155257055312 140156224796571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22309] ppid=22295 vsize=10748324 memory=306572 CPUtime=2.78 cores=0,2,4,6
/proc/22298/task/22309/stat : 22309 (java) S 22295 22298 21280 0 -1 1077944384 14418 0 0 0 277 1 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155256003184 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22310] ppid=22295 vsize=10748324 memory=306572 CPUtime=2.67 cores=0,2,4,6
/proc/22298/task/22310/stat : 22310 (java) S 22295 22298 21280 0 -1 1077944384 12332 0 0 0 265 2 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155254950384 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22311] ppid=22295 vsize=10748324 memory=33 CPUtime=1.04 cores=0,2,4,6
/proc/22298/task/22311/stat : 22311 (java) S 22295 22298 21280 0 -1 1077944384 12014 0 0 0 101 3 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155253898096 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22312] ppid=22295 vsize=10748324 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22312/stat : 22312 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414239254 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154944445408 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22313] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.74 cores=0,2,4,6
/proc/22298/task/22313/stat : 22313 (java) S 22295 22298 21280 0 -1 1077944384 1814 0 0 0 35 39 0 0 20 0 16 0 414239254 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154943392176 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22314] ppid=22295 vsize=10748324 memory=38956 CPUtime=2509.06 cores=0,2,4,6
/proc/22298/task/22314/stat : 22314 (java) R 22295 22298 21280 0 -1 4202560 31734 0 0 0 250898 8 0 0 20 0 16 0 414239439 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154926730096 140155872252575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 306572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.71 s]
# the end of solver process 22298 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.27 s, system=0.808093 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2511.7 s]
/proc/loadavg: 1.91 1.98 1.98 3/229 22645
/proc/meminfo: memFree=28858088/32770624 swapFree=66958212/67108860
[pid=22298] ppid=22295 vsize=10748324 memory=306572 CPUtime=2520.06 cores=0,2,4,6
/proc/22298/stat : 22298 (java) S 22295 22298 21280 0 -1 1077944320 121713 0 0 0 251926 80 0 0 20 0 16 0 414239248 11006283776 76643 33554432000 4194304 4196468 140732122077792 140732122060336 140156224777975 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
/proc/22298/statm: 2687081 76643 3382 1 0 2647217 0
[pid=22298/tid=22300] ppid=22295 vsize=10748324 memory=306572 CPUtime=1.88 cores=0,2,4,6
/proc/22298/task/22300/stat : 22300 (java) S 22295 22298 21280 0 -1 1077944384 13181 0 0 0 182 6 0 0 20 0 16 0 414239248 11006283776 76643 33554432000 4194304 4196468 140732122077792 140156229020848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22301] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.42 cores=0,2,4,6
/proc/22298/task/22301/stat : 22301 (java) S 22295 22298 21280 0 -1 1077944384 8512 0 0 0 37 5 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155831118736 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22302] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.39 cores=0,2,4,6
/proc/22298/task/22302/stat : 22302 (java) S 22295 22298 21280 0 -1 1077944384 4771 0 0 0 34 5 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155830065936 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22303] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.42 cores=0,2,4,6
/proc/22298/task/22303/stat : 22303 (java) S 22295 22298 21280 0 -1 1077944384 7525 0 0 0 35 7 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155829013648 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22304] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.4 cores=0,2,4,6
/proc/22298/task/22304/stat : 22304 (java) S 22295 22298 21280 0 -1 1077944384 6776 0 0 0 34 6 0 0 20 0 16 0 414239249 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155827960848 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22305] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.14 cores=0,2,4,6
/proc/22298/task/22305/stat : 22305 (java) S 22295 22298 21280 0 -1 1077944384 7208 0 0 0 9 5 0 0 20 0 16 0 414239250 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155260213360 140156224789122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22306] ppid=22295 vsize=10748324 memory=306572 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22306/stat : 22306 (java) S 22295 22298 21280 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414239251 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155259159392 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22307] ppid=22295 vsize=10748324 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22307/stat : 22307 (java) S 22295 22298 21280 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 414239251 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155258107008 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22308] ppid=22295 vsize=10748324 memory=306572 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22308/stat : 22308 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155257055312 140156224796571 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22309] ppid=22295 vsize=10748324 memory=306572 CPUtime=2.78 cores=0,2,4,6
/proc/22298/task/22309/stat : 22309 (java) S 22295 22298 21280 0 -1 1077944384 14418 0 0 0 277 1 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155256003184 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22310] ppid=22295 vsize=10748324 memory=306572 CPUtime=2.67 cores=0,2,4,6
/proc/22298/task/22310/stat : 22310 (java) S 22295 22298 21280 0 -1 1077944384 12332 0 0 0 265 2 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155254950384 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22311] ppid=22295 vsize=10748324 memory=33 CPUtime=1.04 cores=0,2,4,6
/proc/22298/task/22311/stat : 22311 (java) S 22295 22298 21280 0 -1 1077944384 12014 0 0 0 101 3 0 0 20 0 16 0 414239253 11006283776 76643 33554432000 4194304 4196468 140732122077792 140155253898096 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22312] ppid=22295 vsize=10748324 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/22298/task/22312/stat : 22312 (java) S 22295 22298 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414239254 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154944445408 140156224788181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22313] ppid=22295 vsize=10748324 memory=306572 CPUtime=0.74 cores=0,2,4,6
/proc/22298/task/22313/stat : 22313 (java) S 22295 22298 21280 0 -1 1077944384 1814 0 0 0 35 39 0 0 20 0 16 0 414239254 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154943392176 140156224789122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
[pid=22298/tid=22314] ppid=22295 vsize=10748324 memory=38956 CPUtime=2509.06 cores=0,2,4,6
/proc/22298/task/22314/stat : 22314 (java) R 22295 22298 21280 0 -1 4202560 31734 0 0 0 250898 8 0 0 20 0 16 0 414239439 11006283776 76643 33554432000 4194304 4196468 140732122077792 140154926730096 140155872252575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32292864 140732122084363 140732122084466 140732122084466 140732122087375 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 306572 KiB
Child status: 143
Real time (s): 2511.71
CPU time (s): 2520.08
CPU user time (s): 2519.27
CPU system time (s): 0.808093
CPU usage (%): 100.333
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 578240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.27
system time used= 0.808093
maximum resident set size= 578240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59557
involuntary context switches= 2428
# summary of solver processes directly reported to runsolver:
# pid: 22298
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.27
# total CPU system time (s): 0.808093
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3254 second user time and 21.2188 second system time
The end