2.60/1.90
2.60/1.90 AbsCon 2
2.60/1.92
4.24/2.40 Instance
4.24/2.40 name=instance-4390737-1568383605, framework=CSP
4.24/2.40
4.24/2.40 Loading variables...
4.24/2.49 Loading constraints...
6.17/3.21
6.17/3.21 Domains
6.17/3.21 nTypes=1, nValues=117117, sizes=[39#3003]
6.17/3.21 Variables
6.17/3.21 count=3003, degrees=[2#1482,79#39,80#1482]
6.17/3.21 Constraints
6.17/3.21 count=3081, nSpecific=3042, arities=[1#39,39#78,41#2964]
6.17/3.21 distribution=[AllDifferent#78,CtrIntension#39,ElementVariable#2964]
6.17/3.21 nIntStructures=(39,shared:0)
6.17/3.21 wck=1.336, cpu=3.15, mem=63M662
6.17/3.25 Solver SolverBacktrack being built...
6.17/3.25
6.46/3.30
6.46/3.30 Solver
6.46/3.30 guaranteedGAC=true
6.46/3.30 wck=1.434, cpu=3.246, mem=119M607
7.49/3.80
7.49/3.80 Preprocessing
7.49/3.80 filters=3081, revisions=(39,useless=0), ccks=1521, nACremovedValues=7410, nTotalRemovedValues=7410, inconcistency=false
7.49/3.80 wck=0.492, cpu=3.741, mem=130M19
7.49/3.80
8.92/5.03 num=0, depth=175..178, filters=13166, revisions=(39,useless=0), ccks=1521, wck=1.726, mem=142M967
8.92/5.03 decisions=198, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
8.92/5.03
9.64/5.67 num=1, depth=53..70, filters=17489, revisions=(39,useless=0), ccks=1521, wck=2.368, mem=148M146
9.64/5.67 decisions=290, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
9.64/5.67
10.05/6.07 num=2, depth=14..51, filters=21216, revisions=(39,useless=0), ccks=1521, wck=2.764, mem=153M325
10.05/6.07 decisions=365, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
10.05/6.07
10.65/6.61 num=3, depth=28..69, filters=26650, revisions=(39,useless=0), ccks=1521, wck=3.304, mem=161M94
10.65/6.61 decisions=460, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
10.65/6.61
11.07/7.09 num=4, depth=15..59, filters=30875, revisions=(39,useless=0), ccks=1521, wck=3.782, mem=166M273
11.07/7.09 decisions=547, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
11.07/7.09
11.81/7.62 num=5, depth=16..61, filters=35526, revisions=(39,useless=0), ccks=1521, wck=4.317, mem=88M213
11.81/7.62 decisions=640, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
11.81/7.62
12.11/8.00 num=6, depth=23..48, filters=38439, revisions=(39,useless=0), ccks=1521, wck=4.694, mem=90M793
12.11/8.00 decisions=722, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
12.11/8.00
12.62/8.43 num=7, depth=24..56, filters=41276, revisions=(39,useless=0), ccks=1521, wck=5.122, mem=95M953
12.62/8.43 decisions=816, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
12.62/8.43
13.26/9.01 num=8, depth=25..80, filters=46612, revisions=(39,useless=0), ccks=1521, wck=5.706, mem=103M693
13.26/9.01 decisions=938, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
13.26/9.01
14.07/9.84 num=9, depth=11..112, filters=56021, revisions=(39,useless=0), ccks=1521, wck=6.54, mem=114M13
14.07/9.84 decisions=1096, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
14.07/9.84
14.67/10.47 num=10, depth=30..75, filters=63037, revisions=(39,useless=0), ccks=1521, wck=7.164, mem=119M172
14.67/10.47 decisions=1221, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
14.67/10.47
15.47/11.26 num=11, depth=18..104, filters=72211, revisions=(39,useless=0), ccks=1521, wck=7.955, mem=129M492
15.47/11.26 decisions=1381, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
15.47/11.26
16.18/11.99 num=12, depth=53..89, filters=84240, revisions=(39,useless=0), ccks=1521, wck=8.686, mem=137M232
16.18/11.99 decisions=1533, wrong=241, backtracks=1, failedAssignments=240, nogoods=224
16.18/11.99
16.69/12.40 num=13, depth=45..49, filters=87763, revisions=(39,useless=0), ccks=1521, wck=9.098, mem=142M392
16.69/12.40 decisions=1651, wrong=276, backtracks=2, failedAssignments=274, nogoods=240
16.69/12.40
17.55/13.20 num=14, depth=44..99, filters=94849, revisions=(39,useless=0), ccks=1521, wck=9.898, mem=152M712
17.55/13.20 decisions=1836, wrong=320, backtracks=9, failedAssignments=311, nogoods=268
17.55/13.20
18.47/14.17 num=15, depth=40..124, filters=105902, revisions=(39,useless=0), ccks=1521, wck=10.867, mem=163M890
18.47/14.17 decisions=2050, wrong=367, backtracks=15, failedAssignments=352, nogoods=303
18.47/14.17
19.26/14.96 num=16, depth=35..89, filters=117501, revisions=(39,useless=0), ccks=1521, wck=11.653, mem=171M630
19.26/14.96 decisions=2244, wrong=421, backtracks=24, failedAssignments=397, nogoods=337
19.26/14.96
20.37/16.03 num=17, depth=25..135, filters=131182, revisions=(39,useless=0), ccks=1521, wck=12.723, mem=184M530
20.37/16.03 decisions=2481, wrong=473, backtracks=26, failedAssignments=447, nogoods=385
20.37/16.03
21.37/17.07 num=18, depth=33..133, filters=144383, revisions=(39,useless=0), ccks=1521, wck=13.765, mem=197M430
21.37/17.07 decisions=2724, wrong=528, backtracks=26, failedAssignments=502, nogoods=440
21.37/17.07
22.69/18.39 num=19, depth=1..169, filters=166203, revisions=(39,useless=0), ccks=1521, wck=15.084, mem=212M909
22.69/18.39 decisions=3016, wrong=591, backtracks=29, failedAssignments=563, nogoods=495
22.69/18.39
24.06/19.65 num=20, depth=32..143, filters=184539, revisions=(39,useless=0), ccks=1521, wck=16.348, mem=95M154
24.06/19.65 decisions=3319, wrong=674, backtracks=46, failedAssignments=630, nogoods=524
24.06/19.65
25.26/20.89 num=21, depth=1..123, filters=203039, revisions=(39,useless=0), ccks=1521, wck=17.582, mem=111M58
25.26/20.89 decisions=3646, wrong=778, backtracks=79, failedAssignments=704, nogoods=551
25.26/20.89
26.47/22.04 num=22, depth=35..101, filters=216954, revisions=(39,useless=0), ccks=1521, wck=18.733, mem=122M986
26.47/22.04 decisions=3972, wrong=892, backtracks=120, failedAssignments=785, nogoods=578
26.47/22.04
27.76/23.32 num=23, depth=53..107, filters=235573, revisions=(39,useless=0), ccks=1521, wck=20.016, mem=138M891
27.76/23.32 decisions=4346, wrong=1029, backtracks=170, failedAssignments=874, nogoods=591
27.76/23.32
28.97/24.60 num=24, depth=60..134, filters=254317, revisions=(39,useless=0), ccks=1521, wck=21.29, mem=154M795
28.97/24.60 decisions=4734, wrong=1158, backtracks=210, failedAssignments=972, nogoods=614
28.97/24.60
29.67/25.30 num=25, depth=30..86, filters=265856, revisions=(39,useless=0), ccks=1521, wck=21.991, mem=162M747
29.67/25.30 decisions=5042, wrong=1272, backtracks=216, failedAssignments=1080, nogoods=626
29.67/25.30
30.87/26.48 num=26, depth=37..134, filters=285206, revisions=(39,useless=0), ccks=1521, wck=23.178, mem=174M675
30.87/26.48 decisions=5435, wrong=1403, backtracks=233, failedAssignments=1199, nogoods=673
30.87/26.48
32.18/27.74 num=27, depth=41..97, filters=301712, revisions=(39,useless=0), ccks=1521, wck=24.438, mem=191M435
32.18/27.74 decisions=5925, wrong=1601, backtracks=300, failedAssignments=1330, nogoods=696
32.18/27.74
33.69/29.24 num=28, depth=52..113, filters=328017, revisions=(39,useless=0), ccks=1521, wck=25.939, mem=207M339
33.69/29.24 decisions=6457, wrong=1816, backtracks=372, failedAssignments=1474, nogoods=709
33.69/29.24
34.99/30.56 num=29, depth=49..116, filters=350440, revisions=(39,useless=0), ccks=1521, wck=27.251, mem=223M243
34.99/30.56 decisions=6971, wrong=2016, backtracks=438, failedAssignments=1632, nogoods=753
34.99/30.56
36.81/32.30 num=30, depth=54..90, filters=381693, revisions=(39,useless=0), ccks=1521, wck=28.999, mem=247M100
36.81/32.30 decisions=7604, wrong=2289, backtracks=544, failedAssignments=1806, nogoods=768
36.81/32.30
38.87/34.37 num=31, depth=68..73, filters=422297, revisions=(39,useless=0), ccks=1521, wck=31.064, mem=270M957
38.87/34.37 decisions=8294, wrong=2598, backtracks=672, failedAssignments=1997, nogoods=776
38.87/34.37
40.73/36.18 num=32, depth=68..127, filters=460551, revisions=(39,useless=0), ccks=1521, wck=32.878, mem=87M490
40.73/36.18 decisions=8981, wrong=2878, backtracks=755, failedAssignments=2208, nogoods=812
40.73/36.18
42.63/38.07 num=33, depth=72..128, filters=493711, revisions=(39,useless=0), ccks=1521, wck=34.765, mem=112M392
42.63/38.07 decisions=9826, wrong=3241, backtracks=886, failedAssignments=2440, nogoods=845
42.63/38.07
44.85/40.28 num=34, depth=52..118, filters=542691, revisions=(39,useless=0), ccks=1521, wck=36.971, mem=137M294
44.85/40.28 decisions=10698, wrong=3621, backtracks=1022, failedAssignments=2695, nogoods=887
44.85/40.28
47.05/42.49 num=35, depth=55..83, filters=578103, revisions=(39,useless=0), ccks=1521, wck=39.183, mem=162M197
47.05/42.49 decisions=11682, wrong=4075, backtracks=1195, failedAssignments=2976, nogoods=905
47.05/42.49
49.45/44.84 num=36, depth=67..72, filters=611636, revisions=(39,useless=0), ccks=1521, wck=41.535, mem=191M249
49.45/44.84 decisions=12599, wrong=4499, backtracks=1397, failedAssignments=3285, nogoods=913
49.45/44.84
51.66/47.01 num=37, depth=83..136, filters=663331, revisions=(39,useless=0), ccks=1521, wck=43.702, mem=216M151
51.66/47.01 decisions=13609, wrong=4941, backtracks=1510, failedAssignments=3625, nogoods=945
51.66/47.01
53.68/49.08 num=38, depth=62..131, filters=712803, revisions=(39,useless=0), ccks=1521, wck=45.778, mem=241M53
53.68/49.08 decisions=14678, wrong=5415, backtracks=1618, failedAssignments=3999, nogoods=969
53.68/49.08
57.08/52.47 num=39, depth=75..128, filters=786674, revisions=(39,useless=0), ccks=1521, wck=49.164, mem=282M556
57.08/52.47 decisions=16036, wrong=6039, backtracks=1840, failedAssignments=4410, nogoods=995
57.08/52.47
59.74/55.05 num=40, depth=42..135, filters=849878, revisions=(39,useless=0), ccks=1521, wck=51.744, mem=103M998
59.74/55.05 decisions=17312, wrong=6615, backtracks=1983, failedAssignments=4862, nogoods=1033
59.74/55.05
62.84/58.11 num=41, depth=47..131, filters=918945, revisions=(39,useless=0), ccks=1521, wck=54.809, mem=140M680
62.84/58.11 decisions=18827, wrong=7310, backtracks=2198, failedAssignments=5359, nogoods=1049
62.84/58.11
67.75/63.08 num=42, depth=74..128, filters=1076268, revisions=(39,useless=0), ccks=1521, wck=59.773, mem=201M817
67.75/63.08 decisions=20760, wrong=8214, backtracks=2562, failedAssignments=5906, nogoods=1071
67.75/63.08
71.35/66.67 num=43, depth=77..135, filters=1210252, revisions=(39,useless=0), ccks=1521, wck=63.368, mem=242M575
71.35/66.67 decisions=22446, wrong=8991, backtracks=2787, failedAssignments=6508, nogoods=1115
71.35/66.67
75.18/70.40 num=44, depth=87..111, filters=1289276, revisions=(39,useless=0), ccks=1521, wck=67.094, mem=287M409
75.18/70.40 decisions=24422, wrong=9927, backtracks=3086, failedAssignments=7170, nogoods=1136
75.18/70.40
78.01/73.13 num=45, depth=71..79, filters=1323769, revisions=(39,useless=0), ccks=1521, wck=69.827, mem=115M538
78.01/73.13 decisions=26476, wrong=10917, backtracks=3384, failedAssignments=7898, nogoods=1160
78.01/73.13
83.91/79.01 num=46, depth=52..118, filters=1506364, revisions=(39,useless=0), ccks=1521, wck=75.705, mem=183M438
83.91/79.01 decisions=28855, wrong=12052, backtracks=3789, failedAssignments=8699, nogoods=1178
83.91/79.01
88.34/83.43 num=47, depth=51..109, filters=1607035, revisions=(39,useless=0), ccks=1521, wck=80.128, mem=235M360
88.34/83.43 decisions=31343, wrong=13245, backtracks=4122, failedAssignments=9580, nogoods=1195
88.34/83.43
93.80/88.87 num=48, depth=90..102, filters=1720406, revisions=(39,useless=0), ccks=1521, wck=85.569, mem=99M315
93.80/88.87 decisions=34215, wrong=14635, backtracks=4574, failedAssignments=10550, nogoods=1208
93.80/88.87
99.50/94.57 num=49, depth=3..77, filters=1783279, revisions=(39,useless=0), ccks=1521, wck=91.261, mem=165M746
99.50/94.57 decisions=37080, wrong=16032, backtracks=5146, failedAssignments=11617, nogoods=1272
99.50/94.57
104.51/99.58 num=50, depth=41..134, filters=1955108, revisions=(39,useless=0), ccks=1521, wck=96.274, mem=224M362
104.51/99.58 decisions=40251, wrong=17556, backtracks=5531, failedAssignments=12790, nogoods=1300
104.51/99.58
110.35/105.30 num=51, depth=65..131, filters=2152475, revisions=(39,useless=0), ccks=1521, wck=101.997, mem=99M65
110.35/105.30 decisions=43793, wrong=19265, backtracks=5973, failedAssignments=14081, nogoods=1326
110.35/105.30
116.86/111.87 num=52, depth=77..126, filters=2321274, revisions=(39,useless=0), ccks=1521, wck=108.567, mem=179M472
116.86/111.87 decisions=47752, wrong=21187, backtracks=6540, failedAssignments=15501, nogoods=1342
116.86/111.87
123.17/118.12 num=53, depth=85..101, filters=2464601, revisions=(39,useless=0), ccks=1521, wck=114.812, mem=252M222
123.17/118.12 decisions=51889, wrong=23208, backtracks=7026, failedAssignments=17063, nogoods=1360
123.17/118.12
131.41/126.39 num=54, depth=88..104, filters=2660451, revisions=(39,useless=0), ccks=1521, wck=123.081, mem=151M218
131.41/126.39 decisions=56673, wrong=25554, backtracks=7672, failedAssignments=18781, nogoods=1375
131.41/126.39
135.61/130.57 num=55, depth=81..128, filters=2794513, revisions=(39,useless=0), ccks=1521, wck=127.267, mem=199M945
135.61/130.57 decisions=61095, wrong=27706, backtracks=7950, failedAssignments=20671, nogoods=1402
135.61/130.57
142.95/137.86 num=56, depth=89..107, filters=2975824, revisions=(39,useless=0), ccks=1521, wck=134.556, mem=98M382
142.95/137.86 decisions=66395, wrong=30307, backtracks=8514, failedAssignments=22750, nogoods=1413
142.95/137.86
155.06/149.93 num=57, depth=66..130, filters=3309890, revisions=(39,useless=0), ccks=1521, wck=146.629, mem=245M39
155.06/149.93 decisions=73305, wrong=33702, backtracks=9629, failedAssignments=25037, nogoods=1445
155.06/149.93
165.80/160.61 num=58, depth=85..134, filters=3618468, revisions=(39,useless=0), ccks=1521, wck=157.304, mem=191M612
165.80/160.61 decisions=80257, wrong=37117, backtracks=10553, failedAssignments=27553, nogoods=1482
165.80/160.61
185.16/179.99 num=59, depth=84..107, filters=4023647, revisions=(39,useless=0), ccks=1521, wck=176.689, mem=235M259
185.16/179.99 decisions=89429, wrong=41656, backtracks=12327, failedAssignments=30321, nogoods=1498
185.16/179.99
200.20/194.99 num=60, depth=63..135, filters=4446631, revisions=(39,useless=0), ccks=1521, wck=191.683, mem=239M88
200.20/194.99 decisions=98276, wrong=46022, backtracks=13667, failedAssignments=33365, nogoods=1528
200.20/194.99
214.94/209.60 num=61, depth=76..133, filters=4847991, revisions=(39,useless=0), ccks=1521, wck=206.298, mem=245M895
214.94/209.60 decisions=107798, wrong=50721, backtracks=15045, failedAssignments=36714, nogoods=1565
214.94/209.60
237.40/231.91 num=62, depth=56..109, filters=5480089, revisions=(39,useless=0), ccks=1521, wck=228.607, mem=167M589
237.40/231.91 decisions=118874, wrong=56209, backtracks=16867, failedAssignments=40398, nogoods=1587
237.40/231.91
258.25/252.76 num=63, depth=75..134, filters=6138162, revisions=(39,useless=0), ccks=1521, wck=249.457, mem=101M999
258.25/252.76 decisions=131064, wrong=62244, backtracks=18877, failedAssignments=44450, nogoods=1611
258.25/252.76
278.58/273.08 num=64, depth=41..133, filters=6728171, revisions=(39,useless=0), ccks=1521, wck=269.776, mem=202M669
278.58/273.08 decisions=143977, wrong=68640, backtracks=20867, failedAssignments=48907, nogoods=1642
278.58/273.08
309.91/304.37 num=65, depth=80..113, filters=8272595, revisions=(39,useless=0), ccks=1521, wck=301.067, mem=109M450
309.91/304.37 decisions=157299, wrong=75249, backtracks=23036, failedAssignments=53810, nogoods=1691
309.91/304.37
338.67/333.05 num=66, depth=89..127, filters=9113624, revisions=(39,useless=0), ccks=1521, wck=329.75, mem=181M404
338.67/333.05 decisions=173765, wrong=83422, backtracks=25944, failedAssignments=59204, nogoods=1708
338.67/333.05
369.09/363.46 num=67, depth=89..118, filters=9971012, revisions=(39,useless=0), ccks=1521, wck=360.15, mem=134M101
369.09/363.46 decisions=191588, wrong=92280, backtracks=28887, failedAssignments=65137, nogoods=1726
369.09/363.46
403.56/397.81 num=68, depth=81..105, filters=10823731, revisions=(39,useless=0), ccks=1521, wck=394.5, mem=136M876
403.56/397.81 decisions=210800, wrong=101838, backtracks=31973, failedAssignments=71663, nogoods=1772
403.56/397.81
432.71/426.92 num=69, depth=91..132, filters=11888760, revisions=(39,useless=0), ccks=1521, wck=423.619, mem=119M837
432.71/426.92 decisions=230187, wrong=111473, backtracks=34598, failedAssignments=78842, nogoods=1805
432.71/426.92
501.60/495.79 num=70, depth=83..133, filters=13946661, revisions=(39,useless=0), ccks=1521, wck=492.487, mem=129M602
501.60/495.79 decisions=256218, wrong=124436, backtracks=40729, failedAssignments=86739, nogoods=1827
501.60/495.79
550.47/544.60 num=71, depth=58..133, filters=15456964, revisions=(39,useless=0), ccks=1521, wck=541.29, mem=85M811
550.47/544.60 decisions=281409, wrong=136968, backtracks=45252, failedAssignments=95426, nogoods=1912
550.47/544.60
605.97/599.90 num=72, depth=75..137, filters=17659504, revisions=(39,useless=0), ccks=1521, wck=596.594, mem=115M458
605.97/599.90 decisions=307444, wrong=149921, backtracks=50096, failedAssignments=104981, nogoods=1964
605.97/599.90
660.96/654.84 num=73, depth=81..135, filters=19715875, revisions=(39,useless=0), ccks=1521, wck=651.538, mem=102M477
660.96/654.84 decisions=337929, wrong=165101, backtracks=55270, failedAssignments=115492, nogoods=1991
660.96/654.84
705.44/699.25 num=74, depth=76..136, filters=21155058, revisions=(39,useless=0), ccks=1521, wck=695.95, mem=93M347
705.44/699.25 decisions=369128, wrong=180639, backtracks=59570, failedAssignments=127054, nogoods=2007
705.44/699.25
763.13/756.81 num=75, depth=42..135, filters=22773920, revisions=(39,useless=0), ccks=1521, wck=753.506, mem=128M61
763.13/756.81 decisions=405291, wrong=198659, backtracks=65286, failedAssignments=139772, nogoods=2033
763.13/756.81
867.71/861.20 num=76, depth=75..120, filters=27471463, revisions=(39,useless=0), ccks=1521, wck=857.898, mem=85M241
867.71/861.20 decisions=448045, wrong=219978, backtracks=74274, failedAssignments=153762, nogoods=2066
867.71/861.20
1027.91/1021.17 num=77, depth=28..115, filters=33987668, revisions=(39,useless=0), ccks=1521, wck=1017.86, mem=85M85
1027.91/1021.17 decisions=496767, wrong=244283, backtracks=86831, failedAssignments=169151, nogoods=2096
1027.91/1021.17
1194.32/1187.24 num=78, depth=88..116, filters=40086491, revisions=(39,useless=0), ccks=1521, wck=1183.931, mem=135M879
1194.32/1187.24 decisions=550480, wrong=271084, backtracks=101089, failedAssignments=186079, nogoods=2131
1194.32/1187.24
1315.67/1308.32 num=79, depth=34..123, filters=43644585, revisions=(39,useless=0), ccks=1521, wck=1305.018, mem=125M128
1315.67/1308.32 decisions=611229, wrong=301406, backtracks=112970, failedAssignments=204700, nogoods=2175
1315.67/1308.32
1405.86/1398.30 num=80, depth=64..135, filters=47054418, revisions=(39,useless=0), ccks=1521, wck=1394.993, mem=137M49
1405.86/1398.30 decisions=665779, wrong=328619, backtracks=121114, failedAssignments=225184, nogoods=2206
1405.86/1398.30
1546.36/1538.58 num=81, depth=91..138, filters=52565955, revisions=(39,useless=0), ccks=1521, wck=1535.272, mem=97M129
1546.36/1538.58 decisions=729306, wrong=360315, backtracks=133875, failedAssignments=247716, nogoods=2275
1546.36/1538.58
1640.95/1632.92 num=82, depth=85..108, filters=56748583, revisions=(39,useless=0), ccks=1521, wck=1629.619, mem=103M667
1640.95/1632.92 decisions=792676, wrong=391953, backtracks=141231, failedAssignments=272501, nogoods=2313
1640.95/1632.92
1803.59/1795.29 num=83, depth=42..137, filters=62414361, revisions=(39,useless=0), ccks=1521, wck=1791.987, mem=123M148
1803.59/1795.29 decisions=875467, wrong=433286, backtracks=157020, failedAssignments=299765, nogoods=2337
1803.59/1795.29
1890.56/1882.05 num=84, depth=81..136, filters=65761098, revisions=(39,useless=0), ccks=1521, wck=1878.746, mem=133M973
1890.56/1882.05 decisions=950187, wrong=470584, backtracks=164868, failedAssignments=329755, nogoods=2400
1890.56/1882.05
1973.02/1964.40 num=85, depth=85..106, filters=68146812, revisions=(39,useless=0), ccks=1521, wck=1961.091, mem=86M509
1973.02/1964.40 decisions=1028867, wrong=509877, backtracks=171455, failedAssignments=362744, nogoods=2430
1973.02/1964.40
2468.97/2459.31 num=86, depth=91..101, filters=79636650, revisions=(39,useless=0), ccks=1521, wck=2456.002, mem=135M143
2468.97/2459.31 decisions=1165649, wrong=578221, backtracks=217843, failedAssignments=399032, nogoods=2447
2468.97/2459.31
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 (14511 MiB free)
memory of node 1: 16384 MiB (15686 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390737-1568383605/watcher-4390737-1568383605 -o /tmp/evaluation-result-4390737-1568383605/solver-4390737-1568383605 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568380471-32431 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390737-1568383605.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=1074, runsolver pid=1071
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 1.79 1.84 1.78 4/228 1089
/proc/meminfo: memFree=30908612/32770624 swapFree=67001900/67108860
[pid=1074] ppid=1071 vsize=10659884 memory=26688 CPUtime=0.13 cores=0,2,4,6
/proc/1074/stat : 1074 (java) S 1071 1074 32400 0 -1 1077944320 5663 0 0 0 12 1 0 0 20 0 15 0 414609207 10915721216 6672 33554432000 4194304 4196468 140723257508192 140723257490736 139828195278583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
/proc/1074/statm: 2664971 6672 2842 1 0 2627468 0
[pid=1074/tid=1076] ppid=1071 vsize=10659884 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/1074/task/1076/stat : 1076 (java) R 1071 1074 32400 0 -1 4202560 3495 0 0 0 9 0 0 0 20 0 15 0 414609208 10915721216 6804 33554432000 4194304 4196468 140723257508192 139828199499920 139828187515710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1077] ppid=1071 vsize=10659884 memory=4294967639 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1077/stat : 1077 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 6804 33554432000 4194304 4196468 140723257508192 139828164991888 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1078] ppid=1071 vsize=10659884 memory=139640607631499 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1078/stat : 1078 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 6804 33554432000 4194304 4196468 140723257508192 139827800836880 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1079] ppid=1071 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1079/stat : 1079 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 6804 33554432000 4194304 4196468 140723257508192 139827799784592 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1080] ppid=1071 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1080/stat : 1080 (java) S 1071 1074 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 6804 33554432000 4194304 4196468 140723257508192 139827798731792 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1081] ppid=1071 vsize=10659884 memory=139640607254144 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1081/stat : 1081 (java) S 1071 1074 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414609210 10915721216 6804 33554432000 4194304 4196468 140723257508192 139827687164016 139828195289730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1082] ppid=1071 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1082/stat : 1082 (java) S 1071 1074 32400 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414609210 10915721216 6804 33554432000 4194304 4196468 140723257508192 139827686109984 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1083] ppid=1071 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1083/stat : 1083 (java) S 1071 1074 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414609210 10915721216 6804 33554432000 4194304 4196468 140723257508192 139827685057648 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1084] ppid=1071 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1084/stat : 1084 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414609213 10915721216 6870 33554432000 4194304 4196468 140723257508192 139827684005968 139828195297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1085] ppid=1071 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1074/task/1085/stat : 1085 (java) R 1071 1074 32400 0 -1 4202560 533 0 0 0 1 0 0 0 20 0 15 0 414609213 10915721216 6870 33554432000 4194304 4196468 140723257508192 139827682945344 139828179962240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1086] ppid=1071 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1086/stat : 1086 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414609213 10915721216 6870 33554432000 4194304 4196468 140723257508192 139827681901136 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1087] ppid=1071 vsize=10659884 memory=139640607254144 CPUtime=0.02 cores=0,2,4,6
/proc/1074/task/1087/stat : 1087 (java) R 1071 1074 32400 0 -1 4202560 422 0 0 0 2 0 0 0 20 0 15 0 414609213 10915721216 6870 33554432000 4194304 4196468 140723257508192 139827680843792 139828195299930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1088] ppid=1071 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1088/stat : 1088 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414609213 10915721216 6870 33554432000 4194304 4196468 140723257508192 139827679796192 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1089] ppid=1071 vsize=10659884 memory=139640607254144 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1089/stat : 1089 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609213 10915721216 6870 33554432000 4194304 4196468 140723257508192 139827678742960 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 26688 KiB
[startup+0.211659 s]*
/proc/loadavg: 1.79 1.84 1.78 4/228 1089
/proc/meminfo: memFree=30898084/32770624 swapFree=67001900/67108860
[pid=1074] ppid=1071 vsize=10659884 memory=36244 CPUtime=0.33 cores=0,2,4,6
/proc/1074/stat : 1074 (java) S 1071 1074 32400 0 -1 1077944320 9331 0 0 0 30 3 0 0 20 0 15 0 414609207 10915721216 9061 33554432000 4194304 4196468 140723257508192 140723257490736 139828195278583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
/proc/1074/statm: 2664971 9061 2987 1 0 2627468 0
[pid=1074/tid=1076] ppid=1071 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/1074/task/1076/stat : 1076 (java) R 1071 1074 32400 0 -1 4202560 6222 0 0 0 18 2 0 0 20 0 15 0 414609208 10915721216 9061 33554432000 4194304 4196468 140723257508192 139828199504944 139828195300509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1077] ppid=1071 vsize=10659884 memory=4294967639 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1077/stat : 1077 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 9061 33554432000 4194304 4196468 140723257508192 139828164991888 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1078] ppid=1071 vsize=10659884 memory=139640607631499 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1078/stat : 1078 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827800836880 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1079] ppid=1071 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1079/stat : 1079 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827799784592 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1080] ppid=1071 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1080/stat : 1080 (java) S 1071 1074 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827798731792 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1081] ppid=1071 vsize=10659884 memory=139640607254144 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1081/stat : 1081 (java) S 1071 1074 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414609210 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827687164016 139828195289730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1082] ppid=1071 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1082/stat : 1082 (java) S 1071 1074 32400 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414609210 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827686109984 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1083] ppid=1071 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1083/stat : 1083 (java) S 1071 1074 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414609210 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827685057648 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1084] ppid=1071 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1084/stat : 1084 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414609213 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827684005968 139828195297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1085] ppid=1071 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1074/task/1085/stat : 1085 (java) S 1071 1074 32400 0 -1 1077944384 640 0 0 0 3 0 0 0 20 0 15 0 414609213 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827682953840 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1086] ppid=1071 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1074/task/1086/stat : 1086 (java) S 1071 1074 32400 0 -1 1077944384 286 0 0 0 2 0 0 0 20 0 15 0 414609213 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827681901040 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1087] ppid=1071 vsize=10659884 memory=139640607254144 CPUtime=0.05 cores=0,2,4,6
/proc/1074/task/1087/stat : 1087 (java) S 1071 1074 32400 0 -1 1077944384 830 0 0 0 5 0 0 0 20 0 15 0 414609213 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827680848752 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1088] ppid=1071 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1088/stat : 1088 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414609213 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827679796192 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1089] ppid=1071 vsize=10659884 memory=139640607254144 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1089/stat : 1089 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609213 10915721216 9061 33554432000 4194304 4196468 140723257508192 139827678742960 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36244 KiB
[startup+0.310218 s]*
/proc/loadavg: 1.79 1.84 1.78 3/228 1089
/proc/meminfo: memFree=30895912/32770624 swapFree=67001900/67108860
[pid=1074] ppid=1071 vsize=10659884 memory=38688 CPUtime=0.46 cores=0,2,4,6
/proc/1074/stat : 1074 (java) S 1071 1074 32400 0 -1 1077944320 9518 0 0 0 43 3 0 0 20 0 15 0 414609207 10915721216 9672 33554432000 4194304 4196468 140723257508192 140723257490736 139828195278583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
/proc/1074/statm: 2664971 9672 3000 1 0 2627468 0
[pid=1074/tid=1076] ppid=1071 vsize=10659884 memory=1398720917958146503 CPUtime=0.3 cores=0,2,4,6
/proc/1074/task/1076/stat : 1076 (java) R 1071 1074 32400 0 -1 4202560 6317 0 0 0 28 2 0 0 20 0 15 0 414609208 10915721216 9672 33554432000 4194304 4196468 140723257508192 139828199515936 139828195300509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1077] ppid=1071 vsize=10659884 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1077/stat : 1077 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 9672 33554432000 4194304 4196468 140723257508192 139828164991888 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1078] ppid=1071 vsize=10659884 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1078/stat : 1078 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827800836880 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1079] ppid=1071 vsize=10659884 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1079/stat : 1079 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827799784592 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1080] ppid=1071 vsize=10659884 memory=13692 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1080/stat : 1080 (java) S 1071 1074 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414609208 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827798731792 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1081] ppid=1071 vsize=10659884 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1081/stat : 1081 (java) S 1071 1074 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414609210 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827687164016 139828195289730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1082] ppid=1071 vsize=10659884 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1082/stat : 1082 (java) S 1071 1074 32400 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414609210 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827686109984 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1083] ppid=1071 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1083/stat : 1083 (java) S 1071 1074 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414609210 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827685057648 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1084] ppid=1071 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1084/stat : 1084 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414609213 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827684005968 139828195297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1085] ppid=1071 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1074/task/1085/stat : 1085 (java) S 1071 1074 32400 0 -1 1077944384 659 0 0 0 4 0 0 0 20 0 15 0 414609213 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827682953840 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1086] ppid=1071 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1074/task/1086/stat : 1086 (java) S 1071 1074 32400 0 -1 1077944384 325 0 0 0 4 0 0 0 20 0 15 0 414609213 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827681901040 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1087] ppid=1071 vsize=10659884 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/1074/task/1087/stat : 1087 (java) R 1071 1074 32400 0 -1 4202560 866 0 0 0 7 0 0 0 20 0 15 0 414609213 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827680848752 139828188375419 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1088] ppid=1071 vsize=10659884 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1088/stat : 1088 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414609213 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827679796192 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1089] ppid=1071 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1089/stat : 1089 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609213 10915721216 9672 33554432000 4194304 4196468 140723257508192 139827678742960 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 38688 KiB
[startup+0.700788 s]
/proc/loadavg: 1.79 1.84 1.78 3/228 1089
/proc/meminfo: memFree=30886256/32770624 swapFree=67001900/67108860
[pid=1074] ppid=1071 vsize=10661932 memory=61412 CPUtime=1.1 cores=0,2,4,6
/proc/1074/stat : 1074 (java) S 1071 1074 32400 0 -1 1077944320 12908 0 0 0 105 5 0 0 20 0 15 0 414609207 10917818368 15353 33554432000 4194304 4196468 140723257508192 140723257490736 139828195278583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
/proc/1074/statm: 2665483 15353 3073 1 0 2627980 0
[pid=1074/tid=1076] ppid=1071 vsize=10661932 memory=3616 CPUtime=0.68 cores=0,2,4,6
/proc/1074/task/1076/stat : 1076 (java) R 1071 1074 32400 0 -1 4202560 8803 0 0 0 64 4 0 0 20 0 15 0 414609208 10917818368 15353 33554432000 4194304 4196468 140723257508192 139828199510608 139828180645152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1077] ppid=1071 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1077/stat : 1077 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10917818368 15353 33554432000 4194304 4196468 140723257508192 139828164991888 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1078] ppid=1071 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1078/stat : 1078 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827800836880 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1079] ppid=1071 vsize=10661932 memory=144283319542904 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1079/stat : 1079 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827799784592 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1080] ppid=1071 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1080/stat : 1080 (java) S 1071 1074 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414609208 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827798731792 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1081] ppid=1071 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1081/stat : 1081 (java) S 1071 1074 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414609210 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827687164016 139828195289730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1082] ppid=1071 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1082/stat : 1082 (java) S 1071 1074 32400 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 414609210 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827686109984 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1083] ppid=1071 vsize=10661932 memory=279280919511280 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1083/stat : 1083 (java) S 1071 1074 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414609210 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827685057648 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1084] ppid=1071 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1084/stat : 1084 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414609213 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827684005968 139828195297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1085] ppid=1071 vsize=10661932 memory=-3535359994705172318 CPUtime=0.11 cores=0,2,4,6
/proc/1074/task/1085/stat : 1085 (java) S 1071 1074 32400 0 -1 1077944384 950 0 0 0 11 0 0 0 20 0 15 0 414609213 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827682953840 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1086] ppid=1071 vsize=10661932 memory=6944656575208382560 CPUtime=0.1 cores=0,2,4,6
/proc/1074/task/1086/stat : 1086 (java) S 1071 1074 32400 0 -1 1077944384 491 0 0 0 10 0 0 0 20 0 15 0 414609213 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827681901040 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1087] ppid=1071 vsize=10661932 memory=6943526294502006880 CPUtime=0.18 cores=0,2,4,6
/proc/1074/task/1087/stat : 1087 (java) S 1071 1074 32400 0 -1 1077944384 1304 0 0 0 18 0 0 0 20 0 15 0 414609213 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827680848752 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1088] ppid=1071 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1088/stat : 1088 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414609213 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827679796192 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1089] ppid=1071 vsize=10661932 memory=-3255422371651459150 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1089/stat : 1089 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609213 10917818368 15353 33554432000 4194304 4196468 140723257508192 139827678742960 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61412 KiB
[startup+1.50078 s]
/proc/loadavg: 1.79 1.84 1.78 3/228 1089
/proc/meminfo: memFree=30868644/32770624 swapFree=67001900/67108860
[pid=1074] ppid=1071 vsize=10663980 memory=76348 CPUtime=1.99 cores=0,2,4,6
/proc/1074/stat : 1074 (java) S 1071 1074 32400 0 -1 1077944320 18571 0 0 0 193 6 0 0 20 0 15 0 414609207 10919915520 19087 33554432000 4194304 4196468 140723257508192 140723257490736 139828195278583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
/proc/1074/statm: 2665995 19087 3091 1 0 2628492 0
[pid=1074/tid=1076] ppid=1071 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/1074/task/1076/stat : 1076 (java) R 1071 1074 32400 0 -1 4202560 13096 0 0 0 143 5 0 0 20 0 15 0 414609208 10919915520 19087 33554432000 4194304 4196468 140723257508192 139828199510608 139828179359070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1077] ppid=1071 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1077/stat : 1077 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10919915520 19087 33554432000 4194304 4196468 140723257508192 139828164991888 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1078] ppid=1071 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1078/stat : 1078 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10919915520 19087 33554432000 4194304 4196468 140723257508192 139827800836880 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1079] ppid=1071 vsize=10663980 memory=144283319410744 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1079/stat : 1079 (java) S 1071 1074 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414609208 10919915520 19087 33554432000 4194304 4196468 140723257508192 139827799784592 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1080] ppid=1071 vsize=10663980 memory=22306 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1080/stat : 1080 (java) S 1071 1074 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414609208 10919915520 19087 33554432000 4194304 4196468 140723257508192 139827798731792 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1081] ppid=1071 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1081/stat : 1081 (java) S 1071 1074 32400 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 414609210 10919915520 19087 33554432000 4194304 4196468 140723257508192 139827687164016 139828195289730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
################
# More data... #
################
/proc/1074/task/1080/stat : 1080 (java) S 1071 1074 32400 0 -1 1077944384 4626 0 0 0 112 9 0 0 20 0 16 0 414609208 11006283776 65371 33554432000 4194304 4196468 140723257508192 139827798731792 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1081] ppid=1071 vsize=10748324 memory=261484 CPUtime=0.37 cores=0,2,4,6
/proc/1074/task/1081/stat : 1081 (java) S 1071 1074 32400 0 -1 1077944384 6702 0 0 0 31 6 0 0 20 0 16 0 414609210 11006283776 65371 33554432000 4194304 4196468 140723257508192 139827687164016 139828195289730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1082] ppid=1071 vsize=10748324 memory=261484 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1082/stat : 1082 (java) S 1071 1074 32400 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414609210 11006283776 65371 33554432000 4194304 4196468 140723257508192 139827686110048 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1083] ppid=1071 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1083/stat : 1083 (java) S 1071 1074 32400 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414609210 11006283776 65371 33554432000 4194304 4196468 140723257508192 139827685057664 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1084] ppid=1071 vsize=10748324 memory=261484 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1084/stat : 1084 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414609213 11006283776 65371 33554432000 4194304 4196468 140723257508192 139827684005968 139828195297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1085] ppid=1071 vsize=10748324 memory=261484 CPUtime=1.77 cores=0,2,4,6
/proc/1074/task/1085/stat : 1085 (java) S 1071 1074 32400 0 -1 1077944384 10897 0 0 0 176 1 0 0 20 0 16 0 414609213 11006283776 65371 33554432000 4194304 4196468 140723257508192 139827682953840 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1086] ppid=1071 vsize=10748324 memory=261484 CPUtime=1.91 cores=0,2,4,6
/proc/1074/task/1086/stat : 1086 (java) S 1071 1074 32400 0 -1 1077944384 11346 0 0 0 189 2 0 0 20 0 16 0 414609213 11006283776 65371 33554432000 4194304 4196468 140723257508192 139827681901040 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1087] ppid=1071 vsize=10748324 memory=7883944108235712103 CPUtime=0.9 cores=0,2,4,6
/proc/1074/task/1087/stat : 1087 (java) S 1071 1074 32400 0 -1 1077944384 12503 0 0 0 88 2 0 0 20 0 16 0 414609213 11006283776 65371 33554432000 4194304 4196468 140723257508192 139827680848752 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1088] ppid=1071 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1088/stat : 1088 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414609213 11006283776 65371 33554432000 4194304 4196468 140723257508192 139827679796192 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1089] ppid=1071 vsize=10748324 memory=261484 CPUtime=1.31 cores=0,2,4,6
/proc/1074/task/1089/stat : 1089 (java) S 1071 1074 32400 0 -1 1077944384 1114 0 0 0 65 66 0 0 20 0 16 0 414609213 11006283776 65371 33554432000 4194304 4196468 140723257508192 139827678742960 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1090] ppid=1071 vsize=10748324 memory=2948 CPUtime=2438.83 cores=0,2,4,6
/proc/1074/task/1090/stat : 1090 (java) R 1071 1074 32400 0 -1 4202560 23107 0 0 0 243876 7 0 0 20 0 16 0 414609398 11006283776 65371 33554432000 4194304 4196468 140723257508192 139827661855952 139827840244884 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
Current children cumulated CPU time: 2451.94 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 261484 KiB
[startup+2502.3 s]
/proc/loadavg: 1.90 1.88 1.85 3/229 1721
/proc/meminfo: memFree=30312904/32770624 swapFree=67001900/67108860
[pid=1074] ppid=1071 vsize=10748324 memory=261488 CPUtime=2512.07 cores=0,2,4,6
/proc/1074/stat : 1074 (java) S 1071 1074 32400 0 -1 1077944320 107733 0 0 0 251086 121 0 0 20 0 16 0 414609207 11006283776 65372 33554432000 4194304 4196468 140723257508192 140723257490736 139828195278583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
/proc/1074/statm: 2687081 65372 3379 1 0 2647217 0
[pid=1074/tid=1076] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.88 cores=0,2,4,6
/proc/1074/task/1076/stat : 1076 (java) S 1071 1074 32400 0 -1 1077944384 15396 0 0 0 181 7 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139828199521456 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1077] ppid=1071 vsize=10748324 memory=1244 CPUtime=1.25 cores=0,2,4,6
/proc/1074/task/1077/stat : 1077 (java) S 1071 1074 32400 0 -1 1077944384 4428 0 0 0 116 9 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139828164991888 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1078] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.24 cores=0,2,4,6
/proc/1074/task/1078/stat : 1078 (java) S 1071 1074 32400 0 -1 1077944384 7745 0 0 0 115 9 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827800836880 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1079] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.24 cores=0,2,4,6
/proc/1074/task/1079/stat : 1079 (java) S 1071 1074 32400 0 -1 1077944384 7520 0 0 0 114 10 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827799784592 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1080] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.25 cores=0,2,4,6
/proc/1074/task/1080/stat : 1080 (java) S 1071 1074 32400 0 -1 1077944384 4729 0 0 0 115 10 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827798731792 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1081] ppid=1071 vsize=10748324 memory=3616 CPUtime=0.38 cores=0,2,4,6
/proc/1074/task/1081/stat : 1081 (java) S 1071 1074 32400 0 -1 1077944384 6840 0 0 0 32 6 0 0 20 0 16 0 414609210 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827687164016 139828195289730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1082] ppid=1071 vsize=10748324 memory=261488 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1082/stat : 1082 (java) S 1071 1074 32400 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414609210 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827686110048 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1083] ppid=1071 vsize=10748324 memory=261488 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1083/stat : 1083 (java) S 1071 1074 32400 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414609210 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827685057664 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1084] ppid=1071 vsize=10748324 memory=261488 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1084/stat : 1084 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827684005968 139828195297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1085] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.77 cores=0,2,4,6
/proc/1074/task/1085/stat : 1085 (java) S 1071 1074 32400 0 -1 1077944384 10897 0 0 0 176 1 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827682953840 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1086] ppid=1071 vsize=10748324 memory=3616 CPUtime=1.91 cores=0,2,4,6
/proc/1074/task/1086/stat : 1086 (java) S 1071 1074 32400 0 -1 1077944384 11346 0 0 0 189 2 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827681901040 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1087] ppid=1071 vsize=10748324 memory=38184 CPUtime=0.9 cores=0,2,4,6
/proc/1074/task/1087/stat : 1087 (java) S 1071 1074 32400 0 -1 1077944384 12632 0 0 0 88 2 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827680848752 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1088] ppid=1071 vsize=10748324 memory=261488 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1088/stat : 1088 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827679796192 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1089] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.34 cores=0,2,4,6
/proc/1074/task/1089/stat : 1089 (java) S 1071 1074 32400 0 -1 1077944384 1144 0 0 0 66 68 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827678742960 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1090] ppid=1071 vsize=10748324 memory=261488 CPUtime=2498.79 cores=0,2,4,6
/proc/1074/task/1090/stat : 1090 (java) R 1071 1074 32400 0 -1 4202560 23654 0 0 0 249872 7 0 0 20 0 16 0 414609398 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827661855952 139827839650625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
Current children cumulated CPU time: 2512.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 261488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.3 s]
/proc/loadavg: 1.91 1.88 1.85 3/229 1721
/proc/meminfo: memFree=30312780/32770624 swapFree=67001900/67108860
[pid=1074] ppid=1071 vsize=10748324 memory=261488 CPUtime=2520.09 cores=0,2,4,6
/proc/1074/stat : 1074 (java) S 1071 1074 32400 0 -1 1077944320 107761 0 0 0 251888 121 0 0 20 0 16 0 414609207 11006283776 65372 33554432000 4194304 4196468 140723257508192 140723257490736 139828195278583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
/proc/1074/statm: 2687081 65372 3379 1 0 2647217 0
[pid=1074/tid=1076] ppid=1071 vsize=10748324 memory=804 CPUtime=1.88 cores=0,2,4,6
/proc/1074/task/1076/stat : 1076 (java) S 1071 1074 32400 0 -1 1077944384 15396 0 0 0 181 7 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139828199521456 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1077] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.25 cores=0,2,4,6
/proc/1074/task/1077/stat : 1077 (java) S 1071 1074 32400 0 -1 1077944384 4428 0 0 0 116 9 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139828164991888 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1078] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.25 cores=0,2,4,6
/proc/1074/task/1078/stat : 1078 (java) S 1071 1074 32400 0 -1 1077944384 7745 0 0 0 116 9 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827800836880 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1079] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.25 cores=0,2,4,6
/proc/1074/task/1079/stat : 1079 (java) S 1071 1074 32400 0 -1 1077944384 7520 0 0 0 115 10 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827799784592 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1080] ppid=1071 vsize=10748324 memory=3616 CPUtime=1.25 cores=0,2,4,6
/proc/1074/task/1080/stat : 1080 (java) S 1071 1074 32400 0 -1 1077944384 4730 0 0 0 115 10 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827798731792 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1081] ppid=1071 vsize=10748324 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/1074/task/1081/stat : 1081 (java) S 1071 1074 32400 0 -1 1077944384 6840 0 0 0 32 6 0 0 20 0 16 0 414609210 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827687164016 139828195289730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1082] ppid=1071 vsize=10748324 memory=164 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1082/stat : 1082 (java) S 1071 1074 32400 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414609210 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827686110048 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1083] ppid=1071 vsize=10748324 memory=261488 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1083/stat : 1083 (java) S 1071 1074 32400 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414609210 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827685057664 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1084] ppid=1071 vsize=10748324 memory=261488 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1084/stat : 1084 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827684005968 139828195297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1085] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.77 cores=0,2,4,6
/proc/1074/task/1085/stat : 1085 (java) S 1071 1074 32400 0 -1 1077944384 10899 0 0 0 176 1 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827682953840 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1086] ppid=1071 vsize=10748324 memory=3616 CPUtime=1.91 cores=0,2,4,6
/proc/1074/task/1086/stat : 1086 (java) S 1071 1074 32400 0 -1 1077944384 11348 0 0 0 189 2 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827681901040 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1087] ppid=1071 vsize=10748324 memory=261488 CPUtime=0.9 cores=0,2,4,6
/proc/1074/task/1087/stat : 1087 (java) S 1071 1074 32400 0 -1 1077944384 12634 0 0 0 88 2 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827680848752 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1088] ppid=1071 vsize=10748324 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1088/stat : 1088 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827679796192 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1089] ppid=1071 vsize=10748324 memory=98 CPUtime=1.34 cores=0,2,4,6
/proc/1074/task/1089/stat : 1089 (java) S 1071 1074 32400 0 -1 1077944384 1144 0 0 0 66 68 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827678742960 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1090] ppid=1071 vsize=10748324 memory=547 CPUtime=2506.79 cores=0,2,4,6
/proc/1074/task/1090/stat : 1090 (java) R 1071 1074 32400 0 -1 4202560 23675 0 0 0 250672 7 0 0 20 0 16 0 414609398 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827661856064 139827840244578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 261488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.31 s]
# the end of solver process 1074 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.89 s, system=1.22141 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2510.3 s]
/proc/loadavg: 1.91 1.88 1.85 3/229 1721
/proc/meminfo: memFree=30312780/32770624 swapFree=67001900/67108860
[pid=1074] ppid=1071 vsize=10748324 memory=261488 CPUtime=2520.09 cores=0,2,4,6
/proc/1074/stat : 1074 (java) S 1071 1074 32400 0 -1 1077944320 107761 0 0 0 251888 121 0 0 20 0 16 0 414609207 11006283776 65372 33554432000 4194304 4196468 140723257508192 140723257490736 139828195278583 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
/proc/1074/statm: 2687081 65372 3379 1 0 2647217 0
[pid=1074/tid=1076] ppid=1071 vsize=10748324 memory=804 CPUtime=1.88 cores=0,2,4,6
/proc/1074/task/1076/stat : 1076 (java) S 1071 1074 32400 0 -1 1077944384 15396 0 0 0 181 7 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139828199521456 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1077] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.25 cores=0,2,4,6
/proc/1074/task/1077/stat : 1077 (java) S 1071 1074 32400 0 -1 1077944384 4428 0 0 0 116 9 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139828164991888 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1078] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.25 cores=0,2,4,6
/proc/1074/task/1078/stat : 1078 (java) S 1071 1074 32400 0 -1 1077944384 7745 0 0 0 116 9 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827800836880 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1079] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.25 cores=0,2,4,6
/proc/1074/task/1079/stat : 1079 (java) S 1071 1074 32400 0 -1 1077944384 7520 0 0 0 115 10 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827799784592 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1080] ppid=1071 vsize=10748324 memory=3616 CPUtime=1.25 cores=0,2,4,6
/proc/1074/task/1080/stat : 1080 (java) S 1071 1074 32400 0 -1 1077944384 4730 0 0 0 115 10 0 0 20 0 16 0 414609208 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827798731792 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1081] ppid=1071 vsize=10748324 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/1074/task/1081/stat : 1081 (java) S 1071 1074 32400 0 -1 1077944384 6840 0 0 0 32 6 0 0 20 0 16 0 414609210 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827687164016 139828195289730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1082] ppid=1071 vsize=10748324 memory=164 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1082/stat : 1082 (java) S 1071 1074 32400 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 414609210 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827686110048 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1083] ppid=1071 vsize=10748324 memory=261488 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1083/stat : 1083 (java) S 1071 1074 32400 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414609210 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827685057664 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1084] ppid=1071 vsize=10748324 memory=261488 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1084/stat : 1084 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827684005968 139828195297179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1085] ppid=1071 vsize=10748324 memory=261488 CPUtime=1.77 cores=0,2,4,6
/proc/1074/task/1085/stat : 1085 (java) S 1071 1074 32400 0 -1 1077944384 10899 0 0 0 176 1 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827682953840 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1086] ppid=1071 vsize=10748324 memory=3616 CPUtime=1.91 cores=0,2,4,6
/proc/1074/task/1086/stat : 1086 (java) S 1071 1074 32400 0 -1 1077944384 11348 0 0 0 189 2 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827681901040 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1087] ppid=1071 vsize=10748324 memory=261488 CPUtime=0.9 cores=0,2,4,6
/proc/1074/task/1087/stat : 1087 (java) S 1071 1074 32400 0 -1 1077944384 12634 0 0 0 88 2 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827680848752 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1088] ppid=1071 vsize=10748324 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/1074/task/1088/stat : 1088 (java) S 1071 1074 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827679796192 139828195288789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1089] ppid=1071 vsize=10748324 memory=98 CPUtime=1.34 cores=0,2,4,6
/proc/1074/task/1089/stat : 1089 (java) S 1071 1074 32400 0 -1 1077944384 1144 0 0 0 66 68 0 0 20 0 16 0 414609213 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827678742960 139828195289730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
[pid=1074/tid=1090] ppid=1071 vsize=10748324 memory=547 CPUtime=2506.79 cores=0,2,4,6
/proc/1074/task/1090/stat : 1090 (java) R 1071 1074 32400 0 -1 4202560 23675 0 0 0 250672 7 0 0 20 0 16 0 414609398 11006283776 65372 33554432000 4194304 4196468 140723257508192 139827661856064 139827840244578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9273344 140723257517067 140723257517170 140723257517170 140723257520079 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 261488 KiB
Child status: 143
Real time (s): 2510.31
CPU time (s): 2520.11
CPU user time (s): 2518.89
CPU system time (s): 1.22141
CPU usage (%): 100.39
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 446368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.89
system time used= 1.22141
maximum resident set size= 448992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64824
involuntary context switches= 1675
# summary of solver processes directly reported to runsolver:
# pid: 1074
# total CPU time (s): 2520.11
# total CPU user time (s): 2518.89
# total CPU system time (s): 1.22141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.82 second user time and 24.9997 second system time
The end