2.42/1.87
2.42/1.87 AbsCon 2
2.66/1.91
2.90/2.02 Instance
2.90/2.02 name=instance-4391283-1568390829, framework=COP, bounds=-infty..+infty
2.90/2.02
2.90/2.02 Loading variables...
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0d608a
2.90/2.07 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fac8d28
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c6a8ec
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf607d6
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e11e951
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5839027
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8a1a1b
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aec5b6b
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7c6178
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e14f8af
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bc3a1d
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c777fc
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea93a3e
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@250b7d3e
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5923abfc
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b87bf2
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e741bd2
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392b3b5
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64827fe
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256fa55a
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad6ae3f
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648723a4
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2689e112
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17180b73
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fda1907
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3efb3f5d
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1008280b
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6103e5be
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fef896
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56fb4fdc
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e6f44fa
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b5a170
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f464a8
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d69551
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d80bf
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da6600e
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b68c8b1
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230b93c1
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40edcfdd
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b233f20
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ffd24
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aac3e58
2.90/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291ec9e0
3.16/2.14
3.16/2.14
3.16/2.14 Domains
3.16/2.14 nTypes=2, nValues=4559, sizes=[35#129,44#1]
3.16/2.14 Variables
3.16/2.14 count=130, degrees=[2#1,4#4,5#84,6#41]
3.16/2.14 Objectives
3.16/2.14 way=max, type=ObjVarGE
3.16/2.14 Constraints
3.16/2.14 count=131, nSpecific=131, arities=[1#1,3#86,6#42,44#1,129#1]
3.16/2.14 distribution=[CardinalityConstant#1,ExactlyKVariable#1,LexicographicLe#42,ObjVarGE#1,OrderedGE#43,SumSimpleLE#43]
3.16/2.14 wck=0.295, cpu=2.102, mem=23M869
3.16/2.14 Solver SolverBacktrack being built...
3.16/2.14
3.16/2.17
3.16/2.17 Solver
3.16/2.17 guaranteedGAC=true
3.16/2.17 wck=0.326, cpu=2.131, mem=34M512
3.16/2.18
3.16/2.18 Preprocessing
3.16/2.18 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.16/2.18 wck=0.007, cpu=2.14, mem=34M512
3.16/2.18
3.39/2.23 num=0, depth=1..1, filters=204, wck=0.065, mem=34M512
3.39/2.23 decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.39/2.23
3.71/2.34 num=1, depth=0..0, filters=828, wck=0.172, mem=34M512
3.71/2.34 decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
3.71/2.34
4.02/2.42 num=2, depth=0..0, filters=1699, wck=0.253, mem=37M154
4.02/2.42 decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
4.02/2.42
4.13/2.52 num=3, depth=0..2, filters=2656, wck=0.353, mem=37M154
4.13/2.52 decisions=94, wrong=46, backtracks=0, failedAssignments=46, nogoods=12
4.13/2.52
4.13/2.59 num=4, depth=0..0, filters=3460, wck=0.421, mem=37M154
4.13/2.59 decisions=122, wrong=60, backtracks=0, failedAssignments=60, nogoods=12
4.13/2.59
4.35/2.71 num=5, depth=0..0, filters=4674, wck=0.538, mem=39M797
4.35/2.71 decisions=154, wrong=76, backtracks=0, failedAssignments=76, nogoods=12
4.35/2.71
4.35/2.77 num=6, depth=0..9, filters=5286, wck=0.606, mem=39M797
4.35/2.77 decisions=196, wrong=93, backtracks=0, failedAssignments=93, nogoods=26
4.35/2.77
4.50/2.89 num=7, depth=0..0, filters=6471, wck=0.722, mem=39M797
4.50/2.89 decisions=234, wrong=112, backtracks=0, failedAssignments=112, nogoods=26
4.50/2.89
4.63/2.99 num=8, depth=0..11, filters=7508, wck=0.818, mem=39M797
4.63/2.99 decisions=285, wrong=133, backtracks=0, failedAssignments=133, nogoods=36
4.63/2.99
4.84/3.11 num=9, depth=0..0, filters=8911, wck=0.945, mem=42M439
4.84/3.11 decisions=331, wrong=156, backtracks=0, failedAssignments=156, nogoods=36
4.84/3.11
4.84/3.14 num=10, depth=0..13, filters=9240, wck=0.977, mem=42M439
4.84/3.14 decisions=391, wrong=182, backtracks=1, failedAssignments=181, nogoods=49
4.84/3.14
4.94/3.24 num=11, depth=0..5, filters=10296, wck=1.071, mem=42M439
4.94/3.24 decisions=450, wrong=210, backtracks=1, failedAssignments=209, nogoods=56
4.94/3.24
4.94/3.27 num=12, depth=0..11, filters=10715, wck=1.105, mem=42M439
4.94/3.27 decisions=523, wrong=243, backtracks=4, failedAssignments=240, nogoods=59
4.94/3.27
5.04/3.38 num=13, depth=0..11, filters=11909, wck=1.208, mem=42M439
5.04/3.38 decisions=600, wrong=279, backtracks=6, failedAssignments=274, nogoods=70
5.04/3.38
5.20/3.47 num=14, depth=0..21, filters=12865, wck=1.304, mem=45M82
5.20/3.47 decisions=690, wrong=316, backtracks=6, failedAssignments=311, nogoods=92
5.20/3.47
5.31/3.53 num=15, depth=0..32, filters=13447, wck=1.358, mem=45M82
5.31/3.53 decisions=800, wrong=359, backtracks=10, failedAssignments=352, nogoods=106
5.31/3.53
5.31/3.59 num=16, depth=0..39, filters=14190, wck=1.419, mem=45M82
5.31/3.59 decisions=924, wrong=404, backtracks=10, failedAssignments=397, nogoods=138
5.31/3.59
5.42/3.63 num=17, depth=2..30, filters=14818, wck=1.467, mem=45M82
5.42/3.63 decisions=1057, wrong=460, backtracks=16, failedAssignments=447, nogoods=153
5.42/3.63
5.55/3.70 num=18, depth=0..40, filters=15546, wck=1.533, mem=45M82
5.55/3.70 decisions=1227, wrong=530, backtracks=34, failedAssignments=502, nogoods=173
5.55/3.70
5.55/3.74 num=19, depth=1..40, filters=15996, wck=1.573, mem=45M82
5.55/3.74 decisions=1406, wrong=604, backtracks=50, failedAssignments=563, nogoods=192
5.55/3.74
5.55/3.78 o 0
5.55/3.78 num=20, depth=1..129, filters=16266, ccks=131, wck=1.614, mem=45M82
5.55/3.78 decisions=1546, wrong=650, backtracks=54, failedAssignments=606, nogoods=225, foundSolutions=1, bestBound=0
5.55/3.78
5.68/3.83 num=21, depth=2..40, filters=16784, ccks=131, wck=1.665, mem=45M82
5.68/3.83 decisions=1768, wrong=745, backtracks=83, failedAssignments=680, nogoods=246, foundSolutions=1, bestBound=0
5.68/3.83
5.68/3.84 num=22, depth=1..13, filters=16874, ccks=131, wck=1.675, mem=45M82
5.68/3.84 decisions=1800, wrong=756, backtracks=83, failedAssignments=691, nogoods=257, foundSolutions=1, bestBound=0
5.68/3.84
5.68/3.85 num=23, depth=4..15, filters=16989, ccks=131, wck=1.686, mem=45M82
5.68/3.85 decisions=1836, wrong=768, backtracks=83, failedAssignments=703, nogoods=269, foundSolutions=1, bestBound=0
5.68/3.85
5.68/3.87 num=24, depth=0..11, filters=17163, ccks=131, wck=1.703, mem=45M82
5.68/3.87 decisions=1872, wrong=781, backtracks=83, failedAssignments=716, nogoods=273, foundSolutions=1, bestBound=0
5.68/3.87
5.68/3.89 num=25, depth=0..19, filters=17297, ccks=131, wck=1.719, mem=45M82
5.68/3.89 decisions=1924, wrong=799, backtracks=87, failedAssignments=730, nogoods=284, foundSolutions=1, bestBound=0
5.68/3.89
5.80/3.90 num=26, depth=1..18, filters=17397, ccks=131, wck=1.731, mem=45M82
5.80/3.90 decisions=1972, wrong=815, backtracks=87, failedAssignments=746, nogoods=300, foundSolutions=1, bestBound=0
5.80/3.90
5.80/3.91 num=27, depth=1..19, filters=17540, ccks=131, wck=1.746, mem=45M82
5.80/3.91 decisions=2035, wrong=840, backtracks=96, failedAssignments=763, nogoods=306, foundSolutions=1, bestBound=0
5.80/3.91
5.80/3.93 o 2
5.80/3.93 num=28, depth=1..129, filters=17643, ccks=262, wck=1.766, mem=45M82
5.80/3.93 decisions=2108, wrong=858, backtracks=97, failedAssignments=780, nogoods=323, foundSolutions=2, bestBound=2
5.80/3.93
5.80/3.96 num=29, depth=1..29, filters=17811, ccks=262, wck=1.789, mem=45M82
5.80/3.96 decisions=2200, wrong=894, backtracks=114, failedAssignments=801, nogoods=332, foundSolutions=2, bestBound=2
5.80/3.96
5.80/3.97 num=30, depth=1..19, filters=17918, ccks=262, wck=1.802, mem=45M82
5.80/3.97 decisions=2247, wrong=911, backtracks=120, failedAssignments=812, nogoods=340, foundSolutions=2, bestBound=2
5.80/3.97
5.80/3.98 num=31, depth=1..20, filters=18017, ccks=262, wck=1.813, mem=45M82
5.80/3.98 decisions=2288, wrong=927, backtracks=125, failedAssignments=824, nogoods=350, foundSolutions=2, bestBound=2
5.80/3.98
5.80/3.99 num=32, depth=4..10, filters=18100, ccks=262, wck=1.824, mem=45M82
5.80/3.99 decisions=2324, wrong=941, backtracks=126, failedAssignments=837, nogoods=363, foundSolutions=2, bestBound=2
5.80/3.99
5.96/4.01 num=33, depth=1..29, filters=18205, ccks=262, wck=1.839, mem=45M82
5.96/4.01 decisions=2384, wrong=961, backtracks=133, failedAssignments=851, nogoods=373, foundSolutions=2, bestBound=2
5.96/4.01
5.96/4.02 num=34, depth=1..16, filters=18340, ccks=262, wck=1.856, mem=45M82
5.96/4.02 decisions=2450, wrong=989, backtracks=145, failedAssignments=867, nogoods=377, foundSolutions=2, bestBound=2
5.96/4.02
5.96/4.04 num=35, depth=1..35, filters=18502, ccks=262, wck=1.875, mem=45M82
5.96/4.04 decisions=2541, wrong=1028, backtracks=168, failedAssignments=884, nogoods=385, foundSolutions=2, bestBound=2
5.96/4.04
5.96/4.07 num=36, depth=1..30, filters=18713, ccks=262, wck=1.898, mem=45M82
5.96/4.07 decisions=2641, wrong=1072, backtracks=194, failedAssignments=903, nogoods=391, foundSolutions=2, bestBound=2
5.96/4.07
5.96/4.08 num=37, depth=1..30, filters=18851, ccks=262, wck=1.916, mem=45M82
5.96/4.08 decisions=2723, wrong=1104, backtracks=206, failedAssignments=924, nogoods=403, foundSolutions=2, bestBound=2
5.96/4.08
5.96/4.09
5.96/4.09 New Bounds: 3..2
5.96/4.09 num=38, depth=0..7, filters=18934, ccks=262, wck=1.925, mem=45M82
5.96/4.09 decisions=2759, wrong=1123, backtracks=217, failedAssignments=934, foundSolutions=2, bestBound=2
5.96/4.09
5.96/4.09 Global
5.96/4.09 filters=18934, ccks=262
5.96/4.09 Stop=FULL_EXPLORATION, wrong=1123, bestBound=2, bestBoundWck=2.09, bestBoundCpu=3.894, foundSolutions=2, firstSolCpu=3.737
5.96/4.09 wck=2.252, cpu=4.056, mem=45M82
5.96/4.09
5.96/4.09 v <instantiation id='sol2' type='solution' cost='2'> <list> x b[][] </list> <values> 2 100 0 0 99 0 0 99 0 0 94 0 0 93 0 0 92 0 0 91 0 0 89 0 0 88 0 0 88 0 0 87 0 0 80 0 0 79 0 0 77 0 0 75 0 0 74 0 0 73 0 0 71 0 0 71 0 0 71 0 0 69 0 0 66 0 0 64 34 0 64 0 0 64 0 0 63 33 0 63 0 0 63 0 0 62 0 0 60 0 0 60 0 0 59 31 0 59 0 0 59 0 0 55 42 0 55 42 0 55 0 0 53 45 0 51 49 0 49 46 0 48 46 0 0 0 0 0 0 0 </values> </instantiation>
5.96/4.09 s OPTIMUM FOUND
5.96/4.09
5.96/4.09 d WRONG_DECISIONS 1123
5.96/4.09 d NUMBER_SOLUTIONS 2
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 (14272 MiB free)
memory of node 1: 16384 MiB (15438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391283-1568390829/watcher-4391283-1568390829 -o /tmp/evaluation-result-4391283-1568390829/solver-4391283-1568390829 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568388749-8054 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391283-1568390829.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8701, runsolver pid=8698
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.92 1.95 1.87 4/228 8716
/proc/meminfo: memFree=30408236/32770624 swapFree=66934596/67108860
[pid=8701] ppid=8698 vsize=10659884 memory=28128 CPUtime=0.13 cores=1,3,5,7
/proc/8701/stat : 8701 (java) S 8698 8701 5027 0 -1 1077944320 5428 0 0 0 12 1 0 0 20 0 15 0 415354389 10915721216 7032 33554432000 4194304 4196468 140732848891936 140732848874480 140427647848183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
/proc/8701/statm: 2664971 7032 2904 1 0 2627468 0
[pid=8701/tid=8703] ppid=8698 vsize=10659884 memory=-8124642594274839901 CPUtime=0.09 cores=1,3,5,7
/proc/8701/task/8703/stat : 8703 (java) R 8698 8701 5027 0 -1 4202560 3267 0 0 0 8 1 0 0 20 0 15 0 415354389 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427652078000 140427640085310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8704] ppid=8698 vsize=10659884 memory=5793855486505974201 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8704/stat : 8704 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427584539152 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8705] ppid=8698 vsize=10659884 memory=140235496081024 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8705/stat : 8705 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427583486608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8706] ppid=8698 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8706/stat : 8706 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427582433552 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8707] ppid=8698 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8707/stat : 8707 (java) S 8698 8701 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427581381008 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8708] ppid=8698 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8708/stat : 8708 (java) S 8698 8701 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354391 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427139881712 140427647859330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8709] ppid=8698 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8709/stat : 8709 (java) S 8698 8701 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415354392 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427138827936 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8710] ppid=8698 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8710/stat : 8710 (java) S 8698 8701 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415354392 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427137774832 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8711] ppid=8698 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8711/stat : 8711 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354394 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427136723408 140427647866779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8712] ppid=8698 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8712/stat : 8712 (java) R 8698 8701 5027 0 -1 4202560 486 0 0 0 0 0 0 0 20 0 15 0 415354394 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427135651416 140427640137565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8713] ppid=8698 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8713/stat : 8713 (java) R 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354394 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427134617968 140427647859330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8714] ppid=8698 vsize=10659884 memory=140235496081024 CPUtime=0.02 cores=1,3,5,7
/proc/8701/task/8714/stat : 8714 (java) R 8698 8701 5027 0 -1 4202560 384 0 0 0 2 0 0 0 20 0 15 0 415354394 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427133561592 140427626804460 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8715] ppid=8698 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8715/stat : 8715 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354395 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427132512608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8716] ppid=8698 vsize=10659884 memory=140235496081024 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8716/stat : 8716 (java) R 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354395 10915721216 7032 33554432000 4194304 4196468 140732848891936 140427131460656 140427647859330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28128 KiB
[startup+0.210833 s]*
/proc/loadavg: 1.92 1.95 1.87 3/228 8716
/proc/meminfo: memFree=30400460/32770624 swapFree=66934596/67108860
[pid=8701] ppid=8698 vsize=10659884 memory=35116 CPUtime=0.33 cores=1,3,5,7
/proc/8701/stat : 8701 (java) S 8698 8701 5027 0 -1 1077944320 6947 0 0 0 31 2 0 0 20 0 15 0 415354389 10915721216 8779 33554432000 4194304 4196468 140732848891936 140732848874480 140427647848183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
/proc/8701/statm: 2664971 8779 2989 1 0 2627468 0
[pid=8701/tid=8703] ppid=8698 vsize=10659884 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/8701/task/8703/stat : 8703 (java) R 8698 8701 5027 0 -1 4202560 3877 0 0 0 19 1 0 0 20 0 15 0 415354389 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427652080272 140427647870109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8704] ppid=8698 vsize=10659884 memory=4211973961700871562 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8704/stat : 8704 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427584539152 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8705] ppid=8698 vsize=10659884 memory=140235496081024 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8705/stat : 8705 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427583486608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8706] ppid=8698 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8706/stat : 8706 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427582433552 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8707] ppid=8698 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8707/stat : 8707 (java) S 8698 8701 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427581381008 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8708] ppid=8698 vsize=10659884 memory=140235496081024 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8708/stat : 8708 (java) S 8698 8701 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354391 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427139881712 140427647859330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8709] ppid=8698 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8709/stat : 8709 (java) S 8698 8701 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415354392 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427138827936 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8710] ppid=8698 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8710/stat : 8710 (java) S 8698 8701 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415354392 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427137774832 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8711] ppid=8698 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8711/stat : 8711 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354394 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427136723408 140427647866779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8712] ppid=8698 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8701/task/8712/stat : 8712 (java) S 8698 8701 5027 0 -1 1077944384 596 0 0 0 2 0 0 0 20 0 15 0 415354394 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427135670512 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8713] ppid=8698 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/8701/task/8713/stat : 8713 (java) S 8698 8701 5027 0 -1 1077944384 437 0 0 0 3 0 0 0 20 0 15 0 415354394 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427134617968 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8714] ppid=8698 vsize=10659884 memory=140235496081024 CPUtime=0.05 cores=1,3,5,7
/proc/8701/task/8714/stat : 8714 (java) S 8698 8701 5027 0 -1 1077944384 679 0 0 0 5 0 0 0 20 0 15 0 415354394 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427133564912 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8715] ppid=8698 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8715/stat : 8715 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354395 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427132512608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8716] ppid=8698 vsize=10659884 memory=140235496081024 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8716/stat : 8716 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354395 10915721216 8779 33554432000 4194304 4196468 140732848891936 140427131460656 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35116 KiB
[startup+0.310296 s]*
/proc/loadavg: 1.92 1.95 1.87 3/228 8716
/proc/meminfo: memFree=30393124/32770624 swapFree=66934596/67108860
[pid=8701] ppid=8698 vsize=10659884 memory=40232 CPUtime=0.46 cores=1,3,5,7
/proc/8701/stat : 8701 (java) S 8698 8701 5027 0 -1 1077944320 9472 0 0 0 43 3 0 0 20 0 15 0 415354389 10915721216 10058 33554432000 4194304 4196468 140732848891936 140732848874480 140427647848183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
/proc/8701/statm: 2664971 10058 3001 1 0 2627468 0
[pid=8701/tid=8703] ppid=8698 vsize=10659884 memory=7377246124687064083 CPUtime=0.29 cores=1,3,5,7
/proc/8701/task/8703/stat : 8703 (java) R 8698 8701 5027 0 -1 4202560 6339 0 0 0 27 2 0 0 20 0 15 0 415354389 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427652079984 140427631928670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8704] ppid=8698 vsize=10659884 memory=4211973961700871562 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8704/stat : 8704 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427584539152 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8705] ppid=8698 vsize=10659884 memory=140235496086051 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8705/stat : 8705 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427583486608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8706] ppid=8698 vsize=10659884 memory=140235379949005 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8706/stat : 8706 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427582433552 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8707] ppid=8698 vsize=10659884 memory=140235379953103 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8707/stat : 8707 (java) S 8698 8701 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354390 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427581381008 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8708] ppid=8698 vsize=10659884 memory=140235496086144 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8708/stat : 8708 (java) S 8698 8701 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354391 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427139881712 140427647859330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8709] ppid=8698 vsize=10659884 memory=140235379962287 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8709/stat : 8709 (java) S 8698 8701 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415354392 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427138827936 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8710] ppid=8698 vsize=10659884 memory=280470759915408 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8710/stat : 8710 (java) S 8698 8701 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415354392 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427137774832 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8711] ppid=8698 vsize=10659884 memory=280470759913104 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8711/stat : 8711 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354394 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427136723408 140427647866779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8712] ppid=8698 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8701/task/8712/stat : 8712 (java) S 8698 8701 5027 0 -1 1077944384 612 0 0 0 3 0 0 0 20 0 15 0 415354394 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427135670512 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8713] ppid=8698 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/8701/task/8713/stat : 8713 (java) S 8698 8701 5027 0 -1 1077944384 475 0 0 0 4 0 0 0 20 0 15 0 415354394 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427134617968 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8714] ppid=8698 vsize=10659884 memory=140235496081024 CPUtime=0.08 cores=1,3,5,7
/proc/8701/task/8714/stat : 8714 (java) S 8698 8701 5027 0 -1 1077944384 704 0 0 0 8 0 0 0 20 0 15 0 415354394 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427133564912 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8715] ppid=8698 vsize=10659884 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8715/stat : 8715 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354395 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427132512608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8716] ppid=8698 vsize=10659884 memory=140235496081024 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8716/stat : 8716 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354395 10915721216 10058 33554432000 4194304 4196468 140732848891936 140427131460656 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40232 KiB
[startup+0.700771 s]
/proc/loadavg: 1.92 1.95 1.87 3/228 8716
/proc/meminfo: memFree=30384332/32770624 swapFree=66934596/67108860
[pid=8701] ppid=8698 vsize=10661932 memory=63936 CPUtime=1.11 cores=1,3,5,7
/proc/8701/stat : 8701 (java) S 8698 8701 5027 0 -1 1077944320 13172 0 0 0 105 6 0 0 20 0 15 0 415354389 10917818368 15984 33554432000 4194304 4196468 140732848891936 140732848874480 140427647848183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
/proc/8701/statm: 2665483 15984 3071 1 0 2627980 0
[pid=8701/tid=8703] ppid=8698 vsize=10661932 memory=3932 CPUtime=0.67 cores=1,3,5,7
/proc/8701/task/8703/stat : 8703 (java) R 8698 8701 5027 0 -1 4202560 8898 0 0 0 63 4 0 0 20 0 15 0 415354389 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427652080096 140427631928670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8704] ppid=8698 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8704/stat : 8704 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427584539152 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8705] ppid=8698 vsize=10661932 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8705/stat : 8705 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427583486608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8706] ppid=8698 vsize=10661932 memory=7014751519717807441 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8706/stat : 8706 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427582433552 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8707] ppid=8698 vsize=10661932 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8707/stat : 8707 (java) S 8698 8701 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354390 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427581381008 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8708] ppid=8698 vsize=10661932 memory=5788063852999566677 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8708/stat : 8708 (java) S 8698 8701 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354391 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427139881712 140427647859330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8709] ppid=8698 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8709/stat : 8709 (java) S 8698 8701 5027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415354392 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427138827936 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8710] ppid=8698 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8710/stat : 8710 (java) S 8698 8701 5027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415354392 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427137774832 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8711] ppid=8698 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8711/stat : 8711 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354394 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427136723408 140427647866779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8712] ppid=8698 vsize=10661932 memory=347 CPUtime=0.1 cores=1,3,5,7
/proc/8701/task/8712/stat : 8712 (java) R 8698 8701 5027 0 -1 4202560 967 0 0 0 10 0 0 0 20 0 15 0 415354394 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427135670512 140427627100108 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8713] ppid=8698 vsize=10661932 memory=10 CPUtime=0.11 cores=1,3,5,7
/proc/8701/task/8713/stat : 8713 (java) S 8698 8701 5027 0 -1 1077944384 792 0 0 0 11 0 0 0 20 0 15 0 415354394 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427134617968 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8714] ppid=8698 vsize=10661932 memory=26514 CPUtime=0.19 cores=1,3,5,7
/proc/8701/task/8714/stat : 8714 (java) S 8698 8701 5027 0 -1 1077944384 1170 0 0 0 19 0 0 0 20 0 15 0 415354394 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427133564912 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8715] ppid=8698 vsize=10661932 memory=280470760099312 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8715/stat : 8715 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415354395 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427132512608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8716] ppid=8698 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8716/stat : 8716 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354395 10917818368 15984 33554432000 4194304 4196468 140732848891936 140427131460656 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63936 KiB
[startup+1.50079 s]
/proc/loadavg: 1.92 1.95 1.87 3/228 8716
/proc/meminfo: memFree=30365464/32770624 swapFree=66934596/67108860
[pid=8701] ppid=8698 vsize=10663980 memory=75840 CPUtime=1.99 cores=1,3,5,7
/proc/8701/stat : 8701 (java) S 8698 8701 5027 0 -1 1077944320 18741 0 0 0 193 6 0 0 20 0 15 0 415354389 10919915520 18960 33554432000 4194304 4196468 140732848891936 140732848874480 140427647848183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
/proc/8701/statm: 2665995 18960 3096 1 0 2628492 0
[pid=8701/tid=8703] ppid=8698 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/8701/task/8703/stat : 8703 (java) R 8698 8701 5027 0 -1 4202560 13099 0 0 0 143 5 0 0 20 0 15 0 415354389 10919915520 18960 33554432000 4194304 4196468 140732848891936 140427652088464 140427631928670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8704] ppid=8698 vsize=10663980 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8704/stat : 8704 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10919915520 18960 33554432000 4194304 4196468 140732848891936 140427584539152 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8705] ppid=8698 vsize=10663980 memory=-3535359994705172318 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8705/stat : 8705 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10919915520 18960 33554432000 4194304 4196468 140732848891936 140427583486608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8706] ppid=8698 vsize=10663980 memory=-6305712789123654272 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8706/stat : 8706 (java) S 8698 8701 5027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415354390 10919915520 18960 33554432000 4194304 4196468 140732848891936 140427582433552 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8707] ppid=8698 vsize=10663980 memory=4947931653262909056 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8707/stat : 8707 (java) S 8698 8701 5027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415354390 10919915520 18960 33554432000 4194304 4196468 140732848891936 140427581381008 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8708] ppid=8698 vsize=10663980 memory=-6079961239278806372 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8708/stat : 8708 (java) S 8698 8701 5027 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 415354391 10919915520 18960 33554432000 4194304 4196468 140732848891936 140427139881712 140427647859330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
################
# More data... #
################
[pid=8701/tid=8704] ppid=8698 vsize=10746276 memory=280470759674408 CPUtime=0.01 cores=1,3,5,7
/proc/8701/task/8704/stat : 8704 (java) S 8698 8701 5027 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 16 0 415354390 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427584539152 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8705] ppid=8698 vsize=10746276 memory=7590930784277456236 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8705/stat : 8705 (java) S 8698 8701 5027 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427583486608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8706] ppid=8698 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8706/stat : 8706 (java) S 8698 8701 5027 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427582433552 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8707] ppid=8698 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8707/stat : 8707 (java) S 8698 8701 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427581381008 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8708] ppid=8698 vsize=10746276 memory=316 CPUtime=0.01 cores=1,3,5,7
/proc/8701/task/8708/stat : 8708 (java) S 8698 8701 5027 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 16 0 415354391 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427139881712 140427647859330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8709] ppid=8698 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8709/stat : 8709 (java) S 8698 8701 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354392 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427138828000 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8710] ppid=8698 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8710/stat : 8710 (java) S 8698 8701 5027 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415354392 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427137774848 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8711] ppid=8698 vsize=10746276 memory=11201815196982 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8711/stat : 8711 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354394 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427136723408 140427647866779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8712] ppid=8698 vsize=10746276 memory=-8412654338012311967 CPUtime=0.61 cores=1,3,5,7
/proc/8701/task/8712/stat : 8712 (java) S 8698 8701 5027 0 -1 1077944384 2319 0 0 0 61 0 0 0 20 0 16 0 415354394 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427135670512 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8713] ppid=8698 vsize=10746276 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/8701/task/8713/stat : 8713 (java) S 8698 8701 5027 0 -1 1077944384 1569 0 0 0 60 0 0 0 20 0 16 0 415354394 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427134617968 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8714] ppid=8698 vsize=10746276 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/8701/task/8714/stat : 8714 (java) S 8698 8701 5027 0 -1 1077944384 1916 0 0 0 46 0 0 0 20 0 16 0 415354394 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427133564912 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8715] ppid=8698 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8715/stat : 8715 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354395 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427132512608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8716] ppid=8698 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8716/stat : 8716 (java) S 8698 8701 5027 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 415354395 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427131460656 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8717] ppid=8698 vsize=10746276 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/8701/task/8717/stat : 8717 (java) R 8698 8701 5027 0 -1 4202560 3381 0 0 0 118 1 0 0 20 0 16 0 415354576 11004186624 38462 33554432000 4194304 4196468 140732848891936 140427114381064 140427266007090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 153848 KiB
[startup+4.10407 s]
# the end of solver process 8701 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.95237 s, system=0.149465 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20082 s]
/proc/loadavg: 1.93 1.95 1.87 3/229 8717
/proc/meminfo: memFree=30279416/32770624 swapFree=66934596/67108860
[pid=8701] ppid=8698 vsize=10746276 memory=153912 CPUtime=4.94 cores=1,3,5,7
/proc/8701/stat : 8701 (java) S 8698 8701 5027 0 -1 1077944320 27277 0 0 0 480 14 0 0 20 0 16 0 415354389 11004186624 38478 33554432000 4194304 4196468 140732848891936 140732848874480 140427647848183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
/proc/8701/statm: 2686569 38478 3341 1 0 2646705 0
[pid=8701/tid=8703] ppid=8698 vsize=10746276 memory=-6644015127009730192 CPUtime=1.85 cores=1,3,5,7
/proc/8701/task/8703/stat : 8703 (java) S 8698 8701 5027 0 -1 1077944384 15355 0 0 0 178 7 0 0 20 0 16 0 415354389 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427652091056 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8704] ppid=8698 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8701/task/8704/stat : 8704 (java) S 8698 8701 5027 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 16 0 415354390 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427584539152 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8705] ppid=8698 vsize=10746276 memory=7157735280280490086 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8705/stat : 8705 (java) S 8698 8701 5027 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427583486608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8706] ppid=8698 vsize=10746276 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8706/stat : 8706 (java) S 8698 8701 5027 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427582433552 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8707] ppid=8698 vsize=10746276 memory=22536 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8707/stat : 8707 (java) S 8698 8701 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427581381008 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8708] ppid=8698 vsize=10746276 memory=984 CPUtime=0.01 cores=1,3,5,7
/proc/8701/task/8708/stat : 8708 (java) S 8698 8701 5027 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 16 0 415354391 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427139881712 140427647859330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8709] ppid=8698 vsize=10746276 memory=56 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8709/stat : 8709 (java) S 8698 8701 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354392 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427138828000 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8710] ppid=8698 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8710/stat : 8710 (java) S 8698 8701 5027 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415354392 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427137774848 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8711] ppid=8698 vsize=10746276 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8711/stat : 8711 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354394 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427136723408 140427647866779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8712] ppid=8698 vsize=10746276 memory=280470759943840 CPUtime=0.61 cores=1,3,5,7
/proc/8701/task/8712/stat : 8712 (java) S 8698 8701 5027 0 -1 1077944384 2319 0 0 0 61 0 0 0 20 0 16 0 415354394 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427135670512 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8713] ppid=8698 vsize=10746276 memory=16004 CPUtime=0.6 cores=1,3,5,7
/proc/8701/task/8713/stat : 8713 (java) S 8698 8701 5027 0 -1 1077944384 1569 0 0 0 60 0 0 0 20 0 16 0 415354394 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427134617968 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8714] ppid=8698 vsize=10746276 memory=2244 CPUtime=0.46 cores=1,3,5,7
/proc/8701/task/8714/stat : 8714 (java) S 8698 8701 5027 0 -1 1077944384 1925 0 0 0 46 0 0 0 20 0 16 0 415354394 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427133564912 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8715] ppid=8698 vsize=10746276 memory=140235379978800 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8715/stat : 8715 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354395 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427132512608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8716] ppid=8698 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8716/stat : 8716 (java) S 8698 8701 5027 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 415354395 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427131460656 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8717] ppid=8698 vsize=10746276 memory=8112282956445269571 CPUtime=1.28 cores=1,3,5,7
/proc/8701/task/8717/stat : 8717 (java) R 8698 8701 5027 0 -1 4202560 3381 0 0 0 127 1 0 0 20 0 16 0 415354576 11004186624 38478 33554432000 4194304 4196468 140732848891936 140427114393488 140427266242812 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 153912 KiB
[startup+3.60067 s]
/proc/loadavg: 1.93 1.95 1.87 3/229 8717
/proc/meminfo: memFree=30279416/32770624 swapFree=66934596/67108860
[pid=8701] ppid=8698 vsize=10746276 memory=154172 CPUtime=5.42 cores=1,3,5,7
/proc/8701/stat : 8701 (java) S 8698 8701 5027 0 -1 1077944320 27364 0 0 0 528 14 0 0 20 0 16 0 415354389 11004186624 38543 33554432000 4194304 4196468 140732848891936 140732848874480 140427647848183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
/proc/8701/statm: 2686569 38543 3341 1 0 2646705 0
[pid=8701/tid=8703] ppid=8698 vsize=10746276 memory=4417 CPUtime=1.85 cores=1,3,5,7
/proc/8701/task/8703/stat : 8703 (java) S 8698 8701 5027 0 -1 1077944384 15355 0 0 0 178 7 0 0 20 0 16 0 415354389 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427652091056 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8704] ppid=8698 vsize=10746276 memory=4420 CPUtime=0.01 cores=1,3,5,7
/proc/8701/task/8704/stat : 8704 (java) S 8698 8701 5027 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 16 0 415354390 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427584539152 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8705] ppid=8698 vsize=10746276 memory=2319389225355590849 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8705/stat : 8705 (java) S 8698 8701 5027 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427583486608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8706] ppid=8698 vsize=10746276 memory=3761692294704808146 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8706/stat : 8706 (java) S 8698 8701 5027 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427582433552 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8707] ppid=8698 vsize=10746276 memory=4116346367246543057 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8707/stat : 8707 (java) S 8698 8701 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427581381008 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8708] ppid=8698 vsize=10746276 memory=3545794381873168088 CPUtime=0.01 cores=1,3,5,7
/proc/8701/task/8708/stat : 8708 (java) S 8698 8701 5027 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 16 0 415354391 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427139881712 140427647859330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8709] ppid=8698 vsize=10746276 memory=3539883322016543237 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8709/stat : 8709 (java) S 8698 8701 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354392 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427138828000 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8710] ppid=8698 vsize=10746276 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8710/stat : 8710 (java) S 8698 8701 5027 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415354392 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427137774848 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8711] ppid=8698 vsize=10746276 memory=14619 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8711/stat : 8711 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354394 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427136723408 140427647866779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8712] ppid=8698 vsize=10746276 memory=2209 CPUtime=0.64 cores=1,3,5,7
/proc/8701/task/8712/stat : 8712 (java) S 8698 8701 5027 0 -1 1077944384 2333 0 0 0 64 0 0 0 20 0 16 0 415354394 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427135670512 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8713] ppid=8698 vsize=10746276 memory=140235380080721 CPUtime=0.63 cores=1,3,5,7
/proc/8701/task/8713/stat : 8713 (java) S 8698 8701 5027 0 -1 1077944384 1587 0 0 0 63 0 0 0 20 0 16 0 415354394 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427134617968 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8714] ppid=8698 vsize=10746276 memory=7236 CPUtime=0.49 cores=1,3,5,7
/proc/8701/task/8714/stat : 8714 (java) S 8698 8701 5027 0 -1 1077944384 1978 0 0 0 49 0 0 0 20 0 16 0 415354394 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427133564912 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8715] ppid=8698 vsize=10746276 memory=140235380085265 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8715/stat : 8715 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354395 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427132512608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8716] ppid=8698 vsize=10746276 memory=140235380108609 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8716/stat : 8716 (java) S 8698 8701 5027 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 415354395 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427131460656 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8717] ppid=8698 vsize=10746276 memory=3620 CPUtime=1.68 cores=1,3,5,7
/proc/8701/task/8717/stat : 8717 (java) R 8698 8701 5027 0 -1 4202560 3383 0 0 0 167 1 0 0 20 0 16 0 415354576 11004186624 38543 33554432000 4194304 4196468 140732848891936 140427114385312 140427266151275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
Current children cumulated CPU time: 5.42 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 154172 KiB
[startup+4.00069 s]*
/proc/loadavg: 1.93 1.95 1.87 3/229 8717
/proc/meminfo: memFree=30279292/32770624 swapFree=66934596/67108860
[pid=8701] ppid=8698 vsize=10746276 memory=154676 CPUtime=5.96 cores=1,3,5,7
/proc/8701/stat : 8701 (java) S 8698 8701 5027 0 -1 1077944320 27491 0 0 0 582 14 0 0 20 0 16 0 415354389 11004186624 38669 33554432000 4194304 4196468 140732848891936 140732848874480 140427647848183 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
/proc/8701/statm: 2686569 38669 3346 1 0 2646705 0
[pid=8701/tid=8703] ppid=8698 vsize=10746276 memory=-3103912127665269909 CPUtime=1.85 cores=1,3,5,7
/proc/8701/task/8703/stat : 8703 (java) S 8698 8701 5027 0 -1 1077944384 15355 0 0 0 178 7 0 0 20 0 16 0 415354389 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427652091056 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8704] ppid=8698 vsize=10746276 memory=4211973961700871562 CPUtime=0.01 cores=1,3,5,7
/proc/8701/task/8704/stat : 8704 (java) S 8698 8701 5027 0 -1 1077944384 114 0 0 0 1 0 0 0 20 0 16 0 415354390 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427584539152 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8705] ppid=8698 vsize=10746276 memory=3472468531723761328 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8705/stat : 8705 (java) S 8698 8701 5027 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427583486608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8706] ppid=8698 vsize=10746276 memory=6931104011862954080 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8706/stat : 8706 (java) S 8698 8701 5027 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427582433552 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8707] ppid=8698 vsize=10746276 memory=3472323898181169199 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8707/stat : 8707 (java) S 8698 8701 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354390 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427581381008 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8708] ppid=8698 vsize=10746276 memory=739411310464073143 CPUtime=0.01 cores=1,3,5,7
/proc/8701/task/8708/stat : 8708 (java) S 8698 8701 5027 0 -1 1077944384 1091 0 0 0 1 0 0 0 20 0 16 0 415354391 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427139881712 140427647859330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8709] ppid=8698 vsize=10746276 memory=2314885530818447673 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8709/stat : 8709 (java) S 8698 8701 5027 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415354392 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427138828000 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8710] ppid=8698 vsize=10746276 memory=-8818460131910270915 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8710/stat : 8710 (java) S 8698 8701 5027 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 415354392 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427137774848 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8711] ppid=8698 vsize=10746276 memory=4426648745358232950 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8711/stat : 8711 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354394 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427136723408 140427647866779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8712] ppid=8698 vsize=10746276 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/8701/task/8712/stat : 8712 (java) S 8698 8701 5027 0 -1 1077944384 2347 0 0 0 68 1 0 0 20 0 16 0 415354394 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427135670512 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8713] ppid=8698 vsize=10746276 memory=3467824627879784479 CPUtime=0.7 cores=1,3,5,7
/proc/8701/task/8713/stat : 8713 (java) R 8698 8701 5027 0 -1 4202560 1620 0 0 0 70 0 0 0 20 0 16 0 415354394 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427134617968 140427632138376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8714] ppid=8698 vsize=10746276 memory=3467965962956175796 CPUtime=0.51 cores=1,3,5,7
/proc/8701/task/8714/stat : 8714 (java) S 8698 8701 5027 0 -1 1077944384 2028 0 0 0 51 0 0 0 20 0 16 0 415354394 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427133564912 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8715] ppid=8698 vsize=10746276 memory=2319688296795486264 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8715/stat : 8715 (java) S 8698 8701 5027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415354395 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427132512608 140427647858389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8716] ppid=8698 vsize=10746276 memory=3467967062467803572 CPUtime=0 cores=1,3,5,7
/proc/8701/task/8716/stat : 8716 (java) S 8698 8701 5027 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 415354395 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427131460656 140427647859330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
[pid=8701/tid=8717] ppid=8698 vsize=10746276 memory=2319688296795486264 CPUtime=2.09 cores=1,3,5,7
/proc/8701/task/8717/stat : 8717 (java) R 8698 8701 5027 0 -1 4202560 3413 0 0 0 207 2 0 0 20 0 16 0 415354576 11004186624 38669 33554432000 4194304 4196468 140732848891936 140427114385280 140427266007104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24338432 140732848899083 140732848899186 140732848899186 140732848902095 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 154676 KiB
Child status: 0
Real time (s): 4.1041
CPU time (s): 6.10184
CPU user time (s): 5.95237
CPU system time (s): 0.149465
CPU usage (%): 148.677
Max. virtual memory (cumulated for all children) (KiB): 10746452
Max. memory (cumulated for all children) (KiB): 154676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.95237
system time used= 0.149465
maximum resident set size= 155432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27587
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= 2875
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 8701
# total CPU time (s): 6.10184
# total CPU user time (s): 5.95237
# total CPU system time (s): 0.149465
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052241 second user time and 0.083385 second system time
The end