2.41/1.88
2.41/1.88 AbsCon 2
2.41/1.90
2.67/2.01 Instance
2.67/2.01 name=instance-4390981-1568385544, framework=COP, bounds=-infty..+infty
2.67/2.01
2.67/2.01 Loading variables...
2.92/2.03 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c3bc1e
2.92/2.04 Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c628cf0
2.92/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43da1119
2.92/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15ebb3fb
2.92/2.04 [Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52cd16a2
2.92/2.08
2.92/2.08
2.92/2.08 Domains
2.92/2.08 nTypes=2, nValues=1756, sizes=[6#1,35#50]
2.92/2.08 Variables
2.92/2.08 count=51, degrees=[2#1,4#18,5#29,6#3]
2.92/2.08 Objectives
2.92/2.08 way=max, type=ObjVarGE
2.92/2.08 Constraints
2.92/2.08 count=17, nSpecific=17, arities=[1#1,6#1,10#10,20#4,50#1]
2.92/2.08 distribution=[CardinalityConstant#1,ExactlyKVariable#1,LexicographicLe#4,ObjVarGE#1,OrderedGE#5,SumSimpleLE#5]
2.92/2.08 wck=0.228, cpu=2.04, mem=18M585
2.92/2.09 Solver SolverBacktrack being built...
2.92/2.09
2.92/2.11
2.92/2.11 Solver
2.92/2.11 guaranteedGAC=true
2.92/2.11 wck=0.257, cpu=2.068, mem=29M227
3.18/2.11
3.18/2.11 Preprocessing
3.18/2.11 filters=2, nACremovedValues=55, nTotalRemovedValues=55, inconcistency=false
3.18/2.11 wck=0.003, cpu=2.073, mem=29M227
3.18/2.11
3.18/2.13 num=0, depth=0..0, filters=43, wck=0.02, mem=31M870
3.18/2.13 decisions=20, wrong=10, backtracks=0, failedAssignments=10
3.18/2.13
3.18/2.15 num=1, depth=0..0, filters=136, wck=0.038, mem=31M870
3.18/2.15 decisions=42, wrong=21, backtracks=0, failedAssignments=21
3.18/2.15
3.18/2.16 num=2, depth=0..0, filters=259, wck=0.047, mem=31M870
3.18/2.16 decisions=66, wrong=33, backtracks=0, failedAssignments=33
3.18/2.16
3.18/2.16 num=3, depth=1..1, filters=319, wck=0.055, mem=31M870
3.18/2.16 decisions=92, wrong=46, backtracks=0, failedAssignments=46, nogoods=13
3.18/2.16
3.18/2.17 num=4, depth=0..0, filters=326, wck=0.058, mem=31M870
3.18/2.17 decisions=120, wrong=60, backtracks=0, failedAssignments=60, nogoods=13
3.18/2.17
3.18/2.18 num=5, depth=0..1, filters=461, wck=0.069, mem=31M870
3.18/2.18 decisions=153, wrong=76, backtracks=0, failedAssignments=76, nogoods=15
3.18/2.18
3.18/2.19 num=6, depth=0..4, filters=507, wck=0.076, mem=31M870
3.18/2.19 decisions=189, wrong=93, backtracks=0, failedAssignments=93, nogoods=26
3.18/2.19
3.44/2.21 num=7, depth=0..9, filters=611, wck=0.1, mem=31M870
3.44/2.21 decisions=234, wrong=113, backtracks=1, failedAssignments=112, nogoods=38
3.44/2.21
3.44/2.22 num=8, depth=0..1, filters=723, wck=0.112, mem=31M870
3.44/2.22 decisions=281, wrong=136, backtracks=3, failedAssignments=133, nogoods=39
3.44/2.22
3.44/2.23 num=9, depth=0..9, filters=816, wck=0.124, mem=31M870
3.44/2.23 decisions=345, wrong=168, backtracks=12, failedAssignments=156, nogoods=39
3.44/2.23
3.44/2.25 num=10, depth=0..10, filters=957, wck=0.14, mem=31M870
3.44/2.25 decisions=414, wrong=202, backtracks=29, failedAssignments=181, nogoods=41
3.44/2.25
3.44/2.27 num=11, depth=0..15, filters=1136, wck=0.156, mem=31M870
3.44/2.27 decisions=489, wrong=235, backtracks=34, failedAssignments=209, nogoods=49
3.44/2.27
3.44/2.28 num=12, depth=2..13, filters=1339, wck=0.172, mem=31M870
3.44/2.28 decisions=566, wrong=268, backtracks=37, failedAssignments=240, nogoods=79
3.44/2.28
3.44/2.30 num=13, depth=0..3, filters=1538, wck=0.187, mem=31M870
3.44/2.30 decisions=641, wrong=304, backtracks=39, failedAssignments=274, nogoods=82
3.44/2.30
3.76/2.31 num=14, depth=1..12, filters=1791, wck=0.202, mem=31M870
3.76/2.31 decisions=733, wrong=348, backtracks=47, failedAssignments=311, nogoods=102
3.76/2.31
3.76/2.32 num=15, depth=0..10, filters=1958, wck=0.215, mem=31M870
3.76/2.32 decisions=820, wrong=391, backtracks=56, failedAssignments=352, nogoods=106
3.76/2.32
3.76/2.36 num=16, depth=3..14, filters=2522, wck=0.245, mem=31M870
3.76/2.36 decisions=955, wrong=456, backtracks=80, failedAssignments=397, nogoods=115
3.76/2.36
3.76/2.39 num=17, depth=1..13, filters=3180, wck=0.278, mem=31M870
3.76/2.39 decisions=1114, wrong=532, backtracks=111, failedAssignments=447, nogoods=126
3.76/2.39
4.03/2.41 num=18, depth=0..15, filters=3609, wck=0.298, mem=31M870
4.03/2.41 decisions=1264, wrong=606, backtracks=138, failedAssignments=502, nogoods=138
4.03/2.41
4.03/2.44 num=19, depth=0..9, filters=4321, wck=0.33, mem=31M870
4.03/2.44 decisions=1455, wrong=701, backtracks=173, failedAssignments=563, nogoods=142
4.03/2.44
4.03/2.47 num=20, depth=0..15, filters=4936, wck=0.361, mem=31M870
4.03/2.47 decisions=1650, wrong=794, backtracks=204, failedAssignments=630, nogoods=159
4.03/2.47
4.20/2.50 num=21, depth=0..14, filters=5601, wck=0.392, mem=31M870
4.20/2.50 decisions=1871, wrong=902, backtracks=248, failedAssignments=704, nogoods=171
4.20/2.50
4.20/2.55 num=22, depth=0..12, filters=6544, wck=0.436, mem=31M870
4.20/2.55 decisions=2138, wrong=1033, backtracks=310, failedAssignments=785, nogoods=187
4.20/2.55
4.20/2.58 num=23, depth=0..13, filters=7446, wck=0.472, mem=31M870
4.20/2.58 decisions=2401, wrong=1160, backtracks=352, failedAssignments=874, nogoods=199
4.20/2.58
4.33/2.63 num=24, depth=0..11, filters=8466, wck=0.519, mem=31M870
4.33/2.63 decisions=2693, wrong=1303, backtracks=399, failedAssignments=972, nogoods=207
4.33/2.63
4.33/2.67 num=25, depth=0..10, filters=9287, wck=0.559, mem=31M870
4.33/2.67 decisions=2979, wrong=1444, backtracks=437, failedAssignments=1080, nogoods=212
4.33/2.67
4.44/2.72 num=26, depth=0..12, filters=10425, wck=0.61, mem=31M870
4.44/2.72 decisions=3321, wrong=1613, backtracks=496, failedAssignments=1199, nogoods=221
4.44/2.72
4.44/2.77 num=27, depth=0..12, filters=11530, wck=0.66, mem=31M870
4.44/2.77 decisions=3692, wrong=1797, backtracks=556, failedAssignments=1330, nogoods=228
4.44/2.77
4.54/2.85 num=28, depth=1..12, filters=13542, wck=0.741, mem=31M870
4.54/2.85 decisions=4153, wrong=2024, backtracks=651, failedAssignments=1474, nogoods=244
4.54/2.85
4.65/2.92 num=29, depth=0..11, filters=15073, wck=0.809, mem=31M870
4.65/2.92 decisions=4645, wrong=2266, backtracks=753, failedAssignments=1632, nogoods=253
4.65/2.92
4.76/3.01 num=30, depth=0..11, filters=17249, wck=0.901, mem=31M870
4.76/3.01 decisions=5235, wrong=2560, backtracks=885, failedAssignments=1806, nogoods=259
4.76/3.01
4.76/3.09 num=31, depth=0..12, filters=18961, wck=0.984, mem=31M870
4.76/3.09 decisions=5836, wrong=2857, backtracks=1007, failedAssignments=1997, nogoods=266
4.76/3.09
4.91/3.19 num=32, depth=0..12, filters=20968, wck=1.076, mem=31M870
4.91/3.19 decisions=6512, wrong=3194, backtracks=1167, failedAssignments=2208, nogoods=284
4.91/3.19
5.13/3.31 num=33, depth=0..12, filters=23969, wck=1.202, mem=31M870
5.13/3.31 decisions=7362, wrong=3615, backtracks=1394, failedAssignments=2440, nogoods=285
5.13/3.31
5.13/3.32
5.13/3.32 New Bounds: 0..-2147483649
5.13/3.32 num=34, depth=0..10, filters=24201, wck=1.213, mem=31M870
5.13/3.32 decisions=7446, wrong=3658, backtracks=1416, failedAssignments=2462
5.13/3.32
5.13/3.32 Global
5.13/3.32 filters=24201
5.13/3.32 Stop=FULL_EXPLORATION, wrong=3658, wck=1.472, cpu=3.282, mem=31M870
5.13/3.32
5.13/3.32 s UNSATISFIABLE
5.13/3.32
5.13/3.32 d WRONG_DECISIONS 3658
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 (12365 MiB free)
memory of node 1: 16384 MiB (15751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390981-1568385544/watcher-4390981-1568385544 -o /tmp/evaluation-result-4390981-1568385544/solver-4390981-1568385544 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568380477-25673 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390981-1568385544.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=26452, runsolver pid=26449
[startup+0.104328 s]*
/proc/loadavg: 1.70 1.81 1.83 5/228 26467
/proc/meminfo: memFree=28775360/32770624 swapFree=66999916/67108860
[pid=26452] ppid=26449 vsize=10659884 memory=29032 CPUtime=0.15 cores=1,3,5,7
/proc/26452/stat : 26452 (java) S 26449 26452 25641 0 -1 1077944320 5774 0 0 0 14 1 0 0 20 0 15 0 414819289 10915721216 7258 33554432000 4194304 4196468 140730174959664 140730174942208 140386913767159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
/proc/26452/statm: 2664971 7258 2909 1 0 2627468 0
[pid=26452/tid=26454] ppid=26449 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/26452/task/26454/stat : 26454 (java) R 26449 26452 25641 0 -1 4202560 3234 0 0 0 9 0 0 0 20 0 15 0 414819290 10915721216 7258 33554432000 4194304 4196468 140730174959664 140386917997200 140386906004286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26455] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26455/stat : 26455 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 7258 33554432000 4194304 4196468 140730174959664 140386850458256 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26456] ppid=26449 vsize=10659884 memory=4050345008996386464 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26456/stat : 26456 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 7258 33554432000 4194304 4196468 140730174959664 140386849405456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26457] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26457/stat : 26457 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 7258 33554432000 4194304 4196468 140730174959664 140386848352656 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26458] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26458/stat : 26458 (java) S 26449 26452 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 7258 33554432000 4194304 4196468 140730174959664 140386847299856 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26459] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26459/stat : 26459 (java) S 26449 26452 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414819292 10915721216 7258 33554432000 4194304 4196468 140730174959664 140385949588336 140386913778306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26460] ppid=26449 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26460/stat : 26460 (java) S 26449 26452 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414819292 10915721216 7258 33554432000 4194304 4196468 140730174959664 140385948534304 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26461] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26461/stat : 26461 (java) S 26449 26452 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414819293 10915721216 7324 33554432000 4194304 4196468 140730174959664 140385947481456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26462] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26462/stat : 26462 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414819295 10915721216 7324 33554432000 4194304 4196468 140730174959664 140385946429776 140386913785755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26463] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26463/stat : 26463 (java) S 26449 26452 25641 0 -1 1077944384 451 0 0 0 0 0 0 0 20 0 15 0 414819295 10915721216 7390 33554432000 4194304 4196468 140730174959664 140385945377136 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26464] ppid=26449 vsize=10659884 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26452/task/26464/stat : 26464 (java) R 26449 26452 25641 0 -1 4202560 210 0 0 0 1 0 0 0 20 0 15 0 414819295 10915721216 7390 33554432000 4194304 4196468 140730174959664 140385944308904 140386895310882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26465] ppid=26449 vsize=10659884 memory=139780868114048 CPUtime=0.02 cores=1,3,5,7
/proc/26452/task/26465/stat : 26465 (java) R 26449 26452 25641 0 -1 4202560 597 0 0 0 2 0 0 0 20 0 15 0 414819295 10915721216 7390 33554432000 4194304 4196468 140730174959664 140385943268216 140386892399904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26466] ppid=26449 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26466/stat : 26466 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414819295 10915721216 7390 33554432000 4194304 4196468 140730174959664 140385942218976 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26467] ppid=26449 vsize=10659884 memory=139780868114048 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26467/stat : 26467 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819295 10915721216 7390 33554432000 4194304 4196468 140730174959664 140385941167280 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29032 KiB
[startup+0.210965 s]*
/proc/loadavg: 1.70 1.81 1.83 3/228 26467
/proc/meminfo: memFree=28767624/32770624 swapFree=66999916/67108860
[pid=26452] ppid=26449 vsize=10659884 memory=35168 CPUtime=0.33 cores=1,3,5,7
/proc/26452/stat : 26452 (java) S 26449 26452 25641 0 -1 1077944320 6923 0 0 0 31 2 0 0 20 0 15 0 414819289 10915721216 8792 33554432000 4194304 4196468 140730174959664 140730174942208 140386913767159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
/proc/26452/statm: 2664971 8792 2989 1 0 2627468 0
[pid=26452/tid=26454] ppid=26449 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/26452/task/26454/stat : 26454 (java) R 26449 26452 25641 0 -1 4202560 3843 0 0 0 19 1 0 0 20 0 15 0 414819290 10915721216 8792 33554432000 4194304 4196468 140730174959664 140386917999248 140386913789085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26455] ppid=26449 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26455/stat : 26455 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 8792 33554432000 4194304 4196468 140730174959664 140386850458256 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26456] ppid=26449 vsize=10659884 memory=139780871126296 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26456/stat : 26456 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 8792 33554432000 4194304 4196468 140730174959664 140386849405456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26457] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26457/stat : 26457 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 8792 33554432000 4194304 4196468 140730174959664 140386848352656 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26458] ppid=26449 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26458/stat : 26458 (java) S 26449 26452 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 8792 33554432000 4194304 4196468 140730174959664 140386847299856 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26459] ppid=26449 vsize=10659884 memory=139780868114048 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26459/stat : 26459 (java) S 26449 26452 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414819292 10915721216 8792 33554432000 4194304 4196468 140730174959664 140385949588336 140386913778306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26460] ppid=26449 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26460/stat : 26460 (java) S 26449 26452 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414819292 10915721216 8792 33554432000 4194304 4196468 140730174959664 140385948534304 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26461] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26461/stat : 26461 (java) S 26449 26452 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414819293 10915721216 8792 33554432000 4194304 4196468 140730174959664 140385947481456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26462] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26462/stat : 26462 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414819295 10915721216 8792 33554432000 4194304 4196468 140730174959664 140385946429776 140386913785755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26463] ppid=26449 vsize=10659884 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26452/task/26463/stat : 26463 (java) S 26449 26452 25641 0 -1 1077944384 622 0 0 0 2 0 0 0 20 0 15 0 414819295 10915721216 8792 33554432000 4194304 4196468 140730174959664 140385945377136 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26464] ppid=26449 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26452/task/26464/stat : 26464 (java) S 26449 26452 25641 0 -1 1077944384 386 0 0 0 3 0 0 0 20 0 15 0 414819295 10915721216 8792 33554432000 4194304 4196468 140730174959664 140385944324336 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26465] ppid=26449 vsize=10659884 memory=139780868114048 CPUtime=0.05 cores=1,3,5,7
/proc/26452/task/26465/stat : 26465 (java) S 26449 26452 25641 0 -1 1077944384 713 0 0 0 5 0 0 0 20 0 15 0 414819295 10915721216 8792 33554432000 4194304 4196468 140730174959664 140385943271536 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26466] ppid=26449 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26466/stat : 26466 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414819295 10915721216 8792 33554432000 4194304 4196468 140730174959664 140385942218976 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26467] ppid=26449 vsize=10659884 memory=139780868114048 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26467/stat : 26467 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819295 10915721216 8792 33554432000 4194304 4196468 140730174959664 140385941167280 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35168 KiB
[startup+0.310062 s]*
/proc/loadavg: 1.70 1.81 1.83 4/228 26467
/proc/meminfo: memFree=28760176/32770624 swapFree=66999916/67108860
[pid=26452] ppid=26449 vsize=10659884 memory=40564 CPUtime=0.47 cores=1,3,5,7
/proc/26452/stat : 26452 (java) S 26449 26452 25641 0 -1 1077944320 9584 0 0 0 44 3 0 0 20 0 15 0 414819289 10915721216 10141 33554432000 4194304 4196468 140730174959664 140730174942208 140386913767159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
/proc/26452/statm: 2664971 10141 3002 1 0 2627468 0
[pid=26452/tid=26454] ppid=26449 vsize=10659884 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/26452/task/26454/stat : 26454 (java) R 26449 26452 25641 0 -1 4202560 6430 0 0 0 27 2 0 0 20 0 15 0 414819290 10915721216 10141 33554432000 4194304 4196468 140730174959664 140386917987312 140386897847646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26455] ppid=26449 vsize=10659884 memory=4294977067 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26455/stat : 26455 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 10141 33554432000 4194304 4196468 140730174959664 140386850458256 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26456] ppid=26449 vsize=10659884 memory=139780871120564 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26456/stat : 26456 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 10141 33554432000 4194304 4196468 140730174959664 140386849405456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26457] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26457/stat : 26457 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 10141 33554432000 4194304 4196468 140730174959664 140386848352656 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26458] ppid=26449 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26458/stat : 26458 (java) S 26449 26452 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414819291 10915721216 10141 33554432000 4194304 4196468 140730174959664 140386847299856 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26459] ppid=26449 vsize=10659884 memory=139780868114048 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26459/stat : 26459 (java) S 26449 26452 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414819292 10915721216 10141 33554432000 4194304 4196468 140730174959664 140385949588336 140386913778306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26460] ppid=26449 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26460/stat : 26460 (java) S 26449 26452 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414819292 10915721216 10141 33554432000 4194304 4196468 140730174959664 140385948534304 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26461] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26461/stat : 26461 (java) S 26449 26452 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414819293 10915721216 10141 33554432000 4194304 4196468 140730174959664 140385947481456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26462] ppid=26449 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26462/stat : 26462 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414819295 10915721216 10141 33554432000 4194304 4196468 140730174959664 140385946429776 140386913785755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26463] ppid=26449 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26452/task/26463/stat : 26463 (java) S 26449 26452 25641 0 -1 1077944384 641 0 0 0 3 0 0 0 20 0 15 0 414819295 10915721216 10141 33554432000 4194304 4196468 140730174959664 140385945377136 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26464] ppid=26449 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/26452/task/26464/stat : 26464 (java) S 26449 26452 25641 0 -1 1077944384 413 0 0 0 4 0 0 0 20 0 15 0 414819295 10915721216 10141 33554432000 4194304 4196468 140730174959664 140385944324336 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26465] ppid=26449 vsize=10659884 memory=139780868114048 CPUtime=0.07 cores=1,3,5,7
/proc/26452/task/26465/stat : 26465 (java) S 26449 26452 25641 0 -1 1077944384 741 0 0 0 7 0 0 0 20 0 15 0 414819295 10915721216 10141 33554432000 4194304 4196468 140730174959664 140385943271536 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26466] ppid=26449 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26466/stat : 26466 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414819295 10915721216 10141 33554432000 4194304 4196468 140730174959664 140385942218976 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26467] ppid=26449 vsize=10659884 memory=139780868114048 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26467/stat : 26467 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819295 10915721216 10141 33554432000 4194304 4196468 140730174959664 140385941167280 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40564 KiB
[startup+0.700968 s]
/proc/loadavg: 1.70 1.81 1.83 3/228 26467
/proc/meminfo: memFree=28751124/32770624 swapFree=66999916/67108860
[pid=26452] ppid=26449 vsize=10661932 memory=64212 CPUtime=1.13 cores=1,3,5,7
/proc/26452/stat : 26452 (java) S 26449 26452 25641 0 -1 1077944320 13132 0 0 0 107 6 0 0 20 0 15 0 414819289 10917818368 16053 33554432000 4194304 4196468 140730174959664 140730174942208 140386913767159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
/proc/26452/statm: 2665483 16053 3070 1 0 2627980 0
[pid=26452/tid=26454] ppid=26449 vsize=10661932 memory=39176 CPUtime=0.68 cores=1,3,5,7
/proc/26452/task/26454/stat : 26454 (java) R 26449 26452 25641 0 -1 4202560 8855 0 0 0 64 4 0 0 20 0 15 0 414819290 10917818368 16053 33554432000 4194304 4196468 140730174959664 140386917983952 140386896953968 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26455] ppid=26449 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26455/stat : 26455 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10917818368 16053 33554432000 4194304 4196468 140730174959664 140386850458256 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26456] ppid=26449 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26456/stat : 26456 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10917818368 16053 33554432000 4194304 4196468 140730174959664 140386849405456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26457] ppid=26449 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26457/stat : 26457 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10917818368 16053 33554432000 4194304 4196468 140730174959664 140386848352656 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26458] ppid=26449 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26458/stat : 26458 (java) S 26449 26452 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414819291 10917818368 16053 33554432000 4194304 4196468 140730174959664 140386847299856 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26459] ppid=26449 vsize=10661932 memory=3 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26459/stat : 26459 (java) S 26449 26452 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414819292 10917818368 16053 33554432000 4194304 4196468 140730174959664 140385949588336 140386913778306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26460] ppid=26449 vsize=10661932 memory=5 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26460/stat : 26460 (java) S 26449 26452 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414819292 10917818368 16053 33554432000 4194304 4196468 140730174959664 140385948534304 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26461] ppid=26449 vsize=10661932 memory=8 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26461/stat : 26461 (java) S 26449 26452 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414819293 10917818368 16053 33554432000 4194304 4196468 140730174959664 140385947481456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26462] ppid=26449 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26462/stat : 26462 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414819295 10917818368 16053 33554432000 4194304 4196468 140730174959664 140385946429776 140386913785755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26463] ppid=26449 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/26452/task/26463/stat : 26463 (java) R 26449 26452 25641 0 -1 4202560 966 0 0 0 11 0 0 0 20 0 15 0 414819295 10917818368 16053 33554432000 4194304 4196468 140730174959664 140385945377136 140386894117602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26464] ppid=26449 vsize=10661932 memory=3578 CPUtime=0.12 cores=1,3,5,7
/proc/26452/task/26464/stat : 26464 (java) S 26449 26452 25641 0 -1 1077944384 705 0 0 0 12 0 0 0 20 0 15 0 414819295 10917818368 16053 33554432000 4194304 4196468 140730174959664 140385944324336 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26465] ppid=26449 vsize=10661932 memory=251981 CPUtime=0.18 cores=1,3,5,7
/proc/26452/task/26465/stat : 26465 (java) S 26449 26452 25641 0 -1 1077944384 1247 0 0 0 18 0 0 0 20 0 15 0 414819295 10917818368 16053 33554432000 4194304 4196468 140730174959664 140385943271536 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26466] ppid=26449 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26466/stat : 26466 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414819295 10917818368 16053 33554432000 4194304 4196468 140730174959664 140385942218976 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26467] ppid=26449 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26467/stat : 26467 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819295 10917818368 16053 33554432000 4194304 4196468 140730174959664 140385941167280 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64212 KiB
[startup+1.50073 s]
/proc/loadavg: 1.70 1.81 1.83 3/226 26498
/proc/meminfo: memFree=28909880/32770624 swapFree=66999916/67108860
[pid=26452] ppid=26449 vsize=10663980 memory=76312 CPUtime=2.01 cores=1,3,5,7
/proc/26452/stat : 26452 (java) S 26449 26452 25641 0 -1 1077944320 17338 0 0 0 195 6 0 0 20 0 15 0 414819289 10919915520 19078 33554432000 4194304 4196468 140730174959664 140730174942208 140386913767159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
/proc/26452/statm: 2665995 19078 3094 1 0 2628492 0
[pid=26452/tid=26454] ppid=26449 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/26452/task/26454/stat : 26454 (java) R 26449 26452 25641 0 -1 4202560 11889 0 0 0 142 5 0 0 20 0 15 0 414819290 10919915520 19078 33554432000 4194304 4196468 140730174959664 140386917989520 140386897847646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26455] ppid=26449 vsize=10663980 memory=39176 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26455/stat : 26455 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10919915520 19078 33554432000 4194304 4196468 140730174959664 140386850458256 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26456] ppid=26449 vsize=10663980 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26456/stat : 26456 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10919915520 19078 33554432000 4194304 4196468 140730174959664 140386849405456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26457] ppid=26449 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26457/stat : 26457 (java) S 26449 26452 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414819291 10919915520 19078 33554432000 4194304 4196468 140730174959664 140386848352656 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26458] ppid=26449 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26458/stat : 26458 (java) S 26449 26452 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414819291 10919915520 19078 33554432000 4194304 4196468 140730174959664 140386847299856 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26459] ppid=26449 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26459/stat : 26459 (java) S 26449 26452 25641 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 414819292 10919915520 19078 33554432000 4194304 4196468 140730174959664 140385949588336 140386913778306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26460] ppid=26449 vsize=10663980 memory=3 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26460/stat : 26460 (java) S 26449 26452 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414819292 10919915520 19078 33554432000 4194304 4196468 140730174959664 140385948534304 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26461] ppid=26449 vsize=10663980 memory=5 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26461/stat : 26461 (java) S 26449 26452 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414819293 10919915520 19078 33554432000 4194304 4196468 140730174959664 140385947481456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26462] ppid=26449 vsize=10663980 memory=8 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26462/stat : 26462 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414819295 10919915520 19078 33554432000 4194304 4196468 140730174959664 140385946429776 140386913785755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26463] ppid=26449 vsize=10663980 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/26452/task/26463/stat : 26463 (java) S 26449 26452 25641 0 -1 1077944384 1793 0 0 0 18 0 0 0 20 0 15 0 414819295 10919915520 19078 33554432000 4194304 4196468 140730174959664 140385945377136 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26464] ppid=26449 vsize=10663980 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/26452/task/26464/stat : 26464 (java) S 26449 26452 25641 0 -1 1077944384 1021 0 0 0 15 0 0 0 20 0 15 0 414819295 10919915520 19078 33554432000 4194304 4196468 140730174959664 140385944324336 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26465] ppid=26449 vsize=10663980 memory=3578 CPUtime=0.18 cores=1,3,5,7
/proc/26452/task/26465/stat : 26465 (java) S 26449 26452 25641 0 -1 1077944384 1249 0 0 0 18 0 0 0 20 0 15 0 414819295 10919915520 19078 33554432000 4194304 4196468 140730174959664 140385943271536 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26466] ppid=26449 vsize=10663980 memory=251981 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26466/stat : 26466 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414819295 10919915520 19078 33554432000 4194304 4196468 140730174959664 140385942218976 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26467] ppid=26449 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26467/stat : 26467 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414819295 10919915520 19078 33554432000 4194304 4196468 140730174959664 140385941167280 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 76312 KiB
[startup+3.10977 s]
/proc/loadavg: 1.81 1.83 1.84 3/228 26545
/proc/meminfo: memFree=28777364/32770624 swapFree=66999916/67108860
[pid=26452] ppid=26449 vsize=10746276 memory=155972 CPUtime=4.91 cores=1,3,5,7
/proc/26452/stat : 26452 (java) S 26449 26452 25641 0 -1 1077944320 25771 0 0 0 479 12 0 0 20 0 16 0 414819289 11004186624 38993 33554432000 4194304 4196468 140730174959664 140730174942208 140386913767159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
/proc/26452/statm: 2686569 38993 3351 1 0 2646705 0
[pid=26452/tid=26454] ppid=26449 vsize=10746276 memory=988 CPUtime=1.85 cores=1,3,5,7
/proc/26452/task/26454/stat : 26454 (java) S 26449 26452 25641 0 -1 1077944384 13737 0 0 0 179 6 0 0 20 0 16 0 414819290 11004186624 38993 33554432000 4194304 4196468 140730174959664 140386918010032 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26455] ppid=26449 vsize=10746276 memory=56 CPUtime=0.01 cores=1,3,5,7
/proc/26452/task/26455/stat : 26455 (java) S 26449 26452 25641 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414819291 11004186624 38993 33554432000 4194304 4196468 140730174959664 140386850458256 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26456] ppid=26449 vsize=10746276 memory=279561435277520 CPUtime=0.01 cores=1,3,5,7
/proc/26452/task/26456/stat : 26456 (java) S 26449 26452 25641 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 414819291 11004186624 38993 33554432000 4194304 4196468 140730174959664 140386849405456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26457] ppid=26449 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26457/stat : 26457 (java) S 26449 26452 25641 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414819291 11004186624 38993 33554432000 4194304 4196468 140730174959664 140386848352656 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26458] ppid=26449 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26458/stat : 26458 (java) S 26449 26452 25641 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 16 0 414819291 11004186624 38993 33554432000 4194304 4196468 140730174959664 140386847299856 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26459] ppid=26449 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26452/task/26459/stat : 26459 (java) S 26449 26452 25641 0 -1 1077944384 713 0 0 0 1 0 0 0 20 0 16 0 414819292 11004186624 38993 33554432000 4194304 4196468 140730174959664 140385949588336 140386913778306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26460] ppid=26449 vsize=10746276 memory=19 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26460/stat : 26460 (java) S 26449 26452 25641 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414819292 11004186624 38993 33554432000 4194304 4196468 140730174959664 140385948534368 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26461] ppid=26449 vsize=10746276 memory=148384 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26461/stat : 26461 (java) S 26449 26452 25641 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414819293 11004186624 38993 33554432000 4194304 4196468 140730174959664 140385947481472 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26462] ppid=26449 vsize=10746276 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26462/stat : 26462 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414819295 11004186624 38993 33554432000 4194304 4196468 140730174959664 140385946429776 140386913785755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26463] ppid=26449 vsize=10746276 memory=2400 CPUtime=0.69 cores=1,3,5,7
/proc/26452/task/26463/stat : 26463 (java) R 26449 26452 25641 0 -1 4202560 2216 0 0 0 68 1 0 0 20 0 16 0 414819295 11004186624 38993 33554432000 4194304 4196468 140730174959664 140385945377136 140386897221059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26464] ppid=26449 vsize=10746276 memory=51928 CPUtime=0.63 cores=1,3,5,7
/proc/26452/task/26464/stat : 26464 (java) S 26449 26452 25641 0 -1 1077944384 1886 0 0 0 63 0 0 0 20 0 16 0 414819295 11004186624 38993 33554432000 4194304 4196468 140730174959664 140385944324336 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26465] ppid=26449 vsize=10746276 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/26452/task/26465/stat : 26465 (java) S 26449 26452 25641 0 -1 1077944384 2026 0 0 0 42 1 0 0 20 0 16 0 414819295 11004186624 38993 33554432000 4194304 4196468 140730174959664 140385943271536 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26466] ppid=26449 vsize=10746276 memory=11204 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26466/stat : 26466 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414819295 11004186624 38993 33554432000 4194304 4196468 140730174959664 140385942218976 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26467] ppid=26449 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26467/stat : 26467 (java) S 26449 26452 25641 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414819295 11004186624 38993 33554432000 4194304 4196468 140730174959664 140385941167280 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26545] ppid=26449 vsize=10746276 memory=2372 CPUtime=1.19 cores=1,3,5,7
/proc/26452/task/26545/stat : 26545 (java) R 26449 26452 25641 0 -1 4202560 3574 0 0 0 118 1 0 0 20 0 16 0 414819478 11004186624 38993 33554432000 4194304 4196468 140730174959664 140385924206368 140386530474569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
Current children cumulated CPU time: 4.91 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 155972 KiB
[startup+3.34499 s]
# the end of solver process 26452 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.04591 s, system=0.13097 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20085 s]
/proc/loadavg: 1.81 1.83 1.84 3/228 26545
/proc/meminfo: memFree=28777364/32770624 swapFree=66999916/67108860
[pid=26452] ppid=26449 vsize=10746276 memory=156116 CPUtime=5.02 cores=1,3,5,7
/proc/26452/stat : 26452 (java) S 26449 26452 25641 0 -1 1077944320 25869 0 0 0 490 12 0 0 20 0 16 0 414819289 11004186624 39029 33554432000 4194304 4196468 140730174959664 140730174942208 140386913767159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
/proc/26452/statm: 2686569 39029 3351 1 0 2646705 0
[pid=26452/tid=26454] ppid=26449 vsize=10746276 memory=147 CPUtime=1.85 cores=1,3,5,7
/proc/26452/task/26454/stat : 26454 (java) S 26449 26452 25641 0 -1 1077944384 13737 0 0 0 179 6 0 0 20 0 16 0 414819290 11004186624 39029 33554432000 4194304 4196468 140730174959664 140386918010032 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26455] ppid=26449 vsize=10746276 memory=8836 CPUtime=0.01 cores=1,3,5,7
/proc/26452/task/26455/stat : 26455 (java) S 26449 26452 25641 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414819291 11004186624 39029 33554432000 4194304 4196468 140730174959664 140386850458256 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26456] ppid=26449 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26452/task/26456/stat : 26456 (java) S 26449 26452 25641 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 414819291 11004186624 39029 33554432000 4194304 4196468 140730174959664 140386849405456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26457] ppid=26449 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26457/stat : 26457 (java) S 26449 26452 25641 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414819291 11004186624 39029 33554432000 4194304 4196468 140730174959664 140386848352656 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26458] ppid=26449 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26458/stat : 26458 (java) S 26449 26452 25641 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 16 0 414819291 11004186624 39029 33554432000 4194304 4196468 140730174959664 140386847299856 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26459] ppid=26449 vsize=10746276 memory=139780717324784 CPUtime=0.01 cores=1,3,5,7
/proc/26452/task/26459/stat : 26459 (java) S 26449 26452 25641 0 -1 1077944384 713 0 0 0 1 0 0 0 20 0 16 0 414819292 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385949588336 140386913778306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26460] ppid=26449 vsize=10746276 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26460/stat : 26460 (java) S 26449 26452 25641 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414819292 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385948534368 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26461] ppid=26449 vsize=10746276 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26461/stat : 26461 (java) S 26449 26452 25641 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414819293 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385947481472 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26462] ppid=26449 vsize=10746276 memory=992 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26462/stat : 26462 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385946429776 140386913785755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26463] ppid=26449 vsize=10746276 memory=7233157384058725952 CPUtime=0.71 cores=1,3,5,7
/proc/26452/task/26463/stat : 26463 (java) S 26449 26452 25641 0 -1 1077944384 2301 0 0 0 70 1 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385945377136 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26464] ppid=26449 vsize=10746276 memory=7811607157327816530 CPUtime=0.63 cores=1,3,5,7
/proc/26452/task/26464/stat : 26464 (java) S 26449 26452 25641 0 -1 1077944384 1886 0 0 0 63 0 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385944324336 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26465] ppid=26449 vsize=10746276 memory=5787213827131598673 CPUtime=0.43 cores=1,3,5,7
/proc/26452/task/26465/stat : 26465 (java) S 26449 26452 25641 0 -1 1077944384 2037 0 0 0 42 1 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385943271536 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26466] ppid=26449 vsize=10746276 memory=7236547281622689387 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26466/stat : 26466 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385942218976 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26467] ppid=26449 vsize=10746276 memory=6935649255776346432 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26467/stat : 26467 (java) S 26449 26452 25641 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385941167280 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26545] ppid=26449 vsize=10746276 memory=7738988821033146474 CPUtime=1.28 cores=1,3,5,7
/proc/26452/task/26545/stat : 26545 (java) R 26449 26452 25641 0 -1 4202560 3576 0 0 0 127 1 0 0 20 0 16 0 414819478 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385924206368 140386530664051 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
Current children cumulated CPU time: 5.02 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 156116 KiB
[startup+3.30063 s]
/proc/loadavg: 1.81 1.83 1.84 3/228 26545
/proc/meminfo: memFree=28777364/32770624 swapFree=66999916/67108860
[pid=26452] ppid=26449 vsize=10746276 memory=156116 CPUtime=5.13 cores=1,3,5,7
/proc/26452/stat : 26452 (java) S 26449 26452 25641 0 -1 1077944320 25923 0 0 0 501 12 0 0 20 0 16 0 414819289 11004186624 39029 33554432000 4194304 4196468 140730174959664 140730174942208 140386913767159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
/proc/26452/statm: 2686569 39029 3351 1 0 2646705 0
[pid=26452/tid=26454] ppid=26449 vsize=10746276 memory=2372 CPUtime=1.85 cores=1,3,5,7
/proc/26452/task/26454/stat : 26454 (java) S 26449 26452 25641 0 -1 1077944384 13737 0 0 0 179 6 0 0 20 0 16 0 414819290 11004186624 39029 33554432000 4194304 4196468 140730174959664 140386918010032 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26455] ppid=26449 vsize=10746276 memory=155972 CPUtime=0.01 cores=1,3,5,7
/proc/26452/task/26455/stat : 26455 (java) S 26449 26452 25641 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414819291 11004186624 39029 33554432000 4194304 4196468 140730174959664 140386850458256 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26456] ppid=26449 vsize=10746276 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/26452/task/26456/stat : 26456 (java) S 26449 26452 25641 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 414819291 11004186624 39029 33554432000 4194304 4196468 140730174959664 140386849405456 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26457] ppid=26449 vsize=10746276 memory=56 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26457/stat : 26457 (java) S 26449 26452 25641 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 414819291 11004186624 39029 33554432000 4194304 4196468 140730174959664 140386848352656 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26458] ppid=26449 vsize=10746276 memory=279561435277520 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26458/stat : 26458 (java) S 26449 26452 25641 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 16 0 414819291 11004186624 39029 33554432000 4194304 4196468 140730174959664 140386847299856 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26459] ppid=26449 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26452/task/26459/stat : 26459 (java) S 26449 26452 25641 0 -1 1077944384 746 0 0 0 1 0 0 0 20 0 16 0 414819292 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385949588336 140386913778306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26460] ppid=26449 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26460/stat : 26460 (java) S 26449 26452 25641 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414819292 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385948534368 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26461] ppid=26449 vsize=10746276 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26461/stat : 26461 (java) S 26449 26452 25641 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414819293 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385947481472 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26462] ppid=26449 vsize=10746276 memory=19 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26462/stat : 26462 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385946429776 140386913785755 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26463] ppid=26449 vsize=10746276 memory=6791534058613427641 CPUtime=0.72 cores=1,3,5,7
/proc/26452/task/26463/stat : 26463 (java) S 26449 26452 25641 0 -1 1077944384 2312 0 0 0 71 1 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385945377136 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26464] ppid=26449 vsize=10746276 memory=4420 CPUtime=0.63 cores=1,3,5,7
/proc/26452/task/26464/stat : 26464 (java) S 26449 26452 25641 0 -1 1077944384 1886 0 0 0 63 0 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385944324336 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26465] ppid=26449 vsize=10746276 memory=6628 CPUtime=0.43 cores=1,3,5,7
/proc/26452/task/26465/stat : 26465 (java) S 26449 26452 25641 0 -1 1077944384 2037 0 0 0 42 1 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385943271536 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26466] ppid=26449 vsize=10746276 memory=8028911401163783846 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26466/stat : 26466 (java) S 26449 26452 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385942218976 140386913777365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26467] ppid=26449 vsize=10746276 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/26452/task/26467/stat : 26467 (java) S 26449 26452 25641 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414819295 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385941167280 140386913778306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
[pid=26452/tid=26545] ppid=26449 vsize=10746276 memory=0 CPUtime=1.38 cores=1,3,5,7
/proc/26452/task/26545/stat : 26545 (java) R 26449 26452 25641 0 -1 4202560 3586 0 0 0 137 1 0 0 20 0 16 0 414819478 11004186624 39029 33554432000 4194304 4196468 140730174959664 140385924211344 140386530660718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30564352 140730174964747 140730174964850 140730174964850 140730174967759 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 156116 KiB
Child status: 0
Real time (s): 3.34505
CPU time (s): 5.17688
CPU user time (s): 5.04591
CPU system time (s): 0.13097
CPU usage (%): 154.763
Max. virtual memory (cumulated for all children) (KiB): 10747300
Max. memory (cumulated for all children) (KiB): 156116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.04591
system time used= 0.13097
maximum resident set size= 156664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26428
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= 2328
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 26452
# total CPU time (s): 5.17688
# total CPU user time (s): 5.04591
# total CPU system time (s): 0.13097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051717 second user time and 0.06784 second system time
The end