2.39/1.88
2.39/1.88 AbsCon 2
2.39/1.90
3.31/2.18 Instance
3.31/2.18 name=instance-4390510-1568385563, framework=CSP
3.31/2.18
3.31/2.18 Loading variables...
3.96/2.30 Loading constraints...
40.00/36.09
40.00/36.09 Domains
40.00/36.09 nTypes=65, nValues=118034, sizes=[548#6,549#6,550#4,551#2...637#2,639#4,642#2,643#2]
40.00/36.09 Variables
40.00/36.09 count=200, degrees=[19#100,37#100]
40.00/36.09 Constraints
40.00/36.09 count=2800, nSpecific=100, arities=[2#2800]
40.00/36.09 distribution=[CtrIntension#2700,NE#100]
40.00/36.09 nIntStructures=(784,shared:1916), nCftStructures=(784,shared:1916,unbuilt:100)
40.00/36.09 wck=34.239, cpu=36.037, mem=140M462
40.00/36.10 Solver SolverBacktrack being built...
40.00/36.10
40.23/36.13
40.23/36.13 Solver
40.23/36.13 guaranteedGAC=true
40.23/36.13 wck=34.28, cpu=36.077, mem=153M856
40.23/36.14
40.23/36.14 Preprocessing
40.23/36.14 filters=0, ccks=273306278, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
40.23/36.14 wck=0.006, cpu=36.084, mem=153M856
40.23/36.14
41.29/36.68 num=0, depth=48..48, filters=1775, revisions=(2284,useless=531), ccks=276141885, wck=0.552, mem=57M122
41.29/36.68 decisions=68, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
41.29/36.68
41.93/37.14 num=1, depth=46..46, filters=3667, revisions=(4911,useless=1275), ccks=279021941, wck=1.013, mem=64M914
41.93/37.14 decisions=136, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
41.93/37.14
42.24/37.41 num=2, depth=17..17, filters=4778, revisions=(6736,useless=2010), ccks=280654880, wck=1.275, mem=75M303
42.24/37.41 decisions=177, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
42.24/37.41
42.34/37.56 num=3, depth=16..16, filters=5670, revisions=(7866,useless=2270), ccks=281558709, wck=1.432, mem=80M497
42.34/37.56 decisions=219, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
42.34/37.56
42.56/37.73 num=4, depth=16..16, filters=6535, revisions=(8777,useless=2325), ccks=282597444, wck=1.597, mem=83M95
42.56/37.73 decisions=263, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
42.56/37.73
42.77/37.96 num=5, depth=15..15, filters=7687, revisions=(10442,useless=2862), ccks=284000987, wck=1.825, mem=90M887
42.77/37.96 decisions=310, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
42.77/37.96
42.98/38.15 num=6, depth=14..14, filters=9005, revisions=(12195,useless=3322), ccks=285177179, wck=2.015, mem=96M81
42.98/38.15 decisions=358, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
42.98/38.15
43.58/38.70 num=7, depth=10..10, filters=10538, revisions=(15041,useless=4659), ccks=288751600, wck=2.571, mem=103M873
43.58/38.70 decisions=406, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
43.58/38.70
43.89/39.03 num=8, depth=8..8, filters=11904, revisions=(16988,useless=5252), ccks=290859699, wck=2.905, mem=114M262
43.89/39.03 decisions=456, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
43.89/39.03
44.09/39.25 num=9, depth=10..10, filters=13087, revisions=(18274,useless=5363), ccks=292181647, wck=3.115, mem=116M859
44.09/39.25 decisions=512, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
44.09/39.25
44.50/39.64 num=10, depth=7..7, filters=14810, revisions=(20698,useless=6079), ccks=294596745, wck=3.507, mem=127M248
44.50/39.64 decisions=569, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
44.50/39.64
45.50/40.65 num=11, depth=7..7, filters=16864, revisions=(24631,useless=7991), ccks=300971751, wck=4.519, mem=142M832
45.50/40.65 decisions=632, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
45.50/40.65
46.40/41.59 num=12, depth=9..9, filters=19238, revisions=(29054,useless=10077), ccks=306959224, wck=5.455, mem=153M221
46.40/41.59 decisions=703, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
46.40/41.59
47.11/42.21 num=13, depth=6..6, filters=21243, revisions=(32262,useless=11301), ccks=310874570, wck=6.075, mem=166M207
47.11/42.21 decisions=777, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
47.11/42.21
47.52/42.69 num=14, depth=7..7, filters=23563, revisions=(35660,useless=12392), ccks=313777316, wck=6.56, mem=177M455
47.52/42.69 decisions=858, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
47.52/42.69
48.85/43.95 num=15, depth=7..7, filters=26533, revisions=(41208,useless=14989), ccks=321668278, wck=7.819, mem=66M251
48.85/43.95 decisions=947, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
48.85/43.95
49.76/44.81 num=16, depth=7..7, filters=29924, revisions=(47510,useless=17948), ccks=326942463, wck=8.681, mem=87M33
49.76/44.81 decisions=1044, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
49.76/44.81
50.76/45.81 num=17, depth=7..7, filters=33064, revisions=(52041,useless=19394), ccks=332896171, wck=9.676, mem=105M776
50.76/45.81 decisions=1151, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
50.76/45.81
51.46/46.57 num=18, depth=7..7, filters=36370, revisions=(57915,useless=22022), ccks=337380363, wck=10.438, mem=129M156
51.46/46.57 decisions=1268, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
51.46/46.57
52.68/47.72 num=19, depth=6..7, filters=40905, revisions=(66513,useless=26149), ccks=343980888, wck=11.589, mem=149M939
52.68/47.72 decisions=1399, wrong=564, backtracks=1, failedAssignments=563, nogoods=532
52.68/47.72
53.29/48.31 num=20, depth=6..7, filters=45699, revisions=(75819,useless=30732), ccks=347210756, wck=12.183, mem=173M319
53.29/48.31 decisions=1548, wrong=635, backtracks=5, failedAssignments=630, nogoods=546
53.29/48.31
54.02/49.04 num=21, depth=6..7, filters=51197, revisions=(86646,useless=36139), ccks=351408308, wck=12.911, mem=63M483
54.02/49.04 decisions=1707, wrong=711, backtracks=7, failedAssignments=704, nogoods=564
54.02/49.04
54.71/49.71 num=22, depth=6..7, filters=56764, revisions=(97463,useless=41475), ccks=355267602, wck=13.579, mem=91M732
54.71/49.71 decisions=1884, wrong=796, backtracks=11, failedAssignments=785, nogoods=572
54.71/49.71
56.72/51.75 num=23, depth=6..7, filters=62882, revisions=(108282,useless=46186), ccks=368148356, wck=15.617, mem=130M253
56.72/51.75 decisions=2071, wrong=886, backtracks=12, failedAssignments=874, nogoods=598
56.72/51.75
58.32/53.31 num=24, depth=6..7, filters=69637, revisions=(120285,useless=51454), ccks=377745704, wck=17.184, mem=168M775
58.32/53.31 decisions=2276, wrong=985, backtracks=13, failedAssignments=972, nogoods=633
58.32/53.31
61.26/56.29 num=25, depth=7..8, filters=78181, revisions=(133738,useless=56462), ccks=396908062, wck=20.159, mem=86M273
61.26/56.29 decisions=2502, wrong=1094, backtracks=14, failedAssignments=1080, nogoods=679
61.26/56.29
62.47/57.48 num=26, depth=7..8, filters=87524, revisions=(151538,useless=65031), ccks=404095691, wck=21.347, mem=147M180
62.47/57.48 decisions=2766, wrong=1222, backtracks=23, failedAssignments=1199, nogoods=692
62.47/57.48
64.49/59.42 num=27, depth=8..9, filters=99206, revisions=(174338,useless=76270), ccks=415810322, wck=23.287, mem=80M659
64.49/59.42 decisions=3062, wrong=1366, backtracks=36, failedAssignments=1330, nogoods=748
64.49/59.42
67.20/62.17 num=28, depth=6..7, filters=109923, revisions=(194943,useless=86305), ccks=433267379, wck=26.044, mem=133M229
67.20/62.17 decisions=3361, wrong=1512, backtracks=38, failedAssignments=1474, nogoods=766
67.20/62.17
69.92/64.85 num=29, depth=6..8, filters=119849, revisions=(210917,useless=92353), ccks=450135837, wck=28.715, mem=72M785
69.92/64.85 decisions=3690, wrong=1673, backtracks=41, failedAssignments=1632, nogoods=785
69.92/64.85
72.42/67.39 num=30, depth=6..7, filters=130083, revisions=(232713,useless=104087), ccks=466167980, wck=31.256, mem=124M575
72.42/67.39 decisions=4051, wrong=1850, backtracks=44, failedAssignments=1806, nogoods=816
72.42/67.39
74.15/69.04 num=31, depth=7..8, filters=141115, revisions=(252015,useless=112551), ccks=475803441, wck=32.906, mem=55M504
74.15/69.04 decisions=4447, wrong=2044, backtracks=47, failedAssignments=1997, nogoods=861
74.15/69.04
76.16/71.02 num=32, depth=6..7, filters=153857, revisions=(283824,useless=131832), ccks=487425889, wck=34.893, mem=123M468
76.16/71.02 decisions=4892, wrong=2263, backtracks=55, failedAssignments=2208, nogoods=877
76.16/71.02
77.78/72.69 num=33, depth=6..7, filters=167326, revisions=(307194,useless=141922), ccks=497051872, wck=36.564, mem=64M941
77.78/72.69 decisions=5373, wrong=2500, backtracks=60, failedAssignments=2440, nogoods=1020
77.78/72.69
82.38/77.21 num=34, depth=6..7, filters=182703, revisions=(335915,useless=155453), ccks=525682990, wck=41.08, mem=167M595
82.38/77.21 decisions=5896, wrong=2758, backtracks=63, failedAssignments=2695, nogoods=1084
82.38/77.21
84.61/79.49 num=35, depth=6..7, filters=199971, revisions=(369638,useless=172177), ccks=538466392, wck=43.362, mem=118M958
84.61/79.49 decisions=6481, wrong=3047, backtracks=71, failedAssignments=2976, nogoods=1114
84.61/79.49
86.43/81.21 num=36, depth=6..7, filters=213138, revisions=(391008,useless=180412), ccks=548403176, wck=45.084, mem=59M829
86.43/81.21 decisions=7120, wrong=3363, backtracks=78, failedAssignments=3285, nogoods=1141
86.43/81.21
90.27/85.10 num=37, depth=6..7, filters=237568, revisions=(440719,useless=205963), ccks=571602886, wck=48.973, mem=62M60
90.27/85.10 decisions=7817, wrong=3708, backtracks=83, failedAssignments=3625, nogoods=1200
90.27/85.10
92.76/87.59 num=38, depth=6..7, filters=256994, revisions=(476622,useless=222807), ccks=586655375, wck=51.46, mem=52M750
92.76/87.59 decisions=8594, wrong=4093, backtracks=94, failedAssignments=3999, nogoods=1212
92.76/87.59
96.24/91.00 num=39, depth=6..7, filters=282876, revisions=(536670,useless=257370), ccks=605292608, wck=54.87, mem=75M68
96.24/91.00 decisions=9463, wrong=4524, backtracks=114, failedAssignments=4410, nogoods=1234
96.24/91.00
99.87/94.41 num=40, depth=6..7, filters=312531, revisions=(595077,useless=286579), ccks=624434283, wck=58.283, mem=101M89
99.87/94.41 decisions=10404, wrong=4991, backtracks=129, failedAssignments=4862, nogoods=1252
99.87/94.41
109.56/104.06 num=41, depth=6..7, filters=346689, revisions=(661490,useless=319223), ccks=684986609, wck=67.926, mem=109M761
109.56/104.06 decisions=11421, wrong=5496, backtracks=137, failedAssignments=5359, nogoods=1266
109.56/104.06
116.82/111.20 num=42, depth=6..7, filters=381342, revisions=(723949,useless=347400), ccks=730003187, wck=75.073, mem=112M128
116.82/111.20 decisions=12538, wrong=6051, backtracks=145, failedAssignments=5906, nogoods=1298
116.82/111.20
121.04/115.40 num=43, depth=6..8, filters=415196, revisions=(782549,useless=372673), ccks=754982139, wck=79.27, mem=80M374
121.04/115.40 decisions=13778, wrong=6667, backtracks=159, failedAssignments=6508, nogoods=1325
121.04/115.40
129.15/123.52 num=44, depth=6..7, filters=449705, revisions=(835872,useless=391340), ccks=806220186, wck=87.392, mem=99M264
129.15/123.52 decisions=15131, wrong=7340, backtracks=170, failedAssignments=7170, nogoods=1350
129.15/123.52
136.68/131.08 num=45, depth=6..8, filters=493068, revisions=(912809,useless=425369), ccks=850855684, wck=94.948, mem=140M250
136.68/131.08 decisions=16619, wrong=8080, backtracks=182, failedAssignments=7898, nogoods=1380
136.68/131.08
148.50/142.81 num=46, depth=6..8, filters=551850, revisions=(1026604,useless=481168), ccks=922453746, wck=106.68, mem=134M507
148.50/142.81 decisions=18269, wrong=8902, backtracks=203, failedAssignments=8699, nogoods=1399
148.50/142.81
158.63/152.95 num=47, depth=7..8, filters=605616, revisions=(1131368,useless=532959), ccks=983429301, wck=116.817, mem=115M57
158.63/152.95 decisions=20069, wrong=9798, backtracks=218, failedAssignments=9580, nogoods=1441
158.63/152.95
177.46/171.72 num=48, depth=7..8, filters=669331, revisions=(1252610,useless=591356), ccks=1100059935, wck=135.59, mem=89M945
177.46/171.72 decisions=22041, wrong=10780, backtracks=230, failedAssignments=10550, nogoods=1518
177.46/171.72
193.32/187.54 num=49, depth=6..9, filters=753732, revisions=(1417638,useless=672941), ccks=1197450444, wck=151.41, mem=122M78
193.32/187.54 decisions=24360, wrong=11936, backtracks=322, failedAssignments=11617, nogoods=1578
193.32/187.54
205.10/199.28 num=50, depth=9..11, filters=828428, revisions=(1563584,useless=744067), ccks=1268822096, wck=163.145, mem=121M702
205.10/199.28 decisions=26846, wrong=13174, backtracks=388, failedAssignments=12790, nogoods=1602
205.10/199.28
216.73/210.89 num=51, depth=6..7, filters=908795, revisions=(1708074,useless=808138), ccks=1339691590, wck=174.764, mem=100M305
216.73/210.89 decisions=29481, wrong=14488, backtracks=411, failedAssignments=14081, nogoods=1652
216.73/210.89
237.02/231.08 num=52, depth=6..8, filters=1008651, revisions=(1897125,useless=898630), ccks=1462504101, wck=194.951, mem=57M366
237.02/231.08 decisions=32381, wrong=15934, backtracks=437, failedAssignments=15501, nogoods=1710
237.02/231.08
258.24/252.19 num=53, depth=6..7, filters=1082816, revisions=(2015366,useless=942683), ccks=1595125659, wck=216.062, mem=102M366
258.24/252.19 decisions=35554, wrong=17517, backtracks=458, failedAssignments=17063, nogoods=1782
258.24/252.19
276.71/270.55 num=54, depth=5..7, filters=1197944, revisions=(2237446,useless=1051039), ccks=1705724270, wck=234.423, mem=86M737
276.71/270.55 decisions=39188, wrong=19331, backtracks=555, failedAssignments=18781, nogoods=1821
276.71/270.55
297.29/291.01 num=55, depth=6..7, filters=1323371, revisions=(2470473,useless=1160193), ccks=1824992293, wck=254.876, mem=84M22
297.29/291.01 decisions=43059, wrong=21263, backtracks=597, failedAssignments=20671, nogoods=1885
297.29/291.01
316.08/309.78 num=56, depth=6..10, filters=1449081, revisions=(2730641,useless=1294961), ccks=1935136418, wck=273.645, mem=82M928
316.08/309.78 decisions=47503, wrong=23481, backtracks=741, failedAssignments=22750, nogoods=1906
316.08/309.78
345.49/339.05 num=57, depth=7..9, filters=1617510, revisions=(3040330,useless=1438167), ccks=2111758077, wck=302.918, mem=103M257
345.49/339.05 decisions=52436, wrong=25943, backtracks=925, failedAssignments=25037, nogoods=1930
345.49/339.05
367.27/360.70 num=58, depth=5..8, filters=1766387, revisions=(3297843,useless=1548989), ccks=2243540128, wck=324.574, mem=102M179
367.27/360.70 decisions=57615, wrong=28529, backtracks=996, failedAssignments=27553, nogoods=1953
367.27/360.70
408.19/401.51 num=59, depth=6..8, filters=1967256, revisions=(3682747,useless=1735586), ccks=2490631466, wck=365.381, mem=94M717
408.19/401.51 decisions=63361, wrong=31399, backtracks=1099, failedAssignments=30321, nogoods=2036
408.19/401.51
437.10/430.34 num=60, depth=6..7, filters=2135864, revisions=(3987079,useless=1871024), ccks=2655841074, wck=394.206, mem=94M742
437.10/430.34 decisions=69580, wrong=34505, backtracks=1161, failedAssignments=33365, nogoods=2196
437.10/430.34
471.12/464.29 num=61, depth=7..49, filters=2390673, revisions=(4539471,useless=2171233), ccks=2850148737, wck=428.156, mem=72M347
471.12/464.29 decisions=76541, wrong=37964, backtracks=1273, failedAssignments=36714, nogoods=2310
471.12/464.29
518.55/511.55 num=62, depth=8..11, filters=2653134, revisions=(4997524,useless=2369980), ccks=3127781967, wck=475.425, mem=77M728
518.55/511.55 decisions=84464, wrong=41921, backtracks=1557, failedAssignments=40398, nogoods=2396
518.55/511.55
546.75/539.68 num=63, depth=5..7, filters=2882957, revisions=(5418533,useless=2565192), ccks=3278512066, wck=503.55, mem=67M73
546.75/539.68 decisions=92793, wrong=46082, backtracks=1667, failedAssignments=44450, nogoods=2418
546.75/539.68
580.36/573.15 num=64, depth=6..7, filters=3119457, revisions=(5849268,useless=2763832), ccks=3462927838, wck=537.021, mem=92M758
580.36/573.15 decisions=101926, wrong=50645, backtracks=1773, failedAssignments=48907, nogoods=2622
580.36/573.15
653.90/646.57 num=65, depth=6..8, filters=3484292, revisions=(6527998,useless=3082177), ccks=3882482048, wck=610.437, mem=66M61
653.90/646.57 decisions=112075, wrong=55716, backtracks=1941, failedAssignments=53810, nogoods=2888
653.90/646.57
710.94/703.49 num=66, depth=6..8, filters=3716610, revisions=(6939241,useless=3261063), ccks=4223818436, wck=667.361, mem=89M640
710.94/703.49 decisions=123208, wrong=61279, backtracks=2111, failedAssignments=59204, nogoods=3125
710.94/703.49
787.02/779.32 num=67, depth=5..8, filters=4087766, revisions=(7616849,useless=3572861), ccks=4669383265, wck=743.185, mem=99M307
787.02/779.32 decisions=135412, wrong=67377, backtracks=2277, failedAssignments=65137, nogoods=3170
787.02/779.32
864.78/856.95 num=68, depth=6..8, filters=4507457, revisions=(8376434,useless=3915625), ccks=5123156359, wck=820.82, mem=90M767
864.78/856.95 decisions=149456, wrong=74395, backtracks=2791, failedAssignments=71663, nogoods=3195
864.78/856.95
945.96/937.90 num=69, depth=5..7, filters=5003350, revisions=(9363761,useless=4413836), ccks=5578299407, wck=901.77, mem=102M556
945.96/937.90 decisions=164369, wrong=81848, backtracks=3067, failedAssignments=78842, nogoods=3257
945.96/937.90
1060.95/1052.72 num=70, depth=6..7, filters=5539407, revisions=(10300047,useless=4822019), ccks=6254977345, wck=1016.587, mem=56M599
1060.95/1052.72 decisions=180502, wrong=89911, backtracks=3233, failedAssignments=86739, nogoods=3490
1060.95/1052.72
1134.42/1126.05 num=71, depth=5..8, filters=6038285, revisions=(11141142,useless=5171639), ccks=6662289438, wck=1089.923, mem=88M734
1134.42/1126.05 decisions=198227, wrong=98770, backtracks=3407, failedAssignments=95426, nogoods=3494
1134.42/1126.05
1268.27/1259.61 num=72, depth=5..8, filters=6653925, revisions=(12297408,useless=5720687), ccks=7452485944, wck=1223.479, mem=55M595
1268.27/1259.61 decisions=217912, wrong=108609, backtracks=3693, failedAssignments=104981, nogoods=3617
1268.27/1259.61
1452.82/1443.99 num=73, depth=7..36, filters=7475819, revisions=(14035445,useless=6643983), ccks=8543062582, wck=1407.855, mem=75M974
1452.82/1443.99 decisions=239292, wrong=119290, backtracks=3864, failedAssignments=115492, nogoods=3780
1452.82/1443.99
1598.26/1589.17 num=74, depth=8..18, filters=8476780, revisions=(15980213,useless=7597475), ccks=9379378773, wck=1553.044, mem=103M798
1598.26/1589.17 decisions=263794, wrong=131533, backtracks=4555, failedAssignments=127054, nogoods=4208
1598.26/1589.17
1729.56/1720.28 num=75, depth=8..19, filters=9408219, revisions=(17567194,useless=8264409), ccks=10139350767, wck=1684.146, mem=89M992
1729.56/1720.28 decisions=289813, wrong=144534, backtracks=4839, failedAssignments=139772, nogoods=4270
1729.56/1720.28
1863.09/1853.56 num=76, depth=8..18, filters=10441134, revisions=(19535847,useless=9212768), ccks=10897562933, wck=1817.427, mem=81M477
1863.09/1853.56 decisions=318468, wrong=158853, backtracks=5172, failedAssignments=153762, nogoods=4405
1863.09/1853.56
2050.87/2041.02 num=77, depth=8..19, filters=11668633, revisions=(21594525,useless=10057649), ccks=11991536000, wck=2004.89, mem=98M639
2050.87/2041.02 decisions=349699, wrong=174460, backtracks=5392, failedAssignments=169151, nogoods=4679
2050.87/2041.02
2328.18/2318.08 num=78, depth=10..18, filters=12919676, revisions=(24104569,useless=11317707), ccks=13639100138, wck=2281.95, mem=59M140
2328.18/2318.08 decisions=384475, wrong=191842, backtracks=5848, failedAssignments=186079, nogoods=4962
2328.18/2318.08
2483.12/2472.70 num=79, depth=9..20, filters=13985948, revisions=(25903703,useless=12061564), ccks=14539066666, wck=2436.575, mem=75M248
2483.12/2472.70 decisions=423473, wrong=211332, backtracks=6721, failedAssignments=204700, nogoods=5121
2483.12/2472.70
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 (9182 MiB free)
memory of node 1: 16384 MiB (15169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390510-1568385563/watcher-4390510-1568385563 -o /tmp/evaluation-result-4390510-1568385563/solver-4390510-1568385563 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568376300-2211 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390510-1568385563.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
Current StackSize limit: 8192 KiB
solver pid=3411, runsolver pid=3408
[startup+0.100573 s]*
/proc/loadavg: 1.81 1.81 1.84 7/227 3426
/proc/meminfo: memFree=24914424/32770624 swapFree=66977616/67108860
[pid=3411] ppid=3408 vsize=10659884 memory=28196 CPUtime=0.12 cores=0,2,4,6
/proc/3411/stat : 3411 (java) S 3408 3411 2180 0 -1 1077944320 5491 0 0 0 11 1 0 0 20 0 15 0 414813590 10915721216 7049 33554432000 4194304 4196468 140726177567664 140726177550208 140659355328247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
/proc/3411/statm: 2664971 7049 2903 1 0 2627468 0
[pid=3411/tid=3413] ppid=3408 vsize=10659884 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/3411/task/3413/stat : 3413 (java) R 3408 3411 2180 0 -1 4202560 3348 0 0 0 8 0 0 0 20 0 15 0 414813590 10915721216 7049 33554432000 4194304 4196468 140726177567664 140659359557312 140659355340182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3414] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3414/stat : 3414 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 7049 33554432000 4194304 4196468 140726177567664 140659307948816 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3415] ppid=3408 vsize=10659884 memory=3690051290450892448 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3415/stat : 3415 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658961210256 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3416] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3416/stat : 3416 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658960157712 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3417] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3417/stat : 3417 (java) S 3408 3411 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658959105168 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3418] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3418/stat : 3418 (java) S 3408 3411 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813592 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658914527216 140659355339394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3419] ppid=3408 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3419/stat : 3419 (java) S 3408 3411 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813593 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658913473440 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3420] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3420/stat : 3420 (java) S 3408 3411 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813593 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658912420848 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3421] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813595 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658911369424 140659355346843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3422] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3422/stat : 3422 (java) R 3408 3411 2180 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 15 0 414813595 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658910317040 140659338503852 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3423] ppid=3408 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3423/stat : 3423 (java) R 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813595 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658909264496 140659355339394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3424] ppid=3408 vsize=10659884 memory=140616713901696 CPUtime=0.02 cores=0,2,4,6
/proc/3411/task/3424/stat : 3424 (java) R 3408 3411 2180 0 -1 4202560 322 0 0 0 2 0 0 0 20 0 15 0 414813595 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658908211952 140659333339040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3425] ppid=3408 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3425/stat : 3425 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813596 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658907159648 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3426] ppid=3408 vsize=10659884 memory=140616713901696 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3426/stat : 3426 (java) R 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813596 10915721216 7049 33554432000 4194304 4196468 140726177567664 140658906106160 140659355339394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28196 KiB
[startup+0.210548 s]*
/proc/loadavg: 1.81 1.81 1.84 6/227 3426
/proc/meminfo: memFree=24892820/32770624 swapFree=66977616/67108860
[pid=3411] ppid=3408 vsize=10659884 memory=36332 CPUtime=0.33 cores=0,2,4,6
/proc/3411/stat : 3411 (java) S 3408 3411 2180 0 -1 1077944320 6900 0 0 0 31 2 0 0 20 0 15 0 414813590 10915721216 9083 33554432000 4194304 4196468 140726177567664 140726177550208 140659355328247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
/proc/3411/statm: 2664971 9083 2989 1 0 2627468 0
[pid=3411/tid=3413] ppid=3408 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3411/task/3413/stat : 3413 (java) R 3408 3411 2180 0 -1 4202560 3855 0 0 0 19 1 0 0 20 0 15 0 414813590 10915721216 9083 33554432000 4194304 4196468 140726177567664 140659359560208 140659355350173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3414] ppid=3408 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3414/stat : 3414 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 9083 33554432000 4194304 4196468 140726177567664 140659307948816 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3415] ppid=3408 vsize=10659884 memory=140616716743800 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3415/stat : 3415 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658961210256 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3416] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3416/stat : 3416 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658960157712 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3417] ppid=3408 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3417/stat : 3417 (java) S 3408 3411 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658959105168 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3418] ppid=3408 vsize=10659884 memory=140616713901696 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3418/stat : 3418 (java) S 3408 3411 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813592 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658914527216 140659355339394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3419] ppid=3408 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3419/stat : 3419 (java) S 3408 3411 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813593 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658913473440 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3420] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3420/stat : 3420 (java) S 3408 3411 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813593 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658912420848 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3421] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813595 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658911369424 140659355346843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3422] ppid=3408 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3411/task/3422/stat : 3422 (java) S 3408 3411 2180 0 -1 1077944384 674 0 0 0 3 0 0 0 20 0 15 0 414813595 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658910317040 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3423] ppid=3408 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3411/task/3423/stat : 3423 (java) S 3408 3411 2180 0 -1 1077944384 260 0 0 0 3 0 0 0 20 0 15 0 414813595 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658909264496 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3424] ppid=3408 vsize=10659884 memory=140616713901696 CPUtime=0.05 cores=0,2,4,6
/proc/3411/task/3424/stat : 3424 (java) S 3408 3411 2180 0 -1 1077944384 752 0 0 0 5 0 0 0 20 0 15 0 414813595 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658908211952 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3425] ppid=3408 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3425/stat : 3425 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813596 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658907159648 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3426] ppid=3408 vsize=10659884 memory=140616713901696 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3426/stat : 3426 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813596 10915721216 9083 33554432000 4194304 4196468 140726177567664 140658906106160 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36332 KiB
[startup+0.312155 s]*
/proc/loadavg: 1.81 1.81 1.84 7/227 3426
/proc/meminfo: memFree=24874216/32770624 swapFree=66977616/67108860
[pid=3411] ppid=3408 vsize=10659884 memory=41396 CPUtime=0.47 cores=0,2,4,6
/proc/3411/stat : 3411 (java) S 3408 3411 2180 0 -1 1077944320 9408 0 0 0 43 4 0 0 20 0 15 0 414813590 10915721216 10349 33554432000 4194304 4196468 140726177567664 140726177550208 140659355328247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
/proc/3411/statm: 2664971 10349 3001 1 0 2627468 0
[pid=3411/tid=3413] ppid=3408 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/3411/task/3413/stat : 3413 (java) R 3408 3411 2180 0 -1 4202560 6297 0 0 0 27 3 0 0 20 0 15 0 414813590 10915721216 10364 33554432000 4194304 4196468 140726177567664 140659359561040 140659339408734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3414] ppid=3408 vsize=10659884 memory=4296865450 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3414/stat : 3414 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 10364 33554432000 4194304 4196468 140726177567664 140659307948816 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3415] ppid=3408 vsize=10659884 memory=140616716743799 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3415/stat : 3415 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658961210256 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3416] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3416/stat : 3416 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658960157712 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3417] ppid=3408 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3417/stat : 3417 (java) S 3408 3411 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813591 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658959105168 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3418] ppid=3408 vsize=10659884 memory=140616713901696 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3418/stat : 3418 (java) S 3408 3411 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813592 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658914527216 140659355339394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3419] ppid=3408 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3419/stat : 3419 (java) S 3408 3411 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813593 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658913473440 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3420] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3420/stat : 3420 (java) S 3408 3411 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813593 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658912420848 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3421] ppid=3408 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813595 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658911369424 140659355346843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3422] ppid=3408 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3411/task/3422/stat : 3422 (java) S 3408 3411 2180 0 -1 1077944384 715 0 0 0 4 0 0 0 20 0 15 0 414813595 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658910317040 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3423] ppid=3408 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/3411/task/3423/stat : 3423 (java) S 3408 3411 2180 0 -1 1077944384 268 0 0 0 3 0 0 0 20 0 15 0 414813595 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658909264496 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3424] ppid=3408 vsize=10659884 memory=140616713901696 CPUtime=0.07 cores=0,2,4,6
/proc/3411/task/3424/stat : 3424 (java) R 3408 3411 2180 0 -1 1077944384 773 0 0 0 7 0 0 0 20 0 15 0 414813595 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658908211952 140659355339394 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3425] ppid=3408 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3425/stat : 3425 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813596 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658907159648 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3426] ppid=3408 vsize=10659884 memory=140616713901696 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3426/stat : 3426 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813596 10915721216 10364 33554432000 4194304 4196468 140726177567664 140658906106160 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 41396 KiB
[startup+0.700752 s]
/proc/loadavg: 1.81 1.81 1.84 4/227 3426
/proc/meminfo: memFree=24840664/32770624 swapFree=66977616/67108860
[pid=3411] ppid=3408 vsize=10661932 memory=64772 CPUtime=1.1 cores=0,2,4,6
/proc/3411/stat : 3411 (java) S 3408 3411 2180 0 -1 1077944320 13053 0 0 0 103 7 0 0 20 0 15 0 414813590 10917818368 16193 33554432000 4194304 4196468 140726177567664 140726177550208 140659355328247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
/proc/3411/statm: 2665483 16193 3062 1 0 2627980 0
[pid=3411/tid=3413] ppid=3408 vsize=10661932 memory=39872 CPUtime=0.68 cores=0,2,4,6
/proc/3411/task/3413/stat : 3413 (java) R 3408 3411 2180 0 -1 4202560 8842 0 0 0 63 5 0 0 20 0 15 0 414813590 10917818368 16193 33554432000 4194304 4196468 140726177567664 140659359549584 140659355340182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3414] ppid=3408 vsize=10661932 memory=988 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3414/stat : 3414 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10917818368 16193 33554432000 4194304 4196468 140726177567664 140659307948816 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3415] ppid=3408 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3415/stat : 3415 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658961210256 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3416] ppid=3408 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3416/stat : 3416 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658960157712 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3417] ppid=3408 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3417/stat : 3417 (java) S 3408 3411 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813591 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658959105168 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3418] ppid=3408 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3418/stat : 3418 (java) S 3408 3411 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813592 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658914527216 140659355339394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3419] ppid=3408 vsize=10661932 memory=298 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3419/stat : 3419 (java) S 3408 3411 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414813593 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658913473440 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3420] ppid=3408 vsize=10661932 memory=236129 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3420/stat : 3420 (java) S 3408 3411 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414813593 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658912420848 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3421] ppid=3408 vsize=10661932 memory=1 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813595 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658911369424 140659355346843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3422] ppid=3408 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/3411/task/3422/stat : 3422 (java) S 3408 3411 2180 0 -1 1077944384 995 0 0 0 11 0 0 0 20 0 15 0 414813595 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658910317040 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3423] ppid=3408 vsize=10661932 memory=10 CPUtime=0.1 cores=0,2,4,6
/proc/3411/task/3423/stat : 3423 (java) R 3408 3411 2180 0 -1 4202560 577 0 0 0 10 0 0 0 20 0 15 0 414813595 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658909264496 140659348313289 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3424] ppid=3408 vsize=10661932 memory=651 CPUtime=0.18 cores=0,2,4,6
/proc/3411/task/3424/stat : 3424 (java) S 3408 3411 2180 0 -1 1077944384 1280 0 0 0 18 0 0 0 20 0 15 0 414813595 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658908211952 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3425] ppid=3408 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3425/stat : 3425 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414813596 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658907159648 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3426] ppid=3408 vsize=10661932 memory=4 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3426/stat : 3426 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813596 10917818368 16193 33554432000 4194304 4196468 140726177567664 140658906106160 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64772 KiB
[startup+1.50075 s]
/proc/loadavg: 1.81 1.81 1.84 3/227 3426
/proc/meminfo: memFree=24791640/32770624 swapFree=66977616/67108860
[pid=3411] ppid=3408 vsize=10663980 memory=77060 CPUtime=1.99 cores=0,2,4,6
/proc/3411/stat : 3411 (java) S 3408 3411 2180 0 -1 1077944320 16642 0 0 0 191 8 0 0 20 0 15 0 414813590 10919915520 19265 33554432000 4194304 4196468 140726177567664 140726177550208 140659355328247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
/proc/3411/statm: 2665995 19265 3091 1 0 2628492 0
[pid=3411/tid=3413] ppid=3408 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/3411/task/3413/stat : 3413 (java) R 3408 3411 2180 0 -1 4202560 11572 0 0 0 141 6 0 0 20 0 15 0 414813590 10919915520 19265 33554432000 4194304 4196468 140726177567664 140659359550608 140659336701784 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3414] ppid=3408 vsize=10663980 memory=39872 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3414/stat : 3414 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10919915520 19265 33554432000 4194304 4196468 140726177567664 140659307948816 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3415] ppid=3408 vsize=10663980 memory=988 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3415/stat : 3415 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10919915520 19265 33554432000 4194304 4196468 140726177567664 140658961210256 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3416] ppid=3408 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3416/stat : 3416 (java) S 3408 3411 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414813591 10919915520 19265 33554432000 4194304 4196468 140726177567664 140658960157712 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3417] ppid=3408 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3417/stat : 3417 (java) S 3408 3411 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414813591 10919915520 19265 33554432000 4194304 4196468 140726177567664 140658959105168 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3418] ppid=3408 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3418/stat : 3418 (java) S 3408 3411 2180 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 414813592 10919915520 19265 33554432000 4194304 4196468 140726177567664 140658914527216 140659355339394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
################
# More data... #
################
/proc/3411/task/3417/stat : 3417 (java) S 3408 3411 2180 0 -1 1077944384 2345 0 0 0 156 6 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658959105168 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3418] ppid=3408 vsize=10748324 memory=229912 CPUtime=0.82 cores=0,2,4,6
/proc/3411/task/3418/stat : 3418 (java) S 3408 3411 2180 0 -1 1077944384 5065 0 0 0 77 5 0 0 20 0 16 0 414813592 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658914527216 140659355339394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3419] ppid=3408 vsize=10748324 memory=229912 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3419/stat : 3419 (java) S 3408 3411 2180 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 414813593 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658913473504 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3420] ppid=3408 vsize=10748324 memory=229912 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3420/stat : 3420 (java) S 3408 3411 2180 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414813593 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658912420864 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3421] ppid=3408 vsize=10748324 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658911369424 140659355346843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3422] ppid=3408 vsize=10748324 memory=1112 CPUtime=2.08 cores=0,2,4,6
/proc/3411/task/3422/stat : 3422 (java) S 3408 3411 2180 0 -1 1077944384 14425 0 0 0 206 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658910317040 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3423] ppid=3408 vsize=10748324 memory=229912 CPUtime=2.4 cores=0,2,4,6
/proc/3411/task/3423/stat : 3423 (java) S 3408 3411 2180 0 -1 1077944384 16718 0 0 0 238 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658909264496 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3424] ppid=3408 vsize=10748324 memory=2628 CPUtime=0.87 cores=0,2,4,6
/proc/3411/task/3424/stat : 3424 (java) S 3408 3411 2180 0 -1 1077944384 12475 0 0 0 85 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658908211952 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3425] ppid=3408 vsize=10748324 memory=229912 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3425/stat : 3425 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813596 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658907159648 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3426] ppid=3408 vsize=10748324 memory=8112282956445269571 CPUtime=0.68 cores=0,2,4,6
/proc/3411/task/3426/stat : 3426 (java) S 3408 3411 2180 0 -1 1077944384 803 0 0 0 29 39 0 0 20 0 16 0 414813596 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658906106160 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3427] ppid=3408 vsize=10748324 memory=3320 CPUtime=2437.35 cores=0,2,4,6
/proc/3411/task/3427/stat : 3427 (java) R 3408 3411 2180 0 -1 4202560 20073 0 0 0 243729 6 0 0 20 0 16 0 414813778 11006283776 57478 33554432000 4194304 4196468 140726177567664 140657990352080 140658992785906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
Current children cumulated CPU time: 2452.68 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 229912 KiB
[startup+2502.3 s]
/proc/loadavg: 1.64 1.83 1.81 3/229 3771
/proc/meminfo: memFree=26222372/32770624 swapFree=66977616/67108860
[pid=3411] ppid=3408 vsize=10748324 memory=229912 CPUtime=2512.79 cores=0,2,4,6
/proc/3411/stat : 3411 (java) S 3408 3411 2180 0 -1 1077944320 99311 0 0 0 251206 73 0 0 20 0 16 0 414813590 11006283776 57478 33554432000 4194304 4196468 140726177567664 140726177550208 140659355328247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
/proc/3411/statm: 2687081 57478 3378 1 0 2647217 0
[pid=3411/tid=3413] ppid=3408 vsize=10748324 memory=229912 CPUtime=1.86 cores=0,2,4,6
/proc/3411/task/3413/stat : 3413 (java) S 3408 3411 2180 0 -1 1077944384 13105 0 0 0 179 7 0 0 20 0 16 0 414813590 11006283776 57478 33554432000 4194304 4196468 140726177567664 140659359571120 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3414] ppid=3408 vsize=10748324 memory=229912 CPUtime=1.68 cores=0,2,4,6
/proc/3411/task/3414/stat : 3414 (java) S 3408 3411 2180 0 -1 1077944384 4009 0 0 0 161 7 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140659307948816 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3415] ppid=3408 vsize=10748324 memory=229912 CPUtime=1.67 cores=0,2,4,6
/proc/3411/task/3415/stat : 3415 (java) S 3408 3411 2180 0 -1 1077944384 5129 0 0 0 161 6 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658961210256 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3416] ppid=3408 vsize=10748324 memory=229912 CPUtime=1.67 cores=0,2,4,6
/proc/3411/task/3416/stat : 3416 (java) S 3408 3411 2180 0 -1 1077944384 2867 0 0 0 161 6 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658960157712 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3417] ppid=3408 vsize=10748324 memory=229912 CPUtime=1.66 cores=0,2,4,6
/proc/3411/task/3417/stat : 3417 (java) S 3408 3411 2180 0 -1 1077944384 2656 0 0 0 160 6 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658959105168 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3418] ppid=3408 vsize=10748324 memory=229912 CPUtime=0.84 cores=0,2,4,6
/proc/3411/task/3418/stat : 3418 (java) S 3408 3411 2180 0 -1 1077944384 5246 0 0 0 79 5 0 0 20 0 16 0 414813592 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658914527216 140659355339394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3419] ppid=3408 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3419/stat : 3419 (java) S 3408 3411 2180 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 414813593 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658913473504 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3420] ppid=3408 vsize=10748324 memory=229912 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3420/stat : 3420 (java) S 3408 3411 2180 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414813593 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658912420864 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3421] ppid=3408 vsize=10748324 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658911369424 140659355346843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3422] ppid=3408 vsize=10748324 memory=3320 CPUtime=2.08 cores=0,2,4,6
/proc/3411/task/3422/stat : 3422 (java) S 3408 3411 2180 0 -1 1077944384 14427 0 0 0 206 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658910317040 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3423] ppid=3408 vsize=10748324 memory=229912 CPUtime=2.4 cores=0,2,4,6
/proc/3411/task/3423/stat : 3423 (java) S 3408 3411 2180 0 -1 1077944384 16720 0 0 0 238 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658909264496 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3424] ppid=3408 vsize=10748324 memory=3616 CPUtime=0.87 cores=0,2,4,6
/proc/3411/task/3424/stat : 3424 (java) S 3408 3411 2180 0 -1 1077944384 12477 0 0 0 85 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658908211952 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3425] ppid=3408 vsize=10748324 memory=229912 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3425/stat : 3425 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813596 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658907159648 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3426] ppid=3408 vsize=10748324 memory=988 CPUtime=0.7 cores=0,2,4,6
/proc/3411/task/3426/stat : 3426 (java) S 3408 3411 2180 0 -1 1077944384 822 0 0 0 30 40 0 0 20 0 16 0 414813596 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658906106160 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3427] ppid=3408 vsize=10748324 memory=229912 CPUtime=2497.27 cores=0,2,4,6
/proc/3411/task/3427/stat : 3427 (java) R 3408 3411 2180 0 -1 4202560 20449 0 0 0 249721 6 0 0 20 0 16 0 414813778 11006283776 57478 33554432000 4194304 4196468 140726177567664 140657990351968 140658996447029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
Current children cumulated CPU time: 2512.79 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 229912 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.5 s]
/proc/loadavg: 1.59 1.81 1.81 3/229 3771
/proc/meminfo: memFree=26222084/32770624 swapFree=66977616/67108860
[pid=3411] ppid=3408 vsize=10748324 memory=229912 CPUtime=2520.02 cores=0,2,4,6
/proc/3411/stat : 3411 (java) S 3408 3411 2180 0 -1 1077944320 99316 0 0 0 251929 73 0 0 20 0 16 0 414813590 11006283776 57478 33554432000 4194304 4196468 140726177567664 140726177550208 140659355328247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
/proc/3411/statm: 2687081 57478 3378 1 0 2647217 0
[pid=3411/tid=3413] ppid=3408 vsize=10748324 memory=229912 CPUtime=1.86 cores=0,2,4,6
/proc/3411/task/3413/stat : 3413 (java) S 3408 3411 2180 0 -1 1077944384 13105 0 0 0 179 7 0 0 20 0 16 0 414813590 11006283776 57478 33554432000 4194304 4196468 140726177567664 140659359571120 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3414] ppid=3408 vsize=10748324 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/3411/task/3414/stat : 3414 (java) S 3408 3411 2180 0 -1 1077944384 4009 0 0 0 162 7 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140659307948816 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3415] ppid=3408 vsize=10748324 memory=229912 CPUtime=1.68 cores=0,2,4,6
/proc/3411/task/3415/stat : 3415 (java) S 3408 3411 2180 0 -1 1077944384 5129 0 0 0 162 6 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658961210256 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3416] ppid=3408 vsize=10748324 memory=0 CPUtime=1.68 cores=0,2,4,6
/proc/3411/task/3416/stat : 3416 (java) S 3408 3411 2180 0 -1 1077944384 2867 0 0 0 162 6 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658960157712 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3417] ppid=3408 vsize=10748324 memory=288287787869012828 CPUtime=1.67 cores=0,2,4,6
/proc/3411/task/3417/stat : 3417 (java) S 3408 3411 2180 0 -1 1077944384 2656 0 0 0 161 6 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658959105168 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3418] ppid=3408 vsize=10748324 memory=55 CPUtime=0.84 cores=0,2,4,6
/proc/3411/task/3418/stat : 3418 (java) S 3408 3411 2180 0 -1 1077944384 5246 0 0 0 79 5 0 0 20 0 16 0 414813592 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658914527216 140659355339394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3419] ppid=3408 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3419/stat : 3419 (java) S 3408 3411 2180 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 414813593 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658913473504 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3420] ppid=3408 vsize=10748324 memory=281233116670784 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3420/stat : 3420 (java) S 3408 3411 2180 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414813593 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658912420864 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3421] ppid=3408 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658911369424 140659355346843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3422] ppid=3408 vsize=10748324 memory=229912 CPUtime=2.08 cores=0,2,4,6
/proc/3411/task/3422/stat : 3422 (java) S 3408 3411 2180 0 -1 1077944384 14427 0 0 0 206 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658910317040 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3423] ppid=3408 vsize=10748324 memory=229912 CPUtime=2.4 cores=0,2,4,6
/proc/3411/task/3423/stat : 3423 (java) S 3408 3411 2180 0 -1 1077944384 16720 0 0 0 238 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658909264496 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3424] ppid=3408 vsize=10748324 memory=229912 CPUtime=0.87 cores=0,2,4,6
/proc/3411/task/3424/stat : 3424 (java) S 3408 3411 2180 0 -1 1077944384 12477 0 0 0 85 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658908211952 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3425] ppid=3408 vsize=10748324 memory=229912 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3425/stat : 3425 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813596 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658907159648 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3426] ppid=3408 vsize=10748324 memory=229912 CPUtime=0.7 cores=0,2,4,6
/proc/3411/task/3426/stat : 3426 (java) S 3408 3411 2180 0 -1 1077944384 822 0 0 0 30 40 0 0 20 0 16 0 414813596 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658906106160 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3427] ppid=3408 vsize=10748324 memory=229912 CPUtime=2504.45 cores=0,2,4,6
/proc/3411/task/3427/stat : 3427 (java) R 3408 3411 2180 0 -1 4202560 20454 0 0 0 250439 6 0 0 20 0 16 0 414813778 11006283776 57478 33554432000 4194304 4196468 140726177567664 140657990352080 140658996447532 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 229912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.51 s]
# the end of solver process 3411 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.3 s, system=0.737276 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.5 s]
/proc/loadavg: 1.59 1.81 1.81 3/229 3771
/proc/meminfo: memFree=26222084/32770624 swapFree=66977616/67108860
[pid=3411] ppid=3408 vsize=10748324 memory=229912 CPUtime=2520.02 cores=0,2,4,6
/proc/3411/stat : 3411 (java) S 3408 3411 2180 0 -1 1077944320 99316 0 0 0 251929 73 0 0 20 0 16 0 414813590 11006283776 57478 33554432000 4194304 4196468 140726177567664 140726177550208 140659355328247 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
/proc/3411/statm: 2687081 57478 3378 1 0 2647217 0
[pid=3411/tid=3413] ppid=3408 vsize=10748324 memory=229912 CPUtime=1.86 cores=0,2,4,6
/proc/3411/task/3413/stat : 3413 (java) S 3408 3411 2180 0 -1 1077944384 13105 0 0 0 179 7 0 0 20 0 16 0 414813590 11006283776 57478 33554432000 4194304 4196468 140726177567664 140659359571120 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3414] ppid=3408 vsize=10748324 memory=0 CPUtime=1.69 cores=0,2,4,6
/proc/3411/task/3414/stat : 3414 (java) S 3408 3411 2180 0 -1 1077944384 4009 0 0 0 162 7 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140659307948816 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3415] ppid=3408 vsize=10748324 memory=229912 CPUtime=1.68 cores=0,2,4,6
/proc/3411/task/3415/stat : 3415 (java) S 3408 3411 2180 0 -1 1077944384 5129 0 0 0 162 6 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658961210256 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3416] ppid=3408 vsize=10748324 memory=0 CPUtime=1.68 cores=0,2,4,6
/proc/3411/task/3416/stat : 3416 (java) S 3408 3411 2180 0 -1 1077944384 2867 0 0 0 162 6 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658960157712 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3417] ppid=3408 vsize=10748324 memory=288287787869012828 CPUtime=1.67 cores=0,2,4,6
/proc/3411/task/3417/stat : 3417 (java) S 3408 3411 2180 0 -1 1077944384 2656 0 0 0 161 6 0 0 20 0 16 0 414813591 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658959105168 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3418] ppid=3408 vsize=10748324 memory=55 CPUtime=0.84 cores=0,2,4,6
/proc/3411/task/3418/stat : 3418 (java) S 3408 3411 2180 0 -1 1077944384 5246 0 0 0 79 5 0 0 20 0 16 0 414813592 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658914527216 140659355339394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3419] ppid=3408 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3419/stat : 3419 (java) S 3408 3411 2180 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 16 0 414813593 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658913473504 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3420] ppid=3408 vsize=10748324 memory=281233116670784 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3420/stat : 3420 (java) S 3408 3411 2180 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414813593 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658912420864 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3421] ppid=3408 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3421/stat : 3421 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658911369424 140659355346843 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3422] ppid=3408 vsize=10748324 memory=229912 CPUtime=2.08 cores=0,2,4,6
/proc/3411/task/3422/stat : 3422 (java) S 3408 3411 2180 0 -1 1077944384 14427 0 0 0 206 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658910317040 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3423] ppid=3408 vsize=10748324 memory=229912 CPUtime=2.4 cores=0,2,4,6
/proc/3411/task/3423/stat : 3423 (java) S 3408 3411 2180 0 -1 1077944384 16720 0 0 0 238 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658909264496 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3424] ppid=3408 vsize=10748324 memory=229912 CPUtime=0.87 cores=0,2,4,6
/proc/3411/task/3424/stat : 3424 (java) S 3408 3411 2180 0 -1 1077944384 12477 0 0 0 85 2 0 0 20 0 16 0 414813595 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658908211952 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3425] ppid=3408 vsize=10748324 memory=229912 CPUtime=0 cores=0,2,4,6
/proc/3411/task/3425/stat : 3425 (java) S 3408 3411 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414813596 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658907159648 140659355338453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3426] ppid=3408 vsize=10748324 memory=229912 CPUtime=0.7 cores=0,2,4,6
/proc/3411/task/3426/stat : 3426 (java) S 3408 3411 2180 0 -1 1077944384 822 0 0 0 30 40 0 0 20 0 16 0 414813596 11006283776 57478 33554432000 4194304 4196468 140726177567664 140658906106160 140659355339394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
[pid=3411/tid=3427] ppid=3408 vsize=10748324 memory=229912 CPUtime=2504.45 cores=0,2,4,6
/proc/3411/task/3427/stat : 3427 (java) R 3408 3411 2180 0 -1 4202560 20454 0 0 0 250439 6 0 0 20 0 16 0 414813778 11006283776 57478 33554432000 4194304 4196468 140726177567664 140657990352080 140658996447532 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11517952 140726177571851 140726177571954 140726177571954 140726177574863 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 229912 KiB
Child status: 143
Real time (s): 2509.51
CPU time (s): 2520.04
CPU user time (s): 2519.3
CPU system time (s): 0.737276
CPU usage (%): 100.42
Max. virtual memory (cumulated for all children) (KiB): 10748500
Max. memory (cumulated for all children) (KiB): 304364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.3
system time used= 0.737276
maximum resident set size= 304484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99644
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76879
involuntary context switches= 3180
# summary of solver processes directly reported to runsolver:
# pid: 3411
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.3
# total CPU system time (s): 0.737276
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8559 second user time and 23.7152 second system time
The end