2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.89
2.94/2.09 Instance
2.94/2.09 name=instance-4390655-1568388054, framework=CSP
2.94/2.09
2.94/2.09 Loading variables...
3.31/2.14 Loading constraints...
4.34/2.47
4.34/2.47 Domains
4.34/2.47 nTypes=29, nValues=4582, sizes=[65#2,66#2,67#2,68#2...90#2,91#2,92#2,93#2]
4.34/2.47 Variables
4.34/2.47 count=58, degrees=[28#58]
4.34/2.47 Constraints
4.34/2.47 count=406, arities=[4#406]
4.34/2.47 distribution=[CtrIntension#406]
4.34/2.47 nIntStructures=(406,shared:0)
4.34/2.47 wck=0.62, cpu=2.427, mem=87M289
4.34/2.47 Solver SolverBacktrack being built...
4.34/2.47
4.66/2.50
4.66/2.50 Solver
4.66/2.50 guaranteedGAC=false
4.66/2.50 wck=0.654, cpu=2.459, mem=100M574
4.66/2.50
4.66/2.50 Preprocessing
4.66/2.50 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
4.66/2.50 wck=0.001, cpu=2.461, mem=100M574
4.66/2.50
5.37/2.98 num=0, depth=37..37, filters=573, revisions=(7610,useless=7015), ccks=1150963, wck=0.486, mem=103M216
5.37/2.98 decisions=57, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.37/2.98
5.79/3.31 num=1, depth=24..25, filters=762, revisions=(11917,useless=11110), ccks=1986482, wck=0.812, mem=103M216
5.79/3.31 decisions=105, wrong=22, backtracks=1, failedAssignments=21, nogoods=15
5.79/3.31
6.04/3.59 num=2, depth=37..37, filters=1417, revisions=(19079,useless=17601), ccks=2824714, wck=1.098, mem=103M216
6.04/3.59 decisions=166, wrong=34, backtracks=1, failedAssignments=33, nogoods=27
6.04/3.59
6.36/3.85 num=3, depth=33..33, filters=1796, revisions=(24213,useless=22341), ccks=3646213, wck=1.354, mem=103M216
6.36/3.85 decisions=225, wrong=47, backtracks=1, failedAssignments=46, nogoods=40
6.36/3.85
6.87/4.38 num=4, depth=13..14, filters=1956, revisions=(30145,useless=28108), ccks=5577988, wck=1.883, mem=103M216
6.87/4.38 decisions=269, wrong=62, backtracks=2, failedAssignments=60, nogoods=43
6.87/4.38
7.22/4.63 num=5, depth=11..12, filters=2129, revisions=(35257,useless=33023), ccks=6422644, wck=2.136, mem=103M216
7.22/4.63 decisions=318, wrong=81, backtracks=5, failedAssignments=76, nogoods=57
7.22/4.63
7.42/4.89 num=6, depth=11..11, filters=2269, revisions=(38485,useless=36107), ccks=7336356, wck=2.394, mem=103M216
7.42/4.89 decisions=363, wrong=98, backtracks=5, failedAssignments=93, nogoods=74
7.42/4.89
7.63/5.09 num=7, depth=15..15, filters=2360, revisions=(41968,useless=39496), ccks=8016534, wck=2.594, mem=103M216
7.63/5.09 decisions=416, wrong=117, backtracks=5, failedAssignments=112, nogoods=93
7.63/5.09
8.36/5.77 num=8, depth=12..13, filters=2510, revisions=(46993,useless=44369), ccks=10437468, wck=3.273, mem=103M216
8.36/5.77 decisions=472, wrong=139, backtracks=6, failedAssignments=133, nogoods=105
8.36/5.77
9.36/6.75 num=9, depth=9..10, filters=2674, revisions=(53854,useless=51063), ccks=13953418, wck=4.254, mem=103M216
9.36/6.75 decisions=532, wrong=164, backtracks=8, failedAssignments=156, nogoods=113
9.36/6.75
11.26/8.67 num=10, depth=11..12, filters=2873, revisions=(61327,useless=58324), ccks=20905910, wck=6.176, mem=103M216
11.26/8.67 decisions=595, wrong=190, backtracks=9, failedAssignments=181, nogoods=117
11.26/8.67
11.68/9.03 num=11, depth=11..13, filters=3001, revisions=(65023,useless=61891), ccks=22147617, wck=6.534, mem=103M216
11.68/9.03 decisions=664, wrong=218, backtracks=9, failedAssignments=209, nogoods=145
11.68/9.03
11.97/9.34 num=12, depth=8..16, filters=3163, revisions=(69157,useless=65862), ccks=23218746, wck=6.843, mem=105M859
11.97/9.34 decisions=742, wrong=249, backtracks=9, failedAssignments=240, nogoods=176
11.97/9.34
12.48/9.87 num=13, depth=10..15, filters=3339, revisions=(73428,useless=69956), ccks=25078857, wck=7.37, mem=105M859
12.48/9.87 decisions=825, wrong=283, backtracks=9, failedAssignments=274, nogoods=210
12.48/9.87
12.88/10.22 num=14, depth=9..15, filters=3530, revisions=(79895,useless=76231), ccks=26286398, wck=7.726, mem=105M859
12.88/10.22 decisions=916, wrong=321, backtracks=10, failedAssignments=311, nogoods=232
12.88/10.22
13.58/10.93 num=15, depth=10..11, filters=3944, revisions=(92785,useless=88689), ccks=28687781, wck=8.437, mem=105M859
13.58/10.93 decisions=1013, wrong=364, backtracks=12, failedAssignments=352, nogoods=241
13.58/10.93
15.20/12.53 num=16, depth=14..15, filters=4433, revisions=(106230,useless=101622), ccks=34386098, wck=10.033, mem=105M859
15.20/12.53 decisions=1125, wrong=413, backtracks=16, failedAssignments=397, nogoods=265
15.20/12.53
15.72/13.09 num=17, depth=11..12, filters=4833, revisions=(118143,useless=113118), ccks=36269760, wck=10.595, mem=105M859
15.72/13.09 decisions=1245, wrong=467, backtracks=20, failedAssignments=447, nogoods=274
15.72/13.09
16.91/14.22 num=18, depth=8..17, filters=5139, revisions=(124989,useless=119658), ccks=40307726, wck=11.728, mem=105M859
16.91/14.22 decisions=1374, wrong=523, backtracks=21, failedAssignments=502, nogoods=325
16.91/14.22
17.72/15.01 num=19, depth=11..18, filters=5409, revisions=(132894,useless=127290), ccks=43055197, wck=12.511, mem=105M859
17.72/15.01 decisions=1515, wrong=585, backtracks=22, failedAssignments=563, nogoods=383
17.72/15.01
18.63/15.91 num=20, depth=11..18, filters=5709, revisions=(140610,useless=134704), ccks=46337241, wck=13.412, mem=105M859
18.63/15.91 decisions=1667, wrong=652, backtracks=22, failedAssignments=630, nogoods=450
18.63/15.91
19.43/16.79 num=21, depth=9..10, filters=6326, revisions=(159555,useless=153006), ccks=49302362, wck=14.297, mem=105M859
19.43/16.79 decisions=1839, wrong=733, backtracks=29, failedAssignments=704, nogoods=495
19.43/16.79
20.74/18.02 num=22, depth=14..20, filters=6720, revisions=(168118,useless=161173), ccks=53816147, wck=15.523, mem=105M859
20.74/18.02 decisions=2021, wrong=814, backtracks=29, failedAssignments=785, nogoods=576
20.74/18.02
21.34/18.67 num=23, depth=9..20, filters=7140, revisions=(177377,useless=170010), ccks=56046103, wck=16.175, mem=105M859
21.34/18.67 decisions=2219, wrong=903, backtracks=29, failedAssignments=874, nogoods=665
21.34/18.67
24.75/22.03 num=24, depth=11..12, filters=8025, revisions=(201474,useless=193199), ccks=68081032, wck=19.536, mem=108M501
24.75/22.03 decisions=2456, wrong=1016, backtracks=44, failedAssignments=972, nogoods=727
24.75/22.03
25.76/23.02 num=25, depth=16..21, filters=8567, revisions=(211786,useless=202967), ccks=71651771, wck=20.528, mem=108M501
25.76/23.02 decisions=2693, wrong=1124, backtracks=44, failedAssignments=1080, nogoods=835
25.76/23.02
31.06/28.32 num=26, depth=9..11, filters=9560, revisions=(244852,useless=235006), ccks=90762494, wck=25.821, mem=108M501
31.06/28.32 decisions=2962, wrong=1254, backtracks=55, failedAssignments=1199, nogoods=845
31.06/28.32
31.96/29.21 num=27, depth=9..26, filters=10055, revisions=(256403,useless=246061), ccks=93855573, wck=26.712, mem=108M501
31.96/29.21 decisions=3250, wrong=1385, backtracks=55, failedAssignments=1330, nogoods=976
31.96/29.21
38.97/36.20 num=28, depth=8..10, filters=11099, revisions=(297496,useless=286075), ccks=119061081, wck=33.701, mem=108M501
38.97/36.20 decisions=3580, wrong=1546, backtracks=72, failedAssignments=1474, nogoods=1003
38.97/36.20
40.67/37.96 num=29, depth=13..25, filters=11805, revisions=(312760,useless=300606), ccks=125206153, wck=35.463, mem=108M501
40.67/37.96 decisions=3921, wrong=1704, backtracks=72, failedAssignments=1632, nogoods=1161
40.67/37.96
43.17/40.44 num=30, depth=13..15, filters=13413, revisions=(356640,useless=342794), ccks=133791077, wck=37.944, mem=111M144
43.17/40.44 decisions=4315, wrong=1894, backtracks=89, failedAssignments=1806, nogoods=1177
43.17/40.44
44.67/41.90 num=31, depth=10..26, filters=14073, revisions=(372201,useless=357695), ccks=138858367, wck=39.406, mem=111M144
44.67/41.90 decisions=4724, wrong=2087, backtracks=92, failedAssignments=1997, nogoods=1263
44.67/41.90
46.08/43.32 num=32, depth=10..21, filters=14918, revisions=(391046,useless=375695), ccks=143698733, wck=40.825, mem=111M144
46.08/43.32 decisions=5167, wrong=2298, backtracks=92, failedAssignments=2208, nogoods=1474
46.08/43.32
55.68/52.92 num=33, depth=7..15, filters=16389, revisions=(446370,useless=429520), ccks=178208986, wck=50.424, mem=111M144
55.68/52.92 decisions=5702, wrong=2558, backtracks=121, failedAssignments=2440, nogoods=1516
55.68/52.92
57.38/54.66 num=34, depth=12..28, filters=17562, revisions=(469118,useless=451094), ccks=184222152, wck=52.165, mem=113M786
57.38/54.66 decisions=6241, wrong=2814, backtracks=122, failedAssignments=2695, nogoods=1741
57.38/54.66
61.29/58.56 num=35, depth=11..13, filters=19921, revisions=(542519,useless=522027), ccks=197381532, wck=56.062, mem=113M786
61.29/58.56 decisions=6889, wrong=3132, backtracks=160, failedAssignments=2976, nogoods=1751
61.29/58.56
74.50/71.76 num=36, depth=10..13, filters=24039, revisions=(647949,useless=623194), ccks=244948200, wck=69.262, mem=116M429
74.50/71.76 decisions=7589, wrong=3477, backtracks=197, failedAssignments=3285, nogoods=1801
74.50/71.76
77.40/74.67 num=37, depth=10..29, filters=25425, revisions=(679233,useless=653090), ccks=255135602, wck=72.169, mem=116M429
77.40/74.67 decisions=8303, wrong=3821, backtracks=201, failedAssignments=3625, nogoods=2045
77.40/74.67
80.81/78.03 num=38, depth=12..13, filters=28940, revisions=(763255,useless=733354), ccks=266543962, wck=75.53, mem=119M71
80.81/78.03 decisions=9092, wrong=4209, backtracks=215, failedAssignments=3999, nogoods=2096
80.81/78.03
101.80/98.92 num=39, depth=8..15, filters=32082, revisions=(872497,useless=839367), ccks=342119274, wck=96.427, mem=119M71
101.80/98.92 decisions=9977, wrong=4647, backtracks=242, failedAssignments=4410, nogoods=2110
101.80/98.92
108.59/105.63 num=40, depth=12..23, filters=35526, revisions=(954283,useless=917588), ccks=365916743, wck=103.13, mem=121M714
108.59/105.63 decisions=10917, wrong=5110, backtracks=253, failedAssignments=4862, nogoods=2175
108.59/105.63
120.85/117.86 num=41, depth=11..21, filters=39329, revisions=(1050510,useless=1009733), ccks=409678360, wck=115.362, mem=124M356
120.85/117.86 decisions=11952, wrong=5618, backtracks=264, failedAssignments=5359, nogoods=2348
120.85/117.86
128.65/125.62 num=42, depth=10..24, filters=41344, revisions=(1107745,useless=1064908), ccks=437340465, wck=123.128, mem=124M356
128.65/125.62 decisions=13088, wrong=6174, backtracks=275, failedAssignments=5906, nogoods=2507
128.65/125.62
143.56/140.52 num=43, depth=11..14, filters=48962, revisions=(1320842,useless=1270179), ccks=489984715, wck=138.021, mem=129M641
143.56/140.52 decisions=14398, wrong=6823, backtracks=322, failedAssignments=6508, nogoods=2562
143.56/140.52
146.96/143.93 num=44, depth=7..29, filters=51745, revisions=(1377329,useless=1323882), ccks=501655021, wck=141.438, mem=129M641
146.96/143.93 decisions=15760, wrong=7494, backtracks=332, failedAssignments=7170, nogoods=2804
146.96/143.93
154.36/151.32 num=45, depth=7..9, filters=56919, revisions=(1536000,useless=1477276), ccks=526582814, wck=148.827, mem=132M283
154.36/151.32 decisions=17334, wrong=8277, backtracks=388, failedAssignments=7898, nogoods=2843
154.36/151.32
159.26/156.27 num=46, depth=11..22, filters=59619, revisions=(1606396,useless=1544954), ccks=543757772, wck=153.773, mem=134M926
159.26/156.27 decisions=18979, wrong=9089, backtracks=402, failedAssignments=8699, nogoods=3060
159.26/156.27
162.86/159.88 num=47, depth=11..29, filters=63502, revisions=(1681295,useless=1615970), ccks=555899355, wck=157.385, mem=137M568
162.86/159.88 decisions=20786, wrong=9980, backtracks=413, failedAssignments=9580, nogoods=3353
162.86/159.88
168.66/165.60 num=48, depth=12..26, filters=67188, revisions=(1761945,useless=1692910), ccks=575644474, wck=163.101, mem=137M568
168.66/165.60 decisions=22781, wrong=10968, backtracks=437, failedAssignments=10550, nogoods=3444
168.66/165.60
177.07/174.01 num=49, depth=6..26, filters=70650, revisions=(1853550,useless=1781052), ccks=605019659, wck=171.515, mem=140M211
177.07/174.01 decisions=24981, wrong=12059, backtracks=465, failedAssignments=11617, nogoods=3602
177.07/174.01
183.47/180.43 num=50, depth=8..26, filters=75483, revisions=(1960790,useless=1883453), ccks=627011616, wck=177.935, mem=142M778
183.47/180.43 decisions=27394, wrong=13254, backtracks=489, failedAssignments=12790, nogoods=3963
183.47/180.43
261.93/258.84 num=51, depth=7..11, filters=84786, revisions=(2321497,useless=2234599), ccks=910308107, wck=256.345, mem=32M168
261.93/258.84 decisions=30213, wrong=14659, backtracks=607, failedAssignments=14081, nogoods=3979
261.93/258.84
267.94/264.81 num=52, depth=9..24, filters=89662, revisions=(2447889,useless=2356112), ccks=930547641, wck=262.318, mem=34M757
267.94/264.81 decisions=33105, wrong=16093, backtracks=642, failedAssignments=15501, nogoods=4188
267.94/264.81
275.35/272.28 num=53, depth=12..26, filters=94906, revisions=(2576811,useless=2479790), ccks=955935967, wck=269.786, mem=37M347
275.35/272.28 decisions=36288, wrong=17674, backtracks=670, failedAssignments=17063, nogoods=4463
275.35/272.28
282.45/279.34 num=54, depth=10..27, filters=101066, revisions=(2718840,useless=2615424), ccks=979928000, wck=276.843, mem=42M526
282.45/279.34 decisions=39811, wrong=19424, backtracks=732, failedAssignments=18781, nogoods=4733
282.45/279.34
310.85/307.74 num=55, depth=8..13, filters=115575, revisions=(3187905,useless=3069684), ccks=1079114225, wck=305.249, mem=47M705
310.85/307.74 decisions=43920, wrong=21474, backtracks=898, failedAssignments=20671, nogoods=4756
310.85/307.74
385.27/382.16 num=56, depth=7..10, filters=132752, revisions=(3727594,useless=3591463), ccks=1349431608, wck=379.659, mem=55M474
385.27/382.16 decisions=48506, wrong=23763, backtracks=1125, failedAssignments=22750, nogoods=4809
385.27/382.16
403.47/400.38 num=57, depth=5..24, filters=143671, revisions=(4056483,useless=3909315), ccks=1411775520, wck=397.886, mem=60M653
403.47/400.38 decisions=53316, wrong=26158, backtracks=1271, failedAssignments=25037, nogoods=5000
403.47/400.38
420.08/416.98 num=58, depth=10..25, filters=150535, revisions=(4268145,useless=4113993), ccks=1469677101, wck=414.481, mem=65M832
420.08/416.98 decisions=58504, wrong=28742, backtracks=1423, failedAssignments=27553, nogoods=5150
420.08/416.98
432.48/429.32 num=59, depth=8..23, filters=160813, revisions=(4504155,useless=4339650), ccks=1511928290, wck=426.827, mem=71M11
432.48/429.32 decisions=64175, wrong=31568, backtracks=1495, failedAssignments=30321, nogoods=5358
432.48/429.32
441.00/437.86 num=60, depth=14..27, filters=171098, revisions=(4766721,useless=4591884), ccks=1540168156, wck=435.368, mem=78M780
441.00/437.86 decisions=70343, wrong=34641, backtracks=1558, failedAssignments=33365, nogoods=5805
441.00/437.86
456.41/453.23 num=61, depth=8..26, filters=181603, revisions=(5036103,useless=4850731), ccks=1593152787, wck=450.731, mem=83M959
456.41/453.23 decisions=77152, wrong=38035, backtracks=1668, failedAssignments=36714, nogoods=6014
456.41/453.23
505.23/502.10 num=62, depth=10..24, filters=195312, revisions=(5364461,useless=5165176), ccks=1767340552, wck=499.607, mem=91M728
505.23/502.10 decisions=84691, wrong=41795, backtracks=1807, failedAssignments=40398, nogoods=6173
505.23/502.10
561.44/558.20 num=63, depth=3..28, filters=219308, revisions=(6098448,useless=5874771), ccks=1962019673, wck=555.702, mem=102M86
561.44/558.20 decisions=93303, wrong=46089, backtracks=2064, failedAssignments=44450, nogoods=6453
561.44/558.20
594.05/590.83 num=64, depth=5..22, filters=233858, revisions=(6575024,useless=6336546), ccks=2074749487, wck=588.334, mem=112M444
594.05/590.83 decisions=102444, wrong=50653, backtracks=2239, failedAssignments=48907, nogoods=6626
594.05/590.83
615.96/612.77 num=65, depth=6..28, filters=253400, revisions=(7044422,useless=6786344), ccks=2149155669, wck=610.275, mem=122M803
615.96/612.77 decisions=112568, wrong=55701, backtracks=2444, failedAssignments=53810, nogoods=6935
615.96/612.77
649.81/646.59 num=66, depth=6..28, filters=272920, revisions=(7559694,useless=7281611), ccks=2267053771, wck=644.092, mem=133M161
649.81/646.59 decisions=123595, wrong=61204, backtracks=2710, failedAssignments=59204, nogoods=7284
649.81/646.59
678.71/675.40 num=67, depth=12..25, filters=289907, revisions=(8089043,useless=7793520), ccks=2366336128, wck=672.909, mem=146M109
678.71/675.40 decisions=135692, wrong=67241, backtracks=2976, failedAssignments=65137, nogoods=7505
678.71/675.40
701.32/698.04 num=68, depth=12..28, filters=315393, revisions=(8646640,useless=8325435), ccks=2442515541, wck=695.547, mem=159M57
701.32/698.04 decisions=149060, wrong=73915, backtracks=3183, failedAssignments=71663, nogoods=7743
701.32/698.04
736.37/733.10 num=69, depth=9..27, filters=341091, revisions=(9274644,useless=8927180), ccks=2562904234, wck=730.605, mem=43M245
736.37/733.10 decisions=163867, wrong=81305, backtracks=3452, failedAssignments=78842, nogoods=8058
736.37/733.10
981.11/977.79 num=70, depth=7..11, filters=390046, revisions=(11159185,useless=10761191), ccks=3461010868, wck=975.299, mem=56M285
981.11/977.79 decisions=181806, wrong=90270, backtracks=4560, failedAssignments=86739, nogoods=8169
981.11/977.79
1024.46/1021.05 num=71, depth=7..24, filters=419795, revisions=(11969467,useless=11540858), ccks=3611315533, wck=1018.552, mem=74M542
1024.46/1021.05 decisions=199538, wrong=99127, backtracks=4984, failedAssignments=95426, nogoods=8393
1024.46/1021.05
1301.35/1297.89 num=72, depth=8..13, filters=490114, revisions=(14173664,useless=13672247), ccks=4618615239, wck=1295.397, mem=98M14
1301.35/1297.89 decisions=221046, wrong=109876, backtracks=6239, failedAssignments=104981, nogoods=8455
1301.35/1297.89
1350.67/1347.12 num=73, depth=10..26, filters=528180, revisions=(15062025,useless=14522463), ccks=4788431636, wck=1344.627, mem=118M879
1350.67/1347.12 decisions=242724, wrong=120706, backtracks=6680, failedAssignments=115492, nogoods=8721
1350.67/1347.12
1394.57/1391.02 num=74, depth=10..29, filters=580662, revisions=(16196894,useless=15603753), ccks=4935941693, wck=1388.525, mem=147M568
1394.57/1391.02 decisions=266776, wrong=132720, backtracks=7200, failedAssignments=127054, nogoods=9054
1394.57/1391.02
1446.92/1443.35 num=75, depth=14..28, filters=630171, revisions=(17370010,useless=16726992), ccks=5113819889, wck=1440.854, mem=40M908
1446.92/1443.35 decisions=292802, wrong=145723, backtracks=7689, failedAssignments=139772, nogoods=9363
1446.92/1443.35
1508.64/1505.09 num=76, depth=14..27, filters=673633, revisions=(18676475,useless=17988151), ccks=5325615557, wck=1502.59, mem=67M109
1508.64/1505.09 decisions=322109, wrong=160365, backtracks=8636, failedAssignments=153762, nogoods=9511
1508.64/1505.09
1553.34/1549.73 num=77, depth=8..29, filters=726905, revisions=(20061881,useless=19319647), ccks=5473701395, wck=1547.231, mem=95M930
1553.34/1549.73 decisions=353765, wrong=176182, backtracks=9328, failedAssignments=169151, nogoods=9861
1553.34/1549.73
1632.56/1628.95 num=78, depth=10..26, filters=780927, revisions=(21496687,useless=20699356), ccks=5746651942, wck=1626.452, mem=127M371
1632.56/1628.95 decisions=388297, wrong=193437, backtracks=10018, failedAssignments=186079, nogoods=10109
1632.56/1628.95
1694.07/1690.49 num=79, depth=12..24, filters=849564, revisions=(23667759,useless=22792192), ccks=5952526007, wck=1687.994, mem=159M928
1694.07/1690.49 decisions=425946, wrong=212251, backtracks=11367, failedAssignments=204700, nogoods=10501
1694.07/1690.49
1789.42/1785.74 num=80, depth=10..26, filters=915343, revisions=(25551470,useless=24609673), ccks=6279815381, wck=1783.242, mem=61M657
1789.42/1785.74 decisions=467817, wrong=233177, backtracks=12729, failedAssignments=225184, nogoods=10897
1789.42/1785.74
1882.64/1878.97 num=81, depth=8..23, filters=983547, revisions=(27481763,useless=26471551), ccks=6596968885, wck=1876.478, mem=105M623
1882.64/1878.97 decisions=513887, wrong=256203, backtracks=13934, failedAssignments=247716, nogoods=11078
1882.64/1878.97
1936.46/1932.76 num=82, depth=10..27, filters=1062614, revisions=(29638106,useless=28548697), ccks=6771277179, wck=1930.259, mem=144M415
1936.46/1932.76 decisions=564122, wrong=281310, backtracks=15009, failedAssignments=272501, nogoods=11513
1936.46/1932.76
2059.01/2055.20 num=83, depth=12..26, filters=1169364, revisions=(32175756,useless=30977606), ccks=7187688963, wck=2052.708, mem=68M991
2059.01/2055.20 decisions=619760, wrong=309119, backtracks=16033, failedAssignments=299765, nogoods=11832
2059.01/2055.20
2232.15/2228.32 num=84, depth=6..24, filters=1268157, revisions=(34990255,useless=33691893), ccks=7792311404, wck=2225.82, mem=127M627
2232.15/2228.32 decisions=681238, wrong=339847, backtracks=17798, failedAssignments=329755, nogoods=12061
2232.15/2228.32
2372.62/2368.78 num=85, depth=8..27, filters=1382755, revisions=(38467828,useless=37049939), ccks=8272179662, wck=2366.28, mem=55M903
2372.62/2368.78 decisions=748058, wrong=373248, backtracks=20409, failedAssignments=362744, nogoods=12356
2372.62/2368.78
2512.34/2508.43 num=86, depth=3..26, filters=1508477, revisions=(41911965,useless=40367919), ccks=8744859020, wck=2505.935, mem=126M204
2512.34/2508.43 decisions=821892, wrong=410155, backtracks=21774, failedAssignments=399032, nogoods=12891
2512.34/2508.43
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 (7497 MiB free)
memory of node 1: 16384 MiB (12997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390655-1568388054/watcher-4390655-1568388054 -o /tmp/evaluation-result-4390655-1568388054/solver-4390655-1568388054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568380474-29470 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390655-1568388054.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30974, runsolver pid=30971
Current StackSize limit: 8192 KiB
[startup+0.100165 s]*
/proc/loadavg: 2.01 2.02 1.98 4/229 30989
/proc/meminfo: memFree=20970100/32770624 swapFree=67108848/67108860
[pid=30974] ppid=30971 vsize=10659884 memory=28108 CPUtime=0.14 cores=1,3,5,7
/proc/30974/stat : 30974 (java) S 30971 30974 29438 0 -1 1077944320 5556 0 0 0 13 1 0 0 20 0 15 0 414742735 10915721216 7027 33554432000 4194304 4196468 140732715514352 140732715496896 140539990986487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
/proc/30974/statm: 2664971 7027 2898 1 0 2627468 0
[pid=30974/tid=30976] ppid=30971 vsize=10659884 memory=-8197568871503140226 CPUtime=0.09 cores=1,3,5,7
/proc/30974/task/30976/stat : 30976 (java) R 30971 30974 29438 0 -1 4202560 3264 0 0 0 9 0 0 0 20 0 15 0 414742735 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539995215600 140539991008413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30977] ppid=30971 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30977/stat : 30977 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539927677328 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30978] ppid=30971 vsize=10659884 memory=139697997829760 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30978/stat : 30978 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539926624528 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30979] ppid=30971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30979/stat : 30979 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539925572240 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30980] ppid=30971 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30980/stat : 30980 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539924519440 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30981] ppid=30971 vsize=10659884 memory=139697997829760 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30981/stat : 30981 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742738 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539482360432 140539990997634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30982] ppid=30971 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30982/stat : 30982 (java) S 30971 30974 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414742738 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539481306400 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30983] ppid=30971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30983/stat : 30983 (java) S 30971 30974 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414742738 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539480254064 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30984] ppid=30971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30984/stat : 30984 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742741 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539479202384 140539991005083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30985] ppid=30971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30985/stat : 30985 (java) S 30971 30974 29438 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 15 0 414742741 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539478149232 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30986] ppid=30971 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30986/stat : 30986 (java) S 30971 30974 29438 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 15 0 414742741 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539477096432 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30987] ppid=30971 vsize=10659884 memory=139697997829760 CPUtime=0.02 cores=1,3,5,7
/proc/30974/task/30987/stat : 30987 (java) R 30971 30974 29438 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 414742741 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539476041936 140539969616719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30988] ppid=30971 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30988/stat : 30988 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742741 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539474991584 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30989] ppid=30971 vsize=10659884 memory=139697997829760 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30989/stat : 30989 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742741 10915721216 7027 33554432000 4194304 4196468 140732715514352 140539473939376 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28108 KiB
[startup+0.210655 s]*
/proc/loadavg: 2.01 2.02 1.98 3/229 30989
/proc/meminfo: memFree=20962844/32770624 swapFree=67108848/67108860
[pid=30974] ppid=30971 vsize=10659884 memory=35428 CPUtime=0.32 cores=1,3,5,7
/proc/30974/stat : 30974 (java) S 30971 30974 29438 0 -1 1077944320 6946 0 0 0 31 1 0 0 20 0 15 0 414742735 10915721216 8857 33554432000 4194304 4196468 140732715514352 140732715496896 140539990986487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
/proc/30974/statm: 2664971 8857 2989 1 0 2627468 0
[pid=30974/tid=30976] ppid=30971 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/30974/task/30976/stat : 30976 (java) R 30971 30974 29438 0 -1 4202560 3874 0 0 0 19 1 0 0 20 0 15 0 414742735 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539995218576 140539991008413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30977] ppid=30971 vsize=10659884 memory=365 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30977/stat : 30977 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539927677328 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30978] ppid=30971 vsize=10659884 memory=139697997859498 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30978/stat : 30978 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539926624528 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30979] ppid=30971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30979/stat : 30979 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539925572240 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30980] ppid=30971 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30980/stat : 30980 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539924519440 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30981] ppid=30971 vsize=10659884 memory=139697997829760 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30981/stat : 30981 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742738 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539482360432 140539990997634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30982] ppid=30971 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30982/stat : 30982 (java) S 30971 30974 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414742738 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539481306400 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30983] ppid=30971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30983/stat : 30983 (java) S 30971 30974 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414742738 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539480254064 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30984] ppid=30971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30984/stat : 30984 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742741 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539479202384 140539991005083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30985] ppid=30971 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30974/task/30985/stat : 30985 (java) S 30971 30974 29438 0 -1 1077944384 578 0 0 0 3 0 0 0 20 0 15 0 414742741 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539478149232 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30986] ppid=30971 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30974/task/30986/stat : 30986 (java) S 30971 30974 29438 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 414742741 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539477096432 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30987] ppid=30971 vsize=10659884 memory=139697997829760 CPUtime=0.05 cores=1,3,5,7
/proc/30974/task/30987/stat : 30987 (java) S 30971 30974 29438 0 -1 1077944384 671 0 0 0 5 0 0 0 20 0 15 0 414742741 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539476044144 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30988] ppid=30971 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30988/stat : 30988 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742741 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539474991584 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30989] ppid=30971 vsize=10659884 memory=139697997829760 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30989/stat : 30989 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742741 10915721216 8857 33554432000 4194304 4196468 140732715514352 140539473939376 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35428 KiB
[startup+0.309904 s]*
/proc/loadavg: 2.01 2.02 1.98 4/229 30989
/proc/meminfo: memFree=20955024/32770624 swapFree=67108848/67108860
[pid=30974] ppid=30971 vsize=10659884 memory=40552 CPUtime=0.47 cores=1,3,5,7
/proc/30974/stat : 30974 (java) S 30971 30974 29438 0 -1 1077944320 9486 0 0 0 44 3 0 0 20 0 15 0 414742735 10915721216 10138 33554432000 4194304 4196468 140732715514352 140732715496896 140539990986487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
/proc/30974/statm: 2664971 10138 3001 1 0 2627468 0
[pid=30974/tid=30976] ppid=30971 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/30974/task/30976/stat : 30976 (java) R 30971 30974 29438 0 -1 4202560 6339 0 0 0 28 2 0 0 20 0 15 0 414742735 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539995218896 140539601200640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30977] ppid=30971 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30977/stat : 30977 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539927677328 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30978] ppid=30971 vsize=10659884 memory=139697997859486 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30978/stat : 30978 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539926624528 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30979] ppid=30971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30979/stat : 30979 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539925572240 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30980] ppid=30971 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30980/stat : 30980 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742736 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539924519440 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30981] ppid=30971 vsize=10659884 memory=139697997829760 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30981/stat : 30981 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742738 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539482360432 140539990997634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30982] ppid=30971 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30982/stat : 30982 (java) S 30971 30974 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414742738 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539481306400 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30983] ppid=30971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30983/stat : 30983 (java) S 30971 30974 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414742738 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539480254064 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30984] ppid=30971 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30984/stat : 30984 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742741 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539479202384 140539991005083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30985] ppid=30971 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30974/task/30985/stat : 30985 (java) R 30971 30974 29438 0 -1 4202560 619 0 0 0 4 0 0 0 20 0 15 0 414742741 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539478140736 140539975275062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30986] ppid=30971 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/30974/task/30986/stat : 30986 (java) R 30971 30974 29438 0 -1 1077944384 471 0 0 0 3 0 0 0 20 0 15 0 414742741 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539477096528 140539990996693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30987] ppid=30971 vsize=10659884 memory=139697997829760 CPUtime=0.07 cores=1,3,5,7
/proc/30974/task/30987/stat : 30987 (java) S 30971 30974 29438 0 -1 1077944384 697 0 0 0 7 0 0 0 20 0 15 0 414742741 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539476044144 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30988] ppid=30971 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30988/stat : 30988 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742741 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539474991584 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30989] ppid=30971 vsize=10659884 memory=139697997829760 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30989/stat : 30989 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742741 10915721216 10138 33554432000 4194304 4196468 140732715514352 140539473939376 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40552 KiB
[startup+0.701658 s]
/proc/loadavg: 2.01 2.02 1.98 3/229 30989
/proc/meminfo: memFree=20946252/32770624 swapFree=67108848/67108860
[pid=30974] ppid=30971 vsize=10661932 memory=63684 CPUtime=1.11 cores=1,3,5,7
/proc/30974/stat : 30974 (java) S 30971 30974 29438 0 -1 1077944320 13052 0 0 0 106 5 0 0 20 0 15 0 414742735 10917818368 15921 33554432000 4194304 4196468 140732715514352 140732715496896 140539990986487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
/proc/30974/statm: 2665483 15921 3065 1 0 2627980 0
[pid=30974/tid=30976] ppid=30971 vsize=10661932 memory=1792 CPUtime=0.68 cores=1,3,5,7
/proc/30974/task/30976/stat : 30976 (java) R 30971 30974 29438 0 -1 4202560 8893 0 0 0 64 4 0 0 20 0 15 0 414742735 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539995218848 140539991008413 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30977] ppid=30971 vsize=10661932 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30977/stat : 30977 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742736 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539927677328 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30978] ppid=30971 vsize=10661932 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30978/stat : 30978 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742736 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539926624528 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30979] ppid=30971 vsize=10661932 memory=5536 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30979/stat : 30979 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742736 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539925572240 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30980] ppid=30971 vsize=10661932 memory=4540 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30980/stat : 30980 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742736 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539924519440 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30981] ppid=30971 vsize=10661932 memory=752 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30981/stat : 30981 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742738 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539482360432 140539990997634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30982] ppid=30971 vsize=10661932 memory=1636 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30982/stat : 30982 (java) S 30971 30974 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414742738 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539481306400 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30983] ppid=30971 vsize=10661932 memory=812 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30983/stat : 30983 (java) S 30971 30974 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414742738 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539480254064 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30984] ppid=30971 vsize=10661932 memory=1840 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30984/stat : 30984 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742741 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539479202384 140539991005083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30985] ppid=30971 vsize=10661932 memory=7302135314614015849 CPUtime=0.13 cores=1,3,5,7
/proc/30974/task/30985/stat : 30985 (java) R 30971 30974 29438 0 -1 4202560 836 0 0 0 13 0 0 0 20 0 15 0 414742741 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539478149232 140539976088128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30986] ppid=30971 vsize=10661932 memory=6010460991946777682 CPUtime=0.09 cores=1,3,5,7
/proc/30974/task/30986/stat : 30986 (java) S 30971 30974 29438 0 -1 1077944384 795 0 0 0 9 0 0 0 20 0 15 0 414742741 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539477096432 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30987] ppid=30971 vsize=10661932 memory=7588935152971042901 CPUtime=0.18 cores=1,3,5,7
/proc/30974/task/30987/stat : 30987 (java) S 30971 30974 29438 0 -1 1077944384 1168 0 0 0 18 0 0 0 20 0 15 0 414742741 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539476044144 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30988] ppid=30971 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30988/stat : 30988 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414742741 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539474991584 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30989] ppid=30971 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30989/stat : 30989 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742741 10917818368 15921 33554432000 4194304 4196468 140732715514352 140539473939376 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63684 KiB
[startup+1.50077 s]
/proc/loadavg: 2.01 2.02 1.98 3/229 30989
/proc/meminfo: memFree=20930556/32770624 swapFree=67108848/67108860
[pid=30974] ppid=30971 vsize=10663980 memory=75920 CPUtime=2.01 cores=1,3,5,7
/proc/30974/stat : 30974 (java) S 30971 30974 29438 0 -1 1077944320 18666 0 0 0 195 6 0 0 20 0 15 0 414742735 10919915520 18980 33554432000 4194304 4196468 140732715514352 140732715496896 140539990986487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
/proc/30974/statm: 2665995 18980 3096 1 0 2628492 0
[pid=30974/tid=30976] ppid=30971 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/30974/task/30976/stat : 30976 (java) R 30971 30974 29438 0 -1 4202560 13123 0 0 0 143 5 0 0 20 0 15 0 414742735 10919915520 18980 33554432000 4194304 4196468 140732715514352 140539995212368 140539975066974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30977] ppid=30971 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30977/stat : 30977 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742736 10919915520 18980 33554432000 4194304 4196468 140732715514352 140539927677328 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30978] ppid=30971 vsize=10663980 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30978/stat : 30978 (java) S 30971 30974 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414742736 10919915520 18980 33554432000 4194304 4196468 140732715514352 140539926624528 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30979] ppid=30971 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30979/stat : 30979 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742736 10919915520 18980 33554432000 4194304 4196468 140732715514352 140539925572240 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30980] ppid=30971 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30980/stat : 30980 (java) S 30971 30974 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414742736 10919915520 18980 33554432000 4194304 4196468 140732715514352 140539924519440 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30981] ppid=30971 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30981/stat : 30981 (java) S 30971 30974 29438 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 414742738 10919915520 18980 33554432000 4194304 4196468 140732715514352 140539482360432 140539990997634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
################
# More data... #
################
/proc/30974/task/30980/stat : 30980 (java) S 30971 30974 29438 0 -1 1077944384 1269 0 0 0 8 1 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539924519440 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30981] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.04 cores=1,3,5,7
/proc/30974/task/30981/stat : 30981 (java) S 30971 30974 29438 0 -1 1077944384 2885 0 0 0 3 1 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539482360432 140539990997634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30982] ppid=30971 vsize=10748324 memory=276280 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30982/stat : 30982 (java) S 30971 30974 29438 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539481306464 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30983] ppid=30971 vsize=10748324 memory=276280 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30983/stat : 30983 (java) S 30971 30974 29438 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539480254080 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30984] ppid=30971 vsize=10748324 memory=276280 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30984/stat : 30984 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539479202384 140539991005083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30985] ppid=30971 vsize=10748324 memory=276280 CPUtime=1.26 cores=1,3,5,7
/proc/30974/task/30985/stat : 30985 (java) S 30971 30974 29438 0 -1 1077944384 10345 0 0 0 125 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539478149232 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30986] ppid=30971 vsize=10748324 memory=135209597012202 CPUtime=1.2 cores=1,3,5,7
/proc/30974/task/30986/stat : 30986 (java) S 30971 30974 29438 0 -1 1077944384 9724 0 0 0 119 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539477096432 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30987] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.71 cores=1,3,5,7
/proc/30974/task/30987/stat : 30987 (java) S 30971 30974 29438 0 -1 1077944384 9339 0 0 0 70 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539476044144 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30988] ppid=30971 vsize=10748324 memory=276280 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30988/stat : 30988 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539474991584 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30989] ppid=30971 vsize=10748324 memory=39984 CPUtime=0.47 cores=1,3,5,7
/proc/30974/task/30989/stat : 30989 (java) S 30971 30974 29438 0 -1 1077944384 1697 0 0 0 19 28 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539473939376 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30990] ppid=30971 vsize=10748324 memory=3924 CPUtime=2440.25 cores=1,3,5,7
/proc/30974/task/30990/stat : 30990 (java) R 30971 30974 29438 0 -1 4202560 19379 0 0 0 244021 4 0 0 20 0 16 0 414742923 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539457269248 140539607746944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
Current children cumulated CPU time: 2446.23 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 276280 KiB
[startup+2502.3 s]
/proc/loadavg: 1.00 1.04 1.31 2/208 31290
/proc/meminfo: memFree=23880308/32770624 swapFree=67108848/67108860
[pid=30974] ppid=30971 vsize=10748324 memory=276280 CPUtime=2506.24 cores=1,3,5,7
/proc/30974/stat : 30974 (java) S 30971 30974 29438 0 -1 1077944320 76375 0 0 0 250579 45 0 0 20 0 16 0 414742735 11006283776 69070 33554432000 4194304 4196468 140732715514352 140732715496896 140539990986487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
/proc/30974/statm: 2687081 69070 3378 1 0 2647217 0
[pid=30974/tid=30976] ppid=30971 vsize=10748324 memory=276280 CPUtime=1.86 cores=1,3,5,7
/proc/30974/task/30976/stat : 30976 (java) S 30971 30974 29438 0 -1 1077944384 15371 0 0 0 180 6 0 0 20 0 16 0 414742735 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539995229360 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30977] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.09 cores=1,3,5,7
/proc/30974/task/30977/stat : 30977 (java) S 30971 30974 29438 0 -1 1077944384 1422 0 0 0 8 1 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539927677328 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30978] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.09 cores=1,3,5,7
/proc/30974/task/30978/stat : 30978 (java) S 30971 30974 29438 0 -1 1077944384 2268 0 0 0 8 1 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539926624528 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30979] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.08 cores=1,3,5,7
/proc/30974/task/30979/stat : 30979 (java) S 30971 30974 29438 0 -1 1077944384 1086 0 0 0 8 0 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539925572240 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30980] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.09 cores=1,3,5,7
/proc/30974/task/30980/stat : 30980 (java) S 30971 30974 29438 0 -1 1077944384 1269 0 0 0 8 1 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539924519440 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30981] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.04 cores=1,3,5,7
/proc/30974/task/30981/stat : 30981 (java) S 30971 30974 29438 0 -1 1077944384 2891 0 0 0 3 1 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539482360432 140539990997634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30982] ppid=30971 vsize=10748324 memory=276280 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30982/stat : 30982 (java) S 30971 30974 29438 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539481306464 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30983] ppid=30971 vsize=10748324 memory=135209597012202 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30983/stat : 30983 (java) S 30971 30974 29438 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539480254080 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30984] ppid=30971 vsize=10748324 memory=276280 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30984/stat : 30984 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539479202384 140539991005083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30985] ppid=30971 vsize=10748324 memory=276280 CPUtime=1.26 cores=1,3,5,7
/proc/30974/task/30985/stat : 30985 (java) S 30971 30974 29438 0 -1 1077944384 10348 0 0 0 125 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539478149232 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30986] ppid=30971 vsize=10748324 memory=2008 CPUtime=1.2 cores=1,3,5,7
/proc/30974/task/30986/stat : 30986 (java) S 30971 30974 29438 0 -1 1077944384 9726 0 0 0 119 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539477096432 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30987] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.71 cores=1,3,5,7
/proc/30974/task/30987/stat : 30987 (java) S 30971 30974 29438 0 -1 1077944384 9341 0 0 0 70 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539476044144 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30988] ppid=30971 vsize=10748324 memory=276280 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30988/stat : 30988 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539474991584 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30989] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.48 cores=1,3,5,7
/proc/30974/task/30989/stat : 30989 (java) S 30971 30974 29438 0 -1 1077944384 1727 0 0 0 20 28 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539473939376 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30990] ppid=30971 vsize=10748324 memory=276280 CPUtime=2500.25 cores=1,3,5,7
/proc/30974/task/30990/stat : 30990 (java) R 30971 30974 29438 0 -1 4202560 19492 0 0 0 250021 4 0 0 20 0 16 0 414742923 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539457269248 140539608013794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
Current children cumulated CPU time: 2506.24 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 276280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.11 s]
/proc/loadavg: 1.00 1.03 1.31 2/208 31293
/proc/meminfo: memFree=23880396/32770624 swapFree=67108848/67108860
[pid=30974] ppid=30971 vsize=10748324 memory=276280 CPUtime=2520.05 cores=1,3,5,7
/proc/30974/stat : 30974 (java) S 30971 30974 29438 0 -1 1077944320 76965 0 0 0 251960 45 0 0 20 0 16 0 414742735 11006283776 69070 33554432000 4194304 4196468 140732715514352 140732715496896 140539990986487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
/proc/30974/statm: 2687081 69070 3378 1 0 2647217 0
[pid=30974/tid=30976] ppid=30971 vsize=10748324 memory=276280 CPUtime=1.86 cores=1,3,5,7
/proc/30974/task/30976/stat : 30976 (java) S 30971 30974 29438 0 -1 1077944384 15371 0 0 0 180 6 0 0 20 0 16 0 414742735 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539995229360 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30977] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.09 cores=1,3,5,7
/proc/30974/task/30977/stat : 30977 (java) S 30971 30974 29438 0 -1 1077944384 1422 0 0 0 8 1 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539927677328 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30978] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.09 cores=1,3,5,7
/proc/30974/task/30978/stat : 30978 (java) S 30971 30974 29438 0 -1 1077944384 2268 0 0 0 8 1 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539926624528 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30979] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.08 cores=1,3,5,7
/proc/30974/task/30979/stat : 30979 (java) S 30971 30974 29438 0 -1 1077944384 1086 0 0 0 8 0 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539925572240 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30980] ppid=30971 vsize=10748324 memory=135209597012202 CPUtime=0.09 cores=1,3,5,7
/proc/30974/task/30980/stat : 30980 (java) S 30971 30974 29438 0 -1 1077944384 1269 0 0 0 8 1 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539924519440 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30981] ppid=30971 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30974/task/30981/stat : 30981 (java) S 30971 30974 29438 0 -1 1077944384 2891 0 0 0 3 1 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539482360432 140539990997634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30982] ppid=30971 vsize=10748324 memory=276280 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30982/stat : 30982 (java) S 30971 30974 29438 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539481306464 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30983] ppid=30971 vsize=10748324 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30983/stat : 30983 (java) S 30971 30974 29438 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539480254080 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30984] ppid=30971 vsize=10748324 memory=1398720917958146503 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30984/stat : 30984 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539479202384 140539991005083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30985] ppid=30971 vsize=10748324 memory=276280 CPUtime=1.26 cores=1,3,5,7
/proc/30974/task/30985/stat : 30985 (java) S 30971 30974 29438 0 -1 1077944384 10350 0 0 0 125 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539478149232 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30986] ppid=30971 vsize=10748324 memory=9 CPUtime=1.2 cores=1,3,5,7
/proc/30974/task/30986/stat : 30986 (java) S 30971 30974 29438 0 -1 1077944384 9728 0 0 0 119 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539477096432 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30987] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.71 cores=1,3,5,7
/proc/30974/task/30987/stat : 30987 (java) S 30971 30974 29438 0 -1 1077944384 9396 0 0 0 70 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539476044144 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30988] ppid=30971 vsize=10748324 memory=2352 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30988/stat : 30988 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539474991584 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30989] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.48 cores=1,3,5,7
/proc/30974/task/30989/stat : 30989 (java) S 30971 30974 29438 0 -1 1077944384 1731 0 0 0 20 28 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539473939376 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30990] ppid=30971 vsize=10748324 memory=752 CPUtime=2514.06 cores=1,3,5,7
/proc/30974/task/30990/stat : 30990 (java) R 30971 30974 29438 0 -1 4202560 20019 0 0 0 251402 4 0 0 20 0 16 0 414742923 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539457269248 140539607934215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 276280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.12 s]
# the end of solver process 30974 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.62 s, system=0.459027 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2516.11 s]
/proc/loadavg: 1.00 1.03 1.31 2/208 31293
/proc/meminfo: memFree=23880396/32770624 swapFree=67108848/67108860
[pid=30974] ppid=30971 vsize=10748324 memory=276280 CPUtime=2520.05 cores=1,3,5,7
/proc/30974/stat : 30974 (java) S 30971 30974 29438 0 -1 1077944320 76965 0 0 0 251960 45 0 0 20 0 16 0 414742735 11006283776 69070 33554432000 4194304 4196468 140732715514352 140732715496896 140539990986487 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
/proc/30974/statm: 2687081 69070 3378 1 0 2647217 0
[pid=30974/tid=30976] ppid=30971 vsize=10748324 memory=276280 CPUtime=1.86 cores=1,3,5,7
/proc/30974/task/30976/stat : 30976 (java) S 30971 30974 29438 0 -1 1077944384 15371 0 0 0 180 6 0 0 20 0 16 0 414742735 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539995229360 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30977] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.09 cores=1,3,5,7
/proc/30974/task/30977/stat : 30977 (java) S 30971 30974 29438 0 -1 1077944384 1422 0 0 0 8 1 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539927677328 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30978] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.09 cores=1,3,5,7
/proc/30974/task/30978/stat : 30978 (java) S 30971 30974 29438 0 -1 1077944384 2268 0 0 0 8 1 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539926624528 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30979] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.08 cores=1,3,5,7
/proc/30974/task/30979/stat : 30979 (java) S 30971 30974 29438 0 -1 1077944384 1086 0 0 0 8 0 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539925572240 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30980] ppid=30971 vsize=10748324 memory=135209597012202 CPUtime=0.09 cores=1,3,5,7
/proc/30974/task/30980/stat : 30980 (java) S 30971 30974 29438 0 -1 1077944384 1269 0 0 0 8 1 0 0 20 0 16 0 414742736 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539924519440 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30981] ppid=30971 vsize=10748324 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30974/task/30981/stat : 30981 (java) S 30971 30974 29438 0 -1 1077944384 2891 0 0 0 3 1 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539482360432 140539990997634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30982] ppid=30971 vsize=10748324 memory=276280 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30982/stat : 30982 (java) S 30971 30974 29438 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539481306464 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30983] ppid=30971 vsize=10748324 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30983/stat : 30983 (java) S 30971 30974 29438 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414742738 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539480254080 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30984] ppid=30971 vsize=10748324 memory=1398720917958146503 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30984/stat : 30984 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539479202384 140539991005083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30985] ppid=30971 vsize=10748324 memory=276280 CPUtime=1.26 cores=1,3,5,7
/proc/30974/task/30985/stat : 30985 (java) S 30971 30974 29438 0 -1 1077944384 10350 0 0 0 125 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539478149232 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30986] ppid=30971 vsize=10748324 memory=9 CPUtime=1.2 cores=1,3,5,7
/proc/30974/task/30986/stat : 30986 (java) S 30971 30974 29438 0 -1 1077944384 9728 0 0 0 119 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539477096432 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30987] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.71 cores=1,3,5,7
/proc/30974/task/30987/stat : 30987 (java) S 30971 30974 29438 0 -1 1077944384 9396 0 0 0 70 1 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539476044144 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30988] ppid=30971 vsize=10748324 memory=2352 CPUtime=0 cores=1,3,5,7
/proc/30974/task/30988/stat : 30988 (java) S 30971 30974 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539474991584 140539990996693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30989] ppid=30971 vsize=10748324 memory=276280 CPUtime=0.48 cores=1,3,5,7
/proc/30974/task/30989/stat : 30989 (java) S 30971 30974 29438 0 -1 1077944384 1731 0 0 0 20 28 0 0 20 0 16 0 414742741 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539473939376 140539990997634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
[pid=30974/tid=30990] ppid=30971 vsize=10748324 memory=752 CPUtime=2514.06 cores=1,3,5,7
/proc/30974/task/30990/stat : 30990 (java) R 30971 30974 29438 0 -1 4202560 20019 0 0 0 251402 4 0 0 20 0 16 0 414742923 11006283776 69070 33554432000 4194304 4196468 140732715514352 140539457269248 140539607934215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11440128 140732715516939 140732715517042 140732715517042 140732715519951 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 276280 KiB
Child status: 143
Real time (s): 2516.12
CPU time (s): 2520.08
CPU user time (s): 2519.62
CPU system time (s): 0.459027
CPU usage (%): 100.157
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 278332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.459027
maximum resident set size= 279360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57420
involuntary context switches= 877
# summary of solver processes directly reported to runsolver:
# pid: 30974
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.62
# total CPU system time (s): 0.459027
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1036 second user time and 18.7866 second system time
The end