2.40/1.89
2.40/1.89 AbsCon 2
2.65/1.91
3.21/2.16 Instance
3.21/2.16 name=instance-4390650-1568383939, framework=CSP
3.21/2.16
3.21/2.16 Loading variables...
3.21/2.19 Loading constraints...
3.85/2.35
3.85/2.35 Domains
3.85/2.35 nTypes=4, nValues=2088, sizes=[1#2,7#28,14#27,28#54]
3.85/2.35 Variables
3.85/2.35 count=111, degrees=[2#29,3#26,27#1,29#18,30#9,55#1,56#27]
3.85/2.35 Constraints
3.85/2.35 count=1261, arities=[2#1261]
3.85/2.35 distribution=[CtrExtensionV-Bits#1261]
3.85/2.35 nExtStructures=(88,shared:1173), nCftStructures=(88,shared:1173)
3.85/2.35 wck=0.489, cpu=2.312, mem=39M724
3.85/2.35 Solver SolverBacktrack being built...
3.85/2.35
3.85/2.38
3.85/2.38 Solver
3.85/2.38 guaranteedGAC=true
3.85/2.38 wck=0.52, cpu=2.341, mem=50M367
3.85/2.39
3.85/2.39 Preprocessing
3.85/2.39 filters=150, revisions=(2270,useless=2102), nACremovedValues=280, nTotalRemovedValues=280, inconcistency=false
3.85/2.39 wck=0.009, cpu=2.351, mem=50M367
3.85/2.39
4.19/2.41 num=0, depth=25..31, filters=962, revisions=(11768,useless=10788), wck=0.022, mem=50M367
4.19/2.41 decisions=65, wrong=20, backtracks=11, failedAssignments=10, nogoods=2
4.19/2.41
4.19/2.41 num=1, depth=25..36, filters=1638, revisions=(19878,useless=18222), wck=0.028, mem=50M367
4.19/2.41 decisions=134, wrong=42, backtracks=22, failedAssignments=21, nogoods=3
4.19/2.41
4.19/2.41 num=2, depth=18..25, filters=2308, revisions=(29820,useless=27494), wck=0.034, mem=50M367
4.19/2.41 decisions=200, wrong=66, backtracks=36, failedAssignments=33, nogoods=4
4.19/2.41
4.19/2.43 num=3, depth=24..37, filters=2933, revisions=(38249,useless=35298), wck=0.052, mem=50M367
4.19/2.43 decisions=276, wrong=92, backtracks=49, failedAssignments=46, nogoods=5
4.19/2.43
4.19/2.44 num=4, depth=10..24, filters=3732, revisions=(47937,useless=44187), wck=0.058, mem=50M367
4.19/2.44 decisions=342, wrong=120, backtracks=63, failedAssignments=60, nogoods=6
4.19/2.44
4.19/2.44 num=5, depth=16..32, filters=4488, revisions=(58032,useless=53526), wck=0.064, mem=50M367
4.19/2.44 decisions=422, wrong=152, backtracks=79, failedAssignments=76, nogoods=7
4.19/2.44
4.19/2.45 num=6, depth=13..35, filters=5472, revisions=(70896,useless=65399), wck=0.071, mem=50M367
4.19/2.45 decisions=519, wrong=186, backtracks=96, failedAssignments=93, nogoods=9
4.19/2.45
4.19/2.46 num=7, depth=21..29, filters=6123, revisions=(83152,useless=77002), wck=0.078, mem=50M367
4.19/2.46 decisions=616, wrong=224, backtracks=120, failedAssignments=112, nogoods=10
4.19/2.46
4.19/2.46 num=8, depth=12..19, filters=6767, revisions=(93429,useless=86631), wck=0.084, mem=50M367
4.19/2.46 decisions=691, wrong=255, backtracks=131, failedAssignments=133, nogoods=16
4.19/2.46
4.19/2.47 num=9, depth=14..32, filters=7406, revisions=(104857,useless=97420), wck=0.093, mem=50M367
4.19/2.47 decisions=807, wrong=301, backtracks=157, failedAssignments=156, nogoods=20
4.19/2.47
4.19/2.48 num=10, depth=14..25, filters=8250, revisions=(119402,useless=111118), wck=0.1, mem=53M9
4.19/2.48 decisions=919, wrong=349, backtracks=184, failedAssignments=181, nogoods=25
4.19/2.48
4.19/2.49 num=11, depth=11..16, filters=9351, revisions=(135767,useless=126372), wck=0.108, mem=53M9
4.19/2.49 decisions=1025, wrong=396, backtracks=206, failedAssignments=209, nogoods=28
4.19/2.49
4.19/2.49 num=12, depth=15..26, filters=10339, revisions=(151415,useless=141030), wck=0.116, mem=53M9
4.19/2.49 decisions=1145, wrong=448, backtracks=230, failedAssignments=240, nogoods=36
4.19/2.49
4.52/2.51 num=13, depth=10..15, filters=11850, revisions=(172161,useless=160251), wck=0.127, mem=53M9
4.52/2.51 decisions=1270, wrong=505, backtracks=258, failedAssignments=274, nogoods=41
4.52/2.51
4.52/2.52 num=14, depth=13..19, filters=13892, revisions=(197991,useless=184032), wck=0.139, mem=53M9
4.52/2.52 decisions=1412, wrong=568, backtracks=288, failedAssignments=311, nogoods=47
4.52/2.52
4.52/2.53 num=15, depth=13..19, filters=15632, revisions=(221010,useless=205281), wck=0.15, mem=53M9
4.52/2.53 decisions=1561, wrong=635, backtracks=317, failedAssignments=352, nogoods=53
4.52/2.53
4.52/2.54 num=16, depth=13..18, filters=18168, revisions=(251161,useless=232863), wck=0.164, mem=53M9
4.52/2.54 decisions=1732, wrong=714, backtracks=354, failedAssignments=397, nogoods=59
4.52/2.54
4.52/2.56 num=17, depth=13..18, filters=20833, revisions=(281424,useless=260425), wck=0.178, mem=53M9
4.52/2.56 decisions=1911, wrong=797, backtracks=390, failedAssignments=447, nogoods=71
4.52/2.56
4.52/2.57 num=18, depth=14..18, filters=23656, revisions=(313919,useless=290046), wck=0.193, mem=53M9
4.52/2.57 decisions=2090, wrong=879, backtracks=421, failedAssignments=502, nogoods=81
4.52/2.57
4.52/2.59 num=19, depth=14..19, filters=26985, revisions=(348719,useless=321451), wck=0.21, mem=53M9
4.52/2.59 decisions=2284, wrong=968, backtracks=456, failedAssignments=563, nogoods=90
4.52/2.59
4.85/2.61 num=20, depth=15..20, filters=30527, revisions=(387203,useless=356348), wck=0.229, mem=53M9
4.85/2.61 decisions=2500, wrong=1068, backtracks=498, failedAssignments=630, nogoods=98
4.85/2.61
4.85/2.63 num=21, depth=13..20, filters=34457, revisions=(429456,useless=394643), wck=0.248, mem=53M9
4.85/2.63 decisions=2744, wrong=1182, backtracks=544, failedAssignments=704, nogoods=103
4.85/2.63
4.85/2.64 num=22, depth=14..20, filters=36594, revisions=(462902,useless=425949), wck=0.262, mem=53M9
4.85/2.64 decisions=3043, wrong=1324, backtracks=614, failedAssignments=785, nogoods=110
4.85/2.64
4.85/2.66 num=23, depth=12..18, filters=40221, revisions=(512642,useless=472049), wck=0.282, mem=53M9
4.85/2.66 decisions=3373, wrong=1482, backtracks=704, failedAssignments=874, nogoods=114
4.85/2.66
4.85/2.68 num=24, depth=14..19, filters=46050, revisions=(571372,useless=524869), wck=0.305, mem=53M9
4.85/2.68 decisions=3702, wrong=1638, backtracks=770, failedAssignments=972, nogoods=119
4.85/2.68
5.13/2.71 num=25, depth=15..20, filters=51762, revisions=(630547,useless=578284), wck=0.329, mem=55M651
5.13/2.71 decisions=4050, wrong=1803, backtracks=840, failedAssignments=1080, nogoods=133
5.13/2.71
5.13/2.73 num=26, depth=12..18, filters=56966, revisions=(692619,useless=635104), wck=0.352, mem=55M651
5.13/2.73 decisions=4473, wrong=2008, backtracks=944, failedAssignments=1199, nogoods=140
5.13/2.73
5.13/2.76 num=27, depth=14..20, filters=63318, revisions=(762718,useless=698771), wck=0.378, mem=55M651
5.13/2.76 decisions=4900, wrong=2214, backtracks=1036, failedAssignments=1330, nogoods=151
5.13/2.76
5.13/2.79 num=28, depth=13..18, filters=70480, revisions=(844048,useless=772839), wck=0.407, mem=55M651
5.13/2.79 decisions=5395, wrong=2455, backtracks=1149, failedAssignments=1474, nogoods=154
5.13/2.79
5.34/2.81 num=29, depth=14..20, filters=78316, revisions=(925361,useless=846189), wck=0.436, mem=55M651
5.34/2.81 decisions=5919, wrong=2709, backtracks=1258, failedAssignments=1632, nogoods=168
5.34/2.81
5.34/2.85 num=30, depth=15..20, filters=87948, revisions=(1021955,useless=932994), wck=0.47, mem=55M651
5.34/2.85 decisions=6480, wrong=2982, backtracks=1379, failedAssignments=1806, nogoods=188
5.34/2.85
5.34/2.89 num=31, depth=14..20, filters=99528, revisions=(1135553,useless=1034840), wck=0.509, mem=58M294
5.34/2.89 decisions=7109, wrong=3288, backtracks=1529, failedAssignments=1997, nogoods=199
5.34/2.89
5.46/2.92 num=32, depth=12..20, filters=108662, revisions=(1237150,useless=1127191), wck=0.545, mem=58M294
5.46/2.92 decisions=7799, wrong=3626, backtracks=1689, failedAssignments=2208, nogoods=210
5.46/2.92
5.46/2.97 num=33, depth=13..21, filters=122703, revisions=(1373504,useless=1249290), wck=0.592, mem=58M294
5.46/2.97 decisions=8531, wrong=3984, backtracks=1849, failedAssignments=2440, nogoods=213
5.46/2.97
5.57/3.02 num=34, depth=15..21, filters=136362, revisions=(1499792,useless=1361644), wck=0.638, mem=58M294
5.57/3.02 decisions=9257, wrong=4339, backtracks=1968, failedAssignments=2695, nogoods=231
5.57/3.02
5.57/3.07 num=35, depth=13..19, filters=152217, revisions=(1657365,useless=1503146), wck=0.694, mem=60M936
5.57/3.07 decisions=10156, wrong=4781, backtracks=2158, failedAssignments=2976, nogoods=242
5.57/3.07
5.79/3.13 num=36, depth=12..19, filters=166051, revisions=(1816360,useless=1648091), wck=0.748, mem=60M936
5.79/3.13 decisions=11227, wrong=5309, backtracks=2415, failedAssignments=3285, nogoods=247
5.79/3.13
5.79/3.19 num=37, depth=13..18, filters=184972, revisions=(2014221,useless=1826750), wck=0.815, mem=60M936
5.79/3.19 decisions=12436, wrong=5906, backtracks=2717, failedAssignments=3625, nogoods=262
5.79/3.19
5.90/3.27 num=38, depth=13..19, filters=206193, revisions=(2219250,useless=2010062), wck=0.886, mem=63M579
5.90/3.27 decisions=13603, wrong=6482, backtracks=2950, failedAssignments=3999, nogoods=271
5.90/3.27
6.01/3.33 num=39, depth=12..20, filters=224089, revisions=(2421514,useless=2194262), wck=0.954, mem=63M579
6.01/3.33 decisions=15003, wrong=7174, backtracks=3291, failedAssignments=4410, nogoods=280
6.01/3.33
6.12/3.41 num=40, depth=15..22, filters=247973, revisions=(2657013,useless=2405409), wck=1.034, mem=66M221
6.12/3.41 decisions=16440, wrong=7884, backtracks=3601, failedAssignments=4862, nogoods=303
6.12/3.41
6.22/3.51 num=41, depth=13..20, filters=277093, revisions=(2934127,useless=2652967), wck=1.127, mem=68M864
6.22/3.51 decisions=18017, wrong=8664, backtracks=3943, failedAssignments=5359, nogoods=319
6.22/3.51
6.33/3.60 num=42, depth=13..21, filters=305823, revisions=(3229055,useless=2918742), wck=1.225, mem=68M864
6.33/3.60 decisions=19875, wrong=9586, backtracks=4387, failedAssignments=5906, nogoods=325
6.33/3.60
6.43/3.71 num=43, depth=12..20, filters=338601, revisions=(3559274,useless=3215732), wck=1.335, mem=71M506
6.43/3.71 decisions=21833, wrong=10558, backtracks=4827, failedAssignments=6508, nogoods=335
6.43/3.71
6.53/3.83 num=44, depth=12..20, filters=371410, revisions=(3903323,useless=3526585), wck=1.449, mem=71M506
6.53/3.83 decisions=23927, wrong=11598, backtracks=5301, failedAssignments=7170, nogoods=340
6.53/3.83
6.64/3.96 num=45, depth=14..21, filters=409833, revisions=(4290854,useless=3875167), wck=1.578, mem=74M148
6.64/3.96 decisions=26263, wrong=12758, backtracks=5804, failedAssignments=7898, nogoods=358
6.64/3.96
6.75/4.10 num=46, depth=12..20, filters=449468, revisions=(4716267,useless=4260465), wck=1.72, mem=76M791
6.75/4.10 decisions=28970, wrong=14104, backtracks=6457, failedAssignments=8699, nogoods=373
6.75/4.10
6.94/4.26 num=47, depth=12..20, filters=501434, revisions=(5208784,useless=4700346), wck=1.884, mem=79M433
6.94/4.26 decisions=31745, wrong=15485, backtracks=7058, failedAssignments=9580, nogoods=377
6.94/4.26
7.14/4.43 num=48, depth=12..19, filters=550071, revisions=(5711749,useless=5154107), wck=2.051, mem=82M76
7.14/4.43 decisions=34949, wrong=17080, backtracks=7798, failedAssignments=10550, nogoods=398
7.14/4.43
7.39/4.63 num=49, depth=12..20, filters=611680, revisions=(6307515,useless=5687398), wck=2.251, mem=84M718
7.39/4.63 decisions=38324, wrong=18760, backtracks=8533, failedAssignments=11617, nogoods=409
7.39/4.63
7.59/4.85 num=50, depth=13..21, filters=681451, revisions=(6962643,useless=6271702), wck=2.469, mem=90M3
7.59/4.85 decisions=42046, wrong=20613, backtracks=9340, failedAssignments=12790, nogoods=421
7.59/4.85
7.80/5.07 num=51, depth=12..20, filters=749566, revisions=(7634289,useless=6874450), wck=2.691, mem=92M646
7.80/5.07 decisions=46182, wrong=22674, backtracks=10264, failedAssignments=14081, nogoods=432
7.80/5.07
8.09/5.31 num=52, depth=11..17, filters=824499, revisions=(8349096,useless=7513359), wck=2.934, mem=97M930
8.09/5.31 decisions=50486, wrong=24820, backtracks=11133, failedAssignments=15501, nogoods=467
8.09/5.31
8.39/5.60 num=53, depth=13..21, filters=915655, revisions=(9198223,useless=8269759), wck=3.218, mem=103M215
8.39/5.60 decisions=55343, wrong=27241, backtracks=12157, failedAssignments=17063, nogoods=483
8.39/5.60
8.59/5.88 num=54, depth=11..21, filters=987381, revisions=(10063274,useless=9062603), wck=3.5, mem=105M858
8.59/5.88 decisions=61480, wrong=30301, backtracks=13799, failedAssignments=18781, nogoods=489
8.59/5.88
8.99/6.22 num=55, depth=11..20, filters=1088565, revisions=(11072005,useless=9968843), wck=3.841, mem=111M143
8.99/6.22 decisions=67600, wrong=33354, backtracks=15188, failedAssignments=20671, nogoods=498
8.99/6.22
9.29/6.57 num=56, depth=13..21, filters=1189345, revisions=(12119064,useless=10913755), wck=4.189, mem=116M428
9.29/6.57 decisions=74261, wrong=36676, backtracks=16728, failedAssignments=22750, nogoods=511
9.29/6.57
9.70/6.94 num=57, depth=13..22, filters=1288592, revisions=(13236301,useless=11930586), wck=4.559, mem=121M712
9.70/6.94 decisions=82003, wrong=40539, backtracks=18660, failedAssignments=25037, nogoods=525
9.70/6.94
10.20/7.40 num=58, depth=11..19, filters=1428538, revisions=(14615152,useless=13167619), wck=5.021, mem=129M640
10.20/7.40 decisions=89964, wrong=44513, backtracks=20396, failedAssignments=27553, nogoods=550
10.20/7.40
10.60/7.87 num=59, depth=12..20, filters=1567845, revisions=(16034430,useless=14445473), wck=5.493, mem=137M567
10.60/7.87 decisions=98936, wrong=48992, backtracks=22515, failedAssignments=30321, nogoods=563
10.60/7.87
11.10/8.39 num=60, depth=10..20, filters=1715009, revisions=(17563909,useless=15826273), wck=6.01, mem=23M877
11.10/8.39 decisions=108704, wrong=53869, backtracks=24704, failedAssignments=33365, nogoods=577
11.10/8.39
11.76/8.99 num=61, depth=12..21, filters=1909229, revisions=(19412706,useless=17477294), wck=6.609, mem=34M235
11.76/8.99 decisions=119190, wrong=59104, backtracks=26911, failedAssignments=36714, nogoods=591
11.76/8.99
12.47/9.61 num=62, depth=11..21, filters=2097067, revisions=(21364378,useless=19238608), wck=7.233, mem=44M593
12.47/9.61 decisions=131580, wrong=65293, backtracks=29946, failedAssignments=40398, nogoods=605
12.47/9.61
13.07/10.29 num=63, depth=12..21, filters=2299420, revisions=(23480920,useless=21150201), wck=7.908, mem=54M952
13.07/10.29 decisions=145310, wrong=72151, backtracks=33283, failedAssignments=44450, nogoods=632
13.07/10.29
13.77/10.99 num=64, depth=10..20, filters=2496682, revisions=(25678883,useless=23148922), wck=8.609, mem=65M310
13.77/10.99 decisions=160385, wrong=79680, backtracks=36990, failedAssignments=48907, nogoods=660
13.77/10.99
14.57/11.80 num=65, depth=11..21, filters=2741570, revisions=(28215997,useless=25437993), wck=9.417, mem=78M258
14.57/11.80 decisions=175775, wrong=87368, backtracks=40299, failedAssignments=53810, nogoods=683
14.57/11.80
15.58/12.76 num=66, depth=11..21, filters=3041277, revisions=(31221472,useless=28139867), wck=10.379, mem=96M438
15.58/12.76 decisions=193370, wrong=96158, backtracks=44516, failedAssignments=59204, nogoods=703
15.58/12.76
16.60/13.72 num=67, depth=11..20, filters=3343263, revisions=(34205618,useless=30818634), wck=11.339, mem=111M975
16.60/13.72 decisions=212601, wrong=105767, backtracks=48677, failedAssignments=65137, nogoods=724
16.60/13.72
17.70/14.81 num=68, depth=10..21, filters=3652362, revisions=(37684937,useless=33985929), wck=12.428, mem=127M513
17.70/14.81 decisions=235073, wrong=116995, backtracks=54257, failedAssignments=71663, nogoods=736
17.70/14.81
18.91/16.06 num=69, depth=10..20, filters=4047548, revisions=(41571589,useless=37471990), wck=13.679, mem=148M229
18.91/16.06 decisions=258138, wrong=128520, backtracks=59399, failedAssignments=78842, nogoods=750
18.91/16.06
20.22/17.34 num=70, depth=10..21, filters=4404890, revisions=(45678272,useless=41218083), wck=14.962, mem=34M178
20.22/17.34 decisions=285223, wrong=142055, backtracks=66379, failedAssignments=86739, nogoods=771
20.22/17.34
21.73/18.83 num=71, depth=13..22, filters=4863740, revisions=(50345938,useless=45420044), wck=16.446, mem=57M484
21.73/18.83 decisions=313746, wrong=156309, backtracks=73157, failedAssignments=95426, nogoods=783
21.73/18.83
23.34/20.44 num=72, depth=11..21, filters=5334625, revisions=(55509748,useless=50107474), wck=18.059, mem=80M790
23.34/20.44 decisions=346176, wrong=172516, backtracks=81315, failedAssignments=104981, nogoods=812
23.34/20.44
25.14/22.24 num=73, depth=11..21, filters=5910011, revisions=(61171259,useless=55184479), wck=19.863, mem=111M865
25.14/22.24 decisions=380123, wrong=189483, backtracks=89143, failedAssignments=115492, nogoods=835
25.14/22.24
27.05/24.17 num=74, depth=10..21, filters=6469595, revisions=(67366834,useless=60815202), wck=21.792, mem=140M350
27.05/24.17 decisions=419274, wrong=209051, backtracks=98785, failedAssignments=127054, nogoods=852
27.05/24.17
29.37/26.42 num=75, depth=10..20, filters=7160062, revisions=(74394839,useless=67145032), wck=24.037, mem=42M996
29.37/26.42 decisions=461428, wrong=230121, backtracks=108961, failedAssignments=139772, nogoods=862
29.37/26.42
31.77/28.85 num=76, depth=11..21, filters=7934005, revisions=(82072481,useless=74036831), wck=26.472, mem=83M359
31.77/28.85 decisions=506919, wrong=252859, backtracks=119707, failedAssignments=153762, nogoods=890
31.77/28.85
34.27/31.39 num=77, depth=9..21, filters=8681062, revisions=(90078490,useless=81286557), wck=29.011, mem=123M722
34.27/31.39 decisions=557924, wrong=278355, backtracks=131849, failedAssignments=169151, nogoods=917
34.27/31.39
37.17/34.30 num=78, depth=11..21, filters=9593040, revisions=(99244956,useless=89530331), wck=31.917, mem=170M294
37.17/34.30 decisions=613415, wrong=306094, backtracks=144964, failedAssignments=186079, nogoods=943
37.17/34.30
40.69/37.60 num=79, depth=10..21, filters=10629869, revisions=(109814772,useless=99050792), wck=35.226, mem=64M90
40.69/37.60 decisions=675135, wrong=336948, backtracks=160377, failedAssignments=204700, nogoods=963
40.69/37.60
43.89/40.83 num=80, depth=9..20, filters=11555072, revisions=(120143682,useless=108440645), wck=38.451, mem=112M998
43.89/40.83 decisions=743692, wrong=371221, backtracks=176425, failedAssignments=225184, nogoods=996
43.89/40.83
47.68/44.61 num=81, depth=10..21, filters=12679933, revisions=(132437345,useless=119597972), wck=42.23, mem=168M20
47.68/44.61 decisions=820154, wrong=409445, backtracks=195796, failedAssignments=247716, nogoods=1015
47.68/44.61
51.92/48.88 num=82, depth=10..21, filters=13985091, revisions=(146115577,useless=131956757), wck=46.497, mem=75M510
51.92/48.88 decisions=903654, wrong=451188, backtracks=216578, failedAssignments=272501, nogoods=1032
51.92/48.88
56.24/53.13 num=83, depth=9..22, filters=15194393, revisions=(159985667,useless=144601761), wck=50.75, mem=135M785
56.24/53.13 decisions=995020, wrong=496865, backtracks=238972, failedAssignments=299765, nogoods=1044
56.24/53.13
61.26/58.19 num=84, depth=10..21, filters=16740487, revisions=(176143007,useless=159195282), wck=55.815, mem=62M805
61.26/58.19 decisions=1094913, wrong=546805, backtracks=262892, failedAssignments=329755, nogoods=1081
61.26/58.19
66.75/63.63 num=85, depth=10..21, filters=18356434, revisions=(193770376,useless=175189719), wck=61.252, mem=142M923
66.75/63.63 decisions=1205887, wrong=602284, backtracks=290653, failedAssignments=362744, nogoods=1098
66.75/63.63
72.78/69.61 num=86, depth=9..21, filters=20113842, revisions=(213276314,useless=192920959), wck=67.231, mem=76M686
72.78/69.61 decisions=1327828, wrong=663248, backtracks=320876, failedAssignments=399032, nogoods=1118
72.78/69.61
79.49/76.31 num=87, depth=10..22, filters=22215117, revisions=(234693853,useless=212207936), wck=73.933, mem=38M475
79.49/76.31 decisions=1460116, wrong=729384, backtracks=352420, failedAssignments=438949, nogoods=1131
79.49/76.31
85.50/82.33 num=88, depth=9..21, filters=24564351, revisions=(259413275,useless=234552564), wck=79.95, mem=47M81
85.50/82.33 decisions=1608298, wrong=803468, backtracks=389794, failedAssignments=482858, nogoods=1143
85.50/82.33
91.60/88.45 num=89, depth=10..22, filters=26887084, revisions=(284756536,useless=257549548), wck=86.076, mem=52M819
91.60/88.45 decisions=1771567, wrong=885095, backtracks=430840, failedAssignments=531158, nogoods=1184
91.60/88.45
98.80/95.62 num=90, depth=10..22, filters=29690130, revisions=(314318637,useless=284277046), wck=93.246, mem=55M688
98.80/95.62 decisions=1952139, wrong=975373, backtracks=477085, failedAssignments=584288, nogoods=1210
98.80/95.62
106.31/103.17 num=91, depth=10..22, filters=32737638, revisions=(345302625,useless=312172270), wck=100.791, mem=61M425
106.31/103.17 decisions=2141022, wrong=1069808, backtracks=521349, failedAssignments=642731, nogoods=1248
106.31/103.17
114.90/111.77 num=92, depth=9..21, filters=36086048, revisions=(380657445,useless=344141214), wck=109.394, mem=70M31
114.90/111.77 decisions=2356427, wrong=1177505, backtracks=574388, failedAssignments=707018, nogoods=1262
114.90/111.77
124.32/121.11 num=93, depth=9..21, filters=39817237, revisions=(419066732,useless=378774672), wck=118.735, mem=75M769
124.32/121.11 decisions=2591304, wrong=1294937, backtracks=630820, failedAssignments=777734, nogoods=1287
124.32/121.11
134.22/131.04 num=94, depth=9..22, filters=43563393, revisions=(459684494,useless=415604305), wck=128.66, mem=84M375
134.22/131.04 decisions=2854581, wrong=1426568, backtracks=696260, failedAssignments=855521, nogoods=1325
134.22/131.04
145.62/142.43 num=95, depth=9..21, filters=47948243, revisions=(506465251,useless=457952970), wck=140.05, mem=92M982
145.62/142.43 decisions=3143662, wrong=1571102, backtracks=768954, failedAssignments=941087, nogoods=1341
145.62/142.43
157.62/154.47 num=96, depth=10..22, filters=52506325, revisions=(556840538,useless=503728801), wck=152.088, mem=101M588
157.62/154.47 decisions=3461538, wrong=1730033, backtracks=849615, failedAssignments=1035210, nogoods=1368
157.62/154.47
171.23/168.02 num=97, depth=8..21, filters=57620060, revisions=(611652860,useless=553373357), wck=165.644, mem=110M194
171.23/168.02 decisions=3810973, wrong=1904744, backtracks=933963, failedAssignments=1138745, nogoods=1409
171.23/168.02
185.45/182.23 num=98, depth=9..22, filters=62773147, revisions=(670941098,useless=607461492), wck=179.853, mem=121M669
185.45/182.23 decisions=4195793, wrong=2097147, backtracks=1031161, failedAssignments=1252634, nogoods=1443
185.45/182.23
202.15/198.97 num=99, depth=9..22, filters=69137768, revisions=(740374220,useless=670470081), wck=196.587, mem=136M13
202.15/198.97 decisions=4625237, wrong=2311862, backtracks=1142313, failedAssignments=1377912, nogoods=1483
202.15/198.97
219.65/216.42 num=100, depth=9..22, filters=75809456, revisions=(812139370,useless=735464478), wck=214.044, mem=147M488
219.65/216.42 decisions=5079384, wrong=2538929, backtracks=1250881, failedAssignments=1515718, nogoods=1512
219.65/216.42
239.37/236.15 num=101, depth=8..22, filters=83155657, revisions=(893084874,useless=808988945), wck=233.767, mem=164M701
239.37/236.15 decisions=5596634, wrong=2797547, backtracks=1381950, failedAssignments=1667304, nogoods=1528
239.37/236.15
260.67/257.49 num=102, depth=9..22, filters=91051588, revisions=(981852240,useless=889776792), wck=255.107, mem=35M426
260.67/257.49 decisions=6165486, wrong=3081967, backtracks=1525357, failedAssignments=1834049, nogoods=1553
260.67/257.49
285.28/282.06 num=103, depth=8..21, filters=100345883, revisions=(1082492412,useless=981029793), wck=279.684, mem=55M151
285.28/282.06 decisions=6789716, wrong=3394075, backtracks=1682080, failedAssignments=2017468, nogoods=1571
285.28/282.06
311.07/307.87 num=104, depth=8..22, filters=109866101, revisions=(1189332419,useless=1078257699), wck=305.489, mem=74M876
311.07/307.87 decisions=7477117, wrong=3737768, backtracks=1855125, failedAssignments=2219229, nogoods=1596
311.07/307.87
340.68/337.42 num=105, depth=8..21, filters=121298528, revisions=(1310703695,useless=1188075256), wck=335.038, mem=97M419
340.68/337.42 decisions=8222575, wrong=4110491, backtracks=2039433, failedAssignments=2441167, nogoods=1627
340.68/337.42
372.09/368.84 num=106, depth=9..22, filters=133221935, revisions=(1441061754,useless=1306383793), wck=366.46, mem=119M963
372.09/368.84 decisions=9050578, wrong=4524486, backtracks=2250350, failedAssignments=2685298, nogoods=1662
372.09/368.84
407.40/404.17 num=107, depth=8..22, filters=146429042, revisions=(1586932961,useless=1438917780), wck=401.795, mem=148M142
407.40/404.17 decisions=9962778, wrong=4980579, backtracks=2479871, failedAssignments=2953843, nogoods=1694
407.40/404.17
445.60/442.30 num=108, depth=9..21, filters=161600406, revisions=(1743984283,useless=1580606853), wck=439.926, mem=35M201
445.60/442.30 decisions=10924037, wrong=5461202, backtracks=2708262, failedAssignments=3249242, nogoods=1715
445.60/442.30
486.61/483.30 num=109, depth=8..22, filters=176861928, revisions=(1913725120,useless=1734943766), wck=480.924, mem=65M633
486.61/483.30 decisions=12034568, wrong=6016461, backtracks=2990892, failedAssignments=3574181, nogoods=1747
486.61/483.30
533.83/530.59 num=110, depth=9..22, filters=195272778, revisions=(2109372353,useless=1911971538), wck=528.209, mem=101M597
533.83/530.59 decisions=13241924, wrong=6620133, backtracks=3293620, failedAssignments=3931614, nogoods=1792
533.83/530.59
585.95/582.63 num=111, depth=8..22, filters=214951029, revisions=(2324009283,useless=2106731875), wck=580.255, mem=140M327
585.95/582.63 decisions=14579086, wrong=7288709, backtracks=3625809, failedAssignments=4324790, nogoods=1831
585.95/582.63
641.06/637.75 num=112, depth=8..22, filters=234547515, revisions=(2554200785,useless=2317151359), wck=635.374, mem=45M801
641.06/637.75 decisions=16087761, wrong=8043039, backtracks=4022619, failedAssignments=4757284, nogoods=1853
641.06/637.75
702.98/699.68 num=113, depth=8..22, filters=257588942, revisions=(2810214908,useless=2549884925), wck=697.297, mem=94M665
702.98/699.68 decisions=17716037, wrong=8857171, backtracks=4441166, failedAssignments=5233028, nogoods=1875
702.98/699.68
769.79/766.47 num=114, depth=8..22, filters=282096385, revisions=(3087343414,useless=2802290660), wck=764.094, mem=146M244
769.79/766.47 decisions=19519699, wrong=9758994, backtracks=4908756, failedAssignments=5756346, nogoods=1900
769.79/766.47
846.82/843.49 num=115, depth=9..22, filters=311515404, revisions=(3400609524,useless=3085797278), wck=841.11, mem=66M845
846.82/843.49 decisions=21445796, wrong=10722036, backtracks=5387674, failedAssignments=6331996, nogoods=1938
846.82/843.49
927.04/923.62 num=116, depth=8..23, filters=339807382, revisions=(3728010640,useless=3384660311), wck=921.238, mem=132M338
927.04/923.62 decisions=23669458, wrong=11833860, backtracks=5977045, failedAssignments=6965211, nogoods=1970
927.04/923.62
1019.77/1016.38 num=117, depth=8..23, filters=373848474, revisions=(4113194007,useless=3735523407), wck=1014.0, mem=71M225
1019.77/1016.38 decisions=26081438, wrong=13039844, backtracks=6617768, failedAssignments=7661747, nogoods=1992
1019.77/1016.38
1119.29/1115.86 num=118, depth=8..22, filters=410395336, revisions=(4526286962,useless=4111727704), wck=1113.48, mem=144M648
1119.29/1115.86 decisions=28678771, wrong=14338503, backtracks=7280603, failedAssignments=8427937, nogoods=2043
1119.29/1115.86
1230.93/1227.48 num=119, depth=8..22, filters=453478636, revisions=(4987330291,useless=4529214446), wck=1225.1, mem=96M332
1230.93/1227.48 decisions=31515921, wrong=15757072, backtracks=7987860, failedAssignments=9270746, nogoods=2067
1230.93/1227.48
1352.45/1348.94 num=120, depth=7..22, filters=497518115, revisions=(5492454898,useless=4989927451), wck=1346.557, mem=62M107
1352.45/1348.94 decisions=34741675, wrong=17369942, backtracks=8842269, failedAssignments=10197836, nogoods=2086
1352.45/1348.94
1482.47/1478.99 num=121, depth=7..22, filters=544358253, revisions=(6033436993,useless=5483635461), wck=1476.614, mem=36M490
1482.47/1478.99 decisions=38246155, wrong=19122176, backtracks=9744412, failedAssignments=11217635, nogoods=2106
1482.47/1478.99
1632.18/1628.70 num=122, depth=8..23, filters=601327633, revisions=(6644643112,useless=6037233290), wck=1626.316, mem=146M647
1632.18/1628.70 decisions=41998903, wrong=20998544, backtracks=10672562, failedAssignments=12339414, nogoods=2135
1632.18/1628.70
1797.49/1793.94 num=123, depth=8..22, filters=661492303, revisions=(7321305659,useless=6653194987), wck=1791.559, mem=23M947
1797.49/1793.94 decisions=46316143, wrong=23157158, backtracks=11820202, failedAssignments=13573371, nogoods=2167
1797.49/1793.94
1972.04/1968.45 num=124, depth=7..23, filters=723818578, revisions=(8041802312,useless=7310838693), wck=1966.071, mem=40M587
1972.04/1968.45 decisions=51065007, wrong=25531583, backtracks=13071908, failedAssignments=14930724, nogoods=2179
1972.04/1968.45
2168.80/2165.17 num=125, depth=8..23, filters=796520626, revisions=(8856444699,useless=8052052791), wck=2162.788, mem=73M207
2168.80/2165.17 decisions=56242315, wrong=28120230, backtracks=14424862, failedAssignments=16423812, nogoods=2220
2168.80/2165.17
2382.73/2379.04 num=126, depth=7..22, filters=873103912, revisions=(9737462925,useless=8855858638), wck=2376.657, mem=123M486
2382.73/2379.04 decisions=61962773, wrong=30980451, backtracks=15931011, failedAssignments=18066209, nogoods=2246
2382.73/2379.04
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 (12739 MiB free)
memory of node 1: 16384 MiB (13018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390650-1568383939/watcher-4390650-1568383939 -o /tmp/evaluation-result-4390650-1568383939/solver-4390650-1568383939 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568380473-17198 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390650-1568383939.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=18613, runsolver pid=18610
[startup+0.103473 s]*
/proc/loadavg: 1.81 1.72 1.69 5/228 18628
/proc/meminfo: memFree=26360096/32770624 swapFree=66927232/67108860
[pid=18613] ppid=18610 vsize=10659884 memory=29764 CPUtime=0.14 cores=0,2,4,6
/proc/18613/stat : 18613 (java) S 18610 18613 17167 0 -1 1077944320 5930 0 0 0 13 1 0 0 20 0 15 0 414641208 10915721216 7441 33554432000 4194304 4196468 140735860665232 140735860647776 140355561533175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
/proc/18613/statm: 2664971 7441 2915 1 0 2627468 0
[pid=18613/tid=18615] ppid=18610 vsize=10659884 memory=-8125511277465472892 CPUtime=0.09 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (java) R 18610 18613 17167 0 -1 4202560 3240 0 0 0 9 0 0 0 20 0 15 0 414641209 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355565761648 140355561554522 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18616] ppid=18610 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (java) S 18610 18613 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355514153488 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18617] ppid=18610 vsize=10659884 memory=140630527559296 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18617/stat : 18617 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355513100944 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18618] ppid=18610 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18618/stat : 18618 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355512047888 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18619] ppid=18610 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18619/stat : 18619 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355510995344 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18620] ppid=18610 vsize=10659884 memory=140630527559296 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18620/stat : 18620 (java) S 18610 18613 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414641211 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355120708336 140355561544322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18621] ppid=18610 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18621/stat : 18621 (java) S 18610 18613 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414641211 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355119654560 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18622] ppid=18610 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18622/stat : 18622 (java) S 18610 18613 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414641211 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355118601456 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18623] ppid=18610 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18623/stat : 18623 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414641214 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355117550032 140355561551771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18624] ppid=18610 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18624/stat : 18624 (java) S 18610 18613 17167 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 414641214 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355116497136 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18625] ppid=18610 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18625/stat : 18625 (java) R 18610 18613 17167 0 -1 4202560 302 0 0 0 0 0 0 0 20 0 15 0 414641214 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355115425192 140355542233472 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18626] ppid=18610 vsize=10659884 memory=140630527559296 CPUtime=0.02 cores=0,2,4,6
/proc/18613/task/18626/stat : 18626 (java) R 18610 18613 17167 0 -1 4202560 728 0 0 0 2 0 0 0 20 0 15 0 414641214 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355114387480 140355561554522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18627] ppid=18610 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18627/stat : 18627 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414641214 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355113339232 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18628] ppid=18610 vsize=10659884 memory=140630527559296 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18628/stat : 18628 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641214 10915721216 7507 33554432000 4194304 4196468 140735860665232 140355112287280 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29764 KiB
[startup+0.211095 s]*
/proc/loadavg: 1.81 1.72 1.69 3/228 18628
/proc/meminfo: memFree=26353416/32770624 swapFree=66927232/67108860
[pid=18613] ppid=18610 vsize=10659884 memory=34868 CPUtime=0.33 cores=0,2,4,6
/proc/18613/stat : 18613 (java) S 18610 18613 17167 0 -1 1077944320 6909 0 0 0 31 2 0 0 20 0 15 0 414641208 10915721216 8717 33554432000 4194304 4196468 140735860665232 140735860647776 140355561533175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
/proc/18613/statm: 2664971 8717 2987 1 0 2627468 0
[pid=18613/tid=18615] ppid=18610 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (java) R 18610 18613 17167 0 -1 4202560 3858 0 0 0 19 1 0 0 20 0 15 0 414641209 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355565765264 140355561555101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18616] ppid=18610 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (java) S 18610 18613 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355514153488 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18617] ppid=18610 vsize=10659884 memory=3473317779810535072 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18617/stat : 18617 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355513100944 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18618] ppid=18610 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18618/stat : 18618 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355512047888 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18619] ppid=18610 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18619/stat : 18619 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355510995344 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18620] ppid=18610 vsize=10659884 memory=140630527559296 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18620/stat : 18620 (java) S 18610 18613 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414641211 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355120708336 140355561544322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18621] ppid=18610 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18621/stat : 18621 (java) S 18610 18613 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414641211 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355119654560 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18622] ppid=18610 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18622/stat : 18622 (java) S 18610 18613 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414641211 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355118601456 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18623] ppid=18610 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18623/stat : 18623 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414641214 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355117550032 140355561551771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18624] ppid=18610 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18613/task/18624/stat : 18624 (java) S 18610 18613 17167 0 -1 1077944384 425 0 0 0 2 0 0 0 20 0 15 0 414641214 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355116497136 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18625] ppid=18610 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/18613/task/18625/stat : 18625 (java) S 18610 18613 17167 0 -1 1077944384 506 0 0 0 3 0 0 0 20 0 15 0 414641214 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355115444592 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18626] ppid=18610 vsize=10659884 memory=140630527559296 CPUtime=0.05 cores=0,2,4,6
/proc/18613/task/18626/stat : 18626 (java) S 18610 18613 17167 0 -1 1077944384 761 0 0 0 5 0 0 0 20 0 15 0 414641214 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355114391536 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18627] ppid=18610 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18627/stat : 18627 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414641214 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355113339232 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18628] ppid=18610 vsize=10659884 memory=140630527559296 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18628/stat : 18628 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641214 10915721216 8717 33554432000 4194304 4196468 140735860665232 140355112287280 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34868 KiB
[startup+0.310198 s]*
/proc/loadavg: 1.81 1.72 1.69 3/228 18628
/proc/meminfo: memFree=26345384/32770624 swapFree=66927232/67108860
[pid=18613] ppid=18610 vsize=10659884 memory=39984 CPUtime=0.47 cores=0,2,4,6
/proc/18613/stat : 18613 (java) S 18610 18613 17167 0 -1 1077944320 9456 0 0 0 44 3 0 0 20 0 15 0 414641208 10915721216 9996 33554432000 4194304 4196468 140735860665232 140735860647776 140355561533175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
/proc/18613/statm: 2664971 9996 2999 1 0 2627468 0
[pid=18613/tid=18615] ppid=18610 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (java) R 18610 18613 17167 0 -1 4202560 6321 0 0 0 28 2 0 0 20 0 15 0 414641209 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355565754064 140355561545110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18616] ppid=18610 vsize=10659884 memory=304556161963917335 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (java) S 18610 18613 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355514153488 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18617] ppid=18610 vsize=10659884 memory=4123521677477267104 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18617/stat : 18617 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355513100944 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18618] ppid=18610 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18618/stat : 18618 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355512047888 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18619] ppid=18610 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18619/stat : 18619 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355510995344 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18620] ppid=18610 vsize=10659884 memory=140630527559296 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18620/stat : 18620 (java) S 18610 18613 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414641211 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355120708336 140355561544322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18621] ppid=18610 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18621/stat : 18621 (java) S 18610 18613 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414641211 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355119654560 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18622] ppid=18610 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18622/stat : 18622 (java) S 18610 18613 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414641211 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355118601456 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18623] ppid=18610 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18623/stat : 18623 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414641214 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355117550032 140355561551771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18624] ppid=18610 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18613/task/18624/stat : 18624 (java) R 18610 18613 17167 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 15 0 414641214 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355116497136 140355561544322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18625] ppid=18610 vsize=10659884 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/18613/task/18625/stat : 18625 (java) R 18610 18613 17167 0 -1 4202560 559 0 0 0 5 0 0 0 20 0 15 0 414641214 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355115444592 140355541382720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18626] ppid=18610 vsize=10659884 memory=140630527559296 CPUtime=0.07 cores=0,2,4,6
/proc/18613/task/18626/stat : 18626 (java) R 18610 18613 17167 0 -1 4202560 785 0 0 0 7 0 0 0 20 0 15 0 414641214 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355114391536 140355540178790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18627] ppid=18610 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18627/stat : 18627 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414641214 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355113339232 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18628] ppid=18610 vsize=10659884 memory=140630527559296 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18628/stat : 18628 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641214 10915721216 9996 33554432000 4194304 4196468 140735860665232 140355112287280 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39984 KiB
[startup+0.700754 s]
/proc/loadavg: 1.81 1.72 1.69 3/228 18628
/proc/meminfo: memFree=26335384/32770624 swapFree=66927232/67108860
[pid=18613] ppid=18610 vsize=10661932 memory=63876 CPUtime=1.1 cores=0,2,4,6
/proc/18613/stat : 18613 (java) S 18610 18613 17167 0 -1 1077944320 13164 0 0 0 104 6 0 0 20 0 15 0 414641208 10917818368 15969 33554432000 4194304 4196468 140735860665232 140735860647776 140355561533175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
/proc/18613/statm: 2665483 15969 3060 1 0 2627980 0
[pid=18613/tid=18615] ppid=18610 vsize=10661932 memory=1436 CPUtime=0.67 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (java) R 18610 18613 17167 0 -1 4202560 8847 0 0 0 63 4 0 0 20 0 15 0 414641209 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355565765200 140355561555101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18616] ppid=18610 vsize=10661932 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (java) S 18610 18613 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414641209 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355514153488 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18617] ppid=18610 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18617/stat : 18617 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355513100944 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18618] ppid=18610 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18618/stat : 18618 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355512047888 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18619] ppid=18610 vsize=10661932 memory=692 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18619/stat : 18619 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355510995344 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18620] ppid=18610 vsize=10661932 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18620/stat : 18620 (java) S 18610 18613 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414641211 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355120708336 140355561544322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18621] ppid=18610 vsize=10661932 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18621/stat : 18621 (java) S 18610 18613 17167 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414641211 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355119654560 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18622] ppid=18610 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18622/stat : 18622 (java) S 18610 18613 17167 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414641211 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355118601456 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18623] ppid=18610 vsize=10661932 memory=6296683612688699741 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18623/stat : 18623 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414641214 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355117550032 140355561551771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18624] ppid=18610 vsize=10661932 memory=7739276948478061671 CPUtime=0.08 cores=0,2,4,6
/proc/18613/task/18624/stat : 18624 (java) R 18610 18613 17167 0 -1 4202560 780 0 0 0 8 0 0 0 20 0 15 0 414641214 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355116497136 140355541052981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18625] ppid=18610 vsize=10661932 memory=7019257425709197167 CPUtime=0.13 cores=0,2,4,6
/proc/18613/task/18625/stat : 18625 (java) S 18610 18613 17167 0 -1 1077944384 888 0 0 0 13 0 0 0 20 0 15 0 414641214 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355115444592 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18626] ppid=18610 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/18613/task/18626/stat : 18626 (java) S 18610 18613 17167 0 -1 1077944384 1289 0 0 0 18 0 0 0 20 0 15 0 414641214 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355114391536 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18627] ppid=18610 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18627/stat : 18627 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414641214 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355113339232 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18628] ppid=18610 vsize=10661932 memory=33 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18628/stat : 18628 (java) S 18610 18613 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414641214 10917818368 15969 33554432000 4194304 4196468 140735860665232 140355112287280 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63876 KiB
[startup+1.50082 s]
/proc/loadavg: 1.81 1.72 1.69 3/228 18628
/proc/meminfo: memFree=26319244/32770624 swapFree=66927232/67108860
[pid=18613] ppid=18610 vsize=10663980 memory=76120 CPUtime=2.01 cores=0,2,4,6
/proc/18613/stat : 18613 (java) S 18610 18613 17167 0 -1 1077944320 18790 0 0 0 194 7 0 0 20 0 15 0 414641208 10919915520 19030 33554432000 4194304 4196468 140735860665232 140735860647776 140355561533175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
/proc/18613/statm: 2665995 19030 3092 1 0 2628492 0
[pid=18613/tid=18615] ppid=18610 vsize=10663980 memory=6791534058613427641 CPUtime=1.47 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (java) R 18610 18613 17167 0 -1 4202560 13158 0 0 0 142 5 0 0 20 0 15 0 414641209 10919915520 19030 33554432000 4194304 4196468 140735860665232 140355565765200 140355545613662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18616] ppid=18610 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (java) S 18610 18613 17167 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414641209 10919915520 19030 33554432000 4194304 4196468 140735860665232 140355514153488 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18617] ppid=18610 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18617/stat : 18617 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10919915520 19030 33554432000 4194304 4196468 140735860665232 140355513100944 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18618] ppid=18610 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18618/stat : 18618 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10919915520 19030 33554432000 4194304 4196468 140735860665232 140355512047888 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18619] ppid=18610 vsize=10663980 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18619/stat : 18619 (java) S 18610 18613 17167 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414641209 10919915520 19030 33554432000 4194304 4196468 140735860665232 140355510995344 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18620] ppid=18610 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18620/stat : 18620 (java) S 18610 18613 17167 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 414641211 10919915520 19030 33554432000 4194304 4196468 140735860665232 140355120708336 140355561544322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
################
# More data... #
################
/proc/18613/task/18619/stat : 18619 (java) S 18610 18613 17167 0 -1 1077944384 2109 0 0 0 10 2 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355510995344 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18620] ppid=18610 vsize=10748324 memory=12 CPUtime=0.07 cores=0,2,4,6
/proc/18613/task/18620/stat : 18620 (java) S 18610 18613 17167 0 -1 1077944384 5014 0 0 0 5 2 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355120708336 140355561544322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18621] ppid=18610 vsize=10748324 memory=270828 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18621/stat : 18621 (java) S 18610 18613 17167 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355119654624 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18622] ppid=18610 vsize=10748324 memory=268264 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18622/stat : 18622 (java) S 18610 18613 17167 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355118601472 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18623] ppid=18610 vsize=10748324 memory=268264 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18623/stat : 18623 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355117550032 140355561551771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18624] ppid=18610 vsize=10748324 memory=270816 CPUtime=1.18 cores=0,2,4,6
/proc/18613/task/18624/stat : 18624 (java) S 18610 18613 17167 0 -1 1077944384 7727 0 0 0 117 1 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355116497136 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18625] ppid=18610 vsize=10748324 memory=268264 CPUtime=1.12 cores=0,2,4,6
/proc/18613/task/18625/stat : 18625 (java) S 18610 18613 17167 0 -1 1077944384 7112 0 0 0 110 2 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355115444592 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18626] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.73 cores=0,2,4,6
/proc/18613/task/18626/stat : 18626 (java) S 18610 18613 17167 0 -1 1077944384 8416 0 0 0 71 2 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355114391536 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18627] ppid=18610 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18627/stat : 18627 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355113339232 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18628] ppid=18610 vsize=10748324 memory=776 CPUtime=0.72 cores=0,2,4,6
/proc/18613/task/18628/stat : 18628 (java) S 18610 18613 17167 0 -1 1077944384 1523 0 0 0 32 40 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355112287280 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18629] ppid=18610 vsize=10748324 memory=268264 CPUtime=2439.81 cores=0,2,4,6
/proc/18613/task/18629/stat : 18629 (java) R 18610 18613 17167 0 -1 4202560 19171 0 0 0 243976 5 0 0 20 0 16 0 414641398 11006283776 67066 33554432000 4194304 4196468 140735860665232 140354772939216 140355193016826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
Current children cumulated CPU time: 2446.04 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268264 KiB
[startup+2502.3 s]
/proc/loadavg: 1.89 1.80 1.80 3/231 18955
/proc/meminfo: memFree=26157408/32770624 swapFree=66927240/67108860
[pid=18613] ppid=18610 vsize=10748324 memory=268264 CPUtime=2506.06 cores=0,2,4,6
/proc/18613/stat : 18613 (java) S 18610 18613 17167 0 -1 1077944320 78313 0 0 0 250556 50 0 0 20 0 16 0 414641208 11006283776 67066 33554432000 4194304 4196468 140735860665232 140735860647776 140355561533175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
/proc/18613/statm: 2687081 67066 3369 1 0 2647217 0
[pid=18613/tid=18615] ppid=18610 vsize=10748324 memory=268264 CPUtime=1.87 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (java) S 18610 18613 17167 0 -1 1077944384 15429 0 0 0 180 7 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355565776048 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18616] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.12 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (java) S 18610 18613 17167 0 -1 1077944384 2930 0 0 0 11 1 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355514153488 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18617] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.11 cores=0,2,4,6
/proc/18613/task/18617/stat : 18617 (java) S 18610 18613 17167 0 -1 1077944384 3506 0 0 0 11 0 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355513100944 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18618] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.11 cores=0,2,4,6
/proc/18613/task/18618/stat : 18618 (java) S 18610 18613 17167 0 -1 1077944384 3821 0 0 0 10 1 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355512047888 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18619] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.12 cores=0,2,4,6
/proc/18613/task/18619/stat : 18619 (java) S 18610 18613 17167 0 -1 1077944384 2109 0 0 0 10 2 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355510995344 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18620] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.07 cores=0,2,4,6
/proc/18613/task/18620/stat : 18620 (java) S 18610 18613 17167 0 -1 1077944384 5021 0 0 0 5 2 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355120708336 140355561544322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18621] ppid=18610 vsize=10748324 memory=268264 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18621/stat : 18621 (java) S 18610 18613 17167 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355119654624 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18622] ppid=18610 vsize=10748324 memory=268264 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18622/stat : 18622 (java) S 18610 18613 17167 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355118601472 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18623] ppid=18610 vsize=10748324 memory=5865473873618944101 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18623/stat : 18623 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355117550032 140355561551771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18624] ppid=18610 vsize=10748324 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/18613/task/18624/stat : 18624 (java) S 18610 18613 17167 0 -1 1077944384 7734 0 0 0 117 1 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355116497136 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18625] ppid=18610 vsize=10748324 memory=268264 CPUtime=1.12 cores=0,2,4,6
/proc/18613/task/18625/stat : 18625 (java) S 18610 18613 17167 0 -1 1077944384 7116 0 0 0 110 2 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355115444592 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18626] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.73 cores=0,2,4,6
/proc/18613/task/18626/stat : 18626 (java) S 18610 18613 17167 0 -1 1077944384 8418 0 0 0 71 2 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355114391536 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18627] ppid=18610 vsize=10748324 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18627/stat : 18627 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355113339232 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18628] ppid=18610 vsize=10748324 memory=111632 CPUtime=0.73 cores=0,2,4,6
/proc/18613/task/18628/stat : 18628 (java) S 18610 18613 17167 0 -1 1077944384 1553 0 0 0 32 41 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355112287280 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18629] ppid=18610 vsize=10748324 memory=2636 CPUtime=2499.81 cores=0,2,4,6
/proc/18613/task/18629/stat : 18629 (java) R 18610 18613 17167 0 -1 4202560 19242 0 0 0 249976 5 0 0 20 0 16 0 414641398 11006283776 67066 33554432000 4194304 4196468 140735860665232 140354772939216 140355193016613 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
Current children cumulated CPU time: 2506.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.3 s]
/proc/loadavg: 1.92 1.81 1.80 3/230 18956
/proc/meminfo: memFree=26157152/32770624 swapFree=66927240/67108860
[pid=18613] ppid=18610 vsize=10748324 memory=268264 CPUtime=2520.06 cores=0,2,4,6
/proc/18613/stat : 18613 (java) S 18610 18613 17167 0 -1 1077944320 78322 0 0 0 251956 50 0 0 20 0 16 0 414641208 11006283776 67066 33554432000 4194304 4196468 140735860665232 140735860647776 140355561533175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
/proc/18613/statm: 2687081 67066 3369 1 0 2647217 0
[pid=18613/tid=18615] ppid=18610 vsize=10748324 memory=268264 CPUtime=1.87 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (java) S 18610 18613 17167 0 -1 1077944384 15429 0 0 0 180 7 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355565776048 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18616] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.12 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (java) S 18610 18613 17167 0 -1 1077944384 2930 0 0 0 11 1 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355514153488 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18617] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.11 cores=0,2,4,6
/proc/18613/task/18617/stat : 18617 (java) S 18610 18613 17167 0 -1 1077944384 3506 0 0 0 11 0 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355513100944 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18618] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.11 cores=0,2,4,6
/proc/18613/task/18618/stat : 18618 (java) S 18610 18613 17167 0 -1 1077944384 3821 0 0 0 10 1 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355512047888 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18619] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.12 cores=0,2,4,6
/proc/18613/task/18619/stat : 18619 (java) S 18610 18613 17167 0 -1 1077944384 2109 0 0 0 10 2 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355510995344 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18620] ppid=18610 vsize=10748324 memory=250791 CPUtime=0.07 cores=0,2,4,6
/proc/18613/task/18620/stat : 18620 (java) S 18610 18613 17167 0 -1 1077944384 5021 0 0 0 5 2 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355120708336 140355561544322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18621] ppid=18610 vsize=10748324 memory=268264 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18621/stat : 18621 (java) S 18610 18613 17167 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355119654624 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18622] ppid=18610 vsize=10748324 memory=268264 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18622/stat : 18622 (java) S 18610 18613 17167 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355118601472 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18623] ppid=18610 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18623/stat : 18623 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355117550032 140355561551771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18624] ppid=18610 vsize=10748324 memory=9592 CPUtime=1.18 cores=0,2,4,6
/proc/18613/task/18624/stat : 18624 (java) S 18610 18613 17167 0 -1 1077944384 7734 0 0 0 117 1 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355116497136 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18625] ppid=18610 vsize=10748324 memory=268264 CPUtime=1.12 cores=0,2,4,6
/proc/18613/task/18625/stat : 18625 (java) S 18610 18613 17167 0 -1 1077944384 7116 0 0 0 110 2 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355115444592 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18626] ppid=18610 vsize=10748324 memory=5924 CPUtime=0.73 cores=0,2,4,6
/proc/18613/task/18626/stat : 18626 (java) S 18610 18613 17167 0 -1 1077944384 8418 0 0 0 71 2 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355114391536 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18627] ppid=18610 vsize=10748324 memory=2028 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18627/stat : 18627 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355113339232 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18628] ppid=18610 vsize=10748324 memory=988 CPUtime=0.73 cores=0,2,4,6
/proc/18613/task/18628/stat : 18628 (java) S 18610 18613 17167 0 -1 1077944384 1553 0 0 0 32 41 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355112287280 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18629] ppid=18610 vsize=10748324 memory=268264 CPUtime=2513.81 cores=0,2,4,6
/proc/18613/task/18629/stat : 18629 (java) R 18610 18613 17167 0 -1 4202560 19251 0 0 0 251376 5 0 0 20 0 16 0 414641398 11006283776 67066 33554432000 4194304 4196468 140735860665232 140354772939216 140355193344034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.31 s]
# the end of solver process 18613 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.57 s, system=0.508012 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2516.3 s]
/proc/loadavg: 1.92 1.81 1.80 3/230 18956
/proc/meminfo: memFree=26157152/32770624 swapFree=66927240/67108860
[pid=18613] ppid=18610 vsize=10748324 memory=268264 CPUtime=2520.06 cores=0,2,4,6
/proc/18613/stat : 18613 (java) S 18610 18613 17167 0 -1 1077944320 78322 0 0 0 251956 50 0 0 20 0 16 0 414641208 11006283776 67066 33554432000 4194304 4196468 140735860665232 140735860647776 140355561533175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
/proc/18613/statm: 2687081 67066 3369 1 0 2647217 0
[pid=18613/tid=18615] ppid=18610 vsize=10748324 memory=268264 CPUtime=1.87 cores=0,2,4,6
/proc/18613/task/18615/stat : 18615 (java) S 18610 18613 17167 0 -1 1077944384 15429 0 0 0 180 7 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355565776048 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18616] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.12 cores=0,2,4,6
/proc/18613/task/18616/stat : 18616 (java) S 18610 18613 17167 0 -1 1077944384 2930 0 0 0 11 1 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355514153488 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18617] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.11 cores=0,2,4,6
/proc/18613/task/18617/stat : 18617 (java) S 18610 18613 17167 0 -1 1077944384 3506 0 0 0 11 0 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355513100944 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18618] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.11 cores=0,2,4,6
/proc/18613/task/18618/stat : 18618 (java) S 18610 18613 17167 0 -1 1077944384 3821 0 0 0 10 1 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355512047888 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18619] ppid=18610 vsize=10748324 memory=268264 CPUtime=0.12 cores=0,2,4,6
/proc/18613/task/18619/stat : 18619 (java) S 18610 18613 17167 0 -1 1077944384 2109 0 0 0 10 2 0 0 20 0 16 0 414641209 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355510995344 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18620] ppid=18610 vsize=10748324 memory=250791 CPUtime=0.07 cores=0,2,4,6
/proc/18613/task/18620/stat : 18620 (java) S 18610 18613 17167 0 -1 1077944384 5021 0 0 0 5 2 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355120708336 140355561544322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18621] ppid=18610 vsize=10748324 memory=268264 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18621/stat : 18621 (java) S 18610 18613 17167 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355119654624 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18622] ppid=18610 vsize=10748324 memory=268264 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18622/stat : 18622 (java) S 18610 18613 17167 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414641211 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355118601472 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18623] ppid=18610 vsize=10748324 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18623/stat : 18623 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355117550032 140355561551771 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18624] ppid=18610 vsize=10748324 memory=9592 CPUtime=1.18 cores=0,2,4,6
/proc/18613/task/18624/stat : 18624 (java) S 18610 18613 17167 0 -1 1077944384 7734 0 0 0 117 1 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355116497136 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18625] ppid=18610 vsize=10748324 memory=268264 CPUtime=1.12 cores=0,2,4,6
/proc/18613/task/18625/stat : 18625 (java) S 18610 18613 17167 0 -1 1077944384 7116 0 0 0 110 2 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355115444592 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18626] ppid=18610 vsize=10748324 memory=5924 CPUtime=0.73 cores=0,2,4,6
/proc/18613/task/18626/stat : 18626 (java) S 18610 18613 17167 0 -1 1077944384 8418 0 0 0 71 2 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355114391536 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18627] ppid=18610 vsize=10748324 memory=2028 CPUtime=0 cores=0,2,4,6
/proc/18613/task/18627/stat : 18627 (java) S 18610 18613 17167 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355113339232 140355561543381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18628] ppid=18610 vsize=10748324 memory=988 CPUtime=0.73 cores=0,2,4,6
/proc/18613/task/18628/stat : 18628 (java) S 18610 18613 17167 0 -1 1077944384 1553 0 0 0 32 41 0 0 20 0 16 0 414641214 11006283776 67066 33554432000 4194304 4196468 140735860665232 140355112287280 140355561544322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
[pid=18613/tid=18629] ppid=18610 vsize=10748324 memory=268264 CPUtime=2513.81 cores=0,2,4,6
/proc/18613/task/18629/stat : 18629 (java) R 18610 18613 17167 0 -1 4202560 19251 0 0 0 251376 5 0 0 20 0 16 0 414641398 11006283776 67066 33554432000 4194304 4196468 140735860665232 140354772939216 140355193344034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24084480 140735860667403 140735860667506 140735860667506 140735860670415 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268264 KiB
Child status: 143
Real time (s): 2516.31
CPU time (s): 2520.08
CPU user time (s): 2519.57
CPU system time (s): 0.508012
CPU usage (%): 100.15
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 294256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.508012
maximum resident set size= 294272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78718
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57711
involuntary context switches= 2675
# summary of solver processes directly reported to runsolver:
# pid: 18613
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.57
# total CPU system time (s): 0.508012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4585 second user time and 18.1898 second system time
The end