2.41/1.89
2.41/1.89 AbsCon 2
2.66/1.91
2.91/2.05 Instance
2.91/2.05 name=instance-4390733-1568383460, framework=CSP
2.91/2.05
2.91/2.05 Loading variables...
2.91/2.09 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d175e3
2.91/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cbedb8
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51309b3c
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4b5cd4
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebf5684
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bed262b
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a598a04
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f23633c
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1032a603
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b4a8bf
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0b9a38
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcaf9bd
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3599c2e7
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae549bb
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0d3604
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb7e8bd
2.91/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf70406
2.91/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd1cf42
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c3a31b3
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e65b94
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db81371
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b49d8be
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165ede15
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ac81c3f
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4262461c
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a784198
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc18a95
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a831c2
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f645de4
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cfe0f2
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d45b930
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6d8f32
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7447ca34
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5140941c
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71d98dde
3.17/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@efe0418
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275208a9
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e6652dd
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b606f11
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec80d55
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ae7305
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2126669d
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6efed8d9
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309c416e
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18062dd6
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e52ef8c
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17ad4f96
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68793d52
3.17/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e0a21fd
3.17/2.17
3.17/2.17
3.17/2.17 Domains
3.17/2.17 nTypes=1, nValues=47089, sizes=[217#217]
3.17/2.17 Variables
3.17/2.17 count=217, degrees=[4#211,5#3,6#2,9#1]
3.17/2.17 Constraints
3.17/2.17 count=58, nSpecific=58, arities=[2#6,9#6,10#6,11#6...15#6,16#6,17#3,217#1]
3.17/2.17 distribution=[AllDifferent#1,LT#6,SumSimpleEQ#51]
3.17/2.17 wck=0.304, cpu=2.134, mem=23M870
3.17/2.18 Solver SolverBacktrack being built...
3.17/2.18
3.39/2.20
3.39/2.20 Solver
3.39/2.20 guaranteedGAC=false
3.39/2.20 wck=0.341, cpu=2.169, mem=37M155
3.39/2.24
3.39/2.24 Preprocessing
3.39/2.24 filters=7, nACremovedValues=9, nTotalRemovedValues=9, inconcistency=false
3.39/2.24 wck=0.039, cpu=2.209, mem=37M155
3.39/2.24
3.67/2.30 num=0, depth=3..4, filters=49, wck=0.094, mem=37M155
3.67/2.30 decisions=25, wrong=11, backtracks=1, failedAssignments=10, nogoods=6
3.67/2.30
3.67/2.33 num=1, depth=2..3, filters=80, wck=0.122, mem=37M155
3.67/2.33 decisions=51, wrong=23, backtracks=2, failedAssignments=21, nogoods=14
3.67/2.33
3.67/2.35 num=2, depth=2..3, filters=118, wck=0.148, mem=37M155
3.67/2.35 decisions=79, wrong=36, backtracks=3, failedAssignments=33, nogoods=23
3.67/2.35
3.67/2.38 num=3, depth=2..3, filters=160, wck=0.175, mem=37M155
3.67/2.38 decisions=110, wrong=50, backtracks=4, failedAssignments=46, nogoods=33
3.67/2.38
3.88/2.41 num=4, depth=2..3, filters=204, wck=0.204, mem=37M155
3.88/2.41 decisions=143, wrong=65, backtracks=5, failedAssignments=60, nogoods=44
3.88/2.41
3.88/2.44 num=5, depth=2..3, filters=255, wck=0.236, mem=37M155
3.88/2.44 decisions=181, wrong=83, backtracks=7, failedAssignments=76, nogoods=54
3.88/2.44
3.88/2.48 num=6, depth=2..3, filters=310, wck=0.281, mem=37M155
3.88/2.48 decisions=222, wrong=102, backtracks=9, failedAssignments=93, nogoods=65
3.88/2.48
4.02/2.53 num=7, depth=2..4, filters=375, wck=0.323, mem=37M155
4.02/2.53 decisions=270, wrong=125, backtracks=13, failedAssignments=112, nogoods=72
4.02/2.53
4.02/2.57 num=8, depth=3..5, filters=440, wck=0.366, mem=37M155
4.02/2.57 decisions=321, wrong=148, backtracks=15, failedAssignments=133, nogoods=87
4.02/2.57
4.19/2.62 num=9, depth=3..5, filters=516, wck=0.415, mem=37M155
4.19/2.62 decisions=380, wrong=176, backtracks=20, failedAssignments=156, nogoods=95
4.19/2.62
4.19/2.67 num=10, depth=3..4, filters=643, wck=0.47, mem=37M155
4.19/2.67 decisions=435, wrong=202, backtracks=21, failedAssignments=181, nogoods=114
4.19/2.67
4.31/2.73 num=11, depth=2..4, filters=731, wck=0.527, mem=37M155
4.31/2.73 decisions=506, wrong=236, backtracks=27, failedAssignments=209, nogoods=124
4.31/2.73
4.41/2.80 num=12, depth=3..5, filters=848, wck=0.597, mem=37M155
4.41/2.80 decisions=580, wrong=271, backtracks=31, failedAssignments=240, nogoods=142
4.41/2.80
4.41/2.86 num=13, depth=3..5, filters=950, wck=0.661, mem=37M155
4.41/2.86 decisions=662, wrong=310, backtracks=36, failedAssignments=274, nogoods=161
4.41/2.86
4.52/2.93 num=14, depth=3..5, filters=1059, wck=0.73, mem=37M155
4.52/2.93 decisions=751, wrong=352, backtracks=41, failedAssignments=311, nogoods=183
4.52/2.93
4.64/3.02 num=15, depth=3..5, filters=1212, wck=0.818, mem=37M155
4.64/3.02 decisions=848, wrong=398, backtracks=46, failedAssignments=352, nogoods=207
4.64/3.02
4.76/3.11 num=16, depth=2..4, filters=1350, wck=0.904, mem=37M155
4.76/3.11 decisions=958, wrong=452, backtracks=55, failedAssignments=397, nogoods=225
4.76/3.11
4.86/3.21 num=17, depth=3..5, filters=1514, wck=1.007, mem=37M155
4.86/3.21 decisions=1087, wrong=514, backtracks=67, failedAssignments=447, nogoods=239
4.86/3.21
4.96/3.35 num=18, depth=3..5, filters=1731, wck=1.146, mem=37M155
4.96/3.35 decisions=1219, wrong=578, backtracks=76, failedAssignments=502, nogoods=265
4.96/3.35
5.06/3.46 num=19, depth=2..4, filters=1913, wck=1.257, mem=37M155
5.06/3.46 decisions=1366, wrong=650, backtracks=87, failedAssignments=563, nogoods=293
5.06/3.46
5.17/3.59 num=20, depth=2..4, filters=2123, wck=1.387, mem=37M155
5.17/3.59 decisions=1534, wrong=732, backtracks=102, failedAssignments=630, nogoods=311
5.17/3.59
5.37/3.75 num=21, depth=3..6, filters=2380, wck=1.542, mem=37M155
5.37/3.75 decisions=1730, wrong=828, backtracks=124, failedAssignments=704, nogoods=322
5.37/3.75
5.58/3.93 num=22, depth=3..5, filters=2696, wck=1.731, mem=37M155
5.58/3.93 decisions=1927, wrong=924, backtracks=139, failedAssignments=785, nogoods=354
5.58/3.93
5.79/4.13 num=23, depth=2..5, filters=3023, wck=1.926, mem=37M155
5.79/4.13 decisions=2169, wrong=1043, backtracks=169, failedAssignments=874, nogoods=368
5.79/4.13
6.00/4.35 num=24, depth=2..5, filters=3387, wck=2.143, mem=37M155
6.00/4.35 decisions=2439, wrong=1176, backtracks=204, failedAssignments=972, nogoods=380
6.00/4.35
6.22/4.57 num=25, depth=3..6, filters=3752, wck=2.368, mem=37M155
6.22/4.57 decisions=2721, wrong=1315, backtracks=235, failedAssignments=1080, nogoods=397
6.22/4.57
6.52/4.86 num=26, depth=3..6, filters=4246, wck=2.653, mem=37M155
6.52/4.86 decisions=3027, wrong=1466, backtracks=268, failedAssignments=1199, nogoods=422
6.52/4.86
6.83/5.13 num=27, depth=2..5, filters=4704, wck=2.928, mem=37M155
6.83/5.13 decisions=3378, wrong=1640, backtracks=313, failedAssignments=1330, nogoods=449
6.83/5.13
7.12/5.46 num=28, depth=3..6, filters=5259, wck=3.254, mem=37M155
7.12/5.46 decisions=3782, wrong=1840, backtracks=373, failedAssignments=1474, nogoods=460
7.12/5.46
7.52/5.84 num=29, depth=3..6, filters=5910, wck=3.637, mem=37M155
7.52/5.84 decisions=4172, wrong=2033, backtracks=409, failedAssignments=1632, nogoods=500
7.52/5.84
7.84/6.17 num=30, depth=2..5, filters=6464, wck=3.971, mem=37M155
7.84/6.17 decisions=4611, wrong=2250, backtracks=452, failedAssignments=1806, nogoods=547
7.84/6.17
8.34/6.61 num=31, depth=2..5, filters=7189, wck=4.404, mem=37M155
8.34/6.61 decisions=5151, wrong=2518, backtracks=533, failedAssignments=1997, nogoods=582
8.34/6.61
8.75/7.07 num=32, depth=3..6, filters=7965, wck=4.865, mem=37M155
8.75/7.07 decisions=5735, wrong=2808, backtracks=615, failedAssignments=2208, nogoods=594
8.75/7.07
9.35/7.61 num=33, depth=3..6, filters=8905, wck=5.405, mem=37M155
9.35/7.61 decisions=6309, wrong=3093, backtracks=669, failedAssignments=2440, nogoods=647
9.35/7.61
9.83/8.10 num=34, depth=3..15, filters=9756, wck=5.9, mem=37M155
9.83/8.10 decisions=6972, wrong=3418, backtracks=741, failedAssignments=2695, nogoods=719
9.83/8.10
10.42/8.66 num=35, depth=4..7, filters=10683, wck=6.456, mem=37M155
10.42/8.66 decisions=7700, wrong=3780, backtracks=823, failedAssignments=2976, nogoods=765
10.42/8.66
11.07/9.28 num=36, depth=3..13, filters=11744, wck=7.081, mem=39M797
11.07/9.28 decisions=8518, wrong=4183, backtracks=920, failedAssignments=3285, nogoods=837
11.07/9.28
11.86/9.96 num=37, depth=4..7, filters=12884, wck=7.762, mem=39M797
11.86/9.96 decisions=9408, wrong=4625, backtracks=1022, failedAssignments=3625, nogoods=888
11.86/9.96
12.87/10.94 num=38, depth=3..10, filters=14572, wck=8.739, mem=39M797
12.87/10.94 decisions=10357, wrong=5095, backtracks=1120, failedAssignments=3999, nogoods=964
12.87/10.94
13.82/11.81 num=39, depth=3..6, filters=16044, wck=9.606, mem=39M797
13.82/11.81 decisions=11476, wrong=5652, backtracks=1272, failedAssignments=4410, nogoods=1020
13.82/11.81
14.72/12.74 num=40, depth=3..6, filters=17630, wck=10.539, mem=39M797
14.72/12.74 decisions=12691, wrong=6257, backtracks=1426, failedAssignments=4862, nogoods=1069
14.72/12.74
15.92/13.97 num=41, depth=3..10, filters=19823, wck=11.762, mem=39M797
15.92/13.97 decisions=13964, wrong=6889, backtracks=1564, failedAssignments=5359, nogoods=1149
15.92/13.97
17.13/15.12 num=42, depth=3..6, filters=21799, wck=12.921, mem=39M797
17.13/15.12 decisions=15460, wrong=7635, backtracks=1772, failedAssignments=5906, nogoods=1205
17.13/15.12
18.44/16.40 num=43, depth=2..11, filters=23964, wck=14.193, mem=39M797
18.44/16.40 decisions=17086, wrong=8443, backtracks=1986, failedAssignments=6508, nogoods=1288
18.44/16.40
19.75/17.76 num=44, depth=4..13, filters=26343, wck=15.56, mem=39M797
19.75/17.76 decisions=18873, wrong=9330, backtracks=2219, failedAssignments=7170, nogoods=1374
19.75/17.76
21.35/19.39 num=45, depth=4..27, filters=29262, wck=17.187, mem=39M797
21.35/19.39 decisions=20748, wrong=10254, backtracks=2425, failedAssignments=7898, nogoods=1548
21.35/19.39
23.05/21.05 num=46, depth=3..13, filters=32106, wck=18.848, mem=39M797
23.05/21.05 decisions=22908, wrong=11328, backtracks=2710, failedAssignments=8699, nogoods=1644
23.05/21.05
24.84/22.87 num=47, depth=4..13, filters=35243, wck=20.667, mem=39M797
24.84/22.87 decisions=25285, wrong=12511, backtracks=3020, failedAssignments=9580, nogoods=1762
24.84/22.87
26.85/24.88 num=48, depth=4..13, filters=38698, wck=22.679, mem=39M797
26.85/24.88 decisions=27908, wrong=13817, backtracks=3369, failedAssignments=10550, nogoods=1873
26.85/24.88
29.26/27.20 num=49, depth=4..37, filters=42845, wck=24.998, mem=39M797
29.26/27.20 decisions=30718, wrong=15204, backtracks=3707, failedAssignments=11617, nogoods=2101
29.26/27.20
31.66/29.65 num=50, depth=3..13, filters=47071, wck=27.451, mem=39M797
31.66/29.65 decisions=33900, wrong=16789, backtracks=4136, failedAssignments=12790, nogoods=2242
31.66/29.65
34.36/32.33 num=51, depth=4..20, filters=51922, wck=30.132, mem=39M797
34.36/32.33 decisions=37247, wrong=18453, backtracks=4515, failedAssignments=14081, nogoods=2424
34.36/32.33
37.26/35.27 num=52, depth=4..14, filters=57001, wck=33.069, mem=39M797
37.26/35.27 decisions=41104, wrong=20375, backtracks=5042, failedAssignments=15501, nogoods=2568
37.26/35.27
40.47/38.49 num=53, depth=4..21, filters=62626, wck=36.286, mem=39M797
40.47/38.49 decisions=45343, wrong=22485, backtracks=5612, failedAssignments=17063, nogoods=2744
40.47/38.49
44.07/42.04 num=54, depth=4..28, filters=69237, wck=39.837, mem=39M797
44.07/42.04 decisions=49927, wrong=24763, backtracks=6197, failedAssignments=18781, nogoods=2984
44.07/42.04
47.77/45.72 num=55, depth=3..22, filters=75745, wck=43.513, mem=39M797
47.77/45.72 decisions=54938, wrong=27259, backtracks=6823, failedAssignments=20671, nogoods=3186
47.77/45.72
51.77/49.77 num=56, depth=4..22, filters=82896, wck=47.566, mem=39M797
51.77/49.77 decisions=60457, wrong=30008, backtracks=7517, failedAssignments=22750, nogoods=3427
51.77/49.77
56.37/54.34 num=57, depth=4..39, filters=91061, wck=52.133, mem=39M797
56.37/54.34 decisions=66602, wrong=33062, backtracks=8324, failedAssignments=25037, nogoods=3756
56.37/54.34
61.57/59.56 num=58, depth=4..21, filters=100641, wck=57.36, mem=39M797
61.57/59.56 decisions=73452, wrong=36478, backtracks=9237, failedAssignments=27553, nogoods=3928
61.57/59.56
67.47/65.44 num=59, depth=3..15, filters=110986, wck=63.239, mem=39M797
67.47/65.44 decisions=81179, wrong=40335, backtracks=10351, failedAssignments=30321, nogoods=4052
67.47/65.44
73.88/71.88 num=60, depth=4..16, filters=122384, wck=69.672, mem=39M797
73.88/71.88 decisions=89697, wrong=44587, backtracks=11582, failedAssignments=33365, nogoods=4193
73.88/71.88
81.10/79.06 num=61, depth=4..16, filters=135214, wck=76.855, mem=39M797
81.10/79.06 decisions=98969, wrong=49217, backtracks=12907, failedAssignments=36714, nogoods=4340
81.10/79.06
88.98/86.86 num=62, depth=4..16, filters=149045, wck=84.659, mem=42M439
88.98/86.86 decisions=109326, wrong=54388, backtracks=14414, failedAssignments=40398, nogoods=4473
88.98/86.86
96.39/94.24 num=63, depth=6..40, filters=163539, wck=92.034, mem=42M439
96.39/94.24 decisions=120199, wrong=59805, backtracks=15826, failedAssignments=44450, nogoods=4833
96.39/94.24
106.24/104.01 num=64, depth=5..16, filters=181080, wck=101.808, mem=42M439
106.24/104.01 decisions=132735, wrong=66066, backtracks=17652, failedAssignments=48907, nogoods=4962
106.24/104.01
114.95/112.78 num=65, depth=5..98, filters=203955, wck=110.578, mem=42M439
114.95/112.78 decisions=146129, wrong=72716, backtracks=19514, failedAssignments=53810, nogoods=5594
114.95/112.78
125.29/123.03 num=66, depth=6..68, filters=226453, wck=120.826, mem=42M439
125.29/123.03 decisions=160757, wrong=79997, backtracks=21453, failedAssignments=59204, nogoods=6096
125.29/123.03
136.19/133.93 num=67, depth=6..46, filters=249004, wck=131.726, mem=42M439
136.19/133.93 decisions=177321, wrong=88257, backtracks=23865, failedAssignments=65137, nogoods=6501
136.19/133.93
148.91/146.66 num=68, depth=6..78, filters=275387, wck=144.458, mem=42M439
148.91/146.66 decisions=195449, wrong=97283, backtracks=26474, failedAssignments=71663, nogoods=7017
148.91/146.66
162.44/160.13 num=69, depth=6..58, filters=302522, wck=157.93, mem=45M82
162.44/160.13 decisions=215307, wrong=107184, backtracks=29289, failedAssignments=78842, nogoods=7546
162.44/160.13
177.46/175.12 num=70, depth=7..61, filters=332076, wck=172.921, mem=45M82
177.46/175.12 decisions=237154, wrong=118078, backtracks=32427, failedAssignments=86739, nogoods=8038
177.46/175.12
193.55/191.20 num=71, depth=7..44, filters=364382, wck=188.997, mem=45M82
193.55/191.20 decisions=261209, wrong=130085, backtracks=35870, failedAssignments=95426, nogoods=8420
193.55/191.20
213.56/211.26 num=72, depth=6..32, filters=401063, wck=209.053, mem=45M82
213.56/211.26 decisions=288114, wrong=143522, backtracks=39874, failedAssignments=104981, nogoods=8759
213.56/211.26
232.38/230.08 num=73, depth=6..79, filters=441217, wck=227.874, mem=45M82
232.38/230.08 decisions=317232, wrong=158042, backtracks=44016, failedAssignments=115492, nogoods=9316
232.38/230.08
251.77/249.43 num=74, depth=6..120, filters=505547, wck=247.227, mem=47M725
251.77/249.43 decisions=348774, wrong=173754, backtracks=48295, failedAssignments=127054, nogoods=10239
251.77/249.43
277.88/275.53 num=75, depth=6..112, filters=569796, wck=273.329, mem=47M725
277.88/275.53 decisions=384638, wrong=191631, backtracks=53631, failedAssignments=139772, nogoods=10974
277.88/275.53
305.50/303.13 num=76, depth=6..60, filters=626997, wck=300.923, mem=47M725
305.50/303.13 decisions=424017, wrong=211291, backtracks=59489, failedAssignments=153762, nogoods=11516
305.50/303.13
336.31/333.90 num=77, depth=6..50, filters=689835, wck=331.695, mem=47M725
336.31/333.90 decisions=467329, wrong=232923, backtracks=65972, failedAssignments=169151, nogoods=12009
336.31/333.90
369.42/367.10 num=78, depth=6..101, filters=773758, wck=364.892, mem=50M367
369.42/367.10 decisions=513171, wrong=255796, backtracks=72116, failedAssignments=186079, nogoods=12807
369.42/367.10
405.53/403.16 num=79, depth=6..68, filters=850447, wck=400.953, mem=50M367
405.53/403.16 decisions=564929, wrong=281642, backtracks=79610, failedAssignments=204700, nogoods=13588
405.53/403.16
446.45/444.05 num=80, depth=6..86, filters=945669, wck=441.851, mem=53M10
446.45/444.05 decisions=620739, wrong=309507, backtracks=87185, failedAssignments=225184, nogoods=14384
446.45/444.05
494.57/492.13 num=81, depth=6..108, filters=1056940, wck=489.928, mem=53M10
494.57/492.13 decisions=683955, wrong=341062, backtracks=96579, failedAssignments=247716, nogoods=15207
494.57/492.13
540.98/538.56 num=82, depth=6..101, filters=1193204, wck=536.352, mem=53M10
540.98/538.56 decisions=754781, wrong=376427, backtracks=107668, failedAssignments=272501, nogoods=15995
540.98/538.56
588.40/585.93 num=83, depth=6..105, filters=1310018, wck=583.727, mem=55M652
588.40/585.93 decisions=830965, wrong=414473, backtracks=118750, failedAssignments=299765, nogoods=16832
588.40/585.93
643.99/641.55 num=84, depth=6..102, filters=1438067, wck=639.343, mem=58M295
643.99/641.55 decisions=915297, wrong=456589, backtracks=131312, failedAssignments=329755, nogoods=17823
643.99/641.55
732.54/730.01 num=85, depth=6..116, filters=1877996, wck=727.805, mem=58M295
732.54/730.01 decisions=1004028, wrong=500898, backtracks=143001, failedAssignments=362744, nogoods=18780
732.54/730.01
807.96/805.42 num=86, depth=6..57, filters=2037876, wck=803.217, mem=60M937
807.96/805.42 decisions=1105924, wrong=551819, backtracks=158206, failedAssignments=399032, nogoods=19353
807.96/805.42
870.89/868.33 num=87, depth=6..85, filters=2178695, wck=866.125, mem=60M937
870.89/868.33 decisions=1209946, wrong=603788, backtracks=170777, failedAssignments=438949, nogoods=20072
870.89/868.33
941.51/938.93 num=88, depth=6..141, filters=2482640, wck=936.725, mem=63M580
941.51/938.93 decisions=1327651, wrong=662573, backtracks=186250, failedAssignments=482858, nogoods=21425
941.51/938.93
1060.44/1057.82 num=89, depth=6..110, filters=2911023, wck=1055.617, mem=66M222
1060.44/1057.82 decisions=1464855, wrong=731120, backtracks=206937, failedAssignments=531158, nogoods=22578
1060.44/1057.82
1204.20/1201.57 num=90, depth=7..99, filters=3523062, wck=1199.369, mem=68M865
1204.20/1201.57 decisions=1606753, wrong=802021, backtracks=225806, failedAssignments=584288, nogoods=23578
1204.20/1201.57
1308.54/1305.81 num=91, depth=8..110, filters=3912612, wck=1303.602, mem=71M507
1308.54/1305.81 decisions=1769244, wrong=883214, backtracks=250079, failedAssignments=642731, nogoods=24426
1308.54/1305.81
1466.50/1463.79 num=92, depth=8..112, filters=4800470, wck=1461.583, mem=74M149
1466.50/1463.79 decisions=1947431, wrong=972253, backtracks=275469, failedAssignments=707018, nogoods=25344
1466.50/1463.79
1590.54/1587.78 num=93, depth=9..59, filters=5072833, wck=1585.576, mem=76M792
1590.54/1587.78 decisions=2136578, wrong=1066800, backtracks=300071, failedAssignments=777734, nogoods=25986
1590.54/1587.78
1708.78/1705.92 num=94, depth=4..118, filters=5470202, wck=1703.712, mem=79M434
1708.78/1705.92 decisions=2355625, wrong=1176266, backtracks=333032, failedAssignments=855521, nogoods=27087
1708.78/1705.92
1982.86/1979.90 num=95, depth=5..125, filters=7430575, wck=1977.696, mem=82M77
1982.86/1979.90 decisions=2571023, wrong=1283905, backtracks=355776, failedAssignments=941087, nogoods=28172
1982.86/1979.90
2174.62/2171.62 num=96, depth=6..119, filters=8635628, wck=2169.415, mem=87M362
2174.62/2171.62 decisions=2838845, wrong=1417757, backtracks=397015, failedAssignments=1035210, nogoods=29137
2174.62/2171.62
2445.32/2442.20 num=97, depth=5..111, filters=10259775, wck=2440.0, mem=90M4
2445.32/2442.20 decisions=3101809, wrong=1549185, backtracks=425692, failedAssignments=1138745, nogoods=30487
2445.32/2442.20
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 (9375 MiB free)
memory of node 1: 16384 MiB (12566 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390733-1568383460/watcher-4390733-1568383460 -o /tmp/evaluation-result-4390733-1568383460/solver-4390733-1568383460 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10796 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390733-1568383460.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
solver pid=12146, runsolver pid=12143
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 1.59 1.54 1.55 5/231 12161
/proc/meminfo: memFree=22453388/32770624 swapFree=66939832/67108860
[pid=12146] ppid=12143 vsize=10659884 memory=28412 CPUtime=0.14 cores=0,2,4,6
/proc/12146/stat : 12146 (java) S 12143 12146 10765 0 -1 1077944320 5533 0 0 0 12 2 0 0 20 0 15 0 414260932 10915721216 7103 33554432000 4194304 4196468 140737398350896 140737398333440 140192369073911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
/proc/12146/statm: 2664971 7103 2890 1 0 2627468 0
[pid=12146/tid=12148] ppid=12143 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=0,2,4,6
/proc/12146/task/12148/stat : 12148 (java) R 12143 12146 10765 0 -1 4202560 3276 0 0 0 8 1 0 0 20 0 15 0 414260932 10915721216 7103 33554432000 4194304 4196468 140737398350896 140192373304976 140192369085846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12149] ppid=12143 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12149/stat : 12149 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 7103 33554432000 4194304 4196468 140737398350896 140192305765264 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12150] ppid=12143 vsize=10659884 memory=139988977104512 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12150/stat : 12150 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 7103 33554432000 4194304 4196468 140737398350896 140192304712464 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12151] ppid=12143 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12151/stat : 12151 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 7103 33554432000 4194304 4196468 140737398350896 140192303660176 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12152] ppid=12143 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12152/stat : 12152 (java) S 12143 12146 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 7103 33554432000 4194304 4196468 140737398350896 140192302607376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12153] ppid=12143 vsize=10659884 memory=139988977104512 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12153/stat : 12153 (java) S 12143 12146 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414260935 10915721216 7103 33554432000 4194304 4196468 140737398350896 140191860549744 140192369085058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12154] ppid=12143 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12154/stat : 12154 (java) S 12143 12146 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414260935 10915721216 7103 33554432000 4194304 4196468 140737398350896 140191859495712 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12155] ppid=12143 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12155/stat : 12155 (java) S 12143 12146 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414260935 10915721216 7103 33554432000 4194304 4196468 140737398350896 140191858443376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12156] ppid=12143 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12156/stat : 12156 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414260938 10915721216 7103 33554432000 4194304 4196468 140737398350896 140191857391696 140192369092507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12157] ppid=12143 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12157/stat : 12157 (java) S 12143 12146 10765 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 414260938 10915721216 7103 33554432000 4194304 4196468 140737398350896 140191856339568 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12158] ppid=12143 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12158/stat : 12158 (java) S 12143 12146 10765 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 414260938 10915721216 7103 33554432000 4194304 4196468 140737398350896 140191855286768 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12159] ppid=12143 vsize=10659884 memory=139988977104512 CPUtime=0.02 cores=0,2,4,6
/proc/12146/task/12159/stat : 12159 (java) R 12143 12146 10765 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 15 0 414260938 10915721216 7103 33554432000 4194304 4196468 140737398350896 140191854234480 140192369085846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12160] ppid=12143 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12160/stat : 12160 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414260938 10915721216 7103 33554432000 4194304 4196468 140737398350896 140191853181920 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12161] ppid=12143 vsize=10659884 memory=139988977104512 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12161/stat : 12161 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260938 10915721216 7103 33554432000 4194304 4196468 140737398350896 140191852128688 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28412 KiB
[startup+0.211083 s]*
/proc/loadavg: 1.59 1.54 1.55 3/231 12161
/proc/meminfo: memFree=22445668/32770624 swapFree=66939832/67108860
[pid=12146] ppid=12143 vsize=10659884 memory=35356 CPUtime=0.33 cores=0,2,4,6
/proc/12146/stat : 12146 (java) S 12143 12146 10765 0 -1 1077944320 6969 0 0 0 31 2 0 0 20 0 15 0 414260932 10915721216 8839 33554432000 4194304 4196468 140737398350896 140737398333440 140192369073911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
/proc/12146/statm: 2664971 8839 2989 1 0 2627468 0
[pid=12146/tid=12148] ppid=12143 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/12146/task/12148/stat : 12148 (java) R 12143 12146 10765 0 -1 4202560 3889 0 0 0 19 1 0 0 20 0 15 0 414260932 10915721216 8839 33554432000 4194304 4196468 140737398350896 140192373300272 140192369095837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12149] ppid=12143 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12149/stat : 12149 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 8839 33554432000 4194304 4196468 140737398350896 140192305765264 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12150] ppid=12143 vsize=10659884 memory=139988977116644 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12150/stat : 12150 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 8839 33554432000 4194304 4196468 140737398350896 140192304712464 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12151] ppid=12143 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12151/stat : 12151 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 8839 33554432000 4194304 4196468 140737398350896 140192303660176 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12152] ppid=12143 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12152/stat : 12152 (java) S 12143 12146 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 8839 33554432000 4194304 4196468 140737398350896 140192302607376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12153] ppid=12143 vsize=10659884 memory=139988977104512 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12153/stat : 12153 (java) S 12143 12146 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414260935 10915721216 8839 33554432000 4194304 4196468 140737398350896 140191860549744 140192369085058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12154] ppid=12143 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12154/stat : 12154 (java) S 12143 12146 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414260935 10915721216 8839 33554432000 4194304 4196468 140737398350896 140191859495712 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12155] ppid=12143 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12155/stat : 12155 (java) S 12143 12146 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414260935 10915721216 8839 33554432000 4194304 4196468 140737398350896 140191858443376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12156] ppid=12143 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12156/stat : 12156 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414260938 10915721216 8839 33554432000 4194304 4196468 140737398350896 140191857391696 140192369092507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12157] ppid=12143 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12146/task/12157/stat : 12157 (java) S 12143 12146 10765 0 -1 1077944384 515 0 0 0 3 0 0 0 20 0 15 0 414260938 10915721216 8839 33554432000 4194304 4196468 140737398350896 140191856339568 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12158] ppid=12143 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/12146/task/12158/stat : 12158 (java) S 12143 12146 10765 0 -1 1077944384 492 0 0 0 3 0 0 0 20 0 15 0 414260938 10915721216 8839 33554432000 4194304 4196468 140737398350896 140191855286768 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12159] ppid=12143 vsize=10659884 memory=139988977104512 CPUtime=0.05 cores=0,2,4,6
/proc/12146/task/12159/stat : 12159 (java) S 12143 12146 10765 0 -1 1077944384 714 0 0 0 5 0 0 0 20 0 15 0 414260938 10915721216 8839 33554432000 4194304 4196468 140737398350896 140191854234480 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12160] ppid=12143 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12160/stat : 12160 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414260938 10915721216 8839 33554432000 4194304 4196468 140737398350896 140191853181920 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12161] ppid=12143 vsize=10659884 memory=139988977104512 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12161/stat : 12161 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260938 10915721216 8839 33554432000 4194304 4196468 140737398350896 140191852128688 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35356 KiB
[startup+0.310472 s]*
/proc/loadavg: 1.59 1.54 1.55 3/231 12161
/proc/meminfo: memFree=22436920/32770624 swapFree=66939832/67108860
[pid=12146] ppid=12143 vsize=10659884 memory=40740 CPUtime=0.47 cores=0,2,4,6
/proc/12146/stat : 12146 (java) S 12143 12146 10765 0 -1 1077944320 9475 0 0 0 44 3 0 0 20 0 15 0 414260932 10915721216 10185 33554432000 4194304 4196468 140737398350896 140737398333440 140192369073911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
/proc/12146/statm: 2664971 10185 3002 1 0 2627468 0
[pid=12146/tid=12148] ppid=12143 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/12146/task/12148/stat : 12148 (java) R 12143 12146 10765 0 -1 4202560 6333 0 0 0 27 2 0 0 20 0 15 0 414260932 10915721216 10185 33554432000 4194304 4196468 140737398350896 140192373306320 140192369095837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12149] ppid=12143 vsize=10659884 memory=10528 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12149/stat : 12149 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 10185 33554432000 4194304 4196468 140737398350896 140192305765264 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12150] ppid=12143 vsize=10659884 memory=139988977116616 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12150/stat : 12150 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 10185 33554432000 4194304 4196468 140737398350896 140192304712464 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12151] ppid=12143 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12151/stat : 12151 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 10185 33554432000 4194304 4196468 140737398350896 140192303660176 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12152] ppid=12143 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12152/stat : 12152 (java) S 12143 12146 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414260933 10915721216 10185 33554432000 4194304 4196468 140737398350896 140192302607376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12153] ppid=12143 vsize=10659884 memory=139988977104512 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12153/stat : 12153 (java) S 12143 12146 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414260935 10915721216 10185 33554432000 4194304 4196468 140737398350896 140191860549744 140192369085058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12154] ppid=12143 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12154/stat : 12154 (java) S 12143 12146 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414260935 10915721216 10185 33554432000 4194304 4196468 140737398350896 140191859495712 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12155] ppid=12143 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12155/stat : 12155 (java) S 12143 12146 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414260935 10915721216 10185 33554432000 4194304 4196468 140737398350896 140191858443376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12156] ppid=12143 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12156/stat : 12156 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414260938 10915721216 10185 33554432000 4194304 4196468 140737398350896 140191857391696 140192369092507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12157] ppid=12143 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/12146/task/12157/stat : 12157 (java) S 12143 12146 10765 0 -1 1077944384 531 0 0 0 4 0 0 0 20 0 15 0 414260938 10915721216 10185 33554432000 4194304 4196468 140737398350896 140191856339568 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12158] ppid=12143 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/12146/task/12158/stat : 12158 (java) S 12143 12146 10765 0 -1 1077944384 519 0 0 0 4 0 0 0 20 0 15 0 414260938 10915721216 10185 33554432000 4194304 4196468 140737398350896 140191855286768 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12159] ppid=12143 vsize=10659884 memory=139988977104512 CPUtime=0.08 cores=0,2,4,6
/proc/12146/task/12159/stat : 12159 (java) S 12143 12146 10765 0 -1 1077944384 735 0 0 0 8 0 0 0 20 0 15 0 414260938 10915721216 10185 33554432000 4194304 4196468 140737398350896 140191854234480 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12160] ppid=12143 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12160/stat : 12160 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414260938 10915721216 10185 33554432000 4194304 4196468 140737398350896 140191853181920 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12161] ppid=12143 vsize=10659884 memory=139988977104512 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12161/stat : 12161 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260938 10915721216 10185 33554432000 4194304 4196468 140737398350896 140191852128688 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40740 KiB
[startup+0.708809 s]
/proc/loadavg: 1.59 1.54 1.55 3/231 12161
/proc/meminfo: memFree=22429184/32770624 swapFree=66939832/67108860
[pid=12146] ppid=12143 vsize=10661932 memory=63988 CPUtime=1.11 cores=0,2,4,6
/proc/12146/stat : 12146 (java) S 12143 12146 10765 0 -1 1077944320 13132 0 0 0 106 5 0 0 20 0 15 0 414260932 10917818368 15997 33554432000 4194304 4196468 140737398350896 140737398333440 140192369073911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
/proc/12146/statm: 2665483 15997 3073 1 0 2627980 0
[pid=12146/tid=12148] ppid=12143 vsize=10661932 memory=14056 CPUtime=0.68 cores=0,2,4,6
/proc/12146/task/12148/stat : 12148 (java) R 12143 12146 10765 0 -1 4202560 8914 0 0 0 64 4 0 0 20 0 15 0 414260932 10917818368 15997 33554432000 4194304 4196468 140737398350896 140192373305936 140192350447395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12149] ppid=12143 vsize=10661932 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12149/stat : 12149 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10917818368 15997 33554432000 4194304 4196468 140737398350896 140192305765264 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12150] ppid=12143 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12150/stat : 12150 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10917818368 15997 33554432000 4194304 4196468 140737398350896 140192304712464 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12151] ppid=12143 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12151/stat : 12151 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10917818368 15997 33554432000 4194304 4196468 140737398350896 140192303660176 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12152] ppid=12143 vsize=10661932 memory=924 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12152/stat : 12152 (java) S 12143 12146 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414260933 10917818368 15997 33554432000 4194304 4196468 140737398350896 140192302607376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12153] ppid=12143 vsize=10661932 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12153/stat : 12153 (java) S 12143 12146 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414260935 10917818368 15997 33554432000 4194304 4196468 140737398350896 140191860549744 140192369085058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12154] ppid=12143 vsize=10661932 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12154/stat : 12154 (java) S 12143 12146 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414260935 10917818368 15997 33554432000 4194304 4196468 140737398350896 140191859495712 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12155] ppid=12143 vsize=10661932 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12155/stat : 12155 (java) S 12143 12146 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414260935 10917818368 15997 33554432000 4194304 4196468 140737398350896 140191858443376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12156] ppid=12143 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12156/stat : 12156 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414260938 10917818368 15997 33554432000 4194304 4196468 140737398350896 140191857391696 140192369092507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12157] ppid=12143 vsize=10661932 memory=7086240636179272035 CPUtime=0.12 cores=0,2,4,6
/proc/12146/task/12157/stat : 12157 (java) R 12143 12146 10765 0 -1 4202560 821 0 0 0 12 0 0 0 20 0 15 0 414260938 10917818368 15997 33554432000 4194304 4196468 140737398350896 140191856325664 140192350596099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12158] ppid=12143 vsize=10661932 memory=7453282923444726100 CPUtime=0.1 cores=0,2,4,6
/proc/12146/task/12158/stat : 12158 (java) S 12143 12146 10765 0 -1 1077944384 816 0 0 0 10 0 0 0 20 0 15 0 414260938 10917818368 15997 33554432000 4194304 4196468 140737398350896 140191855286768 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12159] ppid=12143 vsize=10661932 memory=7223879631928058176 CPUtime=0.19 cores=0,2,4,6
/proc/12146/task/12159/stat : 12159 (java) S 12143 12146 10765 0 -1 1077944384 1222 0 0 0 19 0 0 0 20 0 15 0 414260938 10917818368 15997 33554432000 4194304 4196468 140737398350896 140191854234480 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12160] ppid=12143 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12160/stat : 12160 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414260938 10917818368 15997 33554432000 4194304 4196468 140737398350896 140191853181920 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12161] ppid=12143 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12161/stat : 12161 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260938 10917818368 15997 33554432000 4194304 4196468 140737398350896 140191852128688 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63988 KiB
[startup+1.50072 s]
/proc/loadavg: 1.59 1.54 1.55 3/231 12161
/proc/meminfo: memFree=22413728/32770624 swapFree=66939832/67108860
[pid=12146] ppid=12143 vsize=10663980 memory=76020 CPUtime=2 cores=0,2,4,6
/proc/12146/stat : 12146 (java) S 12143 12146 10765 0 -1 1077944320 18625 0 0 0 194 6 0 0 20 0 15 0 414260932 10919915520 19005 33554432000 4194304 4196468 140737398350896 140737398333440 140192369073911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
/proc/12146/statm: 2665995 19005 3097 1 0 2628492 0
[pid=12146/tid=12148] ppid=12143 vsize=10663980 memory=6493990552776 CPUtime=1.48 cores=0,2,4,6
/proc/12146/task/12148/stat : 12148 (java) R 12143 12146 10765 0 -1 4202560 13072 0 0 0 143 5 0 0 20 0 15 0 414260932 10919915520 19005 33554432000 4194304 4196468 140737398350896 140192373306048 140192353180748 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12149] ppid=12143 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12149/stat : 12149 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10919915520 19005 33554432000 4194304 4196468 140737398350896 140192305765264 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12150] ppid=12143 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12150/stat : 12150 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10919915520 19005 33554432000 4194304 4196468 140737398350896 140192304712464 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12151] ppid=12143 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12151/stat : 12151 (java) S 12143 12146 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414260933 10919915520 19005 33554432000 4194304 4196468 140737398350896 140192303660176 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12152] ppid=12143 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12152/stat : 12152 (java) S 12143 12146 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414260933 10919915520 19005 33554432000 4194304 4196468 140737398350896 140192302607376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12153] ppid=12143 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12153/stat : 12153 (java) S 12143 12146 10765 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 414260935 10919915520 19005 33554432000 4194304 4196468 140737398350896 140191860549744 140192369085058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
################
# More data... #
################
/proc/12146/task/12152/stat : 12152 (java) S 12143 12146 10765 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192302607376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12153] ppid=12143 vsize=10746276 memory=193620 CPUtime=0.04 cores=0,2,4,6
/proc/12146/task/12153/stat : 12153 (java) S 12143 12146 10765 0 -1 1077944384 1630 0 0 0 2 2 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191860549744 140192369085058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12154] ppid=12143 vsize=10746276 memory=193620 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12154/stat : 12154 (java) S 12143 12146 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191859495776 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12155] ppid=12143 vsize=10746276 memory=193620 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12155/stat : 12155 (java) S 12143 12146 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191858443392 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12156] ppid=12143 vsize=10746276 memory=193620 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12156/stat : 12156 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191857391696 140192369092507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12157] ppid=12143 vsize=10746276 memory=193620 CPUtime=0.93 cores=0,2,4,6
/proc/12146/task/12157/stat : 12157 (java) S 12143 12146 10765 0 -1 1077944384 7824 0 0 0 93 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191856339568 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12158] ppid=12143 vsize=10746276 memory=6791534058613427641 CPUtime=0.81 cores=0,2,4,6
/proc/12146/task/12158/stat : 12158 (java) S 12143 12146 10765 0 -1 1077944384 6076 0 0 0 80 1 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191855286768 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12159] ppid=12143 vsize=10746276 memory=1436 CPUtime=0.54 cores=0,2,4,6
/proc/12146/task/12159/stat : 12159 (java) S 12143 12146 10765 0 -1 1077944384 4716 0 0 0 53 1 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191854234480 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12160] ppid=12143 vsize=10746276 memory=193620 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12160/stat : 12160 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191853181920 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12161] ppid=12143 vsize=10746276 memory=193620 CPUtime=0.79 cores=0,2,4,6
/proc/12146/task/12161/stat : 12161 (java) S 12143 12146 10765 0 -1 1077944384 1125 0 0 0 32 47 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191852128688 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12162] ppid=12143 vsize=10746276 memory=193620 CPUtime=2440.31 cores=0,2,4,6
/proc/12146/task/12162/stat : 12162 (java) R 12143 12146 10765 0 -1 4202560 16632 0 0 0 244027 4 0 0 20 0 16 0 414261122 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191835458640 140191982337762 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
Current children cumulated CPU time: 2445.42 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 195668 KiB
[startup+2502.3 s]
/proc/loadavg: 1.87 1.84 1.79 3/229 12468
/proc/meminfo: memFree=23507336/32770624 swapFree=66939836/67108860
[pid=12146] ppid=12143 vsize=10746276 memory=195668 CPUtime=2505.43 cores=0,2,4,6
/proc/12146/stat : 12146 (java) S 12143 12146 10765 0 -1 1077944320 55130 0 0 0 250488 55 0 0 20 0 16 0 414260932 11004186624 48917 33554432000 4194304 4196468 140737398350896 140737398333440 140192369073911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
/proc/12146/statm: 2686569 48917 3354 1 0 2646705 0
[pid=12146/tid=12148] ppid=12143 vsize=10746276 memory=195668 CPUtime=1.87 cores=0,2,4,6
/proc/12146/task/12148/stat : 12148 (java) S 12143 12146 10765 0 -1 1077944384 15364 0 0 0 180 7 0 0 20 0 16 0 414260932 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192373316784 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12149] ppid=12143 vsize=10746276 memory=195668 CPUtime=0.01 cores=0,2,4,6
/proc/12146/task/12149/stat : 12149 (java) S 12143 12146 10765 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192305765264 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12150] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12150/stat : 12150 (java) S 12143 12146 10765 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192304712464 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12151] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12151/stat : 12151 (java) S 12143 12146 10765 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192303660176 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12152] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12152/stat : 12152 (java) S 12143 12146 10765 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192302607376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12153] ppid=12143 vsize=10746276 memory=195668 CPUtime=0.04 cores=0,2,4,6
/proc/12146/task/12153/stat : 12153 (java) S 12143 12146 10765 0 -1 1077944384 1636 0 0 0 2 2 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191860549744 140192369085058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12154] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12154/stat : 12154 (java) S 12143 12146 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191859495776 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12155] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12155/stat : 12155 (java) S 12143 12146 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191858443392 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12156] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12156/stat : 12156 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191857391696 140192369092507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12157] ppid=12143 vsize=10746276 memory=195668 CPUtime=0.94 cores=0,2,4,6
/proc/12146/task/12157/stat : 12157 (java) S 12143 12146 10765 0 -1 1077944384 7832 0 0 0 94 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191856339568 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12158] ppid=12143 vsize=10746276 memory=195668 CPUtime=0.81 cores=0,2,4,6
/proc/12146/task/12158/stat : 12158 (java) S 12143 12146 10765 0 -1 1077944384 6078 0 0 0 80 1 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191855286768 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12159] ppid=12143 vsize=10746276 memory=195668 CPUtime=0.54 cores=0,2,4,6
/proc/12146/task/12159/stat : 12159 (java) S 12143 12146 10765 0 -1 1077944384 4718 0 0 0 53 1 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191854234480 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12160] ppid=12143 vsize=10746276 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12160/stat : 12160 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191853181920 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12161] ppid=12143 vsize=10746276 memory=3504 CPUtime=0.8 cores=0,2,4,6
/proc/12146/task/12161/stat : 12161 (java) S 12143 12146 10765 0 -1 1077944384 1156 0 0 0 32 48 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191852128688 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12162] ppid=12143 vsize=10746276 memory=6791534058613427641 CPUtime=2500.3 cores=0,2,4,6
/proc/12146/task/12162/stat : 12162 (java) R 12143 12146 10765 0 -1 4202560 16718 0 0 0 250026 4 0 0 20 0 16 0 414261122 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191835458640 140191982337710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
Current children cumulated CPU time: 2505.43 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 195668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2516.9 s]
/proc/loadavg: 1.75 1.82 1.78 3/229 12472
/proc/meminfo: memFree=23507784/32770624 swapFree=66939836/67108860
[pid=12146] ppid=12143 vsize=10746276 memory=195668 CPUtime=2520.04 cores=0,2,4,6
/proc/12146/stat : 12146 (java) S 12143 12146 10765 0 -1 1077944320 55137 0 0 0 251948 56 0 0 20 0 16 0 414260932 11004186624 48917 33554432000 4194304 4196468 140737398350896 140737398333440 140192369073911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
/proc/12146/statm: 2686569 48917 3354 1 0 2646705 0
[pid=12146/tid=12148] ppid=12143 vsize=10746276 memory=195668 CPUtime=1.87 cores=0,2,4,6
/proc/12146/task/12148/stat : 12148 (java) S 12143 12146 10765 0 -1 1077944384 15364 0 0 0 180 7 0 0 20 0 16 0 414260932 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192373316784 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12149] ppid=12143 vsize=10746276 memory=195668 CPUtime=0.01 cores=0,2,4,6
/proc/12146/task/12149/stat : 12149 (java) S 12143 12146 10765 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192305765264 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12150] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12150/stat : 12150 (java) S 12143 12146 10765 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192304712464 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12151] ppid=12143 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12151/stat : 12151 (java) S 12143 12146 10765 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192303660176 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12152] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12152/stat : 12152 (java) S 12143 12146 10765 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192302607376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12153] ppid=12143 vsize=10746276 memory=3504 CPUtime=0.04 cores=0,2,4,6
/proc/12146/task/12153/stat : 12153 (java) S 12143 12146 10765 0 -1 1077944384 1636 0 0 0 2 2 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191860549744 140192369085058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12154] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12154/stat : 12154 (java) S 12143 12146 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191859495776 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12155] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12155/stat : 12155 (java) S 12143 12146 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191858443392 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12156] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12156/stat : 12156 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191857391696 140192369092507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12157] ppid=12143 vsize=10746276 memory=288230574492221466 CPUtime=0.94 cores=0,2,4,6
/proc/12146/task/12157/stat : 12157 (java) S 12143 12146 10765 0 -1 1077944384 7832 0 0 0 94 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191856339568 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12158] ppid=12143 vsize=10746276 memory=288230596050944315 CPUtime=0.81 cores=0,2,4,6
/proc/12146/task/12158/stat : 12158 (java) S 12143 12146 10765 0 -1 1077944384 6078 0 0 0 80 1 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191855286768 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12159] ppid=12143 vsize=10746276 memory=195668 CPUtime=0.54 cores=0,2,4,6
/proc/12146/task/12159/stat : 12159 (java) S 12143 12146 10765 0 -1 1077944384 4718 0 0 0 53 1 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191854234480 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12160] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12160/stat : 12160 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191853181920 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12161] ppid=12143 vsize=10746276 memory=195668 CPUtime=0.8 cores=0,2,4,6
/proc/12146/task/12161/stat : 12161 (java) S 12143 12146 10765 0 -1 1077944384 1156 0 0 0 32 48 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191852128688 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12162] ppid=12143 vsize=10746276 memory=195668 CPUtime=2514.9 cores=0,2,4,6
/proc/12146/task/12162/stat : 12162 (java) R 12143 12146 10765 0 -1 4202560 16725 0 0 0 251486 4 0 0 20 0 16 0 414261122 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191835458640 140191982297735 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 195668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2516.91 s]
# the end of solver process 12146 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.5 s, system=0.567063 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2516.9 s]
/proc/loadavg: 1.75 1.82 1.78 3/229 12472
/proc/meminfo: memFree=23507784/32770624 swapFree=66939836/67108860
[pid=12146] ppid=12143 vsize=10746276 memory=195668 CPUtime=2520.04 cores=0,2,4,6
/proc/12146/stat : 12146 (java) S 12143 12146 10765 0 -1 1077944320 55137 0 0 0 251948 56 0 0 20 0 16 0 414260932 11004186624 48917 33554432000 4194304 4196468 140737398350896 140737398333440 140192369073911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
/proc/12146/statm: 2686569 48917 3354 1 0 2646705 0
[pid=12146/tid=12148] ppid=12143 vsize=10746276 memory=195668 CPUtime=1.87 cores=0,2,4,6
/proc/12146/task/12148/stat : 12148 (java) S 12143 12146 10765 0 -1 1077944384 15364 0 0 0 180 7 0 0 20 0 16 0 414260932 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192373316784 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12149] ppid=12143 vsize=10746276 memory=195668 CPUtime=0.01 cores=0,2,4,6
/proc/12146/task/12149/stat : 12149 (java) S 12143 12146 10765 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192305765264 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12150] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12150/stat : 12150 (java) S 12143 12146 10765 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192304712464 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12151] ppid=12143 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12151/stat : 12151 (java) S 12143 12146 10765 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192303660176 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12152] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12152/stat : 12152 (java) S 12143 12146 10765 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 414260933 11004186624 48917 33554432000 4194304 4196468 140737398350896 140192302607376 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12153] ppid=12143 vsize=10746276 memory=3504 CPUtime=0.04 cores=0,2,4,6
/proc/12146/task/12153/stat : 12153 (java) S 12143 12146 10765 0 -1 1077944384 1636 0 0 0 2 2 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191860549744 140192369085058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12154] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12154/stat : 12154 (java) S 12143 12146 10765 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191859495776 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12155] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12155/stat : 12155 (java) S 12143 12146 10765 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414260935 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191858443392 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12156] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12156/stat : 12156 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191857391696 140192369092507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12157] ppid=12143 vsize=10746276 memory=288230574492221466 CPUtime=0.94 cores=0,2,4,6
/proc/12146/task/12157/stat : 12157 (java) S 12143 12146 10765 0 -1 1077944384 7832 0 0 0 94 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191856339568 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12158] ppid=12143 vsize=10746276 memory=288230596050944315 CPUtime=0.81 cores=0,2,4,6
/proc/12146/task/12158/stat : 12158 (java) S 12143 12146 10765 0 -1 1077944384 6078 0 0 0 80 1 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191855286768 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12159] ppid=12143 vsize=10746276 memory=195668 CPUtime=0.54 cores=0,2,4,6
/proc/12146/task/12159/stat : 12159 (java) S 12143 12146 10765 0 -1 1077944384 4718 0 0 0 53 1 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191854234480 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12160] ppid=12143 vsize=10746276 memory=195668 CPUtime=0 cores=0,2,4,6
/proc/12146/task/12160/stat : 12160 (java) S 12143 12146 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191853181920 140192369084117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12161] ppid=12143 vsize=10746276 memory=195668 CPUtime=0.8 cores=0,2,4,6
/proc/12146/task/12161/stat : 12161 (java) S 12143 12146 10765 0 -1 1077944384 1156 0 0 0 32 48 0 0 20 0 16 0 414260938 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191852128688 140192369085058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
[pid=12146/tid=12162] ppid=12143 vsize=10746276 memory=195668 CPUtime=2514.9 cores=0,2,4,6
/proc/12146/task/12162/stat : 12162 (java) R 12143 12146 10765 0 -1 4202560 16725 0 0 0 251486 4 0 0 20 0 16 0 414261122 11004186624 48917 33554432000 4194304 4196468 140737398350896 140191835458640 140191982297735 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7356416 140737398359051 140737398359154 140737398359154 140737398362063 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 195668 KiB
Child status: 143
Real time (s): 2516.91
CPU time (s): 2520.06
CPU user time (s): 2519.5
CPU system time (s): 0.567063
CPU usage (%): 100.125
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 195668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.567063
maximum resident set size= 200444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57598
involuntary context switches= 2915
# summary of solver processes directly reported to runsolver:
# pid: 12146
# total CPU time (s): 2520.06
# total CPU user time (s): 2519.5
# total CPU system time (s): 0.567063
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.722 second user time and 20.9468 second system time
The end