2.42/1.87
2.42/1.87 AbsCon 2
2.42/1.88
2.90/2.01 Instance
2.90/2.01 name=instance-4390983-1568385536, framework=COP, bounds=-infty..+infty
2.90/2.01
2.90/2.01 Loading variables...
2.90/2.05 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d0d608a
2.90/2.06 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fac8d28
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c6a8ec
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bf607d6
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e11e951
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5839027
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a8a1a1b
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aec5b6b
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7c6178
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e14f8af
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bc3a1d
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c777fc
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ea93a3e
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@250b7d3e
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5923abfc
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b87bf2
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e741bd2
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392b3b5
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64827fe
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256fa55a
2.90/2.06 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad6ae3f
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648723a4
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2689e112
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17180b73
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fda1907
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3efb3f5d
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1008280b
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6103e5be
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fef896
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56fb4fdc
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e6f44fa
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b5a170
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f464a8
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d69551
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d80bf
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da6600e
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b68c8b1
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230b93c1
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40edcfdd
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b233f20
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ffd24
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aac3e58
2.90/2.07 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291ec9e0
3.16/2.13
3.16/2.13
3.16/2.13 Domains
3.16/2.13 nTypes=2, nValues=4559, sizes=[35#129,44#1]
3.16/2.13 Variables
3.16/2.13 count=130, degrees=[2#1,4#4,5#84,6#41]
3.16/2.13 Objectives
3.16/2.13 way=max, type=ObjVarGE
3.16/2.13 Constraints
3.16/2.13 count=131, nSpecific=131, arities=[1#1,3#86,6#42,44#1,129#1]
3.16/2.13 distribution=[CardinalityConstant#1,ExactlyKVariable#1,LexicographicLe#42,ObjVarGE#1,OrderedGE#43,SumSimpleLE#43]
3.16/2.13 wck=0.29, cpu=2.099, mem=23M870
3.16/2.14 Solver SolverBacktrack being built...
3.16/2.14
3.16/2.16
3.16/2.16 Solver
3.16/2.16 guaranteedGAC=true
3.16/2.16 wck=0.321, cpu=2.128, mem=34M513
3.16/2.17
3.16/2.17 Preprocessing
3.16/2.17 filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.16/2.17 wck=0.007, cpu=2.136, mem=34M513
3.16/2.17
3.41/2.22 num=0, depth=1..1, filters=204, wck=0.065, mem=34M513
3.41/2.22 decisions=21, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.41/2.22
3.72/2.33 num=1, depth=0..0, filters=828, wck=0.171, mem=34M513
3.72/2.33 decisions=43, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
3.72/2.33
4.01/2.41 num=2, depth=0..0, filters=1699, wck=0.253, mem=37M155
4.01/2.41 decisions=67, wrong=33, backtracks=0, failedAssignments=33, nogoods=10
4.01/2.41
4.15/2.51 num=3, depth=0..2, filters=2656, wck=0.354, mem=37M155
4.15/2.51 decisions=94, wrong=46, backtracks=0, failedAssignments=46, nogoods=12
4.15/2.51
4.15/2.58 num=4, depth=0..0, filters=3460, wck=0.422, mem=37M155
4.15/2.58 decisions=122, wrong=60, backtracks=0, failedAssignments=60, nogoods=12
4.15/2.58
4.37/2.70 num=5, depth=0..0, filters=4674, wck=0.539, mem=39M797
4.37/2.70 decisions=154, wrong=76, backtracks=0, failedAssignments=76, nogoods=12
4.37/2.70
4.37/2.76 num=6, depth=0..9, filters=5286, wck=0.607, mem=39M797
4.37/2.76 decisions=196, wrong=93, backtracks=0, failedAssignments=93, nogoods=26
4.37/2.76
4.52/2.88 num=7, depth=0..0, filters=6471, wck=0.721, mem=39M797
4.52/2.88 decisions=234, wrong=112, backtracks=0, failedAssignments=112, nogoods=26
4.52/2.88
4.65/2.98 num=8, depth=0..11, filters=7508, wck=0.818, mem=39M797
4.65/2.98 decisions=285, wrong=133, backtracks=0, failedAssignments=133, nogoods=36
4.65/2.98
4.76/3.10 num=9, depth=0..0, filters=8911, wck=0.944, mem=42M440
4.76/3.10 decisions=331, wrong=156, backtracks=0, failedAssignments=156, nogoods=36
4.76/3.10
4.86/3.13 num=10, depth=0..13, filters=9240, wck=0.976, mem=42M440
4.86/3.13 decisions=391, wrong=182, backtracks=1, failedAssignments=181, nogoods=49
4.86/3.13
4.95/3.23 num=11, depth=0..5, filters=10296, wck=1.07, mem=42M440
4.95/3.23 decisions=450, wrong=210, backtracks=1, failedAssignments=209, nogoods=56
4.95/3.23
4.95/3.26 num=12, depth=0..11, filters=10715, wck=1.104, mem=42M440
4.95/3.26 decisions=523, wrong=243, backtracks=4, failedAssignments=240, nogoods=59
4.95/3.26
5.06/3.37 num=13, depth=0..11, filters=11909, wck=1.207, mem=42M440
5.06/3.37 decisions=600, wrong=279, backtracks=6, failedAssignments=274, nogoods=70
5.06/3.37
5.22/3.46 num=14, depth=0..21, filters=12865, wck=1.302, mem=45M82
5.22/3.46 decisions=690, wrong=316, backtracks=6, failedAssignments=311, nogoods=92
5.22/3.46
5.33/3.51 num=15, depth=0..32, filters=13447, wck=1.355, mem=45M82
5.33/3.51 decisions=800, wrong=359, backtracks=10, failedAssignments=352, nogoods=106
5.33/3.51
5.33/3.57 num=16, depth=0..39, filters=14190, wck=1.416, mem=45M82
5.33/3.57 decisions=924, wrong=404, backtracks=10, failedAssignments=397, nogoods=138
5.33/3.57
5.44/3.62 num=17, depth=2..30, filters=14818, wck=1.465, mem=45M82
5.44/3.62 decisions=1057, wrong=460, backtracks=16, failedAssignments=447, nogoods=153
5.44/3.62
5.44/3.69 num=18, depth=0..40, filters=15546, wck=1.531, mem=45M82
5.44/3.69 decisions=1227, wrong=530, backtracks=34, failedAssignments=502, nogoods=173
5.44/3.69
5.57/3.73 num=19, depth=1..40, filters=15996, wck=1.57, mem=45M82
5.57/3.73 decisions=1406, wrong=604, backtracks=50, failedAssignments=563, nogoods=192
5.57/3.73
5.57/3.77 o 0
5.57/3.77 num=20, depth=1..129, filters=16266, ccks=131, wck=1.612, mem=45M82
5.57/3.77 decisions=1546, wrong=650, backtracks=54, failedAssignments=606, nogoods=225, foundSolutions=1, bestBound=0
5.57/3.77
5.70/3.82 num=21, depth=2..40, filters=16784, ccks=131, wck=1.663, mem=45M82
5.70/3.82 decisions=1768, wrong=745, backtracks=83, failedAssignments=680, nogoods=246, foundSolutions=1, bestBound=0
5.70/3.82
5.70/3.83 num=22, depth=1..13, filters=16874, ccks=131, wck=1.672, mem=45M82
5.70/3.83 decisions=1800, wrong=756, backtracks=83, failedAssignments=691, nogoods=257, foundSolutions=1, bestBound=0
5.70/3.83
5.70/3.84 num=23, depth=4..15, filters=16989, ccks=131, wck=1.683, mem=45M82
5.70/3.84 decisions=1836, wrong=768, backtracks=83, failedAssignments=703, nogoods=269, foundSolutions=1, bestBound=0
5.70/3.84
5.70/3.86 num=24, depth=0..11, filters=17163, ccks=131, wck=1.701, mem=45M82
5.70/3.86 decisions=1872, wrong=781, backtracks=83, failedAssignments=716, nogoods=273, foundSolutions=1, bestBound=0
5.70/3.86
5.70/3.87 num=25, depth=0..19, filters=17297, ccks=131, wck=1.716, mem=45M82
5.70/3.87 decisions=1924, wrong=799, backtracks=87, failedAssignments=730, nogoods=284, foundSolutions=1, bestBound=0
5.70/3.87
5.70/3.89 num=26, depth=1..18, filters=17397, ccks=131, wck=1.728, mem=45M82
5.70/3.89 decisions=1972, wrong=815, backtracks=87, failedAssignments=746, nogoods=300, foundSolutions=1, bestBound=0
5.70/3.89
5.82/3.90 num=27, depth=1..19, filters=17540, ccks=131, wck=1.744, mem=45M82
5.82/3.90 decisions=2035, wrong=840, backtracks=96, failedAssignments=763, nogoods=306, foundSolutions=1, bestBound=0
5.82/3.90
5.82/3.92 o 2
5.82/3.92 num=28, depth=1..129, filters=17643, ccks=262, wck=1.763, mem=45M82
5.82/3.92 decisions=2108, wrong=858, backtracks=97, failedAssignments=780, nogoods=323, foundSolutions=2, bestBound=2
5.82/3.92
5.82/3.94 num=29, depth=1..29, filters=17811, ccks=262, wck=1.786, mem=45M82
5.82/3.94 decisions=2200, wrong=894, backtracks=114, failedAssignments=801, nogoods=332, foundSolutions=2, bestBound=2
5.82/3.94
5.82/3.96 num=30, depth=1..19, filters=17918, ccks=262, wck=1.799, mem=45M82
5.82/3.96 decisions=2247, wrong=911, backtracks=120, failedAssignments=812, nogoods=340, foundSolutions=2, bestBound=2
5.82/3.96
5.82/3.97 num=31, depth=1..20, filters=18017, ccks=262, wck=1.81, mem=45M82
5.82/3.97 decisions=2288, wrong=927, backtracks=125, failedAssignments=824, nogoods=350, foundSolutions=2, bestBound=2
5.82/3.97
5.82/3.98 num=32, depth=4..10, filters=18100, ccks=262, wck=1.821, mem=45M82
5.82/3.98 decisions=2324, wrong=941, backtracks=126, failedAssignments=837, nogoods=363, foundSolutions=2, bestBound=2
5.82/3.98
5.82/3.99 num=33, depth=1..29, filters=18205, ccks=262, wck=1.835, mem=45M82
5.82/3.99 decisions=2384, wrong=961, backtracks=133, failedAssignments=851, nogoods=373, foundSolutions=2, bestBound=2
5.82/3.99
6.00/4.01 num=34, depth=1..16, filters=18340, ccks=262, wck=1.853, mem=45M82
6.00/4.01 decisions=2450, wrong=989, backtracks=145, failedAssignments=867, nogoods=377, foundSolutions=2, bestBound=2
6.00/4.01
6.00/4.03 num=35, depth=1..35, filters=18502, ccks=262, wck=1.872, mem=45M82
6.00/4.03 decisions=2541, wrong=1028, backtracks=168, failedAssignments=884, nogoods=385, foundSolutions=2, bestBound=2
6.00/4.03
6.00/4.05 num=36, depth=1..30, filters=18713, ccks=262, wck=1.895, mem=45M82
6.00/4.05 decisions=2641, wrong=1072, backtracks=194, failedAssignments=903, nogoods=391, foundSolutions=2, bestBound=2
6.00/4.05
6.00/4.07 num=37, depth=1..30, filters=18851, ccks=262, wck=1.913, mem=45M82
6.00/4.07 decisions=2723, wrong=1104, backtracks=206, failedAssignments=924, nogoods=403, foundSolutions=2, bestBound=2
6.00/4.07
6.00/4.08
6.00/4.08 New Bounds: 3..2
6.00/4.08 num=38, depth=0..7, filters=18934, ccks=262, wck=1.922, mem=45M82
6.00/4.08 decisions=2759, wrong=1123, backtracks=217, failedAssignments=934, foundSolutions=2, bestBound=2
6.00/4.08
6.00/4.08 Global
6.00/4.08 filters=18934, ccks=262
6.00/4.08 Stop=FULL_EXPLORATION, wrong=1123, bestBound=2, bestBoundWck=2.083, bestBoundCpu=3.888, foundSolutions=2, firstSolCpu=3.731
6.00/4.08 wck=2.244, cpu=4.05, mem=45M82
6.00/4.08
6.00/4.08 v <instantiation id='sol2' type='solution' cost='2'> <list> x b[][] </list> <values> 2 100 0 0 99 0 0 99 0 0 94 0 0 93 0 0 92 0 0 91 0 0 89 0 0 88 0 0 88 0 0 87 0 0 80 0 0 79 0 0 77 0 0 75 0 0 74 0 0 73 0 0 71 0 0 71 0 0 71 0 0 69 0 0 66 0 0 64 34 0 64 0 0 64 0 0 63 33 0 63 0 0 63 0 0 62 0 0 60 0 0 60 0 0 59 31 0 59 0 0 59 0 0 55 42 0 55 42 0 55 0 0 53 45 0 51 49 0 49 46 0 48 46 0 0 0 0 0 0 0 </values> </instantiation>
6.00/4.08 s OPTIMUM FOUND
6.00/4.08
6.00/4.08 d WRONG_DECISIONS 1123
6.00/4.08 d NUMBER_SOLUTIONS 2
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14819 MiB free)
memory of node 1: 16384 MiB (15346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390983-1568385536/watcher-4390983-1568385536 -o /tmp/evaluation-result-4390983-1568385536/solver-4390983-1568385536 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568380477-29949 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390983-1568385536.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31269, runsolver pid=31266
[startup+0.104182 s]*
/proc/loadavg: 1.65 1.66 1.73 5/228 31284
/proc/meminfo: memFree=30873080/32770624 swapFree=66940844/67108860
[pid=31269] ppid=31266 vsize=10659884 memory=29936 CPUtime=0.15 cores=1,3,5,7
/proc/31269/stat : 31269 (java) S 31266 31269 29917 0 -1 1077944320 5977 0 0 0 14 1 0 0 20 0 15 0 414792293 10915721216 7484 33554432000 4194304 4196468 140721584365952 140721584348496 140459963105015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
/proc/31269/statm: 2664971 7484 2907 1 0 2627468 0
[pid=31269/tid=31271] ppid=31266 vsize=10659884 memory=-8125511277465342586 CPUtime=0.1 cores=1,3,5,7
/proc/31269/task/31271/stat : 31271 (java) R 31266 31269 29917 0 -1 4202560 3260 0 0 0 9 1 0 0 20 0 15 0 414792293 10915721216 7484 33554432000 4194304 4196468 140721584365952 140459967336120 140459600923635 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31272] ppid=31266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31272/stat : 31272 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 7484 33554432000 4194304 4196468 140721584365952 140459570289168 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31273] ppid=31266 vsize=10659884 memory=139977595455104 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31273/stat : 31273 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 7484 33554432000 4194304 4196468 140721584365952 140459569236624 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31274] ppid=31266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31274/stat : 31274 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 7484 33554432000 4194304 4196468 140721584365952 140459568183568 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31275] ppid=31266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31275/stat : 31275 (java) S 31266 31269 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 7484 33554432000 4194304 4196468 140721584365952 140459567131024 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31276] ppid=31266 vsize=10659884 memory=139977595455104 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31276/stat : 31276 (java) S 31266 31269 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414792295 10915721216 7484 33554432000 4194304 4196468 140721584365952 140458998090480 140459963116162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31277] ppid=31266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31277/stat : 31277 (java) S 31266 31269 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414792296 10915721216 7484 33554432000 4194304 4196468 140721584365952 140458997036704 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31278] ppid=31266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31278/stat : 31278 (java) S 31266 31269 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414792296 10915721216 7484 33554432000 4194304 4196468 140721584365952 140458995983600 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31279] ppid=31266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31279/stat : 31279 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414792298 10915721216 7484 33554432000 4194304 4196468 140721584365952 140458994932176 140459963123611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31280] ppid=31266 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31269/task/31280/stat : 31280 (java) R 31266 31269 29917 0 -1 1077944384 515 0 0 0 1 0 0 0 20 0 15 0 414792298 10915721216 7484 33554432000 4194304 4196468 140721584365952 140458993879280 140459963116162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31281] ppid=31266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31281/stat : 31281 (java) R 31266 31269 29917 0 -1 4202560 119 0 0 0 0 0 0 0 20 0 15 0 414792298 10915721216 7484 33554432000 4194304 4196468 140721584365952 140458992817752 140459943616510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31282] ppid=31266 vsize=10659884 memory=139977595455104 CPUtime=0.02 cores=1,3,5,7
/proc/31269/task/31282/stat : 31282 (java) R 31266 31269 29917 0 -1 4202560 732 0 0 0 2 0 0 0 20 0 15 0 414792298 10915721216 7484 33554432000 4194304 4196468 140721584365952 140458991770488 140459955342142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31283] ppid=31266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31283/stat : 31283 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414792299 10915721216 7484 33554432000 4194304 4196468 140721584365952 140458990721376 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31284] ppid=31266 vsize=10659884 memory=139977595455104 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31284/stat : 31284 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792299 10915721216 7484 33554432000 4194304 4196468 140721584365952 140458989669424 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29936 KiB
[startup+0.210748 s]*
/proc/loadavg: 1.65 1.66 1.73 3/228 31284
/proc/meminfo: memFree=30862212/32770624 swapFree=66940844/67108860
[pid=31269] ppid=31266 vsize=10659884 memory=37356 CPUtime=0.33 cores=1,3,5,7
/proc/31269/stat : 31269 (java) S 31266 31269 29917 0 -1 1077944320 9103 0 0 0 30 3 0 0 20 0 15 0 414792293 10915721216 9339 33554432000 4194304 4196468 140721584365952 140721584348496 140459963105015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
/proc/31269/statm: 2664971 9339 2989 1 0 2627468 0
[pid=31269/tid=31271] ppid=31266 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31269/task/31271/stat : 31271 (java) R 31266 31269 29917 0 -1 4202560 6118 0 0 0 18 2 0 0 20 0 15 0 414792293 10915721216 9339 33554432000 4194304 4196468 140721584365952 140459967331376 140459963126941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31272] ppid=31266 vsize=10659884 memory=342 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31272/stat : 31272 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 9339 33554432000 4194304 4196468 140721584365952 140459570289168 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31273] ppid=31266 vsize=10659884 memory=3472478199523215008 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31273/stat : 31273 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 9339 33554432000 4194304 4196468 140721584365952 140459569236624 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31274] ppid=31266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31274/stat : 31274 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 9339 33554432000 4194304 4196468 140721584365952 140459568183568 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31275] ppid=31266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31275/stat : 31275 (java) S 31266 31269 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 9339 33554432000 4194304 4196468 140721584365952 140459567131024 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31276] ppid=31266 vsize=10659884 memory=139977595455104 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31276/stat : 31276 (java) S 31266 31269 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414792295 10915721216 9339 33554432000 4194304 4196468 140721584365952 140458998090480 140459963116162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31277] ppid=31266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31277/stat : 31277 (java) S 31266 31269 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414792296 10915721216 9339 33554432000 4194304 4196468 140721584365952 140458997036704 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31278] ppid=31266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31278/stat : 31278 (java) S 31266 31269 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414792296 10915721216 9339 33554432000 4194304 4196468 140721584365952 140458995983600 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31279] ppid=31266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31279/stat : 31279 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414792298 10915721216 9339 33554432000 4194304 4196468 140721584365952 140458994932176 140459963123611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31280] ppid=31266 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31269/task/31280/stat : 31280 (java) S 31266 31269 29917 0 -1 1077944384 696 0 0 0 3 0 0 0 20 0 15 0 414792298 10915721216 9339 33554432000 4194304 4196468 140721584365952 140458993879280 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31281] ppid=31266 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31269/task/31281/stat : 31281 (java) S 31266 31269 29917 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 15 0 414792298 10915721216 9339 33554432000 4194304 4196468 140721584365952 140458992826736 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31282] ppid=31266 vsize=10659884 memory=139977595455104 CPUtime=0.05 cores=1,3,5,7
/proc/31269/task/31282/stat : 31282 (java) S 31266 31269 29917 0 -1 1077944384 761 0 0 0 5 0 0 0 20 0 15 0 414792298 10915721216 9339 33554432000 4194304 4196468 140721584365952 140458991773680 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31283] ppid=31266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31283/stat : 31283 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414792299 10915721216 9339 33554432000 4194304 4196468 140721584365952 140458990721376 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31284] ppid=31266 vsize=10659884 memory=139977595455104 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31284/stat : 31284 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792299 10915721216 9339 33554432000 4194304 4196468 140721584365952 140458989669424 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37356 KiB
[startup+0.309872 s]*
/proc/loadavg: 1.65 1.66 1.73 3/228 31284
/proc/meminfo: memFree=30860268/32770624 swapFree=66940844/67108860
[pid=31269] ppid=31266 vsize=10659884 memory=40416 CPUtime=0.47 cores=1,3,5,7
/proc/31269/stat : 31269 (java) S 31266 31269 29917 0 -1 1077944320 9335 0 0 0 44 3 0 0 20 0 15 0 414792293 10915721216 10104 33554432000 4194304 4196468 140721584365952 140721584348496 140459963105015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
/proc/31269/statm: 2664971 10104 3025 1 0 2627468 0
[pid=31269/tid=31271] ppid=31266 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/31269/task/31271/stat : 31271 (java) R 31266 31269 29917 0 -1 4202560 6270 0 0 0 28 2 0 0 20 0 15 0 414792293 10915721216 10104 33554432000 4194304 4196468 140721584365952 140459967318432 140459963126941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31272] ppid=31266 vsize=10659884 memory=4296910614 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31272/stat : 31272 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 10104 33554432000 4194304 4196468 140721584365952 140459570289168 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31273] ppid=31266 vsize=10659884 memory=3833887671573186208 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31273/stat : 31273 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 10104 33554432000 4194304 4196468 140721584365952 140459569236624 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31274] ppid=31266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31274/stat : 31274 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 10104 33554432000 4194304 4196468 140721584365952 140459568183568 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31275] ppid=31266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31275/stat : 31275 (java) S 31266 31269 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414792294 10915721216 10104 33554432000 4194304 4196468 140721584365952 140459567131024 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31276] ppid=31266 vsize=10659884 memory=139977595455104 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31276/stat : 31276 (java) S 31266 31269 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414792295 10915721216 10104 33554432000 4194304 4196468 140721584365952 140458998090480 140459963116162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31277] ppid=31266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31277/stat : 31277 (java) S 31266 31269 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414792296 10915721216 10104 33554432000 4194304 4196468 140721584365952 140458997036704 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31278] ppid=31266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31278/stat : 31278 (java) S 31266 31269 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414792296 10915721216 10104 33554432000 4194304 4196468 140721584365952 140458995983600 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31279] ppid=31266 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31279/stat : 31279 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414792298 10915721216 10104 33554432000 4194304 4196468 140721584365952 140458994932176 140459963123611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31280] ppid=31266 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31269/task/31280/stat : 31280 (java) S 31266 31269 29917 0 -1 1077944384 729 0 0 0 4 0 0 0 20 0 15 0 414792298 10915721216 10104 33554432000 4194304 4196468 140721584365952 140458993879280 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31281] ppid=31266 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/31269/task/31281/stat : 31281 (java) S 31266 31269 29917 0 -1 1077944384 185 0 0 0 3 0 0 0 20 0 15 0 414792298 10915721216 10104 33554432000 4194304 4196468 140721584365952 140458992826736 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31282] ppid=31266 vsize=10659884 memory=139977595455104 CPUtime=0.07 cores=1,3,5,7
/proc/31269/task/31282/stat : 31282 (java) S 31266 31269 29917 0 -1 1077944384 793 0 0 0 7 0 0 0 20 0 15 0 414792298 10915721216 10104 33554432000 4194304 4196468 140721584365952 140458991773680 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31283] ppid=31266 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31283/stat : 31283 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414792299 10915721216 10104 33554432000 4194304 4196468 140721584365952 140458990721376 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31284] ppid=31266 vsize=10659884 memory=139977595455104 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31284/stat : 31284 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792299 10915721216 10104 33554432000 4194304 4196468 140721584365952 140458989669424 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40416 KiB
[startup+0.700736 s]
/proc/loadavg: 1.65 1.66 1.73 4/228 31284
/proc/meminfo: memFree=30849512/32770624 swapFree=66940844/67108860
[pid=31269] ppid=31266 vsize=10661932 memory=63428 CPUtime=1.1 cores=1,3,5,7
/proc/31269/stat : 31269 (java) S 31266 31269 29917 0 -1 1077944320 12913 0 0 0 105 5 0 0 20 0 15 0 414792293 10917818368 15857 33554432000 4194304 4196468 140721584365952 140721584348496 140459963105015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
/proc/31269/statm: 2665483 15857 3064 1 0 2627980 0
[pid=31269/tid=31271] ppid=31266 vsize=10661932 memory=2112 CPUtime=0.68 cores=1,3,5,7
/proc/31269/task/31271/stat : 31271 (java) R 31266 31269 29917 0 -1 4202560 8819 0 0 0 64 4 0 0 20 0 15 0 414792293 10917818368 15857 33554432000 4194304 4196468 140721584365952 140459967337040 140459946291824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31272] ppid=31266 vsize=10661932 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31272/stat : 31272 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10917818368 15857 33554432000 4194304 4196468 140721584365952 140459570289168 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31273] ppid=31266 vsize=10661932 memory=23396 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31273/stat : 31273 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10917818368 15857 33554432000 4194304 4196468 140721584365952 140459569236624 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31274] ppid=31266 vsize=10661932 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31274/stat : 31274 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10917818368 15857 33554432000 4194304 4196468 140721584365952 140459568183568 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31275] ppid=31266 vsize=10661932 memory=532 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31275/stat : 31275 (java) S 31266 31269 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414792294 10917818368 15857 33554432000 4194304 4196468 140721584365952 140459567131024 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31276] ppid=31266 vsize=10661932 memory=928 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31276/stat : 31276 (java) S 31266 31269 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414792295 10917818368 15857 33554432000 4194304 4196468 140721584365952 140458998090480 140459963116162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31277] ppid=31266 vsize=10661932 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31277/stat : 31277 (java) S 31266 31269 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414792296 10917818368 15857 33554432000 4194304 4196468 140721584365952 140458997036704 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31278] ppid=31266 vsize=10661932 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31278/stat : 31278 (java) S 31266 31269 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414792296 10917818368 15857 33554432000 4194304 4196468 140721584365952 140458995983600 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31279] ppid=31266 vsize=10661932 memory=7086240636162691427 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31279/stat : 31279 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414792298 10917818368 15857 33554432000 4194304 4196468 140721584365952 140458994932176 140459963123611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31280] ppid=31266 vsize=10661932 memory=7740110344165609817 CPUtime=0.12 cores=1,3,5,7
/proc/31269/task/31280/stat : 31280 (java) S 31266 31269 29917 0 -1 1077944384 978 0 0 0 12 0 0 0 20 0 15 0 414792298 10917818368 15857 33554432000 4194304 4196468 140721584365952 140458993879280 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31281] ppid=31266 vsize=10661932 memory=5787221536915148880 CPUtime=0.09 cores=1,3,5,7
/proc/31269/task/31281/stat : 31281 (java) R 31266 31269 29917 0 -1 4202560 508 0 0 0 9 0 0 0 20 0 15 0 414792298 10917818368 15857 33554432000 4194304 4196468 140721584365952 140458992826736 140459948230914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31282] ppid=31266 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/31269/task/31282/stat : 31282 (java) S 31266 31269 29917 0 -1 1077944384 1249 0 0 0 18 0 0 0 20 0 15 0 414792298 10917818368 15857 33554432000 4194304 4196468 140721584365952 140458991773680 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31283] ppid=31266 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31283/stat : 31283 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414792299 10917818368 15857 33554432000 4194304 4196468 140721584365952 140458990721376 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31284] ppid=31266 vsize=10661932 memory=3996 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31284/stat : 31284 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792299 10917818368 15857 33554432000 4194304 4196468 140721584365952 140458989669424 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63428 KiB
[startup+1.50076 s]
/proc/loadavg: 1.65 1.66 1.73 3/228 31284
/proc/meminfo: memFree=30833072/32770624 swapFree=66940844/67108860
[pid=31269] ppid=31266 vsize=10663980 memory=75592 CPUtime=1.98 cores=1,3,5,7
/proc/31269/stat : 31269 (java) S 31266 31269 29917 0 -1 1077944320 16473 0 0 0 192 6 0 0 20 0 15 0 414792293 10919915520 18898 33554432000 4194304 4196468 140721584365952 140721584348496 140459963105015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
/proc/31269/statm: 2665995 18898 3090 1 0 2628492 0
[pid=31269/tid=31271] ppid=31266 vsize=10663980 memory=71784 CPUtime=1.48 cores=1,3,5,7
/proc/31269/task/31271/stat : 31271 (java) R 31266 31269 29917 0 -1 4202560 11487 0 0 0 144 4 0 0 20 0 15 0 414792293 10919915520 18898 33554432000 4194304 4196468 140721584365952 140459967337040 140459948270670 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31272] ppid=31266 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31272/stat : 31272 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10919915520 18898 33554432000 4194304 4196468 140721584365952 140459570289168 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31273] ppid=31266 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31273/stat : 31273 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10919915520 18898 33554432000 4194304 4196468 140721584365952 140459569236624 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31274] ppid=31266 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31274/stat : 31274 (java) S 31266 31269 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414792294 10919915520 18898 33554432000 4194304 4196468 140721584365952 140459568183568 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31275] ppid=31266 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31275/stat : 31275 (java) S 31266 31269 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414792294 10919915520 18898 33554432000 4194304 4196468 140721584365952 140459567131024 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31276] ppid=31266 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31276/stat : 31276 (java) S 31266 31269 29917 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 414792295 10919915520 18898 33554432000 4194304 4196468 140721584365952 140458998090480 140459963116162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
################
# More data... #
################
[pid=31269/tid=31272] ppid=31266 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31269/task/31272/stat : 31272 (java) S 31266 31269 29917 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414792294 11004186624 39044 33554432000 4194304 4196468 140721584365952 140459570289168 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31273] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31273/stat : 31273 (java) S 31266 31269 29917 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39044 33554432000 4194304 4196468 140721584365952 140459569236624 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31274] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31274/stat : 31274 (java) S 31266 31269 29917 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39044 33554432000 4194304 4196468 140721584365952 140459568183568 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31275] ppid=31266 vsize=10746276 memory=68 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31275/stat : 31275 (java) S 31266 31269 29917 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39044 33554432000 4194304 4196468 140721584365952 140459567131024 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31276] ppid=31266 vsize=10746276 memory=56 CPUtime=0.01 cores=1,3,5,7
/proc/31269/task/31276/stat : 31276 (java) S 31266 31269 29917 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 16 0 414792295 11004186624 39044 33554432000 4194304 4196468 140721584365952 140458998090480 140459963116162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31277] ppid=31266 vsize=10746276 memory=45 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31277/stat : 31277 (java) S 31266 31269 29917 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414792296 11004186624 39044 33554432000 4194304 4196468 140721584365952 140458997036768 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31278] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31278/stat : 31278 (java) S 31266 31269 29917 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414792296 11004186624 39044 33554432000 4194304 4196468 140721584365952 140458995983616 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31279] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31279/stat : 31279 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414792298 11004186624 39044 33554432000 4194304 4196468 140721584365952 140458994932176 140459963123611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31280] ppid=31266 vsize=10746276 memory=99 CPUtime=0.68 cores=1,3,5,7
/proc/31269/task/31280/stat : 31280 (java) S 31266 31269 29917 0 -1 1077944384 1867 0 0 0 67 1 0 0 20 0 16 0 414792298 11004186624 39044 33554432000 4194304 4196468 140721584365952 140458993879280 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31281] ppid=31266 vsize=10746276 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/31269/task/31281/stat : 31281 (java) S 31266 31269 29917 0 -1 1077944384 1539 0 0 0 56 0 0 0 20 0 16 0 414792298 11004186624 39044 33554432000 4194304 4196468 140721584365952 140458992826736 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31282] ppid=31266 vsize=10746276 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/31269/task/31282/stat : 31282 (java) S 31266 31269 29917 0 -1 1077944384 2022 0 0 0 45 0 0 0 20 0 16 0 414792298 11004186624 39044 33554432000 4194304 4196468 140721584365952 140458991773680 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31283] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31283/stat : 31283 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414792299 11004186624 39044 33554432000 4194304 4196468 140721584365952 140458990721376 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31284] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31284/stat : 31284 (java) S 31266 31269 29917 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414792299 11004186624 39044 33554432000 4194304 4196468 140721584365952 140458989669424 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31285] ppid=31266 vsize=10746276 memory=3472468273641151952 CPUtime=1.2 cores=1,3,5,7
/proc/31269/task/31285/stat : 31285 (java) R 31266 31269 29917 0 -1 4202560 3595 0 0 0 119 1 0 0 20 0 16 0 414792480 11004186624 39044 33554432000 4194304 4196468 140721584365952 140458988613368 140459605933104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
Current children cumulated CPU time: 4.86 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 156176 KiB
[startup+4.09164 s]
# the end of solver process 31269 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.98075 s, system=0.132613 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20079 s]
/proc/loadavg: 1.68 1.67 1.73 3/229 31285
/proc/meminfo: memFree=30743788/32770624 swapFree=66940844/67108860
[pid=31269] ppid=31266 vsize=10746276 memory=156192 CPUtime=4.95 cores=1,3,5,7
/proc/31269/stat : 31269 (java) S 31266 31269 29917 0 -1 1077944320 24068 0 0 0 483 12 0 0 20 0 16 0 414792293 11004186624 39048 33554432000 4194304 4196468 140721584365952 140721584348496 140459963105015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
/proc/31269/statm: 2686569 39048 3340 1 0 2646705 0
[pid=31269/tid=31271] ppid=31266 vsize=10746276 memory=6944656592455350634 CPUtime=1.84 cores=1,3,5,7
/proc/31269/task/31271/stat : 31271 (java) S 31266 31269 29917 0 -1 1077944384 13109 0 0 0 179 5 0 0 20 0 16 0 414792293 11004186624 39048 33554432000 4194304 4196468 140721584365952 140459967347888 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31272] ppid=31266 vsize=10746276 memory=-9001734013606258791 CPUtime=0.01 cores=1,3,5,7
/proc/31269/task/31272/stat : 31272 (java) S 31266 31269 29917 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414792294 11004186624 39048 33554432000 4194304 4196468 140721584365952 140459570289168 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31273] ppid=31266 vsize=10746276 memory=-9103030981133442421 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31273/stat : 31273 (java) S 31266 31269 29917 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39048 33554432000 4194304 4196468 140721584365952 140459569236624 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31274] ppid=31266 vsize=10746276 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31274/stat : 31274 (java) S 31266 31269 29917 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39048 33554432000 4194304 4196468 140721584365952 140459568183568 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31275] ppid=31266 vsize=10746276 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31275/stat : 31275 (java) S 31266 31269 29917 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39048 33554432000 4194304 4196468 140721584365952 140459567131024 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31276] ppid=31266 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31269/task/31276/stat : 31276 (java) S 31266 31269 29917 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 16 0 414792295 11004186624 39048 33554432000 4194304 4196468 140721584365952 140458998090480 140459963116162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31277] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31277/stat : 31277 (java) S 31266 31269 29917 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414792296 11004186624 39048 33554432000 4194304 4196468 140721584365952 140458997036768 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31278] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31278/stat : 31278 (java) S 31266 31269 29917 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414792296 11004186624 39048 33554432000 4194304 4196468 140721584365952 140458995983616 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31279] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31279/stat : 31279 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414792298 11004186624 39048 33554432000 4194304 4196468 140721584365952 140458994932176 140459963123611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31280] ppid=31266 vsize=10746276 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/31269/task/31280/stat : 31280 (java) S 31266 31269 29917 0 -1 1077944384 1867 0 0 0 67 1 0 0 20 0 16 0 414792298 11004186624 39048 33554432000 4194304 4196468 140721584365952 140458993879280 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31281] ppid=31266 vsize=10746276 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/31269/task/31281/stat : 31281 (java) S 31266 31269 29917 0 -1 1077944384 1539 0 0 0 56 0 0 0 20 0 16 0 414792298 11004186624 39048 33554432000 4194304 4196468 140721584365952 140458992826736 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31282] ppid=31266 vsize=10746276 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/31269/task/31282/stat : 31282 (java) S 31266 31269 29917 0 -1 1077944384 2191 0 0 0 45 1 0 0 20 0 16 0 414792298 11004186624 39048 33554432000 4194304 4196468 140721584365952 140458991773680 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31283] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31283/stat : 31283 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414792299 11004186624 39048 33554432000 4194304 4196468 140721584365952 140458990721376 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31284] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31284/stat : 31284 (java) S 31266 31269 29917 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414792299 11004186624 39048 33554432000 4194304 4196468 140721584365952 140458989669424 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31285] ppid=31266 vsize=10746276 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/31269/task/31285/stat : 31285 (java) R 31266 31269 29917 0 -1 4202560 3611 0 0 0 128 1 0 0 20 0 16 0 414792480 11004186624 39048 33554432000 4194304 4196468 140721584365952 140458988613704 140459605896357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
Current children cumulated CPU time: 4.95 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 156192 KiB
[startup+3.60066 s]
/proc/loadavg: 1.68 1.67 1.73 3/229 31285
/proc/meminfo: memFree=30743788/32770624 swapFree=66940844/67108860
[pid=31269] ppid=31266 vsize=10746276 memory=156472 CPUtime=5.44 cores=1,3,5,7
/proc/31269/stat : 31269 (java) S 31266 31269 29917 0 -1 1077944320 24596 0 0 0 532 12 0 0 20 0 16 0 414792293 11004186624 39118 33554432000 4194304 4196468 140721584365952 140721584348496 140459963105015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
/proc/31269/statm: 2686569 39118 3342 1 0 2646705 0
[pid=31269/tid=31271] ppid=31266 vsize=10746276 memory=279954961154496 CPUtime=1.84 cores=1,3,5,7
/proc/31269/task/31271/stat : 31271 (java) S 31266 31269 29917 0 -1 1077944384 13109 0 0 0 179 5 0 0 20 0 16 0 414792293 11004186624 39118 33554432000 4194304 4196468 140721584365952 140459967347888 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31272] ppid=31266 vsize=10746276 memory=-6454338467431146081 CPUtime=0.01 cores=1,3,5,7
/proc/31269/task/31272/stat : 31272 (java) S 31266 31269 29917 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414792294 11004186624 39118 33554432000 4194304 4196468 140721584365952 140459570289168 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31273] ppid=31266 vsize=10746276 memory=7084818013876338786 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31273/stat : 31273 (java) S 31266 31269 29917 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39118 33554432000 4194304 4196468 140721584365952 140459569236624 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31274] ppid=31266 vsize=10746276 memory=-7745171288847258737 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31274/stat : 31274 (java) S 31266 31269 29917 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39118 33554432000 4194304 4196468 140721584365952 140459568183568 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31275] ppid=31266 vsize=10746276 memory=6944613755395144096 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31275/stat : 31275 (java) S 31266 31269 29917 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39118 33554432000 4194304 4196468 140721584365952 140459567131024 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31276] ppid=31266 vsize=10746276 memory=-9001733975035308135 CPUtime=0.01 cores=1,3,5,7
/proc/31269/task/31276/stat : 31276 (java) S 31266 31269 29917 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 16 0 414792295 11004186624 39118 33554432000 4194304 4196468 140721584365952 140458998090480 140459963116162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31277] ppid=31266 vsize=10746276 memory=-7450779821759504288 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31277/stat : 31277 (java) S 31266 31269 29917 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414792296 11004186624 39118 33554432000 4194304 4196468 140721584365952 140458997036768 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31278] ppid=31266 vsize=10746276 memory=279954961480784 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31278/stat : 31278 (java) S 31266 31269 29917 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414792296 11004186624 39118 33554432000 4194304 4196468 140721584365952 140458995983616 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31279] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31279/stat : 31279 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414792298 11004186624 39118 33554432000 4194304 4196468 140721584365952 140458994932176 140459963123611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31280] ppid=31266 vsize=10746276 memory=-9174445032661854264 CPUtime=0.71 cores=1,3,5,7
/proc/31269/task/31280/stat : 31280 (java) S 31266 31269 29917 0 -1 1077944384 2024 0 0 0 70 1 0 0 20 0 16 0 414792298 11004186624 39118 33554432000 4194304 4196468 140721584365952 140458993879280 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31281] ppid=31266 vsize=10746276 memory=-6152018833316799839 CPUtime=0.6 cores=1,3,5,7
/proc/31269/task/31281/stat : 31281 (java) R 31266 31269 29917 0 -1 4202560 1630 0 0 0 60 0 0 0 20 0 16 0 414792298 11004186624 39118 33554432000 4194304 4196468 140721584365952 140458992826736 140459947986783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31282] ppid=31266 vsize=10746276 memory=7380385388137112419 CPUtime=0.49 cores=1,3,5,7
/proc/31269/task/31282/stat : 31282 (java) S 31266 31269 29917 0 -1 1077944384 2459 0 0 0 48 1 0 0 20 0 16 0 414792298 11004186624 39118 33554432000 4194304 4196468 140721584365952 140458991773680 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31283] ppid=31266 vsize=10746276 memory=5864626159196990049 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31283/stat : 31283 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414792299 11004186624 39118 33554432000 4194304 4196468 140721584365952 140458990721376 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31284] ppid=31266 vsize=10746276 memory=23396 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31284/stat : 31284 (java) S 31266 31269 29917 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414792299 11004186624 39118 33554432000 4194304 4196468 140721584365952 140458989669424 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31285] ppid=31266 vsize=10746276 memory=1556 CPUtime=1.69 cores=1,3,5,7
/proc/31269/task/31285/stat : 31285 (java) R 31266 31269 29917 0 -1 4202560 3623 0 0 0 168 1 0 0 20 0 16 0 414792480 11004186624 39118 33554432000 4194304 4196468 140721584365952 140458988613416 140459605896398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
Current children cumulated CPU time: 5.44 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 156472 KiB
[startup+4.00064 s]*
/proc/loadavg: 1.68 1.67 1.73 4/229 31285
/proc/meminfo: memFree=30744396/32770624 swapFree=66940844/67108860
[pid=31269] ppid=31266 vsize=10746276 memory=156904 CPUtime=6 cores=1,3,5,7
/proc/31269/stat : 31269 (java) S 31266 31269 29917 0 -1 1077944320 25403 0 0 0 588 12 0 0 20 0 16 0 414792293 11004186624 39226 33554432000 4194304 4196468 140721584365952 140721584348496 140459963105015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
/proc/31269/statm: 2686569 39226 3346 1 0 2646705 0
[pid=31269/tid=31271] ppid=31266 vsize=10746276 memory=6791534058613427641 CPUtime=1.84 cores=1,3,5,7
/proc/31269/task/31271/stat : 31271 (java) S 31266 31269 29917 0 -1 1077944384 13109 0 0 0 179 5 0 0 20 0 16 0 414792293 11004186624 39226 33554432000 4194304 4196468 140721584365952 140459967347888 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31272] ppid=31266 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31269/task/31272/stat : 31272 (java) S 31266 31269 29917 0 -1 1077944384 117 0 0 0 1 0 0 0 20 0 16 0 414792294 11004186624 39226 33554432000 4194304 4196468 140721584365952 140459570289168 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31273] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31273/stat : 31273 (java) S 31266 31269 29917 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39226 33554432000 4194304 4196468 140721584365952 140459569236624 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31274] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31274/stat : 31274 (java) S 31266 31269 29917 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39226 33554432000 4194304 4196468 140721584365952 140459568183568 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31275] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31275/stat : 31275 (java) S 31266 31269 29917 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414792294 11004186624 39226 33554432000 4194304 4196468 140721584365952 140459567131024 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31276] ppid=31266 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31269/task/31276/stat : 31276 (java) S 31266 31269 29917 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 16 0 414792295 11004186624 39226 33554432000 4194304 4196468 140721584365952 140458998090480 140459963116162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31277] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31277/stat : 31277 (java) S 31266 31269 29917 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414792296 11004186624 39226 33554432000 4194304 4196468 140721584365952 140458997036768 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31278] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31278/stat : 31278 (java) S 31266 31269 29917 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414792296 11004186624 39226 33554432000 4194304 4196468 140721584365952 140458995983616 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31279] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31279/stat : 31279 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414792298 11004186624 39226 33554432000 4194304 4196468 140721584365952 140458994932176 140459963123611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31280] ppid=31266 vsize=10746276 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/31269/task/31280/stat : 31280 (java) S 31266 31269 29917 0 -1 1077944384 2071 0 0 0 73 1 0 0 20 0 16 0 414792298 11004186624 39226 33554432000 4194304 4196468 140721584365952 140458993879280 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31281] ppid=31266 vsize=10746276 memory=3472592183261933599 CPUtime=0.69 cores=1,3,5,7
/proc/31269/task/31281/stat : 31281 (java) R 31266 31269 29917 0 -1 4202560 1674 0 0 0 69 0 0 0 20 0 16 0 414792298 11004186624 39226 33554432000 4194304 4196468 140721584365952 140458992826736 140459948212827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31282] ppid=31266 vsize=10746276 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/31269/task/31282/stat : 31282 (java) S 31266 31269 29917 0 -1 1077944384 2568 0 0 0 50 1 0 0 20 0 16 0 414792298 11004186624 39226 33554432000 4194304 4196468 140721584365952 140458991773680 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31283] ppid=31266 vsize=10746276 memory=279954961521056 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31283/stat : 31283 (java) S 31266 31269 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414792299 11004186624 39226 33554432000 4194304 4196468 140721584365952 140458990721376 140459963115221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31284] ppid=31266 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31269/task/31284/stat : 31284 (java) S 31266 31269 29917 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 414792299 11004186624 39226 33554432000 4194304 4196468 140721584365952 140458989669424 140459963116162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
[pid=31269/tid=31285] ppid=31266 vsize=10746276 memory=279954961564576 CPUtime=2.1 cores=1,3,5,7
/proc/31269/task/31285/stat : 31285 (java) R 31266 31269 29917 0 -1 4202560 4202 0 0 0 209 1 0 0 20 0 16 0 414792480 11004186624 39226 33554432000 4194304 4196468 140721584365952 140458988612648 140459605896398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22810624 140721584374795 140721584374898 140721584374898 140721584377807 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 156904 KiB
Child status: 0
Real time (s): 4.09168
CPU time (s): 6.11337
CPU user time (s): 5.98075
CPU system time (s): 0.132613
CPU usage (%): 149.41
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 156904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.98076
system time used= 0.132613
maximum resident set size= 157440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25712
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= 2800
involuntary context switches= 25
# summary of solver processes directly reported to runsolver:
# pid: 31269
# total CPU time (s): 6.11337
# total CPU user time (s): 5.98075
# total CPU system time (s): 0.132613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06345 second user time and 0.071637 second system time
The end