2.40/1.88
2.40/1.88 AbsCon 2
2.40/1.90
2.91/2.02 Instance
2.91/2.02 name=instance-4390629-1568383031, framework=CSP
2.91/2.02
2.91/2.02 Loading variables...
2.91/2.06 Loading constraints...
3.82/2.30
3.82/2.30 Domains
3.82/2.30 nTypes=1, nValues=9744, sizes=[203#48]
3.82/2.30 Variables
3.82/2.30 count=48, degrees=[24#46,25#1,26#1]
3.82/2.30 Constraints
3.82/2.30 count=326, nSpecific=1, arities=[1#49,2#1,4#276]
3.82/2.30 distribution=[CtrIntension#325,LE#1]
3.82/2.30 nIntStructures=(301,shared:24)
3.82/2.30 wck=0.445, cpu=2.265, mem=55M579
3.82/2.30 Solver SolverBacktrack being built...
3.82/2.30
3.82/2.33
3.82/2.33 Solver
3.82/2.33 guaranteedGAC=false
3.82/2.33 wck=0.475, cpu=2.293, mem=66M222
3.82/2.34
3.82/2.34 Preprocessing
3.82/2.34 filters=48, revisions=(51,useless=4), ccks=9943, nACremovedValues=1608, nTotalRemovedValues=1608, inconcistency=false
3.82/2.34 wck=0.012, cpu=2.306, mem=66M222
3.82/2.34
4.56/2.76 num=0, depth=23..23, filters=317, revisions=(1730,useless=1413), ccks=1058477, wck=0.431, mem=68M864
4.56/2.76 decisions=43, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
4.56/2.76
4.56/2.76 num=1, depth=2..2, filters=341, revisions=(1778,useless=1438), ccks=1063843, wck=0.434, mem=68M864
4.56/2.76 decisions=67, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
4.56/2.76
4.56/2.79 num=2, depth=3..3, filters=365, revisions=(1876,useless=1512), ccks=1127098, wck=0.462, mem=68M864
4.56/2.79 decisions=94, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
4.56/2.79
6.86/4.82 num=3, depth=1..1, filters=378, revisions=(2474,useless=2097), ccks=6674572, wck=2.493, mem=71M506
6.86/4.82 decisions=121, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
6.86/4.82
7.07/5.01 num=4, depth=11..11, filters=429, revisions=(2976,useless=2548), ccks=7192829, wck=2.682, mem=71M506
7.07/5.01 decisions=160, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
7.07/5.01
7.26/5.21 num=5, depth=13..13, filters=487, revisions=(3602,useless=3116), ccks=7713633, wck=2.883, mem=71M506
7.26/5.21 decisions=205, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
7.26/5.21
7.47/5.41 num=6, depth=15..15, filters=557, revisions=(4363,useless=3807), ccks=8251991, wck=3.081, mem=74M149
7.47/5.41 decisions=254, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
7.47/5.41
7.69/5.61 num=7, depth=17..17, filters=640, revisions=(5302,useless=4663), ccks=8801154, wck=3.282, mem=74M149
7.69/5.61 decisions=309, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
7.69/5.61
7.91/5.81 num=8, depth=19..19, filters=736, revisions=(6443,useless=5708), ccks=9353199, wck=3.486, mem=76M791
7.91/5.81 decisions=370, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
7.91/5.81
8.14/6.02 num=9, depth=21..21, filters=849, revisions=(7815,useless=6966), ccks=9915181, wck=3.692, mem=79M434
8.14/6.02 decisions=437, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
8.14/6.02
8.45/6.31 num=10, depth=19..20, filters=1022, revisions=(9505,useless=8475), ccks=10715287, wck=3.982, mem=84M719
8.45/6.31 decisions=514, wrong=185, backtracks=4, failedAssignments=181, nogoods=160
8.45/6.31
8.65/6.58 num=11, depth=18..20, filters=1252, revisions=(11340,useless=10069), ccks=11472684, wck=4.255, mem=87M361
8.65/6.58 decisions=593, wrong=215, backtracks=6, failedAssignments=209, nogoods=164
8.65/6.58
8.95/6.86 num=12, depth=18..20, filters=1517, revisions=(13286,useless=11744), ccks=12234735, wck=4.529, mem=90M4
8.95/6.86 decisions=677, wrong=248, backtracks=8, failedAssignments=240, nogoods=173
8.95/6.86
9.16/7.06 num=13, depth=26..26, filters=1773, revisions=(15375,useless=13576), ccks=12793374, wck=4.736, mem=92M646
9.16/7.06 decisions=771, wrong=282, backtracks=8, failedAssignments=274, nogoods=207
9.16/7.06
9.28/7.13 num=14, depth=8..10, filters=1978, revisions=(16101,useless=14096), ccks=12973171, wck=4.803, mem=92M646
9.28/7.13 decisions=855, wrong=319, backtracks=8, failedAssignments=311, nogoods=244
9.28/7.13
9.68/7.50 num=15, depth=8..9, filters=2243, revisions=(18635,useless=16353), ccks=14005964, wck=5.171, mem=97M931
9.68/7.50 decisions=954, wrong=364, backtracks=12, failedAssignments=352, nogoods=252
9.68/7.50
9.98/7.83 num=16, depth=9..10, filters=2456, revisions=(21092,useless=18590), ccks=14924066, wck=5.501, mem=103M216
9.98/7.83 decisions=1061, wrong=413, backtracks=16, failedAssignments=397, nogoods=256
9.98/7.83
10.30/8.18 num=17, depth=9..10, filters=2678, revisions=(23710,useless=20984), ccks=15906874, wck=5.855, mem=108M500
10.30/8.18 decisions=1175, wrong=465, backtracks=18, failedAssignments=447, nogoods=272
10.30/8.18
10.39/8.27 num=18, depth=10..17, filters=2987, revisions=(25085,useless=22051), ccks=16133896, wck=5.939, mem=108M500
10.39/8.27 decisions=1302, wrong=520, backtracks=18, failedAssignments=502, nogoods=327
10.39/8.27
10.61/8.49 num=19, depth=9..13, filters=3345, revisions=(26408,useless=23016), ccks=16754217, wck=6.163, mem=111M143
10.61/8.49 decisions=1437, wrong=581, backtracks=18, failedAssignments=563, nogoods=388
10.61/8.49
10.92/8.75 num=20, depth=20..28, filters=3832, revisions=(29473,useless=25594), ccks=17436736, wck=6.417, mem=113M785
10.92/8.75 decisions=1599, wrong=648, backtracks=18, failedAssignments=630, nogoods=455
10.92/8.75
11.23/9.06 num=21, depth=15..30, filters=4242, revisions=(32764,useless=28475), ccks=18280613, wck=6.729, mem=119M70
11.23/9.06 decisions=1777, wrong=722, backtracks=18, failedAssignments=704, nogoods=529
11.23/9.06
11.42/9.27 num=22, depth=15..24, filters=4580, revisions=(35760,useless=31132), ccks=18868907, wck=6.945, mem=121M713
11.42/9.27 decisions=1966, wrong=806, backtracks=21, failedAssignments=785, nogoods=572
11.42/9.27
11.42/9.30 num=23, depth=3..3, filters=4760, revisions=(36308,useless=31499), ccks=18935029, wck=6.968, mem=124M355
11.42/9.30 decisions=2147, wrong=895, backtracks=21, failedAssignments=874, nogoods=661
11.42/9.30
11.53/9.37 num=24, depth=3..10, filters=5013, revisions=(37761,useless=32700), ccks=19122469, wck=7.037, mem=124M355
11.53/9.37 decisions=2353, wrong=993, backtracks=21, failedAssignments=972, nogoods=759
11.53/9.37
11.73/9.55 num=25, depth=5..17, filters=5306, revisions=(40468,useless=35090), ccks=19603542, wck=7.218, mem=126M997
11.73/9.55 decisions=2586, wrong=1101, backtracks=21, failedAssignments=1080, nogoods=867
11.73/9.55
12.04/9.89 num=26, depth=15..28, filters=5954, revisions=(44953,useless=38927), ccks=20532064, wck=7.563, mem=132M282
12.04/9.89 decisions=2852, wrong=1220, backtracks=21, failedAssignments=1199, nogoods=986
12.04/9.89
12.34/10.14 num=27, depth=5..13, filters=6334, revisions=(46728,useless=40322), ccks=21225081, wck=7.814, mem=134M925
12.34/10.14 decisions=3127, wrong=1351, backtracks=21, failedAssignments=1330, nogoods=1117
12.34/10.14
12.64/10.41 num=28, depth=11..13, filters=6795, revisions=(49624,useless=42757), ccks=21956565, wck=8.083, mem=140M210
12.64/10.41 decisions=3428, wrong=1495, backtracks=21, failedAssignments=1474, nogoods=1261
12.64/10.41
12.73/10.59 num=29, depth=15..19, filters=7379, revisions=(53989,useless=46538), ccks=22424161, wck=8.263, mem=142M778
12.73/10.59 decisions=3763, wrong=1653, backtracks=21, failedAssignments=1632, nogoods=1419
12.73/10.59
12.99/10.79 num=30, depth=7..19, filters=8040, revisions=(58384,useless=50272), ccks=22897548, wck=8.461, mem=34M677
12.99/10.79 decisions=4130, wrong=1827, backtracks=21, failedAssignments=1806, nogoods=1593
12.99/10.79
13.20/10.96 num=31, depth=8..14, filters=8502, revisions=(62060,useless=53478), ccks=23366824, wck=8.632, mem=39M803
13.20/10.96 decisions=4526, wrong=2018, backtracks=21, failedAssignments=1997, nogoods=1784
13.20/10.96
13.60/11.38 num=32, depth=7..33, filters=9216, revisions=(67433,useless=58116), ccks=24522417, wck=9.053, mem=44M929
13.60/11.38 decisions=4981, wrong=2229, backtracks=21, failedAssignments=2208, nogoods=1995
13.60/11.38
13.93/11.65 num=33, depth=6..14, filters=9888, revisions=(72046,useless=62053), ccks=25260054, wck=9.325, mem=50M56
13.93/11.65 decisions=5459, wrong=2461, backtracks=21, failedAssignments=2440, nogoods=2227
13.93/11.65
14.34/12.06 num=34, depth=11..23, filters=10726, revisions=(79486,useless=68655), ccks=26356432, wck=9.734, mem=60M308
14.34/12.06 decisions=5992, wrong=2716, backtracks=21, failedAssignments=2695, nogoods=2482
14.34/12.06
14.73/12.48 num=35, depth=4..19, filters=11633, revisions=(84728,useless=72989), ccks=27520984, wck=10.153, mem=65M435
14.73/12.48 decisions=6573, wrong=2997, backtracks=21, failedAssignments=2976, nogoods=2763
14.73/12.48
14.93/12.67 num=36, depth=5..12, filters=12355, revisions=(89859,useless=77398), ccks=28035369, wck=10.345, mem=73M124
14.93/12.67 decisions=7203, wrong=3306, backtracks=21, failedAssignments=3285, nogoods=3072
14.93/12.67
15.54/13.26 num=37, depth=5..35, filters=13556, revisions=(103960,useless=90298), ccks=29570463, wck=10.935, mem=85M940
15.54/13.26 decisions=7918, wrong=3646, backtracks=21, failedAssignments=3625, nogoods=3412
15.54/13.26
16.18/13.82 num=38, depth=5..20, filters=14709, revisions=(112696,useless=97879), ccks=31091302, wck=11.49, mem=96M192
16.18/13.82 decisions=8686, wrong=4020, backtracks=21, failedAssignments=3999, nogoods=3786
16.18/13.82
16.78/14.46 num=39, depth=9..39, filters=16084, revisions=(131513,useless=115321), ccks=32755800, wck=12.129, mem=111M571
16.78/14.46 decisions=9547, wrong=4431, backtracks=21, failedAssignments=4410, nogoods=4197
16.78/14.46
17.34/14.96 num=40, depth=17..43, filters=17808, revisions=(150740,useless=132824), ccks=34024667, wck=12.627, mem=129M513
17.34/14.96 decisions=10494, wrong=4883, backtracks=21, failedAssignments=4862, nogoods=4649
17.34/14.96
17.64/15.21 num=41, depth=3..15, filters=19057, revisions=(158569,useless=139403), ccks=34707379, wck=12.877, mem=137M202
17.64/15.21 decisions=11503, wrong=5380, backtracks=21, failedAssignments=5359, nogoods=5146
17.64/15.21
18.02/15.54 num=42, depth=3..21, filters=20523, revisions=(169135,useless=148504), ccks=35593351, wck=13.209, mem=150M18
18.02/15.54 decisions=12618, wrong=5927, backtracks=21, failedAssignments=5906, nogoods=5693
18.02/15.54
18.75/16.24 num=43, depth=3..24, filters=22388, revisions=(183915,useless=161418), ccks=37436526, wck=13.907, mem=32M772
18.75/16.24 decisions=13846, wrong=6529, backtracks=21, failedAssignments=6508, nogoods=6295
18.75/16.24
19.20/16.64 num=44, depth=7..25, filters=24357, revisions=(198259,useless=173793), ccks=38513870, wck=14.315, mem=45M727
19.20/16.64 decisions=15195, wrong=7191, backtracks=21, failedAssignments=7170, nogoods=6957
19.20/16.64
19.72/17.13 num=45, depth=6..26, filters=26778, revisions=(215027,useless=188140), ccks=39823202, wck=14.806, mem=63M863
19.72/17.13 decisions=16677, wrong=7919, backtracks=21, failedAssignments=7898, nogoods=7685
19.72/17.13
20.32/17.73 num=46, depth=7..27, filters=29047, revisions=(237968,useless=208812), ccks=41357639, wck=15.4, mem=81M999
20.32/17.73 decisions=18303, wrong=8720, backtracks=24, failedAssignments=8699, nogoods=8004
20.32/17.73
21.24/18.67 num=47, depth=9..30, filters=32041, revisions=(271108,useless=238958), ccks=43826442, wck=16.345, mem=107M908
21.24/18.67 decisions=20092, wrong=9601, backtracks=33, failedAssignments=9580, nogoods=8343
21.24/18.67
22.35/19.70 num=48, depth=3..34, filters=35188, revisions=(299483,useless=264184), ccks=46566050, wck=17.376, mem=138M998
22.35/19.70 decisions=22065, wrong=10571, backtracks=33, failedAssignments=10550, nogoods=9313
22.35/19.70
23.30/20.68 num=49, depth=4..33, filters=38348, revisions=(333666,useless=295207), ccks=49048224, wck=18.349, mem=40M525
23.30/20.68 decisions=24232, wrong=11638, backtracks=33, failedAssignments=11617, nogoods=10380
23.30/20.68
24.30/21.67 num=50, depth=3..32, filters=42053, revisions=(370874,useless=328709), ccks=51620283, wck=19.342, mem=72M930
24.30/21.67 decisions=26608, wrong=12811, backtracks=35, failedAssignments=12790, nogoods=11266
24.30/21.67
25.55/22.80 num=51, depth=1..25, filters=45765, revisions=(401008,useless=355179), ccks=54644756, wck=20.472, mem=102M93
25.55/22.80 decisions=29216, wrong=14103, backtracks=37, failedAssignments=14081, nogoods=12404
25.55/22.80
66.31/63.57 num=52, depth=2..7, filters=48168, revisions=(461913,useless=413682), ccks=169120277, wck=61.237, mem=101M574
66.31/63.57 decisions=32064, wrong=15524, backtracks=48, failedAssignments=15501, nogoods=12725
66.31/63.57
67.41/64.66 num=53, depth=3..26, filters=53001, revisions=(505568,useless=452503), ccks=171960500, wck=62.333, mem=136M692
67.41/64.66 decisions=35215, wrong=17089, backtracks=62, failedAssignments=17063, nogoods=13595
67.41/64.66
69.03/66.28 num=54, depth=11..43, filters=58644, revisions=(577518,useless=518809), ccks=176033518, wck=63.95, mem=34M812
69.03/66.28 decisions=38689, wrong=18807, backtracks=67, failedAssignments=18781, nogoods=14829
69.03/66.28
70.05/67.26 num=55, depth=4..23, filters=63586, revisions=(622653,useless=559002), ccks=178611049, wck=64.934, mem=66M205
70.05/67.26 decisions=42487, wrong=20697, backtracks=74, failedAssignments=20671, nogoods=15337
70.05/67.26
71.35/68.58 num=56, depth=6..25, filters=68892, revisions=(676801,useless=607844), ccks=182087370, wck=66.251, mem=107M16
71.35/68.58 decisions=46665, wrong=22776, backtracks=87, failedAssignments=22750, nogoods=15731
71.35/68.58
72.35/69.52 num=57, depth=5..23, filters=74581, revisions=(726300,useless=651649), ccks=184582546, wck=67.188, mem=138M409
72.35/69.52 decisions=51251, wrong=25063, backtracks=98, failedAssignments=25037, nogoods=15993
72.35/69.52
162.54/159.67 num=58, depth=1..5, filters=77193, revisions=(832970,useless=755708), ccks=438278519, wck=157.339, mem=119M592
162.54/159.67 decisions=56287, wrong=27579, backtracks=139, failedAssignments=27553, nogoods=16261
162.54/159.67
164.64/161.76 num=59, depth=5..7, filters=82845, revisions=(858245,useless=775331), ccks=444012243, wck=159.429, mem=137M733
164.64/161.76 decisions=61829, wrong=30347, backtracks=206, failedAssignments=30321, nogoods=16341
164.64/161.76
166.69/163.73 num=60, depth=3..23, filters=91045, revisions=(938884,useless=847770), ccks=449073836, wck=161.4, mem=49M817
166.69/163.73 decisions=67938, wrong=33391, backtracks=234, failedAssignments=33365, nogoods=17365
166.69/163.73
167.89/164.90 num=61, depth=9..19, filters=97874, revisions=(1005155,useless=907212), ccks=452139656, wck=162.57, mem=91M447
167.89/164.90 decisions=74655, wrong=36743, backtracks=264, failedAssignments=36714, nogoods=17625
167.89/164.90
170.39/167.43 num=62, depth=5..19, filters=108580, revisions=(1085433,useless=976783), ccks=458937312, wck=165.104, mem=165M786
170.39/167.43 decisions=82038, wrong=40427, backtracks=306, failedAssignments=40398, nogoods=18082
170.39/167.43
173.73/170.72 num=63, depth=6..19, filters=120619, revisions=(1178651,useless=1057962), ccks=467574463, wck=168.39, mem=96M505
173.73/170.72 decisions=90157, wrong=44479, backtracks=333, failedAssignments=44450, nogoods=18842
173.73/170.72
176.63/173.68 num=64, depth=6..22, filters=132728, revisions=(1287642,useless=1154844), ccks=475410835, wck=171.349, mem=172M495
176.63/173.68 decisions=99091, wrong=48937, backtracks=545, failedAssignments=48907, nogoods=19727
176.63/173.68
184.47/181.48 num=65, depth=3..14, filters=145595, revisions=(1375858,useless=1230193), ccks=497290465, wck=179.148, mem=104M217
184.47/181.48 decisions=108909, wrong=53840, backtracks=592, failedAssignments=53810, nogoods=20256
184.47/181.48
187.73/184.65 num=66, depth=3..21, filters=159778, revisions=(1512828,useless=1352980), ccks=505683692, wck=182.325, mem=63M482
187.73/184.65 decisions=119716, wrong=59234, backtracks=644, failedAssignments=59204, nogoods=21049
187.73/184.65
192.77/189.62 num=67, depth=4..20, filters=173821, revisions=(1646474,useless=1472582), ccks=519426387, wck=187.291, mem=162M165
192.77/189.62 decisions=131598, wrong=65167, backtracks=728, failedAssignments=65137, nogoods=21535
192.77/189.62
195.11/191.97 num=68, depth=8..21, filters=185599, revisions=(1756543,useless=1570873), ccks=525750319, wck=189.646, mem=85M279
195.11/191.97 decisions=144674, wrong=71696, backtracks=847, failedAssignments=71663, nogoods=22239
195.11/191.97
198.28/195.02 num=69, depth=10..23, filters=201330, revisions=(1915250,useless=1713848), ccks=533587090, wck=192.696, mem=49M87
198.28/195.02 decisions=159053, wrong=78875, backtracks=974, failedAssignments=78842, nogoods=22758
198.28/195.02
203.11/199.83 num=70, depth=4..21, filters=225943, revisions=(2113752,useless=1887700), ccks=546227047, wck=197.5, mem=86M364
203.11/199.83 decisions=174866, wrong=86773, backtracks=1057, failedAssignments=86739, nogoods=23513
203.11/199.83
206.75/203.44 num=71, depth=7..19, filters=248112, revisions=(2306499,useless=2058279), ccks=555815141, wck=201.11, mem=83M27
206.75/203.44 decisions=192256, wrong=95460, backtracks=1209, failedAssignments=95426, nogoods=24105
206.75/203.44
211.83/208.41 num=72, depth=7..16, filters=269796, revisions=(2469881,useless=2198382), ccks=569719100, wck=206.086, mem=51M339
211.83/208.41 decisions=211378, wrong=105015, backtracks=1305, failedAssignments=104981, nogoods=24484
211.83/208.41
219.05/215.66 num=73, depth=8..19, filters=299847, revisions=(2698202,useless=2396567), ccks=589264277, wck=213.333, mem=74M34
219.05/215.66 decisions=232419, wrong=115527, backtracks=1541, failedAssignments=115492, nogoods=25106
219.05/215.66
225.58/222.17 num=74, depth=9..22, filters=333431, revisions=(3024474,useless=2689254), ccks=606198700, wck=219.844, mem=48M150
225.58/222.17 decisions=255563, wrong=127089, backtracks=1763, failedAssignments=127054, nogoods=26047
225.58/222.17
239.99/236.58 num=75, depth=4..21, filters=366144, revisions=(3298784,useless=2930795), ccks=646096382, wck=234.254, mem=154M663
239.99/236.58 decisions=281018, wrong=139811, backtracks=1856, failedAssignments=139772, nogoods=26633
239.99/236.58
289.25/285.61 num=76, depth=1..24, filters=411333, revisions=(3607038,useless=3194283), ccks=784812668, wck=283.278, mem=59M159
289.25/285.61 decisions=309028, wrong=153806, backtracks=2172, failedAssignments=153762, nogoods=27468
289.25/285.61
293.27/289.67 num=77, depth=2..20, filters=438919, revisions=(3856074,useless=3415712), ccks=795866493, wck=287.346, mem=74M913
293.27/289.67 decisions=339822, wrong=169196, backtracks=2579, failedAssignments=169151, nogoods=28148
293.27/289.67
308.01/304.36 num=78, depth=10..20, filters=479790, revisions=(4300602,useless=3819183), ccks=835592304, wck=302.029, mem=67M964
308.01/304.36 decisions=373702, wrong=186127, backtracks=3534, failedAssignments=186079, nogoods=29146
308.01/304.36
318.34/314.69 num=79, depth=5..22, filters=527928, revisions=(4686970,useless=4157413), ccks=863346706, wck=312.359, mem=66M691
318.34/314.69 decisions=410960, wrong=204748, backtracks=3850, failedAssignments=204700, nogoods=29771
318.34/314.69
337.57/333.87 num=80, depth=5..23, filters=589325, revisions=(5201934,useless=4610979), ccks=915753698, wck=331.541, mem=108M795
337.57/333.87 decisions=451947, wrong=225233, backtracks=4180, failedAssignments=225184, nogoods=30313
337.57/333.87
348.08/344.35 num=81, depth=1..19, filters=656383, revisions=(5694904,useless=5036529), ccks=943848284, wck=342.024, mem=104M563
348.08/344.35 decisions=497028, wrong=247766, backtracks=4908, failedAssignments=247716, nogoods=31075
348.08/344.35
366.63/362.85 num=82, depth=6..20, filters=719695, revisions=(6257386,useless=5535697), ccks=993889036, wck=360.523, mem=52M250
366.63/362.85 decisions=546728, wrong=272607, backtracks=6266, failedAssignments=272501, nogoods=32198
366.63/362.85
734.90/730.99 num=83, depth=2..17, filters=789011, revisions=(7302026,useless=6510904), ccks=2022982120, wck=728.66, mem=98M605
734.90/730.99 decisions=601330, wrong=299903, backtracks=6922, failedAssignments=299765, nogoods=32650
734.90/730.99
751.36/747.39 num=84, depth=3..22, filters=868344, revisions=(8133438,useless=7262982), ccks=2066374758, wck=745.064, mem=70M426
751.36/747.39 decisions=661330, wrong=329893, backtracks=7200, failedAssignments=329755, nogoods=33611
751.36/747.39
796.58/792.43 num=85, depth=4..17, filters=1012348, revisions=(9180051,useless=8164788), ccks=2191430001, wck=790.105, mem=40M330
796.58/792.43 decisions=729076, wrong=363758, backtracks=8403, failedAssignments=362744, nogoods=34481
796.58/792.43
816.95/812.75 num=86, depth=7..20, filters=1119962, revisions=(10090737,useless=8967860), ccks=2245024565, wck=810.422, mem=80M521
816.95/812.75 decisions=801669, wrong=400046, backtracks=8757, failedAssignments=399032, nogoods=35175
816.95/812.75
847.23/842.94 num=87, depth=4..18, filters=1218163, revisions=(10839131,useless=9617640), ccks=2327098428, wck=840.61, mem=54M707
847.23/842.94 decisions=881526, wrong=439968, backtracks=9680, failedAssignments=438949, nogoods=35807
847.23/842.94
871.80/867.46 num=88, depth=6..19, filters=1322665, revisions=(11730630,useless=10404054), ccks=2393730803, wck=865.128, mem=38M621
871.80/867.46 decisions=969734, wrong=484064, backtracks=10380, failedAssignments=482858, nogoods=36625
871.80/867.46
939.32/934.88 num=89, depth=6..21, filters=1452172, revisions=(12763491,useless=11306779), ccks=2578037219, wck=932.555, mem=86M191
939.32/934.88 decisions=1066422, wrong=532398, backtracks=10997, failedAssignments=531158, nogoods=37493
939.32/934.88
1007.02/1002.45 num=90, depth=9..22, filters=1611223, revisions=(14112661,useless=12493568), ccks=2760106243, wck=1000.119, mem=70M187
1007.02/1002.45 decisions=1173009, wrong=585681, backtracks=11901, failedAssignments=584288, nogoods=38312
1007.02/1002.45
1041.03/1036.30 num=91, depth=7..21, filters=1790298, revisions=(15516375,useless=13718187), ccks=2845431007, wck=1033.972, mem=78M909
1041.03/1036.30 decisions=1289913, wrong=644125, backtracks=12748, failedAssignments=642731, nogoods=39122
1041.03/1036.30
1099.64/1094.84 num=92, depth=5..21, filters=2016706, revisions=(17106132,useless=15081432), ccks=2998022181, wck=1092.509, mem=61M768
1099.64/1094.84 decisions=1418503, wrong=708412, backtracks=13817, failedAssignments=707018, nogoods=39759
1099.64/1094.84
1153.17/1148.23 num=93, depth=2..23, filters=2180934, revisions=(18678876,useless=16489937), ccks=3137203089, wck=1145.902, mem=84M555
1153.17/1148.23 decisions=1559982, wrong=779142, backtracks=15664, failedAssignments=777734, nogoods=40526
1153.17/1148.23
1217.11/1212.10 num=94, depth=2..22, filters=2382149, revisions=(20186449,useless=17796140), ccks=3307252605, wck=1209.771, mem=81M438
1217.11/1212.10 decisions=1715689, wrong=856986, backtracks=16908, failedAssignments=855521, nogoods=41515
1217.11/1212.10
1265.71/1260.55 num=95, depth=7..21, filters=2575542, revisions=(22122973,useless=19539163), ccks=3434712001, wck=1258.218, mem=70M785
1265.71/1260.55 decisions=1886910, wrong=942589, backtracks=19481, failedAssignments=941087, nogoods=42519
1265.71/1260.55
1329.46/1324.15 num=96, depth=5..22, filters=2916858, revisions=(25040123,useless=22114997), ccks=3596106811, wck=1321.817, mem=59M61
1329.46/1324.15 decisions=2075171, wrong=1036712, backtracks=21739, failedAssignments=1035210, nogoods=43242
1329.46/1324.15
1382.29/1376.85 num=97, depth=1..22, filters=3208585, revisions=(27508303,useless=24291210), ccks=3731115071, wck=1374.517, mem=38M663
1382.29/1376.85 decisions=2282419, wrong=1140326, backtracks=24368, failedAssignments=1138745, nogoods=43992
1382.29/1376.85
1464.65/1459.05 num=98, depth=1..23, filters=3425777, revisions=(29910491,useless=26469597), ccks=3949123341, wck=1456.724, mem=66M883
1464.65/1459.05 decisions=2510264, wrong=1254240, backtracks=30048, failedAssignments=1252634, nogoods=45002
1464.65/1459.05
1529.89/1524.18 num=99, depth=1..22, filters=3657129, revisions=(32190214,useless=28517792), ccks=4121886060, wck=1521.847, mem=62M727
1529.89/1524.18 decisions=2760885, wrong=1379542, backtracks=37494, failedAssignments=1377912, nogoods=45985
1529.89/1524.18
1701.55/1695.66 num=100, depth=2..17, filters=3950047, revisions=(34803545,useless=30837735), ccks=4583259397, wck=1693.335, mem=81M251
1701.55/1695.66 decisions=3036515, wrong=1517350, backtracks=40956, failedAssignments=1515718, nogoods=46765
1701.55/1695.66
2448.18/2441.81 num=101, depth=3..21, filters=4227317, revisions=(38875240,useless=34616314), ccks=6614133237, wck=2439.484, mem=63M13
2448.18/2441.81 decisions=3339729, wrong=1668950, backtracks=46590, failedAssignments=1667304, nogoods=47972
2448.18/2441.81
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 (12553 MiB free)
memory of node 1: 16384 MiB (15601 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390629-1568383031/watcher-4390629-1568383031 -o /tmp/evaluation-result-4390629-1568383031/solver-4390629-1568383031 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568380477-25672 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390629-1568383031.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=26103, runsolver pid=26100
Current StackSize limit: 8192 KiB
[startup+0.101818 s]*
/proc/loadavg: 2.03 1.83 1.71 4/228 26118
/proc/meminfo: memFree=28812908/32770624 swapFree=66999916/67108860
[pid=26103] ppid=26100 vsize=10659884 memory=28092 CPUtime=0.13 cores=0,2,4,6
/proc/26103/stat : 26103 (java) S 26100 26103 25641 0 -1 1077944320 5530 0 0 0 12 1 0 0 20 0 15 0 414568013 10915721216 7023 33554432000 4194304 4196468 140727588475488 140727588458032 140485623181047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
/proc/26103/statm: 2664971 7023 2855 1 0 2627468 0
[pid=26103/tid=26105] ppid=26100 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6
/proc/26103/task/26105/stat : 26105 (java) R 26100 26103 25641 0 -1 4202560 3322 0 0 0 8 1 0 0 20 0 15 0 414568013 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485627410704 140485615418174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26106] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26106/stat : 26106 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485565184272 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26107] ppid=26100 vsize=10659884 memory=4050345917411202720 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26107/stat : 26107 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485564131728 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26108] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26108/stat : 26108 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485563079184 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26109] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26109/stat : 26109 (java) S 26100 26103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485226977936 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26110] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26110/stat : 26110 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568016 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485182351856 140485623192194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26111] ppid=26100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26111/stat : 26111 (java) S 26100 26103 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414568016 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485181298080 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26112] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26112/stat : 26112 (java) S 26100 26103 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414568016 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485180245488 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26113] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26113/stat : 26113 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568019 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485179194064 140485623199643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26114] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26114/stat : 26114 (java) R 26100 26103 25641 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 15 0 414568019 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485178133320 140485601048864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26115] ppid=26100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26115/stat : 26115 (java) R 26100 26103 25641 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 414568019 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485177074960 140485623191253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26116] ppid=26100 vsize=10659884 memory=140689282930304 CPUtime=0.02 cores=0,2,4,6
/proc/26103/task/26116/stat : 26116 (java) R 26100 26103 25641 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 15 0 414568019 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485176032504 140485602316393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26117] ppid=26100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26117/stat : 26117 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568019 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485174983264 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26118] ppid=26100 vsize=10659884 memory=140689282930304 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26118/stat : 26118 (java) R 26100 26103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568019 10915721216 7023 33554432000 4194304 4196468 140727588475488 140485173930800 140485623192194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28092 KiB
[startup+0.210805 s]*
/proc/loadavg: 2.03 1.83 1.71 5/228 26118
/proc/meminfo: memFree=28802672/32770624 swapFree=66999916/67108860
[pid=26103] ppid=26100 vsize=10659884 memory=37628 CPUtime=0.33 cores=0,2,4,6
/proc/26103/stat : 26103 (java) S 26100 26103 25641 0 -1 1077944320 9106 0 0 0 30 3 0 0 20 0 15 0 414568013 10915721216 9407 33554432000 4194304 4196468 140727588475488 140727588458032 140485623181047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
/proc/26103/statm: 2664971 9407 2991 1 0 2627468 0
[pid=26103/tid=26105] ppid=26100 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/26103/task/26105/stat : 26105 (java) R 26100 26103 25641 0 -1 4202560 6121 0 0 0 18 2 0 0 20 0 15 0 414568013 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485627407408 140485623202973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26106] ppid=26100 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26106/stat : 26106 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485565184272 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26107] ppid=26100 vsize=10659884 memory=140689285942552 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26107/stat : 26107 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485564131728 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26108] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26108/stat : 26108 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485563079184 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26109] ppid=26100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26109/stat : 26109 (java) S 26100 26103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485226977936 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26110] ppid=26100 vsize=10659884 memory=140689282930304 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26110/stat : 26110 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568016 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485182351856 140485623192194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26111] ppid=26100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26111/stat : 26111 (java) S 26100 26103 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414568016 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485181298080 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26112] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26112/stat : 26112 (java) S 26100 26103 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414568016 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485180245488 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26113] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26113/stat : 26113 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568019 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485179194064 140485623199643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26114] ppid=26100 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26103/task/26114/stat : 26114 (java) S 26100 26103 25641 0 -1 1077944384 528 0 0 0 3 0 0 0 20 0 15 0 414568019 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485178140656 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26115] ppid=26100 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/26103/task/26115/stat : 26115 (java) S 26100 26103 25641 0 -1 1077944384 355 0 0 0 3 0 0 0 20 0 15 0 414568019 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485177088112 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26116] ppid=26100 vsize=10659884 memory=140689282930304 CPUtime=0.05 cores=0,2,4,6
/proc/26103/task/26116/stat : 26116 (java) S 26100 26103 25641 0 -1 1077944384 741 0 0 0 5 0 0 0 20 0 15 0 414568019 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485176035568 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26117] ppid=26100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26117/stat : 26117 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568019 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485174983264 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26118] ppid=26100 vsize=10659884 memory=140689282930304 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26118/stat : 26118 (java) S 26100 26103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568019 10915721216 9407 33554432000 4194304 4196468 140727588475488 140485173930800 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37628 KiB
[startup+0.310315 s]*
/proc/loadavg: 2.03 1.83 1.71 3/228 26118
/proc/meminfo: memFree=28798680/32770624 swapFree=66999916/67108860
[pid=26103] ppid=26100 vsize=10659884 memory=40172 CPUtime=0.47 cores=0,2,4,6
/proc/26103/stat : 26103 (java) S 26100 26103 25641 0 -1 1077944320 9298 0 0 0 44 3 0 0 20 0 15 0 414568013 10915721216 10043 33554432000 4194304 4196468 140727588475488 140727588458032 140485623181047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
/proc/26103/statm: 2664971 10043 3003 1 0 2627468 0
[pid=26103/tid=26105] ppid=26100 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/26103/task/26105/stat : 26105 (java) R 26100 26103 25641 0 -1 4202560 6247 0 0 0 28 2 0 0 20 0 15 0 414568013 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485627415712 140485623202973 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26106] ppid=26100 vsize=10659884 memory=4294977067 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26106/stat : 26106 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485565184272 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26107] ppid=26100 vsize=10659884 memory=140689285936820 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26107/stat : 26107 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485564131728 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26108] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26108/stat : 26108 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485563079184 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26109] ppid=26100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26109/stat : 26109 (java) S 26100 26103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568014 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485226977936 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26110] ppid=26100 vsize=10659884 memory=140689282930304 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26110/stat : 26110 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568016 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485182351856 140485623192194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26111] ppid=26100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26111/stat : 26111 (java) S 26100 26103 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414568016 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485181298080 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26112] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26112/stat : 26112 (java) S 26100 26103 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414568016 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485180245488 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26113] ppid=26100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26113/stat : 26113 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568019 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485179194064 140485623199643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26114] ppid=26100 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26103/task/26114/stat : 26114 (java) S 26100 26103 25641 0 -1 1077944384 536 0 0 0 3 0 0 0 20 0 15 0 414568019 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485178140656 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26115] ppid=26100 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/26103/task/26115/stat : 26115 (java) S 26100 26103 25641 0 -1 1077944384 393 0 0 0 4 0 0 0 20 0 15 0 414568019 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485177088112 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26116] ppid=26100 vsize=10659884 memory=140689282930304 CPUtime=0.07 cores=0,2,4,6
/proc/26103/task/26116/stat : 26116 (java) R 26100 26103 25641 0 -1 4202560 762 0 0 0 7 0 0 0 20 0 15 0 414568019 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485176035568 140485607261534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26117] ppid=26100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26117/stat : 26117 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568019 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485174983264 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26118] ppid=26100 vsize=10659884 memory=140689282930304 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26118/stat : 26118 (java) S 26100 26103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568019 10915721216 10043 33554432000 4194304 4196468 140727588475488 140485173930800 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40172 KiB
[startup+0.700891 s]
/proc/loadavg: 2.03 1.83 1.71 3/228 26118
/proc/meminfo: memFree=28788532/32770624 swapFree=66999916/67108860
[pid=26103] ppid=26100 vsize=10661932 memory=63296 CPUtime=1.1 cores=0,2,4,6
/proc/26103/stat : 26103 (java) S 26100 26103 25641 0 -1 1077944320 12844 0 0 0 106 4 0 0 20 0 15 0 414568013 10917818368 15824 33554432000 4194304 4196468 140727588475488 140727588458032 140485623181047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
/proc/26103/statm: 2665483 15824 3072 1 0 2627980 0
[pid=26103/tid=26105] ppid=26100 vsize=10661932 memory=39104 CPUtime=0.68 cores=0,2,4,6
/proc/26103/task/26105/stat : 26105 (java) R 26100 26103 25641 0 -1 4202560 8820 0 0 0 65 3 0 0 20 0 15 0 414568013 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485627413392 140485245610386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26106] ppid=26100 vsize=10661932 memory=988 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26106/stat : 26106 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485565184272 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26107] ppid=26100 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26107/stat : 26107 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485564131728 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26108] ppid=26100 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26108/stat : 26108 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485563079184 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26109] ppid=26100 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26109/stat : 26109 (java) S 26100 26103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568014 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485226977936 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26110] ppid=26100 vsize=10661932 memory=2 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26110/stat : 26110 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568016 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485182351856 140485623192194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26111] ppid=26100 vsize=10661932 memory=5 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26111/stat : 26111 (java) S 26100 26103 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414568016 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485181298080 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26112] ppid=26100 vsize=10661932 memory=4 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26112/stat : 26112 (java) S 26100 26103 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414568016 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485180245488 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26113] ppid=26100 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26113/stat : 26113 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568019 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485179194064 140485623199643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26114] ppid=26100 vsize=10661932 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26103/task/26114/stat : 26114 (java) S 26100 26103 25641 0 -1 1077944384 905 0 0 0 10 0 0 0 20 0 15 0 414568019 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485178140656 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26115] ppid=26100 vsize=10661932 memory=9 CPUtime=0.11 cores=0,2,4,6
/proc/26103/task/26115/stat : 26115 (java) R 26100 26103 25641 0 -1 4202560 559 0 0 0 11 0 0 0 20 0 15 0 414568019 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485177088112 140485608080590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26116] ppid=26100 vsize=10661932 memory=576 CPUtime=0.18 cores=0,2,4,6
/proc/26103/task/26116/stat : 26116 (java) S 26100 26103 25641 0 -1 1077944384 1199 0 0 0 18 0 0 0 20 0 15 0 414568019 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485176035568 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26117] ppid=26100 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26117/stat : 26117 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414568019 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485174983264 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26118] ppid=26100 vsize=10661932 memory=5 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26118/stat : 26118 (java) S 26100 26103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568019 10917818368 15824 33554432000 4194304 4196468 140727588475488 140485173930800 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63296 KiB
[startup+1.50081 s]
/proc/loadavg: 2.03 1.83 1.71 3/228 26118
/proc/meminfo: memFree=28769556/32770624 swapFree=66999916/67108860
[pid=26103] ppid=26100 vsize=10663980 memory=75308 CPUtime=2 cores=0,2,4,6
/proc/26103/stat : 26103 (java) S 26100 26103 25641 0 -1 1077944320 18427 0 0 0 195 5 0 0 20 0 15 0 414568013 10919915520 18827 33554432000 4194304 4196468 140727588475488 140727588458032 140485623181047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
/proc/26103/statm: 2665995 18827 3095 1 0 2628492 0
[pid=26103/tid=26105] ppid=26100 vsize=10663980 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/26103/task/26105/stat : 26105 (java) R 26100 26103 25641 0 -1 4202560 13046 0 0 0 143 4 0 0 20 0 15 0 414568013 10919915520 18827 33554432000 4194304 4196468 140727588475488 140485627413072 140485604734352 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26106] ppid=26100 vsize=10663980 memory=39104 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26106/stat : 26106 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10919915520 18827 33554432000 4194304 4196468 140727588475488 140485565184272 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26107] ppid=26100 vsize=10663980 memory=988 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26107/stat : 26107 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10919915520 18827 33554432000 4194304 4196468 140727588475488 140485564131728 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26108] ppid=26100 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26108/stat : 26108 (java) S 26100 26103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414568014 10919915520 18827 33554432000 4194304 4196468 140727588475488 140485563079184 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26109] ppid=26100 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26109/stat : 26109 (java) S 26100 26103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414568014 10919915520 18827 33554432000 4194304 4196468 140727588475488 140485226977936 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26110] ppid=26100 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26110/stat : 26110 (java) S 26100 26103 25641 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 414568016 10919915520 18827 33554432000 4194304 4196468 140727588475488 140485182351856 140485623192194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
################
# More data... #
################
/proc/26103/task/26109/stat : 26109 (java) S 26100 26103 25641 0 -1 1077944384 5511 0 0 0 103 5 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485226977936 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26110] ppid=26100 vsize=10748324 memory=200368 CPUtime=0.46 cores=0,2,4,6
/proc/26103/task/26110/stat : 26110 (java) S 26100 26103 25641 0 -1 1077944384 5907 0 0 0 41 5 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485182351856 140485623192194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26111] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26111/stat : 26111 (java) S 26100 26103 25641 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485181298144 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26112] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26112/stat : 26112 (java) S 26100 26103 25641 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485180245504 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26113] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26113/stat : 26113 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485179194064 140485623199643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26114] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.13 cores=0,2,4,6
/proc/26103/task/26114/stat : 26114 (java) S 26100 26103 25641 0 -1 1077944384 9096 0 0 0 112 1 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485178140656 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26115] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.06 cores=0,2,4,6
/proc/26103/task/26115/stat : 26115 (java) S 26100 26103 25641 0 -1 1077944384 7567 0 0 0 105 1 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485177088112 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26116] ppid=26100 vsize=10748324 memory=1056 CPUtime=0.67 cores=0,2,4,6
/proc/26103/task/26116/stat : 26116 (java) S 26100 26103 25641 0 -1 1077944384 9238 0 0 0 65 2 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485176035568 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26117] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26117/stat : 26117 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485174983264 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26118] ppid=26100 vsize=10748324 memory=200368 CPUtime=0.64 cores=0,2,4,6
/proc/26103/task/26118/stat : 26118 (java) S 26100 26103 25641 0 -1 1077944384 1016 0 0 0 31 33 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485173930800 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26119] ppid=26100 vsize=10748324 memory=200368 CPUtime=2438.43 cores=0,2,4,6
/proc/26103/task/26119/stat : 26119 (java) R 26100 26103 25641 0 -1 4202560 15612 0 0 0 243838 5 0 0 20 0 16 0 414568202 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485089664784 140485248910046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
Current children cumulated CPU time: 2448.68 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 200368 KiB
[startup+2502.3 s]
/proc/loadavg: 1.74 1.82 1.84 3/229 26389
/proc/meminfo: memFree=28601124/32770624 swapFree=66999916/67108860
[pid=26103] ppid=26100 vsize=10748324 memory=200368 CPUtime=2508.82 cores=0,2,4,6
/proc/26103/stat : 26103 (java) S 26100 26103 25641 0 -1 1077944320 87506 0 0 0 250819 63 0 0 20 0 16 0 414568013 11006283776 50092 33554432000 4194304 4196468 140727588475488 140727588458032 140485623181047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
/proc/26103/statm: 2687081 50092 3381 1 0 2647217 0
[pid=26103/tid=26105] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.86 cores=0,2,4,6
/proc/26103/task/26105/stat : 26105 (java) S 26100 26103 25641 0 -1 1077944384 15303 0 0 0 180 6 0 0 20 0 16 0 414568013 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485627423920 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26106] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.12 cores=0,2,4,6
/proc/26103/task/26106/stat : 26106 (java) S 26100 26103 25641 0 -1 1077944384 4626 0 0 0 107 5 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485565184272 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26107] ppid=26100 vsize=10748324 memory=776 CPUtime=1.13 cores=0,2,4,6
/proc/26103/task/26107/stat : 26107 (java) S 26100 26103 25641 0 -1 1077944384 7585 0 0 0 109 4 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485564131728 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26108] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.12 cores=0,2,4,6
/proc/26103/task/26108/stat : 26108 (java) S 26100 26103 25641 0 -1 1077944384 4283 0 0 0 107 5 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485563079184 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26109] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.12 cores=0,2,4,6
/proc/26103/task/26109/stat : 26109 (java) S 26100 26103 25641 0 -1 1077944384 5556 0 0 0 107 5 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485226977936 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26110] ppid=26100 vsize=10748324 memory=200368 CPUtime=0.47 cores=0,2,4,6
/proc/26103/task/26110/stat : 26110 (java) S 26100 26103 25641 0 -1 1077944384 6022 0 0 0 42 5 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485182351856 140485623192194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26111] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26111/stat : 26111 (java) S 26100 26103 25641 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485181298144 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26112] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26112/stat : 26112 (java) S 26100 26103 25641 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485180245504 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26113] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26113/stat : 26113 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485179194064 140485623199643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26114] ppid=26100 vsize=10748324 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/26103/task/26114/stat : 26114 (java) S 26100 26103 25641 0 -1 1077944384 9098 0 0 0 112 1 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485178140656 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26115] ppid=26100 vsize=10748324 memory=2257 CPUtime=1.06 cores=0,2,4,6
/proc/26103/task/26115/stat : 26115 (java) S 26100 26103 25641 0 -1 1077944384 7569 0 0 0 105 1 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485177088112 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26116] ppid=26100 vsize=10748324 memory=200368 CPUtime=0.67 cores=0,2,4,6
/proc/26103/task/26116/stat : 26116 (java) S 26100 26103 25641 0 -1 1077944384 9240 0 0 0 65 2 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485176035568 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26117] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26117/stat : 26117 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485174983264 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26118] ppid=26100 vsize=10748324 memory=200368 CPUtime=0.66 cores=0,2,4,6
/proc/26103/task/26118/stat : 26118 (java) S 26100 26103 25641 0 -1 1077944384 1033 0 0 0 32 34 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485173930800 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26119] ppid=26100 vsize=10748324 memory=200368 CPUtime=2498.35 cores=0,2,4,6
/proc/26103/task/26119/stat : 26119 (java) R 26100 26103 25641 0 -1 4202560 15753 0 0 0 249830 5 0 0 20 0 16 0 414568202 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485089664912 140485248943047 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
Current children cumulated CPU time: 2508.82 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 200368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.5 s]
/proc/loadavg: 1.70 1.81 1.83 3/228 26467
/proc/meminfo: memFree=28767624/32770624 swapFree=66999916/67108860
[pid=26103] ppid=26100 vsize=10748324 memory=200368 CPUtime=2520.03 cores=0,2,4,6
/proc/26103/stat : 26103 (java) S 26100 26103 25641 0 -1 1077944320 87515 0 0 0 251940 63 0 0 20 0 16 0 414568013 11006283776 50092 33554432000 4194304 4196468 140727588475488 140727588458032 140485623181047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
/proc/26103/statm: 2687081 50092 3381 1 0 2647217 0
[pid=26103/tid=26105] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.86 cores=0,2,4,6
/proc/26103/task/26105/stat : 26105 (java) S 26100 26103 25641 0 -1 1077944384 15303 0 0 0 180 6 0 0 20 0 16 0 414568013 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485627423920 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26106] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.13 cores=0,2,4,6
/proc/26103/task/26106/stat : 26106 (java) S 26100 26103 25641 0 -1 1077944384 4626 0 0 0 108 5 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485565184272 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26107] ppid=26100 vsize=10748324 memory=48 CPUtime=1.13 cores=0,2,4,6
/proc/26103/task/26107/stat : 26107 (java) S 26100 26103 25641 0 -1 1077944384 7585 0 0 0 109 4 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485564131728 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26108] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.13 cores=0,2,4,6
/proc/26103/task/26108/stat : 26108 (java) S 26100 26103 25641 0 -1 1077944384 4283 0 0 0 108 5 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485563079184 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26109] ppid=26100 vsize=10748324 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/26103/task/26109/stat : 26109 (java) S 26100 26103 25641 0 -1 1077944384 5556 0 0 0 107 5 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485226977936 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26110] ppid=26100 vsize=10748324 memory=200368 CPUtime=0.48 cores=0,2,4,6
/proc/26103/task/26110/stat : 26110 (java) S 26100 26103 25641 0 -1 1077944384 6022 0 0 0 43 5 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485182351856 140485623192194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26111] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26111/stat : 26111 (java) S 26100 26103 25641 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485181298144 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26112] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26112/stat : 26112 (java) S 26100 26103 25641 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485180245504 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26113] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26113/stat : 26113 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485179194064 140485623199643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26114] ppid=26100 vsize=10748324 memory=164 CPUtime=1.13 cores=0,2,4,6
/proc/26103/task/26114/stat : 26114 (java) S 26100 26103 25641 0 -1 1077944384 9098 0 0 0 112 1 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485178140656 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26115] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.06 cores=0,2,4,6
/proc/26103/task/26115/stat : 26115 (java) S 26100 26103 25641 0 -1 1077944384 7569 0 0 0 105 1 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485177088112 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26116] ppid=26100 vsize=10748324 memory=200368 CPUtime=0.67 cores=0,2,4,6
/proc/26103/task/26116/stat : 26116 (java) S 26100 26103 25641 0 -1 1077944384 9240 0 0 0 65 2 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485176035568 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26117] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26117/stat : 26117 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485174983264 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26118] ppid=26100 vsize=10748324 memory=776 CPUtime=0.66 cores=0,2,4,6
/proc/26103/task/26118/stat : 26118 (java) S 26100 26103 25641 0 -1 1077944384 1033 0 0 0 32 34 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485173930800 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26119] ppid=26100 vsize=10748324 memory=200368 CPUtime=2509.53 cores=0,2,4,6
/proc/26103/task/26119/stat : 26119 (java) R 26100 26103 25641 0 -1 4202560 15762 0 0 0 250948 5 0 0 20 0 16 0 414568202 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485089664800 140485248943944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 200368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.51 s]
# the end of solver process 26103 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.41 s, system=0.638132 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.5 s]
/proc/loadavg: 1.70 1.81 1.83 3/228 26467
/proc/meminfo: memFree=28767624/32770624 swapFree=66999916/67108860
[pid=26103] ppid=26100 vsize=10748324 memory=200368 CPUtime=2520.03 cores=0,2,4,6
/proc/26103/stat : 26103 (java) S 26100 26103 25641 0 -1 1077944320 87515 0 0 0 251940 63 0 0 20 0 16 0 414568013 11006283776 50092 33554432000 4194304 4196468 140727588475488 140727588458032 140485623181047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
/proc/26103/statm: 2687081 50092 3381 1 0 2647217 0
[pid=26103/tid=26105] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.86 cores=0,2,4,6
/proc/26103/task/26105/stat : 26105 (java) S 26100 26103 25641 0 -1 1077944384 15303 0 0 0 180 6 0 0 20 0 16 0 414568013 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485627423920 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26106] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.13 cores=0,2,4,6
/proc/26103/task/26106/stat : 26106 (java) S 26100 26103 25641 0 -1 1077944384 4626 0 0 0 108 5 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485565184272 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26107] ppid=26100 vsize=10748324 memory=48 CPUtime=1.13 cores=0,2,4,6
/proc/26103/task/26107/stat : 26107 (java) S 26100 26103 25641 0 -1 1077944384 7585 0 0 0 109 4 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485564131728 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26108] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.13 cores=0,2,4,6
/proc/26103/task/26108/stat : 26108 (java) S 26100 26103 25641 0 -1 1077944384 4283 0 0 0 108 5 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485563079184 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26109] ppid=26100 vsize=10748324 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/26103/task/26109/stat : 26109 (java) S 26100 26103 25641 0 -1 1077944384 5556 0 0 0 107 5 0 0 20 0 16 0 414568014 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485226977936 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26110] ppid=26100 vsize=10748324 memory=200368 CPUtime=0.48 cores=0,2,4,6
/proc/26103/task/26110/stat : 26110 (java) S 26100 26103 25641 0 -1 1077944384 6022 0 0 0 43 5 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485182351856 140485623192194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26111] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26111/stat : 26111 (java) S 26100 26103 25641 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485181298144 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26112] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26112/stat : 26112 (java) S 26100 26103 25641 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 16 0 414568016 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485180245504 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26113] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26113/stat : 26113 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485179194064 140485623199643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26114] ppid=26100 vsize=10748324 memory=164 CPUtime=1.13 cores=0,2,4,6
/proc/26103/task/26114/stat : 26114 (java) S 26100 26103 25641 0 -1 1077944384 9098 0 0 0 112 1 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485178140656 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26115] ppid=26100 vsize=10748324 memory=200368 CPUtime=1.06 cores=0,2,4,6
/proc/26103/task/26115/stat : 26115 (java) S 26100 26103 25641 0 -1 1077944384 7569 0 0 0 105 1 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485177088112 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26116] ppid=26100 vsize=10748324 memory=200368 CPUtime=0.67 cores=0,2,4,6
/proc/26103/task/26116/stat : 26116 (java) S 26100 26103 25641 0 -1 1077944384 9240 0 0 0 65 2 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485176035568 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26117] ppid=26100 vsize=10748324 memory=200368 CPUtime=0 cores=0,2,4,6
/proc/26103/task/26117/stat : 26117 (java) S 26100 26103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485174983264 140485623191253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26118] ppid=26100 vsize=10748324 memory=776 CPUtime=0.66 cores=0,2,4,6
/proc/26103/task/26118/stat : 26118 (java) S 26100 26103 25641 0 -1 1077944384 1033 0 0 0 32 34 0 0 20 0 16 0 414568019 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485173930800 140485623192194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
[pid=26103/tid=26119] ppid=26100 vsize=10748324 memory=200368 CPUtime=2509.53 cores=0,2,4,6
/proc/26103/task/26119/stat : 26119 (java) R 26100 26103 25641 0 -1 4202560 15762 0 0 0 250948 5 0 0 20 0 16 0 414568202 11006283776 50092 33554432000 4194304 4196468 140727588475488 140485089664800 140485248943944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27308032 140727588484107 140727588484210 140727588484210 140727588487119 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 200368 KiB
Child status: 143
Real time (s): 2513.51
CPU time (s): 2520.05
CPU user time (s): 2519.41
CPU system time (s): 0.638132
CPU usage (%): 100.26
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 296476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.41
system time used= 0.638132
maximum resident set size= 296708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87783
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67614
involuntary context switches= 3657
# summary of solver processes directly reported to runsolver:
# pid: 26103
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.41
# total CPU system time (s): 0.638132
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9759 second user time and 22.8422 second system time
The end