2.42/1.89
2.42/1.89 AbsCon 2
2.63/1.91
2.90/2.09 Instance
2.90/2.09 name=instance-4390690-1568383594, framework=CSP
2.90/2.09
2.90/2.09 Loading variables...
3.21/2.12 Loading constraints...
4.19/2.51
4.19/2.51 Domains
4.19/2.51 nTypes=2, nValues=20736, sizes=[12#144,144#132]
4.19/2.51 Variables
4.19/2.51 count=276, degrees=[2#132,135#12,136#132]
4.19/2.51 Constraints
4.19/2.51 count=300, nSpecific=288, arities=[1#12,3#132,12#24,145#132]
4.19/2.51 distribution=[AllDifferent#24,CtrIntension#12,ElementConstant#132,SumWeightedEQ#132]
4.19/2.51 nIntStructures=(12,shared:0)
4.19/2.51 wck=0.652, cpu=2.478, mem=47M653
4.19/2.52 Solver SolverBacktrack being built...
4.19/2.52
4.19/2.55
4.19/2.55 Solver
4.19/2.55 guaranteedGAC=false
4.19/2.55 wck=0.69, cpu=2.514, mem=58M295
4.19/2.58
4.19/2.58 Preprocessing
4.19/2.58 filters=1668, revisions=(12,useless=0), ccks=144, nACremovedValues=5040, nTotalRemovedValues=5040, inconcistency=false
4.19/2.58 wck=0.032, cpu=2.548, mem=60M937
4.19/2.58
4.47/2.63 num=0, depth=1..24, filters=4891, revisions=(12,useless=0), ccks=144, wck=0.076, mem=60M937
4.47/2.63 decisions=50, wrong=14, backtracks=4, failedAssignments=10, nogoods=9
4.47/2.63
4.47/2.65 num=1, depth=5..30, filters=9036, revisions=(12,useless=0), ccks=144, wck=0.104, mem=63M580
4.47/2.65 decisions=103, wrong=27, backtracks=6, failedAssignments=21, nogoods=18
4.47/2.65
4.47/2.68 num=2, depth=16..28, filters=13629, revisions=(12,useless=0), ccks=144, wck=0.132, mem=63M580
4.47/2.68 decisions=161, wrong=43, backtracks=10, failedAssignments=33, nogoods=23
4.47/2.68
4.79/2.72 num=3, depth=23..25, filters=20494, revisions=(12,useless=0), ccks=144, wck=0.172, mem=66M222
4.79/2.72 decisions=214, wrong=58, backtracks=12, failedAssignments=46, nogoods=29
4.79/2.72
4.79/2.76 num=4, depth=22..28, filters=30417, revisions=(12,useless=0), ccks=144, wck=0.209, mem=68M865
4.79/2.76 decisions=287, wrong=83, backtracks=26, failedAssignments=60, nogoods=32
4.79/2.76
4.79/2.79 num=5, depth=23..29, filters=38812, revisions=(12,useless=0), ccks=144, wck=0.24, mem=71M507
4.79/2.79 decisions=364, wrong=110, backtracks=39, failedAssignments=76, nogoods=37
4.79/2.79
5.07/2.82 num=6, depth=16..29, filters=48086, revisions=(12,useless=0), ccks=144, wck=0.273, mem=71M507
5.07/2.82 decisions=446, wrong=138, backtracks=53, failedAssignments=93, nogoods=45
5.07/2.82
5.07/2.87 num=7, depth=24..31, filters=64238, revisions=(12,useless=0), ccks=144, wck=0.32, mem=76M792
5.07/2.87 decisions=565, wrong=185, backtracks=83, failedAssignments=112, nogoods=48
5.07/2.87
5.24/2.90 num=8, depth=20..30, filters=74663, revisions=(12,useless=0), ccks=144, wck=0.353, mem=79M434
5.24/2.90 decisions=658, wrong=218, backtracks=101, failedAssignments=133, nogoods=56
5.24/2.90
5.24/2.95 num=9, depth=20..28, filters=89792, revisions=(12,useless=0), ccks=144, wck=0.398, mem=82M77
5.24/2.95 decisions=759, wrong=258, backtracks=121, failedAssignments=156, nogoods=61
5.24/2.95
5.24/2.98 num=10, depth=25..33, filters=101572, revisions=(12,useless=0), ccks=144, wck=0.433, mem=84M719
5.24/2.98 decisions=865, wrong=298, backtracks=140, failedAssignments=181, nogoods=72
5.24/2.98
5.37/3.02 num=11, depth=27..32, filters=114734, revisions=(12,useless=0), ccks=144, wck=0.474, mem=87M362
5.37/3.02 decisions=982, wrong=342, backtracks=163, failedAssignments=209, nogoods=75
5.37/3.02
5.37/3.08 num=12, depth=25..30, filters=133574, revisions=(12,useless=0), ccks=144, wck=0.525, mem=90M4
5.37/3.08 decisions=1108, wrong=392, backtracks=189, failedAssignments=240, nogoods=82
5.37/3.08
5.54/3.14 num=13, depth=26..31, filters=154328, revisions=(12,useless=0), ccks=144, wck=0.585, mem=92M646
5.54/3.14 decisions=1247, wrong=448, backtracks=222, failedAssignments=274, nogoods=93
5.54/3.14
5.63/3.21 num=14, depth=12..33, filters=182139, revisions=(12,useless=0), ccks=144, wck=0.657, mem=97M931
5.63/3.21 decisions=1417, wrong=520, backtracks=270, failedAssignments=311, nogoods=100
5.63/3.21
5.63/3.27 num=15, depth=24..31, filters=202647, revisions=(12,useless=0), ccks=144, wck=0.715, mem=100M574
5.63/3.27 decisions=1589, wrong=592, backtracks=314, failedAssignments=352, nogoods=104
5.63/3.27
5.73/3.33 num=16, depth=25..32, filters=223023, revisions=(12,useless=0), ccks=144, wck=0.777, mem=105M859
5.73/3.33 decisions=1758, wrong=664, backtracks=351, failedAssignments=397, nogoods=111
5.73/3.33
5.73/3.37 num=17, depth=15..32, filters=239834, revisions=(12,useless=0), ccks=144, wck=0.82, mem=108M501
5.73/3.37 decisions=1912, wrong=728, backtracks=372, failedAssignments=447, nogoods=121
5.73/3.37
5.83/3.46 num=18, depth=15..32, filters=271866, revisions=(12,useless=0), ccks=144, wck=0.909, mem=113M786
5.83/3.46 decisions=2120, wrong=819, backtracks=428, failedAssignments=502, nogoods=126
5.83/3.46
5.93/3.56 num=19, depth=24..33, filters=307784, revisions=(12,useless=0), ccks=144, wck=1.004, mem=119M71
5.93/3.56 decisions=2363, wrong=927, backtracks=494, failedAssignments=563, nogoods=130
5.93/3.56
6.03/3.67 num=20, depth=23..30, filters=353061, revisions=(12,useless=0), ccks=144, wck=1.121, mem=126M998
6.03/3.67 decisions=2601, wrong=1034, backtracks=554, failedAssignments=630, nogoods=138
6.03/3.67
6.14/3.77 num=21, depth=10..34, filters=389749, revisions=(12,useless=0), ccks=144, wck=1.215, mem=134M925
6.14/3.77 decisions=2883, wrong=1162, backtracks=629, failedAssignments=704, nogoods=142
6.14/3.77
6.24/3.87 num=22, depth=25..36, filters=426814, revisions=(12,useless=0), ccks=144, wck=1.318, mem=140M210
6.24/3.87 decisions=3205, wrong=1308, backtracks=724, failedAssignments=785, nogoods=147
6.24/3.87
6.34/3.98 num=23, depth=23..32, filters=468153, revisions=(12,useless=0), ccks=144, wck=1.431, mem=25M446
6.34/3.98 decisions=3552, wrong=1469, backtracks=817, failedAssignments=874, nogoods=152
6.34/3.98
6.60/4.15 num=24, depth=10..33, filters=530996, revisions=(12,useless=0), ccks=144, wck=1.594, mem=35M910
6.60/4.15 decisions=3933, wrong=1646, backtracks=919, failedAssignments=972, nogoods=160
6.60/4.15
6.79/4.32 num=25, depth=24..34, filters=604347, revisions=(12,useless=0), ccks=144, wck=1.766, mem=46M374
6.79/4.32 decisions=4346, wrong=1838, backtracks=1054, failedAssignments=1080, nogoods=170
6.79/4.32
6.89/4.44 num=26, depth=23..30, filters=655746, revisions=(12,useless=0), ccks=144, wck=1.891, mem=54M222
6.89/4.44 decisions=4786, wrong=2045, backtracks=1201, failedAssignments=1199, nogoods=180
6.89/4.44
7.09/4.63 num=27, depth=25..35, filters=732248, revisions=(12,useless=0), ccks=144, wck=2.079, mem=67M302
7.09/4.63 decisions=5265, wrong=2271, backtracks=1337, failedAssignments=1330, nogoods=183
7.09/4.63
7.29/4.83 num=28, depth=25..32, filters=811947, revisions=(12,useless=0), ccks=144, wck=2.277, mem=82M998
7.29/4.83 decisions=5802, wrong=2527, backtracks=1504, failedAssignments=1474, nogoods=188
7.29/4.83
7.39/5.00 num=29, depth=25..34, filters=884814, revisions=(12,useless=0), ccks=144, wck=2.449, mem=93M462
7.39/5.00 decisions=6395, wrong=2810, backtracks=1684, failedAssignments=1632, nogoods=196
7.39/5.00
7.70/5.23 num=30, depth=20..36, filters=973753, revisions=(12,useless=0), ccks=144, wck=2.68, mem=111M773
7.70/5.23 decisions=7016, wrong=3107, backtracks=1867, failedAssignments=1806, nogoods=202
7.70/5.23
7.90/5.43 num=31, depth=26..37, filters=1056367, revisions=(12,useless=0), ccks=144, wck=2.881, mem=127M469
7.90/5.43 decisions=7698, wrong=3435, backtracks=2072, failedAssignments=1997, nogoods=213
7.90/5.43
8.10/5.65 num=32, depth=19..34, filters=1145027, revisions=(12,useless=0), ccks=144, wck=3.1, mem=141M870
8.10/5.65 decisions=8460, wrong=3802, backtracks=2305, failedAssignments=2208, nogoods=219
8.10/5.65
8.47/5.98 num=33, depth=25..33, filters=1281237, revisions=(12,useless=0), ccks=144, wck=3.433, mem=33M261
8.47/5.98 decisions=9318, wrong=4218, backtracks=2583, failedAssignments=2440, nogoods=228
8.47/5.98
8.88/6.33 num=34, depth=15..32, filters=1430916, revisions=(12,useless=0), ccks=144, wck=3.778, mem=56M805
8.88/6.33 decisions=10240, wrong=4666, backtracks=2873, failedAssignments=2695, nogoods=236
8.88/6.33
9.19/6.66 num=35, depth=17..33, filters=1541633, revisions=(12,useless=0), ccks=144, wck=4.113, mem=82M965
9.19/6.66 decisions=11210, wrong=5139, backtracks=3119, failedAssignments=2976, nogoods=241
9.19/6.66
9.60/7.10 num=36, depth=7..33, filters=1710546, revisions=(12,useless=0), ccks=144, wck=4.552, mem=116M973
9.60/7.10 decisions=12329, wrong=5686, backtracks=3439, failedAssignments=3285, nogoods=252
9.60/7.10
10.09/7.53 num=37, depth=22..31, filters=1894690, revisions=(12,useless=0), ccks=144, wck=4.976, mem=143M132
10.09/7.53 decisions=13652, wrong=6335, backtracks=3876, failedAssignments=3625, nogoods=263
10.09/7.53
10.43/7.87 num=38, depth=8..32, filters=2042091, revisions=(12,useless=0), ccks=144, wck=5.319, mem=33M588
10.43/7.87 decisions=14864, wrong=6928, backtracks=4188, failedAssignments=3999, nogoods=284
10.43/7.87
10.93/8.36 num=39, depth=22..33, filters=2255842, revisions=(12,useless=0), ccks=144, wck=5.81, mem=73M123
10.93/8.36 decisions=16410, wrong=7688, backtracks=4674, failedAssignments=4410, nogoods=291
10.93/8.36
11.33/8.75 num=40, depth=25..34, filters=2414622, revisions=(12,useless=0), ccks=144, wck=6.202, mem=105M469
11.33/8.75 decisions=17859, wrong=8399, backtracks=5048, failedAssignments=4862, nogoods=302
11.33/8.75
12.03/9.48 num=41, depth=6..33, filters=2745646, revisions=(12,useless=0), ccks=144, wck=6.927, mem=166M568
12.03/9.48 decisions=19722, wrong=9318, backtracks=5590, failedAssignments=5359, nogoods=311
12.03/9.48
12.78/10.14 num=42, depth=23..33, filters=3025381, revisions=(12,useless=0), ccks=144, wck=7.584, mem=37M248
12.78/10.14 decisions=21518, wrong=10203, backtracks=6082, failedAssignments=5906, nogoods=316
12.78/10.14
13.27/10.70 num=43, depth=23..32, filters=3276984, revisions=(12,useless=0), ccks=144, wck=8.145, mem=76M873
13.27/10.70 decisions=23508, wrong=11185, backtracks=6608, failedAssignments=6508, nogoods=327
13.27/10.70
13.97/11.34 num=44, depth=18..33, filters=3570629, revisions=(12,useless=0), ccks=144, wck=8.785, mem=123M702
13.97/11.34 decisions=25815, wrong=12326, backtracks=7298, failedAssignments=7170, nogoods=335
13.97/11.34
14.57/11.92 num=45, depth=9..35, filters=3836752, revisions=(12,useless=0), ccks=144, wck=9.368, mem=163M328
14.57/11.92 decisions=28107, wrong=13459, backtracks=7833, failedAssignments=7898, nogoods=346
14.57/11.92
15.62/12.96 num=46, depth=20..34, filters=4278791, revisions=(12,useless=0), ccks=144, wck=10.412, mem=62M608
15.62/12.96 decisions=30982, wrong=14883, backtracks=8712, failedAssignments=8699, nogoods=355
15.62/12.96
17.02/14.35 num=47, depth=19..33, filters=4853063, revisions=(12,useless=0), ccks=144, wck=11.803, mem=176M849
17.02/14.35 decisions=34102, wrong=16431, backtracks=9719, failedAssignments=9580, nogoods=372
17.02/14.35
18.42/15.73 num=48, depth=21..34, filters=5456778, revisions=(12,useless=0), ccks=144, wck=13.181, mem=271M223
18.42/15.73 decisions=37669, wrong=18203, backtracks=10945, failedAssignments=10550, nogoods=376
18.42/15.73
19.77/17.10 num=49, depth=24..34, filters=6082613, revisions=(12,useless=0), ccks=144, wck=14.551, mem=127M654
19.77/17.10 decisions=41545, wrong=20128, backtracks=12196, failedAssignments=11617, nogoods=390
19.77/17.10
20.96/18.28 num=50, depth=10..35, filters=6609129, revisions=(12,useless=0), ccks=144, wck=15.73, mem=207M538
20.96/18.28 decisions=45693, wrong=22188, backtracks=13494, failedAssignments=12790, nogoods=403
20.96/18.28
22.39/19.65 num=51, depth=18..36, filters=7202789, revisions=(12,useless=0), ccks=144, wck=17.095, mem=56M387
22.39/19.65 decisions=49957, wrong=24307, backtracks=14678, failedAssignments=14081, nogoods=423
22.39/19.65
24.09/21.38 num=52, depth=19..35, filters=7963844, revisions=(12,useless=0), ccks=144, wck=18.832, mem=170M339
24.09/21.38 decisions=55025, wrong=26828, backtracks=16305, failedAssignments=15501, nogoods=431
24.09/21.38
26.29/23.57 num=53, depth=22..36, filters=8903841, revisions=(12,useless=0), ccks=144, wck=21.022, mem=337M916
26.29/23.57 decisions=60843, wrong=29723, backtracks=18238, failedAssignments=17063, nogoods=434
26.29/23.57
28.63/25.89 num=54, depth=23..36, filters=9900934, revisions=(12,useless=0), ccks=144, wck=23.343, mem=185M287
28.63/25.89 decisions=66995, wrong=32785, backtracks=20242, failedAssignments=18781, nogoods=452
28.63/25.89
31.37/28.52 num=55, depth=9..36, filters=10960382, revisions=(12,useless=0), ccks=144, wck=25.972, mem=38M844
31.37/28.52 decisions=73752, wrong=36150, backtracks=22394, failedAssignments=20671, nogoods=460
31.37/28.52
34.07/31.29 num=56, depth=9..37, filters=12081953, revisions=(12,useless=0), ccks=144, wck=28.743, mem=222M527
34.07/31.29 decisions=81171, wrong=39847, backtracks=24718, failedAssignments=22750, nogoods=487
34.07/31.29
37.71/34.85 num=57, depth=10..36, filters=13589432, revisions=(12,useless=0), ccks=144, wck=32.304, mem=77M32
37.71/34.85 decisions=89492, wrong=43996, backtracks=27456, failedAssignments=25037, nogoods=500
37.71/34.85
40.02/37.18 num=58, depth=8..36, filters=14613074, revisions=(12,useless=0), ccks=144, wck=34.626, mem=231M752
40.02/37.18 decisions=98364, wrong=48419, backtracks=30324, failedAssignments=27553, nogoods=513
40.02/37.18
43.89/40.95 num=59, depth=8..36, filters=16163508, revisions=(12,useless=0), ccks=144, wck=38.402, mem=112M869
43.89/40.95 decisions=108413, wrong=53429, backtracks=33586, failedAssignments=30321, nogoods=521
43.89/40.95
48.40/45.41 num=60, depth=22..36, filters=18127927, revisions=(12,useless=0), ccks=144, wck=42.857, mem=66M547
48.40/45.41 decisions=119890, wrong=59154, backtracks=37524, failedAssignments=33365, nogoods=536
48.40/45.41
52.60/49.63 num=61, depth=18..34, filters=19930611, revisions=(12,useless=0), ccks=144, wck=47.079, mem=371M704
52.60/49.63 decisions=131884, wrong=65138, backtracks=41371, failedAssignments=36714, nogoods=546
52.60/49.63
57.82/54.87 num=62, depth=8..33, filters=22219481, revisions=(12,useless=0), ccks=144, wck=52.318, mem=50M331
57.82/54.87 decisions=145365, wrong=71866, backtracks=45929, failedAssignments=40398, nogoods=567
57.82/54.87
63.54/60.52 num=63, depth=20..35, filters=24674712, revisions=(12,useless=0), ccks=144, wck=57.966, mem=135M852
63.54/60.52 decisions=159902, wrong=79122, backtracks=50644, failedAssignments=44450, nogoods=578
63.54/60.52
69.57/66.56 num=64, depth=22..36, filters=27258070, revisions=(12,useless=0), ccks=144, wck=64.008, mem=242M299
69.57/66.56 decisions=176363, wrong=87339, backtracks=56245, failedAssignments=48907, nogoods=592
69.57/66.56
76.21/73.17 num=65, depth=8..38, filters=29837568, revisions=(12,useless=0), ccks=144, wck=70.624, mem=71M717
76.21/73.17 decisions=193605, wrong=95946, backtracks=61337, failedAssignments=53810, nogoods=610
76.21/73.17
85.22/82.11 num=66, depth=9..37, filters=33745412, revisions=(12,useless=0), ccks=144, wck=79.559, mem=143M700
85.22/82.11 decisions=213146, wrong=105703, backtracks=67528, failedAssignments=59204, nogoods=618
85.22/82.11
91.42/88.34 num=67, depth=7..36, filters=36507129, revisions=(12,useless=0), ccks=144, wck=85.785, mem=285M742
91.42/88.34 decisions=234884, wrong=116560, backtracks=74640, failedAssignments=65137, nogoods=637
91.42/88.34
101.25/98.13 num=68, depth=19..37, filters=40826201, revisions=(12,useless=0), ccks=144, wck=95.577, mem=146M880
101.25/98.13 decisions=258896, wrong=128554, backtracks=82693, failedAssignments=71663, nogoods=646
101.25/98.13
110.07/106.94 num=69, depth=21..34, filters=44597409, revisions=(12,useless=0), ccks=144, wck=104.384, mem=37M434
110.07/106.94 decisions=284959, wrong=141572, backtracks=91204, failedAssignments=78842, nogoods=662
110.07/106.94
121.88/118.79 num=70, depth=22..36, filters=49779483, revisions=(12,useless=0), ccks=144, wck=116.241, mem=227M428
121.88/118.79 decisions=313227, wrong=155693, backtracks=100622, failedAssignments=86739, nogoods=676
121.88/118.79
134.41/131.24 num=71, depth=20..35, filters=54963827, revisions=(12,useless=0), ccks=144, wck=128.692, mem=200M669
134.41/131.24 decisions=343923, wrong=171028, backtracks=110416, failedAssignments=95426, nogoods=685
134.41/131.24
148.27/145.08 num=72, depth=23..37, filters=60561607, revisions=(12,useless=0), ccks=144, wck=142.532, mem=178M30
148.27/145.08 decisions=378028, wrong=188067, backtracks=121300, failedAssignments=104981, nogoods=697
148.27/145.08
162.45/159.19 num=73, depth=9..36, filters=66398632, revisions=(12,useless=0), ccks=144, wck=156.639, mem=46M651
162.45/159.19 decisions=415529, wrong=206806, backtracks=133082, failedAssignments=115492, nogoods=713
162.45/159.19
182.59/179.23 num=74, depth=10..36, filters=74953919, revisions=(12,useless=0), ccks=144, wck=176.679, mem=69M320
182.59/179.23 decisions=458519, wrong=228289, backtracks=147976, failedAssignments=127054, nogoods=726
182.59/179.23
199.24/195.80 num=75, depth=22..36, filters=81861384, revisions=(12,useless=0), ccks=144, wck=193.248, mem=106M101
199.24/195.80 decisions=504385, wrong=251210, backtracks=163317, failedAssignments=139772, nogoods=742
199.24/195.80
221.63/218.18 num=76, depth=7..37, filters=91398226, revisions=(12,useless=0), ccks=144, wck=215.626, mem=90M578
221.63/218.18 decisions=555006, wrong=276509, backtracks=180668, failedAssignments=153762, nogoods=763
221.63/218.18
248.77/245.17 num=77, depth=9..34, filters=103087806, revisions=(12,useless=0), ccks=144, wck=242.618, mem=84M717
248.77/245.17 decisions=615411, wrong=306701, backtracks=202298, failedAssignments=169151, nogoods=780
248.77/245.17
273.41/269.63 num=78, depth=8..35, filters=113920303, revisions=(12,useless=0), ccks=144, wck=267.078, mem=64M324
273.41/269.63 decisions=677799, wrong=337883, backtracks=223048, failedAssignments=186079, nogoods=795
273.41/269.63
299.52/295.53 num=79, depth=9..37, filters=124315014, revisions=(12,useless=0), ccks=144, wck=292.975, mem=28M816
299.52/295.53 decisions=745719, wrong=371831, backtracks=244287, failedAssignments=204700, nogoods=815
299.52/295.53
327.25/323.06 num=80, depth=10..36, filters=135445899, revisions=(12,useless=0), ccks=144, wck=320.513, mem=39M633
327.25/323.06 decisions=820069, wrong=408994, backtracks=268066, failedAssignments=225184, nogoods=843
327.25/323.06
365.73/361.28 num=81, depth=20..36, filters=152217364, revisions=(12,useless=0), ccks=144, wck=358.728, mem=55M825
365.73/361.28 decisions=903026, wrong=450460, backtracks=297296, failedAssignments=247716, nogoods=852
365.73/361.28
397.02/392.21 num=82, depth=7..38, filters=164585051, revisions=(12,useless=0), ccks=144, wck=389.655, mem=24M553
397.02/392.21 decisions=992222, wrong=495046, backtracks=325767, failedAssignments=272501, nogoods=876
397.02/392.21
436.32/431.26 num=83, depth=18..36, filters=181874341, revisions=(12,useless=0), ccks=144, wck=428.712, mem=36M458
436.32/431.26 decisions=1092456, wrong=545150, backtracks=360148, failedAssignments=299765, nogoods=890
436.32/431.26
476.96/471.52 num=84, depth=19..36, filters=199180839, revisions=(12,useless=0), ccks=144, wck=468.965, mem=76M444
476.96/471.52 decisions=1199374, wrong=598595, backtracks=395458, failedAssignments=329755, nogoods=905
476.96/471.52
525.93/520.09 num=85, depth=22..38, filters=219065023, revisions=(12,useless=0), ccks=144, wck=517.54, mem=61M340
525.93/520.09 decisions=1317630, wrong=657709, backtracks=432869, failedAssignments=362744, nogoods=930
525.93/520.09
568.56/562.36 num=86, depth=9..37, filters=237140848, revisions=(12,useless=0), ccks=144, wck=559.808, mem=70M5
568.56/562.36 decisions=1455690, wrong=726726, backtracks=480162, failedAssignments=399032, nogoods=946
568.56/562.36
631.89/625.17 num=87, depth=17..35, filters=263685639, revisions=(12,useless=0), ccks=144, wck=622.62, mem=73M261
631.89/625.17 decisions=1604871, wrong=801304, backtracks=530106, failedAssignments=438949, nogoods=965
631.89/625.17
697.51/690.28 num=88, depth=10..36, filters=290687467, revisions=(12,useless=0), ccks=144, wck=687.727, mem=60M325
697.51/690.28 decisions=1764222, wrong=880968, backtracks=581332, failedAssignments=482858, nogoods=986
697.51/690.28
770.32/762.46 num=89, depth=7..37, filters=320678033, revisions=(12,useless=0), ccks=144, wck=759.905, mem=44M150
770.32/762.46 decisions=1944438, wrong=971064, backtracks=641763, failedAssignments=531158, nogoods=1015
770.32/762.46
828.76/820.44 num=90, depth=21..37, filters=345125537, revisions=(12,useless=0), ccks=144, wck=817.887, mem=32M294
828.76/820.44 decisions=2139182, wrong=1068422, backtracks=708102, failedAssignments=584288, nogoods=1026
828.76/820.44
899.28/890.43 num=91, depth=10..35, filters=375643894, revisions=(12,useless=0), ccks=144, wck=887.881, mem=50M671
899.28/890.43 decisions=2360855, wrong=1179247, backtracks=784932, failedAssignments=642731, nogoods=1035
899.28/890.43
1006.83/997.14 num=92, depth=20..37, filters=422979652, revisions=(12,useless=0), ccks=144, wck=994.586, mem=40M934
1006.83/997.14 decisions=2604826, wrong=1301220, backtracks=870208, failedAssignments=707018, nogoods=1046
1006.83/997.14
1115.16/1104.56 num=93, depth=18..40, filters=466039018, revisions=(12,useless=0), ccks=144, wck=1102.011, mem=38M831
1115.16/1104.56 decisions=2862233, wrong=1429911, backtracks=955871, failedAssignments=777734, nogoods=1060
1115.16/1104.56
1230.64/1219.12 num=94, depth=13..39, filters=512136715, revisions=(12,useless=0), ccks=144, wck=1216.565, mem=71M257
1230.64/1219.12 decisions=3149667, wrong=1573616, backtracks=1053204, failedAssignments=855521, nogoods=1072
1230.64/1219.12
1360.42/1348.00 num=95, depth=17..37, filters=565763590, revisions=(12,useless=0), ccks=144, wck=1345.45, mem=68M9
1360.42/1348.00 decisions=3463387, wrong=1730462, backtracks=1161621, failedAssignments=941087, nogoods=1091
1360.42/1348.00
1499.29/1485.63 num=96, depth=21..40, filters=626539431, revisions=(12,useless=0), ccks=144, wck=1483.08, mem=35M665
1499.29/1485.63 decisions=3813521, wrong=1905517, backtracks=1282989, failedAssignments=1035210, nogoods=1106
1499.29/1485.63
1661.27/1646.26 num=97, depth=20..38, filters=696645882, revisions=(12,useless=0), ccks=144, wck=1643.708, mem=46M482
1661.27/1646.26 decisions=4202332, wrong=2099911, backtracks=1419308, failedAssignments=1138745, nogoods=1120
1661.27/1646.26
1817.84/1801.57 num=98, depth=22..39, filters=757510475, revisions=(12,useless=0), ccks=144, wck=1799.022, mem=57M307
1817.84/1801.57 decisions=4612393, wrong=2304927, backtracks=1551673, failedAssignments=1252634, nogoods=1144
1817.84/1801.57
2022.63/2004.70 num=99, depth=16..36, filters=844081291, revisions=(12,useless=0), ccks=144, wck=2002.145, mem=57M331
2022.63/2004.70 decisions=5068967, wrong=2533201, backtracks=1701831, failedAssignments=1377912, nogoods=1177
2022.63/2004.70
2229.56/2209.93 num=100, depth=12..37, filters=932573156, revisions=(12,useless=0), ccks=144, wck=2207.378, mem=54M75
2229.56/2209.93 decisions=5569395, wrong=2783400, backtracks=1866704, failedAssignments=1515718, nogoods=1198
2229.56/2209.93
2458.17/2436.49 num=101, depth=19..37, filters=1031294170, revisions=(12,useless=0), ccks=144, wck=2433.942, mem=43M340
2458.17/2436.49 decisions=6148005, wrong=3072691, backtracks=2068488, failedAssignments=1667304, nogoods=1210
2458.17/2436.49
2506.47/2484.36 num=102, depth=18..275, filters=1050970866, revisions=(12,useless=0), ccks=576, wck=2481.808, mem=61M725
2506.47/2484.36 decisions=6282385, wrong=3139868, backtracks=2112851, failedAssignments=1703988, nogoods=1210, foundSolutions=1
2506.47/2484.36
2506.47/2484.36 Global
2506.47/2484.36 filters=1050970866, revisions=(12,useless=0), ccks=576, nogoods=1210
2506.47/2484.36 Stop=REACHED_GOAL, wrong=3139868, foundSolutions=1, firstSolCpu=2474.177
2506.47/2484.36 wck=2482.499, cpu=2474.185, mem=61M725
2506.47/2484.36
2506.47/2484.36 v <instantiation id='sol1' type='solution'> <list> x[][] y[][] </list> <values> 0 7 10 11 5 1 3 8 9 6 4 2 9 1 5 0 10 8 2 6 11 7 3 4 11 3 2 8 1 6 0 9 7 4 5 10 4 5 7 3 9 2 8 11 10 1 0 6 7 0 6 2 4 9 5 10 1 11 8 3 3 11 4 1 6 5 10 0 2 8 9 7 10 4 11 9 2 7 6 3 0 5 1 8 2 10 1 5 8 4 11 7 3 0 6 9 5 6 0 4 11 10 9 2 8 3 7 1 8 2 3 10 7 0 4 1 6 9 11 5 1 9 8 6 3 11 7 5 4 2 10 0 6 8 9 7 0 3 1 4 5 10 2 11 * 93 131 136 67 15 46 98 113 80 49 30 115 * 63 5 120 107 28 82 138 86 45 56 142 41 * 103 18 76 11 109 84 51 68 129 59 60 92 * 110 25 105 137 124 22 6 79 89 10 73 33 * 114 62 128 23 139 99 36 37 140 54 14 81 * 127 4 34 96 119 87 123 50 132 116 29 94 * 47 9 64 19 97 32 126 21 71 106 48 135 * 38 1 77 112 69 83 7 58 133 122 108 27 * 42 88 17 102 31 40 121 95 8 53 12 75 * 134 70 16 111 101 72 44 141 85 66 55 35 * 2 74 100 118 90 3 43 20 57 61 125 24 * </values> </instantiation>
2506.47/2484.36 s SATISFIABLE
2506.47/2484.36
2506.47/2484.36 d WRONG_DECISIONS 3139868
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 (15289 MiB free)
memory of node 1: 16384 MiB (15142 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390690-1568383594/watcher-4390690-1568383594 -o /tmp/evaluation-result-4390690-1568383594/solver-4390690-1568383594 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6542 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390690-1568383594.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=7757, runsolver pid=7754
[startup+0.100057 s]*
/proc/loadavg: 2.00 2.01 1.93 4/233 7772
/proc/meminfo: memFree=31148036/32770624 swapFree=67004020/67108860
[pid=7757] ppid=7754 vsize=10659884 memory=29132 CPUtime=0.14 cores=0,2,4,6
/proc/7757/stat : 7757 (java) S 7754 7757 6511 0 -1 1077944320 5837 0 0 0 12 2 0 0 20 0 15 0 414599014 10915721216 7283 33554432000 4194304 4196468 140727275176480 140727275159024 139847148224247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
/proc/7757/statm: 2664971 7283 2896 1 0 2627468 0
[pid=7757/tid=7759] ppid=7754 vsize=10659884 memory=-8825473556732015808 CPUtime=0.09 cores=0,2,4,6
/proc/7757/task/7759/stat : 7759 (java) R 7754 7757 6511 0 -1 4202560 3206 0 0 0 8 1 0 0 20 0 15 0 414599014 10915721216 7283 33554432000 4194304 4196468 140727275176480 139847152446368 139847148245594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7760] ppid=7754 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7760/stat : 7760 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 7283 33554432000 4194304 4196468 140727275176480 139847090227728 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7761] ppid=7754 vsize=10659884 memory=140137563305600 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7761/stat : 7761 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 7283 33554432000 4194304 4196468 140727275176480 139847089175184 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7762] ppid=7754 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7762/stat : 7762 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 7283 33554432000 4194304 4196468 140727275176480 139846753245456 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7763] ppid=7754 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7763/stat : 7763 (java) S 7754 7757 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 7283 33554432000 4194304 4196468 140727275176480 139846752192912 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7764] ppid=7754 vsize=10659884 memory=140137563305600 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7764/stat : 7764 (java) S 7754 7757 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414599016 10915721216 7283 33554432000 4194304 4196468 140727275176480 139846707378928 139847148235394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7765] ppid=7754 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7765/stat : 7765 (java) S 7754 7757 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414599016 10915721216 7283 33554432000 4194304 4196468 140727275176480 139846706325152 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7766] ppid=7754 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7766/stat : 7766 (java) S 7754 7757 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414599017 10915721216 7283 33554432000 4194304 4196468 140727275176480 139846705272048 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7767] ppid=7754 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7767/stat : 7767 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414599019 10915721216 7283 33554432000 4194304 4196468 140727275176480 139846704220624 139847148242843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7768] ppid=7754 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7768/stat : 7768 (java) S 7754 7757 6511 0 -1 1077944384 517 0 0 0 0 0 0 0 20 0 15 0 414599019 10915721216 7283 33554432000 4194304 4196468 140727275176480 139846703167728 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7769] ppid=7754 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7769/stat : 7769 (java) S 7754 7757 6511 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 15 0 414599019 10915721216 7283 33554432000 4194304 4196468 140727275176480 139846702115184 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7770] ppid=7754 vsize=10659884 memory=140137563305600 CPUtime=0.02 cores=0,2,4,6
/proc/7757/task/7770/stat : 7770 (java) R 7754 7757 6511 0 -1 4202560 577 0 0 0 2 0 0 0 20 0 15 0 414599019 10915721216 7283 33554432000 4194304 4196468 140727275176480 139846701056504 139847127358739 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7771] ppid=7754 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7771/stat : 7771 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414599019 10915721216 7283 33554432000 4194304 4196468 140727275176480 139846700009824 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7772] ppid=7754 vsize=10659884 memory=140137563305600 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7772/stat : 7772 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599019 10915721216 7283 33554432000 4194304 4196468 140727275176480 139846698957872 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29132 KiB
[startup+0.210783 s]*
/proc/loadavg: 2.00 2.01 1.93 4/233 7772
/proc/meminfo: memFree=31136124/32770624 swapFree=67004020/67108860
[pid=7757] ppid=7754 vsize=10659884 memory=37108 CPUtime=0.33 cores=0,2,4,6
/proc/7757/stat : 7757 (java) S 7754 7757 6511 0 -1 1077944320 9008 0 0 0 30 3 0 0 20 0 15 0 414599014 10915721216 9277 33554432000 4194304 4196468 140727275176480 140727275159024 139847148224247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
/proc/7757/statm: 2664971 9277 2988 1 0 2627468 0
[pid=7757/tid=7759] ppid=7754 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/7757/task/7759/stat : 7759 (java) R 7754 7757 6511 0 -1 4202560 6060 0 0 0 18 2 0 0 20 0 15 0 414599014 10915721216 9277 33554432000 4194304 4196468 140727275176480 139847152450608 139847148246173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7760] ppid=7754 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7760/stat : 7760 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 9277 33554432000 4194304 4196468 140727275176480 139847090227728 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7761] ppid=7754 vsize=10659884 memory=140137563313610 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7761/stat : 7761 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 9277 33554432000 4194304 4196468 140727275176480 139847089175184 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7762] ppid=7754 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7762/stat : 7762 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 9277 33554432000 4194304 4196468 140727275176480 139846753245456 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7763] ppid=7754 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7763/stat : 7763 (java) S 7754 7757 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 9277 33554432000 4194304 4196468 140727275176480 139846752192912 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7764] ppid=7754 vsize=10659884 memory=140137563305600 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7764/stat : 7764 (java) S 7754 7757 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414599016 10915721216 9277 33554432000 4194304 4196468 140727275176480 139846707378928 139847148235394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7765] ppid=7754 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7765/stat : 7765 (java) S 7754 7757 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414599016 10915721216 9277 33554432000 4194304 4196468 140727275176480 139846706325152 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7766] ppid=7754 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7766/stat : 7766 (java) S 7754 7757 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414599017 10915721216 9277 33554432000 4194304 4196468 140727275176480 139846705272048 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7767] ppid=7754 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7767/stat : 7767 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414599019 10915721216 9277 33554432000 4194304 4196468 140727275176480 139846704220624 139847148242843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7768] ppid=7754 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7757/task/7768/stat : 7768 (java) S 7754 7757 6511 0 -1 1077944384 690 0 0 0 3 0 0 0 20 0 15 0 414599019 10915721216 9277 33554432000 4194304 4196468 140727275176480 139846703167728 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7769] ppid=7754 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/7757/task/7769/stat : 7769 (java) S 7754 7757 6511 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 15 0 414599019 10915721216 9277 33554432000 4194304 4196468 140727275176480 139846702115184 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7770] ppid=7754 vsize=10659884 memory=140137563305600 CPUtime=0.05 cores=0,2,4,6
/proc/7757/task/7770/stat : 7770 (java) S 7754 7757 6511 0 -1 1077944384 621 0 0 0 5 0 0 0 20 0 15 0 414599019 10915721216 9277 33554432000 4194304 4196468 140727275176480 139846701062128 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7771] ppid=7754 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7771/stat : 7771 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414599019 10915721216 9277 33554432000 4194304 4196468 140727275176480 139846700009824 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7772] ppid=7754 vsize=10659884 memory=140137563305600 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7772/stat : 7772 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599019 10915721216 9277 33554432000 4194304 4196468 140727275176480 139846698957872 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37108 KiB
[startup+0.310417 s]*
/proc/loadavg: 2.00 2.01 1.93 3/233 7772
/proc/meminfo: memFree=31134324/32770624 swapFree=67004020/67108860
[pid=7757] ppid=7754 vsize=10659884 memory=39912 CPUtime=0.47 cores=0,2,4,6
/proc/7757/stat : 7757 (java) S 7754 7757 6511 0 -1 1077944320 9232 0 0 0 44 3 0 0 20 0 15 0 414599014 10915721216 9978 33554432000 4194304 4196468 140727275176480 140727275159024 139847148224247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
/proc/7757/statm: 2664971 9978 3030 1 0 2627468 0
[pid=7757/tid=7759] ppid=7754 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/7757/task/7759/stat : 7759 (java) R 7754 7757 6511 0 -1 4202560 6209 0 0 0 27 3 0 0 20 0 15 0 414599014 10915721216 9978 33554432000 4194304 4196468 140727275176480 139847152463232 139847148236182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7760] ppid=7754 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7760/stat : 7760 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 9978 33554432000 4194304 4196468 140727275176480 139847090227728 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7761] ppid=7754 vsize=10659884 memory=16239398193608344 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7761/stat : 7761 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 9978 33554432000 4194304 4196468 140727275176480 139847089175184 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7762] ppid=7754 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7762/stat : 7762 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 9978 33554432000 4194304 4196468 140727275176480 139846753245456 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7763] ppid=7754 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7763/stat : 7763 (java) S 7754 7757 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414599015 10915721216 9978 33554432000 4194304 4196468 140727275176480 139846752192912 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7764] ppid=7754 vsize=10659884 memory=140137563305600 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7764/stat : 7764 (java) S 7754 7757 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414599016 10915721216 9978 33554432000 4194304 4196468 140727275176480 139846707378928 139847148235394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7765] ppid=7754 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7765/stat : 7765 (java) S 7754 7757 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414599016 10915721216 9978 33554432000 4194304 4196468 140727275176480 139846706325152 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7766] ppid=7754 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7766/stat : 7766 (java) S 7754 7757 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414599017 10915721216 9978 33554432000 4194304 4196468 140727275176480 139846705272048 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7767] ppid=7754 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7767/stat : 7767 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414599019 10915721216 9978 33554432000 4194304 4196468 140727275176480 139846704220624 139847148242843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7768] ppid=7754 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7757/task/7768/stat : 7768 (java) R 7754 7757 6511 0 -1 1077944384 731 0 0 0 4 0 0 0 20 0 15 0 414599019 10915721216 9978 33554432000 4194304 4196468 140727275176480 139846703167824 139847148234453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7769] ppid=7754 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/7757/task/7769/stat : 7769 (java) R 7754 7757 6511 0 -1 4202560 286 0 0 0 3 0 0 0 20 0 15 0 414599019 10915721216 9978 33554432000 4194304 4196468 140727275176480 139846702106688 139847148245594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7770] ppid=7754 vsize=10659884 memory=140137563305600 CPUtime=0.08 cores=0,2,4,6
/proc/7757/task/7770/stat : 7770 (java) R 7754 7757 6511 0 -1 4202560 652 0 0 0 8 0 0 0 20 0 15 0 414599019 10915721216 9978 33554432000 4194304 4196468 140727275176480 139846701062128 139847148245594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7771] ppid=7754 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7771/stat : 7771 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414599019 10915721216 9978 33554432000 4194304 4196468 140727275176480 139846700009824 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7772] ppid=7754 vsize=10659884 memory=140137563305600 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7772/stat : 7772 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599019 10915721216 9978 33554432000 4194304 4196468 140727275176480 139846698957872 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39912 KiB
[startup+0.700711 s]
/proc/loadavg: 2.00 2.01 1.93 3/233 7772
/proc/meminfo: memFree=31124612/32770624 swapFree=67004020/67108860
[pid=7757] ppid=7754 vsize=10661932 memory=63040 CPUtime=1.1 cores=0,2,4,6
/proc/7757/stat : 7757 (java) S 7754 7757 6511 0 -1 1077944320 12810 0 0 0 105 5 0 0 20 0 15 0 414599014 10917818368 15760 33554432000 4194304 4196468 140727275176480 140727275159024 139847148224247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
/proc/7757/statm: 2665483 15760 3061 1 0 2627980 0
[pid=7757/tid=7759] ppid=7754 vsize=10661932 memory=1220 CPUtime=0.68 cores=0,2,4,6
/proc/7757/task/7759/stat : 7759 (java) R 7754 7757 6511 0 -1 4202560 8722 0 0 0 64 4 0 0 20 0 15 0 414599014 10917818368 15760 33554432000 4194304 4196468 140727275176480 139847152447184 139847132304734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7760] ppid=7754 vsize=10661932 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7760/stat : 7760 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10917818368 15760 33554432000 4194304 4196468 140727275176480 139847090227728 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7761] ppid=7754 vsize=10661932 memory=784 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7761/stat : 7761 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10917818368 15760 33554432000 4194304 4196468 140727275176480 139847089175184 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7762] ppid=7754 vsize=10661932 memory=8252 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7762/stat : 7762 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10917818368 15760 33554432000 4194304 4196468 140727275176480 139846753245456 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7763] ppid=7754 vsize=10661932 memory=5920 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7763/stat : 7763 (java) S 7754 7757 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414599015 10917818368 15760 33554432000 4194304 4196468 140727275176480 139846752192912 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7764] ppid=7754 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7764/stat : 7764 (java) S 7754 7757 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414599016 10917818368 15760 33554432000 4194304 4196468 140727275176480 139846707378928 139847148235394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7765] ppid=7754 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7765/stat : 7765 (java) S 7754 7757 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414599016 10917818368 15760 33554432000 4194304 4196468 140727275176480 139846706325152 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7766] ppid=7754 vsize=10661932 memory=728 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7766/stat : 7766 (java) S 7754 7757 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414599017 10917818368 15760 33554432000 4194304 4196468 140727275176480 139846705272048 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7767] ppid=7754 vsize=10661932 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7767/stat : 7767 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414599019 10917818368 15760 33554432000 4194304 4196468 140727275176480 139846704220624 139847148242843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7768] ppid=7754 vsize=10661932 memory=7236533984234661184 CPUtime=0.1 cores=0,2,4,6
/proc/7757/task/7768/stat : 7768 (java) S 7754 7757 6511 0 -1 1077944384 965 0 0 0 10 0 0 0 20 0 15 0 414599019 10917818368 15760 33554432000 4194304 4196468 140727275176480 139846703167728 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7769] ppid=7754 vsize=10661932 memory=7380106142448642414 CPUtime=0.1 cores=0,2,4,6
/proc/7757/task/7769/stat : 7769 (java) R 7754 7757 6511 0 -1 4202560 626 0 0 0 10 0 0 0 20 0 15 0 414599019 10917818368 15760 33554432000 4194304 4196468 140727275176480 139846702115184 139847129787822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7770] ppid=7754 vsize=10661932 memory=5859271421084194152 CPUtime=0.19 cores=0,2,4,6
/proc/7757/task/7770/stat : 7770 (java) S 7754 7757 6511 0 -1 1077944384 1138 0 0 0 19 0 0 0 20 0 15 0 414599019 10917818368 15760 33554432000 4194304 4196468 140727275176480 139846701062128 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7771] ppid=7754 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7771/stat : 7771 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414599019 10917818368 15760 33554432000 4194304 4196468 140727275176480 139846700009824 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7772] ppid=7754 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7772/stat : 7772 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599019 10917818368 15760 33554432000 4194304 4196468 140727275176480 139846698957872 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63040 KiB
[startup+1.5008 s]
/proc/loadavg: 2.00 2.01 1.93 3/233 7772
/proc/meminfo: memFree=31108240/32770624 swapFree=67004020/67108860
[pid=7757] ppid=7754 vsize=10663980 memory=75340 CPUtime=2.01 cores=0,2,4,6
/proc/7757/stat : 7757 (java) S 7754 7757 6511 0 -1 1077944320 18391 0 0 0 195 6 0 0 20 0 15 0 414599014 10919915520 18835 33554432000 4194304 4196468 140727275176480 140727275159024 139847148224247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
/proc/7757/statm: 2665995 18835 3092 1 0 2628492 0
[pid=7757/tid=7759] ppid=7754 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/7757/task/7759/stat : 7759 (java) R 7754 7757 6511 0 -1 4202560 12997 0 0 0 143 5 0 0 20 0 15 0 414599014 10919915520 18835 33554432000 4194304 4196468 140727275176480 139847152455296 139847128501072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7760] ppid=7754 vsize=10663980 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7760/stat : 7760 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10919915520 18835 33554432000 4194304 4196468 140727275176480 139847090227728 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7761] ppid=7754 vsize=10663980 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7761/stat : 7761 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10919915520 18835 33554432000 4194304 4196468 140727275176480 139847089175184 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7762] ppid=7754 vsize=10663980 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7762/stat : 7762 (java) S 7754 7757 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414599015 10919915520 18835 33554432000 4194304 4196468 140727275176480 139846753245456 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7763] ppid=7754 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7763/stat : 7763 (java) S 7754 7757 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414599015 10919915520 18835 33554432000 4194304 4196468 140727275176480 139846752192912 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7764] ppid=7754 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7764/stat : 7764 (java) S 7754 7757 6511 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 414599016 10919915520 18835 33554432000 4194304 4196468 140727275176480 139846707378928 139847148235394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
################
# More data... #
################
[startup+2483.2 s]
/proc/loadavg: 1.65 1.68 1.69 3/232 8859
/proc/meminfo: memFree=31063996/32770624 swapFree=67004032/67108860
[pid=7757] ppid=7754 vsize=10748324 memory=312692 CPUtime=2505.36 cores=0,2,4,6
/proc/7757/stat : 7757 (java) S 7754 7757 6511 0 -1 1077944320 99309 0 0 0 250412 124 0 0 20 0 16 0 414599014 11006283776 78173 33554432000 4194304 4196468 140727275176480 140727275159024 139847148224247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
/proc/7757/statm: 2687081 78173 3371 1 0 2647217 0
[pid=7757/tid=7759] ppid=7754 vsize=10748324 memory=5920 CPUtime=1.87 cores=0,2,4,6
/proc/7757/task/7759/stat : 7759 (java) S 7754 7757 6511 0 -1 1077944384 15274 0 0 0 181 6 0 0 20 0 16 0 414599014 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847152467120 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7760] ppid=7754 vsize=10748324 memory=312692 CPUtime=6.67 cores=0,2,4,6
/proc/7757/task/7760/stat : 7760 (java) S 7754 7757 6511 0 -1 1077944384 9220 0 0 0 651 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847090227728 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7761] ppid=7754 vsize=10748324 memory=3268 CPUtime=6.66 cores=0,2,4,6
/proc/7757/task/7761/stat : 7761 (java) S 7754 7757 6511 0 -1 1077944384 6629 0 0 0 650 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847089175184 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7762] ppid=7754 vsize=10748324 memory=312692 CPUtime=6.67 cores=0,2,4,6
/proc/7757/task/7762/stat : 7762 (java) S 7754 7757 6511 0 -1 1077944384 7564 0 0 0 652 15 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846753245456 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7763] ppid=7754 vsize=10748324 memory=1056 CPUtime=6.66 cores=0,2,4,6
/proc/7757/task/7763/stat : 7763 (java) S 7754 7757 6511 0 -1 1077944384 3497 0 0 0 650 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846752192912 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7764] ppid=7754 vsize=10748324 memory=1540 CPUtime=2.17 cores=0,2,4,6
/proc/7757/task/7764/stat : 7764 (java) S 7754 7757 6511 0 -1 1077944384 10529 0 0 0 202 15 0 0 20 0 16 0 414599016 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846707378928 139847148235394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7765] ppid=7754 vsize=10748324 memory=728 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7765/stat : 7765 (java) S 7754 7757 6511 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414599016 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846706325216 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7766] ppid=7754 vsize=10748324 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7766/stat : 7766 (java) S 7754 7757 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414599017 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846705272064 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7767] ppid=7754 vsize=10748324 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7767/stat : 7767 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846704220624 139847148242843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7768] ppid=7754 vsize=10748324 memory=1212 CPUtime=0.98 cores=0,2,4,6
/proc/7757/task/7768/stat : 7768 (java) S 7754 7757 6511 0 -1 1077944384 3371 0 0 0 97 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846703167728 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7769] ppid=7754 vsize=10748324 memory=8112282956445269571 CPUtime=1.06 cores=0,2,4,6
/proc/7757/task/7769/stat : 7769 (java) S 7754 7757 6511 0 -1 1077944384 6680 0 0 0 105 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846702115184 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7770] ppid=7754 vsize=10748324 memory=12024 CPUtime=0.67 cores=0,2,4,6
/proc/7757/task/7770/stat : 7770 (java) S 7754 7757 6511 0 -1 1077944384 7783 0 0 0 66 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846701062128 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7771] ppid=7754 vsize=10748324 memory=312692 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7771/stat : 7771 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846700009824 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7772] ppid=7754 vsize=10748324 memory=312692 CPUtime=0.74 cores=0,2,4,6
/proc/7757/task/7772/stat : 7772 (java) S 7754 7757 6511 0 -1 1077944384 1028 0 0 0 35 39 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846698957872 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7773] ppid=7754 vsize=10748324 memory=39232 CPUtime=2471.12 cores=0,2,4,6
/proc/7757/task/7773/stat : 7773 (java) R 7754 7757 6511 0 -1 4202560 26338 0 0 0 247100 12 0 0 20 0 16 0 414599203 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846157815856 139846775356300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
Current children cumulated CPU time: 2505.36 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 312692 KiB
[startup+2484 s]*
/proc/loadavg: 1.65 1.68 1.69 3/232 8859
/proc/meminfo: memFree=31064112/32770624 swapFree=67004032/67108860
[pid=7757] ppid=7754 vsize=10748324 memory=312692 CPUtime=2506.18 cores=0,2,4,6
/proc/7757/stat : 7757 (java) S 7754 7757 6511 0 -1 1077944320 99310 0 0 0 250494 124 0 0 20 0 16 0 414599014 11006283776 78173 33554432000 4194304 4196468 140727275176480 140727275159024 139847148224247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
/proc/7757/statm: 2687081 78173 3371 1 0 2647217 0
[pid=7757/tid=7759] ppid=7754 vsize=10748324 memory=234656 CPUtime=1.87 cores=0,2,4,6
/proc/7757/task/7759/stat : 7759 (java) S 7754 7757 6511 0 -1 1077944384 15274 0 0 0 181 6 0 0 20 0 16 0 414599014 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847152467120 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7760] ppid=7754 vsize=10748324 memory=8112282956445269571 CPUtime=6.67 cores=0,2,4,6
/proc/7757/task/7760/stat : 7760 (java) S 7754 7757 6511 0 -1 1077944384 9220 0 0 0 651 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847090227728 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7761] ppid=7754 vsize=10748324 memory=4872558044660077418 CPUtime=6.66 cores=0,2,4,6
/proc/7757/task/7761/stat : 7761 (java) S 7754 7757 6511 0 -1 1077944384 6629 0 0 0 650 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847089175184 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7762] ppid=7754 vsize=10748324 memory=4872558044660077418 CPUtime=6.67 cores=0,2,4,6
/proc/7757/task/7762/stat : 7762 (java) S 7754 7757 6511 0 -1 1077944384 7564 0 0 0 652 15 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846753245456 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7763] ppid=7754 vsize=10748324 memory=784 CPUtime=6.67 cores=0,2,4,6
/proc/7757/task/7763/stat : 7763 (java) S 7754 7757 6511 0 -1 1077944384 3497 0 0 0 651 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846752192912 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7764] ppid=7754 vsize=10748324 memory=8252 CPUtime=2.17 cores=0,2,4,6
/proc/7757/task/7764/stat : 7764 (java) S 7754 7757 6511 0 -1 1077944384 10529 0 0 0 202 15 0 0 20 0 16 0 414599016 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846707378928 139847148235394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7765] ppid=7754 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7765/stat : 7765 (java) S 7754 7757 6511 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414599016 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846706325216 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7766] ppid=7754 vsize=10748324 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7766/stat : 7766 (java) S 7754 7757 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414599017 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846705272064 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7767] ppid=7754 vsize=10748324 memory=20984 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7767/stat : 7767 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846704220624 139847148242843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7768] ppid=7754 vsize=10748324 memory=496 CPUtime=0.98 cores=0,2,4,6
/proc/7757/task/7768/stat : 7768 (java) S 7754 7757 6511 0 -1 1077944384 3371 0 0 0 97 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846703167728 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7769] ppid=7754 vsize=10748324 memory=1564 CPUtime=1.06 cores=0,2,4,6
/proc/7757/task/7769/stat : 7769 (java) S 7754 7757 6511 0 -1 1077944384 6680 0 0 0 105 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846702115184 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7770] ppid=7754 vsize=10748324 memory=8112282956445269571 CPUtime=0.67 cores=0,2,4,6
/proc/7757/task/7770/stat : 7770 (java) S 7754 7757 6511 0 -1 1077944384 7783 0 0 0 66 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846701062128 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7771] ppid=7754 vsize=10748324 memory=312692 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7771/stat : 7771 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846700009824 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7772] ppid=7754 vsize=10748324 memory=1404 CPUtime=0.74 cores=0,2,4,6
/proc/7757/task/7772/stat : 7772 (java) S 7754 7757 6511 0 -1 1077944384 1028 0 0 0 35 39 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846698957872 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7773] ppid=7754 vsize=10748324 memory=3148 CPUtime=2471.93 cores=0,2,4,6
/proc/7757/task/7773/stat : 7773 (java) R 7754 7757 6511 0 -1 4202560 26339 0 0 0 247181 12 0 0 20 0 16 0 414599203 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846157815856 139846775696749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
Current children cumulated CPU time: 2506.18 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 312692 KiB
[startup+2484.2 s]
/proc/loadavg: 1.65 1.68 1.69 3/232 8859
/proc/meminfo: memFree=31064112/32770624 swapFree=67004032/67108860
[pid=7757] ppid=7754 vsize=10748324 memory=312692 CPUtime=2506.37 cores=0,2,4,6
/proc/7757/stat : 7757 (java) S 7754 7757 6511 0 -1 1077944320 99310 0 0 0 250513 124 0 0 20 0 16 0 414599014 11006283776 78173 33554432000 4194304 4196468 140727275176480 140727275159024 139847148224247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
/proc/7757/statm: 2687081 78173 3371 1 0 2647217 0
[pid=7757/tid=7759] ppid=7754 vsize=10748324 memory=2116 CPUtime=1.87 cores=0,2,4,6
/proc/7757/task/7759/stat : 7759 (java) S 7754 7757 6511 0 -1 1077944384 15274 0 0 0 181 6 0 0 20 0 16 0 414599014 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847152467120 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7760] ppid=7754 vsize=10748324 memory=20984 CPUtime=6.67 cores=0,2,4,6
/proc/7757/task/7760/stat : 7760 (java) S 7754 7757 6511 0 -1 1077944384 9220 0 0 0 651 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847090227728 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7761] ppid=7754 vsize=10748324 memory=496 CPUtime=6.66 cores=0,2,4,6
/proc/7757/task/7761/stat : 7761 (java) S 7754 7757 6511 0 -1 1077944384 6629 0 0 0 650 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847089175184 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7762] ppid=7754 vsize=10748324 memory=312692 CPUtime=6.67 cores=0,2,4,6
/proc/7757/task/7762/stat : 7762 (java) S 7754 7757 6511 0 -1 1077944384 7564 0 0 0 652 15 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846753245456 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7763] ppid=7754 vsize=10748324 memory=312692 CPUtime=6.67 cores=0,2,4,6
/proc/7757/task/7763/stat : 7763 (java) S 7754 7757 6511 0 -1 1077944384 3497 0 0 0 651 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846752192912 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7764] ppid=7754 vsize=10748324 memory=3268 CPUtime=2.17 cores=0,2,4,6
/proc/7757/task/7764/stat : 7764 (java) S 7754 7757 6511 0 -1 1077944384 10529 0 0 0 202 15 0 0 20 0 16 0 414599016 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846707378928 139847148235394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7765] ppid=7754 vsize=10748324 memory=312692 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7765/stat : 7765 (java) S 7754 7757 6511 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414599016 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846706325216 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7766] ppid=7754 vsize=10748324 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7766/stat : 7766 (java) S 7754 7757 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414599017 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846705272064 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7767] ppid=7754 vsize=10748324 memory=3044 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7767/stat : 7767 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846704220624 139847148242843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7768] ppid=7754 vsize=10748324 memory=234656 CPUtime=0.98 cores=0,2,4,6
/proc/7757/task/7768/stat : 7768 (java) S 7754 7757 6511 0 -1 1077944384 3371 0 0 0 97 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846703167728 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7769] ppid=7754 vsize=10748324 memory=312692 CPUtime=1.06 cores=0,2,4,6
/proc/7757/task/7769/stat : 7769 (java) S 7754 7757 6511 0 -1 1077944384 6680 0 0 0 105 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846702115184 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7770] ppid=7754 vsize=10748324 memory=1220 CPUtime=0.67 cores=0,2,4,6
/proc/7757/task/7770/stat : 7770 (java) S 7754 7757 6511 0 -1 1077944384 7783 0 0 0 66 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846701062128 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7771] ppid=7754 vsize=10748324 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7771/stat : 7771 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846700009824 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7772] ppid=7754 vsize=10748324 memory=784 CPUtime=0.74 cores=0,2,4,6
/proc/7757/task/7772/stat : 7772 (java) S 7754 7757 6511 0 -1 1077944384 1028 0 0 0 35 39 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846698957872 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7773] ppid=7754 vsize=10748324 memory=1564 CPUtime=2472.12 cores=0,2,4,6
/proc/7757/task/7773/stat : 7773 (java) R 7754 7757 6511 0 -1 4202560 26339 0 0 0 247200 12 0 0 20 0 16 0 414599203 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846157815856 139846775356798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
Current children cumulated CPU time: 2506.37 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 312692 KiB
[startup+2484.3 s]
/proc/loadavg: 1.65 1.68 1.69 3/232 8859
/proc/meminfo: memFree=31064112/32770624 swapFree=67004032/67108860
[pid=7757] ppid=7754 vsize=10748324 memory=312692 CPUtime=2506.47 cores=0,2,4,6
/proc/7757/stat : 7757 (java) S 7754 7757 6511 0 -1 1077944320 99310 0 0 0 250523 124 0 0 20 0 16 0 414599014 11006283776 78173 33554432000 4194304 4196468 140727275176480 140727275159024 139847148224247 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
/proc/7757/statm: 2687081 78173 3371 1 0 2647217 0
[pid=7757/tid=7759] ppid=7754 vsize=10748324 memory=312692 CPUtime=1.87 cores=0,2,4,6
/proc/7757/task/7759/stat : 7759 (java) S 7754 7757 6511 0 -1 1077944384 15274 0 0 0 181 6 0 0 20 0 16 0 414599014 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847152467120 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7760] ppid=7754 vsize=10748324 memory=312692 CPUtime=6.67 cores=0,2,4,6
/proc/7757/task/7760/stat : 7760 (java) S 7754 7757 6511 0 -1 1077944384 9220 0 0 0 651 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847090227728 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7761] ppid=7754 vsize=10748324 memory=312692 CPUtime=6.66 cores=0,2,4,6
/proc/7757/task/7761/stat : 7761 (java) S 7754 7757 6511 0 -1 1077944384 6629 0 0 0 650 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139847089175184 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7762] ppid=7754 vsize=10748324 memory=312692 CPUtime=6.67 cores=0,2,4,6
/proc/7757/task/7762/stat : 7762 (java) S 7754 7757 6511 0 -1 1077944384 7564 0 0 0 652 15 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846753245456 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7763] ppid=7754 vsize=10748324 memory=312692 CPUtime=6.67 cores=0,2,4,6
/proc/7757/task/7763/stat : 7763 (java) S 7754 7757 6511 0 -1 1077944384 3497 0 0 0 651 16 0 0 20 0 16 0 414599015 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846752192912 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7764] ppid=7754 vsize=10748324 memory=312692 CPUtime=2.17 cores=0,2,4,6
/proc/7757/task/7764/stat : 7764 (java) S 7754 7757 6511 0 -1 1077944384 10529 0 0 0 202 15 0 0 20 0 16 0 414599016 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846707378928 139847148235394 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7765] ppid=7754 vsize=10748324 memory=312692 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7765/stat : 7765 (java) S 7754 7757 6511 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414599016 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846706325216 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7766] ppid=7754 vsize=10748324 memory=312692 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7766/stat : 7766 (java) S 7754 7757 6511 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414599017 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846705272064 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7767] ppid=7754 vsize=10748324 memory=312692 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7767/stat : 7767 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846704220624 139847148242843 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7768] ppid=7754 vsize=10748324 memory=2257 CPUtime=0.98 cores=0,2,4,6
/proc/7757/task/7768/stat : 7768 (java) S 7754 7757 6511 0 -1 1077944384 3371 0 0 0 97 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846703167728 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7769] ppid=7754 vsize=10748324 memory=312692 CPUtime=1.06 cores=0,2,4,6
/proc/7757/task/7769/stat : 7769 (java) S 7754 7757 6511 0 -1 1077944384 6680 0 0 0 105 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846702115184 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7770] ppid=7754 vsize=10748324 memory=1220 CPUtime=0.67 cores=0,2,4,6
/proc/7757/task/7770/stat : 7770 (java) S 7754 7757 6511 0 -1 1077944384 7783 0 0 0 66 1 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846701062128 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7771] ppid=7754 vsize=10748324 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/7757/task/7771/stat : 7771 (java) S 7754 7757 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846700009824 139847148234453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7772] ppid=7754 vsize=10748324 memory=3280 CPUtime=0.74 cores=0,2,4,6
/proc/7757/task/7772/stat : 7772 (java) S 7754 7757 6511 0 -1 1077944384 1028 0 0 0 35 39 0 0 20 0 16 0 414599019 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846698957872 139847148235394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
[pid=7757/tid=7773] ppid=7754 vsize=10748324 memory=39232 CPUtime=2472.22 cores=0,2,4,6
/proc/7757/task/7773/stat : 7773 (java) R 7754 7757 6511 0 -1 4202560 26339 0 0 0 247210 12 0 0 20 0 16 0 414599203 11006283776 78173 33554432000 4194304 4196468 140727275176480 139846157815856 139846775356360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24698880 140727275181067 140727275181170 140727275181170 140727275184079 0
Current children cumulated CPU time: 2506.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 312692 KiB
Child status: 0
Real time (s): 2484.38
CPU time (s): 2506.59
CPU user time (s): 2505.34
CPU system time (s): 1.25306
CPU usage (%): 100.894
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 503868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.34
system time used= 1.25306
maximum resident set size= 504428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100657
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107203
involuntary context switches= 7233
# summary of solver processes directly reported to runsolver:
# pid: 7757
# total CPU time (s): 2506.59
# total CPU user time (s): 2505.34
# total CPU system time (s): 1.25306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0597 second user time and 20.0083 second system time
The end