2.39/1.88
2.39/1.88 AbsCon 2
2.39/1.90
2.89/2.02 Instance
2.89/2.02 name=instance-4390719-1568383033, framework=CSP
2.89/2.02
2.89/2.02 Loading variables...
2.89/2.05 Loading constraints...
3.77/2.32
3.77/2.32 Domains
3.77/2.32 nTypes=1, nValues=28750, sizes=[575#50]
3.77/2.32 Variables
3.77/2.32 count=50, degrees=[25#48,26#1,27#1]
3.77/2.32 Constraints
3.77/2.32 count=352, nSpecific=1, arities=[1#51,2#1,4#300]
3.77/2.32 distribution=[CtrIntension#351,LE#1]
3.77/2.32 nIntStructures=(326,shared:25)
3.77/2.32 wck=0.471, cpu=2.289, mem=71M438
3.77/2.32 Solver SolverBacktrack being built...
3.77/2.32
3.77/2.35
3.77/2.35 Solver
3.77/2.35 guaranteedGAC=false
3.77/2.35 wck=0.501, cpu=2.318, mem=82M81
3.77/2.37
3.77/2.37 Preprocessing
3.77/2.37 filters=52, revisions=(53,useless=2), ccks=29466, nACremovedValues=5266, nTotalRemovedValues=5266, inconcistency=false
3.77/2.37 wck=0.016, cpu=2.336, mem=84M723
3.77/2.37
7.51/5.61 num=0, depth=24..24, filters=522, revisions=(1565,useless=924), ccks=11737052, wck=3.256, mem=87M366
7.51/5.61 decisions=44, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
7.51/5.61
7.66/5.78 num=1, depth=2..2, filters=546, revisions=(1613,useless=949), ccks=12304489, wck=3.425, mem=90M8
7.66/5.78 decisions=68, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
7.66/5.78
8.07/6.18 num=2, depth=3..3, filters=572, revisions=(1717,useless=1026), ccks=13698322, wck=3.832, mem=90M8
8.07/6.18 decisions=95, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
8.07/6.18
9.48/7.59 num=3, depth=26..26, filters=1209, revisions=(4207,useless=2880), ccks=18595971, wck=5.237, mem=92M650
9.48/7.59 decisions=147, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
9.48/7.59
9.80/7.87 num=4, depth=4..4, filters=1240, revisions=(4347,useless=2990), ccks=19571468, wck=5.525, mem=95M293
9.80/7.87 decisions=179, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
9.80/7.87
10.70/8.75 num=5, depth=3..3, filters=1273, revisions=(4493,useless=3103), ccks=22575419, wck=6.405, mem=95M293
10.70/8.75 decisions=214, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
10.70/8.75
11.11/9.18 num=6, depth=5..5, filters=1329, revisions=(4691,useless=3245), ccks=24054959, wck=6.834, mem=95M293
11.11/9.18 decisions=253, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
11.11/9.18
11.51/9.53 num=7, depth=5..5, filters=1392, revisions=(4913,useless=3404), ccks=25241591, wck=7.175, mem=97M935
11.51/9.53 decisions=296, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
11.51/9.53
12.25/10.28 num=8, depth=18..18, filters=1599, revisions=(6282,useless=4565), ccks=27766981, wck=7.93, mem=100M578
12.25/10.28 decisions=356, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
12.25/10.28
13.28/11.22 num=9, depth=6..6, filters=1674, revisions=(6645,useless=4853), ccks=30986181, wck=8.868, mem=103M220
13.28/11.22 decisions=408, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
13.28/11.22
14.19/12.14 num=10, depth=5..5, filters=1752, revisions=(6970,useless=5100), ccks=34184768, wck=9.794, mem=103M220
14.19/12.14 decisions=463, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
14.19/12.14
15.60/13.52 num=11, depth=9..9, filters=1844, revisions=(7563,useless=5601), ccks=38875968, wck=11.168, mem=108M505
15.60/13.52 decisions=528, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
15.60/13.52
16.71/14.67 num=12, depth=8..8, filters=1912, revisions=(7971,useless=5941), ccks=42876995, wck=12.324, mem=111M147
16.71/14.67 decisions=598, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
16.71/14.67
27.62/25.50 num=13, depth=6..6, filters=2087, revisions=(9884,useless=7679), ccks=79957944, wck=23.155, mem=121M717
27.62/25.50 decisions=672, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
27.62/25.50
28.83/26.76 num=14, depth=9..9, filters=2243, revisions=(10639,useless=8278), ccks=84237139, wck=24.408, mem=124M360
28.83/26.76 decisions=755, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
28.83/26.76
51.33/49.24 num=15, depth=1..1, filters=2284, revisions=(12607,useless=10205), ccks=161285988, wck=46.889, mem=140M214
51.33/49.24 decisions=838, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
51.33/49.24
56.64/54.42 num=16, depth=6..6, filters=2469, revisions=(14886,useless=12299), ccks=179090392, wck=52.065, mem=58M626
56.64/54.42 decisions=934, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
56.64/54.42
57.84/55.69 num=17, depth=7..7, filters=2626, revisions=(15494,useless=12749), ccks=183526421, wck=53.34, mem=61M216
57.84/55.69 decisions=1041, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
57.84/55.69
58.44/56.28 num=18, depth=7..7, filters=2797, revisions=(16252,useless=13336), ccks=185589866, wck=53.932, mem=63M805
58.44/56.28 decisions=1158, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
58.44/56.28
59.14/56.93 num=19, depth=7..7, filters=2985, revisions=(17074,useless=13970), ccks=187846830, wck=54.584, mem=66M395
59.14/56.93 decisions=1287, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
59.14/56.93
59.76/57.52 num=20, depth=9..9, filters=3185, revisions=(18137,useless=14832), ccks=189907418, wck=55.175, mem=68M984
59.76/57.52 decisions=1430, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
59.76/57.52
61.56/59.39 num=21, depth=4..4, filters=3705, revisions=(19376,useless=15625), ccks=196174947, wck=57.036, mem=71M574
61.56/59.39 decisions=1582, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
61.56/59.39
63.16/60.94 num=22, depth=6..6, filters=3956, revisions=(20308,useless=16225), ccks=201578678, wck=58.594, mem=74M164
63.16/60.94 decisions=1750, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
63.16/60.94
65.76/63.53 num=23, depth=4..4, filters=4530, revisions=(22318,useless=17705), ccks=210574265, wck=61.177, mem=79M343
65.76/63.53 decisions=1932, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
65.76/63.53
66.16/63.95 num=24, depth=7..7, filters=4732, revisions=(23295,useless=18481), ccks=212025524, wck=61.6, mem=81M932
66.16/63.95 decisions=2135, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
66.16/63.95
126.79/124.55 num=25, depth=1..1, filters=4840, revisions=(28480,useless=23558), ccks=422009746, wck=122.202, mem=120M775
126.79/124.55 decisions=2352, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
126.79/124.55
127.40/125.18 num=26, depth=6..6, filters=5202, revisions=(29662,useless=24377), ccks=424181647, wck=122.826, mem=125M954
127.40/125.18 decisions=2596, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
127.40/125.18
127.89/125.69 num=27, depth=5..5, filters=5559, revisions=(30691,useless=25048), ccks=425971950, wck=123.339, mem=131M133
127.89/125.69 decisions=2863, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
127.89/125.69
128.49/126.29 num=28, depth=6..6, filters=5995, revisions=(32094,useless=26016), ccks=428070467, wck=123.941, mem=136M313
128.49/126.29 decisions=3157, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
128.49/126.29
129.69/127.43 num=29, depth=6..6, filters=6405, revisions=(33665,useless=27177), ccks=432015556, wck=125.076, mem=138M902
129.69/127.43 decisions=3479, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
129.69/127.43
131.51/129.21 num=30, depth=12..12, filters=7160, revisions=(37081,useless=29837), ccks=438123253, wck=126.857, mem=149M260
131.51/129.21 decisions=3839, wrong=1806, backtracks=0, failedAssignments=1806, nogoods=1806
131.51/129.21
133.11/130.86 num=31, depth=10..12, filters=7742, revisions=(40065,useless=32239), ccks=443820492, wck=128.511, mem=157M29
133.11/130.86 decisions=4233, wrong=1997, backtracks=0, failedAssignments=1997, nogoods=1997
133.11/130.86
145.81/143.52 num=32, depth=4..16, filters=8662, revisions=(45132,useless=36383), ccks=487292840, wck=141.17, mem=177M745
145.81/143.52 decisions=4673, wrong=2209, backtracks=1, failedAssignments=2208, nogoods=2166
145.81/143.52
147.55/145.22 num=33, depth=10..12, filters=9638, revisions=(49080,useless=39355), ccks=493079174, wck=142.871, mem=60M203
147.55/145.22 decisions=5149, wrong=2441, backtracks=1, failedAssignments=2440, nogoods=2398
147.55/145.22
245.59/243.24 num=34, depth=5..7, filters=11921, revisions=(69379,useless=57370), ccks=828700727, wck=240.888, mem=161M556
245.59/243.24 decisions=5795, wrong=2761, backtracks=66, failedAssignments=2695, nogoods=2408
245.59/243.24
267.77/265.31 num=35, depth=4..11, filters=12765, revisions=(75237,useless=62383), ccks=903793218, wck=262.958, mem=57M714
267.77/265.31 decisions=6368, wrong=3042, backtracks=66, failedAssignments=2976, nogoods=2689
267.77/265.31
268.37/265.96 num=36, depth=7..19, filters=13797, revisions=(79507,useless=65621), ccks=905990953, wck=263.613, mem=68M171
268.37/265.96 decisions=7005, wrong=3351, backtracks=66, failedAssignments=3285, nogoods=2998
268.37/265.96
270.59/268.13 num=37, depth=10..21, filters=14997, revisions=(86425,useless=71339), ccks=913264861, wck=265.776, mem=89M83
270.59/268.13 decisions=7706, wrong=3691, backtracks=66, failedAssignments=3625, nogoods=3338
270.59/268.13
271.78/269.34 num=38, depth=11..17, filters=16176, revisions=(93682,useless=77417), ccks=917312526, wck=266.987, mem=109M996
271.78/269.34 decisions=8471, wrong=4065, backtracks=66, failedAssignments=3999, nogoods=3712
271.78/269.34
320.12/317.60 num=39, depth=5..13, filters=19382, revisions=(111964,useless=92636), ccks=1084508379, wck=315.255, mem=55M169
320.12/317.60 decisions=9310, wrong=4478, backtracks=68, failedAssignments=4410, nogoods=3924
320.12/317.60
366.24/363.70 num=40, depth=5..11, filters=22176, revisions=(130289,useless=108312), ccks=1243308487, wck=361.352, mem=135M221
366.24/363.70 decisions=10229, wrong=4932, backtracks=70, failedAssignments=4862, nogoods=4165
366.24/363.70
435.03/432.32 num=41, depth=3..8, filters=23894, revisions=(145996,useless=122279), ccks=1479242237, wck=429.966, mem=83M210
435.03/432.32 decisions=11233, wrong=5431, backtracks=93, failedAssignments=5359, nogoods=4313
435.03/432.32
437.27/434.55 num=42, depth=10..29, filters=25937, revisions=(160609,useless=134850), ccks=1486521855, wck=432.2, mem=126M508
437.27/434.55 decisions=12356, wrong=5978, backtracks=93, failedAssignments=5906, nogoods=4860
437.27/434.55
441.47/438.77 num=43, depth=8..13, filters=27523, revisions=(169104,useless=141759), ccks=1500812106, wck=436.422, mem=151M977
441.47/438.77 decisions=13573, wrong=6580, backtracks=93, failedAssignments=6508, nogoods=5462
441.47/438.77
490.11/487.36 num=44, depth=2..15, filters=29302, revisions=(182803,useless=153679), ccks=1667788739, wck=485.014, mem=87M896
490.11/487.36 decisions=14912, wrong=7242, backtracks=93, failedAssignments=7170, nogoods=6124
490.11/487.36
492.41/489.65 num=45, depth=7..30, filters=31616, revisions=(197397,useless=165958), ccks=1675217354, wck=487.304, mem=128M43
492.41/489.65 decisions=16398, wrong=7970, backtracks=93, failedAssignments=7898, nogoods=6852
492.41/489.65
494.78/491.95 num=46, depth=10..19, filters=34374, revisions=(215758,useless=181560), ccks=1682641572, wck=489.598, mem=52M927
494.78/491.95 decisions=18019, wrong=8771, backtracks=93, failedAssignments=8699, nogoods=7653
494.78/491.95
499.49/496.67 num=47, depth=9..28, filters=38469, revisions=(243054,useless=204748), ccks=1698210326, wck=494.322, mem=134M434
499.49/496.67 decisions=19833, wrong=9665, backtracks=106, failedAssignments=9580, nogoods=8088
499.49/496.67
503.32/500.44 num=48, depth=8..32, filters=42632, revisions=(269773,useless=227304), ccks=1710255996, wck=498.092, mem=94M282
503.32/500.44 decisions=21805, wrong=10635, backtracks=106, failedAssignments=10550, nogoods=9058
503.32/500.44
513.08/510.15 num=49, depth=7..23, filters=46612, revisions=(294835,useless=248384), ccks=1742898764, wck=507.802, mem=53M93
513.08/510.15 decisions=23962, wrong=11702, backtracks=106, failedAssignments=11617, nogoods=10125
513.08/510.15
515.47/512.52 num=50, depth=12..24, filters=50712, revisions=(324473,useless=273920), ccks=1750184861, wck=510.168, mem=129M534
515.47/512.52 decisions=26332, wrong=12875, backtracks=106, failedAssignments=12790, nogoods=11298
515.47/512.52
519.41/516.43 num=51, depth=11..33, filters=55901, revisions=(364869,useless=309125), ccks=1762271951, wck=514.082, mem=128M849
519.41/516.43 decisions=28947, wrong=14166, backtracks=106, failedAssignments=14081, nogoods=12589
519.41/516.43
523.05/520.09 num=52, depth=10..34, filters=60841, revisions=(407193,useless=346510), ccks=1773549528, wck=517.742, mem=132M645
523.05/520.09 decisions=31821, wrong=15586, backtracks=106, failedAssignments=15501, nogoods=14009
523.05/520.09
542.87/539.86 num=53, depth=6..37, filters=66983, revisions=(453270,useless=386445), ccks=1840802605, wck=537.505, mem=154M777
542.87/539.86 decisions=34984, wrong=17149, backtracks=107, failedAssignments=17063, nogoods=15525
542.87/539.86
547.65/544.50 num=54, depth=6..31, filters=72878, revisions=(499933,useless=427212), ccks=1855188503, wck=542.148, mem=58M329
547.65/544.50 decisions=38451, wrong=18867, backtracks=107, failedAssignments=18781, nogoods=17243
547.65/544.50
552.59/549.45 num=55, depth=4..26, filters=79925, revisions=(541702,useless=461935), ccks=1870867956, wck=547.096, mem=60M701
552.59/549.45 decisions=42257, wrong=20757, backtracks=107, failedAssignments=20671, nogoods=19133
552.59/549.45
557.46/554.28 num=56, depth=4..39, filters=87540, revisions=(594779,useless=507398), ccks=1885764779, wck=551.934, mem=96M94
557.46/554.28 decisions=46454, wrong=22836, backtracks=107, failedAssignments=22750, nogoods=21212
557.46/554.28
563.97/560.76 num=57, depth=7..33, filters=96145, revisions=(660020,useless=564034), ccks=1906072967, wck=558.414, mem=157M278
563.97/560.76 decisions=51061, wrong=25123, backtracks=107, failedAssignments=25037, nogoods=23499
563.97/560.76
570.61/567.33 num=58, depth=9..41, filters=105974, revisions=(753410,useless=647595), ccks=1925912784, wck=564.979, mem=73M653
570.61/567.33 decisions=56133, wrong=27639, backtracks=108, failedAssignments=27553, nogoods=25649
570.61/567.33
576.94/573.62 num=59, depth=6..34, filters=116254, revisions=(850413,useless=734318), ccks=1944861531, wck=571.272, mem=87M399
576.94/573.62 decisions=61706, wrong=30410, backtracks=111, failedAssignments=30321, nogoods=27417
576.94/573.62
605.98/602.60 num=60, depth=6..29, filters=127337, revisions=(945781,useless=818532), ccks=2043912165, wck=600.248, mem=55M942
605.98/602.60 decisions=67867, wrong=33478, backtracks=136, failedAssignments=33365, nogoods=28778
605.98/602.60
613.10/609.70 num=61, depth=8..29, filters=139104, revisions=(1043967,useless=904951), ccks=2065869154, wck=607.347, mem=89M921
613.10/609.70 decisions=74599, wrong=36832, backtracks=141, failedAssignments=36714, nogoods=30515
613.10/609.70
623.23/619.84 num=62, depth=10..43, filters=151893, revisions=(1192656,useless=1040850), ccks=2096230156, wck=617.489, mem=63M436
623.23/619.84 decisions=82016, wrong=40522, backtracks=147, failedAssignments=40398, nogoods=32906
623.23/619.84
629.65/626.29 num=63, depth=6..28, filters=164306, revisions=(1306477,useless=1142257), ccks=2116139705, wck=623.942, mem=70M688
629.65/626.29 decisions=90151, wrong=44577, backtracks=167, failedAssignments=44450, nogoods=35246
629.65/626.29
642.88/639.46 num=64, depth=11..26, filters=181387, revisions=(1444733,useless=1263431), ccks=2157638171, wck=637.11, mem=82M343
642.88/639.46 decisions=99089, wrong=49034, backtracks=174, failedAssignments=48907, nogoods=37008
642.88/639.46
657.55/654.04 num=65, depth=12..30, filters=199411, revisions=(1608609,useless=1409282), ccks=2202562448, wck=651.689, mem=64M965
657.55/654.04 decisions=109049, wrong=54000, backtracks=240, failedAssignments=53810, nogoods=39653
657.55/654.04
681.97/678.41 num=66, depth=5..24, filters=216278, revisions=(1752823,useless=1536565), ccks=2282105169, wck=676.056, mem=105M197
681.97/678.41 decisions=119862, wrong=59396, backtracks=361, failedAssignments=59204, nogoods=41492
681.97/678.41
1794.84/1791.00 num=67, depth=7..13, filters=250093, revisions=(2069625,useless=1819212), ccks=6009652012, wck=1788.65, mem=119M269
1794.84/1791.00 decisions=132224, wrong=65572, backtracks=607, failedAssignments=65137, nogoods=41612
1794.84/1791.00
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 (12784 MiB free)
memory of node 1: 16384 MiB (15213 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390719-1568383033/watcher-4390719-1568383033 -o /tmp/evaluation-result-4390719-1568383033/solver-4390719-1568383033 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568380474-13012 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390719-1568383033.xml -cm
running on 4 cores: 1,3,5,7
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=13530, runsolver pid=13527
Current StackSize limit: 8192 KiB
[startup+0.103703 s]*
/proc/loadavg: 1.99 2.06 1.95 5/232 13545
/proc/meminfo: memFree=28653192/32770624 swapFree=66916484/67108860
[pid=13530] ppid=13527 vsize=10659884 memory=29512 CPUtime=0.15 cores=1,3,5,7
/proc/13530/stat : 13530 (java) S 13527 13530 12980 0 -1 1077944320 5907 0 0 0 14 1 0 0 20 0 15 0 414553796 10915721216 7378 33554432000 4194304 4196468 140735127671264 140735127653808 140594822954743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
/proc/13530/statm: 2664971 7378 2909 1 0 2627468 0
[pid=13530/tid=13532] ppid=13527 vsize=10659884 memory=-8125511277465605246 CPUtime=0.09 cores=1,3,5,7
/proc/13530/task/13532/stat : 13532 (java) S 13527 13530 12980 0 -1 1077944384 3246 0 0 0 9 0 0 0 20 0 15 0 414553797 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594827181936 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13533] ppid=13527 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13533/stat : 13533 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594749029264 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13534] ppid=13527 vsize=10659884 memory=140021502670464 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13534/stat : 13534 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594429029136 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13535] ppid=13527 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13535/stat : 13535 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594427976848 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13536] ppid=13527 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13536/stat : 13536 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594426924048 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13537] ppid=13527 vsize=10659884 memory=140021502670464 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13537/stat : 13537 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553799 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594314991728 140594822965890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13538] ppid=13527 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13538/stat : 13538 (java) S 13527 13530 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414553799 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594313937696 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13539] ppid=13527 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13539/stat : 13539 (java) S 13527 13530 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414553799 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594312885360 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13540] ppid=13527 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13540/stat : 13540 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414553802 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594311833680 140594822973339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13541] ppid=13527 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13541/stat : 13541 (java) R 13527 13530 12980 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 414553802 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594310781552 140594822965890 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13542] ppid=13527 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13542/stat : 13542 (java) R 13527 13530 12980 0 -1 4202560 325 0 0 0 0 0 0 0 20 0 15 0 414553802 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594309709768 140594822968592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13543] ppid=13527 vsize=10659884 memory=140021502670464 CPUtime=0.03 cores=1,3,5,7
/proc/13530/task/13543/stat : 13543 (java) S 13527 13530 12980 0 -1 1077944384 572 0 0 0 3 0 0 0 20 0 15 0 414553802 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594308676464 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13544] ppid=13527 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13544/stat : 13544 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414553802 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594307623904 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13545] ppid=13527 vsize=10659884 memory=140021502670464 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13545/stat : 13545 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553802 10915721216 7378 33554432000 4194304 4196468 140735127671264 140594306570672 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29512 KiB
[startup+0.210859 s]*
/proc/loadavg: 1.99 2.06 1.95 3/232 13545
/proc/meminfo: memFree=28643108/32770624 swapFree=66916484/67108860
[pid=13530] ppid=13527 vsize=10659884 memory=36920 CPUtime=0.33 cores=1,3,5,7
/proc/13530/stat : 13530 (java) S 13527 13530 12980 0 -1 1077944320 8962 0 0 0 30 3 0 0 20 0 15 0 414553796 10915721216 9230 33554432000 4194304 4196468 140735127671264 140735127653808 140594822954743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
/proc/13530/statm: 2664971 9230 2988 1 0 2627468 0
[pid=13530/tid=13532] ppid=13527 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/13530/task/13532/stat : 13532 (java) R 13527 13530 12980 0 -1 4202560 6079 0 0 0 19 1 0 0 20 0 15 0 414553797 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594827181104 140594822976669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13533] ppid=13527 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13533/stat : 13533 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594749029264 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13534] ppid=13527 vsize=10659884 memory=140021505801946 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13534/stat : 13534 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594429029136 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13535] ppid=13527 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13535/stat : 13535 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594427976848 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13536] ppid=13527 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13536/stat : 13536 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594426924048 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13537] ppid=13527 vsize=10659884 memory=140021502670464 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13537/stat : 13537 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553799 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594314991728 140594822965890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13538] ppid=13527 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13538/stat : 13538 (java) S 13527 13530 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414553799 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594313937696 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13539] ppid=13527 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13539/stat : 13539 (java) S 13527 13530 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414553799 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594312885360 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13540] ppid=13527 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13540/stat : 13540 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414553802 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594311833680 140594822973339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13541] ppid=13527 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13530/task/13541/stat : 13541 (java) S 13527 13530 12980 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 15 0 414553802 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594310781552 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13542] ppid=13527 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13530/task/13542/stat : 13542 (java) S 13527 13530 12980 0 -1 1077944384 417 0 0 0 3 0 0 0 20 0 15 0 414553802 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594309728752 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13543] ppid=13527 vsize=10659884 memory=140021502670464 CPUtime=0.05 cores=1,3,5,7
/proc/13530/task/13543/stat : 13543 (java) S 13527 13530 12980 0 -1 1077944384 603 0 0 0 5 0 0 0 20 0 15 0 414553802 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594308676464 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13544] ppid=13527 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13544/stat : 13544 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414553802 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594307623904 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13545] ppid=13527 vsize=10659884 memory=140021502670464 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13545/stat : 13545 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553802 10915721216 9230 33554432000 4194304 4196468 140735127671264 140594306570672 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 36920 KiB
[startup+0.314793 s]*
/proc/loadavg: 1.99 2.06 1.95 4/232 13546
/proc/meminfo: memFree=28640912/32770624 swapFree=66916484/67108860
[pid=13530] ppid=13527 vsize=10659884 memory=39472 CPUtime=0.48 cores=1,3,5,7
/proc/13530/stat : 13530 (java) S 13527 13530 12980 0 -1 1077944320 9199 0 0 0 45 3 0 0 20 0 15 0 414553796 10915721216 9868 33554432000 4194304 4196468 140735127671264 140735127653808 140594822954743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
/proc/13530/statm: 2664971 9868 3000 1 0 2627468 0
[pid=13530/tid=13532] ppid=13527 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/13530/task/13532/stat : 13532 (java) R 13527 13530 12980 0 -1 4202560 6247 0 0 0 28 2 0 0 20 0 15 0 414553797 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594827193728 140594807035230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13533] ppid=13527 vsize=10659884 memory=4294980864 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13533/stat : 13533 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594749029264 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13534] ppid=13527 vsize=10659884 memory=140021505799539 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13534/stat : 13534 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594429029136 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13535] ppid=13527 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13535/stat : 13535 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594427976848 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13536] ppid=13527 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13536/stat : 13536 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553797 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594426924048 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13537] ppid=13527 vsize=10659884 memory=140021502670464 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13537/stat : 13537 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553799 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594314991728 140594822965890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13538] ppid=13527 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13538/stat : 13538 (java) S 13527 13530 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414553799 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594313937696 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13539] ppid=13527 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13539/stat : 13539 (java) S 13527 13530 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414553799 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594312885360 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13540] ppid=13527 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13540/stat : 13540 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414553802 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594311833680 140594822973339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13541] ppid=13527 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13530/task/13541/stat : 13541 (java) S 13527 13530 12980 0 -1 1077944384 511 0 0 0 3 0 0 0 20 0 15 0 414553802 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594310781552 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13542] ppid=13527 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/13530/task/13542/stat : 13542 (java) S 13527 13530 12980 0 -1 1077944384 457 0 0 0 4 0 0 0 20 0 15 0 414553802 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594309728752 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13543] ppid=13527 vsize=10659884 memory=140021502670464 CPUtime=0.08 cores=1,3,5,7
/proc/13530/task/13543/stat : 13543 (java) R 13527 13530 12980 0 -1 4202560 627 0 0 0 8 0 0 0 20 0 15 0 414553802 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594308676464 140594807035230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13544] ppid=13527 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13544/stat : 13544 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414553802 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594307623904 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13545] ppid=13527 vsize=10659884 memory=140021502670464 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13545/stat : 13545 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553802 10915721216 9868 33554432000 4194304 4196468 140735127671264 140594306570672 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39472 KiB
[startup+0.700741 s]
/proc/loadavg: 1.99 2.06 1.95 3/232 13546
/proc/meminfo: memFree=28631520/32770624 swapFree=66916484/67108860
[pid=13530] ppid=13527 vsize=10661932 memory=62224 CPUtime=1.08 cores=1,3,5,7
/proc/13530/stat : 13530 (java) S 13527 13530 12980 0 -1 1077944320 12564 0 0 0 103 5 0 0 20 0 15 0 414553796 10917818368 15556 33554432000 4194304 4196468 140735127671264 140735127653808 140594822954743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
/proc/13530/statm: 2665483 15556 3072 1 0 2627980 0
[pid=13530/tid=13532] ppid=13527 vsize=10661932 memory=198162341972032 CPUtime=0.68 cores=1,3,5,7
/proc/13530/task/13532/stat : 13532 (java) R 13527 13530 12980 0 -1 4202560 8777 0 0 0 65 3 0 0 20 0 15 0 414553797 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594827177824 140594822968647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13533] ppid=13527 vsize=10661932 memory=3090382 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13533/stat : 13533 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553797 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594749029264 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13534] ppid=13527 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13534/stat : 13534 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553797 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594429029136 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13535] ppid=13527 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13535/stat : 13535 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553797 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594427976848 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13536] ppid=13527 vsize=10661932 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13536/stat : 13536 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553797 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594426924048 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13537] ppid=13527 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13537/stat : 13537 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553799 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594314991728 140594822965890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13538] ppid=13527 vsize=10661932 memory=-3535359994705172060 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13538/stat : 13538 (java) S 13527 13530 12980 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414553799 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594313937696 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13539] ppid=13527 vsize=10661932 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13539/stat : 13539 (java) S 13527 13530 12980 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414553799 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594312885360 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13540] ppid=13527 vsize=10661932 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13540/stat : 13540 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414553802 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594311833680 140594822973339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13541] ppid=13527 vsize=10661932 memory=6944652177228980320 CPUtime=0.09 cores=1,3,5,7
/proc/13530/task/13541/stat : 13541 (java) S 13527 13530 12980 0 -1 1077944384 713 0 0 0 8 1 0 0 20 0 15 0 414553802 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594310781552 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13542] ppid=13527 vsize=10661932 memory=6944656592387989600 CPUtime=0.11 cores=1,3,5,7
/proc/13530/task/13542/stat : 13542 (java) R 13527 13530 12980 0 -1 4202560 741 0 0 0 11 0 0 0 20 0 15 0 414553802 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594309728752 140594804476838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13543] ppid=13527 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/13530/task/13543/stat : 13543 (java) S 13527 13530 12980 0 -1 1077944384 973 0 0 0 18 0 0 0 20 0 15 0 414553802 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594308676464 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13544] ppid=13527 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13544/stat : 13544 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414553802 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594307623904 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13545] ppid=13527 vsize=10661932 memory=20052 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13545/stat : 13545 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553802 10917818368 15556 33554432000 4194304 4196468 140735127671264 140594306570672 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62224 KiB
[startup+1.50073 s]
/proc/loadavg: 1.91 2.05 1.95 3/232 13546
/proc/meminfo: memFree=28615036/32770624 swapFree=66916484/67108860
[pid=13530] ppid=13527 vsize=10663980 memory=74712 CPUtime=1.98 cores=1,3,5,7
/proc/13530/stat : 13530 (java) S 13527 13530 12980 0 -1 1077944320 18077 0 0 0 192 6 0 0 20 0 15 0 414553796 10919915520 18678 33554432000 4194304 4196468 140735127671264 140735127653808 140594822954743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
/proc/13530/statm: 2665995 18678 3094 1 0 2628492 0
[pid=13530/tid=13532] ppid=13527 vsize=10663980 memory=13796 CPUtime=1.48 cores=1,3,5,7
/proc/13530/task/13532/stat : 13532 (java) R 13527 13530 12980 0 -1 4202560 12955 0 0 0 144 4 0 0 20 0 15 0 414553797 10919915520 18678 33554432000 4194304 4196468 140735127671264 140594827180624 140594807035230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13533] ppid=13527 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13533/stat : 13533 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553797 10919915520 18678 33554432000 4194304 4196468 140735127671264 140594749029264 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13534] ppid=13527 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13534/stat : 13534 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553797 10919915520 18678 33554432000 4194304 4196468 140735127671264 140594429029136 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13535] ppid=13527 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13535/stat : 13535 (java) S 13527 13530 12980 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414553797 10919915520 18678 33554432000 4194304 4196468 140735127671264 140594427976848 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13536] ppid=13527 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13536/stat : 13536 (java) S 13527 13530 12980 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414553797 10919915520 18678 33554432000 4194304 4196468 140735127671264 140594426924048 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13537] ppid=13527 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13537/stat : 13537 (java) S 13527 13530 12980 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 414553799 10919915520 18678 33554432000 4194304 4196468 140735127671264 140594314991728 140594822965890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
################
# More data... #
################
/proc/13530/task/13536/stat : 13536 (java) S 13527 13530 12980 0 -1 1077944384 4435 0 0 0 36 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594426924048 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13537] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.12 cores=1,3,5,7
/proc/13530/task/13537/stat : 13537 (java) S 13527 13530 12980 0 -1 1077944384 6804 0 0 0 9 3 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594314991728 140594822965890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13538] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13538/stat : 13538 (java) S 13527 13530 12980 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594313937760 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13539] ppid=13527 vsize=10748324 memory=207668 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13539/stat : 13539 (java) S 13527 13530 12980 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594312885376 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13540] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13540/stat : 13540 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594311833680 140594822973339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13541] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.93 cores=1,3,5,7
/proc/13530/task/13541/stat : 13541 (java) S 13527 13530 12980 0 -1 1077944384 9626 0 0 0 90 3 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594310781552 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13542] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.98 cores=1,3,5,7
/proc/13530/task/13542/stat : 13542 (java) S 13527 13530 12980 0 -1 1077944384 10790 0 0 0 97 1 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594309728752 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13543] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.64 cores=1,3,5,7
/proc/13530/task/13543/stat : 13543 (java) S 13527 13530 12980 0 -1 1077944384 11822 0 0 0 62 2 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594308676464 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13544] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13544/stat : 13544 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594307623904 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13545] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.47 cores=1,3,5,7
/proc/13530/task/13545/stat : 13545 (java) S 13527 13530 12980 0 -1 1077944384 1277 0 0 0 19 28 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594306570672 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13547] ppid=13527 vsize=10748324 memory=207152 CPUtime=2439.79 cores=1,3,5,7
/proc/13530/task/13547/stat : 13547 (java) R 13527 13530 12980 0 -1 4202560 18169 0 0 0 243976 3 0 0 20 0 16 0 414553984 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594289503088 140594435055444 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
Current children cumulated CPU time: 2446.46 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 207152 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.95 1.87 3/234 13879
/proc/meminfo: memFree=29690128/32770624 swapFree=66916500/67108860
[pid=13530] ppid=13527 vsize=10748324 memory=207152 CPUtime=2506.48 cores=1,3,5,7
/proc/13530/stat : 13530 (java) S 13527 13530 12980 0 -1 1077944320 98136 0 0 0 250595 53 0 0 20 0 16 0 414553796 11006283776 51788 33554432000 4194304 4196468 140735127671264 140735127653808 140594822954743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
/proc/13530/statm: 2687081 51788 3372 1 0 2647217 0
[pid=13530/tid=13532] ppid=13527 vsize=10748324 memory=207152 CPUtime=1.86 cores=1,3,5,7
/proc/13530/task/13532/stat : 13532 (java) S 13527 13530 12980 0 -1 1077944384 15204 0 0 0 181 5 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594827197616 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13533] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.4 cores=1,3,5,7
/proc/13530/task/13533/stat : 13533 (java) S 13527 13530 12980 0 -1 1077944384 6276 0 0 0 37 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594749029264 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13534] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.39 cores=1,3,5,7
/proc/13530/task/13534/stat : 13534 (java) S 13527 13530 12980 0 -1 1077944384 7251 0 0 0 36 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594429029136 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13535] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.4 cores=1,3,5,7
/proc/13530/task/13535/stat : 13535 (java) S 13527 13530 12980 0 -1 1077944384 4993 0 0 0 37 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594427976848 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13536] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.4 cores=1,3,5,7
/proc/13530/task/13536/stat : 13536 (java) S 13527 13530 12980 0 -1 1077944384 4435 0 0 0 37 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594426924048 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13537] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.12 cores=1,3,5,7
/proc/13530/task/13537/stat : 13537 (java) S 13527 13530 12980 0 -1 1077944384 6806 0 0 0 9 3 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594314991728 140594822965890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13538] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13538/stat : 13538 (java) S 13527 13530 12980 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594313937760 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13539] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13539/stat : 13539 (java) S 13527 13530 12980 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594312885376 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13540] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13540/stat : 13540 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594311833680 140594822973339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13541] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.93 cores=1,3,5,7
/proc/13530/task/13541/stat : 13541 (java) S 13527 13530 12980 0 -1 1077944384 9626 0 0 0 90 3 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594310781552 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13542] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.98 cores=1,3,5,7
/proc/13530/task/13542/stat : 13542 (java) S 13527 13530 12980 0 -1 1077944384 10790 0 0 0 97 1 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594309728752 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13543] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.64 cores=1,3,5,7
/proc/13530/task/13543/stat : 13543 (java) S 13527 13530 12980 0 -1 1077944384 11822 0 0 0 62 2 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594308676464 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13544] ppid=13527 vsize=10748324 memory=3628 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13544/stat : 13544 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594307623904 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13545] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.47 cores=1,3,5,7
/proc/13530/task/13545/stat : 13545 (java) S 13527 13530 12980 0 -1 1077944384 1281 0 0 0 19 28 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594306570672 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13547] ppid=13527 vsize=10748324 memory=5964 CPUtime=2499.78 cores=1,3,5,7
/proc/13530/task/13547/stat : 13547 (java) R 13527 13530 12980 0 -1 4202560 18214 0 0 0 249975 3 0 0 20 0 16 0 414553984 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594289503088 140594435056327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
Current children cumulated CPU time: 2506.48 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 207152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.9 s]
/proc/loadavg: 1.92 1.94 1.87 3/234 13880
/proc/meminfo: memFree=29690340/32770624 swapFree=66916500/67108860
[pid=13530] ppid=13527 vsize=10748324 memory=207152 CPUtime=2520.08 cores=1,3,5,7
/proc/13530/stat : 13530 (java) S 13527 13530 12980 0 -1 1077944320 98161 0 0 0 251955 53 0 0 20 0 16 0 414553796 11006283776 51788 33554432000 4194304 4196468 140735127671264 140735127653808 140594822954743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
/proc/13530/statm: 2687081 51788 3372 1 0 2647217 0
[pid=13530/tid=13532] ppid=13527 vsize=10748324 memory=207152 CPUtime=1.86 cores=1,3,5,7
/proc/13530/task/13532/stat : 13532 (java) S 13527 13530 12980 0 -1 1077944384 15204 0 0 0 181 5 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594827197616 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13533] ppid=13527 vsize=10748324 memory=1052 CPUtime=0.4 cores=1,3,5,7
/proc/13530/task/13533/stat : 13533 (java) S 13527 13530 12980 0 -1 1077944384 6276 0 0 0 37 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594749029264 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13534] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.4 cores=1,3,5,7
/proc/13530/task/13534/stat : 13534 (java) S 13527 13530 12980 0 -1 1077944384 7251 0 0 0 37 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594429029136 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13535] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.4 cores=1,3,5,7
/proc/13530/task/13535/stat : 13535 (java) S 13527 13530 12980 0 -1 1077944384 4999 0 0 0 37 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594427976848 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13536] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.4 cores=1,3,5,7
/proc/13530/task/13536/stat : 13536 (java) S 13527 13530 12980 0 -1 1077944384 4435 0 0 0 37 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594426924048 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13537] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.12 cores=1,3,5,7
/proc/13530/task/13537/stat : 13537 (java) S 13527 13530 12980 0 -1 1077944384 6810 0 0 0 9 3 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594314991728 140594822965890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13538] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13538/stat : 13538 (java) S 13527 13530 12980 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594313937760 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13539] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13539/stat : 13539 (java) S 13527 13530 12980 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594312885376 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13540] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13540/stat : 13540 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594311833680 140594822973339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13541] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.93 cores=1,3,5,7
/proc/13530/task/13541/stat : 13541 (java) S 13527 13530 12980 0 -1 1077944384 9626 0 0 0 90 3 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594310781552 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13542] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.98 cores=1,3,5,7
/proc/13530/task/13542/stat : 13542 (java) S 13527 13530 12980 0 -1 1077944384 10790 0 0 0 97 1 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594309728752 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13543] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.64 cores=1,3,5,7
/proc/13530/task/13543/stat : 13543 (java) S 13527 13530 12980 0 -1 1077944384 11822 0 0 0 62 2 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594308676464 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13544] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13544/stat : 13544 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594307623904 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13545] ppid=13527 vsize=10748324 memory=2116 CPUtime=0.48 cores=1,3,5,7
/proc/13530/task/13545/stat : 13545 (java) S 13527 13530 12980 0 -1 1077944384 1283 0 0 0 19 29 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594306570672 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13547] ppid=13527 vsize=10748324 memory=207152 CPUtime=2513.38 cores=1,3,5,7
/proc/13530/task/13547/stat : 13547 (java) R 13527 13530 12980 0 -1 4202560 18227 0 0 0 251335 3 0 0 20 0 16 0 414553984 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594289503088 140594435055398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 207152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.91 s]
# the end of solver process 13530 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.57 s, system=0.541046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.9 s]
/proc/loadavg: 1.92 1.94 1.87 3/234 13880
/proc/meminfo: memFree=29690340/32770624 swapFree=66916500/67108860
[pid=13530] ppid=13527 vsize=10748324 memory=207152 CPUtime=2520.08 cores=1,3,5,7
/proc/13530/stat : 13530 (java) S 13527 13530 12980 0 -1 1077944320 98161 0 0 0 251955 53 0 0 20 0 16 0 414553796 11006283776 51788 33554432000 4194304 4196468 140735127671264 140735127653808 140594822954743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
/proc/13530/statm: 2687081 51788 3372 1 0 2647217 0
[pid=13530/tid=13532] ppid=13527 vsize=10748324 memory=207152 CPUtime=1.86 cores=1,3,5,7
/proc/13530/task/13532/stat : 13532 (java) S 13527 13530 12980 0 -1 1077944384 15204 0 0 0 181 5 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594827197616 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13533] ppid=13527 vsize=10748324 memory=1052 CPUtime=0.4 cores=1,3,5,7
/proc/13530/task/13533/stat : 13533 (java) S 13527 13530 12980 0 -1 1077944384 6276 0 0 0 37 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594749029264 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13534] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.4 cores=1,3,5,7
/proc/13530/task/13534/stat : 13534 (java) S 13527 13530 12980 0 -1 1077944384 7251 0 0 0 37 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594429029136 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13535] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.4 cores=1,3,5,7
/proc/13530/task/13535/stat : 13535 (java) S 13527 13530 12980 0 -1 1077944384 4999 0 0 0 37 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594427976848 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13536] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.4 cores=1,3,5,7
/proc/13530/task/13536/stat : 13536 (java) S 13527 13530 12980 0 -1 1077944384 4435 0 0 0 37 3 0 0 20 0 16 0 414553797 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594426924048 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13537] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.12 cores=1,3,5,7
/proc/13530/task/13537/stat : 13537 (java) S 13527 13530 12980 0 -1 1077944384 6810 0 0 0 9 3 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594314991728 140594822965890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13538] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13538/stat : 13538 (java) S 13527 13530 12980 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594313937760 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13539] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13539/stat : 13539 (java) S 13527 13530 12980 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 414553799 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594312885376 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13540] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13540/stat : 13540 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594311833680 140594822973339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13541] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.93 cores=1,3,5,7
/proc/13530/task/13541/stat : 13541 (java) S 13527 13530 12980 0 -1 1077944384 9626 0 0 0 90 3 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594310781552 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13542] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.98 cores=1,3,5,7
/proc/13530/task/13542/stat : 13542 (java) S 13527 13530 12980 0 -1 1077944384 10790 0 0 0 97 1 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594309728752 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13543] ppid=13527 vsize=10748324 memory=207152 CPUtime=0.64 cores=1,3,5,7
/proc/13530/task/13543/stat : 13543 (java) S 13527 13530 12980 0 -1 1077944384 11822 0 0 0 62 2 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594308676464 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13544] ppid=13527 vsize=10748324 memory=207152 CPUtime=0 cores=1,3,5,7
/proc/13530/task/13544/stat : 13544 (java) S 13527 13530 12980 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594307623904 140594822964949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13545] ppid=13527 vsize=10748324 memory=2116 CPUtime=0.48 cores=1,3,5,7
/proc/13530/task/13545/stat : 13545 (java) S 13527 13530 12980 0 -1 1077944384 1283 0 0 0 19 29 0 0 20 0 16 0 414553802 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594306570672 140594822965890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
[pid=13530/tid=13547] ppid=13527 vsize=10748324 memory=207152 CPUtime=2513.38 cores=1,3,5,7
/proc/13530/task/13547/stat : 13547 (java) R 13527 13530 12980 0 -1 4202560 18227 0 0 0 251335 3 0 0 20 0 16 0 414553984 11006283776 51788 33554432000 4194304 4196468 140735127671264 140594289503088 140594435055398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26562560 140735127680011 140735127680114 140735127680114 140735127683023 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 207152 KiB
Child status: 143
Real time (s): 2515.91
CPU time (s): 2520.11
CPU user time (s): 2519.57
CPU system time (s): 0.541046
CPU usage (%): 100.167
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 292756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.57
system time used= 0.541046
maximum resident set size= 293272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59176
involuntary context switches= 1297
# summary of solver processes directly reported to runsolver:
# pid: 13530
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.57
# total CPU system time (s): 0.541046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5755 second user time and 22.6277 second system time
The end