2.42/1.88
2.42/1.88 AbsCon 2
2.66/1.90
2.92/2.02 Instance
2.92/2.02 name=instance-4391284-1568390910, framework=COP, bounds=-infty..+infty
2.92/2.02
2.92/2.02 Loading variables...
2.92/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e28c756
2.92/2.06 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3179aafd
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76c34d3e
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3c555a
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a4a297
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56dec577
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a2d07b6
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669f56ad
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f887bdc
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1357b20a
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64174805
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a6b84c
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42f41079
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b312b2
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328ac699
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f5d06
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68c574
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0d608a
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4b3dd7
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1846740c
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5263b629
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d00022d
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29314448
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dee28cf
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b55055c
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457d6289
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66bc12d8
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2efa17
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae544c4
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e58d77a
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f098ebe
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d44c1c
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68180b
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1adfd370
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e311da
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333a835b
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f39e9e
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d9ddbe
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497932e5
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1528c22c
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b774905
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8d9026e
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fac8d28
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c6a8ec
3.21/2.13
3.21/2.13
3.21/2.13 Domains
3.21/2.13 nTypes=2, nValues=3477, sizes=[39#88,45#1]
3.21/2.13 Variables
3.21/2.13 count=89, degrees=[2#1,4#2,5#44,6#42]
3.21/2.13 Objectives
3.21/2.13 way=max, type=ObjVarGE
3.21/2.13 Constraints
3.21/2.13 count=134, nSpecific=134, arities=[1#1,2#88,4#43,45#1,88#1]
3.21/2.13 distribution=[CardinalityConstant#1,ExactlyKVariable#1,LexicographicLe#43,ObjVarGE#1,OrderedGE#44,SumSimpleLE#44]
3.21/2.13 wck=0.278, cpu=2.101, mem=21M227
3.21/2.14 Solver SolverBacktrack being built...
3.21/2.14
3.21/2.16
3.21/2.16 Solver
3.21/2.16 guaranteedGAC=true
3.21/2.16 wck=0.308, cpu=2.129, mem=31M870
3.21/2.16
3.21/2.16 Preprocessing
3.21/2.16 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.21/2.16 wck=0.005, cpu=2.136, mem=31M870
3.21/2.16
3.46/2.21 num=0, depth=1..1, filters=208, wck=0.057, mem=31M870
3.46/2.21 decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.46/2.21
3.46/2.29 num=1, depth=0..0, filters=713, wck=0.134, mem=34M512
3.46/2.29 decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
3.46/2.29
3.77/2.37 num=2, depth=0..0, filters=1450, wck=0.207, mem=34M512
3.77/2.37 decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
3.77/2.37
4.07/2.46 num=3, depth=0..0, filters=2452, wck=0.305, mem=34M512
4.07/2.46 decisions=93, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
4.07/2.46
4.36/2.50 num=4, depth=0..3, filters=2879, wck=0.344, mem=34M512
4.36/2.50 decisions=123, wrong=60, backtracks=0, failedAssignments=60, nogoods=22
4.36/2.50
4.36/2.56 num=5, depth=0..0, filters=3653, wck=0.407, mem=34M512
4.36/2.56 decisions=155, wrong=76, backtracks=0, failedAssignments=76, nogoods=22
4.36/2.56
4.50/2.66 num=6, depth=0..0, filters=4836, wck=0.502, mem=34M512
4.50/2.66 decisions=189, wrong=93, backtracks=0, failedAssignments=93, nogoods=22
4.50/2.66
4.61/2.78 num=7, depth=0..4, filters=6064, wck=0.618, mem=34M512
4.61/2.78 decisions=232, wrong=114, backtracks=2, failedAssignments=112, nogoods=32
4.61/2.78
5.21/2.90 num=8, depth=0..0, filters=7515, wck=0.746, mem=34M512
5.21/2.90 decisions=274, wrong=135, backtracks=2, failedAssignments=133, nogoods=32
5.21/2.90
5.21/2.98 num=9, depth=0..8, filters=8392, wck=0.82, mem=34M512
5.21/2.98 decisions=328, wrong=158, backtracks=2, failedAssignments=156, nogoods=54
5.21/2.98
5.51/3.04 num=10, depth=0..25, filters=9098, wck=0.878, mem=34M512
5.51/3.04 decisions=404, wrong=185, backtracks=4, failedAssignments=181, nogoods=78
5.51/3.04
5.51/3.08 num=11, depth=0..3, filters=9815, wck=0.918, mem=34M512
5.51/3.08 decisions=463, wrong=213, backtracks=4, failedAssignments=209, nogoods=89
5.51/3.08
5.51/3.11 num=12, depth=0..5, filters=10390, wck=0.948, mem=34M512
5.51/3.11 decisions=529, wrong=244, backtracks=4, failedAssignments=240, nogoods=104
5.51/3.11
5.72/3.14 num=13, depth=0..8, filters=11012, wck=0.983, mem=34M512
5.72/3.14 decisions=603, wrong=278, backtracks=4, failedAssignments=274, nogoods=123
5.72/3.14
5.72/3.18 num=14, depth=0..26, filters=11521, wck=1.023, mem=34M512
5.72/3.18 decisions=704, wrong=318, backtracks=8, failedAssignments=311, nogoods=144
5.72/3.18
5.82/3.22 num=15, depth=0..19, filters=12002, wck=1.059, mem=34M512
5.82/3.22 decisions=801, wrong=359, backtracks=8, failedAssignments=352, nogoods=172
5.82/3.22
5.82/3.25 num=16, depth=0..21, filters=12472, wck=1.096, mem=37M154
5.82/3.25 decisions=907, wrong=404, backtracks=8, failedAssignments=397, nogoods=205
5.82/3.25
5.82/3.29 o 0
5.82/3.29 num=17, depth=0..88, filters=12858, ccks=134, wck=1.134, mem=37M154
5.82/3.29 decisions=1029, wrong=453, backtracks=8, failedAssignments=446, nogoods=245, foundSolutions=1, bestBound=0
5.82/3.29
5.96/3.32 o 2
5.96/3.33 num=18, depth=3..88, filters=13277, ccks=268, wck=1.168, mem=37M154
5.96/3.33 decisions=1144, wrong=497, backtracks=8, failedAssignments=490, nogoods=289, foundSolutions=2, bestBound=2
5.96/3.33
5.96/3.34 num=19, depth=2..6, filters=13424, ccks=268, wck=1.179, mem=37M154
5.96/3.34 decisions=1169, wrong=508, backtracks=8, failedAssignments=501, nogoods=300, foundSolutions=2, bestBound=2
5.96/3.34
5.96/3.34 num=20, depth=0..6, filters=13511, ccks=268, wck=1.186, mem=37M154
5.96/3.34 decisions=1194, wrong=519, backtracks=8, failedAssignments=512, nogoods=310, foundSolutions=2, bestBound=2
5.96/3.34
5.96/3.35 num=21, depth=0..17, filters=13606, ccks=268, wck=1.194, mem=37M154
5.96/3.35 decisions=1230, wrong=531, backtracks=8, failedAssignments=524, nogoods=320, foundSolutions=2, bestBound=2
5.96/3.35
5.96/3.37 o 3
5.96/3.37 num=22, depth=0..88, filters=13706, ccks=402, wck=1.206, mem=37M154
5.96/3.37 decisions=1275, wrong=543, backtracks=8, failedAssignments=536, nogoods=330, foundSolutions=3, bestBound=3
5.96/3.37
5.96/3.37 num=23, depth=3..17, filters=13810, ccks=402, wck=1.216, mem=37M154
5.96/3.37 decisions=1320, wrong=559, backtracks=10, failedAssignments=550, nogoods=342, foundSolutions=3, bestBound=3
5.96/3.37
5.96/3.38 num=24, depth=0..3, filters=13917, ccks=402, wck=1.225, mem=37M154
5.96/3.38 decisions=1344, wrong=570, backtracks=10, failedAssignments=561, nogoods=343, foundSolutions=3, bestBound=3
5.96/3.38
5.96/3.39
5.96/3.39 New Bounds: 4..3
5.96/3.39 num=25, depth=0..11, filters=14001, ccks=402, wck=1.232, mem=37M154
5.96/3.39 decisions=1382, wrong=590, backtracks=22, failedAssignments=571, foundSolutions=3, bestBound=3
5.96/3.39
5.96/3.39 Global
5.96/3.39 filters=14001, ccks=402
5.96/3.39 Stop=FULL_EXPLORATION, wrong=590, bestBound=3, bestBoundWck=1.514, bestBoundCpu=3.334, foundSolutions=3, firstSolCpu=3.256
5.96/3.39 wck=1.541, cpu=3.361, mem=37M154
5.96/3.39
5.96/3.39 v <instantiation id='sol3' type='solution' cost='3'> <list> x b[][] </list> <values> 3 100 0 98 0 95 0 94 0 94 0 94 0 93 0 92 0 87 0 85 0 85 0 84 0 83 0 82 0 81 0 78 0 78 0 75 0 73 0 72 0 71 0 71 0 70 0 70 0 68 0 67 0 67 0 66 0 65 0 64 0 60 37 59 36 58 0 57 43 56 43 56 35 56 0 55 45 55 43 54 46 51 49 0 0 0 0 0 0 </values> </instantiation>
5.96/3.39 s OPTIMUM FOUND
5.96/3.39
5.96/3.39 d WRONG_DECISIONS 590
5.96/3.39 d NUMBER_SOLUTIONS 3
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 (15187 MiB free)
memory of node 1: 16384 MiB (15418 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391284-1568390910/watcher-4391284-1568390910 -o /tmp/evaluation-result-4391284-1568390910/solver-4391284-1568390910 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568390351-1981 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391284-1568390910.xml -cm
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=2256, runsolver pid=2253
[startup+0.100067 s]*
/proc/loadavg: 2.00 1.78 1.39 5/229 2271
/proc/meminfo: memFree=31324364/32770624 swapFree=66981540/67108860
[pid=2256] ppid=2253 vsize=10659884 memory=27428 CPUtime=0.13 cores=0,2,4,6
/proc/2256/stat : 2256 (java) S 2253 2256 1949 0 -1 1077944320 5393 0 0 0 12 1 0 0 20 0 15 0 415353717 10915721216 6857 33554432000 4194304 4196468 140733482375744 140733482358288 140364406943479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
/proc/2256/statm: 2664971 6857 2871 1 0 2627468 0
[pid=2256/tid=2258] ppid=2253 vsize=10659884 memory=7822038051842263955 CPUtime=0.09 cores=0,2,4,6
/proc/2256/task/2258/stat : 2258 (java) R 2253 2256 1949 0 -1 4202560 3193 0 0 0 8 1 0 0 20 0 15 0 415353717 10915721216 6923 33554432000 4194304 4196468 140733482375744 140364411173136 140364406955414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2259] ppid=2253 vsize=10659884 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2259/stat : 2259 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 6923 33554432000 4194304 4196468 140733482375744 140364013821072 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2260] ppid=2253 vsize=10659884 memory=140128676411008 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2260/stat : 2260 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 6923 33554432000 4194304 4196468 140733482375744 140364012768272 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2261] ppid=2253 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2261/stat : 2261 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 6923 33554432000 4194304 4196468 140733482375744 140364011715472 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2262] ppid=2253 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2262/stat : 2262 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 6923 33554432000 4194304 4196468 140733482375744 140364010662672 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2263] ppid=2253 vsize=10659884 memory=140128676411008 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2263/stat : 2263 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353720 10915721216 6923 33554432000 4194304 4196468 140733482375744 140363966085488 140364406954626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2264] ppid=2253 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2264/stat : 2264 (java) S 2253 2256 1949 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415353720 10915721216 6923 33554432000 4194304 4196468 140733482375744 140363965031456 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2265] ppid=2253 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2265/stat : 2265 (java) S 2253 2256 1949 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415353720 10915721216 6923 33554432000 4194304 4196468 140733482375744 140363963978608 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2266] ppid=2253 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2266/stat : 2266 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353723 10915721216 6923 33554432000 4194304 4196468 140733482375744 140363962926928 140364406962075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2267] ppid=2253 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2267/stat : 2267 (java) R 2253 2256 1949 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 415353723 10915721216 6923 33554432000 4194304 4196468 140733482375744 140363961875312 140364406954626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2268] ppid=2253 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2268/stat : 2268 (java) S 2253 2256 1949 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 15 0 415353723 10915721216 6923 33554432000 4194304 4196468 140733482375744 140363893304176 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2269] ppid=2253 vsize=10659884 memory=140128676411008 CPUtime=0.02 cores=0,2,4,6
/proc/2256/task/2269/stat : 2269 (java) R 2253 2256 1949 0 -1 4202560 379 0 0 0 2 0 0 0 20 0 15 0 415353723 10915721216 6923 33554432000 4194304 4196468 140733482375744 140363892247320 140364385575206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2270] ppid=2253 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2270/stat : 2270 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353723 10915721216 6923 33554432000 4194304 4196468 140733482375744 140363891198688 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2271] ppid=2253 vsize=10659884 memory=140128676411008 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2271/stat : 2271 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353723 10915721216 6923 33554432000 4194304 4196468 140733482375744 140363890145968 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27428 KiB
[startup+0.210788 s]*
/proc/loadavg: 2.00 1.78 1.39 3/229 2271
/proc/meminfo: memFree=31316952/32770624 swapFree=66981540/67108860
[pid=2256] ppid=2253 vsize=10659884 memory=35228 CPUtime=0.33 cores=0,2,4,6
/proc/2256/stat : 2256 (java) S 2253 2256 1949 0 -1 1077944320 6908 0 0 0 31 2 0 0 20 0 15 0 415353717 10915721216 8807 33554432000 4194304 4196468 140733482375744 140733482358288 140364406943479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
/proc/2256/statm: 2664971 8807 2988 1 0 2627468 0
[pid=2256/tid=2258] ppid=2253 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/2256/task/2258/stat : 2258 (java) R 2253 2256 1949 0 -1 4202560 3847 0 0 0 19 1 0 0 20 0 15 0 415353717 10915721216 8807 33554432000 4194304 4196468 140733482375744 140364411169840 140364406965405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2259] ppid=2253 vsize=10659884 memory=342 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2259/stat : 2259 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 8807 33554432000 4194304 4196468 140733482375744 140364013821072 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2260] ppid=2253 vsize=10659884 memory=140128676429224 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2260/stat : 2260 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 8807 33554432000 4194304 4196468 140733482375744 140364012768272 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2261] ppid=2253 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2261/stat : 2261 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 8807 33554432000 4194304 4196468 140733482375744 140364011715472 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2262] ppid=2253 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2262/stat : 2262 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 8807 33554432000 4194304 4196468 140733482375744 140364010662672 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2263] ppid=2253 vsize=10659884 memory=140128676411008 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2263/stat : 2263 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353720 10915721216 8807 33554432000 4194304 4196468 140733482375744 140363966085488 140364406954626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2264] ppid=2253 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2264/stat : 2264 (java) S 2253 2256 1949 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415353720 10915721216 8807 33554432000 4194304 4196468 140733482375744 140363965031456 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2265] ppid=2253 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2265/stat : 2265 (java) S 2253 2256 1949 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415353720 10915721216 8807 33554432000 4194304 4196468 140733482375744 140363963978608 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2266] ppid=2253 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2266/stat : 2266 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353723 10915721216 8807 33554432000 4194304 4196468 140733482375744 140363962926928 140364406962075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2267] ppid=2253 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2256/task/2267/stat : 2267 (java) S 2253 2256 1949 0 -1 1077944384 663 0 0 0 3 0 0 0 20 0 15 0 415353723 10915721216 8807 33554432000 4194304 4196468 140733482375744 140363961875312 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2268] ppid=2253 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2256/task/2268/stat : 2268 (java) S 2253 2256 1949 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 15 0 415353723 10915721216 8807 33554432000 4194304 4196468 140733482375744 140363893304048 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2269] ppid=2253 vsize=10659884 memory=140128676411008 CPUtime=0.05 cores=0,2,4,6
/proc/2256/task/2269/stat : 2269 (java) S 2253 2256 1949 0 -1 1077944384 758 0 0 0 5 0 0 0 20 0 15 0 415353723 10915721216 8807 33554432000 4194304 4196468 140733482375744 140363892251248 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2270] ppid=2253 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2270/stat : 2270 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353723 10915721216 8807 33554432000 4194304 4196468 140733482375744 140363891198688 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2271] ppid=2253 vsize=10659884 memory=140128676411008 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2271/stat : 2271 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353723 10915721216 8807 33554432000 4194304 4196468 140733482375744 140363890145968 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35228 KiB
[startup+0.310258 s]*
/proc/loadavg: 2.00 1.78 1.39 4/229 2271
/proc/meminfo: memFree=31309108/32770624 swapFree=66981540/67108860
[pid=2256] ppid=2253 vsize=10659884 memory=40356 CPUtime=0.47 cores=0,2,4,6
/proc/2256/stat : 2256 (java) S 2253 2256 1949 0 -1 1077944320 9437 0 0 0 44 3 0 0 20 0 15 0 415353717 10915721216 10089 33554432000 4194304 4196468 140733482375744 140733482358288 140364406943479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
/proc/2256/statm: 2664971 10089 3000 1 0 2627468 0
[pid=2256/tid=2258] ppid=2253 vsize=10659884 memory=280257085237152 CPUtime=0.3 cores=0,2,4,6
/proc/2256/task/2258/stat : 2258 (java) R 2253 2256 1949 0 -1 4202560 6315 0 0 0 27 3 0 0 20 0 15 0 415353717 10915721216 10089 33554432000 4194304 4196468 140733482375744 140364411175888 140364406965405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2259] ppid=2253 vsize=10659884 memory=67 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2259/stat : 2259 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 10089 33554432000 4194304 4196468 140733482375744 140364013821072 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2260] ppid=2253 vsize=10659884 memory=280257219029584 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2260/stat : 2260 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 10089 33554432000 4194304 4196468 140733482375744 140364012768272 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2261] ppid=2253 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2261/stat : 2261 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 10089 33554432000 4194304 4196468 140733482375744 140364011715472 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2262] ppid=2253 vsize=10659884 memory=67 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2262/stat : 2262 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353718 10915721216 10089 33554432000 4194304 4196468 140733482375744 140364010662672 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2263] ppid=2253 vsize=10659884 memory=140128676411008 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2263/stat : 2263 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353720 10915721216 10089 33554432000 4194304 4196468 140733482375744 140363966085488 140364406954626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2264] ppid=2253 vsize=10659884 memory=140128542650831 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2264/stat : 2264 (java) S 2253 2256 1949 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415353720 10915721216 10089 33554432000 4194304 4196468 140733482375744 140363965031456 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2265] ppid=2253 vsize=10659884 memory=67300 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2265/stat : 2265 (java) S 2253 2256 1949 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415353720 10915721216 10089 33554432000 4194304 4196468 140733482375744 140363963978608 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2266] ppid=2253 vsize=10659884 memory=69604 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2266/stat : 2266 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353723 10915721216 10089 33554432000 4194304 4196468 140733482375744 140363962926928 140364406962075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2267] ppid=2253 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2256/task/2267/stat : 2267 (java) S 2253 2256 1949 0 -1 1077944384 700 0 0 0 4 0 0 0 20 0 15 0 415353723 10915721216 10089 33554432000 4194304 4196468 140733482375744 140363961875312 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2268] ppid=2253 vsize=10659884 memory=140128542639375 CPUtime=0.03 cores=0,2,4,6
/proc/2256/task/2268/stat : 2268 (java) R 2253 2256 1949 0 -1 4202560 298 0 0 0 3 0 0 0 20 0 15 0 415353723 10915721216 10089 33554432000 4194304 4196468 140733482375744 140363893295552 140364400049196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2269] ppid=2253 vsize=10659884 memory=280257219059552 CPUtime=0.08 cores=0,2,4,6
/proc/2256/task/2269/stat : 2269 (java) S 2253 2256 1949 0 -1 1077944384 780 0 0 0 8 0 0 0 20 0 15 0 415353723 10915721216 10089 33554432000 4194304 4196468 140733482375744 140363892251248 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2270] ppid=2253 vsize=10659884 memory=140128542643983 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2270/stat : 2270 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353723 10915721216 10089 33554432000 4194304 4196468 140733482375744 140363891198688 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2271] ppid=2253 vsize=10659884 memory=140128676411020 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2271/stat : 2271 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353723 10915721216 10089 33554432000 4194304 4196468 140733482375744 140363890145968 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40356 KiB
[startup+0.700758 s]
/proc/loadavg: 2.00 1.78 1.39 4/229 2272
/proc/meminfo: memFree=31300476/32770624 swapFree=66981540/67108860
[pid=2256] ppid=2253 vsize=10661932 memory=64004 CPUtime=1.11 cores=0,2,4,6
/proc/2256/stat : 2256 (java) S 2253 2256 1949 0 -1 1077944320 13086 0 0 0 105 6 0 0 20 0 15 0 415353717 10917818368 16001 33554432000 4194304 4196468 140733482375744 140733482358288 140364406943479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
/proc/2256/statm: 2665483 16001 3070 1 0 2627980 0
[pid=2256/tid=2258] ppid=2253 vsize=10661932 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/2256/task/2258/stat : 2258 (java) R 2253 2256 1949 0 -1 4202560 8856 0 0 0 63 5 0 0 20 0 15 0 415353717 10917818368 16001 33554432000 4194304 4196468 140733482375744 140364411175504 140364406964826 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2259] ppid=2253 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2259/stat : 2259 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353718 10917818368 16001 33554432000 4194304 4196468 140733482375744 140364013821072 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2260] ppid=2253 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2260/stat : 2260 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353718 10917818368 16001 33554432000 4194304 4196468 140733482375744 140364012768272 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2261] ppid=2253 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2261/stat : 2261 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353718 10917818368 16001 33554432000 4194304 4196468 140733482375744 140364011715472 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2262] ppid=2253 vsize=10661932 memory=149848053521462 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2262/stat : 2262 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353718 10917818368 16001 33554432000 4194304 4196468 140733482375744 140364010662672 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2263] ppid=2253 vsize=10661932 memory=3241303 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2263/stat : 2263 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353720 10917818368 16001 33554432000 4194304 4196468 140733482375744 140363966085488 140364406954626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2264] ppid=2253 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2264/stat : 2264 (java) S 2253 2256 1949 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415353720 10917818368 16001 33554432000 4194304 4196468 140733482375744 140363965031456 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2265] ppid=2253 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2265/stat : 2265 (java) S 2253 2256 1949 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415353720 10917818368 16001 33554432000 4194304 4196468 140733482375744 140363963978608 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2266] ppid=2253 vsize=10661932 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2266/stat : 2266 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353723 10917818368 16001 33554432000 4194304 4196468 140733482375744 140363962926928 140364406962075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2267] ppid=2253 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/2256/task/2267/stat : 2267 (java) R 2253 2256 1949 0 -1 4202560 1035 0 0 0 11 0 0 0 20 0 15 0 415353723 10917818368 16001 33554432000 4194304 4196468 140733482375744 140363961875312 140364388119323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2268] ppid=2253 vsize=10661932 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/2256/task/2268/stat : 2268 (java) S 2253 2256 1949 0 -1 1077944384 627 0 0 0 11 0 0 0 20 0 15 0 415353723 10917818368 16001 33554432000 4194304 4196468 140733482375744 140363893304048 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2269] ppid=2253 vsize=10661932 memory=6655300316396806240 CPUtime=0.18 cores=0,2,4,6
/proc/2256/task/2269/stat : 2269 (java) S 2253 2256 1949 0 -1 1077944384 1208 0 0 0 18 0 0 0 20 0 15 0 415353723 10917818368 16001 33554432000 4194304 4196468 140733482375744 140363892251248 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2270] ppid=2253 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2270/stat : 2270 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353723 10917818368 16001 33554432000 4194304 4196468 140733482375744 140363891198688 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2271] ppid=2253 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2271/stat : 2271 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353723 10917818368 16001 33554432000 4194304 4196468 140733482375744 140363890145968 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64004 KiB
[startup+1.50081 s]
/proc/loadavg: 2.00 1.78 1.39 3/229 2272
/proc/meminfo: memFree=31284480/32770624 swapFree=66981540/67108860
[pid=2256] ppid=2253 vsize=10663980 memory=75900 CPUtime=2.02 cores=0,2,4,6
/proc/2256/stat : 2256 (java) S 2253 2256 1949 0 -1 1077944320 18707 0 0 0 195 7 0 0 20 0 15 0 415353717 10919915520 18975 33554432000 4194304 4196468 140733482375744 140733482358288 140364406943479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
/proc/2256/statm: 2665995 18975 3094 1 0 2628492 0
[pid=2256/tid=2258] ppid=2253 vsize=10663980 memory=7157735280314177890 CPUtime=1.48 cores=0,2,4,6
/proc/2256/task/2258/stat : 2258 (java) R 2253 2256 1949 0 -1 4202560 13123 0 0 0 143 5 0 0 20 0 15 0 415353717 10919915520 18975 33554432000 4194304 4196468 140733482375744 140364411175504 140364391023966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2259] ppid=2253 vsize=10663980 memory=7014751519734323554 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2259/stat : 2259 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353718 10919915520 18975 33554432000 4194304 4196468 140733482375744 140364013821072 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2260] ppid=2253 vsize=10663980 memory=7014751519734323554 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2260/stat : 2260 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353718 10919915520 18975 33554432000 4194304 4196468 140733482375744 140364012768272 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2261] ppid=2253 vsize=10663980 memory=280257085227520 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2261/stat : 2261 (java) S 2253 2256 1949 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415353718 10919915520 18975 33554432000 4194304 4196468 140733482375744 140364011715472 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2262] ppid=2253 vsize=10663980 memory=11863639198442 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2262/stat : 2262 (java) S 2253 2256 1949 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415353718 10919915520 18975 33554432000 4194304 4196468 140733482375744 140364010662672 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2263] ppid=2253 vsize=10663980 memory=11333172088 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2263/stat : 2263 (java) S 2253 2256 1949 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 415353720 10919915520 18975 33554432000 4194304 4196468 140733482375744 140363966085488 140364406954626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2264] ppid=2253 vsize=10663980 memory=11333172088 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2264/stat : 2264 (java) S 2253 2256 1949 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415353720 10919915520 18975 33554432000 4194304 4196468 140733482375744 140363965031456 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2265] ppid=2253 vsize=10663980 memory=11333172088 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2265/stat : 2265 (java) S 2253 2256 1949 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415353720 10919915520 18975 33554432000 4194304 4196468 140733482375744 140363963978608 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2266] ppid=2253 vsize=10663980 memory=11333172091 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2266/stat : 2266 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353723 10919915520 18975 33554432000 4194304 4196468 140733482375744 140363962926928 140364406962075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2267] ppid=2253 vsize=10663980 memory=11333172091 CPUtime=0.18 cores=0,2,4,6
/proc/2256/task/2267/stat : 2267 (java) S 2253 2256 1949 0 -1 1077944384 1945 0 0 0 18 0 0 0 20 0 15 0 415353723 10919915520 18975 33554432000 4194304 4196468 140733482375744 140363961875312 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2268] ppid=2253 vsize=10663980 memory=11333172091 CPUtime=0.14 cores=0,2,4,6
/proc/2256/task/2268/stat : 2268 (java) S 2253 2256 1949 0 -1 1077944384 978 0 0 0 14 0 0 0 20 0 15 0 415353723 10919915520 18975 33554432000 4194304 4196468 140733482375744 140363893304048 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2269] ppid=2253 vsize=10663980 memory=11333172091 CPUtime=0.19 cores=0,2,4,6
/proc/2256/task/2269/stat : 2269 (java) S 2253 2256 1949 0 -1 1077944384 1210 0 0 0 19 0 0 0 20 0 15 0 415353723 10919915520 18975 33554432000 4194304 4196468 140733482375744 140363892251248 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2270] ppid=2253 vsize=10663980 memory=11333172091 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2270/stat : 2270 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415353723 10919915520 18975 33554432000 4194304 4196468 140733482375744 140363891198688 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2271] ppid=2253 vsize=10663980 memory=11333172091 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2271/stat : 2271 (java) S 2253 2256 1949 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 415353723 10919915520 18975 33554432000 4194304 4196468 140733482375744 140363890145968 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75900 KiB
[startup+3.11049 s]
/proc/loadavg: 2.00 1.78 1.39 5/229 2273
/proc/meminfo: memFree=31184296/32770624 swapFree=66981540/67108860
[pid=2256] ppid=2253 vsize=10746276 memory=168032 CPUtime=5.72 cores=0,2,4,6
/proc/2256/stat : 2256 (java) S 2253 2256 1949 0 -1 1077944320 30721 0 0 0 558 14 0 0 20 0 16 0 415353717 11004186624 42008 33554432000 4194304 4196468 140733482375744 140733482358288 140364406943479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
/proc/2256/statm: 2686569 42008 3339 1 0 2646705 0
[pid=2256/tid=2258] ppid=2253 vsize=10746276 memory=1628 CPUtime=1.87 cores=0,2,4,6
/proc/2256/task/2258/stat : 2258 (java) S 2253 2256 1949 0 -1 1077944384 15368 0 0 0 180 7 0 0 20 0 16 0 415353717 11004186624 42008 33554432000 4194304 4196468 140733482375744 140364411186352 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2259] ppid=2253 vsize=10746276 memory=164396 CPUtime=0.01 cores=0,2,4,6
/proc/2256/task/2259/stat : 2259 (java) S 2253 2256 1949 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 16 0 415353718 11004186624 42008 33554432000 4194304 4196468 140733482375744 140364013821072 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2260] ppid=2253 vsize=10746276 memory=55 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2260/stat : 2260 (java) S 2253 2256 1949 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 415353718 11004186624 42008 33554432000 4194304 4196468 140733482375744 140364012768272 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2261] ppid=2253 vsize=10746276 memory=2996107 CPUtime=0.01 cores=0,2,4,6
/proc/2256/task/2261/stat : 2261 (java) S 2253 2256 1949 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 16 0 415353718 11004186624 42008 33554432000 4194304 4196468 140733482375744 140364011715472 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2262] ppid=2253 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2262/stat : 2262 (java) S 2253 2256 1949 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 415353718 11004186624 42008 33554432000 4194304 4196468 140733482375744 140364010662672 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2263] ppid=2253 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2256/task/2263/stat : 2263 (java) S 2253 2256 1949 0 -1 1077944384 1092 0 0 0 1 0 0 0 20 0 16 0 415353720 11004186624 42008 33554432000 4194304 4196468 140733482375744 140363966085488 140364406954626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2264] ppid=2253 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2264/stat : 2264 (java) S 2253 2256 1949 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415353720 11004186624 42008 33554432000 4194304 4196468 140733482375744 140363965031520 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2265] ppid=2253 vsize=10746276 memory=3472468424770226572 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2265/stat : 2265 (java) S 2253 2256 1949 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415353720 11004186624 42008 33554432000 4194304 4196468 140733482375744 140363963978624 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2266] ppid=2253 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2266/stat : 2266 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415353723 11004186624 42008 33554432000 4194304 4196468 140733482375744 140363962926928 140364406962075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2267] ppid=2253 vsize=10746276 memory=0 CPUtime=1 cores=0,2,4,6
/proc/2256/task/2267/stat : 2267 (java) S 2253 2256 1949 0 -1 1077944384 4150 0 0 0 99 1 0 0 20 0 16 0 415353723 11004186624 42008 33554432000 4194304 4196468 140733482375744 140363961875312 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2268] ppid=2253 vsize=10746276 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/2256/task/2268/stat : 2268 (java) S 2253 2256 1949 0 -1 1077944384 3063 0 0 0 108 0 0 0 20 0 16 0 415353723 11004186624 42008 33554432000 4194304 4196468 140733482375744 140363893304048 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2269] ppid=2253 vsize=10746276 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/2256/task/2269/stat : 2269 (java) R 2253 2256 1949 0 -1 1077944384 2016 0 0 0 45 1 0 0 20 0 16 0 415353723 11004186624 42008 33554432000 4194304 4196468 140733482375744 140363892251248 140364406954626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2270] ppid=2253 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2270/stat : 2270 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415353723 11004186624 42008 33554432000 4194304 4196468 140733482375744 140363891198688 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2271] ppid=2253 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2271/stat : 2271 (java) S 2253 2256 1949 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 415353723 11004186624 42008 33554432000 4194304 4196468 140733482375744 140363890145968 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2273] ppid=2253 vsize=10746276 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/2256/task/2273/stat : 2273 (java) R 2253 2256 1949 0 -1 4202560 3375 0 0 0 117 2 0 0 20 0 16 0 415353905 11004186624 42008 33554432000 4194304 4196468 140733482375744 140363873475872 140364406955414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 168032 KiB
[startup+3.41236 s]
# the end of solver process 2256 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.9987 s, system=0.153033 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20095 s]
/proc/loadavg: 2.00 1.78 1.39 5/229 2273
/proc/meminfo: memFree=31184296/32770624 swapFree=66981540/67108860
[pid=2256] ppid=2253 vsize=10746276 memory=168216 CPUtime=5.82 cores=0,2,4,6
/proc/2256/stat : 2256 (java) S 2253 2256 1949 0 -1 1077944320 30751 0 0 0 568 14 0 0 20 0 16 0 415353717 11004186624 42054 33554432000 4194304 4196468 140733482375744 140733482358288 140364406943479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
/proc/2256/statm: 2686569 42054 3339 1 0 2646705 0
[pid=2256/tid=2258] ppid=2253 vsize=10746276 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/2256/task/2258/stat : 2258 (java) S 2253 2256 1949 0 -1 1077944384 15368 0 0 0 180 7 0 0 20 0 16 0 415353717 11004186624 42054 33554432000 4194304 4196468 140733482375744 140364411186352 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2259] ppid=2253 vsize=10746276 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/2256/task/2259/stat : 2259 (java) S 2253 2256 1949 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 16 0 415353718 11004186624 42054 33554432000 4194304 4196468 140733482375744 140364013821072 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2260] ppid=2253 vsize=10746276 memory=280257085543136 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2260/stat : 2260 (java) S 2253 2256 1949 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 415353718 11004186624 42054 33554432000 4194304 4196468 140733482375744 140364012768272 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2261] ppid=2253 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2256/task/2261/stat : 2261 (java) S 2253 2256 1949 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 16 0 415353718 11004186624 42054 33554432000 4194304 4196468 140733482375744 140364011715472 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2262] ppid=2253 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2262/stat : 2262 (java) S 2253 2256 1949 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 415353718 11004186624 42054 33554432000 4194304 4196468 140733482375744 140364010662672 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2263] ppid=2253 vsize=10746276 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2256/task/2263/stat : 2263 (java) S 2253 2256 1949 0 -1 1077944384 1092 0 0 0 1 0 0 0 20 0 16 0 415353720 11004186624 42054 33554432000 4194304 4196468 140733482375744 140363966085488 140364406954626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2264] ppid=2253 vsize=10746276 memory=-7452431979323206951 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2264/stat : 2264 (java) S 2253 2256 1949 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 415353720 11004186624 42054 33554432000 4194304 4196468 140733482375744 140363965031520 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2265] ppid=2253 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2265/stat : 2265 (java) S 2253 2256 1949 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415353720 11004186624 42054 33554432000 4194304 4196468 140733482375744 140363963978624 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2266] ppid=2253 vsize=10746276 memory=-7097481891625773097 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2266/stat : 2266 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415353723 11004186624 42054 33554432000 4194304 4196468 140733482375744 140363962926928 140364406962075 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2267] ppid=2253 vsize=10746276 memory=6943526294502006880 CPUtime=1 cores=0,2,4,6
/proc/2256/task/2267/stat : 2267 (java) S 2253 2256 1949 0 -1 1077944384 4150 0 0 0 99 1 0 0 20 0 16 0 415353723 11004186624 42054 33554432000 4194304 4196468 140733482375744 140363961875312 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2268] ppid=2253 vsize=10746276 memory=7014751519734323554 CPUtime=1.09 cores=0,2,4,6
/proc/2256/task/2268/stat : 2268 (java) S 2253 2256 1949 0 -1 1077944384 3070 0 0 0 109 0 0 0 20 0 16 0 415353723 11004186624 42054 33554432000 4194304 4196468 140733482375744 140363893304048 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2269] ppid=2253 vsize=10746276 memory=7445126832173180752 CPUtime=0.47 cores=0,2,4,6
/proc/2256/task/2269/stat : 2269 (java) S 2253 2256 1949 0 -1 1077944384 2039 0 0 0 46 1 0 0 20 0 16 0 415353723 11004186624 42054 33554432000 4194304 4196468 140733482375744 140363892251248 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2270] ppid=2253 vsize=10746276 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2270/stat : 2270 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415353723 11004186624 42054 33554432000 4194304 4196468 140733482375744 140363891198688 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2271] ppid=2253 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2271/stat : 2271 (java) S 2253 2256 1949 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 16 0 415353723 11004186624 42054 33554432000 4194304 4196468 140733482375744 140363890145968 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2273] ppid=2253 vsize=10746276 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/2256/task/2273/stat : 2273 (java) R 2253 2256 1949 0 -1 4202560 3375 0 0 0 126 2 0 0 20 0 16 0 415353905 11004186624 42054 33554432000 4194304 4196468 140733482375744 140363873475872 140364049391095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 168216 KiB
[startup+3.40073 s]
/proc/loadavg: 2.00 1.78 1.39 5/229 2273
/proc/meminfo: memFree=31184296/32770624 swapFree=66981540/67108860
[pid=2256] ppid=2253 vsize=10812840 memory=168764 CPUtime=6.13 cores=0,2,4,6
/proc/2256/stat : 2256 (java) S 2253 2256 1949 0 -1 1077944320 30950 0 0 0 599 14 0 0 20 0 14 0 415353717 11072348160 42191 33554432000 4194304 4196468 140733482375744 140733482358288 140364406943479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
/proc/2256/statm: 2703210 42191 3344 1 0 2663346 0
[pid=2256/tid=2258] ppid=2253 vsize=10812840 memory=0 CPUtime=1.87 cores=0,2,4,6
/proc/2256/task/2258/stat : 2258 (java) S 2253 2256 1949 0 -1 1077944384 15373 0 0 0 180 7 0 0 20 0 14 0 415353717 11072348160 42191 33554432000 4194304 4196468 140733482375744 140364411186320 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2259] ppid=2253 vsize=10812840 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2256/task/2259/stat : 2259 (java) S 2253 2256 1949 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 14 0 415353718 11072348160 42191 33554432000 4194304 4196468 140733482375744 140364013821072 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2260] ppid=2253 vsize=10812840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2260/stat : 2260 (java) S 2253 2256 1949 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 14 0 415353718 11072348160 42191 33554432000 4194304 4196468 140733482375744 140364012768272 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2261] ppid=2253 vsize=10812840 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2256/task/2261/stat : 2261 (java) S 2253 2256 1949 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 14 0 415353718 11072348160 42191 33554432000 4194304 4196468 140733482375744 140364011715472 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2262] ppid=2253 vsize=10812840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2262/stat : 2262 (java) S 2253 2256 1949 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 14 0 415353718 11072348160 42191 33554432000 4194304 4196468 140733482375744 140364010662672 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2263] ppid=2253 vsize=10812840 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2256/task/2263/stat : 2263 (java) S 2253 2256 1949 0 -1 1077944384 1092 0 0 0 1 0 0 0 20 0 14 0 415353720 11072348160 42191 33554432000 4194304 4196468 140733482375744 140363966085696 140364406954626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2264] ppid=2253 vsize=10812840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2264/stat : 2264 (java) S 2253 2256 1949 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 14 0 415353720 11072348160 42191 33554432000 4194304 4196468 140733482375744 140363965031520 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2265] ppid=2253 vsize=10812840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2265/stat : 2265 (java) S 2253 2256 1949 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 14 0 415353720 11072348160 42191 33554432000 4194304 4196468 140733482375744 140363963978624 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2266] ppid=2253 vsize=10812840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2266/stat : 2266 (java) S 2253 2256 1949 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 14 0 415353723 11072348160 42191 33554432000 4194304 4196468 140733482375744 140363962925696 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2267] ppid=2253 vsize=10812840 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/2256/task/2267/stat : 2267 (java) S 2253 2256 1949 0 -1 1077944384 4169 0 0 0 104 1 0 0 20 0 14 0 415353723 11072348160 42191 33554432000 4194304 4196468 140733482375744 140363961855712 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2268] ppid=2253 vsize=10812840 memory=33 CPUtime=1.13 cores=0,2,4,6
/proc/2256/task/2268/stat : 2268 (java) S 2253 2256 1949 0 -1 1077944384 3080 0 0 0 113 0 0 0 20 0 14 0 415353723 11072348160 42191 33554432000 4194304 4196468 140733482375744 140363893304048 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2269] ppid=2253 vsize=10812840 memory=6811895185499135200 CPUtime=0.51 cores=0,2,4,6
/proc/2256/task/2269/stat : 2269 (java) S 2253 2256 1949 0 -1 1077944384 2113 0 0 0 50 1 0 0 20 0 14 0 415353723 11072348160 42191 33554432000 4194304 4196468 140733482375744 140363892251248 140364406954626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
[pid=2256/tid=2270] ppid=2253 vsize=10812840 memory=7295946125792534684 CPUtime=0 cores=0,2,4,6
/proc/2256/task/2270/stat : 2270 (java) S 2253 2256 1949 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 415353723 11072348160 42191 33554432000 4194304 4196468 140733482375744 140363891198688 140364406953685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18939904 140733482382347 140733482382450 140733482382450 140733482385359 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 10812840 KiB
Current children cumulated memory: 168764 KiB
Child status: 0
Real time (s): 3.41241
CPU time (s): 6.15173
CPU user time (s): 5.9987
CPU system time (s): 0.153033
CPU usage (%): 180.275
Max. virtual memory (cumulated for all children) (KiB): 10812840
Max. memory (cumulated for all children) (KiB): 168764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.9987
system time used= 0.153033
maximum resident set size= 169396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2491
involuntary context switches= 19
# summary of solver processes directly reported to runsolver:
# pid: 2256
# total CPU time (s): 6.15173
# total CPU user time (s): 5.9987
# total CPU system time (s): 0.153033
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039837 second user time and 0.084228 second system time
The end