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 (6550 MiB free)
memory of node 1: 16384 MiB (14061 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301664-1532883548/watcher-4301664-1532883548 -o /tmp/evaluation-result-4301664-1532883548/solver-4301664-1532883548 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532883454-10061 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301664-1532883548.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=10181, runsolver pid=10178
[startup+0.101127 s]*
/proc/loadavg: 4.51 2.16 1.62 2/205 10216
/proc/meminfo: memFree=26524780/32770624 swapFree=67028780/67108860
[pid=10181] ppid=10178 vsize=10659012 memory=29456 CPUtime=0.12 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 10029 0 -1 1077944320 6466 0 0 0 11 1 0 0 20 0 15 0 105918026 10914828288 7364 33554432000 4194304 4196468 140733802567808 140733802550352 139925840342775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
/proc/10181/statm: 2664753 7364 2840 1 0 2627263 0
[pid=10181/tid=10183] ppid=10178 vsize=10659012 memory=-6517102902069810590 CPUtime=0.09 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 10029 0 -1 4202560 4261 0 0 0 8 1 0 0 20 0 15 0 105918027 10914828288 7364 33554432000 4194304 4196468 140733802567808 139925844547440 139925824423262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10184] ppid=10178 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 7364 33554432000 4194304 4196468 140733802567808 139925807901200 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10185] ppid=10178 vsize=10659012 memory=140332786181760 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 7364 33554432000 4194304 4196468 140733802567808 139925446388368 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10186] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 7364 33554432000 4194304 4196468 140733802567808 139925445335312 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10187] ppid=10178 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 7364 33554432000 4194304 4196468 140733802567808 139925444282768 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10188] ppid=10178 vsize=10659012 memory=140332786181760 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 7364 33554432000 4194304 4196468 140733802567808 139924943645424 139925840353922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10189] ppid=10178 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 7364 33554432000 4194304 4196468 140733802567808 139924942591648 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10191] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 7364 33554432000 4194304 4196468 140733802567808 139924941538544 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10199] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10199/stat : 10199 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 7364 33554432000 4194304 4196468 140733802567808 139924940487120 139925840361371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10200] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10200/stat : 10200 (java) S 10178 10181 10029 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 7364 33554432000 4194304 4196468 140733802567808 139924939434224 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10201] ppid=10178 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10201/stat : 10201 (java) S 10178 10181 10029 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 7364 33554432000 4194304 4196468 140733802567808 139924938381680 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10202] ppid=10178 vsize=10659012 memory=140332786181760 CPUtime=0.01 cores=1,3,5,7
/proc/10181/task/10202/stat : 10202 (java) R 10178 10181 10029 0 -1 4202560 378 0 0 0 1 0 0 0 20 0 15 0 105918032 10914828288 7364 33554432000 4194304 4196468 140733802567808 139924937328624 139925819145999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10203] ppid=10178 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10203/stat : 10203 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 7364 33554432000 4194304 4196468 140733802567808 139924936276320 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10204] ppid=10178 vsize=10659012 memory=140332786181760 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10204/stat : 10204 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 7364 33554432000 4194304 4196468 140733802567808 139924492606512 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 29456 KiB
[startup+0.210584 s]*
/proc/loadavg: 4.51 2.16 1.62 5/214 10225
/proc/meminfo: memFree=26502888/32770624 swapFree=67028780/67108860
[pid=10181] ppid=10178 vsize=10659012 memory=40748 CPUtime=0.32 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 10029 0 -1 1077944320 7815 0 0 0 30 2 0 0 20 0 15 0 105918026 10914828288 10187 33554432000 4194304 4196468 140733802567808 140733802550352 139925840342775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
/proc/10181/statm: 2664753 10187 3007 1 0 2627263 0
[pid=10181/tid=10183] ppid=10178 vsize=10659012 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 10029 0 -1 4202560 4597 0 0 0 19 1 0 0 20 0 15 0 105918027 10914828288 10187 33554432000 4194304 4196468 140733802567808 139925844564904 139925824386405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10184] ppid=10178 vsize=10659012 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 10187 33554432000 4194304 4196468 140733802567808 139925807901200 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10185] ppid=10178 vsize=10659012 memory=288370708937893504 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 10187 33554432000 4194304 4196468 140733802567808 139925446388368 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10186] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 10187 33554432000 4194304 4196468 140733802567808 139925445335312 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10187] ppid=10178 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 10187 33554432000 4194304 4196468 140733802567808 139925444282768 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10188] ppid=10178 vsize=10659012 memory=140332786181760 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 10187 33554432000 4194304 4196468 140733802567808 139924943645424 139925840353922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10189] ppid=10178 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 10187 33554432000 4194304 4196468 140733802567808 139924942591648 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10191] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 10187 33554432000 4194304 4196468 140733802567808 139924941538544 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10199] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10199/stat : 10199 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 10187 33554432000 4194304 4196468 140733802567808 139924940487120 139925840361371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10200] ppid=10178 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10181/task/10200/stat : 10200 (java) S 10178 10181 10029 0 -1 1077944384 571 0 0 0 2 0 0 0 20 0 15 0 105918032 10914828288 10187 33554432000 4194304 4196468 140733802567808 139924939434224 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10201] ppid=10178 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10181/task/10201/stat : 10201 (java) S 10178 10181 10029 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 15 0 105918032 10914828288 10187 33554432000 4194304 4196468 140733802567808 139924938381680 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10202] ppid=10178 vsize=10659012 memory=140332786181760 CPUtime=0.07 cores=1,3,5,7
/proc/10181/task/10202/stat : 10202 (java) R 10178 10181 10029 0 -1 4202560 785 0 0 0 7 0 0 0 20 0 15 0 105918032 10914828288 10187 33554432000 4194304 4196468 140733802567808 139924937325560 139925824582973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10203] ppid=10178 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10203/stat : 10203 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 10187 33554432000 4194304 4196468 140733802567808 139924936276320 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10204] ppid=10178 vsize=10659012 memory=140332786181760 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10204/stat : 10204 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 10187 33554432000 4194304 4196468 140733802567808 139924492606512 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40748 KiB
[startup+0.310184 s]*
/proc/loadavg: 4.51 2.16 1.62 5/198 10225
/proc/meminfo: memFree=26511064/32770624 swapFree=67028780/67108860
[pid=10181] ppid=10178 vsize=10659012 memory=53080 CPUtime=0.58 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 10029 0 -1 1077944320 9378 0 0 0 56 2 0 0 20 0 15 0 105918026 10914828288 13270 33554432000 4194304 4196468 140733802567808 140733802550352 139925840342775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
/proc/10181/statm: 2664753 13270 3049 1 0 2627263 0
[pid=10181/tid=10183] ppid=10178 vsize=10659012 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 10029 0 -1 4202560 4956 0 0 0 28 1 0 0 20 0 15 0 105918027 10914828288 13270 33554432000 4194304 4196468 140733802567808 139925844577616 139925840364701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10184] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 13270 33554432000 4194304 4196468 140733802567808 139925807901200 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10185] ppid=10178 vsize=10659012 memory=140332687780527 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 13270 33554432000 4194304 4196468 140733802567808 139925446388368 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10186] ppid=10178 vsize=10659012 memory=140332687782832 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 13270 33554432000 4194304 4196468 140733802567808 139925445335312 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10187] ppid=10178 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105918027 10914828288 13270 33554432000 4194304 4196468 140733802567808 139925444282768 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10188] ppid=10178 vsize=10659012 memory=140332786181760 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 13270 33554432000 4194304 4196468 140733802567808 139924943645424 139925840353922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10189] ppid=10178 vsize=10659012 memory=3472328296227418159 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 13270 33554432000 4194304 4196468 140733802567808 139924942591648 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10191] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 13270 33554432000 4194304 4196468 140733802567808 139924941538544 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10199] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10199/stat : 10199 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 13270 33554432000 4194304 4196468 140733802567808 139924940487120 139925840361371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10200] ppid=10178 vsize=10659012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10181/task/10200/stat : 10200 (java) R 10178 10181 10029 0 -1 4202560 1093 0 0 0 7 0 0 0 20 0 15 0 105918032 10914828288 13270 33554432000 4194304 4196468 140733802567808 139924939415240 139925823839016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10201] ppid=10178 vsize=10659012 memory=140332687798975 CPUtime=0.07 cores=1,3,5,7
/proc/10181/task/10201/stat : 10201 (java) R 10178 10181 10029 0 -1 4202560 788 0 0 0 7 0 0 0 20 0 15 0 105918032 10914828288 13270 33554432000 4194304 4196468 140733802567808 139924938371960 139925819562435 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10202] ppid=10178 vsize=10659012 memory=280665473980704 CPUtime=0.12 cores=1,3,5,7
/proc/10181/task/10202/stat : 10202 (java) R 10178 10181 10029 0 -1 1077944384 1175 0 0 0 12 0 0 0 20 0 15 0 105918032 10914828288 13270 33554432000 4194304 4196468 140733802567808 139924937328624 139925840353922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10203] ppid=10178 vsize=10659012 memory=140332687803583 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10203/stat : 10203 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 13270 33554432000 4194304 4196468 140733802567808 139924936276320 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10204] ppid=10178 vsize=10659012 memory=280665474008800 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10204/stat : 10204 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 13270 33554432000 4194304 4196468 140733802567808 139924492606512 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 53080 KiB
[startup+0.703599 s]
/proc/loadavg: 4.51 2.16 1.62 6/197 10246
/proc/meminfo: memFree=26353928/32770624 swapFree=67028780/67108860
[pid=10181] ppid=10178 vsize=10659012 memory=363564 CPUtime=1.7 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 10029 0 -1 1077944320 12105 0 0 0 145 25 0 0 20 0 15 0 105918026 10914828288 90891 33554432000 4194304 4196468 140733802567808 140733802550352 139925840342775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
/proc/10181/statm: 2664753 90891 3088 1 0 2627263 0
[pid=10181/tid=10183] ppid=10178 vsize=10659012 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) S 10178 10181 10029 0 -1 1077944384 5014 0 0 0 52 6 0 0 20 0 15 0 105918027 10914828288 90891 33554432000 4194304 4196468 140733802567808 139925844581856 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10184] ppid=10178 vsize=10659012 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) R 10178 10181 10029 0 -1 4202560 75 0 0 0 3 3 0 0 20 0 15 0 105918027 10914828288 90891 33554432000 4194304 4196468 140733802567808 139925807901200 139925833445747 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10185] ppid=10178 vsize=10659012 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) R 10178 10181 10029 0 -1 4202560 166 0 0 0 2 4 0 0 20 0 15 0 105918027 10914828288 90891 33554432000 4194304 4196468 140733802567808 139925446388568 139925833445754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10186] ppid=10178 vsize=10659012 memory=281068 CPUtime=0.08 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) R 10178 10181 10029 0 -1 4202560 170 0 0 0 4 4 0 0 20 0 15 0 105918027 10914828288 90891 33554432000 4194304 4196468 140733802567808 139925445335312 139925833445747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10187] ppid=10178 vsize=10659012 memory=1204 CPUtime=0.09 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) R 10178 10181 10029 0 -1 4202560 181 0 0 0 4 5 0 0 20 0 15 0 105918027 10914828288 90891 33554432000 4194304 4196468 140733802567808 139925444282768 139925833445492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10188] ppid=10178 vsize=10659012 memory=9024 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 10029 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 90891 33554432000 4194304 4196468 140733802567808 139924943643936 139925840352981 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10189] ppid=10178 vsize=10659012 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 10029 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 90891 33554432000 4194304 4196468 140733802567808 139924942591648 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10191] ppid=10178 vsize=10659012 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105918029 10914828288 90891 33554432000 4194304 4196468 140733802567808 139924941538544 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10199] ppid=10178 vsize=10659012 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10199/stat : 10199 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 90891 33554432000 4194304 4196468 140733802567808 139924940487120 139925840361371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10200] ppid=10178 vsize=10659012 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/10181/task/10200/stat : 10200 (java) S 10178 10181 10029 0 -1 1077944384 2515 0 0 0 37 0 0 0 20 0 15 0 105918032 10914828288 90891 33554432000 4194304 4196468 140733802567808 139924939419216 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10201] ppid=10178 vsize=10659012 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/10181/task/10201/stat : 10201 (java) S 10178 10181 10029 0 -1 1077944384 1345 0 0 0 25 0 0 0 20 0 15 0 105918032 10914828288 90891 33554432000 4194304 4196468 140733802567808 139924938381680 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10202] ppid=10178 vsize=10659012 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/10181/task/10202/stat : 10202 (java) S 10178 10181 10029 0 -1 1077944384 1195 0 0 0 14 0 0 0 20 0 15 0 105918032 10914828288 90891 33554432000 4194304 4196468 140733802567808 139924937328624 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10203] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10203/stat : 10203 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 90891 33554432000 4194304 4196468 140733802567808 139924936276320 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10204] ppid=10178 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10204/stat : 10204 (java) S 10178 10181 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105918032 10914828288 90891 33554432000 4194304 4196468 140733802567808 139924492606512 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 363564 KiB
[startup+1.50076 s]
/proc/loadavg: 4.51 2.16 1.62 6/195 10246
/proc/meminfo: memFree=25962304/32770624 swapFree=67028780/67108860
[pid=10181] ppid=10178 vsize=10659088 memory=510332 CPUtime=4.2 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 10029 0 -1 1077944320 20835 0 0 0 380 40 0 0 20 0 15 0 105918026 10914906112 127583 33554432000 4194304 4196468 140733802567808 140733802550352 139925840342775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
/proc/10181/statm: 2664772 127583 3140 1 0 2627263 0
[pid=10181/tid=10183] ppid=10178 vsize=10659088 memory=0 CPUtime=1.28 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) R 10178 10181 10029 0 -1 4202560 5529 0 0 0 122 6 0 0 20 0 15 0 105918027 10914906112 127583 33554432000 4194304 4196468 140733802567808 139925844580440 139925480516423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10184] ppid=10178 vsize=10659088 memory=140332687815024 CPUtime=0.15 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) S 10178 10181 10029 0 -1 1077944384 158 0 0 0 9 6 0 0 20 0 15 0 105918027 10914906112 127583 33554432000 4194304 4196468 140733802567808 139925807901200 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10185] ppid=10178 vsize=10659088 memory=140332687812784 CPUtime=0.15 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) S 10178 10181 10029 0 -1 1077944384 239 0 0 0 7 8 0 0 20 0 15 0 105918027 10914906112 127583 33554432000 4194304 4196468 140733802567808 139925446388368 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10186] ppid=10178 vsize=10659088 memory=293580 CPUtime=0.16 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) S 10178 10181 10029 0 -1 1077944384 239 0 0 0 9 7 0 0 20 0 15 0 105918027 10914906112 127583 33554432000 4194304 4196468 140733802567808 139925445335312 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10187] ppid=10178 vsize=10659088 memory=87527138545560 CPUtime=0.17 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) S 10178 10181 10029 0 -1 1077944384 246 0 0 0 9 8 0 0 20 0 15 0 105918027 10914906112 127583 33554432000 4194304 4196468 140733802567808 139925444282768 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10188] ppid=10178 vsize=10659088 memory=15816686058080632 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 10029 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 105918029 10914906112 127583 33554432000 4194304 4196468 140733802567808 139924943645424 139925840353922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
################
# More data... #
################
[startup+92.1889 s]
# the end of solver process 10181 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.939 s, system=6.1127 s
Solver just ended.
Dumping a history of the last processes samples
[startup+91.2007 s]
/proc/loadavg: 4.49 2.70 1.86 9/216 10279
/proc/meminfo: memFree=9781920/32770624 swapFree=67028784/67108860
[pid=10181] ppid=10178 vsize=10661136 memory=8323092 CPUtime=256.37 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 10029 0 -1 1077944320 865762 0 0 0 25034 603 0 0 20 0 15 0 105918026 10917003264 2080773 33554432000 4194304 4196468 140733802567808 140733802550352 139925840342775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
/proc/10181/statm: 2665284 2080773 3194 1 0 2627775 0
[pid=10181/tid=10183] ppid=10178 vsize=10661136 memory=8323080 CPUtime=28.33 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) S 10178 10181 10029 0 -1 1077944384 26277 0 0 0 2803 30 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925844575584 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10184] ppid=10178 vsize=10661136 memory=3544 CPUtime=52.31 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) R 10178 10181 10029 0 -1 4202560 233547 0 0 0 5091 140 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925807901008 139925825332326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10185] ppid=10178 vsize=10661136 memory=6791534058613427641 CPUtime=52.27 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) R 10178 10181 10029 0 -1 4202560 187116 0 0 0 5091 136 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925446388176 139925832970983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10186] ppid=10178 vsize=10661136 memory=1876 CPUtime=52.14 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) R 10178 10181 10029 0 -1 4202560 158281 0 0 0 5073 141 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925445335432 139925832970983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10187] ppid=10178 vsize=10661136 memory=1664 CPUtime=52.29 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) R 10178 10181 10029 0 -1 4202560 170562 0 0 0 5088 141 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925444282576 139925825332411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10188] ppid=10178 vsize=10661136 memory=1828 CPUtime=9.76 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 10029 0 -1 1077944384 36737 0 0 0 974 2 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924943643968 139925840352981 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10189] ppid=10178 vsize=10661136 memory=800 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 10029 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924942591712 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10191] ppid=10178 vsize=10661136 memory=5220 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 10029 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924941538560 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10199] ppid=10178 vsize=10661136 memory=12772 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10199/stat : 10199 (java) S 10178 10181 10029 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924940486768 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10200] ppid=10178 vsize=10661136 memory=1332 CPUtime=4.2 cores=1,3,5,7
/proc/10181/task/10200/stat : 10200 (java) S 10178 10181 10029 0 -1 1077944384 20936 0 0 0 417 3 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924939434272 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10201] ppid=10178 vsize=10661136 memory=1508 CPUtime=4.22 cores=1,3,5,7
/proc/10181/task/10201/stat : 10201 (java) S 10178 10181 10029 0 -1 1077944384 22837 0 0 0 420 2 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924938381440 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10202] ppid=10178 vsize=10661136 memory=3328 CPUtime=0.73 cores=1,3,5,7
/proc/10181/task/10202/stat : 10202 (java) S 10178 10181 10029 0 -1 1077944384 5692 0 0 0 71 2 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924937328672 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10203] ppid=10178 vsize=10661136 memory=3008 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10203/stat : 10203 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924936276320 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10204] ppid=10178 vsize=10661136 memory=2764 CPUtime=0.05 cores=1,3,5,7
/proc/10181/task/10204/stat : 10204 (java) S 10178 10181 10029 0 -1 1077944384 2303 0 0 0 2 3 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924492606512 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
Current children cumulated CPU time: 256.37 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8323092 KiB
[startup+91.6007 s]
/proc/loadavg: 4.49 2.70 1.86 9/216 10279
/proc/meminfo: memFree=9781920/32770624 swapFree=67028784/67108860
[pid=10181] ppid=10178 vsize=10661136 memory=8323092 CPUtime=257.95 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 10029 0 -1 1077944320 865762 0 0 0 25192 603 0 0 20 0 15 0 105918026 10917003264 2080773 33554432000 4194304 4196468 140733802567808 140733802550352 139925840342775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
/proc/10181/statm: 2665284 2080773 3194 1 0 2627775 0
[pid=10181/tid=10183] ppid=10178 vsize=10661136 memory=6791534058613427641 CPUtime=28.33 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) S 10178 10181 10029 0 -1 1077944384 26277 0 0 0 2803 30 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925844575584 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10184] ppid=10178 vsize=10661136 memory=1760 CPUtime=52.71 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) R 10178 10181 10029 0 -1 4202560 233547 0 0 0 5131 140 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925807901008 139925821952580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10185] ppid=10178 vsize=10661136 memory=960 CPUtime=52.66 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) R 10178 10181 10029 0 -1 4202560 187116 0 0 0 5130 136 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925446388488 139925825332418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10186] ppid=10178 vsize=10661136 memory=1220 CPUtime=52.53 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) R 10178 10181 10029 0 -1 4202560 158281 0 0 0 5112 141 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925445335432 139925832970983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10187] ppid=10178 vsize=10661136 memory=1612 CPUtime=52.68 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) R 10178 10181 10029 0 -1 4202560 170562 0 0 0 5127 141 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925444282576 139925832970983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10188] ppid=10178 vsize=10661136 memory=2164 CPUtime=9.76 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 10029 0 -1 1077944384 36737 0 0 0 974 2 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924943643968 139925840352981 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10189] ppid=10178 vsize=10661136 memory=3700 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 10029 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924942591712 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10191] ppid=10178 vsize=10661136 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 10029 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924941538560 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10199] ppid=10178 vsize=10661136 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10199/stat : 10199 (java) S 10178 10181 10029 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924940486768 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10200] ppid=10178 vsize=10661136 memory=1408 CPUtime=4.2 cores=1,3,5,7
/proc/10181/task/10200/stat : 10200 (java) S 10178 10181 10029 0 -1 1077944384 20936 0 0 0 417 3 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924939434272 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10201] ppid=10178 vsize=10661136 memory=2972 CPUtime=4.22 cores=1,3,5,7
/proc/10181/task/10201/stat : 10201 (java) S 10178 10181 10029 0 -1 1077944384 22837 0 0 0 420 2 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924938381440 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10202] ppid=10178 vsize=10661136 memory=8323080 CPUtime=0.73 cores=1,3,5,7
/proc/10181/task/10202/stat : 10202 (java) S 10178 10181 10029 0 -1 1077944384 5692 0 0 0 71 2 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924937328672 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10203] ppid=10178 vsize=10661136 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10203/stat : 10203 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924936276320 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10204] ppid=10178 vsize=10661136 memory=2948 CPUtime=0.05 cores=1,3,5,7
/proc/10181/task/10204/stat : 10204 (java) S 10178 10181 10029 0 -1 1077944384 2303 0 0 0 2 3 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924492606512 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
Current children cumulated CPU time: 257.95 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8323092 KiB
[startup+92.0007 s]*
/proc/loadavg: 4.77 2.79 1.89 9/216 10279
/proc/meminfo: memFree=9781920/32770624 swapFree=67028784/67108860
[pid=10181] ppid=10178 vsize=10661136 memory=8323092 CPUtime=259.55 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 10029 0 -1 1077944320 865762 0 0 0 25352 603 0 0 20 0 15 0 105918026 10917003264 2080773 33554432000 4194304 4196468 140733802567808 140733802550352 139925840342775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
/proc/10181/statm: 2665284 2080773 3194 1 0 2627775 0
[pid=10181/tid=10183] ppid=10178 vsize=10661136 memory=6791534058613427641 CPUtime=28.33 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) S 10178 10181 10029 0 -1 1077944384 26277 0 0 0 2803 30 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925844575584 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10184] ppid=10178 vsize=10661136 memory=4872558044660077418 CPUtime=53.12 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) R 10178 10181 10029 0 -1 4202560 233547 0 0 0 5172 140 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925807901008 139925833445804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10185] ppid=10178 vsize=10661136 memory=3604 CPUtime=53.07 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) R 10178 10181 10029 0 -1 4202560 187116 0 0 0 5171 136 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925446388488 139925832970983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10186] ppid=10178 vsize=10661136 memory=13712 CPUtime=52.91 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) R 10178 10181 10029 0 -1 4202560 158281 0 0 0 5150 141 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925445335432 139925832970983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10187] ppid=10178 vsize=10661136 memory=15128 CPUtime=53.08 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) R 10178 10181 10029 0 -1 4202560 170562 0 0 0 5167 141 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925444282576 139925832970983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10188] ppid=10178 vsize=10661136 memory=640 CPUtime=9.76 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 10029 0 -1 1077944384 36737 0 0 0 974 2 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924943643968 139925840352981 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10189] ppid=10178 vsize=10661136 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 10029 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924942591712 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10191] ppid=10178 vsize=10661136 memory=960 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 10029 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924941538560 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10199] ppid=10178 vsize=10661136 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10199/stat : 10199 (java) S 10178 10181 10029 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924940486768 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10200] ppid=10178 vsize=10661136 memory=1612 CPUtime=4.2 cores=1,3,5,7
/proc/10181/task/10200/stat : 10200 (java) S 10178 10181 10029 0 -1 1077944384 20936 0 0 0 417 3 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924939434272 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10201] ppid=10178 vsize=10661136 memory=2164 CPUtime=4.22 cores=1,3,5,7
/proc/10181/task/10201/stat : 10201 (java) S 10178 10181 10029 0 -1 1077944384 22837 0 0 0 420 2 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924938381440 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10202] ppid=10178 vsize=10661136 memory=3700 CPUtime=0.73 cores=1,3,5,7
/proc/10181/task/10202/stat : 10202 (java) S 10178 10181 10029 0 -1 1077944384 5692 0 0 0 71 2 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924937328672 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10203] ppid=10178 vsize=10661136 memory=844 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10203/stat : 10203 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924936276320 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10204] ppid=10178 vsize=10661136 memory=1460 CPUtime=0.05 cores=1,3,5,7
/proc/10181/task/10204/stat : 10204 (java) S 10178 10181 10029 0 -1 1077944384 2303 0 0 0 2 3 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924492606512 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
Current children cumulated CPU time: 259.55 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8323092 KiB
[startup+92.1108 s]
/proc/loadavg: 4.77 2.79 1.89 9/216 10279
/proc/meminfo: memFree=9781920/32770624 swapFree=67028784/67108860
[pid=10181] ppid=10178 vsize=10661136 memory=8323092 CPUtime=259.95 cores=1,3,5,7
/proc/10181/stat : 10181 (java) S 10178 10181 10029 0 -1 1077944320 865762 0 0 0 25392 603 0 0 20 0 15 0 105918026 10917003264 2080773 33554432000 4194304 4196468 140733802567808 140733802550352 139925840342775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
/proc/10181/statm: 2665284 2080773 3194 1 0 2627775 0
[pid=10181/tid=10183] ppid=10178 vsize=10661136 memory=8323092 CPUtime=28.33 cores=1,3,5,7
/proc/10181/task/10183/stat : 10183 (java) S 10178 10181 10029 0 -1 1077944384 26277 0 0 0 2803 30 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925844575584 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10184] ppid=10178 vsize=10661136 memory=8323092 CPUtime=53.22 cores=1,3,5,7
/proc/10181/task/10184/stat : 10184 (java) R 10178 10181 10029 0 -1 4202560 233547 0 0 0 5182 140 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925807901008 139925821952461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10185] ppid=10178 vsize=10661136 memory=8323080 CPUtime=53.18 cores=1,3,5,7
/proc/10181/task/10185/stat : 10185 (java) R 10178 10181 10029 0 -1 4202560 187116 0 0 0 5181 137 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925446388176 139925825340888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10186] ppid=10178 vsize=10661136 memory=8323080 CPUtime=53.01 cores=1,3,5,7
/proc/10181/task/10186/stat : 10186 (java) R 10178 10181 10029 0 -1 4202560 158281 0 0 0 5160 141 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925445335432 139925832970983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10187] ppid=10178 vsize=10661136 memory=8314888 CPUtime=53.18 cores=1,3,5,7
/proc/10181/task/10187/stat : 10187 (java) R 10178 10181 10029 0 -1 4202560 170562 0 0 0 5177 141 0 0 20 0 15 0 105918027 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139925444282888 139925832970983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10188] ppid=10178 vsize=10661136 memory=8314888 CPUtime=9.76 cores=1,3,5,7
/proc/10181/task/10188/stat : 10188 (java) S 10178 10181 10029 0 -1 1077944384 36737 0 0 0 974 2 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924943643968 139925840352981 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10189] ppid=10178 vsize=10661136 memory=8323092 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10189/stat : 10189 (java) S 10178 10181 10029 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924942591712 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10191] ppid=10178 vsize=10661136 memory=7779620 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10191/stat : 10191 (java) S 10178 10181 10029 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 15 0 105918029 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924941538560 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10199] ppid=10178 vsize=10661136 memory=280665375629344 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10199/stat : 10199 (java) S 10178 10181 10029 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924940486768 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10200] ppid=10178 vsize=10661136 memory=8323080 CPUtime=4.2 cores=1,3,5,7
/proc/10181/task/10200/stat : 10200 (java) S 10178 10181 10029 0 -1 1077944384 20936 0 0 0 417 3 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924939434272 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10201] ppid=10178 vsize=10661136 memory=3544 CPUtime=4.22 cores=1,3,5,7
/proc/10181/task/10201/stat : 10201 (java) S 10178 10181 10029 0 -1 1077944384 22837 0 0 0 420 2 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924938381440 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10202] ppid=10178 vsize=10661136 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/10181/task/10202/stat : 10202 (java) S 10178 10181 10029 0 -1 1077944384 5692 0 0 0 71 2 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924937328672 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10203] ppid=10178 vsize=10661136 memory=13712 CPUtime=0 cores=1,3,5,7
/proc/10181/task/10203/stat : 10203 (java) S 10178 10181 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924936276320 139925840352981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
[pid=10181/tid=10204] ppid=10178 vsize=10661136 memory=15128 CPUtime=0.05 cores=1,3,5,7
/proc/10181/task/10204/stat : 10204 (java) S 10178 10181 10029 0 -1 1077944384 2303 0 0 0 2 3 0 0 20 0 15 0 105918032 10917003264 2080773 33554432000 4194304 4196468 140733802567808 139924492606512 139925840353922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17195008 140733802570870 140733802571022 140733802571022 140733802573775 0
Current children cumulated CPU time: 259.95 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8323092 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 92.189
CPU time (s): 260.052
CPU user time (s): 253.939
CPU system time (s): 6.1127
CPU usage (%): 282.086
Max. virtual memory (cumulated for all children) (KiB): 10663688
Max. memory (cumulated for all children) (KiB): 8323092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.939
system time used= 6.1127
maximum resident set size= 8323304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 865766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8636
involuntary context switches= 3536
# summary of solver processes directly reported to runsolver:
# pid: 10181
# total CPU time (s): 260.052
# total CPU user time (s): 253.939
# total CPU system time (s): 6.1127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.535334 second user time and 0.983024 second system time
The end