2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.90
2.92/2.01 Instance
2.92/2.01 name=instance-4391293-1568391016, framework=COP, bounds=-infty..+infty
2.92/2.01
2.92/2.01 Loading variables...
2.92/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ffa8992
2.92/2.06 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d00022d
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29314448
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee28cf
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b55055c
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457d6289
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66bc12d8
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2efa17
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae544c4
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e58d77a
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f098ebe
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d44c1c
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68180b
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1adfd370
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e311da
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333a835b
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f39e9e
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d9ddbe
3.20/2.12
3.20/2.12
3.20/2.12 Domains
3.20/2.12 nTypes=2, nValues=5095, sizes=[19#1,47#108]
3.20/2.12 Variables
3.20/2.12 count=109, degrees=[2#1,4#10,5#82,6#16]
3.20/2.12 Objectives
3.20/2.12 way=max, type=ObjVarGE
3.20/2.12 Constraints
3.20/2.12 count=56, nSpecific=56, arities=[1#1,6#36,12#17,19#1,108#1]
3.20/2.12 distribution=[CardinalityConstant#1,ExactlyKVariable#1,LexicographicLe#17,ObjVarGE#1,OrderedGE#18,SumSimpleLE#18]
3.20/2.12 wck=0.27, cpu=2.085, mem=23M870
3.20/2.13 Solver SolverBacktrack being built...
3.20/2.13
3.20/2.15
3.20/2.15 Solver
3.20/2.15 guaranteedGAC=true
3.20/2.15 wck=0.301, cpu=2.114, mem=34M512
3.20/2.16
3.20/2.16 Preprocessing
3.20/2.16 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.20/2.16 wck=0.006, cpu=2.122, mem=34M512
3.20/2.16
3.46/2.20 num=0, depth=1..1, filters=106, wck=0.047, mem=34M512
3.46/2.20 decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.46/2.20
3.46/2.23 num=1, depth=0..0, filters=214, wck=0.075, mem=37M155
3.46/2.23 decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
3.46/2.23
3.46/2.26 num=2, depth=0..0, filters=436, wck=0.114, mem=37M155
3.46/2.26 decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
3.46/2.26
3.77/2.31 num=3, depth=0..0, filters=792, wck=0.164, mem=37M155
3.77/2.31 decisions=93, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
3.77/2.31
3.77/2.36 num=4, depth=0..1, filters=1203, wck=0.207, mem=37M155
3.77/2.36 decisions=121, wrong=60, backtracks=0, failedAssignments=60, nogoods=14
3.77/2.36
4.04/2.41 num=5, depth=0..0, filters=1501, wck=0.255, mem=37M155
4.04/2.41 decisions=153, wrong=76, backtracks=0, failedAssignments=76, nogoods=14
4.04/2.41
4.04/2.43 num=6, depth=0..1, filters=1707, wck=0.276, mem=37M155
4.04/2.43 decisions=188, wrong=93, backtracks=0, failedAssignments=93, nogoods=27
4.04/2.43
4.04/2.48 num=7, depth=0..0, filters=2226, wck=0.33, mem=37M155
4.04/2.48 decisions=226, wrong=112, backtracks=0, failedAssignments=112, nogoods=27
4.04/2.48
4.18/2.51 num=8, depth=0..4, filters=2578, wck=0.363, mem=37M155
4.18/2.51 decisions=272, wrong=133, backtracks=0, failedAssignments=133, nogoods=43
4.18/2.51
4.18/2.56 num=9, depth=0..5, filters=3153, wck=0.412, mem=37M155
4.18/2.56 decisions=323, wrong=156, backtracks=0, failedAssignments=156, nogoods=46
4.18/2.56
4.30/2.61 num=10, depth=0..6, filters=3672, wck=0.454, mem=37M155
4.30/2.61 decisions=379, wrong=181, backtracks=0, failedAssignments=181, nogoods=54
4.30/2.61
4.30/2.64 num=11, depth=0..12, filters=4032, wck=0.492, mem=37M155
4.30/2.64 decisions=446, wrong=209, backtracks=0, failedAssignments=209, nogoods=72
4.30/2.64
4.30/2.68 num=12, depth=4..12, filters=4371, wck=0.525, mem=37M155
4.30/2.68 decisions=520, wrong=240, backtracks=0, failedAssignments=240, nogoods=103
4.30/2.68
4.42/2.72 num=13, depth=4..16, filters=4786, wck=0.568, mem=37M155
4.42/2.72 decisions=604, wrong=274, backtracks=0, failedAssignments=274, nogoods=137
4.42/2.72
4.42/2.76 num=14, depth=4..14, filters=5190, wck=0.609, mem=37M155
4.42/2.76 decisions=693, wrong=312, backtracks=1, failedAssignments=311, nogoods=159
4.42/2.76
4.55/2.80 num=15, depth=4..15, filters=5622, wck=0.651, mem=37M155
4.55/2.80 decisions=790, wrong=353, backtracks=1, failedAssignments=352, nogoods=200
4.55/2.80
4.55/2.85 num=16, depth=9..14, filters=6169, wck=0.702, mem=37M155
4.55/2.85 decisions=896, wrong=400, backtracks=3, failedAssignments=397, nogoods=227
4.55/2.85
4.70/2.90 num=17, depth=8..18, filters=6700, wck=0.752, mem=37M155
4.70/2.90 decisions=1013, wrong=450, backtracks=3, failedAssignments=447, nogoods=277
4.70/2.90
4.70/2.94 num=18, depth=5..9, filters=7023, wck=0.786, mem=37M155
4.70/2.94 decisions=1134, wrong=508, backtracks=7, failedAssignments=502, nogoods=279
4.70/2.94
4.70/2.98 num=19, depth=5..9, filters=7374, wck=0.831, mem=37M155
4.70/2.98 decisions=1264, wrong=569, backtracks=7, failedAssignments=563, nogoods=340
4.70/2.98
4.82/3.03 num=20, depth=8..13, filters=7667, wck=0.876, mem=37M155
4.82/3.03 decisions=1411, wrong=637, backtracks=9, failedAssignments=630, nogoods=354
4.82/3.03
4.82/3.09 num=21, depth=6..14, filters=8138, wck=0.937, mem=37M155
4.82/3.09 decisions=1576, wrong=714, backtracks=14, failedAssignments=704, nogoods=376
4.82/3.09
4.93/3.18 num=22, depth=6..14, filters=8977, wck=1.029, mem=37M155
4.93/3.18 decisions=1757, wrong=798, backtracks=18, failedAssignments=785, nogoods=401
4.93/3.18
5.03/3.28 num=23, depth=6..38, filters=10065, wck=1.133, mem=37M155
5.03/3.28 decisions=1972, wrong=889, backtracks=20, failedAssignments=874, nogoods=465
5.03/3.28
5.14/3.38 num=24, depth=6..13, filters=10864, wck=1.231, mem=37M155
5.14/3.38 decisions=2192, wrong=994, backtracks=32, failedAssignments=972, nogoods=474
5.14/3.38
5.34/3.50 num=25, depth=4..15, filters=11823, wck=1.352, mem=37M155
5.34/3.50 decisions=2442, wrong=1117, backtracks=52, failedAssignments=1080, nogoods=475
5.34/3.50
5.44/3.63 num=26, depth=2..29, filters=12944, wck=1.477, mem=37M155
5.44/3.63 decisions=2733, wrong=1258, backtracks=79, failedAssignments=1199, nogoods=560
5.44/3.63
5.66/3.82 num=27, depth=0..17, filters=15101, wck=1.669, mem=37M155
5.66/3.82 decisions=3038, wrong=1404, backtracks=101, failedAssignments=1330, nogoods=629
5.66/3.82
5.66/3.88 num=28, depth=4..8, filters=15560, wck=1.734, mem=37M155
5.66/3.88 decisions=3336, wrong=1550, backtracks=104, failedAssignments=1474, nogoods=726
5.66/3.88
5.76/3.96 num=29, depth=4..9, filters=16347, wck=1.813, mem=37M155
5.76/3.96 decisions=3664, wrong=1711, backtracks=109, failedAssignments=1632, nogoods=789
5.76/3.96
5.97/4.11 num=30, depth=3..12, filters=17444, wck=1.958, mem=37M155
5.97/4.11 decisions=4034, wrong=1890, backtracks=115, failedAssignments=1806, nogoods=899
5.97/4.11
6.06/4.23 num=31, depth=4..11, filters=18512, wck=2.078, mem=37M155
6.06/4.23 decisions=4436, wrong=2086, backtracks=124, failedAssignments=1997, nogoods=927
6.06/4.23
6.17/4.33 num=32, depth=4..13, filters=19381, wck=2.184, mem=37M155
6.17/4.33 decisions=4873, wrong=2302, backtracks=135, failedAssignments=2208, nogoods=972
6.17/4.33
6.30/4.48 num=33, depth=4..14, filters=20495, wck=2.334, mem=37M155
6.30/4.48 decisions=5366, wrong=2542, backtracks=143, failedAssignments=2440, nogoods=1099
6.30/4.48
6.52/4.63 num=34, depth=4..18, filters=21482, wck=2.475, mem=37M155
6.52/4.63 decisions=5909, wrong=2811, backtracks=161, failedAssignments=2695, nogoods=1102
6.52/4.63
6.74/4.85 num=35, depth=1..26, filters=23399, wck=2.704, mem=37M155
6.74/4.85 decisions=6518, wrong=3106, backtracks=178, failedAssignments=2976, nogoods=1227
6.74/4.85
6.95/5.03 num=36, depth=1..13, filters=24408, wck=2.883, mem=37M155
6.95/5.03 decisions=7178, wrong=3433, backtracks=198, failedAssignments=3285, nogoods=1265
6.95/5.03
7.15/5.27 num=37, depth=1..20, filters=26491, wck=3.121, mem=37M155
7.15/5.27 decisions=7906, wrong=3791, backtracks=224, failedAssignments=3625, nogoods=1385
7.15/5.27
7.50/5.50 num=38, depth=1..17, filters=28243, wck=3.349, mem=37M155
7.50/5.50 decisions=8703, wrong=4185, backtracks=254, failedAssignments=3999, nogoods=1403
7.50/5.50
7.70/5.72 num=39, depth=1..13, filters=29945, wck=3.567, mem=37M155
7.70/5.72 decisions=9610, wrong=4635, backtracks=297, failedAssignments=4410, nogoods=1442
7.70/5.72
7.91/5.98 num=40, depth=1..16, filters=32292, wck=3.829, mem=37M155
7.91/5.98 decisions=10637, wrong=5142, backtracks=358, failedAssignments=4862, nogoods=1470
7.91/5.98
8.32/6.28 num=41, depth=1..21, filters=34467, wck=4.129, mem=37M155
8.32/6.28 decisions=11705, wrong=5667, backtracks=395, failedAssignments=5359, nogoods=1523
8.32/6.28
8.83/6.76 num=42, depth=1..51, filters=38407, wck=4.611, mem=37M155
8.83/6.76 decisions=12944, wrong=6267, backtracks=462, failedAssignments=5906, nogoods=1748
8.83/6.76
9.24/7.12 num=43, depth=1..16, filters=41076, wck=4.971, mem=37M155
9.24/7.12 decisions=14290, wrong=6935, backtracks=534, failedAssignments=6508, nogoods=1808
9.24/7.12
10.56/8.42 num=44, depth=3..40, filters=54102, wck=6.269, mem=37M155
10.56/8.42 decisions=16002, wrong=7778, backtracks=740, failedAssignments=7170, nogoods=1877
10.56/8.42
10.96/8.82 num=45, depth=0..14, filters=56582, wck=6.669, mem=37M155
10.96/8.82 decisions=17533, wrong=8538, backtracks=787, failedAssignments=7898, nogoods=1978
10.96/8.82
11.47/9.31 num=46, depth=1..14, filters=60218, wck=7.164, mem=37M155
11.47/9.31 decisions=19236, wrong=9386, backtracks=846, failedAssignments=8699, nogoods=1992
11.47/9.31
12.07/9.91 num=47, depth=3..16, filters=64666, wck=7.759, mem=37M155
12.07/9.91 decisions=21104, wrong=10316, backtracks=908, failedAssignments=9580, nogoods=2037
12.07/9.91
12.77/10.64 num=48, depth=2..25, filters=70546, wck=8.493, mem=37M155
12.77/10.64 decisions=23291, wrong=11405, backtracks=1073, failedAssignments=10550, nogoods=2050
12.77/10.64
13.47/11.38 num=49, depth=2..35, filters=76217, wck=9.233, mem=37M155
13.47/11.38 decisions=25579, wrong=12536, backtracks=1169, failedAssignments=11617, nogoods=2281
13.47/11.38
14.18/12.08 num=50, depth=0..18, filters=80544, wck=9.926, mem=37M155
14.18/12.08 decisions=28078, wrong=13783, backtracks=1252, failedAssignments=12790, nogoods=2336
14.18/12.08
15.77/13.69 num=51, depth=1..44, filters=95831, wck=11.536, mem=37M155
15.77/13.69 decisions=31438, wrong=15450, backtracks=1774, failedAssignments=14081, nogoods=2482
15.77/13.69
16.97/14.82 num=52, depth=1..16, filters=103463, wck=12.672, mem=37M155
16.97/14.82 decisions=34479, wrong=16964, backtracks=1884, failedAssignments=15501, nogoods=2511
16.97/14.82
18.57/16.43 num=53, depth=4..54, filters=116680, wck=14.284, mem=37M155
18.57/16.43 decisions=38621, wrong=19018, backtracks=2536, failedAssignments=17063, nogoods=2729
18.57/16.43
19.48/17.39 num=54, depth=3..24, filters=123031, wck=15.239, mem=39M797
19.48/17.39 decisions=42275, wrong=20836, backtracks=2664, failedAssignments=18781, nogoods=2902
19.48/17.39
21.39/19.25 num=55, depth=2..46, filters=138109, wck=17.097, mem=39M797
21.39/19.25 decisions=46643, wrong=23005, backtracks=3048, failedAssignments=20671, nogoods=3049
21.39/19.25
22.69/20.58 num=56, depth=2..20, filters=149819, wck=18.428, mem=39M797
22.69/20.58 decisions=51056, wrong=25207, backtracks=3225, failedAssignments=22750, nogoods=3068
22.69/20.58
23.99/21.84 num=57, depth=1..20, filters=159128, wck=19.693, mem=39M797
23.99/21.84 decisions=56042, wrong=27698, backtracks=3440, failedAssignments=25037, nogoods=3095
23.99/21.84
25.39/23.25 num=58, depth=2..46, filters=169044, wck=21.102, mem=39M797
25.39/23.25 decisions=61313, wrong=30318, backtracks=3582, failedAssignments=27553, nogoods=3461
25.39/23.25
27.00/24.84 num=59, depth=1..30, filters=181491, wck=22.691, mem=39M797
27.00/24.84 decisions=67147, wrong=33228, backtracks=3786, failedAssignments=30321, nogoods=3616
27.00/24.84
28.50/26.38 num=60, depth=1..21, filters=193965, wck=24.224, mem=39M797
28.50/26.38 decisions=73663, wrong=36480, backtracks=4043, failedAssignments=33365, nogoods=3714
28.50/26.38
30.21/28.06 num=61, depth=1..35, filters=206537, wck=25.908, mem=39M797
30.21/28.06 decisions=80681, wrong=39983, backtracks=4315, failedAssignments=36714, nogoods=3779
30.21/28.06
33.51/31.36 num=62, depth=1..61, filters=231913, wck=29.211, mem=39M797
33.51/31.36 decisions=90185, wrong=44719, backtracks=5712, failedAssignments=40398, nogoods=4022
33.51/31.36
41.01/38.87 num=63, depth=1..54, filters=295489, wck=36.72, mem=39M797
41.01/38.87 decisions=102126, wrong=50672, backtracks=8453, failedAssignments=44450, nogoods=4215
41.01/38.87
43.32/41.19 num=64, depth=1..28, filters=311679, wck=39.043, mem=39M797
43.32/41.19 decisions=111547, wrong=55374, backtracks=8762, failedAssignments=48907, nogoods=4332
43.32/41.19
46.06/43.83 num=65, depth=1..20, filters=334226, wck=41.681, mem=39M797
46.06/43.83 decisions=122021, wrong=60608, backtracks=9137, failedAssignments=53810, nogoods=4379
46.06/43.83
50.66/48.47 num=66, depth=1..57, filters=371935, wck=46.318, mem=39M797
50.66/48.47 decisions=135789, wrong=67475, backtracks=11029, failedAssignments=59204, nogoods=4538
50.66/48.47
53.66/51.43 num=67, depth=1..23, filters=391140, wck=49.284, mem=39M797
53.66/51.43 decisions=148456, wrong=73801, backtracks=11515, failedAssignments=65137, nogoods=4649
53.66/51.43
60.58/58.38 num=68, depth=1..60, filters=454085, wck=56.232, mem=39M797
60.58/58.38 decisions=166863, wrong=82985, backtracks=15315, failedAssignments=71663, nogoods=4734
60.58/58.38
64.29/62.02 num=69, depth=1..28, filters=480818, wck=59.873, mem=39M797
64.29/62.02 decisions=182203, wrong=90646, backtracks=15865, failedAssignments=78842, nogoods=4768
64.29/62.02
73.20/71.00 num=70, depth=1..52, filters=558058, wck=68.845, mem=42M439
73.20/71.00 decisions=205037, wrong=102045, backtracks=20698, failedAssignments=86739, nogoods=4837
73.20/71.00
81.22/78.93 num=71, depth=2..56, filters=625905, wck=76.775, mem=42M439
81.22/78.93 decisions=228133, wrong=113576, backtracks=24736, failedAssignments=95426, nogoods=4936
81.22/78.93
88.84/86.59 num=72, depth=1..59, filters=689909, wck=84.438, mem=42M439
88.84/86.59 decisions=250323, wrong=124653, backtracks=26631, failedAssignments=104981, nogoods=5066
88.84/86.59
96.15/93.87 num=73, depth=1..53, filters=745850, wck=91.715, mem=42M439
96.15/93.87 decisions=274112, wrong=136529, backtracks=28462, failedAssignments=115492, nogoods=5207
96.15/93.87
102.96/100.63 num=74, depth=3..37, filters=792918, wck=98.483, mem=42M439
102.96/100.63 decisions=298538, wrong=148737, backtracks=29316, failedAssignments=127054, nogoods=5263
102.96/100.63
111.58/109.28 num=75, depth=0..77, filters=874696, wck=107.128, mem=42M439
111.58/109.28 decisions=329158, wrong=164021, backtracks=32675, failedAssignments=139772, nogoods=5567
111.58/109.28
169.82/167.47 num=76, depth=0..37, filters=1404484, wck=165.32, mem=45M82
169.82/167.47 decisions=379632, wrong=189246, backtracks=44922, failedAssignments=153762, nogoods=5626
169.82/167.47
186.43/184.10 num=77, depth=3..63, filters=1555648, wck=181.948, mem=45M82
186.43/184.10 decisions=421818, wrong=210319, backtracks=52935, failedAssignments=169151, nogoods=5914
186.43/184.10
201.85/199.45 num=78, depth=3..70, filters=1703476, wck=197.297, mem=45M82
201.85/199.45 decisions=465184, wrong=231986, backtracks=58863, failedAssignments=186079, nogoods=6159
201.85/199.45
234.95/232.59 num=79, depth=2..56, filters=2031710, wck=230.435, mem=45M82
234.95/232.59 decisions=522560, wrong=260661, backtracks=70323, failedAssignments=204700, nogoods=6227
234.95/232.59
260.16/257.76 num=80, depth=1..50, filters=2264553, wck=255.612, mem=47M724
260.16/257.76 decisions=577541, wrong=288139, backtracks=79201, failedAssignments=225184, nogoods=6330
260.16/257.76
275.48/273.06 num=81, depth=0..70, filters=2392010, wck=270.91, mem=47M724
275.48/273.06 decisions=629779, wrong=314235, backtracks=83737, failedAssignments=247716, nogoods=6690
275.48/273.06
300.19/297.71 num=82, depth=1..59, filters=2613831, wck=295.556, mem=47M724
300.19/297.71 decisions=695013, wrong=346830, backtracks=94264, failedAssignments=272501, nogoods=6870
300.19/297.71
315.30/312.89 num=83, depth=1..48, filters=2726216, wck=310.738, mem=50M367
315.30/312.89 decisions=754145, wrong=376391, backtracks=97327, failedAssignments=299765, nogoods=6890
315.30/312.89
352.11/349.66 num=84, depth=1..58, filters=3063067, wck=347.507, mem=50M367
352.11/349.66 decisions=842726, wrong=420665, backtracks=117110, failedAssignments=329755, nogoods=7083
352.11/349.66
392.93/390.40 num=85, depth=1..51, filters=3413932, wck=388.247, mem=53M9
392.93/390.40 decisions=940464, wrong=469525, backtracks=140079, failedAssignments=362744, nogoods=7123
392.93/390.40
450.56/448.01 num=86, depth=3..49, filters=3916657, wck=445.856, mem=53M9
450.56/448.01 decisions=1049592, wrong=524076, backtracks=164520, failedAssignments=399032, nogoods=7214
450.56/448.01
493.68/491.16 num=87, depth=1..61, filters=4308694, wck=489.008, mem=55M652
493.68/491.16 decisions=1151339, wrong=574938, backtracks=178860, failedAssignments=438949, nogoods=7311
493.68/491.16
549.99/547.43 num=88, depth=1..67, filters=4800006, wck=545.283, mem=55M652
549.99/547.43 decisions=1271178, wrong=634839, backtracks=200451, failedAssignments=482858, nogoods=7431
549.99/547.43
585.31/582.77 num=89, depth=1..60, filters=5069414, wck=580.621, mem=58M294
585.31/582.77 decisions=1381892, wrong=690178, backtracks=209937, failedAssignments=531158, nogoods=7611
585.31/582.77
629.93/627.39 num=90, depth=1..64, filters=5438647, wck=625.24, mem=60M937
629.93/627.39 decisions=1512713, wrong=755570, backtracks=227162, failedAssignments=584288, nogoods=7827
629.93/627.39
700.56/697.90 num=91, depth=1..62, filters=6071999, wck=695.749, mem=60M937
700.56/697.90 decisions=1681286, wrong=839838, backtracks=263089, failedAssignments=642731, nogoods=7938
700.56/697.90
752.08/749.49 num=92, depth=1..65, filters=6494505, wck=747.34, mem=63M579
752.08/749.49 decisions=1835090, wrong=916722, backtracks=280288, failedAssignments=707018, nogoods=8069
752.08/749.49
861.63/858.96 num=93, depth=4..50, filters=7488768, wck=856.808, mem=66M221
861.63/858.96 decisions=2044438, wrong=1021384, backtracks=327221, failedAssignments=777734, nogoods=8152
861.63/858.96
939.06/936.35 num=94, depth=2..69, filters=8186736, wck=934.197, mem=68M864
939.06/936.35 decisions=2252744, wrong=1125514, backtracks=365266, failedAssignments=855521, nogoods=8338
939.06/936.35
1056.41/1053.66 num=95, depth=2..60, filters=9303397, wck=1051.513, mem=74M149
1056.41/1053.66 decisions=2502607, wrong=1250430, backtracks=415595, failedAssignments=941087, nogoods=8487
1056.41/1053.66
1106.34/1103.58 num=96, depth=5..62, filters=9675253, wck=1101.431, mem=76M791
1106.34/1103.58 decisions=2709658, wrong=1353943, backtracks=428558, failedAssignments=1035210, nogoods=8593
1106.34/1103.58
1240.00/1237.12 num=97, depth=3..60, filters=10956394, wck=1234.965, mem=79M434
1240.00/1237.12 decisions=3000427, wrong=1499311, backtracks=485692, failedAssignments=1138745, nogoods=8692
1240.00/1237.12
1335.13/1332.25 num=98, depth=5..59, filters=11675113, wck=1330.095, mem=82M76
1335.13/1332.25 decisions=3278792, wrong=1638479, backtracks=522686, failedAssignments=1252634, nogoods=8813
1335.13/1332.25
1416.47/1413.51 num=99, depth=5..69, filters=12327319, wck=1411.355, mem=87M361
1416.47/1413.51 decisions=3566981, wrong=1782553, backtracks=550267, failedAssignments=1377912, nogoods=9089
1416.47/1413.51
1522.92/1519.93 num=100, depth=5..73, filters=13217901, wck=1517.777, mem=92M646
1522.92/1519.93 decisions=3906724, wrong=1952406, backtracks=601386, failedAssignments=1515718, nogoods=9239
1522.92/1519.93
1660.18/1657.14 num=101, depth=3..77, filters=14462933, wck=1654.988, mem=97M931
1660.18/1657.14 decisions=4334299, wrong=2166167, backtracks=684221, failedAssignments=1667304, nogoods=9357
1660.18/1657.14
1838.75/1835.64 num=102, depth=0..63, filters=16065016, wck=1833.493, mem=103M215
1838.75/1835.64 decisions=4834339, wrong=2416170, backtracks=799156, failedAssignments=1834049, nogoods=9533
1838.75/1835.64
2007.72/2004.56 num=103, depth=4..69, filters=17547725, wck=2002.412, mem=111M143
2007.72/2004.56 decisions=5338599, wrong=2668278, backtracks=891352, failedAssignments=2017468, nogoods=9690
2007.72/2004.56
2150.08/2146.87 num=104, depth=0..68, filters=18539575, wck=2144.722, mem=119M70
2150.08/2146.87 decisions=5879525, wrong=2938726, backtracks=986850, failedAssignments=2219229, nogoods=9813
2150.08/2146.87
2288.44/2285.18 num=105, depth=1..66, filters=19608982, wck=2283.025, mem=124M355
2288.44/2285.18 decisions=6431264, wrong=3214579, backtracks=1059075, failedAssignments=2441167, nogoods=9891
2288.44/2285.18
2400.09/2396.70
2400.09/2396.70 s UNKNOWN
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 (14604 MiB free)
memory of node 1: 16384 MiB (15297 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391293-1568391016/watcher-4391293-1568391016 -o /tmp/evaluation-result-4391293-1568391016/solver-4391293-1568391016 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568388578-2161 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391293-1568391016.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2625, runsolver pid=2622
Current StackSize limit: 8192 KiB
[startup+0.101778 s]*
/proc/loadavg: 1.89 1.90 1.88 4/228 2640
/proc/meminfo: memFree=30604368/32770624 swapFree=67001952/67108860
[pid=2625] ppid=2622 vsize=10659884 memory=29004 CPUtime=0.14 cores=0,2,4,6
/proc/2625/stat : 2625 (java) S 2622 2625 32400 0 -1 1077944320 5777 0 0 0 12 2 0 0 20 0 15 0 415350227 10915721216 7251 33554432000 4194304 4196468 140720536714752 140720536697296 139813260943095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
/proc/2625/statm: 2664971 7251 2904 1 0 2627468 0
[pid=2625/tid=2627] ppid=2622 vsize=10659884 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/2625/task/2627/stat : 2627 (java) R 2622 2625 32400 0 -1 4202560 3210 0 0 0 8 1 0 0 20 0 15 0 415350227 10915721216 7317 33554432000 4194304 4196468 140720536714752 139813265173768 139812880422677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2628] ppid=2622 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2628/stat : 2628 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 7383 33554432000 4194304 4196468 140720536714752 139813202947088 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2629] ppid=2622 vsize=10659884 memory=139950745355904 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2629/stat : 2629 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 7383 33554432000 4194304 4196468 140720536714752 139813201894544 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2630] ppid=2622 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2630/stat : 2630 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 7383 33554432000 4194304 4196468 140720536714752 139813200841488 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2631] ppid=2622 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2631/stat : 2631 (java) S 2622 2625 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 7383 33554432000 4194304 4196468 140720536714752 139813199788944 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2632] ppid=2622 vsize=10659884 memory=139950745355904 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2632/stat : 2632 (java) S 2622 2625 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350229 10915721216 7383 33554432000 4194304 4196468 140720536714752 139812296734960 139813260954242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2633] ppid=2622 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2633/stat : 2633 (java) S 2622 2625 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415350230 10915721216 7383 33554432000 4194304 4196468 140720536714752 139812295681184 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2634] ppid=2622 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2634/stat : 2634 (java) S 2622 2625 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415350230 10915721216 7383 33554432000 4194304 4196468 140720536714752 139812294628080 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2635] ppid=2622 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2635/stat : 2635 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350232 10915721216 7383 33554432000 4194304 4196468 140720536714752 139812293576656 139813260961691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2636] ppid=2622 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2636/stat : 2636 (java) R 2622 2625 32400 0 -1 1077944384 549 0 0 0 0 0 0 0 20 0 15 0 415350232 10915721216 7383 33554432000 4194304 4196468 140720536714752 139812292524784 139813260954242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2637] ppid=2622 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2637/stat : 2637 (java) R 2622 2625 32400 0 -1 4202560 161 0 0 0 0 0 0 0 20 0 15 0 415350232 10915721216 7383 33554432000 4194304 4196468 140720536714752 139812291453256 139813253232477 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2638] ppid=2622 vsize=10659884 memory=139950745355904 CPUtime=0.02 cores=0,2,4,6
/proc/2625/task/2638/stat : 2638 (java) R 2622 2625 32400 0 -1 4202560 601 0 0 0 2 0 0 0 20 0 15 0 415350232 10915721216 7383 33554432000 4194304 4196468 140720536714752 139812290415992 139813239899433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2639] ppid=2622 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2639/stat : 2639 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350232 10915721216 7383 33554432000 4194304 4196468 140720536714752 139812289366880 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2640] ppid=2622 vsize=10659884 memory=139950745355904 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2640/stat : 2640 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350233 10915721216 7383 33554432000 4194304 4196468 140720536714752 139812288313904 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29004 KiB
[startup+0.211368 s]*
/proc/loadavg: 1.89 1.90 1.88 3/228 2640
/proc/meminfo: memFree=30597528/32770624 swapFree=67001952/67108860
[pid=2625] ppid=2622 vsize=10659884 memory=35052 CPUtime=0.32 cores=0,2,4,6
/proc/2625/stat : 2625 (java) S 2622 2625 32400 0 -1 1077944320 6923 0 0 0 30 2 0 0 20 0 15 0 415350227 10915721216 8763 33554432000 4194304 4196468 140720536714752 140720536697296 139813260943095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
/proc/2625/statm: 2664971 8763 2990 1 0 2627468 0
[pid=2625/tid=2627] ppid=2622 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/2625/task/2627/stat : 2627 (java) R 2622 2625 32400 0 -1 4202560 3846 0 0 0 18 1 0 0 20 0 15 0 415350227 10915721216 8763 33554432000 4194304 4196468 140720536714752 139813265175184 139813260965021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2628] ppid=2622 vsize=10659884 memory=343 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2628/stat : 2628 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 8763 33554432000 4194304 4196468 140720536714752 139813202947088 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2629] ppid=2622 vsize=10659884 memory=139950745379867 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2629/stat : 2629 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 8763 33554432000 4194304 4196468 140720536714752 139813201894544 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2630] ppid=2622 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2630/stat : 2630 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 8763 33554432000 4194304 4196468 140720536714752 139813200841488 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2631] ppid=2622 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2631/stat : 2631 (java) S 2622 2625 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 8763 33554432000 4194304 4196468 140720536714752 139813199788944 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2632] ppid=2622 vsize=10659884 memory=139950745355904 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2632/stat : 2632 (java) S 2622 2625 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350229 10915721216 8763 33554432000 4194304 4196468 140720536714752 139812296734960 139813260954242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2633] ppid=2622 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2633/stat : 2633 (java) S 2622 2625 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415350230 10915721216 8763 33554432000 4194304 4196468 140720536714752 139812295681184 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2634] ppid=2622 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2634/stat : 2634 (java) S 2622 2625 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415350230 10915721216 8763 33554432000 4194304 4196468 140720536714752 139812294628080 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2635] ppid=2622 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2635/stat : 2635 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350232 10915721216 8763 33554432000 4194304 4196468 140720536714752 139812293576656 139813260961691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2636] ppid=2622 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2625/task/2636/stat : 2636 (java) S 2622 2625 32400 0 -1 1077944384 623 0 0 0 2 0 0 0 20 0 15 0 415350232 10915721216 8763 33554432000 4194304 4196468 140720536714752 139812292524784 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2637] ppid=2622 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/2625/task/2637/stat : 2637 (java) S 2622 2625 32400 0 -1 1077944384 430 0 0 0 3 0 0 0 20 0 15 0 415350232 10915721216 8763 33554432000 4194304 4196468 140720536714752 139812291472240 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2638] ppid=2622 vsize=10659884 memory=139950745355904 CPUtime=0.05 cores=0,2,4,6
/proc/2625/task/2638/stat : 2638 (java) S 2622 2625 32400 0 -1 1077944384 666 0 0 0 5 0 0 0 20 0 15 0 415350232 10915721216 8763 33554432000 4194304 4196468 140720536714752 139812290419184 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2639] ppid=2622 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2639/stat : 2639 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350232 10915721216 8763 33554432000 4194304 4196468 140720536714752 139812289366880 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2640] ppid=2622 vsize=10659884 memory=139950745355904 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2640/stat : 2640 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350233 10915721216 8763 33554432000 4194304 4196468 140720536714752 139812288313904 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35052 KiB
[startup+0.310128 s]*
/proc/loadavg: 1.89 1.90 1.88 3/228 2640
/proc/meminfo: memFree=30589300/32770624 swapFree=67001952/67108860
[pid=2625] ppid=2622 vsize=10659884 memory=40176 CPUtime=0.47 cores=0,2,4,6
/proc/2625/stat : 2625 (java) S 2622 2625 32400 0 -1 1077944320 9454 0 0 0 43 4 0 0 20 0 15 0 415350227 10915721216 10044 33554432000 4194304 4196468 140720536714752 140720536697296 139813260943095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
/proc/2625/statm: 2664971 10044 3002 1 0 2627468 0
[pid=2625/tid=2627] ppid=2622 vsize=10659884 memory=53476 CPUtime=0.3 cores=0,2,4,6
/proc/2625/task/2627/stat : 2627 (java) R 2622 2625 32400 0 -1 4202560 6291 0 0 0 27 3 0 0 20 0 15 0 415350227 10915721216 10044 33554432000 4194304 4196468 140720536714752 139813265175504 139813245023582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2628] ppid=2622 vsize=10659884 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2628/stat : 2628 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 10044 33554432000 4194304 4196468 140720536714752 139813202947088 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2629] ppid=2622 vsize=10659884 memory=139950745413920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2629/stat : 2629 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 10044 33554432000 4194304 4196468 140720536714752 139813201894544 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2630] ppid=2622 vsize=10659884 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2630/stat : 2630 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 10044 33554432000 4194304 4196468 140720536714752 139813200841488 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2631] ppid=2622 vsize=10659884 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2631/stat : 2631 (java) S 2622 2625 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350228 10915721216 10044 33554432000 4194304 4196468 140720536714752 139813199788944 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2632] ppid=2622 vsize=10659884 memory=139950745420832 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2632/stat : 2632 (java) S 2622 2625 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350229 10915721216 10044 33554432000 4194304 4196468 140720536714752 139812296734960 139813260954242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2633] ppid=2622 vsize=10659884 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2633/stat : 2633 (java) S 2622 2625 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415350230 10915721216 10044 33554432000 4194304 4196468 140720536714752 139812295681184 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2634] ppid=2622 vsize=10659884 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2634/stat : 2634 (java) S 2622 2625 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415350230 10915721216 10044 33554432000 4194304 4196468 140720536714752 139812294628080 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2635] ppid=2622 vsize=10659884 memory=71876 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2635/stat : 2635 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350232 10915721216 10044 33554432000 4194304 4196468 140720536714752 139812293576656 139813260961691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2636] ppid=2622 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2625/task/2636/stat : 2636 (java) S 2622 2625 32400 0 -1 1077944384 631 0 0 0 3 0 0 0 20 0 15 0 415350232 10915721216 10044 33554432000 4194304 4196468 140720536714752 139812292524784 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2637] ppid=2622 vsize=10659884 memory=139950637047759 CPUtime=0.04 cores=0,2,4,6
/proc/2625/task/2637/stat : 2637 (java) S 2622 2625 32400 0 -1 1077944384 483 0 0 0 4 0 0 0 20 0 15 0 415350232 10915721216 10044 33554432000 4194304 4196468 140720536714752 139812291472240 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2638] ppid=2622 vsize=10659884 memory=139950745358322 CPUtime=0.07 cores=0,2,4,6
/proc/2625/task/2638/stat : 2638 (java) S 2622 2625 32400 0 -1 1077944384 697 0 0 0 7 0 0 0 20 0 15 0 415350232 10915721216 10044 33554432000 4194304 4196468 140720536714752 139812290419184 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2639] ppid=2622 vsize=10659884 memory=139950637047759 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2639/stat : 2639 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350232 10915721216 10044 33554432000 4194304 4196468 140720536714752 139812289366880 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2640] ppid=2622 vsize=10659884 memory=279901382420416 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2640/stat : 2640 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350233 10915721216 10044 33554432000 4194304 4196468 140720536714752 139812288313904 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40176 KiB
[startup+0.701411 s]
/proc/loadavg: 1.89 1.90 1.88 3/228 2640
/proc/meminfo: memFree=30580360/32770624 swapFree=67001952/67108860
[pid=2625] ppid=2622 vsize=10661932 memory=64080 CPUtime=1.11 cores=0,2,4,6
/proc/2625/stat : 2625 (java) S 2622 2625 32400 0 -1 1077944320 13163 0 0 0 104 7 0 0 20 0 15 0 415350227 10917818368 16020 33554432000 4194304 4196468 140720536714752 140720536697296 139813260943095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
/proc/2625/statm: 2665483 16020 3073 1 0 2627980 0
[pid=2625/tid=2627] ppid=2622 vsize=10661932 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/2625/task/2627/stat : 2627 (java) R 2622 2625 32400 0 -1 4202560 8862 0 0 0 63 5 0 0 20 0 15 0 415350227 10917818368 16020 33554432000 4194304 4196468 140720536714752 139813265168976 139813246636527 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2628] ppid=2622 vsize=10661932 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2628/stat : 2628 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10917818368 16020 33554432000 4194304 4196468 140720536714752 139813202947088 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2629] ppid=2622 vsize=10661932 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2629/stat : 2629 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10917818368 16020 33554432000 4194304 4196468 140720536714752 139813201894544 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2630] ppid=2622 vsize=10661932 memory=13692 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2630/stat : 2630 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10917818368 16020 33554432000 4194304 4196468 140720536714752 139813200841488 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2631] ppid=2622 vsize=10661932 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2631/stat : 2631 (java) S 2622 2625 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350228 10917818368 16020 33554432000 4194304 4196468 140720536714752 139813199788944 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2632] ppid=2622 vsize=10661932 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2632/stat : 2632 (java) S 2622 2625 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350229 10917818368 16020 33554432000 4194304 4196468 140720536714752 139812296734960 139813260954242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2633] ppid=2622 vsize=10661932 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2633/stat : 2633 (java) S 2622 2625 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415350230 10917818368 16020 33554432000 4194304 4196468 140720536714752 139812295681184 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2634] ppid=2622 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2634/stat : 2634 (java) S 2622 2625 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415350230 10917818368 16020 33554432000 4194304 4196468 140720536714752 139812294628080 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2635] ppid=2622 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2635/stat : 2635 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350232 10917818368 16020 33554432000 4194304 4196468 140720536714752 139812293576656 139813260961691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2636] ppid=2622 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/2625/task/2636/stat : 2636 (java) R 2622 2625 32400 0 -1 4202560 960 0 0 0 11 0 0 0 20 0 15 0 415350232 10917818368 16020 33554432000 4194304 4196468 140720536714752 139812292524784 139813240605536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2637] ppid=2622 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/2625/task/2637/stat : 2637 (java) S 2622 2625 32400 0 -1 1077944384 822 0 0 0 11 0 0 0 20 0 15 0 415350232 10917818368 16020 33554432000 4194304 4196468 140720536714752 139812291472240 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2638] ppid=2622 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/2625/task/2638/stat : 2638 (java) S 2622 2625 32400 0 -1 1077944384 1161 0 0 0 18 0 0 0 20 0 15 0 415350232 10917818368 16020 33554432000 4194304 4196468 140720536714752 139812290419184 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2639] ppid=2622 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2639/stat : 2639 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415350232 10917818368 16020 33554432000 4194304 4196468 140720536714752 139812289366880 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2640] ppid=2622 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2640/stat : 2640 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350233 10917818368 16020 33554432000 4194304 4196468 140720536714752 139812288313904 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64080 KiB
[startup+1.5008 s]
/proc/loadavg: 1.89 1.90 1.88 3/228 2640
/proc/meminfo: memFree=30564788/32770624 swapFree=67001952/67108860
[pid=2625] ppid=2622 vsize=10663980 memory=75988 CPUtime=2.01 cores=0,2,4,6
/proc/2625/stat : 2625 (java) S 2622 2625 32400 0 -1 1077944320 17333 0 0 0 193 8 0 0 20 0 15 0 415350227 10919915520 18997 33554432000 4194304 4196468 140720536714752 140720536697296 139813260943095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
/proc/2625/statm: 2665995 18997 3090 1 0 2628492 0
[pid=2625/tid=2627] ppid=2622 vsize=10663980 memory=2319689379145138534 CPUtime=1.48 cores=0,2,4,6
/proc/2625/task/2627/stat : 2627 (java) R 2622 2625 32400 0 -1 4202560 11889 0 0 0 142 6 0 0 20 0 15 0 415350227 10919915520 18997 33554432000 4194304 4196468 140720536714752 139813265168976 139813260965021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2628] ppid=2622 vsize=10663980 memory=67864 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2628/stat : 2628 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10919915520 18997 33554432000 4194304 4196468 140720536714752 139813202947088 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2629] ppid=2622 vsize=10663980 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2629/stat : 2629 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10919915520 18997 33554432000 4194304 4196468 140720536714752 139813201894544 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2630] ppid=2622 vsize=10663980 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2630/stat : 2630 (java) S 2622 2625 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415350228 10919915520 18997 33554432000 4194304 4196468 140720536714752 139813200841488 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2631] ppid=2622 vsize=10663980 memory=13692 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2631/stat : 2631 (java) S 2622 2625 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415350228 10919915520 18997 33554432000 4194304 4196468 140720536714752 139813199788944 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2632] ppid=2622 vsize=10663980 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2632/stat : 2632 (java) S 2622 2625 32400 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 415350229 10919915520 18997 33554432000 4194304 4196468 140720536714752 139812296734960 139813260954242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
################
# More data... #
################
/proc/2625/task/2631/stat : 2631 (java) S 2622 2625 32400 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 415350228 11004186624 57706 33554432000 4194304 4196468 140720536714752 139813199788944 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2632] ppid=2622 vsize=10746276 memory=3848 CPUtime=0.03 cores=0,2,4,6
/proc/2625/task/2632/stat : 2632 (java) S 2622 2625 32400 0 -1 1077944384 1046 0 0 0 2 1 0 0 20 0 16 0 415350229 11004186624 57706 33554432000 4194304 4196468 140720536714752 139812296734960 139813260954242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2633] ppid=2622 vsize=10746276 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2633/stat : 2633 (java) S 2622 2625 32400 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415350230 11004186624 57706 33554432000 4194304 4196468 140720536714752 139812295681248 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2634] ppid=2622 vsize=10746276 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2634/stat : 2634 (java) S 2622 2625 32400 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415350230 11004186624 57706 33554432000 4194304 4196468 140720536714752 139812294628096 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2635] ppid=2622 vsize=10746276 memory=230824 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2635/stat : 2635 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350232 11004186624 57706 33554432000 4194304 4196468 140720536714752 139812293576656 139813260961691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2636] ppid=2622 vsize=10746276 memory=230824 CPUtime=0.97 cores=0,2,4,6
/proc/2625/task/2636/stat : 2636 (java) S 2622 2625 32400 0 -1 1077944384 7041 0 0 0 96 1 0 0 20 0 16 0 415350232 11004186624 57706 33554432000 4194304 4196468 140720536714752 139812292524784 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2637] ppid=2622 vsize=10746276 memory=230824 CPUtime=0.85 cores=0,2,4,6
/proc/2625/task/2637/stat : 2637 (java) S 2622 2625 32400 0 -1 1077944384 4953 0 0 0 85 0 0 0 20 0 16 0 415350232 11004186624 57706 33554432000 4194304 4196468 140720536714752 139812291472240 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2638] ppid=2622 vsize=10746276 memory=3616 CPUtime=0.52 cores=0,2,4,6
/proc/2625/task/2638/stat : 2638 (java) S 2622 2625 32400 0 -1 1077944384 5318 0 0 0 50 2 0 0 20 0 16 0 415350232 11004186624 57706 33554432000 4194304 4196468 140720536714752 139812290419184 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2639] ppid=2622 vsize=10746276 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2639/stat : 2639 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350232 11004186624 57706 33554432000 4194304 4196468 140720536714752 139812289366880 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2640] ppid=2622 vsize=10746276 memory=1428 CPUtime=0.69 cores=0,2,4,6
/proc/2625/task/2640/stat : 2640 (java) S 2622 2625 32400 0 -1 1077944384 771 0 0 0 36 33 0 0 20 0 16 0 415350233 11004186624 57706 33554432000 4194304 4196468 140720536714752 139812288313904 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2641] ppid=2622 vsize=10746276 memory=38476 CPUtime=2320.6 cores=0,2,4,6
/proc/2625/task/2641/stat : 2641 (java) R 2622 2625 32400 0 -1 4202560 11061 0 0 0 232057 3 0 0 20 0 16 0 415350415 11004186624 57706 33554432000 4194304 4196468 140720536714752 139812271238656 139812884310714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
Current children cumulated CPU time: 2325.66 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 230824 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/207 3007
/proc/meminfo: memFree=30984300/32770624 swapFree=67002080/67108860
[pid=2625] ppid=2622 vsize=10746276 memory=234920 CPUtime=2385.68 cores=0,2,4,6
/proc/2625/stat : 2625 (java) S 2622 2625 32400 0 -1 1077944320 45578 0 0 0 238531 37 0 0 20 0 16 0 415350227 11004186624 58730 33554432000 4194304 4196468 140720536714752 140720536697296 139813260943095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
/proc/2625/statm: 2686569 58730 3360 1 0 2646705 0
[pid=2625/tid=2627] ppid=2622 vsize=10746276 memory=234920 CPUtime=1.85 cores=0,2,4,6
/proc/2625/task/2627/stat : 2627 (java) S 2622 2625 32400 0 -1 1077944384 13759 0 0 0 178 7 0 0 20 0 16 0 415350227 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813265185968 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2628] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.01 cores=0,2,4,6
/proc/2625/task/2628/stat : 2628 (java) S 2622 2625 32400 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813202947088 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2629] ppid=2622 vsize=10746276 memory=232872 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2629/stat : 2629 (java) S 2622 2625 32400 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813201894544 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2630] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.01 cores=0,2,4,6
/proc/2625/task/2630/stat : 2630 (java) S 2622 2625 32400 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813200841488 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2631] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2631/stat : 2631 (java) S 2622 2625 32400 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813199788944 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2632] ppid=2622 vsize=10746276 memory=232872 CPUtime=0.03 cores=0,2,4,6
/proc/2625/task/2632/stat : 2632 (java) S 2622 2625 32400 0 -1 1077944384 1047 0 0 0 2 1 0 0 20 0 16 0 415350229 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812296734960 139813260954242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2633] ppid=2622 vsize=10746276 memory=55 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2633/stat : 2633 (java) S 2622 2625 32400 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415350230 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812295681248 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2634] ppid=2622 vsize=10746276 memory=804 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2634/stat : 2634 (java) S 2622 2625 32400 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415350230 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812294628096 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2635] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2635/stat : 2635 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812293576656 139813260961691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2636] ppid=2622 vsize=10746276 memory=232872 CPUtime=0.97 cores=0,2,4,6
/proc/2625/task/2636/stat : 2636 (java) S 2622 2625 32400 0 -1 1077944384 7041 0 0 0 96 1 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812292524784 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2637] ppid=2622 vsize=10746276 memory=232872 CPUtime=0.85 cores=0,2,4,6
/proc/2625/task/2637/stat : 2637 (java) S 2622 2625 32400 0 -1 1077944384 4953 0 0 0 85 0 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812291472240 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2638] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.52 cores=0,2,4,6
/proc/2625/task/2638/stat : 2638 (java) S 2622 2625 32400 0 -1 1077944384 5318 0 0 0 50 2 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812290419184 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2639] ppid=2622 vsize=10746276 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2639/stat : 2639 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812289366880 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2640] ppid=2622 vsize=10746276 memory=3616 CPUtime=0.71 cores=0,2,4,6
/proc/2625/task/2640/stat : 2640 (java) S 2622 2625 32400 0 -1 1077944384 777 0 0 0 37 34 0 0 20 0 16 0 415350233 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812288313904 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2641] ppid=2622 vsize=10746276 memory=38476 CPUtime=2380.61 cores=0,2,4,6
/proc/2625/task/2641/stat : 2641 (java) R 2622 2625 32400 0 -1 4202560 11083 0 0 0 238058 3 0 0 20 0 16 0 415350415 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812271238656 139812884067498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
Current children cumulated CPU time: 2385.68 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 234920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2396.7 s]
/proc/loadavg: 1.00 1.01 1.21 2/207 3009
/proc/meminfo: memFree=30984548/32770624 swapFree=67002080/67108860
[pid=2625] ppid=2622 vsize=10746276 memory=234920 CPUtime=2400.09 cores=0,2,4,6
/proc/2625/stat : 2625 (java) S 2622 2625 32400 0 -1 1077944320 45592 0 0 0 239971 38 0 0 20 0 16 0 415350227 11004186624 58730 33554432000 4194304 4196468 140720536714752 140720536697296 139813260943095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
/proc/2625/statm: 2686569 58730 3360 1 0 2646705 0
[pid=2625/tid=2627] ppid=2622 vsize=10746276 memory=234920 CPUtime=1.85 cores=0,2,4,6
/proc/2625/task/2627/stat : 2627 (java) S 2622 2625 32400 0 -1 1077944384 13759 0 0 0 178 7 0 0 20 0 16 0 415350227 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813265185968 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2628] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.01 cores=0,2,4,6
/proc/2625/task/2628/stat : 2628 (java) S 2622 2625 32400 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813202947088 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2629] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2629/stat : 2629 (java) S 2622 2625 32400 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813201894544 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2630] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.01 cores=0,2,4,6
/proc/2625/task/2630/stat : 2630 (java) S 2622 2625 32400 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813200841488 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2631] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2631/stat : 2631 (java) S 2622 2625 32400 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813199788944 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2632] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.03 cores=0,2,4,6
/proc/2625/task/2632/stat : 2632 (java) S 2622 2625 32400 0 -1 1077944384 1047 0 0 0 2 1 0 0 20 0 16 0 415350229 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812296734960 139813260954242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2633] ppid=2622 vsize=10746276 memory=232872 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2633/stat : 2633 (java) S 2622 2625 32400 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415350230 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812295681248 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2634] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2634/stat : 2634 (java) S 2622 2625 32400 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415350230 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812294628096 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2635] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2635/stat : 2635 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812293576656 139813260961691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2636] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.97 cores=0,2,4,6
/proc/2625/task/2636/stat : 2636 (java) S 2622 2625 32400 0 -1 1077944384 7043 0 0 0 96 1 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812292524784 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2637] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.85 cores=0,2,4,6
/proc/2625/task/2637/stat : 2637 (java) S 2622 2625 32400 0 -1 1077944384 4955 0 0 0 85 0 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812291472240 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2638] ppid=2622 vsize=10746276 memory=279901275324304 CPUtime=0.52 cores=0,2,4,6
/proc/2625/task/2638/stat : 2638 (java) S 2622 2625 32400 0 -1 1077944384 5320 0 0 0 50 2 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812290419184 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2639] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2639/stat : 2639 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812289366880 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2640] ppid=2622 vsize=10746276 memory=3616 CPUtime=0.72 cores=0,2,4,6
/proc/2625/task/2640/stat : 2640 (java) S 2622 2625 32400 0 -1 1077944384 779 0 0 0 37 35 0 0 20 0 16 0 415350233 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812288313904 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2641] ppid=2622 vsize=10746276 memory=1428 CPUtime=2395.01 cores=0,2,4,6
/proc/2625/task/2641/stat : 2641 (java) R 2622 2625 32400 0 -1 4202560 11089 0 0 0 239498 3 0 0 20 0 16 0 415350415 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812271238656 139812884195670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 234920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2396.71 s]
# the end of solver process 2625 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.73 s, system=0.385113 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2396.7 s]
/proc/loadavg: 1.00 1.01 1.21 2/207 3009
/proc/meminfo: memFree=30984548/32770624 swapFree=67002080/67108860
[pid=2625] ppid=2622 vsize=10746276 memory=234920 CPUtime=2400.09 cores=0,2,4,6
/proc/2625/stat : 2625 (java) S 2622 2625 32400 0 -1 1077944320 45592 0 0 0 239971 38 0 0 20 0 16 0 415350227 11004186624 58730 33554432000 4194304 4196468 140720536714752 140720536697296 139813260943095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
/proc/2625/statm: 2686569 58730 3360 1 0 2646705 0
[pid=2625/tid=2627] ppid=2622 vsize=10746276 memory=234920 CPUtime=1.85 cores=0,2,4,6
/proc/2625/task/2627/stat : 2627 (java) S 2622 2625 32400 0 -1 1077944384 13759 0 0 0 178 7 0 0 20 0 16 0 415350227 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813265185968 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2628] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.01 cores=0,2,4,6
/proc/2625/task/2628/stat : 2628 (java) S 2622 2625 32400 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813202947088 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2629] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2629/stat : 2629 (java) S 2622 2625 32400 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813201894544 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2630] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.01 cores=0,2,4,6
/proc/2625/task/2630/stat : 2630 (java) S 2622 2625 32400 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813200841488 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2631] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2631/stat : 2631 (java) S 2622 2625 32400 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 415350228 11004186624 58730 33554432000 4194304 4196468 140720536714752 139813199788944 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2632] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.03 cores=0,2,4,6
/proc/2625/task/2632/stat : 2632 (java) S 2622 2625 32400 0 -1 1077944384 1047 0 0 0 2 1 0 0 20 0 16 0 415350229 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812296734960 139813260954242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2633] ppid=2622 vsize=10746276 memory=232872 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2633/stat : 2633 (java) S 2622 2625 32400 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415350230 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812295681248 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2634] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2634/stat : 2634 (java) S 2622 2625 32400 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415350230 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812294628096 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2635] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2635/stat : 2635 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812293576656 139813260961691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2636] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.97 cores=0,2,4,6
/proc/2625/task/2636/stat : 2636 (java) S 2622 2625 32400 0 -1 1077944384 7043 0 0 0 96 1 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812292524784 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2637] ppid=2622 vsize=10746276 memory=234920 CPUtime=0.85 cores=0,2,4,6
/proc/2625/task/2637/stat : 2637 (java) S 2622 2625 32400 0 -1 1077944384 4955 0 0 0 85 0 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812291472240 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2638] ppid=2622 vsize=10746276 memory=279901275324304 CPUtime=0.52 cores=0,2,4,6
/proc/2625/task/2638/stat : 2638 (java) S 2622 2625 32400 0 -1 1077944384 5320 0 0 0 50 2 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812290419184 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2639] ppid=2622 vsize=10746276 memory=234920 CPUtime=0 cores=0,2,4,6
/proc/2625/task/2639/stat : 2639 (java) S 2622 2625 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415350232 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812289366880 139813260953301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2640] ppid=2622 vsize=10746276 memory=3616 CPUtime=0.72 cores=0,2,4,6
/proc/2625/task/2640/stat : 2640 (java) S 2622 2625 32400 0 -1 1077944384 779 0 0 0 37 35 0 0 20 0 16 0 415350233 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812288313904 139813260954242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
[pid=2625/tid=2641] ppid=2622 vsize=10746276 memory=1428 CPUtime=2395.01 cores=0,2,4,6
/proc/2625/task/2641/stat : 2641 (java) R 2622 2625 32400 0 -1 4202560 11089 0 0 0 239498 3 0 0 20 0 16 0 415350415 11004186624 58730 33554432000 4194304 4196468 140720536714752 139812271238656 139812884195670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39706624 140720536716299 140720536716402 140720536716402 140720536719311 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 234920 KiB
Child status: 143
Real time (s): 2396.71
CPU time (s): 2400.12
CPU user time (s): 2399.73
CPU system time (s): 0.385113
CPU usage (%): 100.142
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 234920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.73
system time used= 0.385113
maximum resident set size= 241788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45981
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54939
involuntary context switches= 946
# summary of solver processes directly reported to runsolver:
# pid: 2625
# total CPU time (s): 2400.12
# total CPU user time (s): 2399.73
# total CPU system time (s): 0.385113
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8296 second user time and 20.2706 second system time
The end