2.63/1.90
2.63/1.90 AbsCon 2
2.63/1.92
2.93/2.05 Instance
2.93/2.05 name=instance-4390725-1568383323, framework=CSP
2.93/2.05
2.93/2.05 Loading variables...
2.93/2.08 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58ffb198
2.93/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@398c98ea
2.93/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6272ff55
2.93/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a2d940
2.93/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c8a970
2.93/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d74cb34
2.93/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@563bf530
2.93/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@acea0b4
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebd0407
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27f12f8c
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71f110cd
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28998fb8
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@633771a5
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5334ba43
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad4d51d
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@407c283d
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f47e132
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@222e6f67
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a5b663c
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ced21f4
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d020d59
2.93/2.10 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4b562c
2.93/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52e7f9d5
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cdc03f5
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c2a1ae9
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c9ce029
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e3ef67
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@250939f8
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ca0e6f
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e04c0b1
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9324917
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34cf18ea
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9db08a
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c75cd28
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6999ac
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b659ec
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51db2ae1
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37e9678f
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a8b8dde
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f464a3b
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62db4b62
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50a7a849
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a6f4a97
3.15/2.11 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73aca80e
3.15/2.12 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dd1ffee
3.15/2.16
3.15/2.16
3.15/2.16 Domains
3.15/2.16 nTypes=1, nValues=28561, sizes=[169#169]
3.15/2.16 Variables
3.15/2.16 count=169, degrees=[4#163,5#3,6#2,9#1]
3.15/2.16 Constraints
3.15/2.16 count=52, nSpecific=52, arities=[2#6,8#6,9#6,10#6...13#6,14#6,15#3,169#1]
3.15/2.16 distribution=[AllDifferent#1,LT#6,SumSimpleEQ#45]
3.15/2.16 wck=0.289, cpu=2.134, mem=21M228
3.15/2.17 Solver SolverBacktrack being built...
3.15/2.17
3.15/2.19
3.15/2.19 Solver
3.15/2.19 guaranteedGAC=false
3.15/2.19 wck=0.324, cpu=2.167, mem=34M627
3.40/2.23
3.40/2.23 Preprocessing
3.40/2.23 filters=7, nACremovedValues=9, nTotalRemovedValues=9, inconcistency=false
3.40/2.23 wck=0.032, cpu=2.2, mem=34M627
3.40/2.23
3.40/2.27 num=0, depth=3..4, filters=50, wck=0.077, mem=34M627
3.40/2.27 decisions=25, wrong=11, backtracks=1, failedAssignments=10, nogoods=7
3.40/2.27
3.40/2.29 num=1, depth=2..3, filters=83, wck=0.1, mem=34M627
3.40/2.29 decisions=52, wrong=23, backtracks=2, failedAssignments=21, nogoods=16
3.40/2.29
3.67/2.31 num=2, depth=2..3, filters=126, wck=0.119, mem=34M627
3.67/2.31 decisions=82, wrong=37, backtracks=4, failedAssignments=33, nogoods=24
3.67/2.31
3.67/2.33 num=3, depth=2..3, filters=173, wck=0.139, mem=34M627
3.67/2.33 decisions=115, wrong=52, backtracks=6, failedAssignments=46, nogoods=33
3.67/2.33
3.67/2.35 num=4, depth=2..4, filters=225, wck=0.16, mem=34M627
3.67/2.35 decisions=152, wrong=69, backtracks=9, failedAssignments=60, nogoods=41
3.67/2.35
3.67/2.37 num=5, depth=3..5, filters=280, wck=0.181, mem=34M627
3.67/2.37 decisions=193, wrong=87, backtracks=11, failedAssignments=76, nogoods=53
3.67/2.37
3.89/2.41 num=6, depth=3..5, filters=341, wck=0.217, mem=34M627
3.89/2.41 decisions=238, wrong=108, backtracks=15, failedAssignments=93, nogoods=62
3.89/2.41
3.89/2.44 num=7, depth=3..5, filters=466, wck=0.251, mem=34M627
3.89/2.44 decisions=284, wrong=129, backtracks=17, failedAssignments=112, nogoods=77
3.89/2.44
3.89/2.47 num=8, depth=3..5, filters=537, wck=0.28, mem=34M627
3.89/2.47 decisions=338, wrong=154, backtracks=21, failedAssignments=133, nogoods=90
3.89/2.47
4.08/2.51 num=9, depth=3..5, filters=639, wck=0.314, mem=34M627
4.08/2.51 decisions=395, wrong=181, backtracks=25, failedAssignments=156, nogoods=100
4.08/2.51
4.08/2.54 num=10, depth=2..4, filters=723, wck=0.347, mem=34M627
4.08/2.54 decisions=458, wrong=211, backtracks=30, failedAssignments=181, nogoods=115
4.08/2.54
4.08/2.58 num=11, depth=2..4, filters=836, wck=0.389, mem=34M627
4.08/2.58 decisions=536, wrong=249, backtracks=41, failedAssignments=209, nogoods=123
4.08/2.58
4.23/2.63 num=12, depth=3..5, filters=969, wck=0.436, mem=34M627
4.23/2.63 decisions=611, wrong=285, backtracks=46, failedAssignments=240, nogoods=138
4.23/2.63
4.23/2.67 num=13, depth=2..4, filters=1088, wck=0.48, mem=34M627
4.23/2.67 decisions=701, wrong=329, backtracks=56, failedAssignments=274, nogoods=152
4.23/2.67
4.35/2.73 num=14, depth=3..5, filters=1240, wck=0.537, mem=34M627
4.35/2.73 decisions=805, wrong=379, backtracks=71, failedAssignments=311, nogoods=163
4.35/2.73
4.35/2.80 num=15, depth=3..13, filters=1414, wck=0.603, mem=34M627
4.35/2.80 decisions=926, wrong=433, backtracks=85, failedAssignments=352, nogoods=181
4.35/2.80
4.46/2.87 num=16, depth=4..6, filters=1620, wck=0.677, mem=34M627
4.46/2.87 decisions=1041, wrong=488, backtracks=95, failedAssignments=397, nogoods=201
4.46/2.87
4.57/2.94 num=17, depth=2..4, filters=1811, wck=0.747, mem=34M627
4.57/2.94 decisions=1179, wrong=556, backtracks=114, failedAssignments=447, nogoods=219
4.57/2.94
4.68/3.02 num=18, depth=3..11, filters=2028, wck=0.824, mem=34M627
4.68/3.02 decisions=1333, wrong=628, backtracks=133, failedAssignments=502, nogoods=242
4.68/3.02
4.68/3.09 num=19, depth=4..6, filters=2232, wck=0.898, mem=34M627
4.68/3.09 decisions=1492, wrong=705, backtracks=149, failedAssignments=563, nogoods=272
4.68/3.09
4.79/3.18 num=20, depth=3..11, filters=2478, wck=0.984, mem=34M627
4.79/3.18 decisions=1675, wrong=792, backtracks=170, failedAssignments=630, nogoods=301
4.79/3.18
4.88/3.29 num=21, depth=4..10, filters=2795, wck=1.097, mem=34M627
4.88/3.29 decisions=1870, wrong=885, backtracks=189, failedAssignments=704, nogoods=332
4.88/3.29
4.99/3.40 num=22, depth=3..5, filters=3093, wck=1.202, mem=34M627
4.99/3.40 decisions=2088, wrong=992, backtracks=217, failedAssignments=785, nogoods=362
4.99/3.40
5.19/3.52 num=23, depth=9..11, filters=3447, wck=1.325, mem=34M627
5.19/3.52 decisions=2353, wrong=1120, backtracks=262, failedAssignments=874, nogoods=395
5.19/3.52
5.30/3.65 num=24, depth=4..9, filters=3817, wck=1.457, mem=34M627
5.30/3.65 decisions=2622, wrong=1250, backtracks=297, failedAssignments=972, nogoods=431
5.30/3.65
5.50/3.82 num=25, depth=4..10, filters=4288, wck=1.627, mem=34M627
5.50/3.82 decisions=2907, wrong=1388, backtracks=328, failedAssignments=1080, nogoods=472
5.50/3.82
5.61/3.97 num=26, depth=3..9, filters=4703, wck=1.773, mem=34M627
5.61/3.97 decisions=3221, wrong=1541, backtracks=364, failedAssignments=1199, nogoods=515
5.61/3.97
5.82/4.13 num=27, depth=3..9, filters=5169, wck=1.937, mem=34M627
5.82/4.13 decisions=3569, wrong=1711, backtracks=406, failedAssignments=1330, nogoods=560
5.82/4.13
6.01/4.31 num=28, depth=4..10, filters=5681, wck=2.117, mem=34M627
6.01/4.31 decisions=3953, wrong=1899, backtracks=453, failedAssignments=1474, nogoods=598
6.01/4.31
6.21/4.51 num=29, depth=4..11, filters=6256, wck=2.318, mem=34M627
6.21/4.51 decisions=4380, wrong=2108, backtracks=507, failedAssignments=1632, nogoods=639
6.21/4.51
6.42/4.75 num=30, depth=4..17, filters=6949, wck=2.559, mem=37M269
6.42/4.75 decisions=4833, wrong=2326, backtracks=553, failedAssignments=1806, nogoods=710
6.42/4.75
6.63/4.99 num=31, depth=3..15, filters=7642, wck=2.795, mem=37M269
6.63/4.99 decisions=5347, wrong=2576, backtracks=617, failedAssignments=1997, nogoods=786
6.63/4.99
6.94/5.25 num=32, depth=3..15, filters=8407, wck=3.059, mem=37M269
6.94/5.25 decisions=5916, wrong=2853, backtracks=689, failedAssignments=2208, nogoods=867
6.94/5.25
7.28/5.53 num=33, depth=4..17, filters=9206, wck=3.339, mem=37M269
7.28/5.53 decisions=6531, wrong=3153, backtracks=762, failedAssignments=2440, nogoods=954
7.28/5.53
7.58/5.83 num=34, depth=4..17, filters=10062, wck=3.638, mem=37M269
7.58/5.83 decisions=7201, wrong=3480, backtracks=839, failedAssignments=2695, nogoods=1050
7.58/5.83
7.98/6.23 num=35, depth=3..10, filters=11204, wck=4.039, mem=37M269
7.98/6.23 decisions=7994, wrong=3872, backtracks=960, failedAssignments=2976, nogoods=1096
7.98/6.23
8.49/6.62 num=36, depth=5..11, filters=12350, wck=4.425, mem=37M269
8.49/6.62 decisions=8852, wrong=4296, backtracks=1081, failedAssignments=3285, nogoods=1127
8.49/6.62
8.90/7.07 num=37, depth=2..9, filters=13690, wck=4.874, mem=37M269
8.90/7.07 decisions=9813, wrong=4773, backtracks=1224, failedAssignments=3625, nogoods=1168
8.90/7.07
9.43/7.51 num=38, depth=3..10, filters=14962, wck=5.312, mem=37M269
9.43/7.51 decisions=10801, wrong=5263, backtracks=1347, failedAssignments=3999, nogoods=1217
9.43/7.51
9.94/8.06 num=39, depth=8..16, filters=16621, wck=5.864, mem=37M269
9.94/8.06 decisions=11986, wrong=5848, backtracks=1540, failedAssignments=4410, nogoods=1252
9.94/8.06
10.55/8.64 num=40, depth=4..11, filters=18371, wck=6.446, mem=37M269
10.55/8.64 decisions=13263, wrong=6482, backtracks=1745, failedAssignments=4862, nogoods=1298
10.55/8.64
11.15/9.28 num=41, depth=7..17, filters=20309, wck=7.086, mem=37M269
11.15/9.28 decisions=14646, wrong=7166, backtracks=1945, failedAssignments=5359, nogoods=1366
11.15/9.28
11.85/9.93 num=42, depth=5..18, filters=22282, wck=7.737, mem=37M269
11.85/9.93 decisions=16135, wrong=7903, backtracks=2155, failedAssignments=5906, nogoods=1456
11.85/9.93
12.65/10.71 num=43, depth=4..11, filters=24502, wck=8.515, mem=37M269
12.65/10.71 decisions=17758, wrong=8710, backtracks=2375, failedAssignments=6508, nogoods=1517
12.65/10.71
13.45/11.53 num=44, depth=4..18, filters=26975, wck=9.334, mem=37M269
13.45/11.53 decisions=19570, wrong=9608, backtracks=2626, failedAssignments=7170, nogoods=1596
13.45/11.53
14.35/12.44 num=45, depth=4..17, filters=29766, wck=10.245, mem=37M269
14.35/12.44 decisions=21604, wrong=10617, backtracks=2939, failedAssignments=7898, nogoods=1686
14.35/12.44
15.25/13.36 num=46, depth=3..17, filters=32607, wck=11.163, mem=37M269
15.25/13.36 decisions=23758, wrong=11686, backtracks=3224, failedAssignments=8699, nogoods=1818
15.25/13.36
16.26/14.31 num=47, depth=4..18, filters=35371, wck=12.119, mem=37M269
16.26/14.31 decisions=26044, wrong=12820, backtracks=3484, failedAssignments=9580, nogoods=1984
16.26/14.31
17.37/15.41 num=48, depth=4..18, filters=38704, wck=13.219, mem=37M269
17.37/15.41 decisions=28627, wrong=14103, backtracks=3807, failedAssignments=10550, nogoods=2140
17.37/15.41
18.57/16.64 num=49, depth=5..18, filters=42578, wck=14.45, mem=39M912
18.57/16.64 decisions=31547, wrong=15555, backtracks=4214, failedAssignments=11617, nogoods=2265
18.57/16.64
20.08/18.18 num=50, depth=6..18, filters=47167, wck=15.984, mem=39M912
20.08/18.18 decisions=34791, wrong=17169, backtracks=4681, failedAssignments=12790, nogoods=2404
20.08/18.18
21.57/19.64 num=51, depth=7..28, filters=52028, wck=17.445, mem=39M912
21.57/19.64 decisions=38358, wrong=18939, backtracks=5191, failedAssignments=14081, nogoods=2571
21.57/19.64
23.48/21.54 num=52, depth=4..23, filters=57728, wck=19.348, mem=39M912
23.48/21.54 decisions=42213, wrong=20856, backtracks=5720, failedAssignments=15501, nogoods=2753
23.48/21.54
25.09/23.11 num=53, depth=6..45, filters=63218, wck=20.921, mem=39M912
25.09/23.11 decisions=46395, wrong=22925, backtracks=6261, failedAssignments=17063, nogoods=3084
25.09/23.11
26.88/24.98 num=54, depth=5..24, filters=68714, wck=22.787, mem=39M912
26.88/24.98 decisions=50999, wrong=25216, backtracks=6849, failedAssignments=18781, nogoods=3268
26.88/24.98
28.99/27.07 num=55, depth=4..23, filters=75258, wck=24.873, mem=39M912
28.99/27.07 decisions=56165, wrong=27788, backtracks=7563, failedAssignments=20671, nogoods=3501
28.99/27.07
30.79/28.86 num=56, depth=4..70, filters=82656, wck=26.664, mem=39M912
30.79/28.86 decisions=61767, wrong=30555, backtracks=8294, failedAssignments=22750, nogoods=3875
30.79/28.86
32.89/30.92 num=57, depth=4..57, filters=90582, wck=28.723, mem=39M912
32.89/30.92 decisions=67815, wrong=33552, backtracks=9030, failedAssignments=25037, nogoods=4198
32.89/30.92
35.80/33.81 num=58, depth=4..55, filters=100262, wck=31.62, mem=42M554
35.80/33.81 decisions=74781, wrong=37008, backtracks=10033, failedAssignments=27553, nogoods=4542
35.80/33.81
38.42/36.46 num=59, depth=5..75, filters=109797, wck=34.264, mem=42M554
38.42/36.46 decisions=82346, wrong=40754, backtracks=11057, failedAssignments=30321, nogoods=4908
38.42/36.46
41.13/39.14 num=60, depth=5..72, filters=122790, wck=36.946, mem=42M554
41.13/39.14 decisions=90524, wrong=44808, backtracks=12112, failedAssignments=33365, nogoods=5310
41.13/39.14
44.68/42.67 num=61, depth=5..50, filters=134174, wck=40.48, mem=42M554
44.68/42.67 decisions=99436, wrong=49240, backtracks=13236, failedAssignments=36714, nogoods=5712
44.68/42.67
47.79/45.73 num=62, depth=5..65, filters=147008, wck=43.536, mem=42M554
47.79/45.73 decisions=109096, wrong=54040, backtracks=14406, failedAssignments=40398, nogoods=6125
47.79/45.73
51.13/49.08 num=63, depth=5..65, filters=163470, wck=46.891, mem=42M554
51.13/49.08 decisions=120551, wrong=59736, backtracks=16143, failedAssignments=44450, nogoods=6473
51.13/49.08
55.45/53.31 num=64, depth=5..83, filters=191390, wck=51.112, mem=50M482
55.45/53.31 decisions=132613, wrong=65727, backtracks=17741, failedAssignments=48907, nogoods=6979
55.45/53.31
58.86/56.70 num=65, depth=5..87, filters=213190, wck=54.507, mem=53M124
58.86/56.70 decisions=145248, wrong=72002, backtracks=19167, failedAssignments=53810, nogoods=7636
58.86/56.70
63.16/61.05 num=66, depth=5..78, filters=235985, wck=58.858, mem=55M766
63.16/61.05 decisions=160345, wrong=79512, backtracks=21391, failedAssignments=59204, nogoods=8177
63.16/61.05
67.56/65.44 num=67, depth=5..65, filters=257707, wck=63.249, mem=55M766
67.56/65.44 decisions=175523, wrong=87069, backtracks=23051, failedAssignments=65137, nogoods=8641
67.56/65.44
74.77/72.62 num=68, depth=5..83, filters=320573, wck=70.422, mem=79M548
74.77/72.62 decisions=193492, wrong=96013, backtracks=25609, failedAssignments=71663, nogoods=9122
74.77/72.62
80.10/77.94 num=69, depth=6..91, filters=354057, wck=75.742, mem=82M191
80.10/77.94 decisions=211808, wrong=105129, backtracks=27610, failedAssignments=78842, nogoods=9733
80.10/77.94
89.01/86.83 num=70, depth=6..104, filters=514666, wck=84.634, mem=127M112
89.01/86.83 decisions=231800, wrong=115074, backtracks=29775, failedAssignments=86739, nogoods=10391
89.01/86.83
101.76/99.52 num=71, depth=7..96, filters=674011, wck=97.323, mem=67M342
101.76/99.52 decisions=252598, wrong=125428, backtracks=31520, failedAssignments=95426, nogoods=10895
101.76/99.52
108.87/106.63 num=72, depth=7..76, filters=719359, wck=104.438, mem=67M342
108.87/106.63 decisions=279751, wrong=138968, backtracks=35585, failedAssignments=104981, nogoods=11375
108.87/106.63
121.57/119.31 num=73, depth=6..81, filters=829070, wck=117.113, mem=126M902
121.57/119.31 decisions=303507, wrong=150806, backtracks=36993, failedAssignments=115492, nogoods=12042
121.57/119.31
133.20/130.93 num=74, depth=5..90, filters=945089, wck=128.734, mem=31M569
133.20/130.93 decisions=335800, wrong=166909, backtracks=41854, failedAssignments=127054, nogoods=12667
133.20/130.93
142.20/139.95 num=75, depth=9..81, filters=1027498, wck=137.755, mem=49M825
142.20/139.95 decisions=370367, wrong=184153, backtracks=46438, failedAssignments=139772, nogoods=13155
142.20/139.95
161.72/159.43 num=76, depth=4..32, filters=1096440, wck=157.234, mem=49M825
161.72/159.43 decisions=409817, wrong=203864, backtracks=52445, failedAssignments=153762, nogoods=13401
161.72/159.43
172.22/169.91 num=77, depth=3..105, filters=1222786, wck=167.713, mem=65M474
172.22/169.91 decisions=452821, wrong=225315, backtracks=58776, failedAssignments=169151, nogoods=14006
172.22/169.91
189.43/187.12 num=78, depth=5..67, filters=1318018, wck=184.926, mem=81M122
189.43/187.12 decisions=500600, wrong=249173, backtracks=65860, failedAssignments=186079, nogoods=14515
189.43/187.12
205.13/202.81 num=79, depth=6..59, filters=1391893, wck=200.612, mem=81M122
205.13/202.81 decisions=553123, wrong=275406, backtracks=73606, failedAssignments=204700, nogoods=14990
205.13/202.81
223.53/221.24 num=80, depth=6..92, filters=1607753, wck=219.046, mem=130M675
223.53/221.24 decisions=609248, wrong=303425, backtracks=81373, failedAssignments=225184, nogoods=15570
223.53/221.24
243.27/240.94 num=81, depth=6..78, filters=1761028, wck=238.75, mem=27M381
243.27/240.94 decisions=671841, wrong=334685, backtracks=90556, failedAssignments=247716, nogoods=16120
243.27/240.94
261.68/259.35 num=82, depth=6..76, filters=1871581, wck=257.152, mem=35M241
261.68/259.35 decisions=740268, wrong=368862, backtracks=100088, failedAssignments=272501, nogoods=16696
261.68/259.35
301.02/298.68 num=83, depth=7..101, filters=2616733, wck=296.487, mem=120M818
301.02/298.68 decisions=805360, wrong=401361, backtracks=105525, failedAssignments=299765, nogoods=17341
301.02/298.68
331.37/328.95 num=84, depth=12..83, filters=2861734, wck=326.755, mem=35M523
331.37/328.95 decisions=890406, wrong=443846, backtracks=119382, failedAssignments=329755, nogoods=17793
331.37/328.95
363.49/361.09 num=85, depth=9..94, filters=3278598, wck=358.899, mem=91M610
363.49/361.09 decisions=981872, wrong=489535, backtracks=132396, failedAssignments=362744, nogoods=18282
363.49/361.09
422.64/420.03 num=86, depth=12..100, filters=4246317, wck=417.833, mem=32M772
422.64/420.03 decisions=1067133, wrong=532119, backtracks=138924, failedAssignments=399032, nogoods=18994
422.64/420.03
475.29/472.65 num=87, depth=12..92, filters=4992348, wck=470.457, mem=96M690
475.29/472.65 decisions=1175045, wrong=586032, backtracks=154024, failedAssignments=438949, nogoods=19458
475.29/472.65
538.67/535.90 num=88, depth=11..100, filters=5777435, wck=533.704, mem=85M735
538.67/535.90 decisions=1288919, wrong=642921, backtracks=167377, failedAssignments=482858, nogoods=20229
538.67/535.90
582.80/580.02 num=89, depth=12..77, filters=6079419, wck=577.827, mem=136M246
582.80/580.02 decisions=1415867, wrong=706358, backtracks=183223, failedAssignments=531158, nogoods=20741
582.80/580.02
633.74/630.95 num=90, depth=7..86, filters=6566680, wck=628.753, mem=123M878
633.74/630.95 decisions=1557561, wrong=777167, backtracks=203540, failedAssignments=584288, nogoods=21244
633.74/630.95
685.76/682.82 num=91, depth=10..102, filters=7330115, wck=680.624, mem=60M939
685.76/682.82 decisions=1690896, wrong=843787, backtracks=211933, failedAssignments=642731, nogoods=22026
685.76/682.82
761.91/758.91 num=92, depth=8..105, filters=8637026, wck=756.718, mem=55M684
761.91/758.91 decisions=1854723, wrong=925651, backtracks=231018, failedAssignments=707018, nogoods=22704
761.91/758.91
971.63/968.54 num=93, depth=15..83, filters=10375259, wck=966.348, mem=109M407
971.63/968.54 decisions=2025557, wrong=1011028, backtracks=245888, failedAssignments=777734, nogoods=23427
971.63/968.54
1086.99/1083.84 num=94, depth=17..85, filters=11594143, wck=1081.648, mem=98M549
1086.99/1083.84 decisions=2224149, wrong=1110283, backtracks=267694, failedAssignments=855521, nogoods=24157
1086.99/1083.84
1356.04/1352.71 num=95, depth=10..73, filters=13470889, wck=1350.514, mem=88M317
1356.04/1352.71 decisions=2446056, wrong=1221202, backtracks=294451, failedAssignments=941087, nogoods=24812
1356.04/1352.71
1452.79/1449.45 num=96, depth=7..86, filters=14177106, wck=1447.255, mem=60M831
1452.79/1449.45 decisions=2705375, wrong=1350819, backtracks=331427, failedAssignments=1035210, nogoods=25817
1452.79/1449.45
1529.33/1525.94 num=97, depth=4..63, filters=14549398, wck=1523.745, mem=64M102
1529.33/1525.94 decisions=2988451, wrong=1492327, backtracks=370610, failedAssignments=1138745, nogoods=26336
1529.33/1525.94
1673.50/1670.04 num=98, depth=5..80, filters=15515716, wck=1667.847, mem=70M559
1673.50/1670.04 decisions=3296371, wrong=1646250, backtracks=414449, failedAssignments=1252634, nogoods=27082
1673.50/1670.04
1823.51/1820.00 num=99, depth=6..95, filters=17630846, wck=1817.808, mem=94M854
1823.51/1820.00 decisions=3638260, wrong=1817150, backtracks=462280, failedAssignments=1377912, nogoods=27763
1823.51/1820.00
2027.92/2024.20 num=100, depth=6..76, filters=19183856, wck=2022.012, mem=77M583
2027.92/2024.20 decisions=4034376, wrong=2015172, backtracks=526698, failedAssignments=1515718, nogoods=28353
2027.92/2024.20
2308.74/2304.84 num=101, depth=6..97, filters=23274997, wck=2302.647, mem=83M228
2308.74/2304.84 decisions=4377007, wrong=2186444, backtracks=546986, failedAssignments=1667304, nogoods=29010
2308.74/2304.84
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 (15314 MiB free)
memory of node 1: 16384 MiB (15339 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390725-1568383323/watcher-4390725-1568383323 -o /tmp/evaluation-result-4390725-1568383323/solver-4390725-1568383323 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568376822-25454 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390725-1568383323.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26543, runsolver pid=26540
[startup+0.103559 s]*
/proc/loadavg: 1.98 1.91 1.78 5/228 26558
/proc/meminfo: memFree=31375232/32770624 swapFree=66936320/67108860
[pid=26543] ppid=26540 vsize=10659884 memory=28792 CPUtime=0.15 cores=0,2,4,6
/proc/26543/stat : 26543 (java) S 26540 26543 25423 0 -1 1077944320 5711 0 0 0 14 1 0 0 20 0 15 0 414590686 10915721216 7198 33554432000 4194304 4196468 140724801507776 140724801490320 140580420321015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
/proc/26543/statm: 2664971 7198 2919 1 0 2627468 0
[pid=26543/tid=26545] ppid=26540 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/26543/task/26545/stat : 26545 (java) R 26540 26543 25423 0 -1 4202560 2993 0 0 0 9 0 0 0 20 0 15 0 414590686 10915721216 7198 33554432000 4194304 4196468 140724801507776 140580424550080 140580406014424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26546] ppid=26540 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26546/stat : 26546 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 7198 33554432000 4194304 4196468 140724801507776 140580387879184 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26547] ppid=26540 vsize=10659884 memory=140313640781440 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26547/stat : 26547 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 7198 33554432000 4194304 4196468 140724801507776 140580026247568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26548] ppid=26540 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26548/stat : 26548 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 7198 33554432000 4194304 4196468 140724801507776 140580025195024 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26549] ppid=26540 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26549/stat : 26549 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 7198 33554432000 4194304 4196468 140724801507776 140580024142480 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26550] ppid=26540 vsize=10659884 memory=140313640781440 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26550/stat : 26550 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590688 10915721216 7198 33554432000 4194304 4196468 140724801507776 140579777255920 140580420332162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26551] ppid=26540 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26551/stat : 26551 (java) S 26540 26543 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414590689 10915721216 7198 33554432000 4194304 4196468 140724801507776 140579776202144 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26552] ppid=26540 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26552/stat : 26552 (java) S 26540 26543 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414590689 10915721216 7198 33554432000 4194304 4196468 140724801507776 140579775149552 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26553] ppid=26540 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26553/stat : 26553 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414590691 10915721216 7198 33554432000 4194304 4196468 140724801507776 140579774098128 140580420339611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26554] ppid=26540 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26543/task/26554/stat : 26554 (java) R 26540 26543 25423 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 414590691 10915721216 7198 33554432000 4194304 4196468 140724801507776 140579773044720 140580420332162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26555] ppid=26540 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26555/stat : 26555 (java) R 26540 26543 25423 0 -1 4202560 214 0 0 0 0 0 0 0 20 0 15 0 414590691 10915721216 7198 33554432000 4194304 4196468 140724801507776 140579771992176 140580403796080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26556] ppid=26540 vsize=10659884 memory=140313640781440 CPUtime=0.02 cores=0,2,4,6
/proc/26543/task/26556/stat : 26556 (java) R 26540 26543 25423 0 -1 4202560 636 0 0 0 2 0 0 0 20 0 15 0 414590691 10915721216 7198 33554432000 4194304 4196468 140724801507776 140579770937424 140580420342362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26557] ppid=26540 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26557/stat : 26557 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414590692 10915721216 7198 33554432000 4194304 4196468 140724801507776 140579769887328 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26558] ppid=26540 vsize=10659884 memory=140313640781440 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26558/stat : 26558 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590692 10915721216 7198 33554432000 4194304 4196468 140724801507776 140579768834864 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28792 KiB
[startup+0.21079 s]*
/proc/loadavg: 1.98 1.91 1.78 3/228 26558
/proc/meminfo: memFree=31364352/32770624 swapFree=66936320/67108860
[pid=26543] ppid=26540 vsize=10659884 memory=35640 CPUtime=0.33 cores=0,2,4,6
/proc/26543/stat : 26543 (java) S 26540 26543 25423 0 -1 1077944320 8717 0 0 0 31 2 0 0 20 0 15 0 414590686 10915721216 8910 33554432000 4194304 4196468 140724801507776 140724801490320 140580420321015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
/proc/26543/statm: 2664971 8910 2989 1 0 2627468 0
[pid=26543/tid=26545] ppid=26540 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/26543/task/26545/stat : 26545 (java) R 26540 26543 25423 0 -1 4202560 5689 0 0 0 19 1 0 0 20 0 15 0 414590686 10915721216 8910 33554432000 4194304 4196468 140724801507776 140580424547376 140580420342941 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26546] ppid=26540 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26546/stat : 26546 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 8910 33554432000 4194304 4196468 140724801507776 140580387879184 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26547] ppid=26540 vsize=10659884 memory=140313640806902 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26547/stat : 26547 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 8910 33554432000 4194304 4196468 140724801507776 140580026247568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26548] ppid=26540 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26548/stat : 26548 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 8910 33554432000 4194304 4196468 140724801507776 140580025195024 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26549] ppid=26540 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26549/stat : 26549 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 8910 33554432000 4194304 4196468 140724801507776 140580024142480 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26550] ppid=26540 vsize=10659884 memory=140313640781440 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26550/stat : 26550 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590688 10915721216 8910 33554432000 4194304 4196468 140724801507776 140579777255920 140580420332162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26551] ppid=26540 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26551/stat : 26551 (java) S 26540 26543 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414590689 10915721216 8910 33554432000 4194304 4196468 140724801507776 140579776202144 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26552] ppid=26540 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26552/stat : 26552 (java) S 26540 26543 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414590689 10915721216 8910 33554432000 4194304 4196468 140724801507776 140579775149552 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26553] ppid=26540 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26553/stat : 26553 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414590691 10915721216 8910 33554432000 4194304 4196468 140724801507776 140579774098128 140580420339611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26554] ppid=26540 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26543/task/26554/stat : 26554 (java) S 26540 26543 25423 0 -1 1077944384 578 0 0 0 2 0 0 0 20 0 15 0 414590691 10915721216 8910 33554432000 4194304 4196468 140724801507776 140579773044720 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26555] ppid=26540 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/26543/task/26555/stat : 26555 (java) S 26540 26543 25423 0 -1 1077944384 396 0 0 0 3 0 0 0 20 0 15 0 414590691 10915721216 8910 33554432000 4194304 4196468 140724801507776 140579771992176 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26556] ppid=26540 vsize=10659884 memory=140313640781440 CPUtime=0.05 cores=0,2,4,6
/proc/26543/task/26556/stat : 26556 (java) S 26540 26543 25423 0 -1 1077944384 694 0 0 0 5 0 0 0 20 0 15 0 414590691 10915721216 8910 33554432000 4194304 4196468 140724801507776 140579770939632 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26557] ppid=26540 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26557/stat : 26557 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414590692 10915721216 8910 33554432000 4194304 4196468 140724801507776 140579769887328 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26558] ppid=26540 vsize=10659884 memory=140313640781440 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26558/stat : 26558 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590692 10915721216 8910 33554432000 4194304 4196468 140724801507776 140579768834864 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35640 KiB
[startup+0.310246 s]*
/proc/loadavg: 1.98 1.91 1.78 4/228 26558
/proc/meminfo: memFree=31362416/32770624 swapFree=66936320/67108860
[pid=26543] ppid=26540 vsize=10659884 memory=38636 CPUtime=0.48 cores=0,2,4,6
/proc/26543/stat : 26543 (java) S 26540 26543 25423 0 -1 1077944320 8964 0 0 0 46 2 0 0 20 0 15 0 414590686 10915721216 9659 33554432000 4194304 4196468 140724801507776 140724801490320 140580420321015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
/proc/26543/statm: 2664971 9659 3002 1 0 2627468 0
[pid=26543/tid=26545] ppid=26540 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=0,2,4,6
/proc/26543/task/26545/stat : 26545 (java) R 26540 26543 25423 0 -1 4202560 5822 0 0 0 29 1 0 0 20 0 15 0 414590686 10915721216 9659 33554432000 4194304 4196468 140724801507776 140580424543696 140580420342941 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26546] ppid=26540 vsize=10659884 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26546/stat : 26546 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 9659 33554432000 4194304 4196468 140724801507776 140580387879184 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26547] ppid=26540 vsize=10659884 memory=140313640806633 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26547/stat : 26547 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 9659 33554432000 4194304 4196468 140724801507776 140580026247568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26548] ppid=26540 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26548/stat : 26548 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 9659 33554432000 4194304 4196468 140724801507776 140580025195024 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26549] ppid=26540 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26549/stat : 26549 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590687 10915721216 9659 33554432000 4194304 4196468 140724801507776 140580024142480 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26550] ppid=26540 vsize=10659884 memory=140313640781440 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26550/stat : 26550 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590688 10915721216 9659 33554432000 4194304 4196468 140724801507776 140579777255920 140580420332162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26551] ppid=26540 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26551/stat : 26551 (java) S 26540 26543 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414590689 10915721216 9659 33554432000 4194304 4196468 140724801507776 140579776202144 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26552] ppid=26540 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26552/stat : 26552 (java) S 26540 26543 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414590689 10915721216 9659 33554432000 4194304 4196468 140724801507776 140579775149552 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26553] ppid=26540 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26553/stat : 26553 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414590691 10915721216 9659 33554432000 4194304 4196468 140724801507776 140579774098128 140580420339611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26554] ppid=26540 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26543/task/26554/stat : 26554 (java) S 26540 26543 25423 0 -1 1077944384 593 0 0 0 3 0 0 0 20 0 15 0 414590691 10915721216 9659 33554432000 4194304 4196468 140724801507776 140579773044720 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26555] ppid=26540 vsize=10659884 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/26543/task/26555/stat : 26555 (java) S 26540 26543 25423 0 -1 1077944384 443 0 0 0 5 0 0 0 20 0 15 0 414590691 10915721216 9659 33554432000 4194304 4196468 140724801507776 140579771992176 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26556] ppid=26540 vsize=10659884 memory=140313640781440 CPUtime=0.08 cores=0,2,4,6
/proc/26543/task/26556/stat : 26556 (java) R 26540 26543 25423 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 15 0 414590691 10915721216 9659 33554432000 4194304 4196468 140724801507776 140579770939632 140580420342362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26557] ppid=26540 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26557/stat : 26557 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414590692 10915721216 9659 33554432000 4194304 4196468 140724801507776 140579769887328 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26558] ppid=26540 vsize=10659884 memory=140313640781440 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26558/stat : 26558 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590692 10915721216 9659 33554432000 4194304 4196468 140724801507776 140579768834864 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 38636 KiB
[startup+0.70077 s]
/proc/loadavg: 1.98 1.91 1.78 3/228 26558
/proc/meminfo: memFree=31350572/32770624 swapFree=66936320/67108860
[pid=26543] ppid=26540 vsize=10661932 memory=64652 CPUtime=1.11 cores=0,2,4,6
/proc/26543/stat : 26543 (java) S 26540 26543 25423 0 -1 1077944320 12632 0 0 0 107 4 0 0 20 0 15 0 414590686 10917818368 16163 33554432000 4194304 4196468 140724801507776 140724801490320 140580420321015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
/proc/26543/statm: 2665483 16163 3067 1 0 2627980 0
[pid=26543/tid=26545] ppid=26540 vsize=10661932 memory=1412 CPUtime=0.68 cores=0,2,4,6
/proc/26543/task/26545/stat : 26545 (java) R 26540 26543 25423 0 -1 4202560 8298 0 0 0 65 3 0 0 20 0 15 0 414590686 10917818368 16163 33554432000 4194304 4196468 140724801507776 140580424546896 140580420342941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26546] ppid=26540 vsize=10661932 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26546/stat : 26546 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590687 10917818368 16163 33554432000 4194304 4196468 140724801507776 140580387879184 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26547] ppid=26540 vsize=10661932 memory=7148 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26547/stat : 26547 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590687 10917818368 16163 33554432000 4194304 4196468 140724801507776 140580026247568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26548] ppid=26540 vsize=10661932 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26548/stat : 26548 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590687 10917818368 16163 33554432000 4194304 4196468 140724801507776 140580025195024 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26549] ppid=26540 vsize=10661932 memory=616 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26549/stat : 26549 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590687 10917818368 16163 33554432000 4194304 4196468 140724801507776 140580024142480 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26550] ppid=26540 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26550/stat : 26550 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590688 10917818368 16163 33554432000 4194304 4196468 140724801507776 140579777255920 140580420332162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26551] ppid=26540 vsize=10661932 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26551/stat : 26551 (java) S 26540 26543 25423 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414590689 10917818368 16163 33554432000 4194304 4196468 140724801507776 140579776202144 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26552] ppid=26540 vsize=10661932 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26552/stat : 26552 (java) S 26540 26543 25423 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414590689 10917818368 16163 33554432000 4194304 4196468 140724801507776 140579775149552 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26553] ppid=26540 vsize=10661932 memory=4639098309541127012 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26553/stat : 26553 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414590691 10917818368 16163 33554432000 4194304 4196468 140724801507776 140579774098128 140580420339611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26554] ppid=26540 vsize=10661932 memory=7811609364956278113 CPUtime=0.1 cores=0,2,4,6
/proc/26543/task/26554/stat : 26554 (java) S 26540 26543 25423 0 -1 1077944384 919 0 0 0 10 0 0 0 20 0 15 0 414590691 10917818368 16163 33554432000 4194304 4196468 140724801507776 140579773044720 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26555] ppid=26540 vsize=10661932 memory=5787213840016500561 CPUtime=0.12 cores=0,2,4,6
/proc/26543/task/26555/stat : 26555 (java) R 26540 26543 25423 0 -1 4202560 748 0 0 0 12 0 0 0 20 0 15 0 414590691 10917818368 16163 33554432000 4194304 4196468 140724801507776 140579771992176 140580403812625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26556] ppid=26540 vsize=10661932 memory=5450909908396308010 CPUtime=0.18 cores=0,2,4,6
/proc/26543/task/26556/stat : 26556 (java) S 26540 26543 25423 0 -1 1077944384 1307 0 0 0 18 0 0 0 20 0 15 0 414590691 10917818368 16163 33554432000 4194304 4196468 140724801507776 140579770939632 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26557] ppid=26540 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26557/stat : 26557 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414590692 10917818368 16163 33554432000 4194304 4196468 140724801507776 140579769887328 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26558] ppid=26540 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26558/stat : 26558 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590692 10917818368 16163 33554432000 4194304 4196468 140724801507776 140579768834864 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64652 KiB
[startup+1.50069 s]
/proc/loadavg: 1.98 1.91 1.78 3/228 26558
/proc/meminfo: memFree=31335904/32770624 swapFree=66936320/67108860
[pid=26543] ppid=26540 vsize=10663980 memory=76360 CPUtime=2.02 cores=0,2,4,6
/proc/26543/stat : 26543 (java) S 26540 26543 25423 0 -1 1077944320 18149 0 0 0 197 5 0 0 20 0 15 0 414590686 10919915520 19090 33554432000 4194304 4196468 140724801507776 140724801490320 140580420321015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
/proc/26543/statm: 2665995 19090 3093 1 0 2628492 0
[pid=26543/tid=26545] ppid=26540 vsize=10663980 memory=6791534058613427641 CPUtime=1.48 cores=0,2,4,6
/proc/26543/task/26545/stat : 26545 (java) R 26540 26543 25423 0 -1 4202560 12459 0 0 0 145 3 0 0 20 0 15 0 414590686 10919915520 19090 33554432000 4194304 4196468 140724801507776 140580424552072 140580420342941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26546] ppid=26540 vsize=10663980 memory=33 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26546/stat : 26546 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590687 10919915520 19090 33554432000 4194304 4196468 140724801507776 140580387879184 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26547] ppid=26540 vsize=10663980 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26547/stat : 26547 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590687 10919915520 19090 33554432000 4194304 4196468 140724801507776 140580026247568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26548] ppid=26540 vsize=10663980 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26548/stat : 26548 (java) S 26540 26543 25423 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414590687 10919915520 19090 33554432000 4194304 4196468 140724801507776 140580025195024 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26549] ppid=26540 vsize=10663980 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26549/stat : 26549 (java) S 26540 26543 25423 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414590687 10919915520 19090 33554432000 4194304 4196468 140724801507776 140580024142480 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26550] ppid=26540 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26550/stat : 26550 (java) S 26540 26543 25423 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 414590688 10919915520 19090 33554432000 4194304 4196468 140724801507776 140579777255920 140580420332162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
################
# More data... #
################
/proc/26543/task/26549/stat : 26549 (java) S 26540 26543 25423 0 -1 1077944384 4462 0 0 0 33 1 0 0 20 0 16 0 414590687 11004186624 44423 33554432000 4194304 4196468 140724801507776 140580024142480 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26550] ppid=26540 vsize=10746276 memory=179232 CPUtime=0.12 cores=0,2,4,6
/proc/26543/task/26550/stat : 26550 (java) S 26540 26543 25423 0 -1 1077944384 5633 0 0 0 9 3 0 0 20 0 16 0 414590688 11004186624 44423 33554432000 4194304 4196468 140724801507776 140579777255920 140580420332162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26551] ppid=26540 vsize=10746276 memory=177692 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26551/stat : 26551 (java) S 26540 26543 25423 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414590689 11004186624 44423 33554432000 4194304 4196468 140724801507776 140579776202208 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26552] ppid=26540 vsize=10746276 memory=984 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26552/stat : 26552 (java) S 26540 26543 25423 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414590689 11004186624 44423 33554432000 4194304 4196468 140724801507776 140579775149568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26553] ppid=26540 vsize=10746276 memory=177692 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26553/stat : 26553 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414590691 11004186624 44423 33554432000 4194304 4196468 140724801507776 140579774098128 140580420339611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26554] ppid=26540 vsize=10746276 memory=177692 CPUtime=0.87 cores=0,2,4,6
/proc/26543/task/26554/stat : 26554 (java) S 26540 26543 25423 0 -1 1077944384 7365 0 0 0 86 1 0 0 20 0 16 0 414590691 11004186624 44423 33554432000 4194304 4196468 140724801507776 140579773044720 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26555] ppid=26540 vsize=10746276 memory=177692 CPUtime=0.77 cores=0,2,4,6
/proc/26543/task/26555/stat : 26555 (java) S 26540 26543 25423 0 -1 1077944384 5814 0 0 0 76 1 0 0 20 0 16 0 414590691 11004186624 44423 33554432000 4194304 4196468 140724801507776 140579771992176 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26556] ppid=26540 vsize=10746276 memory=616 CPUtime=0.52 cores=0,2,4,6
/proc/26543/task/26556/stat : 26556 (java) S 26540 26543 25423 0 -1 1077944384 5342 0 0 0 51 1 0 0 20 0 16 0 414590691 11004186624 44423 33554432000 4194304 4196468 140724801507776 140579770939632 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26557] ppid=26540 vsize=10746276 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26557/stat : 26557 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414590692 11004186624 44423 33554432000 4194304 4196468 140724801507776 140579769887328 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26558] ppid=26540 vsize=10746276 memory=804 CPUtime=0.71 cores=0,2,4,6
/proc/26543/task/26558/stat : 26558 (java) S 26540 26543 25423 0 -1 1077944384 974 0 0 0 29 42 0 0 20 0 16 0 414590692 11004186624 44423 33554432000 4194304 4196468 140724801507776 140579768834864 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26559] ppid=26540 vsize=10746276 memory=2016 CPUtime=2439.98 cores=0,2,4,6
/proc/26543/task/26559/stat : 26559 (java) R 26540 26543 25423 0 -1 4202560 16497 0 0 0 243993 5 0 0 20 0 16 0 414590876 11004186624 44423 33554432000 4194304 4196468 140724801507776 140579752173312 140580061705395 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
Current children cumulated CPU time: 2446.36 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 177692 KiB
[startup+2502.3 s]
/proc/loadavg: 1.93 1.91 1.84 3/229 26885
/proc/meminfo: memFree=30974940/32770624 swapFree=66936356/67108860
[pid=26543] ppid=26540 vsize=10746276 memory=179228 CPUtime=2506.4 cores=0,2,4,6
/proc/26543/stat : 26543 (java) S 26540 26543 25423 0 -1 1077944320 70052 0 0 0 250594 46 0 0 20 0 16 0 414590686 11004186624 44807 33554432000 4194304 4196468 140724801507776 140724801490320 140580420321015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
/proc/26543/statm: 2686569 44807 3375 1 0 2646705 0
[pid=26543/tid=26545] ppid=26540 vsize=10746276 memory=179228 CPUtime=1.88 cores=0,2,4,6
/proc/26543/task/26545/stat : 26545 (java) S 26540 26543 25423 0 -1 1077944384 14641 0 0 0 183 5 0 0 20 0 16 0 414590686 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580424563888 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26546] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.36 cores=0,2,4,6
/proc/26543/task/26546/stat : 26546 (java) S 26540 26543 25423 0 -1 1077944384 2454 0 0 0 34 2 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580387879184 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26547] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.35 cores=0,2,4,6
/proc/26543/task/26547/stat : 26547 (java) S 26540 26543 25423 0 -1 1077944384 2354 0 0 0 34 1 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580026247568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26548] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.35 cores=0,2,4,6
/proc/26543/task/26548/stat : 26548 (java) S 26540 26543 25423 0 -1 1077944384 3036 0 0 0 33 2 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580025195024 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26549] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.35 cores=0,2,4,6
/proc/26543/task/26549/stat : 26549 (java) S 26540 26543 25423 0 -1 1077944384 4463 0 0 0 34 1 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580024142480 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26550] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.13 cores=0,2,4,6
/proc/26543/task/26550/stat : 26550 (java) S 26540 26543 25423 0 -1 1077944384 5640 0 0 0 10 3 0 0 20 0 16 0 414590688 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579777255920 140580420332162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26551] ppid=26540 vsize=10746276 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26551/stat : 26551 (java) S 26540 26543 25423 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414590689 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579776202208 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26552] ppid=26540 vsize=10746276 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26552/stat : 26552 (java) S 26540 26543 25423 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414590689 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579775149568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26553] ppid=26540 vsize=10746276 memory=23992 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26553/stat : 26553 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579774098128 140580420339611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26554] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.87 cores=0,2,4,6
/proc/26543/task/26554/stat : 26554 (java) S 26540 26543 25423 0 -1 1077944384 7365 0 0 0 86 1 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579773044720 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26555] ppid=26540 vsize=10746276 memory=3624 CPUtime=0.77 cores=0,2,4,6
/proc/26543/task/26555/stat : 26555 (java) S 26540 26543 25423 0 -1 1077944384 5814 0 0 0 76 1 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579771992176 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26556] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.52 cores=0,2,4,6
/proc/26543/task/26556/stat : 26556 (java) S 26540 26543 25423 0 -1 1077944384 5342 0 0 0 51 1 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579770939632 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26557] ppid=26540 vsize=10746276 memory=179228 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26557/stat : 26557 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414590692 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579769887328 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26558] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.73 cores=0,2,4,6
/proc/26543/task/26558/stat : 26558 (java) S 26540 26543 25423 0 -1 1077944384 978 0 0 0 29 44 0 0 20 0 16 0 414590692 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579768834864 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26559] ppid=26540 vsize=10746276 memory=179228 CPUtime=2499.97 cores=0,2,4,6
/proc/26543/task/26559/stat : 26559 (java) R 26540 26543 25423 0 -1 4202560 16527 0 0 0 249992 5 0 0 20 0 16 0 414590876 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579752173312 140580061786077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
Current children cumulated CPU time: 2506.4 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 179228 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.9 s]
/proc/loadavg: 1.94 1.92 1.85 3/229 26885
/proc/meminfo: memFree=30974940/32770624 swapFree=66936356/67108860
[pid=26543] ppid=26540 vsize=10746276 memory=179228 CPUtime=2520.01 cores=0,2,4,6
/proc/26543/stat : 26543 (java) S 26540 26543 25423 0 -1 1077944320 70055 0 0 0 251955 46 0 0 20 0 16 0 414590686 11004186624 44807 33554432000 4194304 4196468 140724801507776 140724801490320 140580420321015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
/proc/26543/statm: 2686569 44807 3375 1 0 2646705 0
[pid=26543/tid=26545] ppid=26540 vsize=10746276 memory=179228 CPUtime=1.88 cores=0,2,4,6
/proc/26543/task/26545/stat : 26545 (java) S 26540 26543 25423 0 -1 1077944384 14641 0 0 0 183 5 0 0 20 0 16 0 414590686 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580424563888 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26546] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.36 cores=0,2,4,6
/proc/26543/task/26546/stat : 26546 (java) S 26540 26543 25423 0 -1 1077944384 2454 0 0 0 34 2 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580387879184 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26547] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.35 cores=0,2,4,6
/proc/26543/task/26547/stat : 26547 (java) S 26540 26543 25423 0 -1 1077944384 2354 0 0 0 34 1 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580026247568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26548] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.35 cores=0,2,4,6
/proc/26543/task/26548/stat : 26548 (java) S 26540 26543 25423 0 -1 1077944384 3036 0 0 0 33 2 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580025195024 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26549] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.35 cores=0,2,4,6
/proc/26543/task/26549/stat : 26549 (java) S 26540 26543 25423 0 -1 1077944384 4463 0 0 0 34 1 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580024142480 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26550] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.13 cores=0,2,4,6
/proc/26543/task/26550/stat : 26550 (java) S 26540 26543 25423 0 -1 1077944384 5642 0 0 0 10 3 0 0 20 0 16 0 414590688 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579777255920 140580420332162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26551] ppid=26540 vsize=10746276 memory=179228 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26551/stat : 26551 (java) S 26540 26543 25423 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414590689 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579776202208 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26552] ppid=26540 vsize=10746276 memory=179228 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26552/stat : 26552 (java) S 26540 26543 25423 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414590689 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579775149568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26553] ppid=26540 vsize=10746276 memory=179228 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26553/stat : 26553 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579774098128 140580420339611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26554] ppid=26540 vsize=10746276 memory=3624 CPUtime=0.87 cores=0,2,4,6
/proc/26543/task/26554/stat : 26554 (java) S 26540 26543 25423 0 -1 1077944384 7365 0 0 0 86 1 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579773044720 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26555] ppid=26540 vsize=10746276 memory=14056 CPUtime=0.77 cores=0,2,4,6
/proc/26543/task/26555/stat : 26555 (java) S 26540 26543 25423 0 -1 1077944384 5814 0 0 0 76 1 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579771992176 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26556] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.52 cores=0,2,4,6
/proc/26543/task/26556/stat : 26556 (java) S 26540 26543 25423 0 -1 1077944384 5342 0 0 0 51 1 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579770939632 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26557] ppid=26540 vsize=10746276 memory=179228 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26557/stat : 26557 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414590692 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579769887328 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26558] ppid=26540 vsize=10746276 memory=984 CPUtime=0.74 cores=0,2,4,6
/proc/26543/task/26558/stat : 26558 (java) S 26540 26543 25423 0 -1 1077944384 978 0 0 0 30 44 0 0 20 0 16 0 414590692 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579768834864 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26559] ppid=26540 vsize=10746276 memory=179228 CPUtime=2513.57 cores=0,2,4,6
/proc/26543/task/26559/stat : 26559 (java) R 26540 26543 25423 0 -1 4202560 16528 0 0 0 251352 5 0 0 20 0 16 0 414590876 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579752173312 140580062219271 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 179228 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.91 s]
# the end of solver process 26543 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.57 s, system=0.470129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.9 s]
/proc/loadavg: 1.94 1.92 1.85 3/229 26885
/proc/meminfo: memFree=30974940/32770624 swapFree=66936356/67108860
[pid=26543] ppid=26540 vsize=10746276 memory=179228 CPUtime=2520.01 cores=0,2,4,6
/proc/26543/stat : 26543 (java) S 26540 26543 25423 0 -1 1077944320 70055 0 0 0 251955 46 0 0 20 0 16 0 414590686 11004186624 44807 33554432000 4194304 4196468 140724801507776 140724801490320 140580420321015 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
/proc/26543/statm: 2686569 44807 3375 1 0 2646705 0
[pid=26543/tid=26545] ppid=26540 vsize=10746276 memory=179228 CPUtime=1.88 cores=0,2,4,6
/proc/26543/task/26545/stat : 26545 (java) S 26540 26543 25423 0 -1 1077944384 14641 0 0 0 183 5 0 0 20 0 16 0 414590686 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580424563888 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26546] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.36 cores=0,2,4,6
/proc/26543/task/26546/stat : 26546 (java) S 26540 26543 25423 0 -1 1077944384 2454 0 0 0 34 2 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580387879184 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26547] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.35 cores=0,2,4,6
/proc/26543/task/26547/stat : 26547 (java) S 26540 26543 25423 0 -1 1077944384 2354 0 0 0 34 1 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580026247568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26548] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.35 cores=0,2,4,6
/proc/26543/task/26548/stat : 26548 (java) S 26540 26543 25423 0 -1 1077944384 3036 0 0 0 33 2 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580025195024 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26549] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.35 cores=0,2,4,6
/proc/26543/task/26549/stat : 26549 (java) S 26540 26543 25423 0 -1 1077944384 4463 0 0 0 34 1 0 0 20 0 16 0 414590687 11004186624 44807 33554432000 4194304 4196468 140724801507776 140580024142480 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26550] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.13 cores=0,2,4,6
/proc/26543/task/26550/stat : 26550 (java) S 26540 26543 25423 0 -1 1077944384 5642 0 0 0 10 3 0 0 20 0 16 0 414590688 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579777255920 140580420332162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26551] ppid=26540 vsize=10746276 memory=179228 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26551/stat : 26551 (java) S 26540 26543 25423 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414590689 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579776202208 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26552] ppid=26540 vsize=10746276 memory=179228 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26552/stat : 26552 (java) S 26540 26543 25423 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414590689 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579775149568 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26553] ppid=26540 vsize=10746276 memory=179228 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26553/stat : 26553 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579774098128 140580420339611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26554] ppid=26540 vsize=10746276 memory=3624 CPUtime=0.87 cores=0,2,4,6
/proc/26543/task/26554/stat : 26554 (java) S 26540 26543 25423 0 -1 1077944384 7365 0 0 0 86 1 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579773044720 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26555] ppid=26540 vsize=10746276 memory=14056 CPUtime=0.77 cores=0,2,4,6
/proc/26543/task/26555/stat : 26555 (java) S 26540 26543 25423 0 -1 1077944384 5814 0 0 0 76 1 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579771992176 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26556] ppid=26540 vsize=10746276 memory=179228 CPUtime=0.52 cores=0,2,4,6
/proc/26543/task/26556/stat : 26556 (java) S 26540 26543 25423 0 -1 1077944384 5342 0 0 0 51 1 0 0 20 0 16 0 414590691 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579770939632 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26557] ppid=26540 vsize=10746276 memory=179228 CPUtime=0 cores=0,2,4,6
/proc/26543/task/26557/stat : 26557 (java) S 26540 26543 25423 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414590692 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579769887328 140580420331221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26558] ppid=26540 vsize=10746276 memory=984 CPUtime=0.74 cores=0,2,4,6
/proc/26543/task/26558/stat : 26558 (java) S 26540 26543 25423 0 -1 1077944384 978 0 0 0 30 44 0 0 20 0 16 0 414590692 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579768834864 140580420332162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
[pid=26543/tid=26559] ppid=26540 vsize=10746276 memory=179228 CPUtime=2513.57 cores=0,2,4,6
/proc/26543/task/26559/stat : 26559 (java) R 26540 26543 25423 0 -1 4202560 16528 0 0 0 251352 5 0 0 20 0 16 0 414590876 11004186624 44807 33554432000 4194304 4196468 140724801507776 140579752173312 140580062219271 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19128320 140724801516555 140724801516658 140724801516658 140724801519567 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 179228 KiB
Child status: 143
Real time (s): 2515.91
CPU time (s): 2520.04
CPU user time (s): 2519.57
CPU system time (s): 0.470129
CPU usage (%): 100.164
Max. virtual memory (cumulated for all children) (KiB): 10747300
Max. memory (cumulated for all children) (KiB): 261736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.470129
maximum resident set size= 261752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70387
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59079
involuntary context switches= 3901
# summary of solver processes directly reported to runsolver:
# pid: 26543
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.57
# total CPU system time (s): 0.470129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6285 second user time and 23.0288 second system time
The end