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 (9523 MiB free)
memory of node 1: 16384 MiB (6419 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304756-1534149068/watcher-4304756-1534149068 -o /tmp/evaluation-result-4304756-1534149068/solver-4304756-1534149068 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534139122-2605 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1148466224 -superng HOME/instance-4304756-1534149068.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4107, runsolver pid=4104
Starting watchdog threadCurrent StackSize limit: 8192 KiB
[startup+0.10045 s]*
/proc/loadavg: 1.14 1.29 1.36 2/206 4164
/proc/meminfo: memFree=16316920/32770624 swapFree=67108404/67108860
[pid=4107] ppid=4104 vsize=10005480 memory=17072 CPUtime=0.08 cores=0,2,4,6
/proc/4107/stat : 4107 (java) S 4104 4107 1786 0 -1 1077944320 4407 12935 0 0 1 0 5 2 20 0 6 0 232469980 10245611520 4268 33554432000 4194304 4196468 140726009709152 140726009691696 140554426240759 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
/proc/4107/statm: 2501370 4268 1934 1 0 2489808 0
[pid=4107/tid=4160] ppid=4104 vsize=10005480 memory=-8530506832973971397 CPUtime=0.08 cores=0,2,4,6
/proc/4107/task/4160/stat : 4160 (java) R 4104 4107 1786 0 -1 4202560 2251 12935 0 0 1 0 5 2 20 0 6 0 232469989 10245611520 4268 33554432000 4194304 4196468 140726009709152 140554398077520 140554411363696 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4161] ppid=4104 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4161/stat : 4161 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 6 0 232469990 10245611520 4268 33554432000 4194304 4196468 140726009709152 140554430483216 140554426250965 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4162] ppid=4104 vsize=10005480 memory=140470969239168 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4162/stat : 4162 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 6 0 232469990 10245611520 4268 33554432000 4194304 4196468 140726009709152 140554285202320 140554426250965 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4163] ppid=4104 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4163/stat : 4163 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 6 0 232469990 10245611520 4268 33554432000 4194304 4196468 140726009709152 140554284149776 140554426250965 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4164] ppid=4104 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4164/stat : 4164 (java) S 4104 4107 1786 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 6 0 232469990 10245611520 4268 33554432000 4194304 4196468 140726009709152 140554283097232 140554426250965 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17072 KiB
[startup+0.209761 s]*
/proc/loadavg: 1.14 1.29 1.36 3/215 4173
/proc/meminfo: memFree=16294912/32770624 swapFree=67108404/67108860
[pid=4107] ppid=4104 vsize=10982744 memory=45032 CPUtime=0.25 cores=0,2,4,6
/proc/4107/stat : 4107 (java) S 4104 4107 1786 0 -1 1077944320 7922 12935 0 0 16 2 5 2 20 0 15 0 232469980 11246329856 11192 33554432000 4194304 4196468 140726009709152 140726009691696 140554426240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
/proc/4107/statm: 2745686 11258 2961 1 0 2708109 0
[pid=4107/tid=4160] ppid=4104 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/4107/task/4160/stat : 4160 (java) R 4104 4107 1786 0 -1 4202560 4617 12935 0 0 10 1 5 2 20 0 15 0 232469989 11246329856 11324 33554432000 4194304 4196468 140726009709152 140554398047112 140554426262685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4161] ppid=4104 vsize=10982744 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4161/stat : 4161 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246329856 11324 33554432000 4194304 4196468 140726009709152 140554430483216 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4162] ppid=4104 vsize=10982744 memory=140470969250184 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4162/stat : 4162 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246329856 11324 33554432000 4194304 4196468 140726009709152 140554285202320 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4163] ppid=4104 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4163/stat : 4163 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246329856 11324 33554432000 4194304 4196468 140726009709152 140554284149776 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4164] ppid=4104 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4164/stat : 4164 (java) S 4104 4107 1786 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246329856 11324 33554432000 4194304 4196468 140726009709152 140554283097232 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4165] ppid=4104 vsize=10982744 memory=140470969239168 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4165/stat : 4165 (java) S 4104 4107 1786 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 232469992 11246329856 11324 33554432000 4194304 4196468 140726009709152 140553395967984 140554426251906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4166] ppid=4104 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4166/stat : 4166 (java) S 4104 4107 1786 0 -1 1077944384 13 12935 0 0 0 0 5 2 20 0 15 0 232469992 11246329856 11324 33554432000 4194304 4196468 140726009709152 140553274516384 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4167] ppid=4104 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4167/stat : 4167 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469992 11246329856 11324 33554432000 4194304 4196468 140726009709152 140553073189872 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4168] ppid=4104 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4168/stat : 4168 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11246329856 11324 33554432000 4194304 4196468 140726009709152 140552765790416 140554426259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4169] ppid=4104 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4107/task/4169/stat : 4169 (java) S 4104 4107 1786 0 -1 1077944384 534 12935 0 0 1 0 5 2 20 0 15 0 232469995 11246329856 11324 33554432000 4194304 4196468 140726009709152 140553394915824 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4170] ppid=4104 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4107/task/4170/stat : 4170 (java) S 4104 4107 1786 0 -1 1077944384 62 12935 0 0 1 0 5 2 20 0 15 0 232469995 11246329856 11324 33554432000 4194304 4196468 140726009709152 140553393863280 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4171] ppid=4104 vsize=10982744 memory=140470969239168 CPUtime=0.1 cores=0,2,4,6
/proc/4107/task/4171/stat : 4171 (java) R 4104 4107 1786 0 -1 4202560 608 12935 0 0 3 0 5 2 20 0 15 0 232469995 11246329856 11324 33554432000 4194304 4196468 140726009709152 140553392810736 140554426262106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4172] ppid=4104 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4172/stat : 4172 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11246329856 11324 33554432000 4194304 4196468 140726009709152 140552334994528 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4173] ppid=4104 vsize=10982744 memory=140470969239168 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4173/stat : 4173 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469995 11246329856 11324 33554432000 4194304 4196468 140726009709152 140553391757616 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45032 KiB
[startup+0.310193 s]*
/proc/loadavg: 1.14 1.29 1.36 3/215 4173
/proc/meminfo: memFree=16282992/32770624 swapFree=67108404/67108860
[pid=4107] ppid=4104 vsize=10983192 memory=56004 CPUtime=0.38 cores=0,2,4,6
/proc/4107/stat : 4107 (java) S 4104 4107 1786 0 -1 1077944320 10541 12935 0 0 28 3 5 2 20 0 15 0 232469980 11246788608 14001 33554432000 4194304 4196468 140726009709152 140726009691696 140554426240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
/proc/4107/statm: 2745798 14001 3080 1 0 2708109 0
[pid=4107/tid=4160] ppid=4104 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=0,2,4,6
/proc/4107/task/4160/stat : 4160 (java) R 4104 4107 1786 0 -1 4202560 7103 12935 0 0 19 2 5 2 20 0 15 0 232469989 11246788608 14001 33554432000 4194304 4196468 140726009709152 140554398052768 140554426262685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4161] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4161/stat : 4161 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246788608 14001 33554432000 4194304 4196468 140726009709152 140554430483216 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4162] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4162/stat : 4162 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246788608 14001 33554432000 4194304 4196468 140726009709152 140554285202320 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4163] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4163/stat : 4163 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246788608 14001 33554432000 4194304 4196468 140726009709152 140554284149776 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4164] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4164/stat : 4164 (java) S 4104 4107 1786 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246788608 14001 33554432000 4194304 4196468 140726009709152 140554283097232 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4165] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4165/stat : 4165 (java) S 4104 4107 1786 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 232469992 11246788608 14001 33554432000 4194304 4196468 140726009709152 140553395967984 140554426251906 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4166] ppid=4104 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4166/stat : 4166 (java) S 4104 4107 1786 0 -1 1077944384 13 12935 0 0 0 0 5 2 20 0 15 0 232469992 11246788608 14001 33554432000 4194304 4196468 140726009709152 140553274516384 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4167] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4167/stat : 4167 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469992 11246788608 14001 33554432000 4194304 4196468 140726009709152 140553073189872 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4168] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4168/stat : 4168 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11246788608 14001 33554432000 4194304 4196468 140726009709152 140552765790416 140554426259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4169] ppid=4104 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4107/task/4169/stat : 4169 (java) S 4104 4107 1786 0 -1 1077944384 537 12935 0 0 1 0 5 2 20 0 15 0 232469995 11246788608 14001 33554432000 4194304 4196468 140726009709152 140553394915824 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4170] ppid=4104 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4107/task/4170/stat : 4170 (java) S 4104 4107 1786 0 -1 1077944384 63 12935 0 0 1 0 5 2 20 0 15 0 232469995 11246788608 14001 33554432000 4194304 4196468 140726009709152 140553393863280 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4171] ppid=4104 vsize=10983192 memory=140470969239168 CPUtime=0.11 cores=0,2,4,6
/proc/4107/task/4171/stat : 4171 (java) S 4104 4107 1786 0 -1 1077944384 614 12935 0 0 4 0 5 2 20 0 15 0 232469995 11246788608 14001 33554432000 4194304 4196468 140726009709152 140553392810736 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4172] ppid=4104 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4172/stat : 4172 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11246788608 14001 33554432000 4194304 4196468 140726009709152 140552334994528 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4173] ppid=4104 vsize=10983192 memory=140470969239168 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4173/stat : 4173 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469995 11246788608 14001 33554432000 4194304 4196468 140726009709152 140553391757616 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56004 KiB
[startup+0.700752 s]
/proc/loadavg: 1.14 1.29 1.36 3/215 4173
/proc/meminfo: memFree=16272584/32770624 swapFree=67108404/67108860
[pid=4107] ppid=4104 vsize=10983192 memory=88744 CPUtime=0.98 cores=0,2,4,6
/proc/4107/stat : 4107 (java) S 4104 4107 1786 0 -1 1077944320 16790 12935 0 0 86 5 5 2 20 0 15 0 232469980 11246788608 22186 33554432000 4194304 4196468 140726009709152 140726009691696 140554426240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
/proc/4107/statm: 2745798 22186 3241 1 0 2708109 0
[pid=4107/tid=4160] ppid=4104 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/4107/task/4160/stat : 4160 (java) R 4104 4107 1786 0 -1 4202560 12313 12935 0 0 56 3 5 2 20 0 15 0 232469989 11246788608 22186 33554432000 4194304 4196468 140726009709152 140554398061584 140554406512496 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4161] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4161/stat : 4161 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246788608 22186 33554432000 4194304 4196468 140726009709152 140554430483216 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4162] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4162/stat : 4162 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246788608 22186 33554432000 4194304 4196468 140726009709152 140554285202320 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4163] ppid=4104 vsize=10983192 memory=6154820267226784105 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4163/stat : 4163 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246788608 22186 33554432000 4194304 4196468 140726009709152 140554284149776 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4164] ppid=4104 vsize=10983192 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4164/stat : 4164 (java) S 4104 4107 1786 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 232469990 11246788608 22186 33554432000 4194304 4196468 140726009709152 140554283097232 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4165] ppid=4104 vsize=10983192 memory=-8820979915922421270 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4165/stat : 4165 (java) S 4104 4107 1786 0 -1 1077944384 6 12935 0 0 0 0 5 2 20 0 15 0 232469992 11246788608 22186 33554432000 4194304 4196468 140726009709152 140553395967984 140554426251906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4166] ppid=4104 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4166/stat : 4166 (java) S 4104 4107 1786 0 -1 1077944384 13 12935 0 0 0 0 5 2 20 0 15 0 232469992 11246788608 22186 33554432000 4194304 4196468 140726009709152 140553274516384 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4167] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4167/stat : 4167 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469992 11246788608 22186 33554432000 4194304 4196468 140726009709152 140553073189872 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4168] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4168/stat : 4168 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11246788608 22186 33554432000 4194304 4196468 140726009709152 140552765790416 140554426259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4169] ppid=4104 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/4107/task/4169/stat : 4169 (java) S 4104 4107 1786 0 -1 1077944384 888 12935 0 0 7 0 5 2 20 0 15 0 232469995 11246788608 22186 33554432000 4194304 4196468 140726009709152 140553394915824 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4170] ppid=4104 vsize=10983192 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/4107/task/4170/stat : 4170 (java) S 4104 4107 1786 0 -1 1077944384 666 12935 0 0 9 0 5 2 20 0 15 0 232469995 11246788608 22186 33554432000 4194304 4196468 140726009709152 140553393863280 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4171] ppid=4104 vsize=10983192 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/4107/task/4171/stat : 4171 (java) S 4104 4107 1786 0 -1 1077944384 695 12935 0 0 12 0 5 2 20 0 15 0 232469995 11246788608 22186 33554432000 4194304 4196468 140726009709152 140553392810736 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4172] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4172/stat : 4172 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11246788608 22186 33554432000 4194304 4196468 140726009709152 140552334994528 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4173] ppid=4104 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4173/stat : 4173 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469995 11246788608 22186 33554432000 4194304 4196468 140726009709152 140553391757616 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88744 KiB
[startup+1.50077 s]
/proc/loadavg: 1.14 1.29 1.36 3/215 4173
/proc/meminfo: memFree=16226248/32770624 swapFree=67108404/67108860
[pid=4107] ppid=4104 vsize=10996044 memory=206088 CPUtime=3.04 cores=0,2,4,6
/proc/4107/stat : 4107 (java) S 4104 4107 1786 0 -1 1077944320 25221 12935 0 0 288 9 5 2 20 0 15 0 232469980 11259949056 51522 33554432000 4194304 4196468 140726009709152 140726009691696 140554426240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
/proc/4107/statm: 2749011 51522 3450 1 0 2710669 0
[pid=4107/tid=4160] ppid=4104 vsize=10996044 memory=8978309881829228949 CPUtime=1.46 cores=0,2,4,6
/proc/4107/task/4160/stat : 4160 (java) R 4104 4107 1786 0 -1 4202560 16664 12935 0 0 132 7 5 2 20 0 15 0 232469989 11259949056 51522 33554432000 4194304 4196468 140726009709152 140554398064736 140554405821967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4161] ppid=4104 vsize=10996044 memory=-4266093328297028758 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4161/stat : 4161 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11259949056 51522 33554432000 4194304 4196468 140726009709152 140554430483216 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4162] ppid=4104 vsize=10996044 memory=6531514214458278247 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4162/stat : 4162 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11259949056 51522 33554432000 4194304 4196468 140726009709152 140554285202320 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4163] ppid=4104 vsize=10996044 memory=8045567885184454529 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4163/stat : 4163 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469990 11259949056 51522 33554432000 4194304 4196468 140726009709152 140554284149776 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4164] ppid=4104 vsize=10996044 memory=121128 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4164/stat : 4164 (java) S 4104 4107 1786 0 -1 1077944384 2 12935 0 0 0 0 5 2 20 0 15 0 232469990 11259949056 51522 33554432000 4194304 4196468 140726009709152 140554283097232 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4165] ppid=4104 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4165/stat : 4165 (java) S 4104 4107 1786 0 -1 1077944384 14 12935 0 0 0 0 5 2 20 0 15 0 232469992 11259949056 51522 33554432000 4194304 4196468 140726009709152 140553395967984 140554426251906 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4166] ppid=4104 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4166/stat : 4166 (java) S 4104 4107 1786 0 -1 1077944384 13 12935 0 0 0 0 5 2 20 0 15 0 232469992 11259949056 51522 33554432000 4194304 4196468 140726009709152 140553274516384 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4167] ppid=4104 vsize=10996044 memory=280941729743520 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4167/stat : 4167 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469992 11259949056 51522 33554432000 4194304 4196468 140726009709152 140553073189872 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4168] ppid=4104 vsize=10996044 memory=280941730158272 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4168/stat : 4168 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11259949056 51522 33554432000 4194304 4196468 140726009709152 140552765790416 140554426259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4169] ppid=4104 vsize=10996044 memory=140470864881472 CPUtime=0.62 cores=0,2,4,6
/proc/4107/task/4169/stat : 4169 (java) S 4104 4107 1786 0 -1 1077944384 2639 12935 0 0 55 0 5 2 20 0 15 0 232469995 11259949056 51522 33554432000 4194304 4196468 140726009709152 140553394915824 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4170] ppid=4104 vsize=10996044 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/4107/task/4170/stat : 4170 (java) S 4104 4107 1786 0 -1 1077944384 1829 12935 0 0 55 0 5 2 20 0 15 0 232469995 11259949056 51522 33554432000 4194304 4196468 140726009709152 140553393863280 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4171] ppid=4104 vsize=10996044 memory=1156 CPUtime=0.51 cores=0,2,4,6
/proc/4107/task/4171/stat : 4171 (java) S 4104 4107 1786 0 -1 1077944384 1853 12935 0 0 44 0 5 2 20 0 15 0 232469995 11259949056 51522 33554432000 4194304 4196468 140726009709152 140553392810736 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4172] ppid=4104 vsize=10996044 memory=15212 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4172/stat : 4172 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11259949056 51522 33554432000 4194304 4196468 140726009709152 140552334994528 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4173] ppid=4104 vsize=10996044 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4173/stat : 4173 (java) S 4104 4107 1786 0 -1 1077944384 1 12935 0 0 0 0 5 2 20 0 15 0 232469995 11259949056 51522 33554432000 4194304 4196468 140726009709152 140553391757616 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/4107/task/4160/stat : 4160 (java) R 4104 4107 1786 0 -1 4202560 188813 12935 0 0 237550 71 5 2 20 0 15 0 232469989 11280941056 815036 33554432000 4194304 4196468 140726009709152 140554398074176 140553971307246 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4161] ppid=4104 vsize=11016544 memory=3260144 CPUtime=5.3 cores=0,2,4,6
/proc/4107/task/4161/stat : 4161 (java) S 4104 4107 1786 0 -1 1077944384 19755 12935 0 0 465 58 5 2 20 0 15 0 232469990 11280941056 815036 33554432000 4194304 4196468 140726009709152 140554430483216 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4162] ppid=4104 vsize=11016544 memory=3260144 CPUtime=5.3 cores=0,2,4,6
/proc/4107/task/4162/stat : 4162 (java) S 4104 4107 1786 0 -1 1077944384 20746 12935 0 0 466 57 5 2 20 0 15 0 232469990 11280941056 815036 33554432000 4194304 4196468 140726009709152 140554285202320 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4163] ppid=4104 vsize=11016544 memory=3260144 CPUtime=5.34 cores=0,2,4,6
/proc/4107/task/4163/stat : 4163 (java) S 4104 4107 1786 0 -1 1077944384 19408 12935 0 0 468 59 5 2 20 0 15 0 232469990 11280941056 815036 33554432000 4194304 4196468 140726009709152 140554284149776 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4164] ppid=4104 vsize=11016544 memory=3260144 CPUtime=5.23 cores=0,2,4,6
/proc/4107/task/4164/stat : 4164 (java) S 4104 4107 1786 0 -1 1077944384 16413 12935 0 0 459 57 5 2 20 0 15 0 232469990 11280941056 815036 33554432000 4194304 4196468 140726009709152 140554283097232 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4165] ppid=4104 vsize=11016544 memory=3260664 CPUtime=0.55 cores=0,2,4,6
/proc/4107/task/4165/stat : 4165 (java) S 4104 4107 1786 0 -1 1077944384 21996 12935 0 0 42 6 5 2 20 0 15 0 232469992 11280941056 815036 33554432000 4194304 4196468 140726009709152 140553395967984 140554426251906 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4166] ppid=4104 vsize=11016544 memory=3260664 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4166/stat : 4166 (java) S 4104 4107 1786 0 -1 1077944384 41 12935 0 0 0 0 5 2 20 0 15 0 232469992 11280941056 815036 33554432000 4194304 4196468 140726009709152 140553274516512 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4167] ppid=4104 vsize=11016544 memory=3260144 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4167/stat : 4167 (java) S 4104 4107 1786 0 -1 1077944384 20 12935 0 0 0 0 5 2 20 0 15 0 232469992 11280941056 815036 33554432000 4194304 4196468 140726009709152 140553073189888 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4168] ppid=4104 vsize=11016544 memory=3260144 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4168/stat : 4168 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11280941056 815036 33554432000 4194304 4196468 140726009709152 140552765790416 140554426259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4169] ppid=4104 vsize=11016544 memory=3260144 CPUtime=18.54 cores=0,2,4,6
/proc/4107/task/4169/stat : 4169 (java) S 4104 4107 1786 0 -1 1077944384 82356 12935 0 0 1837 10 5 2 20 0 15 0 232469995 11280941056 815036 33554432000 4194304 4196468 140726009709152 140553394915824 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4170] ppid=4104 vsize=11016544 memory=3260144 CPUtime=18.59 cores=0,2,4,6
/proc/4107/task/4170/stat : 4170 (java) S 4104 4107 1786 0 -1 1077944384 83275 12935 0 0 1841 11 5 2 20 0 15 0 232469995 11280941056 815036 33554432000 4194304 4196468 140726009709152 140553393863280 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4171] ppid=4104 vsize=11016544 memory=3260144 CPUtime=5.23 cores=0,2,4,6
/proc/4107/task/4171/stat : 4171 (java) S 4104 4107 1786 0 -1 1077944384 69377 12935 0 0 505 11 5 2 20 0 15 0 232469995 11280941056 815036 33554432000 4194304 4196468 140726009709152 140553392810736 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4172] ppid=4104 vsize=11016544 memory=3260144 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4172/stat : 4172 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11280941056 815036 33554432000 4194304 4196468 140726009709152 140552334994528 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4173] ppid=4104 vsize=11016544 memory=1172 CPUtime=1.41 cores=0,2,4,6
/proc/4107/task/4173/stat : 4173 (java) S 4104 4107 1786 0 -1 1077944384 2207 12935 0 0 67 67 5 2 20 0 15 0 232469995 11280941056 815036 33554432000 4194304 4196468 140726009709152 140553391757616 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
Current children cumulated CPU time: 2441.23 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3260144 KiB
[startup+2442.3 s]
/proc/loadavg: 1.99 1.90 1.84 5/216 4657
/proc/meminfo: memFree=13318568/32770624 swapFree=67108404/67108860
[pid=4107] ppid=4104 vsize=11016544 memory=3260148 CPUtime=2501.4 cores=0,2,4,6
/proc/4107/stat : 4107 (java) S 4104 4107 1786 0 -1 1077944320 530022 12935 0 0 249741 392 5 2 20 0 15 0 232469980 11280941056 815037 33554432000 4194304 4196468 140726009709152 140726009691696 140554426240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
/proc/4107/statm: 2754136 815037 3536 1 0 2715789 0
[pid=4107/tid=4160] ppid=4104 vsize=11016544 memory=3260148 CPUtime=2436.23 cores=0,2,4,6
/proc/4107/task/4160/stat : 4160 (java) R 4104 4107 1786 0 -1 4202560 191408 12935 0 0 243545 71 5 2 20 0 15 0 232469989 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554398074736 140553986106693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4161] ppid=4104 vsize=11016544 memory=3260148 CPUtime=5.34 cores=0,2,4,6
/proc/4107/task/4161/stat : 4161 (java) S 4104 4107 1786 0 -1 1077944384 20069 12935 0 0 469 58 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554430483216 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4162] ppid=4104 vsize=11016544 memory=3260144 CPUtime=5.34 cores=0,2,4,6
/proc/4107/task/4162/stat : 4162 (java) S 4104 4107 1786 0 -1 1077944384 20942 12935 0 0 470 57 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554285202320 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4163] ppid=4104 vsize=11016544 memory=3260148 CPUtime=5.38 cores=0,2,4,6
/proc/4107/task/4163/stat : 4163 (java) S 4104 4107 1786 0 -1 1077944384 19424 12935 0 0 472 59 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554284149776 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4164] ppid=4104 vsize=11016544 memory=321 CPUtime=5.27 cores=0,2,4,6
/proc/4107/task/4164/stat : 4164 (java) S 4104 4107 1786 0 -1 1077944384 16489 12935 0 0 463 57 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554283097232 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4165] ppid=4104 vsize=11016544 memory=3260148 CPUtime=0.56 cores=0,2,4,6
/proc/4107/task/4165/stat : 4165 (java) S 4104 4107 1786 0 -1 1077944384 22193 12935 0 0 43 6 5 2 20 0 15 0 232469992 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553395967984 140554426251906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4166] ppid=4104 vsize=11016544 memory=2148 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4166/stat : 4166 (java) S 4104 4107 1786 0 -1 1077944384 41 12935 0 0 0 0 5 2 20 0 15 0 232469992 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553274516512 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4167] ppid=4104 vsize=11016544 memory=3260148 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4167/stat : 4167 (java) S 4104 4107 1786 0 -1 1077944384 20 12935 0 0 0 0 5 2 20 0 15 0 232469992 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553073189888 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4168] ppid=4104 vsize=11016544 memory=876 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4168/stat : 4168 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140552765790416 140554426259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4169] ppid=4104 vsize=11016544 memory=3260144 CPUtime=18.54 cores=0,2,4,6
/proc/4107/task/4169/stat : 4169 (java) S 4104 4107 1786 0 -1 1077944384 82356 12935 0 0 1837 10 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553394915824 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4170] ppid=4104 vsize=11016544 memory=3260148 CPUtime=18.59 cores=0,2,4,6
/proc/4107/task/4170/stat : 4170 (java) S 4104 4107 1786 0 -1 1077944384 83275 12935 0 0 1841 11 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553393863280 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4171] ppid=4104 vsize=11016544 memory=3260148 CPUtime=5.23 cores=0,2,4,6
/proc/4107/task/4171/stat : 4171 (java) S 4104 4107 1786 0 -1 1077944384 69378 12935 0 0 505 11 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553392810736 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4172] ppid=4104 vsize=11016544 memory=3260148 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4172/stat : 4172 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140552334994528 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4173] ppid=4104 vsize=11016544 memory=3260148 CPUtime=1.43 cores=0,2,4,6
/proc/4107/task/4173/stat : 4173 (java) S 4104 4107 1786 0 -1 1077944384 2225 12935 0 0 68 68 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553391757616 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
Current children cumulated CPU time: 2501.4 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3260148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2460.9 s]
/proc/loadavg: 1.91 1.89 1.84 5/216 4917
/proc/meminfo: memFree=13571336/32770624 swapFree=67108404/67108860
[pid=4107] ppid=4104 vsize=11016544 memory=3260148 CPUtime=2520.06 cores=0,2,4,6
/proc/4107/stat : 4107 (java) S 4104 4107 1786 0 -1 1077944320 530505 12935 0 0 251606 393 5 2 20 0 15 0 232469980 11280941056 815037 33554432000 4194304 4196468 140726009709152 140726009691696 140554426240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
/proc/4107/statm: 2754136 815037 3536 1 0 2715789 0
[pid=4107/tid=4160] ppid=4104 vsize=11016544 memory=3260148 CPUtime=2454.82 cores=0,2,4,6
/proc/4107/task/4160/stat : 4160 (java) R 4104 4107 1786 0 -1 4202560 191852 12935 0 0 245404 71 5 2 20 0 15 0 232469989 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554398074128 140553983717674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4161] ppid=4104 vsize=11016544 memory=3260148 CPUtime=5.35 cores=0,2,4,6
/proc/4107/task/4161/stat : 4161 (java) S 4104 4107 1786 0 -1 1077944384 20071 12935 0 0 470 58 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554430483216 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4162] ppid=4104 vsize=11016544 memory=3260148 CPUtime=5.36 cores=0,2,4,6
/proc/4107/task/4162/stat : 4162 (java) S 4104 4107 1786 0 -1 1077944384 20944 12935 0 0 472 57 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554285202320 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4163] ppid=4104 vsize=11016544 memory=3260148 CPUtime=5.39 cores=0,2,4,6
/proc/4107/task/4163/stat : 4163 (java) S 4104 4107 1786 0 -1 1077944384 19427 12935 0 0 473 59 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554284149776 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4164] ppid=4104 vsize=11016544 memory=63224 CPUtime=5.29 cores=0,2,4,6
/proc/4107/task/4164/stat : 4164 (java) S 4104 4107 1786 0 -1 1077944384 16490 12935 0 0 464 58 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554283097232 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4165] ppid=4104 vsize=11016544 memory=3260148 CPUtime=0.56 cores=0,2,4,6
/proc/4107/task/4165/stat : 4165 (java) S 4104 4107 1786 0 -1 1077944384 22202 12935 0 0 43 6 5 2 20 0 15 0 232469992 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553395967984 140554426251906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4166] ppid=4104 vsize=11016544 memory=3684 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4166/stat : 4166 (java) S 4104 4107 1786 0 -1 1077944384 41 12935 0 0 0 0 5 2 20 0 15 0 232469992 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553274516512 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4167] ppid=4104 vsize=11016544 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4167/stat : 4167 (java) S 4104 4107 1786 0 -1 1077944384 20 12935 0 0 0 0 5 2 20 0 15 0 232469992 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553073189888 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4168] ppid=4104 vsize=11016544 memory=2404 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4168/stat : 4168 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140552765790416 140554426259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4169] ppid=4104 vsize=11016544 memory=3260148 CPUtime=18.54 cores=0,2,4,6
/proc/4107/task/4169/stat : 4169 (java) S 4104 4107 1786 0 -1 1077944384 82358 12935 0 0 1837 10 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553394915824 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4170] ppid=4104 vsize=11016544 memory=4000 CPUtime=18.59 cores=0,2,4,6
/proc/4107/task/4170/stat : 4170 (java) S 4104 4107 1786 0 -1 1077944384 83277 12935 0 0 1841 11 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553393863280 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4171] ppid=4104 vsize=11016544 memory=9624 CPUtime=5.23 cores=0,2,4,6
/proc/4107/task/4171/stat : 4171 (java) S 4104 4107 1786 0 -1 1077944384 69380 12935 0 0 505 11 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553392810736 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4172] ppid=4104 vsize=11016544 memory=876 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4172/stat : 4172 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140552334994528 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4173] ppid=4104 vsize=11016544 memory=1924 CPUtime=1.45 cores=0,2,4,6
/proc/4107/task/4173/stat : 4173 (java) S 4104 4107 1786 0 -1 1077944384 2241 12935 0 0 69 69 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553391757616 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3260148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.17 s]
# the end of solver process 4107 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.37 s, system=3.98246 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2460.9 s]
/proc/loadavg: 1.91 1.89 1.84 5/216 4917
/proc/meminfo: memFree=13571336/32770624 swapFree=67108404/67108860
[pid=4107] ppid=4104 vsize=11016544 memory=3260148 CPUtime=2520.06 cores=0,2,4,6
/proc/4107/stat : 4107 (java) S 4104 4107 1786 0 -1 1077944320 530505 12935 0 0 251606 393 5 2 20 0 15 0 232469980 11280941056 815037 33554432000 4194304 4196468 140726009709152 140726009691696 140554426240759 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
/proc/4107/statm: 2754136 815037 3536 1 0 2715789 0
[pid=4107/tid=4160] ppid=4104 vsize=11016544 memory=3260148 CPUtime=2454.82 cores=0,2,4,6
/proc/4107/task/4160/stat : 4160 (java) R 4104 4107 1786 0 -1 4202560 191852 12935 0 0 245404 71 5 2 20 0 15 0 232469989 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554398074128 140553983717674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4161] ppid=4104 vsize=11016544 memory=3260148 CPUtime=5.35 cores=0,2,4,6
/proc/4107/task/4161/stat : 4161 (java) S 4104 4107 1786 0 -1 1077944384 20071 12935 0 0 470 58 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554430483216 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4162] ppid=4104 vsize=11016544 memory=3260148 CPUtime=5.36 cores=0,2,4,6
/proc/4107/task/4162/stat : 4162 (java) S 4104 4107 1786 0 -1 1077944384 20944 12935 0 0 472 57 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554285202320 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4163] ppid=4104 vsize=11016544 memory=3260148 CPUtime=5.39 cores=0,2,4,6
/proc/4107/task/4163/stat : 4163 (java) S 4104 4107 1786 0 -1 1077944384 19427 12935 0 0 473 59 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554284149776 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4164] ppid=4104 vsize=11016544 memory=63224 CPUtime=5.29 cores=0,2,4,6
/proc/4107/task/4164/stat : 4164 (java) S 4104 4107 1786 0 -1 1077944384 16490 12935 0 0 464 58 5 2 20 0 15 0 232469990 11280941056 815037 33554432000 4194304 4196468 140726009709152 140554283097232 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4165] ppid=4104 vsize=11016544 memory=3260148 CPUtime=0.56 cores=0,2,4,6
/proc/4107/task/4165/stat : 4165 (java) S 4104 4107 1786 0 -1 1077944384 22202 12935 0 0 43 6 5 2 20 0 15 0 232469992 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553395967984 140554426251906 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4166] ppid=4104 vsize=11016544 memory=3684 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4166/stat : 4166 (java) S 4104 4107 1786 0 -1 1077944384 41 12935 0 0 0 0 5 2 20 0 15 0 232469992 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553274516512 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4167] ppid=4104 vsize=11016544 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4167/stat : 4167 (java) S 4104 4107 1786 0 -1 1077944384 20 12935 0 0 0 0 5 2 20 0 15 0 232469992 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553073189888 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4168] ppid=4104 vsize=11016544 memory=2404 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4168/stat : 4168 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140552765790416 140554426259355 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4169] ppid=4104 vsize=11016544 memory=3260148 CPUtime=18.54 cores=0,2,4,6
/proc/4107/task/4169/stat : 4169 (java) S 4104 4107 1786 0 -1 1077944384 82358 12935 0 0 1837 10 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553394915824 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4170] ppid=4104 vsize=11016544 memory=4000 CPUtime=18.59 cores=0,2,4,6
/proc/4107/task/4170/stat : 4170 (java) S 4104 4107 1786 0 -1 1077944384 83277 12935 0 0 1841 11 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553393863280 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4171] ppid=4104 vsize=11016544 memory=9624 CPUtime=5.23 cores=0,2,4,6
/proc/4107/task/4171/stat : 4171 (java) S 4104 4107 1786 0 -1 1077944384 69380 12935 0 0 505 11 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553392810736 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4172] ppid=4104 vsize=11016544 memory=876 CPUtime=0.07 cores=0,2,4,6
/proc/4107/task/4172/stat : 4172 (java) S 4104 4107 1786 0 -1 1077944384 3 12935 0 0 0 0 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140552334994528 140554426250965 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
[pid=4107/tid=4173] ppid=4104 vsize=11016544 memory=1924 CPUtime=1.45 cores=0,2,4,6
/proc/4107/task/4173/stat : 4173 (java) S 4104 4107 1786 0 -1 1077944384 2241 12935 0 0 69 69 5 2 20 0 15 0 232469995 11280941056 815037 33554432000 4194304 4196468 140726009709152 140553391757616 140554426251906 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19980288 140726009711203 140726009714012 140726009714012 140726009716687 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3260148 KiB
Child status: 143
Real time (s): 2461.17
CPU time (s): 2520.36
CPU user time (s): 2516.37
CPU system time (s): 3.98246
CPU usage (%): 102.405
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 3262712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.37
system time used= 3.98246
maximum resident set size= 3264360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 544922
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76066
involuntary context switches= 4086
# summary of solver processes directly reported to runsolver:
# pid: 4107
# total CPU time (s): 2520.36
# total CPU user time (s): 2516.37
# total CPU system time (s): 3.98246
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7086 second user time and 22.8197 second system time
The end