2.42/1.89
2.42/1.89 AbsCon 2
2.66/1.90
2.92/2.03 Instance
2.92/2.03 name=instance-4390984-1568385541, framework=COP, bounds=-infty..+infty
2.92/2.03
2.92/2.03 Loading variables...
2.92/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb8660f
2.92/2.07 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a7089db
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b0bcec8
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf180cc
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f0172bb
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12a2321c
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c83890
2.92/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@587c96f3
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8d14b0
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716dad56
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d21694b
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fb6d368
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17eaef8e
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53143275
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f377049
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23c27fa9
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53331eb2
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a217f7
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61c77df4
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@297dd2bf
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8baded9
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34206bf4
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79649f01
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4095ba5e
2.92/2.08 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3a9d04
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e560a22
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bcf9ef0
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@162386b8
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d2c600c
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b52a78b
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35ee20af
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d0ccc52
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@329a5db3
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a830d5
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d758ec
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1303b9d7
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ebb1e15
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@af00bc0
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@680a9bb4
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@783be5ea
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c0912
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e5b8bed
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8aca73
2.92/2.09 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@778043ae
3.18/2.14
3.18/2.14
3.18/2.14 Domains
3.18/2.14 nTypes=2, nValues=3477, sizes=[39#88,45#1]
3.18/2.14 Variables
3.18/2.14 count=89, degrees=[2#1,4#2,5#44,6#42]
3.18/2.14 Objectives
3.18/2.14 way=max, type=ObjVarGE
3.18/2.14 Constraints
3.18/2.14 count=134, nSpecific=134, arities=[1#1,2#88,4#43,45#1,88#1]
3.18/2.14 distribution=[CardinalityConstant#1,ExactlyKVariable#1,LexicographicLe#43,ObjVarGE#1,OrderedGE#44,SumSimpleLE#44]
3.18/2.14 wck=0.282, cpu=2.104, mem=21M228
3.18/2.15 Solver SolverBacktrack being built...
3.18/2.15
3.18/2.17
3.18/2.17 Solver
3.18/2.17 guaranteedGAC=true
3.18/2.17 wck=0.314, cpu=2.132, mem=31M871
3.18/2.18
3.18/2.18 Preprocessing
3.18/2.18 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.18/2.18 wck=0.005, cpu=2.139, mem=31M871
3.18/2.18
3.41/2.23 num=0, depth=1..1, filters=208, wck=0.057, mem=31M871
3.41/2.23 decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.41/2.23
3.74/2.31 num=1, depth=0..0, filters=713, wck=0.145, mem=34M513
3.74/2.31 decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
3.74/2.31
3.74/2.39 num=2, depth=0..0, filters=1450, wck=0.217, mem=34M513
3.74/2.39 decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
3.74/2.39
4.03/2.47 num=3, depth=0..0, filters=2452, wck=0.301, mem=34M513
4.03/2.47 decisions=93, wrong=46, backtracks=0, failedAssignments=46, nogoods=10
4.03/2.47
4.16/2.51 num=4, depth=0..3, filters=2879, wck=0.336, mem=34M513
4.16/2.51 decisions=123, wrong=60, backtracks=0, failedAssignments=60, nogoods=22
4.16/2.51
4.16/2.57 num=5, depth=0..0, filters=3653, wck=0.399, mem=34M513
4.16/2.57 decisions=155, wrong=76, backtracks=0, failedAssignments=76, nogoods=22
4.16/2.57
4.28/2.67 num=6, depth=0..0, filters=4836, wck=0.496, mem=37M156
4.28/2.67 decisions=189, wrong=93, backtracks=0, failedAssignments=93, nogoods=22
4.28/2.67
4.38/2.78 num=7, depth=0..4, filters=6064, wck=0.608, mem=37M156
4.38/2.78 decisions=232, wrong=114, backtracks=2, failedAssignments=112, nogoods=32
4.38/2.78
4.66/2.90 num=8, depth=0..0, filters=7515, wck=0.727, mem=37M156
4.66/2.90 decisions=274, wrong=135, backtracks=2, failedAssignments=133, nogoods=32
4.66/2.90
4.66/2.97 num=9, depth=0..8, filters=8392, wck=0.795, mem=37M156
4.66/2.97 decisions=328, wrong=158, backtracks=2, failedAssignments=156, nogoods=54
4.66/2.97
4.80/3.02 num=10, depth=0..25, filters=9098, wck=0.85, mem=37M156
4.80/3.02 decisions=404, wrong=185, backtracks=4, failedAssignments=181, nogoods=78
4.80/3.02
4.80/3.06 num=11, depth=0..3, filters=9815, wck=0.891, mem=37M156
4.80/3.06 decisions=463, wrong=213, backtracks=4, failedAssignments=209, nogoods=89
4.80/3.06
4.80/3.09 num=12, depth=0..5, filters=10390, wck=0.92, mem=37M156
4.80/3.09 decisions=529, wrong=244, backtracks=4, failedAssignments=240, nogoods=104
4.80/3.09
4.91/3.13 num=13, depth=0..8, filters=11012, wck=0.955, mem=39M798
4.91/3.13 decisions=603, wrong=278, backtracks=4, failedAssignments=274, nogoods=123
4.91/3.13
4.91/3.17 num=14, depth=0..26, filters=11521, wck=0.995, mem=39M798
4.91/3.17 decisions=704, wrong=318, backtracks=8, failedAssignments=311, nogoods=144
4.91/3.17
5.02/3.20 num=15, depth=0..19, filters=12002, wck=1.03, mem=39M798
5.02/3.20 decisions=801, wrong=359, backtracks=8, failedAssignments=352, nogoods=172
5.02/3.20
5.02/3.24 num=16, depth=0..21, filters=12472, wck=1.067, mem=39M798
5.02/3.24 decisions=907, wrong=404, backtracks=8, failedAssignments=397, nogoods=205
5.02/3.24
5.02/3.27 o 0
5.02/3.28 num=17, depth=0..88, filters=12858, ccks=134, wck=1.105, mem=39M798
5.02/3.28 decisions=1029, wrong=453, backtracks=8, failedAssignments=446, nogoods=245, foundSolutions=1, bestBound=0
5.02/3.28
5.15/3.31 o 2
5.15/3.31 num=18, depth=3..88, filters=13277, ccks=268, wck=1.139, mem=39M798
5.15/3.31 decisions=1144, wrong=497, backtracks=8, failedAssignments=490, nogoods=289, foundSolutions=2, bestBound=2
5.15/3.31
5.15/3.32 num=19, depth=2..6, filters=13424, ccks=268, wck=1.149, mem=39M798
5.15/3.32 decisions=1169, wrong=508, backtracks=8, failedAssignments=501, nogoods=300, foundSolutions=2, bestBound=2
5.15/3.32
5.15/3.33 num=20, depth=0..6, filters=13511, ccks=268, wck=1.156, mem=39M798
5.15/3.33 decisions=1194, wrong=519, backtracks=8, failedAssignments=512, nogoods=310, foundSolutions=2, bestBound=2
5.15/3.33
5.15/3.34 num=21, depth=0..17, filters=13606, ccks=268, wck=1.165, mem=39M798
5.15/3.34 decisions=1230, wrong=531, backtracks=8, failedAssignments=524, nogoods=320, foundSolutions=2, bestBound=2
5.15/3.34
5.15/3.35 o 3
5.15/3.35 num=22, depth=0..88, filters=13706, ccks=402, wck=1.176, mem=39M798
5.15/3.35 decisions=1275, wrong=543, backtracks=8, failedAssignments=536, nogoods=330, foundSolutions=3, bestBound=3
5.15/3.35
5.15/3.36 num=23, depth=3..17, filters=13810, ccks=402, wck=1.187, mem=39M798
5.15/3.36 decisions=1320, wrong=559, backtracks=10, failedAssignments=550, nogoods=342, foundSolutions=3, bestBound=3
5.15/3.36
5.15/3.37 num=24, depth=0..3, filters=13917, ccks=402, wck=1.195, mem=39M798
5.15/3.37 decisions=1344, wrong=570, backtracks=10, failedAssignments=561, nogoods=343, foundSolutions=3, bestBound=3
5.15/3.37
5.15/3.37
5.15/3.37 New Bounds: 4..3
5.15/3.37 num=25, depth=0..11, filters=14001, ccks=402, wck=1.202, mem=39M798
5.15/3.37 decisions=1382, wrong=590, backtracks=22, failedAssignments=571, foundSolutions=3, bestBound=3
5.15/3.37
5.15/3.37 Global
5.15/3.37 filters=14001, ccks=402
5.15/3.37 Stop=FULL_EXPLORATION, wrong=590, bestBound=3, bestBoundWck=1.49, bestBoundCpu=3.306, foundSolutions=3, firstSolCpu=3.229
5.15/3.37 wck=1.517, cpu=3.334, mem=39M798
5.15/3.37
5.15/3.37 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.15/3.37 s OPTIMUM FOUND
5.15/3.37
5.15/3.37 d WRONG_DECISIONS 590
5.15/3.37 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 (15491 MiB free)
memory of node 1: 16384 MiB (12979 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390984-1568385541/watcher-4390984-1568385541 -o /tmp/evaluation-result-4390984-1568385541/solver-4390984-1568385541 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568380473-21311 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390984-1568385541.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22709, runsolver pid=22706
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.92 1.98 1.98 4/228 22724
/proc/meminfo: memFree=29139084/32770624 swapFree=66958212/67108860
[pid=22709] ppid=22706 vsize=10659884 memory=27684 CPUtime=0.14 cores=0,2,4,6
/proc/22709/stat : 22709 (java) S 22706 22709 21280 0 -1 1077944320 5469 0 0 0 12 2 0 0 20 0 15 0 414490585 10915721216 6921 33554432000 4194304 4196468 140725890162032 140725890144576 140460520873719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
/proc/22709/statm: 2664971 6921 2841 1 0 2627468 0
[pid=22709/tid=22711] ppid=22706 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/22709/task/22711/stat : 22711 (java) R 22706 22709 21280 0 -1 4202560 3200 0 0 0 8 1 0 0 20 0 15 0 414490585 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460525101408 140460502280018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22712] ppid=22706 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22712/stat : 22712 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460473494032 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22713] ppid=22706 vsize=10659884 memory=140154786756224 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22713/stat : 22713 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460472441488 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22714] ppid=22706 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22714/stat : 22714 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460471388432 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22715] ppid=22706 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22715/stat : 22715 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460470335888 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22716] ppid=22706 vsize=10659884 memory=140154786756224 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22716/stat : 22716 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490587 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460080024304 140460520884866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22717] ppid=22706 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22717/stat : 22717 (java) S 22706 22709 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414490588 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460078970528 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22718] ppid=22706 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22718/stat : 22718 (java) S 22706 22709 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414490588 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460077917424 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22719] ppid=22706 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22719/stat : 22719 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414490590 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460076866000 140460520892315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22720] ppid=22706 vsize=10659884 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22709/task/22720/stat : 22720 (java) S 22706 22709 21280 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 15 0 414490590 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460075813104 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22721] ppid=22706 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22721/stat : 22721 (java) S 22706 22709 21280 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 414490590 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460074760560 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22722] ppid=22706 vsize=10659884 memory=140154786756224 CPUtime=0.02 cores=0,2,4,6
/proc/22709/task/22722/stat : 22722 (java) R 22706 22709 21280 0 -1 4202560 406 0 0 0 2 0 0 0 20 0 15 0 414490590 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460073705464 140460504954206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22723] ppid=22706 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22723/stat : 22723 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414490590 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460072655200 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22724] ppid=22706 vsize=10659884 memory=140154786756224 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22724/stat : 22724 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490591 10915721216 6921 33554432000 4194304 4196468 140725890162032 140460071603248 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27684 KiB
[startup+0.210777 s]*
/proc/loadavg: 1.92 1.98 1.98 4/228 22724
/proc/meminfo: memFree=29127076/32770624 swapFree=66958212/67108860
[pid=22709] ppid=22706 vsize=10659884 memory=37764 CPUtime=0.32 cores=0,2,4,6
/proc/22709/stat : 22709 (java) S 22706 22709 21280 0 -1 1077944320 9147 0 0 0 29 3 0 0 20 0 15 0 414490585 10915721216 9441 33554432000 4194304 4196468 140725890162032 140725890144576 140460520873719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
/proc/22709/statm: 2664971 9441 2990 1 0 2627468 0
[pid=22709/tid=22711] ppid=22706 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/22709/task/22711/stat : 22711 (java) R 22706 22709 21280 0 -1 4202560 6092 0 0 0 17 2 0 0 20 0 15 0 414490585 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460525105680 140460520895645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22712] ppid=22706 vsize=10659884 memory=331 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22712/stat : 22712 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460473494032 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22713] ppid=22706 vsize=10659884 memory=140154789777213 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22713/stat : 22713 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460472441488 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22714] ppid=22706 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22714/stat : 22714 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460471388432 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22715] ppid=22706 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22715/stat : 22715 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460470335888 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22716] ppid=22706 vsize=10659884 memory=140154786756224 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22716/stat : 22716 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490587 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460080024304 140460520884866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22717] ppid=22706 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22717/stat : 22717 (java) S 22706 22709 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414490588 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460078970528 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22718] ppid=22706 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22718/stat : 22718 (java) S 22706 22709 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414490588 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460077917424 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22719] ppid=22706 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22719/stat : 22719 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414490590 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460076866000 140460520892315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22720] ppid=22706 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22709/task/22720/stat : 22720 (java) S 22706 22709 21280 0 -1 1077944384 557 0 0 0 3 0 0 0 20 0 15 0 414490590 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460075813104 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22721] ppid=22706 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/22709/task/22721/stat : 22721 (java) S 22706 22709 21280 0 -1 1077944384 411 0 0 0 2 0 0 0 20 0 15 0 414490590 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460074760560 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22722] ppid=22706 vsize=10659884 memory=140154786756224 CPUtime=0.06 cores=0,2,4,6
/proc/22709/task/22722/stat : 22722 (java) S 22706 22709 21280 0 -1 1077944384 727 0 0 0 6 0 0 0 20 0 15 0 414490590 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460073707504 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22723] ppid=22706 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22723/stat : 22723 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414490590 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460072655200 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22724] ppid=22706 vsize=10659884 memory=140154786756224 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22724/stat : 22724 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490591 10915721216 9441 33554432000 4194304 4196468 140725890162032 140460071603248 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37764 KiB
[startup+0.3101 s]*
/proc/loadavg: 1.92 1.98 1.98 4/228 22724
/proc/meminfo: memFree=29125140/32770624 swapFree=66958212/67108860
[pid=22709] ppid=22706 vsize=10659884 memory=40052 CPUtime=0.46 cores=0,2,4,6
/proc/22709/stat : 22709 (java) S 22706 22709 21280 0 -1 1077944320 9332 0 0 0 43 3 0 0 20 0 15 0 414490585 10915721216 10013 33554432000 4194304 4196468 140725890162032 140725890144576 140460520873719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
/proc/22709/statm: 2664971 10013 3002 1 0 2627468 0
[pid=22709/tid=22711] ppid=22706 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/22709/task/22711/stat : 22711 (java) R 22706 22709 21280 0 -1 4202560 6209 0 0 0 27 3 0 0 20 0 15 0 414490585 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460525112704 140460520895645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22712] ppid=22706 vsize=10659884 memory=8900 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22712/stat : 22712 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460473494032 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22713] ppid=22706 vsize=10659884 memory=140154789778123 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22713/stat : 22713 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460472441488 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22714] ppid=22706 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22714/stat : 22714 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460471388432 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22715] ppid=22706 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22715/stat : 22715 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490586 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460470335888 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22716] ppid=22706 vsize=10659884 memory=140154786756224 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22716/stat : 22716 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490587 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460080024304 140460520884866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22717] ppid=22706 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22717/stat : 22717 (java) S 22706 22709 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414490588 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460078970528 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22718] ppid=22706 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22718/stat : 22718 (java) S 22706 22709 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414490588 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460077917424 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22719] ppid=22706 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22719/stat : 22719 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414490590 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460076866000 140460520892315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22720] ppid=22706 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22709/task/22720/stat : 22720 (java) S 22706 22709 21280 0 -1 1077944384 565 0 0 0 4 0 0 0 20 0 15 0 414490590 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460075813104 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22721] ppid=22706 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/22709/task/22721/stat : 22721 (java) S 22706 22709 21280 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 15 0 414490590 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460074760560 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22722] ppid=22706 vsize=10659884 memory=140154786756224 CPUtime=0.08 cores=0,2,4,6
/proc/22709/task/22722/stat : 22722 (java) S 22706 22709 21280 0 -1 1077944384 752 0 0 0 8 0 0 0 20 0 15 0 414490590 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460073707504 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22723] ppid=22706 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22723/stat : 22723 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414490590 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460072655200 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22724] ppid=22706 vsize=10659884 memory=140154786756224 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22724/stat : 22724 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490591 10915721216 10013 33554432000 4194304 4196468 140725890162032 140460071603248 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40052 KiB
[startup+0.700782 s]
/proc/loadavg: 1.92 1.98 1.98 3/228 22724
/proc/meminfo: memFree=29116768/32770624 swapFree=66958212/67108860
[pid=22709] ppid=22706 vsize=10661932 memory=62504 CPUtime=1.1 cores=0,2,4,6
/proc/22709/stat : 22709 (java) S 22706 22709 21280 0 -1 1077944320 12599 0 0 0 104 6 0 0 20 0 15 0 414490585 10917818368 15626 33554432000 4194304 4196468 140725890162032 140725890144576 140460520873719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
/proc/22709/statm: 2665483 15626 3070 1 0 2627980 0
[pid=22709/tid=22711] ppid=22706 vsize=10661932 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/22709/task/22711/stat : 22711 (java) R 22706 22709 21280 0 -1 4202560 8752 0 0 0 62 5 0 0 20 0 15 0 414490585 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460525096656 140460520895066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22712] ppid=22706 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22712/stat : 22712 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490586 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460473494032 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22713] ppid=22706 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22713/stat : 22713 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490586 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460472441488 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22714] ppid=22706 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22714/stat : 22714 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490586 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460471388432 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22715] ppid=22706 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22715/stat : 22715 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490586 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460470335888 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22716] ppid=22706 vsize=10661932 memory=237719124995099 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22716/stat : 22716 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490587 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460080024304 140460520884866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22717] ppid=22706 vsize=10661932 memory=2933550 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22717/stat : 22717 (java) S 22706 22709 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414490588 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460078970528 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22718] ppid=22706 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22718/stat : 22718 (java) S 22706 22709 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414490588 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460077917424 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22719] ppid=22706 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22719/stat : 22719 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414490590 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460076866000 140460520892315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22720] ppid=22706 vsize=10661932 memory=7809523229951467576 CPUtime=0.11 cores=0,2,4,6
/proc/22709/task/22720/stat : 22720 (java) R 22706 22709 21280 0 -1 4202560 714 0 0 0 11 0 0 0 20 0 15 0 414490590 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460075813104 140460520895066 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22721] ppid=22706 vsize=10661932 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/22709/task/22721/stat : 22721 (java) S 22706 22709 21280 0 -1 1077944384 678 0 0 0 10 0 0 0 20 0 15 0 414490590 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460074760560 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22722] ppid=22706 vsize=10661932 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/22709/task/22722/stat : 22722 (java) S 22706 22709 21280 0 -1 1077944384 1095 0 0 0 19 0 0 0 20 0 15 0 414490590 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460073707504 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22723] ppid=22706 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22723/stat : 22723 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414490590 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460072655200 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22724] ppid=22706 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22724/stat : 22724 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490591 10917818368 15626 33554432000 4194304 4196468 140725890162032 140460071603248 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62504 KiB
[startup+1.50079 s]
/proc/loadavg: 1.92 1.98 1.98 3/228 22724
/proc/meminfo: memFree=29100508/32770624 swapFree=66958212/67108860
[pid=22709] ppid=22706 vsize=10663980 memory=75136 CPUtime=2.01 cores=0,2,4,6
/proc/22709/stat : 22709 (java) S 22706 22709 21280 0 -1 1077944320 18179 0 0 0 194 7 0 0 20 0 15 0 414490585 10919915520 18784 33554432000 4194304 4196468 140725890162032 140725890144576 140460520873719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
/proc/22709/statm: 2665995 18784 3094 1 0 2628492 0
[pid=22709/tid=22711] ppid=22706 vsize=10663980 memory=195137544171896 CPUtime=1.48 cores=0,2,4,6
/proc/22709/task/22711/stat : 22711 (java) R 22706 22709 21280 0 -1 4202560 13017 0 0 0 142 6 0 0 20 0 15 0 414490585 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460525114000 140460501149568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22712] ppid=22706 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22712/stat : 22712 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490586 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460473494032 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22713] ppid=22706 vsize=10663980 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22713/stat : 22713 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490586 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460472441488 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22714] ppid=22706 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22714/stat : 22714 (java) S 22706 22709 21280 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414490586 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460471388432 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22715] ppid=22706 vsize=10663980 memory=3472468450875574416 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22715/stat : 22715 (java) S 22706 22709 21280 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414490586 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460470335888 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22716] ppid=22706 vsize=10663980 memory=56 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22716/stat : 22716 (java) S 22706 22709 21280 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414490587 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460080024304 140460520884866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22717] ppid=22706 vsize=10663980 memory=9125 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22717/stat : 22717 (java) S 22706 22709 21280 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414490588 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460078970528 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22718] ppid=22706 vsize=10663980 memory=22707 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22718/stat : 22718 (java) S 22706 22709 21280 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414490588 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460077917424 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22719] ppid=22706 vsize=10663980 memory=-1161699032755964503 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22719/stat : 22719 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414490590 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460076866000 140460520892315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22720] ppid=22706 vsize=10663980 memory=6944656592455097440 CPUtime=0.19 cores=0,2,4,6
/proc/22709/task/22720/stat : 22720 (java) S 22706 22709 21280 0 -1 1077944384 1614 0 0 0 19 0 0 0 20 0 15 0 414490590 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460075813104 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22721] ppid=22706 vsize=10663980 memory=6944656592455359580 CPUtime=0.13 cores=0,2,4,6
/proc/22709/task/22721/stat : 22721 (java) S 22706 22709 21280 0 -1 1077944384 1010 0 0 0 13 0 0 0 20 0 15 0 414490590 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460074760560 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22722] ppid=22706 vsize=10663980 memory=6943526294502006880 CPUtime=0.19 cores=0,2,4,6
/proc/22709/task/22722/stat : 22722 (java) S 22706 22709 21280 0 -1 1077944384 1097 0 0 0 19 0 0 0 20 0 15 0 414490590 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460073707504 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22723] ppid=22706 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22723/stat : 22723 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414490590 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460072655200 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22724] ppid=22706 vsize=10663980 memory=237719125094171 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22724/stat : 22724 (java) S 22706 22709 21280 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 414490591 10919915520 18784 33554432000 4194304 4196468 140725890162032 140460071603248 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75136 KiB
[startup+3.10995 s]
/proc/loadavg: 2.09 2.02 1.99 3/229 22725
/proc/meminfo: memFree=29013192/32770624 swapFree=66958212/67108860
[pid=22709] ppid=22706 vsize=10746276 memory=154112 CPUtime=4.91 cores=0,2,4,6
/proc/22709/stat : 22709 (java) S 22706 22709 21280 0 -1 1077944320 26482 0 0 0 478 13 0 0 20 0 16 0 414490585 11004186624 38528 33554432000 4194304 4196468 140725890162032 140725890144576 140460520873719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
/proc/22709/statm: 2686569 38528 3340 1 0 2646705 0
[pid=22709/tid=22711] ppid=22706 vsize=10746276 memory=56 CPUtime=1.86 cores=0,2,4,6
/proc/22709/task/22711/stat : 22711 (java) S 22706 22709 21280 0 -1 1077944384 15269 0 0 0 180 6 0 0 20 0 16 0 414490585 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460525116592 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22712] ppid=22706 vsize=10746276 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22712/stat : 22712 (java) S 22706 22709 21280 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 414490586 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460473494032 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22713] ppid=22706 vsize=10746276 memory=24996 CPUtime=0.01 cores=0,2,4,6
/proc/22709/task/22713/stat : 22713 (java) S 22706 22709 21280 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 414490586 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460472441488 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22714] ppid=22706 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22714/stat : 22714 (java) S 22706 22709 21280 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 414490586 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460471388432 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22715] ppid=22706 vsize=10746276 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22715/stat : 22715 (java) S 22706 22709 21280 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 414490586 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460470335888 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22716] ppid=22706 vsize=10746276 memory=38956 CPUtime=0.01 cores=0,2,4,6
/proc/22709/task/22716/stat : 22716 (java) S 22706 22709 21280 0 -1 1077944384 1096 0 0 0 1 0 0 0 20 0 16 0 414490587 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460080024304 140460520884866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22717] ppid=22706 vsize=10746276 memory=988 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22717/stat : 22717 (java) S 22706 22709 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414490588 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460078970592 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22718] ppid=22706 vsize=10746276 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22718/stat : 22718 (java) S 22706 22709 21280 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414490588 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460077917440 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22719] ppid=22706 vsize=10746276 memory=153936 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22719/stat : 22719 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414490590 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460076866000 140460520892315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22720] ppid=22706 vsize=10746276 memory=56 CPUtime=0.66 cores=0,2,4,6
/proc/22709/task/22720/stat : 22720 (java) S 22706 22709 21280 0 -1 1077944384 1896 0 0 0 66 0 0 0 20 0 16 0 414490590 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460075813104 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22721] ppid=22706 vsize=10746276 memory=9125 CPUtime=0.62 cores=0,2,4,6
/proc/22709/task/22721/stat : 22721 (java) R 22706 22709 21280 0 -1 4202560 1391 0 0 0 62 0 0 0 20 0 16 0 414490590 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460074760560 140460501571072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22722] ppid=22706 vsize=10746276 memory=22707 CPUtime=0.46 cores=0,2,4,6
/proc/22709/task/22722/stat : 22722 (java) S 22706 22709 21280 0 -1 1077944384 1826 0 0 0 46 0 0 0 20 0 16 0 414490590 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460073707504 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22723] ppid=22706 vsize=10746276 memory=-1161699032755964503 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22723/stat : 22723 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414490590 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460072655200 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22724] ppid=22706 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22724/stat : 22724 (java) S 22706 22709 21280 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414490591 11004186624 38528 33554432000 4194304 4196468 140725890162032 140460071603248 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22725] ppid=22706 vsize=10746276 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/22709/task/22725/stat : 22725 (java) R 22706 22709 21280 0 -1 4202560 3368 0 0 0 116 1 0 0 20 0 16 0 414490773 11004186624 38528 33554432000 4194304 4196468 140725890162032 140459530706200 140460520885654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 154112 KiB
[startup+3.38452 s]
# the end of solver process 22709 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.18242 s, system=0.142123 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20079 s]
/proc/loadavg: 2.09 2.02 1.99 3/229 22725
/proc/meminfo: memFree=29013192/32770624 swapFree=66958212/67108860
[pid=22709] ppid=22706 vsize=10746276 memory=154188 CPUtime=5.02 cores=0,2,4,6
/proc/22709/stat : 22709 (java) S 22706 22709 21280 0 -1 1077944320 26514 0 0 0 489 13 0 0 20 0 16 0 414490585 11004186624 38547 33554432000 4194304 4196468 140725890162032 140725890144576 140460520873719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
/proc/22709/statm: 2686569 38547 3344 1 0 2646705 0
[pid=22709/tid=22711] ppid=22706 vsize=10746276 memory=4639059895069856102 CPUtime=1.86 cores=0,2,4,6
/proc/22709/task/22711/stat : 22711 (java) S 22706 22709 21280 0 -1 1077944384 15269 0 0 0 180 6 0 0 20 0 16 0 414490585 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460525116592 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22712] ppid=22706 vsize=10746276 memory=-7735619938911498612 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22712/stat : 22712 (java) S 22706 22709 21280 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 414490586 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460473494032 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22713] ppid=22706 vsize=10746276 memory=2194 CPUtime=0.01 cores=0,2,4,6
/proc/22709/task/22713/stat : 22713 (java) S 22706 22709 21280 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 414490586 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460472441488 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22714] ppid=22706 vsize=10746276 memory=280309296015856 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22714/stat : 22714 (java) S 22706 22709 21280 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 414490586 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460471388432 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22715] ppid=22706 vsize=10746276 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22715/stat : 22715 (java) S 22706 22709 21280 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 414490586 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460470335888 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22716] ppid=22706 vsize=10746276 memory=6944656592455359580 CPUtime=0.01 cores=0,2,4,6
/proc/22709/task/22716/stat : 22716 (java) S 22706 22709 21280 0 -1 1077944384 1096 0 0 0 1 0 0 0 20 0 16 0 414490587 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460080024304 140460520884866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22717] ppid=22706 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22717/stat : 22717 (java) S 22706 22709 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414490588 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460078970592 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22718] ppid=22706 vsize=10746276 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22718/stat : 22718 (java) S 22706 22709 21280 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414490588 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460077917440 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22719] ppid=22706 vsize=10746276 memory=9051283677730746851 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22719/stat : 22719 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414490590 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460076866000 140460520892315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22720] ppid=22706 vsize=10746276 memory=151124 CPUtime=0.67 cores=0,2,4,6
/proc/22709/task/22720/stat : 22720 (java) S 22706 22709 21280 0 -1 1077944384 1901 0 0 0 67 0 0 0 20 0 16 0 414490590 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460075813104 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22721] ppid=22706 vsize=10746276 memory=6435732173387486292 CPUtime=0.62 cores=0,2,4,6
/proc/22709/task/22721/stat : 22721 (java) S 22706 22709 21280 0 -1 1077944384 1404 0 0 0 62 0 0 0 20 0 16 0 414490590 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460074760560 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22722] ppid=22706 vsize=10746276 memory=5860978997287080016 CPUtime=0.47 cores=0,2,4,6
/proc/22709/task/22722/stat : 22722 (java) S 22706 22709 21280 0 -1 1077944384 1840 0 0 0 47 0 0 0 20 0 16 0 414490590 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460073707504 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22723] ppid=22706 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22723/stat : 22723 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414490590 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460072655200 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22724] ppid=22706 vsize=10746276 memory=280309295807264 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22724/stat : 22724 (java) S 22706 22709 21280 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414490591 11004186624 38547 33554432000 4194304 4196468 140725890162032 140460071603248 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22725] ppid=22706 vsize=10746276 memory=2110505255037204 CPUtime=1.27 cores=0,2,4,6
/proc/22709/task/22725/stat : 22725 (java) R 22706 22709 21280 0 -1 4202560 3368 0 0 0 126 1 0 0 20 0 16 0 414490773 11004186624 38547 33554432000 4194304 4196468 140725890162032 140459530706200 140460149306144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
Current children cumulated CPU time: 5.02 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 154188 KiB
[startup+3.30062 s]
/proc/loadavg: 2.09 2.02 1.99 3/229 22725
/proc/meminfo: memFree=29013192/32770624 swapFree=66958212/67108860
[pid=22709] ppid=22706 vsize=10746276 memory=154480 CPUtime=5.15 cores=0,2,4,6
/proc/22709/stat : 22709 (java) S 22706 22709 21280 0 -1 1077944320 26586 0 0 0 502 13 0 0 20 0 16 0 414490585 11004186624 38620 33554432000 4194304 4196468 140725890162032 140725890144576 140460520873719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
/proc/22709/statm: 2686569 38620 3344 1 0 2646705 0
[pid=22709/tid=22711] ppid=22706 vsize=10746276 memory=154112 CPUtime=1.86 cores=0,2,4,6
/proc/22709/task/22711/stat : 22711 (java) S 22706 22709 21280 0 -1 1077944384 15269 0 0 0 180 6 0 0 20 0 16 0 414490585 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460525116592 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22712] ppid=22706 vsize=10746276 memory=56 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22712/stat : 22712 (java) S 22706 22709 21280 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 16 0 414490586 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460473494032 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22713] ppid=22706 vsize=10746276 memory=2209 CPUtime=0.01 cores=0,2,4,6
/proc/22709/task/22713/stat : 22713 (java) S 22706 22709 21280 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 414490586 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460472441488 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22714] ppid=22706 vsize=10746276 memory=24996 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22714/stat : 22714 (java) S 22706 22709 21280 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 414490586 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460471388432 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22715] ppid=22706 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22715/stat : 22715 (java) S 22706 22709 21280 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 414490586 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460470335888 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22716] ppid=22706 vsize=10746276 memory=56 CPUtime=0.01 cores=0,2,4,6
/proc/22709/task/22716/stat : 22716 (java) S 22706 22709 21280 0 -1 1077944384 1096 0 0 0 1 0 0 0 20 0 16 0 414490587 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460080024304 140460520884866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22717] ppid=22706 vsize=10746276 memory=9125 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22717/stat : 22717 (java) S 22706 22709 21280 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414490588 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460078970592 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22718] ppid=22706 vsize=10746276 memory=22707 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22718/stat : 22718 (java) S 22706 22709 21280 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414490588 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460077917440 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22719] ppid=22706 vsize=10746276 memory=-1161699032755964503 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22719/stat : 22719 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414490590 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460076866000 140460520892315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22720] ppid=22706 vsize=10746276 memory=6944656592455097440 CPUtime=0.68 cores=0,2,4,6
/proc/22709/task/22720/stat : 22720 (java) S 22706 22709 21280 0 -1 1077944384 1908 0 0 0 68 0 0 0 20 0 16 0 414490590 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460075813104 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22721] ppid=22706 vsize=10746276 memory=3608 CPUtime=0.63 cores=0,2,4,6
/proc/22709/task/22721/stat : 22721 (java) S 22706 22709 21280 0 -1 1077944384 1404 0 0 0 63 0 0 0 20 0 16 0 414490590 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460074760560 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22722] ppid=22706 vsize=10746276 memory=38956 CPUtime=0.48 cores=0,2,4,6
/proc/22709/task/22722/stat : 22722 (java) S 22706 22709 21280 0 -1 1077944384 1879 0 0 0 48 0 0 0 20 0 16 0 414490590 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460073707504 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22723] ppid=22706 vsize=10746276 memory=988 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22723/stat : 22723 (java) S 22706 22709 21280 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414490590 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460072655200 140460520883925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22724] ppid=22706 vsize=10746276 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/22709/task/22724/stat : 22724 (java) S 22706 22709 21280 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 414490591 11004186624 38620 33554432000 4194304 4196468 140725890162032 140460071603248 140460520884866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
[pid=22709/tid=22725] ppid=22706 vsize=10746276 memory=153936 CPUtime=1.37 cores=0,2,4,6
/proc/22709/task/22725/stat : 22725 (java) R 22706 22709 21280 0 -1 4202560 3394 0 0 0 136 1 0 0 20 0 16 0 414490773 11004186624 38620 33554432000 4194304 4196468 140725890162032 140459530703792 140460149306313 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36569088 140725890163723 140725890163826 140725890163826 140725890166735 0
Current children cumulated CPU time: 5.15 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 154480 KiB
Child status: 0
Real time (s): 3.38458
CPU time (s): 5.32455
CPU user time (s): 5.18242
CPU system time (s): 0.142123
CPU usage (%): 157.318
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 154480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.18242
system time used= 0.142123
maximum resident set size= 155340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26728
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= 2572
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 22709
# total CPU time (s): 5.32455
# total CPU user time (s): 5.18242
# total CPU system time (s): 0.142123
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042693 second user time and 0.079422 second system time
The end