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 (6704 MiB free)
memory of node 1: 16384 MiB (15016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302764-1532896181/watcher-4302764-1532896181 -o /tmp/evaluation-result-4302764-1532896181/solver-4302764-1532896181 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1781381700 -superng HOME/instance-4302764-1532896181.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
solver pid=18163, runsolver pid=18160
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 1.42 1.74 1.85 3/206 18220
/proc/meminfo: memFree=22232740/32770624 swapFree=67108404/67108860
[pid=18163] ppid=18160 vsize=10005480 memory=18596 CPUtime=0.08 cores=1,3,5,7
/proc/18163/stat : 18163 (java) S 18160 18163 12222 0 -1 1077944320 4293 13013 0 0 1 0 5 2 20 0 6 0 107181294 10245611520 4649 33554432000 4194304 4196468 140730236294784 140730236277328 140245338046199 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
/proc/18163/statm: 2501370 4649 1935 1 0 2489808 0
[pid=18163/tid=18216] ppid=18160 vsize=10021560 memory=4279135704014094991 CPUtime=0.08 cores=1,3,5,7
/proc/18163/task/18216/stat : 18216 (java) R 18160 18163 12222 0 -1 4202560 2142 13013 0 0 1 0 5 2 20 0 6 0 107181303 10262077440 4715 33554432000 4194304 4196468 140730236294784 140245309882960 140245323578112 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18217] ppid=18160 vsize=10021560 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18217/stat : 18217 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 6 0 107181304 10262077440 4715 33554432000 4194304 4196468 140730236294784 140245342288656 140245338056405 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18218] ppid=18160 vsize=10021560 memory=139827783870080 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18218/stat : 18218 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 6 0 107181304 10262077440 4715 33554432000 4194304 4196468 140730236294784 140245197007760 140245338056405 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18219] ppid=18160 vsize=10021560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18219/stat : 18219 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 6 0 107181304 10262077440 4715 33554432000 4194304 4196468 140730236294784 140245195955216 140245338056405 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18220] ppid=18160 vsize=10021560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18220/stat : 18220 (java) S 18160 18163 12222 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 6 0 107181304 10262077440 4715 33554432000 4194304 4196468 140730236294784 140245194902672 140245338056405 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18596 KiB
[startup+0.209825 s]*
/proc/loadavg: 1.42 1.74 1.85 3/215 18229
/proc/meminfo: memFree=22207304/32770624 swapFree=67108404/67108860
[pid=18163] ppid=18160 vsize=10982696 memory=47316 CPUtime=0.26 cores=1,3,5,7
/proc/18163/stat : 18163 (java) S 18160 18163 12222 0 -1 1077944320 8207 13013 0 0 17 2 5 2 20 0 15 0 107181294 11246280704 11829 33554432000 4194304 4196468 140730236294784 140730236277328 140245338046199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
/proc/18163/statm: 2745674 11829 2934 1 0 2708109 0
[pid=18163/tid=18216] ppid=18160 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/18163/task/18216/stat : 18216 (java) R 18160 18163 12222 0 -1 4202560 4737 13013 0 0 10 1 5 2 20 0 15 0 107181303 11246280704 11829 33554432000 4194304 4196468 140730236294784 140245309843856 140245319609703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18217] ppid=18160 vsize=10982696 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18217/stat : 18217 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246280704 11829 33554432000 4194304 4196468 140730236294784 140245342288656 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18218] ppid=18160 vsize=10982696 memory=3691179691372652192 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18218/stat : 18218 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246280704 11829 33554432000 4194304 4196468 140730236294784 140245197007760 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18219] ppid=18160 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18219/stat : 18219 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246280704 11829 33554432000 4194304 4196468 140730236294784 140245195955216 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18220] ppid=18160 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18220/stat : 18220 (java) S 18160 18163 12222 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246280704 11829 33554432000 4194304 4196468 140730236294784 140245194902672 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18221] ppid=18160 vsize=10982696 memory=139827783870080 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18221/stat : 18221 (java) S 18160 18163 12222 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 107181305 11246280704 11829 33554432000 4194304 4196468 140730236294784 140244764002288 140245338057346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18222] ppid=18160 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18222/stat : 18222 (java) S 18160 18163 12222 0 -1 1077944384 13 13013 0 0 0 0 5 2 20 0 15 0 107181306 11246280704 11829 33554432000 4194304 4196468 140730236294784 140244171088800 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18223] ppid=18160 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18223/stat : 18223 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181306 11246280704 11829 33554432000 4194304 4196468 140730236294784 140243969762288 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18224] ppid=18160 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18224/stat : 18224 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11246280704 11829 33554432000 4194304 4196468 140730236294784 140243662362832 140245338064795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18225] ppid=18160 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18163/task/18225/stat : 18225 (java) S 18160 18163 12222 0 -1 1077944384 345 13013 0 0 1 0 5 2 20 0 15 0 107181309 11246280704 11829 33554432000 4194304 4196468 140730236294784 140244762950128 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18226] ppid=18160 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18226/stat : 18226 (java) S 18160 18163 12222 0 -1 1077944384 261 13013 0 0 0 0 5 2 20 0 15 0 107181309 11246280704 11829 33554432000 4194304 4196468 140730236294784 140244761897584 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18227] ppid=18160 vsize=10982696 memory=139827783870080 CPUtime=0.1 cores=1,3,5,7
/proc/18163/task/18227/stat : 18227 (java) S 18160 18163 12222 0 -1 1077944384 645 13013 0 0 3 0 5 2 20 0 15 0 107181309 11246280704 11829 33554432000 4194304 4196468 140730236294784 140244760845040 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18228] ppid=18160 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18228/stat : 18228 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11246280704 11829 33554432000 4194304 4196468 140730236294784 140243231566944 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18229] ppid=18160 vsize=10982696 memory=139827783870080 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18229/stat : 18229 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181309 11246280704 11829 33554432000 4194304 4196468 140730236294784 140244759791920 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 47316 KiB
[startup+0.310314 s]*
/proc/loadavg: 1.42 1.74 1.85 3/215 18229
/proc/meminfo: memFree=22198744/32770624 swapFree=67108404/67108860
[pid=18163] ppid=18160 vsize=10983192 memory=58664 CPUtime=0.38 cores=1,3,5,7
/proc/18163/stat : 18163 (java) S 18160 18163 12222 0 -1 1077944320 10240 13013 0 0 28 3 5 2 20 0 15 0 107181294 11246788608 14666 33554432000 4194304 4196468 140730236294784 140730236277328 140245338046199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
/proc/18163/statm: 2745798 14666 3066 1 0 2708109 0
[pid=18163/tid=18216] ppid=18160 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18163/task/18216/stat : 18216 (java) R 18160 18163 12222 0 -1 4202560 6769 13013 0 0 20 2 5 2 20 0 15 0 107181303 11246788608 14666 33554432000 4194304 4196468 140730236294784 140245309857984 140245322126686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18217] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18217/stat : 18217 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246788608 14666 33554432000 4194304 4196468 140730236294784 140245342288656 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18218] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18218/stat : 18218 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246788608 14666 33554432000 4194304 4196468 140730236294784 140245197007760 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18219] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18219/stat : 18219 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246788608 14666 33554432000 4194304 4196468 140730236294784 140245195955216 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18220] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18220/stat : 18220 (java) S 18160 18163 12222 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246788608 14666 33554432000 4194304 4196468 140730236294784 140245194902672 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18221] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18221/stat : 18221 (java) S 18160 18163 12222 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 107181305 11246788608 14666 33554432000 4194304 4196468 140730236294784 140244764002288 140245338057346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18222] ppid=18160 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18222/stat : 18222 (java) S 18160 18163 12222 0 -1 1077944384 13 13013 0 0 0 0 5 2 20 0 15 0 107181306 11246788608 14666 33554432000 4194304 4196468 140730236294784 140244171088800 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18223] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18223/stat : 18223 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181306 11246788608 14666 33554432000 4194304 4196468 140730236294784 140243969762288 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18224] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18224/stat : 18224 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11246788608 14666 33554432000 4194304 4196468 140730236294784 140243662362832 140245338064795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18225] ppid=18160 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18163/task/18225/stat : 18225 (java) S 18160 18163 12222 0 -1 1077944384 346 13013 0 0 1 0 5 2 20 0 15 0 107181309 11246788608 14666 33554432000 4194304 4196468 140730236294784 140244762950128 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18226] ppid=18160 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18226/stat : 18226 (java) S 18160 18163 12222 0 -1 1077944384 261 13013 0 0 0 0 5 2 20 0 15 0 107181309 11246788608 14666 33554432000 4194304 4196468 140730236294784 140244761897584 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18227] ppid=18160 vsize=10983192 memory=139827783870080 CPUtime=0.11 cores=1,3,5,7
/proc/18163/task/18227/stat : 18227 (java) R 18160 18163 12222 0 -1 4202560 650 13013 0 0 4 0 5 2 20 0 15 0 107181309 11246788608 14666 33554432000 4194304 4196468 140730236294784 140244760845040 140245317960665 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18228] ppid=18160 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18228/stat : 18228 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11246788608 14666 33554432000 4194304 4196468 140730236294784 140243231566944 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18229] ppid=18160 vsize=10983192 memory=139827783870080 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18229/stat : 18229 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181309 11246788608 14666 33554432000 4194304 4196468 140730236294784 140244759791920 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 58664 KiB
[startup+0.700745 s]
/proc/loadavg: 1.42 1.74 1.85 3/215 18229
/proc/meminfo: memFree=22187576/32770624 swapFree=67108404/67108860
[pid=18163] ppid=18160 vsize=10983192 memory=91584 CPUtime=0.97 cores=1,3,5,7
/proc/18163/stat : 18163 (java) S 18160 18163 12222 0 -1 1077944320 16422 13013 0 0 86 4 5 2 20 0 15 0 107181294 11246788608 22896 33554432000 4194304 4196468 140730236294784 140730236277328 140245338046199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
/proc/18163/statm: 2745798 22896 3246 1 0 2708109 0
[pid=18163/tid=18216] ppid=18160 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18163/task/18216/stat : 18216 (java) R 18160 18163 12222 0 -1 4202560 11970 13013 0 0 56 3 5 2 20 0 15 0 107181303 11246788608 22896 33554432000 4194304 4196468 140730236294784 140245309867024 140245323211871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18217] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18217/stat : 18217 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246788608 22896 33554432000 4194304 4196468 140730236294784 140245342288656 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18218] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18218/stat : 18218 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246788608 22896 33554432000 4194304 4196468 140730236294784 140245197007760 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18219] ppid=18160 vsize=10983192 memory=487 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18219/stat : 18219 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246788608 22896 33554432000 4194304 4196468 140730236294784 140245195955216 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18220] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18220/stat : 18220 (java) S 18160 18163 12222 0 -1 1077944384 2 13013 0 0 0 0 5 2 20 0 15 0 107181304 11246788608 22896 33554432000 4194304 4196468 140730236294784 140245194902672 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18221] ppid=18160 vsize=10983192 memory=7301570131460772950 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18221/stat : 18221 (java) S 18160 18163 12222 0 -1 1077944384 6 13013 0 0 0 0 5 2 20 0 15 0 107181305 11246788608 22896 33554432000 4194304 4196468 140730236294784 140244764002288 140245338057346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18222] ppid=18160 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18222/stat : 18222 (java) S 18160 18163 12222 0 -1 1077944384 13 13013 0 0 0 0 5 2 20 0 15 0 107181306 11246788608 22896 33554432000 4194304 4196468 140730236294784 140244171088800 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18223] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18223/stat : 18223 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181306 11246788608 22896 33554432000 4194304 4196468 140730236294784 140243969762288 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18224] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18224/stat : 18224 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11246788608 22896 33554432000 4194304 4196468 140730236294784 140243662362832 140245338064795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18225] ppid=18160 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/18163/task/18225/stat : 18225 (java) S 18160 18163 12222 0 -1 1077944384 595 13013 0 0 7 0 5 2 20 0 15 0 107181309 11246788608 22896 33554432000 4194304 4196468 140730236294784 140244762950128 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18226] ppid=18160 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/18163/task/18226/stat : 18226 (java) S 18160 18163 12222 0 -1 1077944384 939 13013 0 0 8 0 5 2 20 0 15 0 107181309 11246788608 22896 33554432000 4194304 4196468 140730236294784 140244761897584 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18227] ppid=18160 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/18163/task/18227/stat : 18227 (java) S 18160 18163 12222 0 -1 1077944384 695 13013 0 0 13 0 5 2 20 0 15 0 107181309 11246788608 22896 33554432000 4194304 4196468 140730236294784 140244760845040 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18228] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18228/stat : 18228 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11246788608 22896 33554432000 4194304 4196468 140730236294784 140243231566944 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18229] ppid=18160 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18229/stat : 18229 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181309 11246788608 22896 33554432000 4194304 4196468 140730236294784 140244759791920 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 91584 KiB
[startup+1.50357 s]
/proc/loadavg: 1.42 1.74 1.85 4/215 18229
/proc/meminfo: memFree=22141492/32770624 swapFree=67108404/67108860
[pid=18163] ppid=18160 vsize=10996044 memory=197776 CPUtime=3.12 cores=1,3,5,7
/proc/18163/stat : 18163 (java) S 18160 18163 12222 0 -1 1077944320 27330 13013 0 0 296 9 5 2 20 0 15 0 107181294 11259949056 49444 33554432000 4194304 4196468 140730236294784 140730236277328 140245338046199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
/proc/18163/statm: 2749011 49444 3454 1 0 2710669 0
[pid=18163/tid=18216] ppid=18160 vsize=10996044 memory=4951091520830867572 CPUtime=1.44 cores=1,3,5,7
/proc/18163/task/18216/stat : 18216 (java) S 18160 18163 12222 0 -1 1077944384 17057 13013 0 0 131 6 5 2 20 0 15 0 107181303 11259949056 49444 33554432000 4194304 4196468 140730236294784 140245309861136 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18217] ppid=18160 vsize=10996044 memory=4134606225630022328 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18217/stat : 18217 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181304 11259949056 49444 33554432000 4194304 4196468 140730236294784 140245342288656 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18218] ppid=18160 vsize=10996044 memory=-5153075247759266159 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18218/stat : 18218 (java) R 18160 18163 12222 0 -1 4202560 152 13013 0 0 0 0 5 2 20 0 15 0 107181304 11259949056 49444 33554432000 4194304 4196468 140730236294784 140245197007760 140245322743833 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18219] ppid=18160 vsize=10996044 memory=-7305908135224119187 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18219/stat : 18219 (java) S 18160 18163 12222 0 -1 1077944384 87 13013 0 0 0 0 5 2 20 0 15 0 107181304 11259949056 49444 33554432000 4194304 4196468 140730236294784 140245195955216 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18220] ppid=18160 vsize=10996044 memory=130744 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18220/stat : 18220 (java) R 18160 18163 12222 0 -1 1077944384 9 13013 0 0 0 0 5 2 20 0 15 0 107181304 11259949056 49444 33554432000 4194304 4196468 140730236294784 140245194902672 140245338056405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18221] ppid=18160 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18221/stat : 18221 (java) S 18160 18163 12222 0 -1 1077944384 41 13013 0 0 0 0 5 2 20 0 15 0 107181305 11259949056 49956 33554432000 4194304 4196468 140730236294784 140244764000576 140245338056405 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18222] ppid=18160 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18222/stat : 18222 (java) S 18160 18163 12222 0 -1 1077944384 13 13013 0 0 0 0 5 2 20 0 15 0 107181306 11259949056 49956 33554432000 4194304 4196468 140730236294784 140244171088800 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18223] ppid=18160 vsize=10996044 memory=279655252820256 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18223/stat : 18223 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181306 11259949056 49956 33554432000 4194304 4196468 140730236294784 140243969762288 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18224] ppid=18160 vsize=10996044 memory=279655253235200 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18224/stat : 18224 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11259949056 49956 33554432000 4194304 4196468 140730236294784 140243662362832 140245338064795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18225] ppid=18160 vsize=10996044 memory=139827626419840 CPUtime=0.65 cores=1,3,5,7
/proc/18163/task/18225/stat : 18225 (java) R 18160 18163 12222 0 -1 4202560 2804 13013 0 0 58 0 5 2 20 0 15 0 107181309 11259949056 49956 33554432000 4194304 4196468 140730236294784 140244762931144 140245317302832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18226] ppid=18160 vsize=10996044 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18163/task/18226/stat : 18226 (java) R 18160 18163 12222 0 -1 4202560 3321 13013 0 0 59 0 5 2 20 0 15 0 107181309 11259949056 49956 33554432000 4194304 4196468 140730236294784 140244761883608 140245323165382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18227] ppid=18160 vsize=10996044 memory=1200 CPUtime=0.51 cores=1,3,5,7
/proc/18163/task/18227/stat : 18227 (java) S 18160 18163 12222 0 -1 1077944384 1646 13013 0 0 44 0 5 2 20 0 15 0 107181309 11259949056 49956 33554432000 4194304 4196468 140730236294784 140244760845040 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18228] ppid=18160 vsize=10996044 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18228/stat : 18228 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11259949056 49956 33554432000 4194304 4196468 140730236294784 140243231566944 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18229] ppid=18160 vsize=10996044 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18229/stat : 18229 (java) S 18160 18163 12222 0 -1 1077944384 1 13013 0 0 0 0 5 2 20 0 15 0 107181309 11259949056 49956 33554432000 4194304 4196468 140730236294784 140244759791920 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/18163/task/18216/stat : 18216 (java) R 18160 18163 12222 0 -1 4202560 55317 13013 0 0 16127 22 5 2 20 0 15 0 107181303 11345952768 364395 33554432000 4194304 4196468 140730236294784 140245309880232 140244878384864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18217] ppid=18160 vsize=11080032 memory=1457516 CPUtime=0.63 cores=1,3,5,7
/proc/18163/task/18217/stat : 18217 (java) S 18160 18163 12222 0 -1 1077944384 2530 13013 0 0 38 18 5 2 20 0 15 0 107181304 11345952768 364395 33554432000 4194304 4196468 140730236294784 140245342288656 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18218] ppid=18160 vsize=11080032 memory=1457528 CPUtime=0.64 cores=1,3,5,7
/proc/18163/task/18218/stat : 18218 (java) S 18160 18163 12222 0 -1 1077944384 1820 13013 0 0 39 18 5 2 20 0 15 0 107181304 11345952768 364395 33554432000 4194304 4196468 140730236294784 140245197007760 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18219] ppid=18160 vsize=11080032 memory=1457580 CPUtime=0.63 cores=1,3,5,7
/proc/18163/task/18219/stat : 18219 (java) S 18160 18163 12222 0 -1 1077944384 1463 13013 0 0 38 18 5 2 20 0 15 0 107181304 11345952768 364395 33554432000 4194304 4196468 140730236294784 140245195955216 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18220] ppid=18160 vsize=11080032 memory=1457516 CPUtime=0.62 cores=1,3,5,7
/proc/18163/task/18220/stat : 18220 (java) S 18160 18163 12222 0 -1 1077944384 1005 13013 0 0 38 17 5 2 20 0 15 0 107181304 11345952768 364395 33554432000 4194304 4196468 140730236294784 140245194902672 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18221] ppid=18160 vsize=11080032 memory=2273 CPUtime=0.15 cores=1,3,5,7
/proc/18163/task/18221/stat : 18221 (java) S 18160 18163 12222 0 -1 1077944384 3638 13013 0 0 7 1 5 2 20 0 15 0 107181305 11345952768 364395 33554432000 4194304 4196468 140730236294784 140244764002288 140245338057346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18222] ppid=18160 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18222/stat : 18222 (java) S 18160 18163 12222 0 -1 1077944384 27 13013 0 0 0 0 5 2 20 0 15 0 107181306 11345952768 364395 33554432000 4194304 4196468 140730236294784 140244171088864 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18223] ppid=18160 vsize=11080032 memory=1457528 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18223/stat : 18223 (java) S 18160 18163 12222 0 -1 1077944384 12 13013 0 0 0 0 5 2 20 0 15 0 107181306 11345952768 364395 33554432000 4194304 4196468 140730236294784 140243969762304 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18224] ppid=18160 vsize=11080032 memory=840 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18224/stat : 18224 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11345952768 364395 33554432000 4194304 4196468 140730236294784 140243662362832 140245338064795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18225] ppid=18160 vsize=11080032 memory=248 CPUtime=5.91 cores=1,3,5,7
/proc/18163/task/18225/stat : 18225 (java) S 18160 18163 12222 0 -1 1077944384 22999 13013 0 0 581 3 5 2 20 0 15 0 107181309 11345952768 364395 33554432000 4194304 4196468 140730236294784 140244762950128 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18226] ppid=18160 vsize=11080032 memory=0 CPUtime=6.14 cores=1,3,5,7
/proc/18163/task/18226/stat : 18226 (java) S 18160 18163 12222 0 -1 1077944384 21278 13013 0 0 603 4 5 2 20 0 15 0 107181309 11345952768 364395 33554432000 4194304 4196468 140730236294784 140244761897584 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18227] ppid=18160 vsize=11080032 memory=1373704 CPUtime=2.57 cores=1,3,5,7
/proc/18163/task/18227/stat : 18227 (java) S 18160 18163 12222 0 -1 1077944384 16464 13013 0 0 245 5 5 2 20 0 15 0 107181309 11345952768 364395 33554432000 4194304 4196468 140730236294784 140244760845040 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18228] ppid=18160 vsize=11080032 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18228/stat : 18228 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11345952768 364395 33554432000 4194304 4196468 140730236294784 140243231566944 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18229] ppid=18160 vsize=11080032 memory=1457516 CPUtime=0.14 cores=1,3,5,7
/proc/18163/task/18229/stat : 18229 (java) S 18160 18163 12222 0 -1 1077944384 330 13013 0 0 3 4 5 2 20 0 15 0 107181309 11345952768 364395 33554432000 4194304 4196468 140730236294784 140244759791920 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
Current children cumulated CPU time: 178.45 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1457580 KiB
[startup+222.301 s]
/proc/loadavg: 1.78 1.81 1.86 3/215 18367
/proc/meminfo: memFree=20362124/32770624 swapFree=67108404/67108860
[pid=18163] ppid=18160 vsize=11080032 memory=2356136 CPUtime=241.81 cores=1,3,5,7
/proc/18163/stat : 18163 (java) S 18160 18163 12222 0 -1 1077944320 146517 13013 0 0 23950 224 5 2 20 0 15 0 107181294 11345952768 589034 33554432000 4194304 4196468 140730236294784 140730236277328 140245338046199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
/proc/18163/statm: 2770008 589034 3531 1 0 2731661 0
[pid=18163/tid=18216] ppid=18160 vsize=11080032 memory=2122604 CPUtime=220.65 cores=1,3,5,7
/proc/18163/task/18216/stat : 18216 (java) R 18160 18163 12222 0 -1 4202560 57918 13013 0 0 22035 23 5 2 20 0 15 0 107181303 11345952768 589034 33554432000 4194304 4196468 140730236294784 140245309878240 140244878998311 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18217] ppid=18160 vsize=11080032 memory=1941776 CPUtime=1.52 cores=1,3,5,7
/proc/18163/task/18217/stat : 18217 (java) S 18160 18163 12222 0 -1 1077944384 3733 13013 0 0 101 44 5 2 20 0 15 0 107181304 11345952768 589034 33554432000 4194304 4196468 140730236294784 140245342288656 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18218] ppid=18160 vsize=11080032 memory=2083268 CPUtime=1.52 cores=1,3,5,7
/proc/18163/task/18218/stat : 18218 (java) S 18160 18163 12222 0 -1 1077944384 3097 13013 0 0 100 45 5 2 20 0 15 0 107181304 11345952768 589034 33554432000 4194304 4196468 140730236294784 140245197007760 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18219] ppid=18160 vsize=11080032 memory=1820556 CPUtime=1.52 cores=1,3,5,7
/proc/18163/task/18219/stat : 18219 (java) S 18160 18163 12222 0 -1 1077944384 2097 13013 0 0 100 45 5 2 20 0 15 0 107181304 11345952768 589034 33554432000 4194304 4196468 140730236294784 140245195955216 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18220] ppid=18160 vsize=11080032 memory=2083268 CPUtime=1.51 cores=1,3,5,7
/proc/18163/task/18220/stat : 18220 (java) S 18160 18163 12222 0 -1 1077944384 1645 13013 0 0 99 45 5 2 20 0 15 0 107181304 11345952768 589034 33554432000 4194304 4196468 140730236294784 140245194902672 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18221] ppid=18160 vsize=11080032 memory=2356136 CPUtime=0.16 cores=1,3,5,7
/proc/18163/task/18221/stat : 18221 (java) S 18160 18163 12222 0 -1 1077944384 4284 13013 0 0 8 1 5 2 20 0 15 0 107181305 11345952768 589034 33554432000 4194304 4196468 140730236294784 140244764002288 140245338057346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18222] ppid=18160 vsize=11080032 memory=125 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18222/stat : 18222 (java) S 18160 18163 12222 0 -1 1077944384 27 13013 0 0 0 0 5 2 20 0 15 0 107181306 11345952768 589034 33554432000 4194304 4196468 140730236294784 140244171088864 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18223] ppid=18160 vsize=11080032 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18223/stat : 18223 (java) S 18160 18163 12222 0 -1 1077944384 12 13013 0 0 0 0 5 2 20 0 15 0 107181306 11345952768 589034 33554432000 4194304 4196468 140730236294784 140243969762304 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18224] ppid=18160 vsize=11080032 memory=2122604 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18224/stat : 18224 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11345952768 589034 33554432000 4194304 4196468 140730236294784 140243662362832 140245338064795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18225] ppid=18160 vsize=11080032 memory=2356136 CPUtime=6.18 cores=1,3,5,7
/proc/18163/task/18225/stat : 18225 (java) S 18160 18163 12222 0 -1 1077944384 26253 13013 0 0 607 4 5 2 20 0 15 0 107181309 11345952768 589034 33554432000 4194304 4196468 140730236294784 140244762950128 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18226] ppid=18160 vsize=11080032 memory=4012 CPUtime=6.52 cores=1,3,5,7
/proc/18163/task/18226/stat : 18226 (java) S 18160 18163 12222 0 -1 1077944384 26580 13013 0 0 641 4 5 2 20 0 15 0 107181309 11345952768 589034 33554432000 4194304 4196468 140730236294784 140244761897584 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18227] ppid=18160 vsize=11080032 memory=30580 CPUtime=2.6 cores=1,3,5,7
/proc/18163/task/18227/stat : 18227 (java) S 18160 18163 12222 0 -1 1077944384 18294 13013 0 0 248 5 5 2 20 0 15 0 107181309 11345952768 589034 33554432000 4194304 4196468 140730236294784 140244760845040 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18228] ppid=18160 vsize=11080032 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18228/stat : 18228 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11345952768 589034 33554432000 4194304 4196468 140730236294784 140243231566944 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18229] ppid=18160 vsize=11080032 memory=30580 CPUtime=0.16 cores=1,3,5,7
/proc/18163/task/18229/stat : 18229 (java) S 18160 18163 12222 0 -1 1077944384 380 13013 0 0 4 5 5 2 20 0 15 0 107181309 11345952768 589034 33554432000 4194304 4196468 140730236294784 140244759791920 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
Current children cumulated CPU time: 241.81 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2356136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+232.001 s]*
/proc/loadavg: 1.82 1.82 1.86 3/215 18367
/proc/meminfo: memFree=20344012/32770624 swapFree=67108404/67108860
[pid=18163] ppid=18160 vsize=11080032 memory=2372984 CPUtime=252.01 cores=1,3,5,7
/proc/18163/stat : 18163 (java) S 18160 18163 12222 0 -1 1077944320 148161 13013 0 0 24968 226 5 2 20 0 15 0 107181294 11345952768 593246 33554432000 4194304 4196468 140730236294784 140730236277328 140245338046199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
/proc/18163/statm: 2770008 593246 3532 1 0 2731661 0
[pid=18163/tid=18216] ppid=18160 vsize=11080032 memory=6791534058613427641 CPUtime=230.22 cores=1,3,5,7
/proc/18163/task/18216/stat : 18216 (java) R 18160 18163 12222 0 -1 4202560 58118 13013 0 0 22992 23 5 2 20 0 15 0 107181303 11345952768 593246 33554432000 4194304 4196468 140730236294784 140245309877896 140244864212848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18217] ppid=18160 vsize=11080032 memory=4126316290023845779 CPUtime=1.64 cores=1,3,5,7
/proc/18163/task/18217/stat : 18217 (java) S 18160 18163 12222 0 -1 1077944384 4148 13013 0 0 113 44 5 2 20 0 15 0 107181304 11345952768 593246 33554432000 4194304 4196468 140730236294784 140245342288656 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18218] ppid=18160 vsize=11080032 memory=3144 CPUtime=1.65 cores=1,3,5,7
/proc/18163/task/18218/stat : 18218 (java) S 18160 18163 12222 0 -1 1077944384 3235 13013 0 0 112 46 5 2 20 0 15 0 107181304 11345952768 593246 33554432000 4194304 4196468 140730236294784 140245197007760 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18219] ppid=18160 vsize=11080032 memory=2372984 CPUtime=1.64 cores=1,3,5,7
/proc/18163/task/18219/stat : 18219 (java) S 18160 18163 12222 0 -1 1077944384 2310 13013 0 0 112 45 5 2 20 0 15 0 107181304 11345952768 593246 33554432000 4194304 4196468 140730236294784 140245195955216 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18220] ppid=18160 vsize=11080032 memory=1408 CPUtime=1.63 cores=1,3,5,7
/proc/18163/task/18220/stat : 18220 (java) S 18160 18163 12222 0 -1 1077944384 1964 13013 0 0 111 45 5 2 20 0 15 0 107181304 11345952768 593246 33554432000 4194304 4196468 140730236294784 140245194902672 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18221] ppid=18160 vsize=11080032 memory=3000 CPUtime=0.16 cores=1,3,5,7
/proc/18163/task/18221/stat : 18221 (java) S 18160 18163 12222 0 -1 1077944384 4375 13013 0 0 8 1 5 2 20 0 15 0 107181305 11345952768 593246 33554432000 4194304 4196468 140730236294784 140244764002288 140245338057346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18222] ppid=18160 vsize=11080032 memory=1188676 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18222/stat : 18222 (java) S 18160 18163 12222 0 -1 1077944384 27 13013 0 0 0 0 5 2 20 0 15 0 107181306 11345952768 593246 33554432000 4194304 4196468 140730236294784 140244171088864 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18223] ppid=18160 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18223/stat : 18223 (java) S 18160 18163 12222 0 -1 1077944384 12 13013 0 0 0 0 5 2 20 0 15 0 107181306 11345952768 593246 33554432000 4194304 4196468 140730236294784 140243969762304 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18224] ppid=18160 vsize=11080032 memory=2372984 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18224/stat : 18224 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11345952768 593246 33554432000 4194304 4196468 140730236294784 140243662362832 140245338064795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18225] ppid=18160 vsize=11080032 memory=2356136 CPUtime=6.25 cores=1,3,5,7
/proc/18163/task/18225/stat : 18225 (java) S 18160 18163 12222 0 -1 1077944384 26455 13013 0 0 614 4 5 2 20 0 15 0 107181309 11345952768 593246 33554432000 4194304 4196468 140730236294784 140244762950128 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18226] ppid=18160 vsize=11080032 memory=1952 CPUtime=6.56 cores=1,3,5,7
/proc/18163/task/18226/stat : 18226 (java) S 18160 18163 12222 0 -1 1077944384 26603 13013 0 0 645 4 5 2 20 0 15 0 107181309 11345952768 593246 33554432000 4194304 4196468 140730236294784 140244761897584 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18227] ppid=18160 vsize=11080032 memory=8572 CPUtime=2.6 cores=1,3,5,7
/proc/18163/task/18227/stat : 18227 (java) S 18160 18163 12222 0 -1 1077944384 18337 13013 0 0 248 5 5 2 20 0 15 0 107181309 11345952768 593246 33554432000 4194304 4196468 140730236294784 140244760845040 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18228] ppid=18160 vsize=11080032 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18228/stat : 18228 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 15 0 107181309 11345952768 593246 33554432000 4194304 4196468 140730236294784 140243231566944 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18229] ppid=18160 vsize=11080032 memory=5372 CPUtime=0.17 cores=1,3,5,7
/proc/18163/task/18229/stat : 18229 (java) S 18160 18163 12222 0 -1 1077944384 380 13013 0 0 4 6 5 2 20 0 15 0 107181309 11345952768 593246 33554432000 4194304 4196468 140730236294784 140244759791920 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2372984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+232.143 s]
# the end of solver process 18163 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.842 s, system=2.31552 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+232.115 s]
/proc/loadavg: 1.82 1.82 1.86 3/215 18367
/proc/meminfo: memFree=20344012/32770624 swapFree=67108404/67108860
[pid=18163] ppid=18160 vsize=11342184 memory=2375136 CPUtime=252.11 cores=1,3,5,7
/proc/18163/stat : 18163 (java) S 18160 18163 12222 0 -1 1077944320 148438 13013 0 0 24978 226 5 2 20 0 17 0 107181294 11614396416 593784 33554432000 4194304 4196468 140730236294784 140730236277328 140245338046199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
/proc/18163/statm: 2835546 593784 3534 1 0 2797199 0
[pid=18163/tid=18216] ppid=18160 vsize=11342184 memory=2372984 CPUtime=230.32 cores=1,3,5,7
/proc/18163/task/18216/stat : 18216 (java) S 18160 18163 12222 0 -1 1077944384 58222 13013 0 0 23002 23 5 2 20 0 17 0 107181303 11614396416 593784 33554432000 4194304 4196468 140730236294784 140245309889712 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18217] ppid=18160 vsize=11342184 memory=2372984 CPUtime=1.64 cores=1,3,5,7
/proc/18163/task/18217/stat : 18217 (java) S 18160 18163 12222 0 -1 1077944384 4148 13013 0 0 113 44 5 2 20 0 17 0 107181304 11614396416 593784 33554432000 4194304 4196468 140730236294784 140245342288656 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18218] ppid=18160 vsize=11342184 memory=2372980 CPUtime=1.65 cores=1,3,5,7
/proc/18163/task/18218/stat : 18218 (java) S 18160 18163 12222 0 -1 1077944384 3235 13013 0 0 112 46 5 2 20 0 17 0 107181304 11614396416 593784 33554432000 4194304 4196468 140730236294784 140245197007760 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18219] ppid=18160 vsize=11342184 memory=2122604 CPUtime=1.64 cores=1,3,5,7
/proc/18163/task/18219/stat : 18219 (java) S 18160 18163 12222 0 -1 1077944384 2310 13013 0 0 112 45 5 2 20 0 17 0 107181304 11614396416 593784 33554432000 4194304 4196468 140730236294784 140245195955216 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18220] ppid=18160 vsize=11342184 memory=1941776 CPUtime=1.63 cores=1,3,5,7
/proc/18163/task/18220/stat : 18220 (java) S 18160 18163 12222 0 -1 1077944384 1964 13013 0 0 111 45 5 2 20 0 17 0 107181304 11614396416 593784 33554432000 4194304 4196468 140730236294784 140245194902672 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18221] ppid=18160 vsize=11342184 memory=2356136 CPUtime=0.16 cores=1,3,5,7
/proc/18163/task/18221/stat : 18221 (java) S 18160 18163 12222 0 -1 1077944384 4375 13013 0 0 8 1 5 2 20 0 17 0 107181305 11614396416 593784 33554432000 4194304 4196468 140730236294784 140244764002288 140245338057346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18222] ppid=18160 vsize=11342184 memory=2356136 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18222/stat : 18222 (java) S 18160 18163 12222 0 -1 1077944384 27 13013 0 0 0 0 5 2 20 0 17 0 107181306 11614396416 593784 33554432000 4194304 4196468 140730236294784 140244171088864 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18223] ppid=18160 vsize=11342184 memory=1820556 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18223/stat : 18223 (java) S 18160 18163 12222 0 -1 1077944384 12 13013 0 0 0 0 5 2 20 0 17 0 107181306 11614396416 593784 33554432000 4194304 4196468 140730236294784 140243969762304 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18224] ppid=18160 vsize=11342184 memory=2372984 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18224/stat : 18224 (java) S 18160 18163 12222 0 -1 1077944384 91 13013 0 0 0 0 5 2 20 0 17 0 107181309 11614396416 593784 33554432000 4194304 4196468 140730236294784 140243662362832 140245338064795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18225] ppid=18160 vsize=11342184 memory=279655253352384 CPUtime=6.25 cores=1,3,5,7
/proc/18163/task/18225/stat : 18225 (java) S 18160 18163 12222 0 -1 1077944384 26455 13013 0 0 614 4 5 2 20 0 17 0 107181309 11614396416 593784 33554432000 4194304 4196468 140730236294784 140244762950128 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18226] ppid=18160 vsize=11342184 memory=4012 CPUtime=6.56 cores=1,3,5,7
/proc/18163/task/18226/stat : 18226 (java) S 18160 18163 12222 0 -1 1077944384 26605 13013 0 0 645 4 5 2 20 0 17 0 107181309 11614396416 593784 33554432000 4194304 4196468 140730236294784 140244761897584 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18227] ppid=18160 vsize=11342184 memory=2356136 CPUtime=2.6 cores=1,3,5,7
/proc/18163/task/18227/stat : 18227 (java) S 18160 18163 12222 0 -1 1077944384 18342 13013 0 0 248 5 5 2 20 0 17 0 107181309 11614396416 593784 33554432000 4194304 4196468 140730236294784 140244760845040 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18228] ppid=18160 vsize=11342184 memory=279655253951984 CPUtime=0.07 cores=1,3,5,7
/proc/18163/task/18228/stat : 18228 (java) S 18160 18163 12222 0 -1 1077944384 3 13013 0 0 0 0 5 2 20 0 17 0 107181309 11614396416 593784 33554432000 4194304 4196468 140730236294784 140243231566944 140245338056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
[pid=18163/tid=18229] ppid=18160 vsize=11342184 memory=6655300316396806240 CPUtime=0.17 cores=1,3,5,7
/proc/18163/task/18229/stat : 18229 (java) S 18160 18163 12222 0 -1 1077944384 380 13013 0 0 4 6 5 2 20 0 17 0 107181309 11614396416 593784 33554432000 4194304 4196468 140730236294784 140244759791920 140245338057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7950336 140730236299880 140730236302689 140730236302689 140730236305359 0
Current children cumulated CPU time: 252.11 s
Current children cumulated vsize: 11342184 KiB
Current children cumulated memory: 2375136 KiB
Child status: 143
Real time (s): 232.143
CPU time (s): 252.158
CPU user time (s): 249.842
CPU system time (s): 2.31552
CPU usage (%): 108.622
Max. virtual memory (cumulated for all children) (KiB): 11342184
Max. memory (cumulated for all children) (KiB): 2375136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.842
system time used= 2.31551
maximum resident set size= 2375500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161628
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15531
involuntary context switches= 343
# summary of solver processes directly reported to runsolver:
# pid: 18163
# total CPU time (s): 252.158
# total CPU user time (s): 249.842
# total CPU system time (s): 2.31552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.73593 second user time and 1.83976 second system time
The end