2.61/1.90
2.61/1.90 AbsCon 2
2.61/1.92
3.21/2.11 Instance
3.21/2.11 name=instance-4390977-1568380648, framework=COP, bounds=-infty..+infty
3.21/2.11
3.21/2.11 Loading variables...
3.55/2.21 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c0fc41c
3.55/2.22 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@558c43b4
3.55/2.23 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eb26c41
3.55/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5349674b
3.55/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3968d847
3.55/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cafe57e
3.55/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec423f5
3.55/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7316927b
3.55/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26e2c052
3.55/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c19490
3.55/2.24 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24628c83
3.55/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75b64daa
3.55/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c78b04
3.55/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36ade04b
3.55/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32fffd80
3.55/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13867ac0
3.55/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76eb3ae7
3.55/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f81560f
3.55/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25ad6392
3.55/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4166248
3.55/2.25 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737453a
3.55/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391ff3c
3.55/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579d6da7
3.55/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@565654e1
3.55/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5370afaa
3.55/2.26 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cd865ec
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@258df898
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ca4186e
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6517beb3
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1de3ec74
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c93b8fb
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5805c57b
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5601025d
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ac30ec
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a727ea9
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d326e2d
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce7ec77
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cfc2e72
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@97113a
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74d51bde
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@496d5664
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@653495ad
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b12f905
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@81e3d79
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@462517ec
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@449406de
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@89a6ca9
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b63954
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58819411
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ec5f22e
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c31ffa
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34584fa9
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@499f86e1
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@464540d5
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127d370a
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d649504
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2131a240
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c74551
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e3e7f6a
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cfdfdd9
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cbf5f77
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa9b86c
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a856e3
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7019ad7
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@748fc68b
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d0ad98
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7613156e
3.55/2.27 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad46791
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b2ad14
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@191b5b91
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418af305
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f10c96
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ae8f469
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@299e8054
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b84b61
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8dc2462
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@320a71b0
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@622d1fcf
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c63dda3
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@237bc2f8
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e0f07a
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36f273e7
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3656a847
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400d58e4
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c1e479d
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78625c40
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4773cf7a
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68fab9c2
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62fc8f8d
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e483b58
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fc8f0a8
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e38f56d
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb93060
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fecc517
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5865b2db
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@315721b8
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73255e84
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47af4b50
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3b414
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b7965b2
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cd9184
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b2b4c17
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20cca2d0
3.55/2.28 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@559c39c1
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69406711
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dd5c73b
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@271b1cfc
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20cc8c7d
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e528a77
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124b8f6e
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@750e6c31
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f71aad5
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c0c9a86
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4497f9b6
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e90f2bb
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@451660fb
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ecaf597
3.55/2.29 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d39b9d0
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4576ff70
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4b7e5f
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec67932
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20163534
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d787d8a
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@192b0fc2
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e58782
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2376d3a0
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18d74fba
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b14af32
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f819bf
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42cf8884
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@210950e0
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6572316a
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dbc61ce
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@adc12ff
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f7feb71
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5754597e
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cac4297
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bdf3a91
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391d1dfe
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dbb3495
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b50f0c
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef593e8
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57b719e0
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fb6ed0f
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b31d31
3.55/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a87656
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c8cfcb
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ab464e8
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fa60d65
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ebc44b
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418fe0d7
3.91/2.30 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d181d53
4.23/2.44
4.23/2.44
4.23/2.44 Domains
4.23/2.44 nTypes=12, nValues=29304, sizes=[2#396,4#264,5#132,8#132...14#132,15#396,16#264,17#264]
4.23/2.44 Variables
4.23/2.44 count=2772, degrees=[3#172,4#2600]
4.23/2.44 Objectives
4.23/2.44 way=min, type=SumSimpleLE
4.23/2.44 Constraints
4.23/2.44 count=285, nSpecific=285, arities=[21#132,40#131,132#22]
4.23/2.44 distribution=[LexicographicLe#131,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#132]
4.23/2.44 wck=0.566, cpu=2.406, mem=74M85
4.23/2.44 Solver SolverBacktrack being built...
4.23/2.44
4.23/2.49
4.23/2.49 Solver
4.23/2.49 guaranteedGAC=false
4.23/2.49 wck=0.623, cpu=2.462, mem=92M655
4.43/2.55
4.43/2.55 Preprocessing
4.43/2.55 filters=132, nACremovedValues=17688, nTotalRemovedValues=17688, inconcistency=false
4.43/2.55 wck=0.056, cpu=2.521, mem=92M655
4.43/2.55
4.70/2.64 num=0, depth=0..85, filters=1604, wck=0.149, mem=92M655
4.70/2.64 decisions=96, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
4.70/2.64
5.01/2.73 num=1, depth=0..245, filters=3348, wck=0.234, mem=92M655
5.01/2.73 decisions=353, wrong=21, backtracks=0, failedAssignments=21, nogoods=19
5.01/2.73
5.01/2.77 num=2, depth=44..116, filters=5116, wck=0.28, mem=92M655
5.01/2.77 decisions=571, wrong=108, backtracks=75, failedAssignments=33, nogoods=20
5.01/2.77
5.33/2.80 num=3, depth=126..219, filters=7293, wck=0.306, mem=92M655
5.33/2.80 decisions=913, wrong=214, backtracks=168, failedAssignments=46, nogoods=29
5.33/2.80
5.33/2.84 num=4, depth=86..151, filters=10862, wck=0.349, mem=92M655
5.33/2.84 decisions=1201, wrong=315, backtracks=257, failedAssignments=60, nogoods=30
5.33/2.84
5.53/2.92 num=5, depth=1..135, filters=19429, wck=0.428, mem=92M655
5.53/2.92 decisions=1779, wrong=541, backtracks=477, failedAssignments=76, nogoods=35
5.53/2.92
5.53/2.94 num=6, depth=3..24, filters=21639, wck=0.445, mem=92M655
5.53/2.94 decisions=1888, wrong=589, backtracks=510, failedAssignments=93, nogoods=38
5.53/2.94
5.53/2.95 num=7, depth=5..117, filters=23181, wck=0.461, mem=92M655
5.53/2.95 decisions=2058, wrong=623, backtracks=528, failedAssignments=112, nogoods=47
5.53/2.95
5.53/2.98 num=8, depth=0..55, filters=26074, wck=0.485, mem=92M655
5.53/2.98 decisions=2197, wrong=672, backtracks=561, failedAssignments=133, nogoods=52
5.53/2.98
5.53/2.99 num=9, depth=0..64, filters=27462, wck=0.498, mem=92M655
5.53/2.99 decisions=2321, wrong=713, backtracks=589, failedAssignments=156, nogoods=56
5.53/2.99
5.66/3.01 num=10, depth=1..37, filters=29595, wck=0.514, mem=92M655
5.66/3.01 decisions=2441, wrong=765, backtracks=623, failedAssignments=181, nogoods=60
5.66/3.01
5.66/3.03 num=11, depth=2..345, filters=31137, wck=0.536, mem=92M655
5.66/3.03 decisions=2847, wrong=802, backtracks=632, failedAssignments=209, nogoods=77
5.66/3.03
5.66/3.07 o 102
5.66/3.08 num=12, depth=10..2771, filters=32230, ccks=285, wck=0.589, mem=95M298
5.66/3.08 decisions=3270, wrong=836, backtracks=642, failedAssignments=233, nogoods=92, foundSolutions=1, bestBound=102
5.66/3.08
5.92/3.13 num=13, depth=22..311, filters=33282, ccks=285, wck=0.64, mem=95M298
5.92/3.13 decisions=3653, wrong=880, backtracks=672, failedAssignments=267, nogoods=102, foundSolutions=1, bestBound=102
5.92/3.13
5.92/3.15 num=14, depth=23..323, filters=34015, ccks=285, wck=0.657, mem=95M298
5.92/3.15 decisions=4003, wrong=899, backtracks=681, failedAssignments=278, nogoods=107, foundSolutions=1, bestBound=102
5.92/3.15
5.92/3.17 num=15, depth=25..320, filters=34761, ccks=285, wck=0.675, mem=95M298
5.92/3.17 decisions=4352, wrong=917, backtracks=693, failedAssignments=290, nogoods=112, foundSolutions=1, bestBound=102
5.92/3.17
5.92/3.18 num=16, depth=25..265, filters=35535, ccks=285, wck=0.689, mem=95M298
5.92/3.18 decisions=4663, wrong=944, backtracks=716, failedAssignments=303, nogoods=115, foundSolutions=1, bestBound=102
5.92/3.18
5.92/3.20 num=17, depth=26..204, filters=36288, ccks=285, wck=0.702, mem=95M298
5.92/3.20 decisions=4912, wrong=972, backtracks=734, failedAssignments=317, nogoods=121, foundSolutions=1, bestBound=102
5.92/3.20
6.13/3.21 num=18, depth=70..202, filters=37158, ccks=285, wck=0.716, mem=95M298
6.13/3.21 decisions=5157, wrong=999, backtracks=748, failedAssignments=333, nogoods=128, foundSolutions=1, bestBound=102
6.13/3.21
6.13/3.22 num=19, depth=85..223, filters=38094, ccks=285, wck=0.731, mem=95M298
6.13/3.22 decisions=5425, wrong=1029, backtracks=764, failedAssignments=350, nogoods=139, foundSolutions=1, bestBound=102
6.13/3.22
6.13/3.24 num=20, depth=30..213, filters=39138, ccks=285, wck=0.744, mem=95M298
6.13/3.24 decisions=5687, wrong=1059, backtracks=777, failedAssignments=369, nogoods=147, foundSolutions=1, bestBound=102
6.13/3.24
6.13/3.26 num=21, depth=31..334, filters=40083, ccks=285, wck=0.763, mem=95M298
6.13/3.26 decisions=6063, wrong=1086, backtracks=784, failedAssignments=390, nogoods=166, foundSolutions=1, bestBound=102
6.13/3.26
6.13/3.28 num=22, depth=31..371, filters=41127, ccks=285, wck=0.787, mem=95M298
6.13/3.28 decisions=6480, wrong=1113, backtracks=793, failedAssignments=413, nogoods=181, foundSolutions=1, bestBound=102
6.13/3.28
6.26/3.31 o 101
6.26/3.32 num=23, depth=31..2771, filters=42108, ccks=570, wck=0.826, mem=97M940
6.26/3.32 decisions=6928, wrong=1128, backtracks=795, failedAssignments=427, nogoods=193, foundSolutions=2, bestBound=101
6.26/3.32
6.26/3.38 o 100
6.26/3.38 num=24, depth=31..2771, filters=43150, ccks=855, wck=0.889, mem=97M940
6.26/3.38 decisions=7443, wrong=1156, backtracks=805, failedAssignments=447, nogoods=205, foundSolutions=3, bestBound=100
6.26/3.38
6.47/3.42 num=25, depth=32..254, filters=43943, ccks=855, wck=0.93, mem=97M940
6.47/3.42 decisions=7734, wrong=1181, backtracks=822, failedAssignments=458, nogoods=209, foundSolutions=3, bestBound=100
6.47/3.42
6.47/3.43 num=26, depth=34..150, filters=44979, ccks=855, wck=0.941, mem=97M940
6.47/3.43 decisions=7920, wrong=1207, backtracks=837, failedAssignments=469, nogoods=211, foundSolutions=3, bestBound=100
6.47/3.43
6.47/3.45 num=27, depth=28..216, filters=45938, ccks=855, wck=0.955, mem=97M940
6.47/3.45 decisions=8177, wrong=1232, backtracks=854, failedAssignments=481, nogoods=217, foundSolutions=3, bestBound=100
6.47/3.45
6.47/3.48 o 99
6.47/3.48 num=28, depth=33..2771, filters=46779, ccks=1140, wck=0.991, mem=97M940
6.47/3.48 decisions=8661, wrong=1241, backtracks=854, failedAssignments=490, nogoods=226, foundSolutions=4, bestBound=99
6.47/3.48
6.58/3.53 num=29, depth=39..273, filters=47460, ccks=1140, wck=1.032, mem=97M940
6.58/3.53 decisions=8952, wrong=1255, backtracks=854, failedAssignments=504, nogoods=240, foundSolutions=4, bestBound=99
6.58/3.53
6.58/3.54 num=30, depth=37..314, filters=48307, ccks=1140, wck=1.049, mem=97M940
6.58/3.54 decisions=9296, wrong=1273, backtracks=861, failedAssignments=515, nogoods=248, foundSolutions=4, bestBound=99
6.58/3.54
6.58/3.56 num=31, depth=39..264, filters=49153, ccks=1140, wck=1.064, mem=97M940
6.58/3.56 decisions=9589, wrong=1290, backtracks=866, failedAssignments=527, nogoods=256, foundSolutions=4, bestBound=99
6.58/3.56
6.58/3.59 o 98
6.58/3.59 num=32, depth=35..2771, filters=50110, ccks=1425, wck=1.099, mem=100M582
6.58/3.59 decisions=10058, wrong=1307, backtracks=875, failedAssignments=537, nogoods=264, foundSolutions=5, bestBound=98
6.58/3.59
6.70/3.63 num=33, depth=36..219, filters=51028, ccks=1425, wck=1.139, mem=100M582
6.70/3.63 decisions=10326, wrong=1337, backtracks=894, failedAssignments=551, nogoods=272, foundSolutions=5, bestBound=98
6.70/3.63
6.70/3.65 num=34, depth=44..287, filters=51710, ccks=1425, wck=1.153, mem=100M582
6.70/3.65 decisions=10636, wrong=1351, backtracks=897, failedAssignments=562, nogoods=279, foundSolutions=5, bestBound=98
6.70/3.65
6.70/3.66 num=35, depth=48..257, filters=52307, ccks=1425, wck=1.166, mem=100M582
6.70/3.66 decisions=10915, wrong=1366, backtracks=901, failedAssignments=574, nogoods=289, foundSolutions=5, bestBound=98
6.70/3.66
6.70/3.67 num=36, depth=58..288, filters=52959, ccks=1425, wck=1.18, mem=100M582
6.70/3.67 decisions=11219, wrong=1380, backtracks=902, failedAssignments=587, nogoods=301, foundSolutions=5, bestBound=98
6.70/3.67
6.70/3.69 num=37, depth=61..212, filters=53808, ccks=1425, wck=1.193, mem=100M582
6.70/3.69 decisions=11473, wrong=1403, backtracks=916, failedAssignments=601, nogoods=308, foundSolutions=5, bestBound=98
6.70/3.69
6.81/3.71 num=38, depth=78..454, filters=54836, ccks=1425, wck=1.218, mem=100M582
6.81/3.71 decisions=11959, wrong=1424, backtracks=923, failedAssignments=617, nogoods=321, foundSolutions=5, bestBound=98
6.81/3.71
6.81/3.73 num=39, depth=48..184, filters=55838, ccks=1425, wck=1.235, mem=100M582
6.81/3.73 decisions=12198, wrong=1461, backtracks=951, failedAssignments=634, nogoods=328, foundSolutions=5, bestBound=98
6.81/3.73
6.81/3.74 num=40, depth=64..142, filters=56766, ccks=1425, wck=1.247, mem=100M582
6.81/3.74 decisions=12403, wrong=1499, backtracks=972, failedAssignments=653, nogoods=334, foundSolutions=5, bestBound=98
6.81/3.74
6.81/3.75 num=41, depth=84..150, filters=58267, ccks=1425, wck=1.262, mem=100M582
6.81/3.75 decisions=12632, wrong=1554, backtracks=1006, failedAssignments=674, nogoods=337, foundSolutions=5, bestBound=98
6.81/3.75
6.81/3.77 num=42, depth=99..126, filters=59075, ccks=1425, wck=1.273, mem=100M582
6.81/3.77 decisions=12827, wrong=1601, backtracks=1030, failedAssignments=697, nogoods=339, foundSolutions=5, bestBound=98
6.81/3.77
6.81/3.79 num=43, depth=25..215, filters=61286, ccks=1425, wck=1.295, mem=100M582
6.81/3.79 decisions=13187, wrong=1677, backtracks=1082, failedAssignments=722, nogoods=347, foundSolutions=5, bestBound=98
6.81/3.79
6.91/3.81 num=44, depth=2..118, filters=63344, ccks=1425, wck=1.315, mem=100M582
6.91/3.81 decisions=13416, wrong=1736, backtracks=1115, failedAssignments=750, nogoods=356, foundSolutions=5, bestBound=98
6.91/3.81
6.91/3.84 o 93
6.91/3.84 num=45, depth=2..2771, filters=64654, ccks=1710, wck=1.347, mem=100M582
6.91/3.84 decisions=13737, wrong=1763, backtracks=1123, failedAssignments=770, nogoods=372, foundSolutions=6, bestBound=93
6.91/3.84
6.91/3.89 o 92
6.91/3.90 num=46, depth=2..2771, filters=65886, ccks=1995, wck=1.403, mem=103M246
6.91/3.90 decisions=14057, wrong=1788, backtracks=1129, failedAssignments=790, nogoods=389, foundSolutions=7, bestBound=92
6.91/3.90
7.01/3.93 num=47, depth=2..109, filters=66664, ccks=1995, wck=1.441, mem=103M246
7.01/3.93 decisions=14185, wrong=1802, backtracks=1134, failedAssignments=801, nogoods=397, foundSolutions=7, bestBound=92
7.01/3.93
7.01/3.94 num=48, depth=2..117, filters=67411, ccks=1995, wck=1.451, mem=103M246
7.01/3.94 decisions=14328, wrong=1823, backtracks=1146, failedAssignments=812, nogoods=402, foundSolutions=7, bestBound=92
7.01/3.94
7.01/3.95 num=49, depth=2..87, filters=68142, ccks=1995, wck=1.461, mem=103M246
7.01/3.95 decisions=14443, wrong=1840, backtracks=1155, failedAssignments=824, nogoods=409, foundSolutions=7, bestBound=92
7.01/3.95
7.01/3.96 num=50, depth=2..82, filters=68981, ccks=1995, wck=1.472, mem=103M246
7.01/3.96 decisions=14560, wrong=1860, backtracks=1168, failedAssignments=837, nogoods=414, foundSolutions=7, bestBound=92
7.01/3.96
7.01/3.98 num=51, depth=2..130, filters=70658, ccks=1995, wck=1.488, mem=103M246
7.01/3.98 decisions=14737, wrong=1887, backtracks=1181, failedAssignments=851, nogoods=421, foundSolutions=7, bestBound=92
7.01/3.98
7.01/3.99 num=52, depth=2..229, filters=71666, ccks=1995, wck=1.501, mem=103M246
7.01/3.99 decisions=14993, wrong=1903, backtracks=1181, failedAssignments=867, nogoods=437, foundSolutions=7, bestBound=92
7.01/3.99
7.12/4.02 o 91
7.12/4.02 num=53, depth=2..2771, filters=72640, ccks=2280, wck=1.53, mem=103M246
7.12/4.02 decisions=15206, wrong=1912, backtracks=1181, failedAssignments=876, nogoods=446, foundSolutions=8, bestBound=91
7.12/4.02
7.12/4.07 o 90
7.12/4.08 num=54, depth=33..2771, filters=73524, ccks=2565, wck=1.582, mem=105M909
7.12/4.08 decisions=15443, wrong=1926, backtracks=1181, failedAssignments=890, nogoods=460, foundSolutions=9, bestBound=90
7.12/4.08
7.24/4.11 num=55, depth=37..148, filters=74164, ccks=2565, wck=1.619, mem=105M909
7.24/4.11 decisions=15607, wrong=1937, backtracks=1181, failedAssignments=901, nogoods=471, foundSolutions=9, bestBound=90
7.24/4.11
7.24/4.13 num=56, depth=2..229, filters=75028, ccks=2565, wck=1.635, mem=105M909
7.24/4.13 decisions=15852, wrong=1948, backtracks=1181, failedAssignments=912, nogoods=482, foundSolutions=9, bestBound=90
7.24/4.13
7.24/4.16 o 89
7.24/4.16 num=57, depth=2..2771, filters=76102, ccks=2850, wck=1.665, mem=105M909
7.24/4.16 decisions=16111, wrong=1964, backtracks=1186, failedAssignments=923, nogoods=492, foundSolutions=10, bestBound=89
7.24/4.16
7.35/4.20 num=58, depth=11..52, filters=78447, ccks=2850, wck=1.711, mem=105M909
7.35/4.20 decisions=16271, wrong=2038, backtracks=1255, failedAssignments=936, nogoods=495, foundSolutions=10, bestBound=89
7.35/4.20
7.35/4.22
7.35/4.22 New Bounds: 89..88
7.35/4.22 num=59, depth=0..10, filters=79336, ccks=2850, wck=1.724, mem=105M909
7.35/4.22 decisions=16307, wrong=2057, backtracks=1272, failedAssignments=944, foundSolutions=10, bestBound=89
7.35/4.22
7.35/4.22 Global
7.35/4.22 filters=79336, ccks=2850
7.35/4.22 Stop=FULL_EXPLORATION, wrong=2057, bestBound=89, bestBoundWck=2.288, bestBoundCpu=4.124, foundSolutions=10, firstSolCpu=3.036
7.35/4.22 wck=2.35, cpu=4.186, mem=105M909
7.35/4.22
7.35/4.22 v <instantiation id='sol10' type='solution' cost='89'> <list> p[] r[][] </list> <values> 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation>
7.35/4.22 s OPTIMUM FOUND
7.35/4.22
7.35/4.22 d WRONG_DECISIONS 2057
7.35/4.22 d NUMBER_SOLUTIONS 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 (15199 MiB free)
memory of node 1: 16384 MiB (15250 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390977-1568380648/watcher-4390977-1568380648 -o /tmp/evaluation-result-4390977-1568380648/solver-4390977-1568380648 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568380474-30428 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390977-1568380648.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=31340, runsolver pid=31337
[startup+0.100125 s]*
/proc/loadavg: 2.15 0.84 0.35 4/229 31355
/proc/meminfo: memFree=31164300/32770624 swapFree=66981380/67108860
[pid=31340] ppid=31337 vsize=10659884 memory=29552 CPUtime=0.13 cores=0,2,4,6
/proc/31340/stat : 31340 (java) S 31337 31340 30397 0 -1 1077944320 5902 0 0 0 12 1 0 0 20 0 15 0 414327446 10915721216 7388 33554432000 4194304 4196468 140723668185904 140723668168448 140359957982967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
/proc/31340/statm: 2664971 7388 2904 1 0 2627468 0
[pid=31340/tid=31342] ppid=31337 vsize=10659884 memory=-8125511277465604222 CPUtime=0.09 cores=0,2,4,6
/proc/31340/task/31342/stat : 31342 (java) R 31337 31340 30397 0 -1 4202560 3364 0 0 0 8 1 0 0 20 0 15 0 414327446 10915721216 7388 33554432000 4194304 4196468 140723668185904 140359962212552 140359938807723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31343] ppid=31337 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31343/stat : 31343 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 7388 33554432000 4194304 4196468 140723668185904 140359884057232 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31344] ppid=31337 vsize=10659884 memory=140091988174464 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31344/stat : 31344 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 7388 33554432000 4194304 4196468 140723668185904 140359883004432 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31345] ppid=31337 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31345/stat : 31345 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 7453 33554432000 4194304 4196468 140723668185904 140359881951632 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31346] ppid=31337 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31346/stat : 31346 (java) S 31337 31340 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 7453 33554432000 4194304 4196468 140723668185904 140359880898832 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31347] ppid=31337 vsize=10659884 memory=140091988174464 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (java) S 31337 31340 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327448 10915721216 7453 33554432000 4194304 4196468 140723668185904 140358993251184 140359957994114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31348] ppid=31337 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31348/stat : 31348 (java) S 31337 31340 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327449 10915721216 7453 33554432000 4194304 4196468 140723668185904 140358992197152 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31349] ppid=31337 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31349/stat : 31349 (java) S 31337 31340 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327449 10915721216 7453 33554432000 4194304 4196468 140723668185904 140358991144304 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31350] ppid=31337 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31350/stat : 31350 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327452 10915721216 7453 33554432000 4194304 4196468 140723668185904 140358990092624 140359958001563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31351] ppid=31337 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31351/stat : 31351 (java) S 31337 31340 30397 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 15 0 414327452 10915721216 7453 33554432000 4194304 4196468 140723668185904 140358989039984 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31352] ppid=31337 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31352/stat : 31352 (java) R 31337 31340 30397 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 15 0 414327452 10915721216 7453 33554432000 4194304 4196468 140723668185904 140358987968088 140359943645696 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31353] ppid=31337 vsize=10659884 memory=140091988174464 CPUtime=0.02 cores=0,2,4,6
/proc/31340/task/31353/stat : 31353 (java) R 31337 31340 30397 0 -1 4202560 574 0 0 0 2 0 0 0 20 0 15 0 414327452 10915721216 7453 33554432000 4194304 4196468 140723668185904 140358986930328 140359936924581 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31354] ppid=31337 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31354/stat : 31354 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327452 10915721216 7453 33554432000 4194304 4196468 140723668185904 140358985881824 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31355] ppid=31337 vsize=10659884 memory=140091988174464 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31355/stat : 31355 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327452 10915721216 7453 33554432000 4194304 4196468 140723668185904 140358984830128 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29552 KiB
[startup+0.21053 s]*
/proc/loadavg: 2.15 0.84 0.35 3/229 31355
/proc/meminfo: memFree=31158532/32770624 swapFree=66981380/67108860
[pid=31340] ppid=31337 vsize=10659884 memory=34704 CPUtime=0.33 cores=0,2,4,6
/proc/31340/stat : 31340 (java) S 31337 31340 30397 0 -1 1077944320 6817 0 0 0 31 2 0 0 20 0 15 0 414327446 10915721216 8676 33554432000 4194304 4196468 140723668185904 140723668168448 140359957982967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
/proc/31340/statm: 2664971 8676 2990 1 0 2627468 0
[pid=31340/tid=31342] ppid=31337 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31340/task/31342/stat : 31342 (java) R 31337 31340 30397 0 -1 4202560 3872 0 0 0 19 1 0 0 20 0 15 0 414327446 10915721216 8676 33554432000 4194304 4196468 140723668185904 140359962209328 140359958004893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31343] ppid=31337 vsize=10659884 memory=342 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31343/stat : 31343 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 8676 33554432000 4194304 4196468 140723668185904 140359884057232 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31344] ppid=31337 vsize=10659884 memory=288370468139886208 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31344/stat : 31344 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 8676 33554432000 4194304 4196468 140723668185904 140359883004432 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31345] ppid=31337 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31345/stat : 31345 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 8676 33554432000 4194304 4196468 140723668185904 140359881951632 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31346] ppid=31337 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31346/stat : 31346 (java) S 31337 31340 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 8676 33554432000 4194304 4196468 140723668185904 140359880898832 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31347] ppid=31337 vsize=10659884 memory=140091988174464 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (java) S 31337 31340 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327448 10915721216 8676 33554432000 4194304 4196468 140723668185904 140358993251184 140359957994114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31348] ppid=31337 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31348/stat : 31348 (java) S 31337 31340 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327449 10915721216 8676 33554432000 4194304 4196468 140723668185904 140358992197152 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31349] ppid=31337 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31349/stat : 31349 (java) S 31337 31340 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327449 10915721216 8676 33554432000 4194304 4196468 140723668185904 140358991144304 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31350] ppid=31337 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31350/stat : 31350 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327452 10915721216 8676 33554432000 4194304 4196468 140723668185904 140358990092624 140359958001563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31351] ppid=31337 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31340/task/31351/stat : 31351 (java) S 31337 31340 30397 0 -1 1077944384 780 0 0 0 3 0 0 0 20 0 15 0 414327452 10915721216 8676 33554432000 4194304 4196468 140723668185904 140358989039984 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31352] ppid=31337 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31340/task/31352/stat : 31352 (java) S 31337 31340 30397 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 15 0 414327452 10915721216 8676 33554432000 4194304 4196468 140723668185904 140358987987184 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31353] ppid=31337 vsize=10659884 memory=140091988174464 CPUtime=0.05 cores=0,2,4,6
/proc/31340/task/31353/stat : 31353 (java) S 31337 31340 30397 0 -1 1077944384 639 0 0 0 5 0 0 0 20 0 15 0 414327452 10915721216 8676 33554432000 4194304 4196468 140723668185904 140358986934384 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31354] ppid=31337 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31354/stat : 31354 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327452 10915721216 8676 33554432000 4194304 4196468 140723668185904 140358985881824 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31355] ppid=31337 vsize=10659884 memory=140091988174464 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31355/stat : 31355 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327452 10915721216 8676 33554432000 4194304 4196468 140723668185904 140358984830128 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34704 KiB
[startup+0.310137 s]*
/proc/loadavg: 2.15 0.84 0.35 3/229 31355
/proc/meminfo: memFree=31150400/32770624 swapFree=66981380/67108860
[pid=31340] ppid=31337 vsize=10659884 memory=40104 CPUtime=0.47 cores=0,2,4,6
/proc/31340/stat : 31340 (java) S 31337 31340 30397 0 -1 1077944320 9366 0 0 0 44 3 0 0 20 0 15 0 414327446 10915721216 10026 33554432000 4194304 4196468 140723668185904 140723668168448 140359957982967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
/proc/31340/statm: 2664971 10026 3003 1 0 2627468 0
[pid=31340/tid=31342] ppid=31337 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/31340/task/31342/stat : 31342 (java) R 31337 31340 30397 0 -1 4202560 6332 0 0 0 27 3 0 0 20 0 15 0 414327446 10915721216 10026 33554432000 4194304 4196468 140723668185904 140359962203856 140359958004893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31343] ppid=31337 vsize=10659884 memory=4297963160 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31343/stat : 31343 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 10026 33554432000 4194304 4196468 140723668185904 140359884057232 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31344] ppid=31337 vsize=10659884 memory=288370468139886208 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31344/stat : 31344 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 10026 33554432000 4194304 4196468 140723668185904 140359883004432 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31345] ppid=31337 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31345/stat : 31345 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 10026 33554432000 4194304 4196468 140723668185904 140359881951632 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31346] ppid=31337 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31346/stat : 31346 (java) S 31337 31340 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327447 10915721216 10026 33554432000 4194304 4196468 140723668185904 140359880898832 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31347] ppid=31337 vsize=10659884 memory=140091988174464 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (java) S 31337 31340 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327448 10915721216 10041 33554432000 4194304 4196468 140723668185904 140358993251184 140359957994114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31348] ppid=31337 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31348/stat : 31348 (java) S 31337 31340 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327449 10915721216 10041 33554432000 4194304 4196468 140723668185904 140358992197152 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31349] ppid=31337 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31349/stat : 31349 (java) S 31337 31340 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327449 10915721216 10041 33554432000 4194304 4196468 140723668185904 140358991144304 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31350] ppid=31337 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31350/stat : 31350 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327452 10915721216 10041 33554432000 4194304 4196468 140723668185904 140358990092624 140359958001563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31351] ppid=31337 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31340/task/31351/stat : 31351 (java) S 31337 31340 30397 0 -1 1077944384 838 0 0 0 4 0 0 0 20 0 15 0 414327452 10915721216 10041 33554432000 4194304 4196468 140723668185904 140358989039984 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31352] ppid=31337 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/31340/task/31352/stat : 31352 (java) S 31337 31340 30397 0 -1 1077944384 175 0 0 0 3 0 0 0 20 0 15 0 414327452 10915721216 10041 33554432000 4194304 4196468 140723668185904 140358987987184 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31353] ppid=31337 vsize=10659884 memory=140091988174464 CPUtime=0.08 cores=0,2,4,6
/proc/31340/task/31353/stat : 31353 (java) R 31337 31340 30397 0 -1 4202560 663 0 0 0 8 0 0 0 20 0 15 0 414327452 10915721216 10041 33554432000 4194304 4196468 140723668185904 140358986934384 140359942063454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31354] ppid=31337 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31354/stat : 31354 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327452 10915721216 10041 33554432000 4194304 4196468 140723668185904 140358985881824 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31355] ppid=31337 vsize=10659884 memory=140091988174464 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31355/stat : 31355 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327452 10915721216 10041 33554432000 4194304 4196468 140723668185904 140358984830128 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40104 KiB
[startup+0.700703 s]
/proc/loadavg: 2.15 0.84 0.35 3/229 31355
/proc/meminfo: memFree=31142272/32770624 swapFree=66981380/67108860
[pid=31340] ppid=31337 vsize=10661932 memory=62560 CPUtime=1.08 cores=0,2,4,6
/proc/31340/stat : 31340 (java) S 31337 31340 30397 0 -1 1077944320 12797 0 0 0 103 5 0 0 20 0 15 0 414327446 10917818368 15640 33554432000 4194304 4196468 140723668185904 140723668168448 140359957982967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
/proc/31340/statm: 2665483 15640 3074 1 0 2627980 0
[pid=31340/tid=31342] ppid=31337 vsize=10661932 memory=274726173838802 CPUtime=0.69 cores=0,2,4,6
/proc/31340/task/31342/stat : 31342 (java) R 31337 31340 30397 0 -1 4202560 8859 0 0 0 64 5 0 0 20 0 15 0 414327446 10917818368 15640 33554432000 4194304 4196468 140723668185904 140359962204304 140359958004893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31343] ppid=31337 vsize=10661932 memory=3158301 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31343/stat : 31343 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10917818368 15640 33554432000 4194304 4196468 140723668185904 140359884057232 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31344] ppid=31337 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31344/stat : 31344 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10917818368 15640 33554432000 4194304 4196468 140723668185904 140359883004432 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31345] ppid=31337 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31345/stat : 31345 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10917818368 15640 33554432000 4194304 4196468 140723668185904 140359881951632 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31346] ppid=31337 vsize=10661932 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31346/stat : 31346 (java) S 31337 31340 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327447 10917818368 15640 33554432000 4194304 4196468 140723668185904 140359880898832 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31347] ppid=31337 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (java) S 31337 31340 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327448 10917818368 15640 33554432000 4194304 4196468 140723668185904 140358993251184 140359957994114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31348] ppid=31337 vsize=10661932 memory=-3535359994705171041 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31348/stat : 31348 (java) S 31337 31340 30397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414327449 10917818368 15640 33554432000 4194304 4196468 140723668185904 140358992197152 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31349] ppid=31337 vsize=10661932 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31349/stat : 31349 (java) S 31337 31340 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414327449 10917818368 15640 33554432000 4194304 4196468 140723668185904 140358991144304 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31350] ppid=31337 vsize=10661932 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31350/stat : 31350 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327452 10917818368 15640 33554432000 4194304 4196468 140723668185904 140358990092624 140359958001563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31351] ppid=31337 vsize=10661932 memory=6944656592455360604 CPUtime=0.1 cores=0,2,4,6
/proc/31340/task/31351/stat : 31351 (java) S 31337 31340 30397 0 -1 1077944384 1134 0 0 0 10 0 0 0 20 0 15 0 414327452 10917818368 15640 33554432000 4194304 4196468 140723668185904 140358989039984 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31352] ppid=31337 vsize=10661932 memory=6944656592455360604 CPUtime=0.09 cores=0,2,4,6
/proc/31340/task/31352/stat : 31352 (java) S 31337 31340 30397 0 -1 1077944384 396 0 0 0 9 0 0 0 20 0 15 0 414327452 10917818368 15640 33554432000 4194304 4196468 140723668185904 140358987987184 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31353] ppid=31337 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/31340/task/31353/stat : 31353 (java) S 31337 31340 30397 0 -1 1077944384 1049 0 0 0 19 0 0 0 20 0 15 0 414327452 10917818368 15640 33554432000 4194304 4196468 140723668185904 140358986934384 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31354] ppid=31337 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31354/stat : 31354 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414327452 10917818368 15640 33554432000 4194304 4196468 140723668185904 140358985881824 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31355] ppid=31337 vsize=10661932 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31355/stat : 31355 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327452 10917818368 15640 33554432000 4194304 4196468 140723668185904 140358984830128 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62560 KiB
[startup+1.50079 s]
/proc/loadavg: 2.15 0.84 0.35 3/229 31355
/proc/meminfo: memFree=31125956/32770624 swapFree=66981380/67108860
[pid=31340] ppid=31337 vsize=10663980 memory=75176 CPUtime=1.99 cores=0,2,4,6
/proc/31340/stat : 31340 (java) S 31337 31340 30397 0 -1 1077944320 16417 0 0 0 193 6 0 0 20 0 15 0 414327446 10919915520 18794 33554432000 4194304 4196468 140723668185904 140723668168448 140359957982967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
/proc/31340/statm: 2665995 18794 3094 1 0 2628492 0
[pid=31340/tid=31342] ppid=31337 vsize=10663980 memory=2996107 CPUtime=1.48 cores=0,2,4,6
/proc/31340/task/31342/stat : 31342 (java) R 31337 31340 30397 0 -1 4202560 11394 0 0 0 143 5 0 0 20 0 15 0 414327446 10919915520 18794 33554432000 4194304 4196468 140723668185904 140359962212840 140359939546527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31343] ppid=31337 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31343/stat : 31343 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10919915520 18794 33554432000 4194304 4196468 140723668185904 140359884057232 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31344] ppid=31337 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31344/stat : 31344 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10919915520 18794 33554432000 4194304 4196468 140723668185904 140359883004432 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31345] ppid=31337 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31345/stat : 31345 (java) S 31337 31340 30397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414327447 10919915520 18794 33554432000 4194304 4196468 140723668185904 140359881951632 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31346] ppid=31337 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31346/stat : 31346 (java) S 31337 31340 30397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414327447 10919915520 18794 33554432000 4194304 4196468 140723668185904 140359880898832 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31347] ppid=31337 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (java) S 31337 31340 30397 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 414327448 10919915520 18794 33554432000 4194304 4196468 140723668185904 140358993251184 140359957994114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
################
# More data... #
################
[pid=31340/tid=31343] ppid=31337 vsize=10748324 memory=280183668517632 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31343/stat : 31343 (java) S 31337 31340 30397 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 47066 33554432000 4194304 4196468 140723668185904 140359884057232 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31344] ppid=31337 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31344/stat : 31344 (java) S 31337 31340 30397 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 47066 33554432000 4194304 4196468 140723668185904 140359883004432 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31345] ppid=31337 vsize=10748324 memory=280183668429024 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31345/stat : 31345 (java) S 31337 31340 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 47066 33554432000 4194304 4196468 140723668185904 140359881951632 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31346] ppid=31337 vsize=10748324 memory=7234303152781525078 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31346/stat : 31346 (java) S 31337 31340 30397 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 47066 33554432000 4194304 4196468 140723668185904 140359880898832 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31347] ppid=31337 vsize=10748324 memory=288291090698863470 CPUtime=0.01 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (java) S 31337 31340 30397 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 16 0 414327448 11006283776 47066 33554432000 4194304 4196468 140723668185904 140358993251184 140359957994114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31348] ppid=31337 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31348/stat : 31348 (java) S 31337 31340 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414327449 11006283776 47066 33554432000 4194304 4196468 140723668185904 140358992197216 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31349] ppid=31337 vsize=10748324 memory=280183667949808 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31349/stat : 31349 (java) S 31337 31340 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414327449 11006283776 47066 33554432000 4194304 4196468 140723668185904 140358991144320 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31350] ppid=31337 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31350/stat : 31350 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 47066 33554432000 4194304 4196468 140723668185904 140358990092624 140359958001563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31351] ppid=31337 vsize=10748324 memory=140091834288673 CPUtime=1.09 cores=0,2,4,6
/proc/31340/task/31351/stat : 31351 (java) R 31337 31340 30397 0 -1 4202560 2878 0 0 0 109 0 0 0 20 0 16 0 414327452 11006283776 47066 33554432000 4194304 4196468 140723668185904 140358989027776 140359942907907 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31352] ppid=31337 vsize=10748324 memory=140091834382576 CPUtime=1 cores=0,2,4,6
/proc/31340/task/31352/stat : 31352 (java) S 31337 31340 30397 0 -1 1077944384 1767 0 0 0 100 0 0 0 20 0 16 0 414327452 11006283776 47066 33554432000 4194304 4196468 140723668185904 140358987987184 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31353] ppid=31337 vsize=10748324 memory=3690330028693746245 CPUtime=0.66 cores=0,2,4,6
/proc/31340/task/31353/stat : 31353 (java) S 31337 31340 30397 0 -1 1077944384 2680 0 0 0 66 0 0 0 20 0 16 0 414327452 11006283776 47066 33554432000 4194304 4196468 140723668185904 140358986934384 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31354] ppid=31337 vsize=10748324 memory=3473034653797674595 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31354/stat : 31354 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 47066 33554432000 4194304 4196468 140723668185904 140358985881824 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31355] ppid=31337 vsize=10748324 memory=140091834382672 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31355/stat : 31355 (java) S 31337 31340 30397 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 47066 33554432000 4194304 4196468 140723668185904 140358984830128 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31356] ppid=31337 vsize=10748324 memory=184228 CPUtime=1.17 cores=0,2,4,6
/proc/31340/task/31356/stat : 31356 (java) R 31337 31340 30397 0 -1 4202560 4336 0 0 0 115 2 0 0 20 0 16 0 414327636 11006283776 47066 33554432000 4194304 4196468 140723668185904 140358968164928 140359555265743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 188264 KiB
[startup+4.24081 s]
# the end of solver process 31340 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.23132 s, system=0.161056 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.21038 s]
/proc/loadavg: 2.15 0.84 0.35 3/230 31356
/proc/meminfo: memFree=31004936/32770624 swapFree=66981380/67108860
[pid=31340] ppid=31337 vsize=10748324 memory=188296 CPUtime=6.13 cores=0,2,4,6
/proc/31340/stat : 31340 (java) S 31337 31340 30397 0 -1 1077944320 26601 0 0 0 599 14 0 0 20 0 16 0 414327446 11006283776 47074 33554432000 4194304 4196468 140723668185904 140723668168448 140359957982967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
/proc/31340/statm: 2687081 47074 3357 1 0 2647217 0
[pid=31340/tid=31342] ppid=31337 vsize=10748324 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/31340/task/31342/stat : 31342 (java) S 31337 31340 30397 0 -1 1077944384 13124 0 0 0 181 7 0 0 20 0 16 0 414327446 11006283776 47074 33554432000 4194304 4196468 140723668185904 140359962225840 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31343] ppid=31337 vsize=10748324 memory=-2317720213663851332 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31343/stat : 31343 (java) S 31337 31340 30397 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 47074 33554432000 4194304 4196468 140723668185904 140359884057232 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31344] ppid=31337 vsize=10748324 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31344/stat : 31344 (java) S 31337 31340 30397 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 47074 33554432000 4194304 4196468 140723668185904 140359883004432 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31345] ppid=31337 vsize=10748324 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31345/stat : 31345 (java) S 31337 31340 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 47074 33554432000 4194304 4196468 140723668185904 140359881951632 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31346] ppid=31337 vsize=10748324 memory=4913 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31346/stat : 31346 (java) S 31337 31340 30397 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 47074 33554432000 4194304 4196468 140723668185904 140359880898832 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31347] ppid=31337 vsize=10748324 memory=1972 CPUtime=0.01 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (java) S 31337 31340 30397 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 16 0 414327448 11006283776 47074 33554432000 4194304 4196468 140723668185904 140358993251184 140359957994114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31348] ppid=31337 vsize=10748324 memory=115 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31348/stat : 31348 (java) S 31337 31340 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414327449 11006283776 47074 33554432000 4194304 4196468 140723668185904 140358992197216 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31349] ppid=31337 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31349/stat : 31349 (java) S 31337 31340 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414327449 11006283776 47074 33554432000 4194304 4196468 140723668185904 140358991144320 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31350] ppid=31337 vsize=10748324 memory=563 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31350/stat : 31350 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 47074 33554432000 4194304 4196468 140723668185904 140358990092624 140359958001563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31351] ppid=31337 vsize=10748324 memory=0 CPUtime=1.14 cores=0,2,4,6
/proc/31340/task/31351/stat : 31351 (java) S 31337 31340 30397 0 -1 1077944384 2918 0 0 0 114 0 0 0 20 0 16 0 414327452 11006283776 47074 33554432000 4194304 4196468 140723668185904 140358989039984 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31352] ppid=31337 vsize=10748324 memory=140091834302536 CPUtime=1.06 cores=0,2,4,6
/proc/31340/task/31352/stat : 31352 (java) R 31337 31340 30397 0 -1 4202560 1783 0 0 0 106 0 0 0 20 0 16 0 414327452 11006283776 47074 33554432000 4194304 4196468 140723668185904 140358987987480 140359941483451 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31353] ppid=31337 vsize=10748324 memory=280183668555328 CPUtime=0.66 cores=0,2,4,6
/proc/31340/task/31353/stat : 31353 (java) S 31337 31340 30397 0 -1 1077944384 2696 0 0 0 66 0 0 0 20 0 16 0 414327452 11006283776 47074 33554432000 4194304 4196468 140723668185904 140358986934384 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31354] ppid=31337 vsize=10748324 memory=140091834337732 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31354/stat : 31354 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 47074 33554432000 4194304 4196468 140723668185904 140358985881824 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31355] ppid=31337 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31355/stat : 31355 (java) S 31337 31340 30397 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 47074 33554432000 4194304 4196468 140723668185904 140358984830128 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31356] ppid=31337 vsize=10748324 memory=56 CPUtime=1.27 cores=0,2,4,6
/proc/31340/task/31356/stat : 31356 (java) R 31337 31340 30397 0 -1 4202560 4342 0 0 0 125 2 0 0 20 0 16 0 414327636 11006283776 47074 33554432000 4194304 4196468 140723668185904 140358968160080 140359555187176 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 188296 KiB
[startup+4.00067 s]*
/proc/loadavg: 2.15 0.84 0.35 3/230 31356
/proc/meminfo: memFree=31012240/32770624 swapFree=66981380/67108860
[pid=31340] ppid=31337 vsize=10748324 memory=196776 CPUtime=7.12 cores=0,2,4,6
/proc/31340/stat : 31340 (java) S 31337 31340 30397 0 -1 1077944320 27201 0 0 0 697 15 0 0 20 0 16 0 414327446 11006283776 49194 33554432000 4194304 4196468 140723668185904 140723668168448 140359957982967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
/proc/31340/statm: 2687081 49194 3357 1 0 2647217 0
[pid=31340/tid=31342] ppid=31337 vsize=10748324 memory=6791534058613427641 CPUtime=1.88 cores=0,2,4,6
/proc/31340/task/31342/stat : 31342 (java) S 31337 31340 30397 0 -1 1077944384 13124 0 0 0 181 7 0 0 20 0 16 0 414327446 11006283776 49194 33554432000 4194304 4196468 140723668185904 140359962225840 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31343] ppid=31337 vsize=10748324 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31343/stat : 31343 (java) S 31337 31340 30397 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 49194 33554432000 4194304 4196468 140723668185904 140359884057232 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31344] ppid=31337 vsize=10748324 memory=11976 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31344/stat : 31344 (java) S 31337 31340 30397 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 49194 33554432000 4194304 4196468 140723668185904 140359883004432 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31345] ppid=31337 vsize=10748324 memory=303430223234596890 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31345/stat : 31345 (java) S 31337 31340 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 49194 33554432000 4194304 4196468 140723668185904 140359881951632 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31346] ppid=31337 vsize=10748324 memory=302585841321247030 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31346/stat : 31346 (java) S 31337 31340 30397 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 49194 33554432000 4194304 4196468 140723668185904 140359880898832 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31347] ppid=31337 vsize=10748324 memory=15252640887999028 CPUtime=0.01 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (java) S 31337 31340 30397 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 16 0 414327448 11006283776 49194 33554432000 4194304 4196468 140723668185904 140358993251184 140359957994114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31348] ppid=31337 vsize=10748324 memory=280183668362180 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31348/stat : 31348 (java) S 31337 31340 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414327449 11006283776 49194 33554432000 4194304 4196468 140723668185904 140358992197216 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31349] ppid=31337 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31349/stat : 31349 (java) S 31337 31340 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414327449 11006283776 49194 33554432000 4194304 4196468 140723668185904 140358991144320 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31350] ppid=31337 vsize=10748324 memory=30118 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31350/stat : 31350 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 49194 33554432000 4194304 4196468 140723668185904 140358990092624 140359958001563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31351] ppid=31337 vsize=10748324 memory=280183668206304 CPUtime=1.23 cores=0,2,4,6
/proc/31340/task/31351/stat : 31351 (java) S 31337 31340 30397 0 -1 1077944384 2956 0 0 0 123 0 0 0 20 0 16 0 414327452 11006283776 49194 33554432000 4194304 4196468 140723668185904 140358989039984 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31352] ppid=31337 vsize=10748324 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/31340/task/31352/stat : 31352 (java) S 31337 31340 30397 0 -1 1077944384 1808 0 0 0 113 0 0 0 20 0 16 0 414327452 11006283776 49194 33554432000 4194304 4196468 140723668185904 140358987987184 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31353] ppid=31337 vsize=10748324 memory=6944656592455359580 CPUtime=0.68 cores=0,2,4,6
/proc/31340/task/31353/stat : 31353 (java) S 31337 31340 30397 0 -1 1077944384 2948 0 0 0 68 0 0 0 20 0 16 0 414327452 11006283776 49194 33554432000 4194304 4196468 140723668185904 140358986934384 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31354] ppid=31337 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31354/stat : 31354 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 49194 33554432000 4194304 4196468 140723668185904 140358985881824 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31355] ppid=31337 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31355/stat : 31355 (java) S 31337 31340 30397 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 49194 33554432000 4194304 4196468 140723668185904 140358984830128 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31356] ppid=31337 vsize=10748324 memory=81617 CPUtime=2.07 cores=0,2,4,6
/proc/31340/task/31356/stat : 31356 (java) R 31337 31340 30397 0 -1 4202560 4608 0 0 0 204 3 0 0 20 0 16 0 414327636 11006283776 49194 33554432000 4194304 4196468 140723668185904 140358968160128 140359555488208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
Current children cumulated CPU time: 7.12 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 196776 KiB
[startup+4.20067 s]
/proc/loadavg: 2.15 0.84 0.35 3/230 31356
/proc/meminfo: memFree=31012240/32770624 swapFree=66981380/67108860
[pid=31340] ppid=31337 vsize=10748324 memory=198964 CPUtime=7.35 cores=0,2,4,6
/proc/31340/stat : 31340 (java) S 31337 31340 30397 0 -1 1077944320 27237 0 0 0 720 15 0 0 20 0 16 0 414327446 11006283776 49741 33554432000 4194304 4196468 140723668185904 140723668168448 140359957982967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
/proc/31340/statm: 2687081 49741 3360 1 0 2647217 0
[pid=31340/tid=31342] ppid=31337 vsize=10748324 memory=0 CPUtime=1.88 cores=0,2,4,6
/proc/31340/task/31342/stat : 31342 (java) S 31337 31340 30397 0 -1 1077944384 13124 0 0 0 181 7 0 0 20 0 16 0 414327446 11006283776 49741 33554432000 4194304 4196468 140723668185904 140359962225840 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31343] ppid=31337 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31343/stat : 31343 (java) S 31337 31340 30397 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 49741 33554432000 4194304 4196468 140723668185904 140359884057232 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31344] ppid=31337 vsize=10748324 memory=1 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31344/stat : 31344 (java) S 31337 31340 30397 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 49741 33554432000 4194304 4196468 140723668185904 140359883004432 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31345] ppid=31337 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31345/stat : 31345 (java) S 31337 31340 30397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 49741 33554432000 4194304 4196468 140723668185904 140359881951632 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31346] ppid=31337 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31346/stat : 31346 (java) S 31337 31340 30397 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 16 0 414327447 11006283776 49741 33554432000 4194304 4196468 140723668185904 140359880898832 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31347] ppid=31337 vsize=10748324 memory=288230574492221466 CPUtime=0.01 cores=0,2,4,6
/proc/31340/task/31347/stat : 31347 (java) S 31337 31340 30397 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 16 0 414327448 11006283776 49741 33554432000 4194304 4196468 140723668185904 140358993251184 140359957994114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31348] ppid=31337 vsize=10748324 memory=301741416391115062 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31348/stat : 31348 (java) S 31337 31340 30397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414327449 11006283776 49741 33554432000 4194304 4196468 140723668185904 140358992197216 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31349] ppid=31337 vsize=10748324 memory=15252640887999028 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31349/stat : 31349 (java) S 31337 31340 30397 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414327449 11006283776 49741 33554432000 4194304 4196468 140723668185904 140358991144320 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31350] ppid=31337 vsize=10748324 memory=7088773812221943410 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31350/stat : 31350 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 49741 33554432000 4194304 4196468 140723668185904 140358990092624 140359958001563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31351] ppid=31337 vsize=10748324 memory=-7312049839738952863 CPUtime=1.26 cores=0,2,4,6
/proc/31340/task/31351/stat : 31351 (java) S 31337 31340 30397 0 -1 1077944384 2983 0 0 0 126 0 0 0 20 0 16 0 414327452 11006283776 49741 33554432000 4194304 4196468 140723668185904 140358989039984 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31352] ppid=31337 vsize=10748324 memory=8305311027921444960 CPUtime=1.13 cores=0,2,4,6
/proc/31340/task/31352/stat : 31352 (java) S 31337 31340 30397 0 -1 1077944384 1808 0 0 0 113 0 0 0 20 0 16 0 414327452 11006283776 49741 33554432000 4194304 4196468 140723668185904 140358987987184 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31353] ppid=31337 vsize=10748324 memory=-9181546050914066336 CPUtime=0.69 cores=0,2,4,6
/proc/31340/task/31353/stat : 31353 (java) S 31337 31340 30397 0 -1 1077944384 2952 0 0 0 69 0 0 0 20 0 16 0 414327452 11006283776 49741 33554432000 4194304 4196468 140723668185904 140358986934384 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31354] ppid=31337 vsize=10748324 memory=4426639978525455914 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31354/stat : 31354 (java) S 31337 31340 30397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 49741 33554432000 4194304 4196468 140723668185904 140358985881824 140359957993173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31355] ppid=31337 vsize=10748324 memory=-8545980981788235817 CPUtime=0 cores=0,2,4,6
/proc/31340/task/31355/stat : 31355 (java) S 31337 31340 30397 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414327452 11006283776 49741 33554432000 4194304 4196468 140723668185904 140358984830128 140359957994114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
[pid=31340/tid=31356] ppid=31337 vsize=10748324 memory=3054156605267020675 CPUtime=2.26 cores=0,2,4,6
/proc/31340/task/31356/stat : 31356 (java) R 31337 31340 30397 0 -1 4202560 4612 0 0 0 223 3 0 0 20 0 16 0 414327636 11006283776 49741 33554432000 4194304 4196468 140723668185904 140358968165440 140359554816657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32079872 140723668194315 140723668194418 140723668194418 140723668197327 0
Current children cumulated CPU time: 7.35 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 198964 KiB
Child status: 0
Real time (s): 4.24087
CPU time (s): 7.39237
CPU user time (s): 7.23132
CPU system time (s): 0.161056
CPU usage (%): 174.313
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 198964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.23132
system time used= 0.161056
maximum resident set size= 203468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2862
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 31340
# total CPU time (s): 7.39237
# total CPU user time (s): 7.23132
# total CPU system time (s): 0.161056
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055219 second user time and 0.085129 second system time
The end