2.63/1.91
2.63/1.91 AbsCon 2
2.63/1.93
2.85/2.06 Instance
2.85/2.06 name=instance-4390480-1568383030, framework=CSP
2.85/2.06
2.85/2.06 Loading variables...
2.85/2.09 Loading constraints...
3.71/2.37
3.71/2.37 Domains
3.71/2.37 nTypes=1, nValues=27800, sizes=[556#50]
3.71/2.37 Variables
3.71/2.37 count=50, degrees=[25#48,26#1,27#1]
3.71/2.37 Constraints
3.71/2.37 count=352, nSpecific=1, arities=[1#51,2#1,4#300]
3.71/2.37 distribution=[CtrIntension#351,LE#1]
3.71/2.37 nIntStructures=(326,shared:25)
3.71/2.37 wck=0.482, cpu=2.328, mem=71M440
3.71/2.37 Solver SolverBacktrack being built...
3.71/2.37
4.04/2.41
4.04/2.41 Solver
4.04/2.41 guaranteedGAC=false
4.04/2.41 wck=0.514, cpu=2.358, mem=82M82
4.04/2.41
4.04/2.41 Preprocessing
4.04/2.41 filters=52, revisions=(53,useless=2), ccks=28460, nACremovedValues=4536, nTotalRemovedValues=4536, inconcistency=false
4.04/2.41 wck=0.016, cpu=2.376, mem=82M82
4.04/2.41
7.56/5.50 num=0, depth=24..24, filters=471, revisions=(1608,useless=1136), ccks=9824813, wck=3.104, mem=84M725
7.56/5.50 decisions=44, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
7.56/5.50
7.69/5.68 num=1, depth=2..2, filters=495, revisions=(1656,useless=1161), ccks=10326207, wck=3.285, mem=84M725
7.69/5.68 decisions=68, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
7.69/5.68
8.22/6.12 num=2, depth=3..3, filters=521, revisions=(1760,useless=1238), ccks=11627063, wck=3.727, mem=84M725
8.22/6.12 decisions=95, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
8.22/6.12
9.46/7.35 num=3, depth=20..20, filters=583, revisions=(2812,useless=2229), ccks=16196939, wck=4.95, mem=90M10
9.46/7.35 decisions=141, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
9.46/7.35
10.28/8.19 num=4, depth=3..3, filters=612, revisions=(2946,useless=2334), ccks=19268970, wck=5.79, mem=90M10
10.28/8.19 decisions=172, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
10.28/8.19
18.77/16.64 num=5, depth=1..1, filters=628, revisions=(3714,useless=3086), ccks=49921366, wck=14.247, mem=95M294
18.77/16.64 decisions=205, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
18.77/16.64
19.07/17.00 num=6, depth=3..3, filters=664, revisions=(3839,useless=3174), ccks=51214220, wck=14.6, mem=95M294
19.07/17.00 decisions=242, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
19.07/17.00
19.68/17.50 num=7, depth=2..2, filters=722, revisions=(4013,useless=3271), ccks=53009752, wck=15.105, mem=95M294
19.68/17.50 decisions=282, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
19.68/17.50
19.68/17.52 num=8, depth=3..3, filters=766, revisions=(4153,useless=3368), ccks=53064923, wck=15.12, mem=97M937
19.68/17.52 decisions=327, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
19.68/17.52
19.99/17.82 num=9, depth=3..3, filters=814, revisions=(4343,useless=3510), ccks=54128681, wck=15.422, mem=97M937
19.99/17.82 decisions=376, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
19.99/17.82
19.99/17.86 num=10, depth=3..3, filters=866, revisions=(4503,useless=3617), ccks=54265840, wck=15.46, mem=97M937
19.99/17.86 decisions=429, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
19.99/17.86
20.42/18.20 num=11, depth=4..4, filters=925, revisions=(4728,useless=3784), ccks=55481393, wck=15.804, mem=97M937
20.42/18.20 decisions=489, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
20.42/18.20
20.83/18.62 num=12, depth=3..3, filters=988, revisions=(4964,useless=3957), ccks=57062242, wck=16.222, mem=100M579
20.83/18.62 decisions=554, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
20.83/18.62
37.64/35.46 num=13, depth=1..1, filters=1022, revisions=(6597,useless=5556), ccks=118073463, wck=33.062, mem=113M792
37.64/35.46 decisions=623, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
37.64/35.46
38.04/35.81 num=14, depth=3..3, filters=1098, revisions=(6805,useless=5687), ccks=119368557, wck=33.416, mem=113M792
38.04/35.81 decisions=700, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
38.04/35.81
38.57/36.37 num=15, depth=3..3, filters=1182, revisions=(7104,useless=5902), ccks=121291229, wck=33.974, mem=116M434
38.57/36.37 decisions=785, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
38.57/36.37
61.47/59.28 num=16, depth=1..1, filters=1227, revisions=(9265,useless=8018), ccks=204406154, wck=56.883, mem=132M288
61.47/59.28 decisions=876, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
61.47/59.28
61.87/59.66 num=17, depth=5..5, filters=1329, revisions=(9772,useless=8423), ccks=205764072, wck=57.266, mem=134M931
61.87/59.66 decisions=981, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
61.87/59.66
64.54/62.27 num=18, depth=24..24, filters=1478, revisions=(12736,useless=11238), ccks=215233248, wck=59.874, mem=48M656
64.54/62.27 decisions=1115, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
64.54/62.27
65.60/63.21 num=19, depth=7..7, filters=1671, revisions=(13506,useless=11815), ccks=218629843, wck=60.81, mem=51M246
65.60/63.21 decisions=1244, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
65.60/63.21
66.00/63.67 num=20, depth=6..6, filters=1878, revisions=(14216,useless=12318), ccks=220265164, wck=61.272, mem=53M835
66.00/63.67 decisions=1384, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
66.00/63.67
66.12/63.70 num=21, depth=4..4, filters=2029, revisions=(14718,useless=12670), ccks=220376681, wck=61.304, mem=53M835
66.12/63.70 decisions=1536, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
66.12/63.70
67.72/65.30 num=22, depth=3..3, filters=2192, revisions=(15255,useless=13044), ccks=226323156, wck=62.902, mem=56M425
67.72/65.30 decisions=1701, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
67.72/65.30
108.22/105.84 num=23, depth=1..1, filters=2281, revisions=(19528,useless=17228), ccks=373591496, wck=103.445, mem=87M499
108.22/105.84 decisions=1880, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
108.22/105.84
108.62/106.25 num=24, depth=4..4, filters=2480, revisions=(20180,useless=17680), ccks=375099628, wck=103.854, mem=90M88
108.62/106.25 decisions=2080, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
108.62/106.25
109.92/107.59 num=25, depth=3..3, filters=2698, revisions=(20879,useless=18160), ccks=379899311, wck=105.192, mem=92M678
109.92/107.59 decisions=2299, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
109.92/107.59
163.43/161.08 num=26, depth=1..1, filters=2817, revisions=(26592,useless=23754), ccks=576675336, wck=158.685, mem=136M699
163.43/161.08 decisions=2538, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
163.43/161.08
163.82/161.47 num=27, depth=4..4, filters=3080, revisions=(27479,useless=24378), ccks=578065815, wck=159.072, mem=139M289
163.82/161.47 decisions=2804, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
163.82/161.47
166.03/163.69 num=28, depth=7..25, filters=4527, revisions=(33503,useless=28950), ccks=586185603, wck=161.289, mem=154M826
166.03/163.69 decisions=3117, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
166.03/163.69
167.83/165.44 num=29, depth=6..9, filters=4885, revisions=(35396,useless=30485), ccks=592469550, wck=163.042, mem=162M595
167.83/165.44 decisions=3442, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
167.83/165.44
168.97/166.53 num=30, depth=8..10, filters=5340, revisions=(37602,useless=32236), ccks=596422795, wck=164.135, mem=167M774
168.97/166.53 decisions=3800, wrong=1806, backtracks=0, failedAssignments=1806, nogoods=1806
168.97/166.53
170.08/167.66 num=31, depth=10..12, filters=5946, revisions=(40629,useless=34657), ccks=600448202, wck=165.26, mem=175M542
170.08/167.66 decisions=4194, wrong=1997, backtracks=0, failedAssignments=1997, nogoods=1997
170.08/167.66
170.41/167.94 num=32, depth=7..9, filters=6392, revisions=(43038,useless=36620), ccks=601348823, wck=165.539, mem=48M863
170.41/167.94 decisions=4625, wrong=2208, backtracks=0, failedAssignments=2208, nogoods=2208
170.41/167.94
172.02/169.57 num=33, depth=14..16, filters=7137, revisions=(48339,useless=41176), ccks=607080998, wck=167.175, mem=67M119
172.02/169.57 decisions=5105, wrong=2440, backtracks=0, failedAssignments=2440, nogoods=2440
172.02/169.57
173.23/170.79 num=34, depth=7..31, filters=8245, revisions=(56020,useless=47749), ccks=611249444, wck=168.397, mem=90M591
173.23/170.79 decisions=5646, wrong=2695, backtracks=0, failedAssignments=2695, nogoods=2695
173.23/170.79
178.35/175.89 num=35, depth=17..18, filters=10027, revisions=(69512,useless=59405), ccks=629213545, wck=173.489, mem=153M184
178.35/175.89 decisions=6260, wrong=2993, backtracks=17, failedAssignments=2976, nogoods=2761
178.35/175.89
179.69/177.19 num=36, depth=7..33, filters=11338, revisions=(78661,useless=67243), ccks=633533871, wck=174.788, mem=49M6
179.69/177.19 decisions=6911, wrong=3302, backtracks=17, failedAssignments=3285, nogoods=3070
179.69/177.19
181.81/179.23 num=37, depth=8..13, filters=12310, revisions=(84834,useless=72443), ccks=640707842, wck=176.833, mem=77M827
181.81/179.23 decisions=7603, wrong=3642, backtracks=17, failedAssignments=3625, nogoods=3410
181.81/179.23
183.31/180.75 num=38, depth=16..24, filters=13580, revisions=(96127,useless=82465), ccks=645866980, wck=178.352, mem=109M267
183.31/180.75 decisions=8376, wrong=4017, backtracks=19, failedAssignments=3999, nogoods=3703
183.31/180.75
187.73/185.18 num=39, depth=2..19, filters=14980, revisions=(102953,useless=87890), ccks=661752332, wck=182.783, mem=127M608
187.73/185.18 decisions=9217, wrong=4428, backtracks=19, failedAssignments=4410, nogoods=4114
187.73/185.18
189.03/186.41 num=40, depth=9..22, filters=16662, revisions=(113038,useless=96294), ccks=665905434, wck=184.01, mem=156M428
189.03/186.41 decisions=10143, wrong=4880, backtracks=19, failedAssignments=4862, nogoods=4566
189.03/186.41
191.16/188.40 num=41, depth=10..18, filters=18741, revisions=(123200,useless=104376), ccks=672764274, wck=186.003, mem=59M604
191.16/188.40 decisions=11155, wrong=5377, backtracks=19, failedAssignments=5359, nogoods=5063
191.16/188.40
192.73/189.93 num=42, depth=13..21, filters=21149, revisions=(136137,useless=114905), ccks=677856049, wck=187.536, mem=95M810
192.73/189.93 decisions=12270, wrong=5924, backtracks=19, failedAssignments=5906, nogoods=5610
192.73/189.93
196.73/193.90 num=43, depth=8..18, filters=22978, revisions=(147526,useless=124465), ccks=691830991, wck=191.502, mem=132M16
196.73/193.90 decisions=13492, wrong=6526, backtracks=19, failedAssignments=6508, nogoods=6212
196.73/193.90
198.64/195.83 num=44, depth=18..23, filters=24725, revisions=(164750,useless=139942), ccks=698541921, wck=193.428, mem=157M878
198.64/195.83 decisions=14839, wrong=7188, backtracks=32, failedAssignments=7170, nogoods=6482
198.64/195.83
200.31/197.42 num=45, depth=8..22, filters=26711, revisions=(182175,useless=155380), ccks=703926784, wck=195.024, mem=57M239
200.31/197.42 decisions=16318, wrong=7917, backtracks=39, failedAssignments=7898, nogoods=6869
200.31/197.42
201.91/199.03 num=46, depth=4..18, filters=28664, revisions=(196639,useless=167892), ccks=709564870, wck=196.629, mem=77M634
201.91/199.03 decisions=17937, wrong=8718, backtracks=40, failedAssignments=8699, nogoods=7298
201.91/199.03
217.03/214.14 num=47, depth=8..17, filters=31718, revisions=(219883,useless=188082), ccks=763923952, wck=211.744, mem=171M961
217.03/214.14 decisions=19714, wrong=9599, backtracks=42, failedAssignments=9580, nogoods=8073
217.03/214.14
221.36/218.43 num=48, depth=3..22, filters=34460, revisions=(238358,useless=203814), ccks=778920061, wck=216.034, mem=89M929
221.36/218.43 decisions=21676, wrong=10569, backtracks=42, failedAssignments=10550, nogoods=9043
221.36/218.43
230.91/227.93 num=49, depth=8..24, filters=39115, revisions=(271772,useless=232440), ccks=812944346, wck=225.533, mem=62M244
230.91/227.93 decisions=23858, wrong=11649, backtracks=57, failedAssignments=11617, nogoods=9533
230.91/227.93
234.21/231.21 num=50, depth=7..21, filters=42482, revisions=(297015,useless=254316), ccks=824271483, wck=228.815, mem=116M603
234.21/231.21 decisions=26223, wrong=12822, backtracks=59, failedAssignments=12790, nogoods=10293
234.21/231.21
678.36/675.27 num=51, depth=1..8, filters=44277, revisions=(354258,useless=309764), ccks=2418035393, wck=672.876, mem=54M564
678.36/675.27 decisions=28813, wrong=14113, backtracks=78, failedAssignments=14081, nogoods=10880
678.36/675.27
682.96/679.86 num=52, depth=5..18, filters=48400, revisions=(381918,useless=333178), ccks=2433431069, wck=677.462, mem=131M361
682.96/679.86 decisions=31671, wrong=15533, backtracks=78, failedAssignments=15501, nogoods=12300
682.96/679.86
688.20/685.06 num=53, depth=10..21, filters=51428, revisions=(412199,useless=360431), ccks=2451229419, wck=682.665, mem=59M357
688.20/685.06 decisions=34812, wrong=17095, backtracks=98, failedAssignments=17063, nogoods=12666
688.20/685.06
692.69/689.54 num=54, depth=5..23, filters=56291, revisions=(449087,useless=392455), ccks=2466006311, wck=687.144, mem=151M196
692.69/689.54 decisions=38272, wrong=18814, backtracks=100, failedAssignments=18781, nogoods=14306
692.69/689.54
701.83/698.63 num=55, depth=8..22, filters=59218, revisions=(487101,useless=427542), ccks=2498548454, wck=696.23, mem=88M968
701.83/698.63 decisions=42077, wrong=20707, backtracks=125, failedAssignments=20671, nogoods=14713
701.83/698.63
781.57/778.27 num=56, depth=6..16, filters=65053, revisions=(553408,useless=488013), ccks=2781609060, wck=775.871, mem=148M370
781.57/778.27 decisions=46306, wrong=22814, backtracks=153, failedAssignments=22750, nogoods=15074
781.57/778.27
790.49/787.13 num=57, depth=9..14, filters=70410, revisions=(586035,useless=515051), ccks=2810640522, wck=784.736, mem=90M955
790.49/787.13 decisions=50897, wrong=25104, backtracks=163, failedAssignments=25037, nogoods=15746
790.49/787.13
794.29/791.01 num=58, depth=8..19, filters=77897, revisions=(634132,useless=555660), ccks=2823467359, wck=788.608, mem=77M954
794.29/791.01 decisions=55940, wrong=27620, backtracks=171, failedAssignments=27553, nogoods=16331
794.29/791.01
836.82/833.46 num=59, depth=1..42, filters=88253, revisions=(730493,useless=641665), ccks=2969866626, wck=831.064, mem=147M978
836.82/833.46 decisions=61524, wrong=30394, backtracks=177, failedAssignments=30321, nogoods=18557
836.82/833.46
841.93/838.59 num=60, depth=8..14, filters=96250, revisions=(776494,useless=679668), ccks=2987516551, wck=836.192, mem=109M275
841.93/838.59 decisions=67623, wrong=33438, backtracks=183, failedAssignments=33365, nogoods=19438
841.93/838.59
953.39/949.90 num=61, depth=6..10, filters=102297, revisions=(830971,useless=728097), ccks=3376961587, wck=947.5, mem=66M823
953.39/949.90 decisions=74336, wrong=36791, backtracks=205, failedAssignments=36714, nogoods=19528
953.39/949.90
979.20/975.70 num=62, depth=5..7, filters=105988, revisions=(853702,useless=747137), ccks=3470280050, wck=973.304, mem=95M920
979.20/975.70 decisions=81710, wrong=40475, backtracks=232, failedAssignments=40398, nogoods=19670
979.20/975.70
1012.41/1008.91 num=63, depth=5..6, filters=110148, revisions=(878312,useless=767587), ccks=3587262242, wck=1006.516, mem=137M627
1012.41/1008.91 decisions=89820, wrong=44527, backtracks=258, failedAssignments=44450, nogoods=20182
1012.41/1008.91
1026.64/1023.15 num=64, depth=4..26, filters=123009, revisions=(966620,useless=842902), ccks=3634403292, wck=1020.75, mem=62M614
1026.64/1023.15 decisions=98775, wrong=49001, backtracks=293, failedAssignments=48907, nogoods=20890
1026.64/1023.15
1060.70/1057.17 num=65, depth=4..13, filters=130079, revisions=(1073834,useless=943043), ccks=3748242752, wck=1054.772, mem=102M170
1060.70/1057.17 decisions=108601, wrong=53910, backtracks=503, failedAssignments=53810, nogoods=21268
1060.70/1057.17
1067.51/1063.93 num=66, depth=3..25, filters=140760, revisions=(1153407,useless=1011934), ccks=3771241807, wck=1061.536, mem=58M212
1067.51/1063.93 decisions=119428, wrong=59319, backtracks=531, failedAssignments=59204, nogoods=21690
1067.51/1063.93
1074.76/1071.16 num=67, depth=4..12, filters=153629, revisions=(1216711,useless=1062368), ccks=3796984660, wck=1068.759, mem=64M926
1074.76/1071.16 decisions=131305, wrong=65254, backtracks=646, failedAssignments=65137, nogoods=22070
1074.76/1071.16
1100.50/1096.77 num=68, depth=3..25, filters=167186, revisions=(1396942,useless=1229036), ccks=3873722306, wck=1094.374, mem=64M979
1100.50/1096.77 decisions=144396, wrong=71795, backtracks=996, failedAssignments=71663, nogoods=22518
1100.50/1096.77
1120.92/1117.17 num=69, depth=5..16, filters=186597, revisions=(1507513,useless=1320057), ccks=3945235783, wck=1114.775, mem=108M15
1120.92/1117.17 decisions=158769, wrong=78976, backtracks=1025, failedAssignments=78842, nogoods=23644
1120.92/1117.17
1136.27/1132.44 num=70, depth=7..15, filters=206161, revisions=(1634483,useless=1427252), ccks=3999475972, wck=1130.043, mem=95M642
1136.27/1132.44 decisions=174584, wrong=86878, backtracks=1051, failedAssignments=86739, nogoods=24752
1136.27/1132.44
1191.51/1187.69 num=71, depth=4..15, filters=228990, revisions=(1744673,useless=1514347), ccks=4197499019, wck=1185.294, mem=58M851
1191.51/1187.69 decisions=191968, wrong=95566, backtracks=1280, failedAssignments=95426, nogoods=25612
1191.51/1187.69
1206.05/1202.19 num=72, depth=1..13, filters=242759, revisions=(1833836,useless=1589594), ccks=4248369808, wck=1199.791, mem=83M130
1206.05/1202.19 decisions=211093, wrong=105123, backtracks=1357, failedAssignments=104981, nogoods=26273
1206.05/1202.19
1240.70/1236.72 num=73, depth=1..14, filters=263976, revisions=(1971450,useless=1705831), ccks=4365719242, wck=1234.321, mem=96M104
1240.70/1236.72 decisions=232126, wrong=115636, backtracks=1544, failedAssignments=115492, nogoods=26726
1240.70/1236.72
1245.70/1241.78 num=74, depth=9..15, filters=277878, revisions=(2070134,useless=1790614), ccks=4383459162, wck=1239.381, mem=93M44
1245.70/1241.78 decisions=255270, wrong=127203, backtracks=1605, failedAssignments=127054, nogoods=27546
1245.70/1241.78
1284.81/1280.75 num=75, depth=6..12, filters=293688, revisions=(2287691,useless=1992362), ccks=4508954661, wck=1278.357, mem=74M598
1284.81/1280.75 decisions=280716, wrong=139921, backtracks=2026, failedAssignments=139772, nogoods=28428
1284.81/1280.75
1310.35/1306.26 num=76, depth=6..15, filters=329780, revisions=(2462777,useless=2131356), ccks=4597562791, wck=1303.865, mem=108M526
1310.35/1306.26 decisions=308721, wrong=153918, backtracks=2168, failedAssignments=153762, nogoods=29379
1310.35/1306.26
1321.48/1317.38 num=77, depth=9..15, filters=359516, revisions=(2708779,useless=2347048), ccks=4633020668, wck=1314.984, mem=52M76
1321.48/1317.38 decisions=339518, wrong=169310, backtracks=2860, failedAssignments=169151, nogoods=30154
1321.48/1317.38
1325.79/1321.67 num=78, depth=3..11, filters=393261, revisions=(2888938,useless=2493461), ccks=4648481468, wck=1319.275, mem=91M45
1325.79/1321.67 decisions=373384, wrong=186238, backtracks=2966, failedAssignments=186079, nogoods=30893
1325.79/1321.67
1486.28/1482.10 num=79, depth=7..9, filters=412022, revisions=(3039140,useless=2624901), ccks=5212110172, wck=1479.701, mem=58M775
1486.28/1482.10 decisions=410634, wrong=204859, backtracks=3067, failedAssignments=204700, nogoods=31136
1486.28/1482.10
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 (13035 MiB free)
memory of node 1: 16384 MiB (11906 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390480-1568383030/watcher-4390480-1568383030 -o /tmp/evaluation-result-4390480-1568383030/solver-4390480-1568383030 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568380476-6729 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390480-1568383030.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7082, runsolver pid=7079
[startup+0.100091 s]*
/proc/loadavg: 1.99 2.00 1.87 5/228 7097
/proc/meminfo: memFree=25524208/32770624 swapFree=66959224/67108860
[pid=7082] ppid=7079 vsize=10659884 memory=27448 CPUtime=0.13 cores=0,2,4,6
/proc/7082/stat : 7082 (java) S 7079 7082 6698 0 -1 1077944320 5400 0 0 0 12 1 0 0 20 0 15 0 414243222 10915721216 6862 33554432000 4194304 4196468 140736460656000 140736460638544 139671075454711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
/proc/7082/statm: 2664971 6862 2854 1 0 2627468 0
[pid=7082/tid=7084] ppid=7079 vsize=10659884 memory=-8413716295845056867 CPUtime=0.09 cores=0,2,4,6
/proc/7082/task/7084/stat : 7084 (java) R 7079 7082 6698 0 -1 4202560 3202 0 0 0 9 0 0 0 20 0 15 0 414243222 10915721216 6993 33554432000 4194304 4196468 140736460656000 139671079684296 139670675672051 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7085] ppid=7079 vsize=10659884 memory=5793855466254809529 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7085/stat : 7085 (java) S 7079 7082 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 6993 33554432000 4194304 4196468 140736460656000 139671001529232 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7086] ppid=7079 vsize=10659884 memory=140215244916352 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7086/stat : 7086 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 6993 33554432000 4194304 4196468 140736460656000 139671000476432 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7087] ppid=7079 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7087/stat : 7087 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 6993 33554432000 4194304 4196468 140736460656000 139670999424144 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7088] ppid=7079 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7088/stat : 7088 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 6993 33554432000 4194304 4196468 140736460656000 139670998371344 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7089] ppid=7079 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7089/stat : 7089 (java) S 7079 7082 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414243224 10915721216 6993 33554432000 4194304 4196468 140736460656000 139670111205488 139671075465858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7090] ppid=7079 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7090/stat : 7090 (java) S 7079 7082 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414243225 10915721216 6993 33554432000 4194304 4196468 140736460656000 139670110151456 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7091] ppid=7079 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7091/stat : 7091 (java) S 7079 7082 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414243225 10915721216 6993 33554432000 4194304 4196468 140736460656000 139670109099120 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7092] ppid=7079 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7092/stat : 7092 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414243227 10915721216 6993 33554432000 4194304 4196468 140736460656000 139670108047440 139671075473307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7093] ppid=7079 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7093/stat : 7093 (java) S 7079 7082 6698 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 414243227 10915721216 6993 33554432000 4194304 4196468 140736460656000 139670106995312 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7094] ppid=7079 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7094/stat : 7094 (java) S 7079 7082 6698 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 15 0 414243227 10915721216 6993 33554432000 4194304 4196468 140736460656000 139670105942512 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7095] ppid=7079 vsize=10659884 memory=140215244916352 CPUtime=0.02 cores=0,2,4,6
/proc/7082/task/7095/stat : 7095 (java) R 7079 7082 6698 0 -1 4202560 402 0 0 0 2 0 0 0 20 0 15 0 414243227 10915721216 6993 33554432000 4194304 4196468 140736460656000 139670104890224 139671059702009 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7096] ppid=7079 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7096/stat : 7096 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414243228 10915721216 6993 33554432000 4194304 4196468 140736460656000 139670103837664 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7097] ppid=7079 vsize=10659884 memory=140215244916352 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7097/stat : 7097 (java) R 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243228 10915721216 6993 33554432000 4194304 4196468 140736460656000 139670102784432 139671075465858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27448 KiB
[startup+0.210894 s]*
/proc/loadavg: 1.99 2.00 1.87 3/228 7097
/proc/meminfo: memFree=25517604/32770624 swapFree=66959224/67108860
[pid=7082] ppid=7079 vsize=10659884 memory=35396 CPUtime=0.33 cores=0,2,4,6
/proc/7082/stat : 7082 (java) S 7079 7082 6698 0 -1 1077944320 6968 0 0 0 32 1 0 0 20 0 15 0 414243222 10915721216 8849 33554432000 4194304 4196468 140736460656000 140736460638544 139671075454711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
/proc/7082/statm: 2664971 8849 2989 1 0 2627468 0
[pid=7082/tid=7084] ppid=7079 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=0,2,4,6
/proc/7082/task/7084/stat : 7084 (java) R 7079 7082 6698 0 -1 4202560 3862 0 0 0 19 1 0 0 20 0 15 0 414243222 10915721216 8849 33554432000 4194304 4196468 140736460656000 139671079681072 139671075476637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7085] ppid=7079 vsize=10659884 memory=4211973941449706890 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7085/stat : 7085 (java) S 7079 7082 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 8849 33554432000 4194304 4196468 140736460656000 139671001529232 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7086] ppid=7079 vsize=10659884 memory=140215244916352 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7086/stat : 7086 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 8849 33554432000 4194304 4196468 140736460656000 139671000476432 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7087] ppid=7079 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7087/stat : 7087 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 8849 33554432000 4194304 4196468 140736460656000 139670999424144 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7088] ppid=7079 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7088/stat : 7088 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 8849 33554432000 4194304 4196468 140736460656000 139670998371344 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7089] ppid=7079 vsize=10659884 memory=140215244916352 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7089/stat : 7089 (java) S 7079 7082 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414243224 10915721216 8849 33554432000 4194304 4196468 140736460656000 139670111205488 139671075465858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7090] ppid=7079 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7090/stat : 7090 (java) S 7079 7082 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414243225 10915721216 8849 33554432000 4194304 4196468 140736460656000 139670110151456 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7091] ppid=7079 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7091/stat : 7091 (java) S 7079 7082 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414243225 10915721216 8849 33554432000 4194304 4196468 140736460656000 139670109099120 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7092] ppid=7079 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7092/stat : 7092 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414243227 10915721216 8849 33554432000 4194304 4196468 140736460656000 139670108047440 139671075473307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7093] ppid=7079 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7082/task/7093/stat : 7093 (java) S 7079 7082 6698 0 -1 1077944384 732 0 0 0 2 0 0 0 20 0 15 0 414243227 10915721216 8849 33554432000 4194304 4196468 140736460656000 139670106995312 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7094] ppid=7079 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/7082/task/7094/stat : 7094 (java) S 7079 7082 6698 0 -1 1077944384 314 0 0 0 3 0 0 0 20 0 15 0 414243227 10915721216 8849 33554432000 4194304 4196468 140736460656000 139670105942512 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7095] ppid=7079 vsize=10659884 memory=140215244916352 CPUtime=0.05 cores=0,2,4,6
/proc/7082/task/7095/stat : 7095 (java) S 7079 7082 6698 0 -1 1077944384 702 0 0 0 5 0 0 0 20 0 15 0 414243227 10915721216 8849 33554432000 4194304 4196468 140736460656000 139670104890224 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7096] ppid=7079 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7096/stat : 7096 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414243228 10915721216 8849 33554432000 4194304 4196468 140736460656000 139670103837664 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7097] ppid=7079 vsize=10659884 memory=140215244916352 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7097/stat : 7097 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243228 10915721216 8849 33554432000 4194304 4196468 140736460656000 139670102784432 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35396 KiB
[startup+0.319096 s]*
/proc/loadavg: 1.99 2.00 1.87 4/228 7097
/proc/meminfo: memFree=25509352/32770624 swapFree=66959224/67108860
[pid=7082] ppid=7079 vsize=10659884 memory=40520 CPUtime=0.48 cores=0,2,4,6
/proc/7082/stat : 7082 (java) S 7079 7082 6698 0 -1 1077944320 9514 0 0 0 45 3 0 0 20 0 15 0 414243222 10915721216 10130 33554432000 4194304 4196468 140736460656000 140736460638544 139671075454711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
/proc/7082/statm: 2664971 10130 3001 1 0 2627468 0
[pid=7082/tid=7084] ppid=7079 vsize=10659884 memory=7377246124687064083 CPUtime=0.31 cores=0,2,4,6
/proc/7082/task/7084/stat : 7084 (java) R 7079 7082 6698 0 -1 4202560 6342 0 0 0 29 2 0 0 20 0 15 0 414243222 10915721216 10196 33554432000 4194304 4196468 140736460656000 139671079686512 139671075476637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7085] ppid=7079 vsize=10659884 memory=4211973941449706890 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7085/stat : 7085 (java) S 7079 7082 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 10196 33554432000 4194304 4196468 140736460656000 139671001529232 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7086] ppid=7079 vsize=10659884 memory=140215244918761 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7086/stat : 7086 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 10196 33554432000 4194304 4196468 140736460656000 139671000476432 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7087] ppid=7079 vsize=10659884 memory=140215113073519 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7087/stat : 7087 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 10196 33554432000 4194304 4196468 140736460656000 139670999424144 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7088] ppid=7079 vsize=10659884 memory=140215113076175 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7088/stat : 7088 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10915721216 10196 33554432000 4194304 4196468 140736460656000 139670998371344 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7089] ppid=7079 vsize=10659884 memory=140215244923076 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7089/stat : 7089 (java) S 7079 7082 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414243224 10915721216 10196 33554432000 4194304 4196468 140736460656000 139670111205488 139671075465858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7090] ppid=7079 vsize=10659884 memory=140215113085359 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7090/stat : 7090 (java) S 7079 7082 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414243225 10915721216 10196 33554432000 4194304 4196468 140736460656000 139670110151456 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7091] ppid=7079 vsize=10659884 memory=280430226161552 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7091/stat : 7091 (java) S 7079 7082 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414243225 10915721216 10196 33554432000 4194304 4196468 140736460656000 139670109099120 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7092] ppid=7079 vsize=10659884 memory=280430226159248 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7092/stat : 7092 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414243227 10915721216 10196 33554432000 4194304 4196468 140736460656000 139670108047440 139671075473307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7093] ppid=7079 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7082/task/7093/stat : 7093 (java) S 7079 7082 6698 0 -1 1077944384 759 0 0 0 4 0 0 0 20 0 15 0 414243227 10915721216 10196 33554432000 4194304 4196468 140736460656000 139670106995312 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7094] ppid=7079 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/7082/task/7094/stat : 7094 (java) S 7079 7082 6698 0 -1 1077944384 330 0 0 0 3 0 0 0 20 0 15 0 414243227 10915721216 10196 33554432000 4194304 4196468 140736460656000 139670105942512 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7095] ppid=7079 vsize=10659884 memory=140215244916352 CPUtime=0.08 cores=0,2,4,6
/proc/7082/task/7095/stat : 7095 (java) S 7079 7082 6698 0 -1 1077944384 727 0 0 0 8 0 0 0 20 0 15 0 414243227 10915721216 10196 33554432000 4194304 4196468 140736460656000 139670104890224 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7096] ppid=7079 vsize=10659884 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7096/stat : 7096 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414243228 10915721216 10196 33554432000 4194304 4196468 140736460656000 139670103837664 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7097] ppid=7079 vsize=10659884 memory=140215244916352 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7097/stat : 7097 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243228 10915721216 10196 33554432000 4194304 4196468 140736460656000 139670102784432 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40520 KiB
[startup+0.70113 s]
/proc/loadavg: 1.99 2.00 1.87 3/228 7097
/proc/meminfo: memFree=25500320/32770624 swapFree=66959224/67108860
[pid=7082] ppid=7079 vsize=10661932 memory=64048 CPUtime=1.09 cores=0,2,4,6
/proc/7082/stat : 7082 (java) S 7079 7082 6698 0 -1 1077944320 13125 0 0 0 104 5 0 0 20 0 15 0 414243222 10917818368 16012 33554432000 4194304 4196468 140736460656000 140736460638544 139671075454711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
/proc/7082/statm: 2665483 16012 3073 1 0 2627980 0
[pid=7082/tid=7084] ppid=7079 vsize=10661932 memory=10604 CPUtime=0.68 cores=0,2,4,6
/proc/7082/task/7084/stat : 7084 (java) R 7079 7082 6698 0 -1 4202560 8846 0 0 0 64 4 0 0 20 0 15 0 414243222 10917818368 16012 33554432000 4194304 4196468 140736460656000 139671079680592 139671061620012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7085] ppid=7079 vsize=10661932 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7085/stat : 7085 (java) S 7079 7082 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414243223 10917818368 16012 33554432000 4194304 4196468 140736460656000 139671001529232 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7086] ppid=7079 vsize=10661932 memory=776 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7086/stat : 7086 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10917818368 16012 33554432000 4194304 4196468 140736460656000 139671000476432 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7087] ppid=7079 vsize=10661932 memory=7524201410499929408 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7087/stat : 7087 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10917818368 16012 33554432000 4194304 4196468 140736460656000 139670999424144 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7088] ppid=7079 vsize=10661932 memory=7738707435814409832 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7088/stat : 7088 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10917818368 16012 33554432000 4194304 4196468 140736460656000 139670998371344 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7089] ppid=7079 vsize=10661932 memory=7810487918915055718 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7089/stat : 7089 (java) S 7079 7082 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414243224 10917818368 16012 33554432000 4194304 4196468 140736460656000 139670111205488 139671075465858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7090] ppid=7079 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7090/stat : 7090 (java) S 7079 7082 6698 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414243225 10917818368 16012 33554432000 4194304 4196468 140736460656000 139670110151456 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7091] ppid=7079 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7091/stat : 7091 (java) S 7079 7082 6698 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414243225 10917818368 16012 33554432000 4194304 4196468 140736460656000 139670109099120 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7092] ppid=7079 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7092/stat : 7092 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414243227 10917818368 16012 33554432000 4194304 4196468 140736460656000 139670108047440 139671075473307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7093] ppid=7079 vsize=10661932 memory=353 CPUtime=0.11 cores=0,2,4,6
/proc/7082/task/7093/stat : 7093 (java) S 7079 7082 6698 0 -1 1077944384 1068 0 0 0 11 0 0 0 20 0 15 0 414243227 10917818368 16012 33554432000 4194304 4196468 140736460656000 139670106995312 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7094] ppid=7079 vsize=10661932 memory=317 CPUtime=0.09 cores=0,2,4,6
/proc/7082/task/7094/stat : 7094 (java) S 7079 7082 6698 0 -1 1077944384 607 0 0 0 9 0 0 0 20 0 15 0 414243227 10917818368 16012 33554432000 4194304 4196468 140736460656000 139670105942512 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7095] ppid=7079 vsize=10661932 memory=11 CPUtime=0.18 cores=0,2,4,6
/proc/7082/task/7095/stat : 7095 (java) S 7079 7082 6698 0 -1 1077944384 1246 0 0 0 18 0 0 0 20 0 15 0 414243227 10917818368 16012 33554432000 4194304 4196468 140736460656000 139670104890224 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7096] ppid=7079 vsize=10661932 memory=280430226345456 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7096/stat : 7096 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414243228 10917818368 16012 33554432000 4194304 4196468 140736460656000 139670103837664 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7097] ppid=7079 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7097/stat : 7097 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243228 10917818368 16076 33554432000 4194304 4196468 140736460656000 139670102784432 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64048 KiB
[startup+1.50072 s]
/proc/loadavg: 1.99 2.00 1.87 3/228 7097
/proc/meminfo: memFree=25484500/32770624 swapFree=66959224/67108860
[pid=7082] ppid=7079 vsize=10663980 memory=76212 CPUtime=2 cores=0,2,4,6
/proc/7082/stat : 7082 (java) S 7079 7082 6698 0 -1 1077944320 17295 0 0 0 194 6 0 0 20 0 15 0 414243222 10919915520 19053 33554432000 4194304 4196468 140736460656000 140736460638544 139671075454711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
/proc/7082/statm: 2665995 19053 3094 1 0 2628492 0
[pid=7082/tid=7084] ppid=7079 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/7082/task/7084/stat : 7084 (java) R 7079 7082 6698 0 -1 4202560 11831 0 0 0 143 5 0 0 20 0 15 0 414243222 10919915520 19053 33554432000 4194304 4196468 140736460656000 139671079680592 139671057019707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7085] ppid=7079 vsize=10663980 memory=-6369074288953532201 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7085/stat : 7085 (java) S 7079 7082 6698 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414243223 10919915520 19053 33554432000 4194304 4196468 140736460656000 139671001529232 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7086] ppid=7079 vsize=10663980 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7086/stat : 7086 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10919915520 19053 33554432000 4194304 4196468 140736460656000 139671000476432 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7087] ppid=7079 vsize=10663980 memory=-3472574513799858007 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7087/stat : 7087 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10919915520 19053 33554432000 4194304 4196468 140736460656000 139670999424144 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7088] ppid=7079 vsize=10663980 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7088/stat : 7088 (java) S 7079 7082 6698 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414243223 10919915520 19053 33554432000 4194304 4196468 140736460656000 139670998371344 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7089] ppid=7079 vsize=10663980 memory=4947933852387351936 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7089/stat : 7089 (java) S 7079 7082 6698 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 414243224 10919915520 19053 33554432000 4194304 4196468 140736460656000 139670111205488 139671075465858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
################
# More data... #
################
/proc/7082/task/7088/stat : 7088 (java) S 7079 7082 6698 0 -1 1077944384 2402 0 0 0 43 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670998371344 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7089] ppid=7079 vsize=10748324 memory=111636 CPUtime=0.13 cores=0,2,4,6
/proc/7082/task/7089/stat : 7089 (java) S 7079 7082 6698 0 -1 1077944384 4853 0 0 0 10 3 0 0 20 0 16 0 414243224 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670111205488 139671075465858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7090] ppid=7079 vsize=10748324 memory=800 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7090/stat : 7090 (java) S 7079 7082 6698 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414243225 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670110151520 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7091] ppid=7079 vsize=10748324 memory=205364 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7091/stat : 7091 (java) S 7079 7082 6698 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414243225 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670109099136 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7092] ppid=7079 vsize=10748324 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7092/stat : 7092 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670108047440 139671075473307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7093] ppid=7079 vsize=10748324 memory=205364 CPUtime=1.12 cores=0,2,4,6
/proc/7082/task/7093/stat : 7093 (java) S 7079 7082 6698 0 -1 1077944384 6753 0 0 0 111 1 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670106995312 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7094] ppid=7079 vsize=10748324 memory=988 CPUtime=1.1 cores=0,2,4,6
/proc/7082/task/7094/stat : 7094 (java) S 7079 7082 6698 0 -1 1077944384 6658 0 0 0 108 2 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670105942512 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7095] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.65 cores=0,2,4,6
/proc/7082/task/7095/stat : 7095 (java) S 7079 7082 6698 0 -1 1077944384 9182 0 0 0 64 1 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670104890224 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7096] ppid=7079 vsize=10748324 memory=205364 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7096/stat : 7096 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414243228 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670103837664 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7097] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.65 cores=0,2,4,6
/proc/7082/task/7097/stat : 7097 (java) S 7079 7082 6698 0 -1 1077944384 1117 0 0 0 28 37 0 0 20 0 16 0 414243228 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670102784432 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7175] ppid=7079 vsize=10748324 memory=10348186830081 CPUtime=2439.43 cores=0,2,4,6
/proc/7082/task/7175/stat : 7175 (java) R 7079 7082 6698 0 -1 4202560 14594 0 0 0 243938 5 0 0 20 0 16 0 414243414 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670085717040 139670681543744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
Current children cumulated CPU time: 2446.94 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 205364 KiB
[startup+2502.3 s]
/proc/loadavg: 1.86 1.94 1.94 3/229 7428
/proc/meminfo: memFree=25336224/32770624 swapFree=66959224/67108860
[pid=7082] ppid=7079 vsize=10748324 memory=205364 CPUtime=2506.99 cores=0,2,4,6
/proc/7082/stat : 7082 (java) S 7079 7082 6698 0 -1 1077944320 69089 0 0 0 250639 60 0 0 20 0 16 0 414243222 11006283776 51341 33554432000 4194304 4196468 140736460656000 140736460638544 139671075454711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
/proc/7082/statm: 2687081 51341 3379 1 0 2647217 0
[pid=7082/tid=7084] ppid=7079 vsize=10748324 memory=205364 CPUtime=1.89 cores=0,2,4,6
/proc/7082/task/7084/stat : 7084 (java) S 7079 7082 6698 0 -1 1077944384 13709 0 0 0 183 6 0 0 20 0 16 0 414243222 11006283776 51341 33554432000 4194304 4196468 140736460656000 139671079697584 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7085] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.47 cores=0,2,4,6
/proc/7082/task/7085/stat : 7085 (java) S 7079 7082 6698 0 -1 1077944384 2429 0 0 0 44 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139671001529232 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7086] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.47 cores=0,2,4,6
/proc/7082/task/7086/stat : 7086 (java) S 7079 7082 6698 0 -1 1077944384 3038 0 0 0 44 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139671000476432 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7087] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.47 cores=0,2,4,6
/proc/7082/task/7087/stat : 7087 (java) S 7079 7082 6698 0 -1 1077944384 2901 0 0 0 44 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670999424144 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7088] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.47 cores=0,2,4,6
/proc/7082/task/7088/stat : 7088 (java) S 7079 7082 6698 0 -1 1077944384 2407 0 0 0 44 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670998371344 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7089] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.14 cores=0,2,4,6
/proc/7082/task/7089/stat : 7089 (java) S 7079 7082 6698 0 -1 1077944384 4859 0 0 0 11 3 0 0 20 0 16 0 414243224 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670111205488 139671075465858 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7090] ppid=7079 vsize=10748324 memory=205364 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7090/stat : 7090 (java) S 7079 7082 6698 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414243225 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670110151520 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7091] ppid=7079 vsize=10748324 memory=205364 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7091/stat : 7091 (java) S 7079 7082 6698 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414243225 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670109099136 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7092] ppid=7079 vsize=10748324 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7092/stat : 7092 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670108047440 139671075473307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7093] ppid=7079 vsize=10748324 memory=205364 CPUtime=1.12 cores=0,2,4,6
/proc/7082/task/7093/stat : 7093 (java) S 7079 7082 6698 0 -1 1077944384 6753 0 0 0 111 1 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670106995312 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7094] ppid=7079 vsize=10748324 memory=205364 CPUtime=1.1 cores=0,2,4,6
/proc/7082/task/7094/stat : 7094 (java) S 7079 7082 6698 0 -1 1077944384 6658 0 0 0 108 2 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670105942512 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7095] ppid=7079 vsize=10748324 memory=8112282956445269571 CPUtime=0.65 cores=0,2,4,6
/proc/7082/task/7095/stat : 7095 (java) S 7079 7082 6698 0 -1 1077944384 9182 0 0 0 64 1 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670104890224 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7096] ppid=7079 vsize=10748324 memory=205364 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7096/stat : 7096 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414243228 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670103837664 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7097] ppid=7079 vsize=10748324 memory=3620 CPUtime=0.66 cores=0,2,4,6
/proc/7082/task/7097/stat : 7097 (java) S 7079 7082 6698 0 -1 1077944384 1121 0 0 0 29 37 0 0 20 0 16 0 414243228 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670102784432 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7175] ppid=7079 vsize=10748324 memory=205364 CPUtime=2499.41 cores=0,2,4,6
/proc/7082/task/7175/stat : 7175 (java) R 7079 7082 6698 0 -1 4202560 14630 0 0 0 249936 5 0 0 20 0 16 0 414243414 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670085717040 139670681743784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
Current children cumulated CPU time: 2506.99 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 205364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.3 s]
/proc/loadavg: 1.88 1.94 1.94 3/229 7428
/proc/meminfo: memFree=25336100/32770624 swapFree=66959224/67108860
[pid=7082] ppid=7079 vsize=10748324 memory=205364 CPUtime=2520 cores=0,2,4,6
/proc/7082/stat : 7082 (java) S 7079 7082 6698 0 -1 1077944320 69093 0 0 0 251940 60 0 0 20 0 16 0 414243222 11006283776 51341 33554432000 4194304 4196468 140736460656000 140736460638544 139671075454711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
/proc/7082/statm: 2687081 51341 3379 1 0 2647217 0
[pid=7082/tid=7084] ppid=7079 vsize=10748324 memory=205364 CPUtime=1.89 cores=0,2,4,6
/proc/7082/task/7084/stat : 7084 (java) S 7079 7082 6698 0 -1 1077944384 13709 0 0 0 183 6 0 0 20 0 16 0 414243222 11006283776 51341 33554432000 4194304 4196468 140736460656000 139671079697584 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7085] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.47 cores=0,2,4,6
/proc/7082/task/7085/stat : 7085 (java) S 7079 7082 6698 0 -1 1077944384 2429 0 0 0 44 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139671001529232 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7086] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.48 cores=0,2,4,6
/proc/7082/task/7086/stat : 7086 (java) S 7079 7082 6698 0 -1 1077944384 3038 0 0 0 45 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139671000476432 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7087] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.47 cores=0,2,4,6
/proc/7082/task/7087/stat : 7087 (java) S 7079 7082 6698 0 -1 1077944384 2901 0 0 0 44 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670999424144 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7088] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.48 cores=0,2,4,6
/proc/7082/task/7088/stat : 7088 (java) S 7079 7082 6698 0 -1 1077944384 2407 0 0 0 45 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670998371344 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7089] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.14 cores=0,2,4,6
/proc/7082/task/7089/stat : 7089 (java) S 7079 7082 6698 0 -1 1077944384 4861 0 0 0 11 3 0 0 20 0 16 0 414243224 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670111205488 139671075465858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7090] ppid=7079 vsize=10748324 memory=205364 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7090/stat : 7090 (java) S 7079 7082 6698 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414243225 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670110151520 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7091] ppid=7079 vsize=10748324 memory=924 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7091/stat : 7091 (java) S 7079 7082 6698 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414243225 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670109099136 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7092] ppid=7079 vsize=10748324 memory=205364 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7092/stat : 7092 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670108047440 139671075473307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7093] ppid=7079 vsize=10748324 memory=68 CPUtime=1.12 cores=0,2,4,6
/proc/7082/task/7093/stat : 7093 (java) S 7079 7082 6698 0 -1 1077944384 6753 0 0 0 111 1 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670106995312 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7094] ppid=7079 vsize=10748324 memory=205364 CPUtime=1.1 cores=0,2,4,6
/proc/7082/task/7094/stat : 7094 (java) S 7079 7082 6698 0 -1 1077944384 6658 0 0 0 108 2 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670105942512 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7095] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.65 cores=0,2,4,6
/proc/7082/task/7095/stat : 7095 (java) S 7079 7082 6698 0 -1 1077944384 9182 0 0 0 64 1 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670104890224 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7096] ppid=7079 vsize=10748324 memory=205364 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7096/stat : 7096 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414243228 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670103837664 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7097] ppid=7079 vsize=10748324 memory=3620 CPUtime=0.68 cores=0,2,4,6
/proc/7082/task/7097/stat : 7097 (java) S 7079 7082 6698 0 -1 1077944384 1121 0 0 0 30 38 0 0 20 0 16 0 414243228 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670102784432 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7175] ppid=7079 vsize=10748324 memory=205364 CPUtime=2512.4 cores=0,2,4,6
/proc/7082/task/7175/stat : 7175 (java) R 7079 7082 6698 0 -1 4202560 14632 0 0 0 251235 5 0 0 20 0 16 0 414243414 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670085717040 139670681548679 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 205364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.31 s]
# the end of solver process 7082 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.41 s, system=0.606028 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.3 s]
/proc/loadavg: 1.88 1.94 1.94 3/229 7428
/proc/meminfo: memFree=25336100/32770624 swapFree=66959224/67108860
[pid=7082] ppid=7079 vsize=10748324 memory=205364 CPUtime=2520 cores=0,2,4,6
/proc/7082/stat : 7082 (java) S 7079 7082 6698 0 -1 1077944320 69093 0 0 0 251940 60 0 0 20 0 16 0 414243222 11006283776 51341 33554432000 4194304 4196468 140736460656000 140736460638544 139671075454711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
/proc/7082/statm: 2687081 51341 3379 1 0 2647217 0
[pid=7082/tid=7084] ppid=7079 vsize=10748324 memory=205364 CPUtime=1.89 cores=0,2,4,6
/proc/7082/task/7084/stat : 7084 (java) S 7079 7082 6698 0 -1 1077944384 13709 0 0 0 183 6 0 0 20 0 16 0 414243222 11006283776 51341 33554432000 4194304 4196468 140736460656000 139671079697584 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7085] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.47 cores=0,2,4,6
/proc/7082/task/7085/stat : 7085 (java) S 7079 7082 6698 0 -1 1077944384 2429 0 0 0 44 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139671001529232 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7086] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.48 cores=0,2,4,6
/proc/7082/task/7086/stat : 7086 (java) S 7079 7082 6698 0 -1 1077944384 3038 0 0 0 45 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139671000476432 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7087] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.47 cores=0,2,4,6
/proc/7082/task/7087/stat : 7087 (java) S 7079 7082 6698 0 -1 1077944384 2901 0 0 0 44 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670999424144 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7088] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.48 cores=0,2,4,6
/proc/7082/task/7088/stat : 7088 (java) S 7079 7082 6698 0 -1 1077944384 2407 0 0 0 45 3 0 0 20 0 16 0 414243223 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670998371344 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7089] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.14 cores=0,2,4,6
/proc/7082/task/7089/stat : 7089 (java) S 7079 7082 6698 0 -1 1077944384 4861 0 0 0 11 3 0 0 20 0 16 0 414243224 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670111205488 139671075465858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7090] ppid=7079 vsize=10748324 memory=205364 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7090/stat : 7090 (java) S 7079 7082 6698 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414243225 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670110151520 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7091] ppid=7079 vsize=10748324 memory=924 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7091/stat : 7091 (java) S 7079 7082 6698 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414243225 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670109099136 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7092] ppid=7079 vsize=10748324 memory=205364 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7092/stat : 7092 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670108047440 139671075473307 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7093] ppid=7079 vsize=10748324 memory=68 CPUtime=1.12 cores=0,2,4,6
/proc/7082/task/7093/stat : 7093 (java) S 7079 7082 6698 0 -1 1077944384 6753 0 0 0 111 1 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670106995312 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7094] ppid=7079 vsize=10748324 memory=205364 CPUtime=1.1 cores=0,2,4,6
/proc/7082/task/7094/stat : 7094 (java) S 7079 7082 6698 0 -1 1077944384 6658 0 0 0 108 2 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670105942512 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7095] ppid=7079 vsize=10748324 memory=205364 CPUtime=0.65 cores=0,2,4,6
/proc/7082/task/7095/stat : 7095 (java) S 7079 7082 6698 0 -1 1077944384 9182 0 0 0 64 1 0 0 20 0 16 0 414243227 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670104890224 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7096] ppid=7079 vsize=10748324 memory=205364 CPUtime=0 cores=0,2,4,6
/proc/7082/task/7096/stat : 7096 (java) S 7079 7082 6698 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414243228 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670103837664 139671075464917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7097] ppid=7079 vsize=10748324 memory=3620 CPUtime=0.68 cores=0,2,4,6
/proc/7082/task/7097/stat : 7097 (java) S 7079 7082 6698 0 -1 1077944384 1121 0 0 0 30 38 0 0 20 0 16 0 414243228 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670102784432 139671075465858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
[pid=7082/tid=7175] ppid=7079 vsize=10748324 memory=205364 CPUtime=2512.4 cores=0,2,4,6
/proc/7082/task/7175/stat : 7175 (java) R 7079 7082 6698 0 -1 4202560 14632 0 0 0 251235 5 0 0 20 0 16 0 414243414 11006283776 51341 33554432000 4194304 4196468 140736460656000 139670085717040 139670681548679 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37101568 140736460661771 140736460661874 140736460661874 140736460664783 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 205364 KiB
Child status: 143
Real time (s): 2515.31
CPU time (s): 2520.02
CPU user time (s): 2519.41
CPU system time (s): 0.606028
CPU usage (%): 100.187
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 302880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.41
system time used= 0.606028
maximum resident set size= 302880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69397
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59592
involuntary context switches= 4270
# summary of solver processes directly reported to runsolver:
# pid: 7082
# total CPU time (s): 2520.02
# total CPU user time (s): 2519.41
# total CPU system time (s): 0.606028
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2964 second user time and 20.6595 second system time
The end