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 (9432 MiB free)
memory of node 1: 16384 MiB (6944 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302944-1532896732/watcher-4302944-1532896732 -o /tmp/evaluation-result-4302944-1532896732/solver-4302944-1532896732 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532895438-9921 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1199419824 -superng HOME/instance-4302944-1532896732.xml
running on 4 cores: 0,2,4,6
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=11850, runsolver pid=11847
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 1.87 1.87 1.72 3/206 11907
/proc/meminfo: memFree=16762540/32770624 swapFree=67108860/67108860
[pid=11850] ppid=11847 vsize=10088124 memory=17608 CPUtime=0.08 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11850 8396 0 -1 1077944320 4533 12918 0 0 1 0 5 2 20 0 7 0 107236508 10330238976 4402 33554432000 4194304 4196468 140731379460064 140731379442608 139707708980983 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
/proc/11850/statm: 2522031 4402 1994 1 0 2510469 0
[pid=11850/tid=11903] ppid=11847 vsize=10088124 memory=4279135704047059854 CPUtime=0.08 cores=0,2,4,6
/proc/11850/task/11903/stat : 11903 (java) R 11847 11850 8396 0 -1 4202560 2401 12918 0 0 1 0 5 2 20 0 7 0 107236517 10330238976 4468 33554432000 4194304 4196468 140731379460064 139707680824080 139707693061500 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11904] ppid=11847 vsize=10088124 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11904/stat : 11904 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 7 0 107236518 10330238976 4468 33554432000 4194304 4196468 140731379460064 139707713223568 139707708991189 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11905] ppid=11847 vsize=10088124 memory=140112579491456 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11905/stat : 11905 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 7 0 107236518 10330238976 4468 33554432000 4194304 4196468 140731379460064 139707578559248 139707708991189 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11906] ppid=11847 vsize=10088124 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11906/stat : 11906 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 7 0 107236518 10330238976 4468 33554432000 4194304 4196468 140731379460064 139707577506960 139707708991189 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11907] ppid=11847 vsize=10088124 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11907/stat : 11907 (java) S 11847 11850 8396 0 -1 1077944384 2 12918 0 0 0 0 5 2 20 0 7 0 107236518 10330238976 4468 33554432000 4194304 4196468 140731379460064 139707576454160 139707708991189 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11908] ppid=11847 vsize=10088124 memory=140112579491456 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11908/stat : 11908 (java) S 11847 11850 8396 0 -1 1077944384 2 12918 0 0 0 0 5 2 20 0 7 0 107236519 10330238976 4468 33554432000 4194304 4196468 140731379460064 139707134277744 139707708992130 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10088124 KiB
Current children cumulated memory: 17608 KiB
[startup+0.209974 s]*
/proc/loadavg: 1.87 1.87 1.72 3/215 11916
/proc/meminfo: memFree=16740868/32770624 swapFree=67108860/67108860
[pid=11850] ppid=11847 vsize=10982776 memory=48268 CPUtime=0.26 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11850 8396 0 -1 1077944320 9411 12918 0 0 17 2 5 2 20 0 15 0 107236508 11246362624 12014 33554432000 4194304 4196468 140731379460064 140731379442608 139707708980983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
/proc/11850/statm: 2745686 12067 2955 1 0 2708109 0
[pid=11850/tid=11903] ppid=11847 vsize=10982776 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/11850/task/11903/stat : 11903 (java) R 11847 11850 8396 0 -1 4202560 5984 12918 0 0 11 1 5 2 20 0 15 0 107236517 11246362624 12067 33554432000 4194304 4196468 140731379460064 139707680805792 139707701660701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11904] ppid=11847 vsize=10982776 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11904/stat : 11904 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246362624 12067 33554432000 4194304 4196468 140731379460064 139707713223568 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11905] ppid=11847 vsize=10982776 memory=140112579491456 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11905/stat : 11905 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246362624 12067 33554432000 4194304 4196468 140731379460064 139707578559248 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11906] ppid=11847 vsize=10982776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11906/stat : 11906 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246362624 12067 33554432000 4194304 4196468 140731379460064 139707577506960 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11907] ppid=11847 vsize=10982776 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11907/stat : 11907 (java) S 11847 11850 8396 0 -1 1077944384 2 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246362624 12067 33554432000 4194304 4196468 140731379460064 139707576454160 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11908] ppid=11847 vsize=10982776 memory=140112579491456 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11908/stat : 11908 (java) S 11847 11850 8396 0 -1 1077944384 2 12918 0 0 0 0 5 2 20 0 15 0 107236519 11246362624 12067 33554432000 4194304 4196468 140731379460064 139707134277744 139707708992130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11909] ppid=11847 vsize=10982776 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11909/stat : 11909 (java) S 11847 11850 8396 0 -1 1077944384 13 12918 0 0 0 0 5 2 20 0 15 0 107236519 11246362624 12067 33554432000 4194304 4196468 140731379460064 139706561979168 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11910] ppid=11847 vsize=10982776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11910/stat : 11910 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236520 11246362624 12067 33554432000 4194304 4196468 140731379460064 139706360652912 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11911] ppid=11847 vsize=10982776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11911/stat : 11911 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236522 11246362624 12067 33554432000 4194304 4196468 140731379460064 139706053253200 139707708999579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11912] ppid=11847 vsize=10982776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11850/task/11912/stat : 11912 (java) S 11847 11850 8396 0 -1 1077944384 413 12918 0 0 1 0 5 2 20 0 15 0 107236522 11246362624 12067 33554432000 4194304 4196468 140731379460064 139707133225584 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11913] ppid=11847 vsize=10982776 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11850/task/11913/stat : 11913 (java) S 11847 11850 8396 0 -1 1077944384 188 12918 0 0 1 0 5 2 20 0 15 0 107236522 11246362624 12067 33554432000 4194304 4196468 140731379460064 139707132172784 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11914] ppid=11847 vsize=10982776 memory=140112579491456 CPUtime=0.1 cores=0,2,4,6
/proc/11850/task/11914/stat : 11914 (java) S 11847 11850 8396 0 -1 1077944384 622 12918 0 0 3 0 5 2 20 0 15 0 107236522 11246362624 12067 33554432000 4194304 4196468 140731379460064 139707131120496 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11915] ppid=11847 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11915/stat : 11915 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236523 11246329856 12067 33554432000 4194304 4196468 140731379460064 139705622457312 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11916] ppid=11847 vsize=10982744 memory=140112579491456 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11916/stat : 11916 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236523 11246329856 12067 33554432000 4194304 4196468 140731379460064 139707130067376 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982776 KiB
Current children cumulated memory: 48268 KiB
[startup+0.310481 s]*
/proc/loadavg: 1.87 1.87 1.72 3/215 11916
/proc/meminfo: memFree=16727224/32770624 swapFree=67108860/67108860
[pid=11850] ppid=11847 vsize=10983192 memory=56144 CPUtime=0.38 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11850 8396 0 -1 1077944320 10628 12918 0 0 29 2 5 2 20 0 15 0 107236508 11246788608 14036 33554432000 4194304 4196468 140731379460064 140731379442608 139707708980983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
/proc/11850/statm: 2745798 14036 3074 1 0 2708109 0
[pid=11850/tid=11903] ppid=11847 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/11850/task/11903/stat : 11903 (java) R 11847 11850 8396 0 -1 4202560 7176 12918 0 0 20 1 5 2 20 0 15 0 107236517 11246788608 14036 33554432000 4194304 4196468 140731379460064 139707680792992 139707690544530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11904] ppid=11847 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11904/stat : 11904 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246788608 14036 33554432000 4194304 4196468 140731379460064 139707713223568 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11905] ppid=11847 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11905/stat : 11905 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246788608 14036 33554432000 4194304 4196468 140731379460064 139707578559248 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11906] ppid=11847 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11906/stat : 11906 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246788608 14036 33554432000 4194304 4196468 140731379460064 139707577506960 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11907] ppid=11847 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11907/stat : 11907 (java) S 11847 11850 8396 0 -1 1077944384 2 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246788608 14036 33554432000 4194304 4196468 140731379460064 139707576454160 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11908] ppid=11847 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11908/stat : 11908 (java) S 11847 11850 8396 0 -1 1077944384 2 12918 0 0 0 0 5 2 20 0 15 0 107236519 11246788608 14036 33554432000 4194304 4196468 140731379460064 139707134277744 139707708992130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11909] ppid=11847 vsize=10983192 memory=140112579491455 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11909/stat : 11909 (java) S 11847 11850 8396 0 -1 1077944384 13 12918 0 0 0 0 5 2 20 0 15 0 107236519 11246788608 14036 33554432000 4194304 4196468 140731379460064 139706561979168 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11910] ppid=11847 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11910/stat : 11910 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236520 11246788608 14036 33554432000 4194304 4196468 140731379460064 139706360652912 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11911] ppid=11847 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11911/stat : 11911 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236522 11246788608 14036 33554432000 4194304 4196468 140731379460064 139706053253200 139707708999579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11912] ppid=11847 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11850/task/11912/stat : 11912 (java) S 11847 11850 8396 0 -1 1077944384 413 12918 0 0 1 0 5 2 20 0 15 0 107236522 11246788608 14036 33554432000 4194304 4196468 140731379460064 139707133225584 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11913] ppid=11847 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11850/task/11913/stat : 11913 (java) S 11847 11850 8396 0 -1 1077944384 189 12918 0 0 1 0 5 2 20 0 15 0 107236522 11246788608 14036 33554432000 4194304 4196468 140731379460064 139707132172784 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11914] ppid=11847 vsize=10983192 memory=140112579491456 CPUtime=0.12 cores=0,2,4,6
/proc/11850/task/11914/stat : 11914 (java) S 11847 11850 8396 0 -1 1077944384 630 12918 0 0 5 0 5 2 20 0 15 0 107236522 11246788608 14036 33554432000 4194304 4196468 140731379460064 139707131120496 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11915] ppid=11847 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11915/stat : 11915 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236523 11246788608 14036 33554432000 4194304 4196468 140731379460064 139705622457312 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11916] ppid=11847 vsize=10983192 memory=140112579491456 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11916/stat : 11916 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236523 11246788608 14036 33554432000 4194304 4196468 140731379460064 139707130067376 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56144 KiB
[startup+0.700834 s]
/proc/loadavg: 1.87 1.87 1.72 3/215 11916
/proc/meminfo: memFree=16718416/32770624 swapFree=67108860/67108860
[pid=11850] ppid=11847 vsize=10983192 memory=88500 CPUtime=0.99 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11850 8396 0 -1 1077944320 16754 12918 0 0 89 3 5 2 20 0 15 0 107236508 11246788608 22125 33554432000 4194304 4196468 140731379460064 140731379442608 139707708980983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
/proc/11850/statm: 2745798 22125 3238 1 0 2708109 0
[pid=11850/tid=11903] ppid=11847 vsize=10983192 memory=4012 CPUtime=0.66 cores=0,2,4,6
/proc/11850/task/11903/stat : 11903 (java) R 11847 11850 8396 0 -1 4202560 12219 12918 0 0 57 2 5 2 20 0 15 0 107236517 11246788608 22125 33554432000 4194304 4196468 140731379460064 139707680801808 139707689256872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11904] ppid=11847 vsize=10983192 memory=17420 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11904/stat : 11904 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246788608 22125 33554432000 4194304 4196468 140731379460064 139707713223568 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11905] ppid=11847 vsize=10983192 memory=18484 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11905/stat : 11905 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246788608 22125 33554432000 4194304 4196468 140731379460064 139707578559248 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11906] ppid=11847 vsize=10983192 memory=644 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11906/stat : 11906 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246788608 22125 33554432000 4194304 4196468 140731379460064 139707577506960 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11907] ppid=11847 vsize=10983192 memory=1788 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11907/stat : 11907 (java) S 11847 11850 8396 0 -1 1077944384 2 12918 0 0 0 0 5 2 20 0 15 0 107236518 11246788608 22125 33554432000 4194304 4196468 140731379460064 139707576454160 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11908] ppid=11847 vsize=10983192 memory=6297265176845309024 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11908/stat : 11908 (java) S 11847 11850 8396 0 -1 1077944384 5 12918 0 0 0 0 5 2 20 0 15 0 107236519 11246788608 22125 33554432000 4194304 4196468 140731379460064 139707134277744 139707708992130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11909] ppid=11847 vsize=10983192 memory=7013340919329221740 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11909/stat : 11909 (java) S 11847 11850 8396 0 -1 1077944384 13 12918 0 0 0 0 5 2 20 0 15 0 107236519 11246788608 22125 33554432000 4194304 4196468 140731379460064 139706561979168 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11910] ppid=11847 vsize=10983192 memory=7523071198212214892 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11910/stat : 11910 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236520 11246788608 22125 33554432000 4194304 4196468 140731379460064 139706360652912 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11911] ppid=11847 vsize=10983192 memory=-5874771483550381248 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11911/stat : 11911 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236522 11246788608 22125 33554432000 4194304 4196468 140731379460064 139706053253200 139707708999579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11912] ppid=11847 vsize=10983192 memory=-7533522213388100735 CPUtime=0.13 cores=0,2,4,6
/proc/11850/task/11912/stat : 11912 (java) S 11847 11850 8396 0 -1 1077944384 833 12918 0 0 6 0 5 2 20 0 15 0 107236522 11246788608 22125 33554432000 4194304 4196468 140731379460064 139707133225584 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11913] ppid=11847 vsize=10983192 memory=7679937539659563834 CPUtime=0.17 cores=0,2,4,6
/proc/11850/task/11913/stat : 11913 (java) S 11847 11850 8396 0 -1 1077944384 782 12918 0 0 10 0 5 2 20 0 15 0 107236522 11246788608 22125 33554432000 4194304 4196468 140731379460064 139707132172784 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11914] ppid=11847 vsize=10983192 memory=7682744562830902035 CPUtime=0.2 cores=0,2,4,6
/proc/11850/task/11914/stat : 11914 (java) S 11847 11850 8396 0 -1 1077944384 697 12918 0 0 13 0 5 2 20 0 15 0 107236522 11246788608 22125 33554432000 4194304 4196468 140731379460064 139707131120496 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11915] ppid=11847 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11915/stat : 11915 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236523 11246788608 22125 33554432000 4194304 4196468 140731379460064 139705622457312 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11916] ppid=11847 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11916/stat : 11916 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236523 11246788608 22125 33554432000 4194304 4196468 140731379460064 139707130067376 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88500 KiB
[startup+1.50231 s]
/proc/loadavg: 1.87 1.87 1.72 5/215 11916
/proc/meminfo: memFree=16672084/32770624 swapFree=67108860/67108860
[pid=11850] ppid=11847 vsize=10991872 memory=479576 CPUtime=3.06 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11850 8396 0 -1 1077944320 23534 12918 0 0 255 44 5 2 20 0 15 0 107236508 11255676928 119894 33554432000 4194304 4196468 140731379460064 140731379442608 139707708980983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
/proc/11850/statm: 2747968 119894 3456 1 0 2709645 0
[pid=11850/tid=11903] ppid=11847 vsize=10991872 memory=315184 CPUtime=1.31 cores=0,2,4,6
/proc/11850/task/11903/stat : 11903 (java) S 11847 11850 8396 0 -1 1077944384 14601 12918 0 0 117 7 5 2 20 0 15 0 107236517 11255676928 119894 33554432000 4194304 4196468 140731379460064 139707680816672 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11904] ppid=11847 vsize=10991872 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/11850/task/11904/stat : 11904 (java) S 11847 11850 8396 0 -1 1077944384 492 12918 0 0 5 8 5 2 20 0 15 0 107236518 11255676928 119894 33554432000 4194304 4196468 140731379460064 139707713223568 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11905] ppid=11847 vsize=10991872 memory=667680 CPUtime=0.21 cores=0,2,4,6
/proc/11850/task/11905/stat : 11905 (java) R 11847 11850 8396 0 -1 1077944384 441 12918 0 0 6 8 5 2 20 0 15 0 107236518 11255676928 119894 33554432000 4194304 4196468 140731379460064 139707578559248 139707708991189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11906] ppid=11847 vsize=10991872 memory=33 CPUtime=0.21 cores=0,2,4,6
/proc/11850/task/11906/stat : 11906 (java) S 11847 11850 8396 0 -1 1077944384 261 12918 0 0 6 8 5 2 20 0 15 0 107236518 11255676928 119894 33554432000 4194304 4196468 140731379460064 139707577506960 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11907] ppid=11847 vsize=10991872 memory=6944656592387989600 CPUtime=0.2 cores=0,2,4,6
/proc/11850/task/11907/stat : 11907 (java) S 11847 11850 8396 0 -1 1077944384 758 12918 0 0 5 8 5 2 20 0 15 0 107236518 11255676928 119894 33554432000 4194304 4196468 140731379460064 139707576454160 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11908] ppid=11847 vsize=10991872 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11908/stat : 11908 (java) R 11847 11850 8396 0 -1 4202560 106 12918 0 0 0 0 5 2 20 0 15 0 107236519 11255676928 119894 33554432000 4194304 4196468 140731379460064 139707134276064 139707689175679 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11909] ppid=11847 vsize=10991872 memory=280224873142560 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11909/stat : 11909 (java) S 11847 11850 8396 0 -1 1077944384 14 12918 0 0 0 0 5 2 20 0 15 0 107236519 11255676928 119894 33554432000 4194304 4196468 140731379460064 139706561979168 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11910] ppid=11847 vsize=10991872 memory=30916 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11910/stat : 11910 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236520 11255676928 119894 33554432000 4194304 4196468 140731379460064 139706360652912 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11911] ppid=11847 vsize=10991872 memory=33124 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11911/stat : 11911 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236522 11255676928 119894 33554432000 4194304 4196468 140731379460064 139706053253200 139707708999579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11912] ppid=11847 vsize=10991872 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/11850/task/11912/stat : 11912 (java) S 11847 11850 8396 0 -1 1077944384 2362 12918 0 0 44 0 5 2 20 0 15 0 107236522 11255676928 119894 33554432000 4194304 4196468 140731379460064 139707133225584 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11913] ppid=11847 vsize=10991872 memory=191256907015331 CPUtime=0.46 cores=0,2,4,6
/proc/11850/task/11913/stat : 11913 (java) S 11847 11850 8396 0 -1 1077944384 1189 12918 0 0 39 0 5 2 20 0 15 0 107236522 11255676928 119894 33554432000 4194304 4196468 140731379460064 139707132172784 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11914] ppid=11847 vsize=10991872 memory=635203 CPUtime=0.36 cores=0,2,4,6
/proc/11850/task/11914/stat : 11914 (java) S 11847 11850 8396 0 -1 1077944384 1111 12918 0 0 29 0 5 2 20 0 15 0 107236522 11255676928 119894 33554432000 4194304 4196468 140731379460064 139707131120496 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11915] ppid=11847 vsize=10991872 memory=4638778398332768848 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11915/stat : 11915 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236523 11255676928 119894 33554432000 4194304 4196468 140731379460064 139705622457312 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11916] ppid=11847 vsize=10991872 memory=6935649255759568960 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11916/stat : 11916 (java) S 11847 11850 8396 0 -1 1077944384 1 12918 0 0 0 0 5 2 20 0 15 0 107236523 11255676928 119894 33554432000 4194304 4196468 140731379460064 139707130067376 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
################
# More data... #
################
/proc/11850/statm: 2770520 1264590 3537 1 0 2732173 0
[pid=11850/tid=11903] ppid=11847 vsize=11082080 memory=6791534058613427641 CPUtime=103.65 cores=0,2,4,6
/proc/11850/task/11903/stat : 11903 (java) S 11847 11850 8396 0 -1 1077944384 67827 12918 0 0 10327 31 5 2 20 0 15 0 107236517 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707680811696 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11904] ppid=11847 vsize=11082080 memory=4126316290023845779 CPUtime=30.73 cores=0,2,4,6
/proc/11850/task/11904/stat : 11904 (java) R 11847 11850 8396 0 -1 4202560 74220 12918 0 0 2957 109 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707713223568 139707701609191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11905] ppid=11847 vsize=11082080 memory=840 CPUtime=30.87 cores=0,2,4,6
/proc/11850/task/11905/stat : 11905 (java) R 11847 11850 8396 0 -1 4202560 70019 12918 0 0 2966 114 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707578559248 139707701609191 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11906] ppid=11847 vsize=11082080 memory=1796 CPUtime=30.84 cores=0,2,4,6
/proc/11850/task/11906/stat : 11906 (java) R 11847 11850 8396 0 -1 4202560 68461 12918 0 0 2961 116 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707577507160 139707694021942 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11907] ppid=11847 vsize=11082080 memory=912 CPUtime=30.85 cores=0,2,4,6
/proc/11850/task/11907/stat : 11907 (java) R 11847 11850 8396 0 -1 4202560 63978 12918 0 0 2961 117 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707576454160 139707701609191 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11908] ppid=11847 vsize=11082080 memory=3848 CPUtime=3.14 cores=0,2,4,6
/proc/11850/task/11908/stat : 11908 (java) S 11847 11850 8396 0 -1 1077944384 25047 12918 0 0 302 5 5 2 20 0 15 0 107236519 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707134276256 139707708991189 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11909] ppid=11847 vsize=11082080 memory=4104 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11909/stat : 11909 (java) S 11847 11850 8396 0 -1 1077944384 42 12918 0 0 0 0 5 2 20 0 15 0 107236519 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706561979296 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11910] ppid=11847 vsize=11082080 memory=2704 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11910/stat : 11910 (java) S 11847 11850 8396 0 -1 1077944384 32 12918 0 0 0 0 5 2 20 0 15 0 107236520 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706360652928 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11911] ppid=11847 vsize=11082080 memory=2592 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11911/stat : 11911 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706053253200 139707708999579 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11912] ppid=11847 vsize=11082080 memory=1408 CPUtime=9.15 cores=0,2,4,6
/proc/11850/task/11912/stat : 11912 (java) S 11847 11850 8396 0 -1 1077944384 21081 12918 0 0 903 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707133225584 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11913] ppid=11847 vsize=11082080 memory=2972 CPUtime=10.41 cores=0,2,4,6
/proc/11850/task/11913/stat : 11913 (java) S 11847 11850 8396 0 -1 1077944384 29711 12918 0 0 1029 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707132172784 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11914] ppid=11847 vsize=11082080 memory=0 CPUtime=3 cores=0,2,4,6
/proc/11850/task/11914/stat : 11914 (java) S 11847 11850 8396 0 -1 1077944384 19794 12918 0 0 288 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707131120496 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11915] ppid=11847 vsize=11082080 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11915/stat : 11915 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236523 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139705622457312 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11916] ppid=11847 vsize=11082080 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/11850/task/11916/stat : 11916 (java) S 11847 11850 8396 0 -1 1077944384 728 12918 0 0 3 5 5 2 20 0 15 0 107236523 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707130067376 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
Current children cumulated CPU time: 252.25 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 5058360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+140.081 s]
# the end of solver process 11850 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.121 s, system=5.22326 s
Solver just ended.
Dumping a history of the last processes samples
[startup+139.201 s]
/proc/loadavg: 3.20 2.20 1.86 6/216 11926
/proc/meminfo: memFree=10195968/32770624 swapFree=67108860/67108860
[pid=11850] ppid=11847 vsize=11082080 memory=5058360 CPUtime=256.99 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11850 8396 0 -1 1077944320 443236 12918 0 0 25179 513 5 2 20 0 15 0 107236508 11348049920 1264590 33554432000 4194304 4196468 140731379460064 140731379442608 139707708980983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
/proc/11850/statm: 2770520 1264590 3537 1 0 2732173 0
[pid=11850/tid=11903] ppid=11847 vsize=11082080 memory=5037280 CPUtime=103.65 cores=0,2,4,6
/proc/11850/task/11903/stat : 11903 (java) S 11847 11850 8396 0 -1 1077944384 67827 12918 0 0 10327 31 5 2 20 0 15 0 107236517 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707680811696 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11904] ppid=11847 vsize=11082080 memory=4140 CPUtime=31.91 cores=0,2,4,6
/proc/11850/task/11904/stat : 11904 (java) R 11847 11850 8396 0 -1 4202560 74247 12918 0 0 3075 109 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707713223688 139707694025152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11905] ppid=11847 vsize=11082080 memory=30436 CPUtime=32.06 cores=0,2,4,6
/proc/11850/task/11905/stat : 11905 (java) R 11847 11850 8396 0 -1 4202560 70044 12918 0 0 3085 114 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707578559368 139707694025083 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11906] ppid=11847 vsize=11082080 memory=6791534058613427641 CPUtime=32.01 cores=0,2,4,6
/proc/11850/task/11906/stat : 11906 (java) R 11847 11850 8396 0 -1 4202560 68478 12918 0 0 3078 116 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707577507080 139707694007792 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11907] ppid=11847 vsize=11082080 memory=4616 CPUtime=32.04 cores=0,2,4,6
/proc/11850/task/11907/stat : 11907 (java) R 11847 11850 8396 0 -1 4202560 64002 12918 0 0 3080 117 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707576454280 139707694025080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11908] ppid=11847 vsize=11082080 memory=12032 CPUtime=3.14 cores=0,2,4,6
/proc/11850/task/11908/stat : 11908 (java) S 11847 11850 8396 0 -1 1077944384 25047 12918 0 0 302 5 5 2 20 0 15 0 107236519 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707134276256 139707708991189 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11909] ppid=11847 vsize=11082080 memory=1008 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11909/stat : 11909 (java) S 11847 11850 8396 0 -1 1077944384 42 12918 0 0 0 0 5 2 20 0 15 0 107236519 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706561979296 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11910] ppid=11847 vsize=11082080 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11910/stat : 11910 (java) S 11847 11850 8396 0 -1 1077944384 32 12918 0 0 0 0 5 2 20 0 15 0 107236520 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706360652928 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11911] ppid=11847 vsize=11082080 memory=5058360 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11911/stat : 11911 (java) S 11847 11850 8396 0 -1 1077944384 6 12918 0 0 0 0 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706053252848 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11912] ppid=11847 vsize=11082080 memory=6791534058613427641 CPUtime=9.15 cores=0,2,4,6
/proc/11850/task/11912/stat : 11912 (java) S 11847 11850 8396 0 -1 1077944384 21081 12918 0 0 903 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707133225584 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11913] ppid=11847 vsize=11082080 memory=30436 CPUtime=10.41 cores=0,2,4,6
/proc/11850/task/11913/stat : 11913 (java) S 11847 11850 8396 0 -1 1077944384 29711 12918 0 0 1029 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707132172784 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11914] ppid=11847 vsize=11082080 memory=1296 CPUtime=3 cores=0,2,4,6
/proc/11850/task/11914/stat : 11914 (java) S 11847 11850 8396 0 -1 1077944384 19794 12918 0 0 288 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707131120496 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11915] ppid=11847 vsize=11082080 memory=2412 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11915/stat : 11915 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236523 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139705622457312 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11916] ppid=11847 vsize=11082080 memory=1724 CPUtime=0.15 cores=0,2,4,6
/proc/11850/task/11916/stat : 11916 (java) S 11847 11850 8396 0 -1 1077944384 728 12918 0 0 3 5 5 2 20 0 15 0 107236523 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707130067376 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
Current children cumulated CPU time: 256.99 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 5058360 KiB
[startup+139.602 s]
/proc/loadavg: 3.20 2.20 1.86 6/216 11926
/proc/meminfo: memFree=10195968/32770624 swapFree=67108860/67108860
[pid=11850] ppid=11847 vsize=11082080 memory=5058360 CPUtime=258.59 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11850 8396 0 -1 1077944320 443268 12918 0 0 25339 513 5 2 20 0 15 0 107236508 11348049920 1264590 33554432000 4194304 4196468 140731379460064 140731379442608 139707708980983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
/proc/11850/statm: 2770520 1264590 3537 1 0 2732173 0
[pid=11850/tid=11903] ppid=11847 vsize=11082080 memory=8584 CPUtime=103.65 cores=0,2,4,6
/proc/11850/task/11903/stat : 11903 (java) S 11847 11850 8396 0 -1 1077944384 67827 12918 0 0 10327 31 5 2 20 0 15 0 107236517 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707680811696 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11904] ppid=11847 vsize=11082080 memory=15872 CPUtime=32.32 cores=0,2,4,6
/proc/11850/task/11904/stat : 11904 (java) R 11847 11850 8396 0 -1 4202560 74253 12918 0 0 3116 109 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707713223688 139707694005685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11905] ppid=11847 vsize=11082080 memory=4012 CPUtime=32.46 cores=0,2,4,6
/proc/11850/task/11905/stat : 11905 (java) R 11847 11850 8396 0 -1 4202560 70051 12918 0 0 3125 114 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707578559368 139707694025154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11906] ppid=11847 vsize=11082080 memory=17432 CPUtime=32.41 cores=0,2,4,6
/proc/11850/task/11906/stat : 11906 (java) R 11847 11850 8396 0 -1 4202560 68487 12918 0 0 3118 116 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707577507080 139707694008402 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11907] ppid=11847 vsize=11082080 memory=18484 CPUtime=32.44 cores=0,2,4,6
/proc/11850/task/11907/stat : 11907 (java) R 11847 11850 8396 0 -1 4202560 64012 12918 0 0 3120 117 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707576454280 139707694025457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11908] ppid=11847 vsize=11082080 memory=644 CPUtime=3.14 cores=0,2,4,6
/proc/11850/task/11908/stat : 11908 (java) S 11847 11850 8396 0 -1 1077944384 25047 12918 0 0 302 5 5 2 20 0 15 0 107236519 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707134276256 139707708991189 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11909] ppid=11847 vsize=11082080 memory=1788 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11909/stat : 11909 (java) S 11847 11850 8396 0 -1 1077944384 42 12918 0 0 0 0 5 2 20 0 15 0 107236519 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706561979296 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11910] ppid=11847 vsize=11082080 memory=952 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11910/stat : 11910 (java) S 11847 11850 8396 0 -1 1077944384 32 12918 0 0 0 0 5 2 20 0 15 0 107236520 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706360652928 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11911] ppid=11847 vsize=11082080 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11911/stat : 11911 (java) S 11847 11850 8396 0 -1 1077944384 6 12918 0 0 0 0 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706053252848 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11912] ppid=11847 vsize=11082080 memory=4659576 CPUtime=9.15 cores=0,2,4,6
/proc/11850/task/11912/stat : 11912 (java) S 11847 11850 8396 0 -1 1077944384 21081 12918 0 0 903 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707133225584 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11913] ppid=11847 vsize=11082080 memory=1404 CPUtime=10.41 cores=0,2,4,6
/proc/11850/task/11913/stat : 11913 (java) S 11847 11850 8396 0 -1 1077944384 29711 12918 0 0 1029 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707132172784 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11914] ppid=11847 vsize=11082080 memory=2888 CPUtime=3 cores=0,2,4,6
/proc/11850/task/11914/stat : 11914 (java) S 11847 11850 8396 0 -1 1077944384 19794 12918 0 0 288 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707131120496 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11915] ppid=11847 vsize=11082080 memory=5058360 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11915/stat : 11915 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236523 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139705622457312 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11916] ppid=11847 vsize=11082080 memory=6791534058613427641 CPUtime=0.15 cores=0,2,4,6
/proc/11850/task/11916/stat : 11916 (java) S 11847 11850 8396 0 -1 1077944384 728 12918 0 0 3 5 5 2 20 0 15 0 107236523 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707130067376 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
Current children cumulated CPU time: 258.59 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 5058360 KiB
[startup+140.001 s]*
/proc/loadavg: 3.34 2.25 1.88 9/216 11926
/proc/meminfo: memFree=10130184/32770624 swapFree=67108860/67108860
[pid=11850] ppid=11847 vsize=11082080 memory=5058360 CPUtime=260.22 cores=0,2,4,6
/proc/11850/stat : 11850 (java) S 11847 11850 8396 0 -1 1077944320 443300 12918 0 0 25501 514 5 2 20 0 15 0 107236508 11348049920 1264590 33554432000 4194304 4196468 140731379460064 140731379442608 139707708980983 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
/proc/11850/statm: 2770520 1264590 3537 1 0 2732173 0
[pid=11850/tid=11903] ppid=11847 vsize=11082080 memory=6791534058613427641 CPUtime=103.65 cores=0,2,4,6
/proc/11850/task/11903/stat : 11903 (java) S 11847 11850 8396 0 -1 1077944384 67827 12918 0 0 10327 31 5 2 20 0 15 0 107236517 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707680811696 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11904] ppid=11847 vsize=11082080 memory=4126316290023845779 CPUtime=32.72 cores=0,2,4,6
/proc/11850/task/11904/stat : 11904 (java) R 11847 11850 8396 0 -1 4202560 74258 12918 0 0 3156 109 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707713223688 139707694008402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11905] ppid=11847 vsize=11082080 memory=-7827150150926572482 CPUtime=32.87 cores=0,2,4,6
/proc/11850/task/11905/stat : 11905 (java) R 11847 11850 8396 0 -1 4202560 70060 12918 0 0 3166 114 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707578559368 139707694025069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11906] ppid=11847 vsize=11082080 memory=-3831251742559211316 CPUtime=32.81 cores=0,2,4,6
/proc/11850/task/11906/stat : 11906 (java) R 11847 11850 8396 0 -1 4202560 68496 12918 0 0 3158 116 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707577507080 139707694004298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11907] ppid=11847 vsize=11082080 memory=7378639122529815073 CPUtime=32.85 cores=0,2,4,6
/proc/11850/task/11907/stat : 11907 (java) R 11847 11850 8396 0 -1 4202560 64021 12918 0 0 3161 117 5 2 20 0 15 0 107236518 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707576454280 139707694025056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11908] ppid=11847 vsize=11082080 memory=6944652177228980320 CPUtime=3.14 cores=0,2,4,6
/proc/11850/task/11908/stat : 11908 (java) S 11847 11850 8396 0 -1 1077944384 25047 12918 0 0 302 5 5 2 20 0 15 0 107236519 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707134276256 139707708991189 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11909] ppid=11847 vsize=11082080 memory=-6876588461455810464 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11909/stat : 11909 (java) S 11847 11850 8396 0 -1 1077944384 42 12918 0 0 0 0 5 2 20 0 15 0 107236519 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706561979296 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11910] ppid=11847 vsize=11082080 memory=6944656592455360569 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11910/stat : 11910 (java) S 11847 11850 8396 0 -1 1077944384 32 12918 0 0 0 0 5 2 20 0 15 0 107236520 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706360652928 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11911] ppid=11847 vsize=11082080 memory=-6800859132029471843 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11911/stat : 11911 (java) S 11847 11850 8396 0 -1 1077944384 6 12918 0 0 0 0 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139706053252848 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11912] ppid=11847 vsize=11082080 memory=6656426216303648864 CPUtime=9.15 cores=0,2,4,6
/proc/11850/task/11912/stat : 11912 (java) S 11847 11850 8396 0 -1 1077944384 21081 12918 0 0 903 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707133225584 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11913] ppid=11847 vsize=11082080 memory=6944652177228980320 CPUtime=10.41 cores=0,2,4,6
/proc/11850/task/11913/stat : 11913 (java) S 11847 11850 8396 0 -1 1077944384 29711 12918 0 0 1029 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707132172784 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11914] ppid=11847 vsize=11082080 memory=6943487855420614559 CPUtime=3 cores=0,2,4,6
/proc/11850/task/11914/stat : 11914 (java) S 11847 11850 8396 0 -1 1077944384 19794 12918 0 0 288 5 5 2 20 0 15 0 107236522 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707131120496 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11915] ppid=11847 vsize=11082080 memory=7812172228910934119 CPUtime=0.07 cores=0,2,4,6
/proc/11850/task/11915/stat : 11915 (java) S 11847 11850 8396 0 -1 1077944384 3 12918 0 0 0 0 5 2 20 0 15 0 107236523 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139705622457312 139707708991189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
[pid=11850/tid=11916] ppid=11847 vsize=11082080 memory=7812172228910934119 CPUtime=0.15 cores=0,2,4,6
/proc/11850/task/11916/stat : 11916 (java) S 11847 11850 8396 0 -1 1077944384 728 12918 0 0 3 5 5 2 20 0 15 0 107236523 11348049920 1264590 33554432000 4194304 4196468 140731379460064 139707130067376 139707708992130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38330368 140731379468904 140731379471713 140731379471713 140731379474383 0
Current children cumulated CPU time: 260.22 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 5058360 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 140.081
CPU time (s): 260.344
CPU user time (s): 255.121
CPU system time (s): 5.22326
CPU usage (%): 185.853
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 5257384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.121
system time used= 5.22326
maximum resident set size= 5257384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 456221
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17280
involuntary context switches= 4055
# summary of solver processes directly reported to runsolver:
# pid: 11850
# total CPU time (s): 260.344
# total CPU user time (s): 255.121
# total CPU system time (s): 5.22326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.863306 second user time and 1.37804 second system time
The end