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 (6745 MiB free)
memory of node 1: 16384 MiB (14903 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263522-1502630379/watcher-4263522-1502630379 -o /tmp/evaluation-result-4263522-1502630379/solver-4263522-1502630379 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502620602-10435 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263522-1502630379.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11930, runsolver pid=11927
Current StackSize limit: 8192 KiB
[startup+0.10854 s]*
/proc/loadavg: 4.76 4.27 3.57 4/216 11945
/proc/meminfo: memFree=22149216/32770624 swapFree=67108860/67108860
[pid=11930] ppid=11927 vsize=10555400 memory=30056 CPUtime=0.14 cores=1,3,5,7
/proc/11930/stat : 11930 (java) S 11927 11930 6758 0 -1 1077944320 6655 0 0 0 12 2 0 0 20 0 15 0 96119113 10808729600 7514 33554432000 4194304 4196468 140724942589328 140724942571872 140201033924343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
/proc/11930/statm: 2638850 7514 2790 1 0 2627263 0
[pid=11930/tid=11932] ppid=11927 vsize=10555400 memory=-8773748148829982851 CPUtime=0.09 cores=1,3,5,7
/proc/11930/task/11932/stat : 11932 (java) R 11927 11930 6758 0 -1 4202560 4501 0 0 0 8 1 0 0 20 0 15 0 96119113 10808729600 7514 33554432000 4194304 4196468 140724942589328 140201038147936 140201012378864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11933] ppid=11927 vsize=10555400 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11933/stat : 11933 (java) S 11927 11930 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96119114 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200959998864 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11934] ppid=11927 vsize=10555400 memory=139986056480384 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11934/stat : 11934 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119114 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200958946064 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11935] ppid=11927 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11935/stat : 11935 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119114 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200957893776 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11936] ppid=11927 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11936/stat : 11936 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119114 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200956840976 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11937] ppid=11927 vsize=10555400 memory=139986056480384 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11937/stat : 11937 (java) S 11927 11930 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96119115 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200203204720 140201033935490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11938] ppid=11927 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11938/stat : 11938 (java) S 11927 11930 6758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96119116 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200202150688 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11939] ppid=11927 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11939/stat : 11939 (java) S 11927 11930 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96119116 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200201098352 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11940] ppid=11927 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11940/stat : 11940 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96119118 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200200046672 140201033942939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11941] ppid=11927 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11941/stat : 11941 (java) S 11927 11930 6758 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 96119118 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200198994544 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11942] ppid=11927 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11942/stat : 11942 (java) S 11927 11930 6758 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 96119118 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200197941744 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11943] ppid=11927 vsize=10555400 memory=139986056480384 CPUtime=0.02 cores=1,3,5,7
/proc/11930/task/11943/stat : 11943 (java) S 11927 11930 6758 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 96119118 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200196889456 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11944] ppid=11927 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11944/stat : 11944 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96119118 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200195836896 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11945] ppid=11927 vsize=10555400 memory=139986056480384 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11945/stat : 11945 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119119 10808729600 7514 33554432000 4194304 4196468 140724942589328 140200194783664 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30056 KiB
[startup+0.210579 s]*
/proc/loadavg: 4.76 4.27 3.57 5/216 11945
/proc/meminfo: memFree=22140284/32770624 swapFree=67108860/67108860
[pid=11930] ppid=11927 vsize=10555400 memory=39740 CPUtime=0.32 cores=1,3,5,7
/proc/11930/stat : 11930 (java) S 11927 11930 6758 0 -1 1077944320 8102 0 0 0 29 3 0 0 20 0 15 0 96119113 10808729600 9935 33554432000 4194304 4196468 140724942589328 140724942571872 140201033924343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
/proc/11930/statm: 2638850 9935 2998 1 0 2627263 0
[pid=11930/tid=11932] ppid=11927 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/11930/task/11932/stat : 11932 (java) R 11927 11930 6758 0 -1 4202560 5011 0 0 0 18 2 0 0 20 0 15 0 96119113 10808729600 9935 33554432000 4194304 4196468 140724942589328 140201038161904 140200634320078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11933] ppid=11927 vsize=10555400 memory=365 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11933/stat : 11933 (java) S 11927 11930 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96119114 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200959998864 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11934] ppid=11927 vsize=10555400 memory=139986056901061 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11934/stat : 11934 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119114 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200958946064 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11935] ppid=11927 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11935/stat : 11935 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119114 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200957893776 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11936] ppid=11927 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11936/stat : 11936 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119114 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200956840976 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11937] ppid=11927 vsize=10555400 memory=139986056480384 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11937/stat : 11937 (java) S 11927 11930 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96119115 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200203204720 140201033935490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11938] ppid=11927 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11938/stat : 11938 (java) S 11927 11930 6758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96119116 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200202150688 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11939] ppid=11927 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11939/stat : 11939 (java) S 11927 11930 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96119116 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200201098352 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11940] ppid=11927 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11940/stat : 11940 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96119118 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200200046672 140201033942939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11941] ppid=11927 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11930/task/11941/stat : 11941 (java) R 11927 11930 6758 0 -1 4202560 569 0 0 0 2 0 0 0 20 0 15 0 96119118 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200198985872 140201018712128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11942] ppid=11927 vsize=10555400 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11930/task/11942/stat : 11942 (java) R 11927 11930 6758 0 -1 4202560 303 0 0 0 2 0 0 0 20 0 15 0 96119118 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200197941744 140201019954199 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11943] ppid=11927 vsize=10555400 memory=139986056480384 CPUtime=0.06 cores=1,3,5,7
/proc/11930/task/11943/stat : 11943 (java) R 11927 11930 6758 0 -1 4202560 853 0 0 0 6 0 0 0 20 0 15 0 96119118 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200196886392 140201019620133 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11944] ppid=11927 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11944/stat : 11944 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96119118 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200195836896 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11945] ppid=11927 vsize=10555400 memory=139986056480384 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11945/stat : 11945 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119119 10808729600 9935 33554432000 4194304 4196468 140724942589328 140200194783664 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39740 KiB
[startup+0.310446 s]*
/proc/loadavg: 4.76 4.27 3.57 3/216 11945
/proc/meminfo: memFree=22127880/32770624 swapFree=67108860/67108860
[pid=11930] ppid=11927 vsize=10555476 memory=52344 CPUtime=0.63 cores=1,3,5,7
/proc/11930/stat : 11930 (java) S 11927 11930 6758 0 -1 1077944320 10309 0 0 0 59 4 0 0 20 0 15 0 96119113 10808807424 13086 33554432000 4194304 4196468 140724942589328 140724942571872 140201033924343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
/proc/11930/statm: 2638869 13086 3058 1 0 2627263 0
[pid=11930/tid=11932] ppid=11927 vsize=10555476 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/11930/task/11932/stat : 11932 (java) R 11927 11930 6758 0 -1 4202560 5624 0 0 0 27 2 0 0 20 0 15 0 96119113 10808807424 13104 33554432000 4194304 4196468 140724942589328 140201038159184 140201033946269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11933] ppid=11927 vsize=10555476 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11933/stat : 11933 (java) S 11927 11930 6758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96119114 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200959998864 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11934] ppid=11927 vsize=10555476 memory=139986056902591 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11934/stat : 11934 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119114 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200958946064 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11935] ppid=11927 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11935/stat : 11935 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119114 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200957893776 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11936] ppid=11927 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11936/stat : 11936 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119114 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200956840976 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11937] ppid=11927 vsize=10555476 memory=139986056480384 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11937/stat : 11937 (java) S 11927 11930 6758 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96119115 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200203204720 140201033935490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11938] ppid=11927 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11938/stat : 11938 (java) S 11927 11930 6758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96119116 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200202150688 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11939] ppid=11927 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11939/stat : 11939 (java) S 11927 11930 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96119116 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200201098352 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11940] ppid=11927 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11940/stat : 11940 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96119118 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200200046672 140201033942939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11941] ppid=11927 vsize=10555476 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/11930/task/11941/stat : 11941 (java) S 11927 11930 6758 0 -1 1077944384 1350 0 0 0 10 0 0 0 20 0 15 0 96119118 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200198994544 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11942] ppid=11927 vsize=10555476 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/11930/task/11942/stat : 11942 (java) S 11927 11930 6758 0 -1 1077944384 675 0 0 0 9 0 0 0 20 0 15 0 96119118 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200197941744 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11943] ppid=11927 vsize=10555476 memory=139986056480384 CPUtime=0.12 cores=1,3,5,7
/proc/11930/task/11943/stat : 11943 (java) R 11927 11930 6758 0 -1 4202560 1293 0 0 0 12 0 0 0 20 0 15 0 96119118 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200196889456 140201033945690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11944] ppid=11927 vsize=10555476 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11944/stat : 11944 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96119118 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200195836896 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11945] ppid=11927 vsize=10555476 memory=139986056480384 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11945/stat : 11945 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119119 10808807424 13104 33554432000 4194304 4196468 140724942589328 140200194783664 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 52344 KiB
[startup+0.701578 s]
/proc/loadavg: 4.76 4.27 3.57 6/216 11945
/proc/meminfo: memFree=22103424/32770624 swapFree=67108860/67108860
[pid=11930] ppid=11927 vsize=10555476 memory=187052 CPUtime=1.8 cores=1,3,5,7
/proc/11930/stat : 11930 (java) S 11927 11930 6758 0 -1 1077944320 11847 0 0 0 173 7 0 0 20 0 15 0 96119113 10808807424 46763 33554432000 4194304 4196468 140724942589328 140724942571872 140201033924343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
/proc/11930/statm: 2638869 46763 3108 1 0 2627263 0
[pid=11930/tid=11932] ppid=11927 vsize=10555476 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/11930/task/11932/stat : 11932 (java) R 11927 11930 6758 0 -1 4202560 5885 0 0 0 63 4 0 0 20 0 15 0 96119113 10808807424 46763 33554432000 4194304 4196468 140724942589328 140201038161648 140200638245173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11933] ppid=11927 vsize=10555476 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11933/stat : 11933 (java) S 11927 11930 6758 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 96119114 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200959998864 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11934] ppid=11927 vsize=10555476 memory=11040 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11934/stat : 11934 (java) S 11927 11930 6758 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 96119114 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200958946064 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11935] ppid=11927 vsize=10555476 memory=5700 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11935/stat : 11935 (java) S 11927 11930 6758 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96119114 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200957893776 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11936] ppid=11927 vsize=10555476 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11936/stat : 11936 (java) S 11927 11930 6758 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 96119114 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200956840976 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11937] ppid=11927 vsize=10555476 memory=792 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11937/stat : 11937 (java) S 11927 11930 6758 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 96119115 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200203204720 140201033935490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11938] ppid=11927 vsize=10555476 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11938/stat : 11938 (java) S 11927 11930 6758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96119116 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200202150688 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11939] ppid=11927 vsize=10555476 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11939/stat : 11939 (java) S 11927 11930 6758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96119116 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200201098352 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11940] ppid=11927 vsize=10555476 memory=7014751519700506193 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11940/stat : 11940 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96119118 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200200046672 140201033942939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11941] ppid=11927 vsize=10555476 memory=7883949533517342546 CPUtime=0.39 cores=1,3,5,7
/proc/11930/task/11941/stat : 11941 (java) R 11927 11930 6758 0 -1 4202560 1520 0 0 0 38 1 0 0 20 0 15 0 96119118 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200198982096 140201017335158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11942] ppid=11927 vsize=10555476 memory=7236547281622689387 CPUtime=0.38 cores=1,3,5,7
/proc/11930/task/11942/stat : 11942 (java) R 11927 11930 6758 0 -1 4202560 1153 0 0 0 38 0 0 0 20 0 15 0 96119118 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200197922760 140201013169056 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11943] ppid=11927 vsize=10555476 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/11930/task/11943/stat : 11943 (java) S 11927 11930 6758 0 -1 1077944384 1794 0 0 0 31 0 0 0 20 0 15 0 96119118 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200196889456 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11944] ppid=11927 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11944/stat : 11944 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96119118 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200195836896 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11945] ppid=11927 vsize=10555476 memory=33 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11945/stat : 11945 (java) S 11927 11930 6758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96119119 10808807424 46763 33554432000 4194304 4196468 140724942589328 140200194783664 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 187052 KiB
[startup+1.5008 s]
/proc/loadavg: 4.76 4.27 3.57 5/216 11945
/proc/meminfo: memFree=21959192/32770624 swapFree=67108860/67108860
[pid=11930] ppid=11927 vsize=10555476 memory=482032 CPUtime=4.17 cores=1,3,5,7
/proc/11930/stat : 11930 (java) S 11927 11930 6758 0 -1 1077944320 15784 0 0 0 388 29 0 0 20 0 15 0 96119113 10808807424 120508 33554432000 4194304 4196468 140724942589328 140724942571872 140201033924343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
/proc/11930/statm: 2638869 120508 3135 1 0 2627263 0
[pid=11930/tid=11932] ppid=11927 vsize=10555476 memory=6791534058613427641 CPUtime=1.28 cores=1,3,5,7
/proc/11930/task/11932/stat : 11932 (java) R 11927 11930 6758 0 -1 4202560 5997 0 0 0 122 6 0 0 20 0 15 0 96119113 10808807424 120508 33554432000 4194304 4196468 140724942589328 140201038158544 140201015845810 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11933] ppid=11927 vsize=10555476 memory=-8754540793456063680 CPUtime=0.18 cores=1,3,5,7
/proc/11930/task/11933/stat : 11933 (java) S 11927 11930 6758 0 -1 1077944384 171 0 0 0 13 5 0 0 20 0 15 0 96119114 10808807424 120508 33554432000 4194304 4196468 140724942589328 140200959998864 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11934] ppid=11927 vsize=10555476 memory=-2843874019102283166 CPUtime=0.18 cores=1,3,5,7
/proc/11930/task/11934/stat : 11934 (java) S 11927 11930 6758 0 -1 1077944384 159 0 0 0 13 5 0 0 20 0 15 0 96119114 10808807424 120508 33554432000 4194304 4196468 140724942589328 140200958946064 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11935] ppid=11927 vsize=10555476 memory=5450919713671312938 CPUtime=0.16 cores=1,3,5,7
/proc/11930/task/11935/stat : 11935 (java) S 11927 11930 6758 0 -1 1077944384 136 0 0 0 12 4 0 0 20 0 15 0 96119114 10808807424 120508 33554432000 4194304 4196468 140724942589328 140200957893776 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11936] ppid=11927 vsize=10555476 memory=7077795359591905642 CPUtime=0.18 cores=1,3,5,7
/proc/11930/task/11936/stat : 11936 (java) S 11927 11930 6758 0 -1 1077944384 158 0 0 0 14 4 0 0 20 0 15 0 96119114 10808807424 120508 33554432000 4194304 4196468 140724942589328 140200956840976 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11937] ppid=11927 vsize=10555476 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11937/stat : 11937 (java) S 11927 11930 6758 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 96119115 10808807424 120508 33554432000 4194304 4196468 140724942589328 140200203204720 140201033935490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
################
# More data... #
################
/proc/11930/task/11935/stat : 11935 (java) S 11927 11930 6758 0 -1 1077944384 4746 0 0 0 776 76 0 0 20 0 16 0 96119114 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200957893776 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11936] ppid=11927 vsize=10622040 memory=3614424 CPUtime=8.58 cores=1,3,5,7
/proc/11930/task/11936/stat : 11936 (java) S 11927 11930 6758 0 -1 1077944384 6997 0 0 0 785 73 0 0 20 0 16 0 96119114 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200956840976 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11937] ppid=11927 vsize=10622040 memory=3614424 CPUtime=2.45 cores=1,3,5,7
/proc/11930/task/11937/stat : 11937 (java) S 11927 11930 6758 0 -1 1077944384 9118 0 0 0 241 4 0 0 20 0 16 0 96119115 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200203204720 140201033935490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11938] ppid=11927 vsize=10622040 memory=3614424 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11938/stat : 11938 (java) S 11927 11930 6758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 96119116 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200202150752 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11939] ppid=11927 vsize=10622040 memory=3614424 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11939/stat : 11939 (java) S 11927 11930 6758 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 16 0 96119116 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200201098368 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11940] ppid=11927 vsize=10622040 memory=3614424 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11940/stat : 11940 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96119118 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200200046672 140201033942939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11941] ppid=11927 vsize=10622040 memory=3614424 CPUtime=1.73 cores=1,3,5,7
/proc/11930/task/11941/stat : 11941 (java) S 11927 11930 6758 0 -1 1077944384 6601 0 0 0 171 2 0 0 20 0 16 0 96119118 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200198994544 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11942] ppid=11927 vsize=10622040 memory=3614424 CPUtime=1.61 cores=1,3,5,7
/proc/11930/task/11942/stat : 11942 (java) S 11927 11930 6758 0 -1 1077944384 5985 0 0 0 160 1 0 0 20 0 16 0 96119118 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200197941744 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11943] ppid=11927 vsize=10622040 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/11930/task/11943/stat : 11943 (java) S 11927 11930 6758 0 -1 1077944384 3795 0 0 0 49 1 0 0 20 0 16 0 96119118 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200196889456 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11944] ppid=11927 vsize=10622040 memory=28100 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11944/stat : 11944 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96119118 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200195836896 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11945] ppid=11927 vsize=10622040 memory=1296 CPUtime=1.28 cores=1,3,5,7
/proc/11930/task/11945/stat : 11945 (java) S 11927 11930 6758 0 -1 1077944384 2620 0 0 0 59 69 0 0 20 0 16 0 96119119 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200194783664 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11946] ppid=11927 vsize=10622040 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11946/stat : 11946 (java) S 11927 11930 6758 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96119905 10876968960 903606 33554432000 4194304 4196468 140724942589328 140200193729200 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
Current children cumulated CPU time: 2413.29 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3614424 KiB
[startup+2442.3 s]
/proc/loadavg: 2.08 2.18 2.28 3/217 12252
/proc/meminfo: memFree=20330544/32770624 swapFree=67108860/67108860
[pid=11930] ppid=11927 vsize=10622040 memory=3614288 CPUtime=2473.7 cores=1,3,5,7
/proc/11930/stat : 11930 (java) S 11927 11930 6758 0 -1 1077944320 149676 0 0 0 246973 397 0 0 20 0 16 0 96119113 10876968960 903572 33554432000 4194304 4196468 140724942589328 140724942571872 140201033924343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
/proc/11930/statm: 2655510 903572 3171 1 0 2643904 0
[pid=11930/tid=11932] ppid=11927 vsize=10622040 memory=3614288 CPUtime=2431.34 cores=1,3,5,7
/proc/11930/task/11932/stat : 11932 (java) R 11927 11930 6758 0 -1 4202560 94959 0 0 0 243116 18 0 0 20 0 16 0 96119113 10876968960 903572 33554432000 4194304 4196468 140724942589328 140201038163296 140200639430784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11933] ppid=11927 vsize=10622040 memory=3614424 CPUtime=8.69 cores=1,3,5,7
/proc/11930/task/11933/stat : 11933 (java) S 11927 11930 6758 0 -1 1077944384 4759 0 0 0 788 81 0 0 20 0 16 0 96119114 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200959998864 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11934] ppid=11927 vsize=10622040 memory=3614424 CPUtime=8.63 cores=1,3,5,7
/proc/11930/task/11934/stat : 11934 (java) S 11927 11930 6758 0 -1 1077944384 6666 0 0 0 787 76 0 0 20 0 16 0 96119114 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200958946064 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11935] ppid=11927 vsize=10622040 memory=3614424 CPUtime=8.65 cores=1,3,5,7
/proc/11930/task/11935/stat : 11935 (java) S 11927 11930 6758 0 -1 1077944384 6238 0 0 0 789 76 0 0 20 0 16 0 96119114 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200957893776 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11936] ppid=11927 vsize=10622040 memory=3614288 CPUtime=8.7 cores=1,3,5,7
/proc/11930/task/11936/stat : 11936 (java) S 11927 11930 6758 0 -1 1077944384 7188 0 0 0 797 73 0 0 20 0 16 0 96119114 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200956840976 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11937] ppid=11927 vsize=10622040 memory=3614288 CPUtime=2.45 cores=1,3,5,7
/proc/11930/task/11937/stat : 11937 (java) S 11927 11930 6758 0 -1 1077944384 9343 0 0 0 241 4 0 0 20 0 16 0 96119115 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200203204720 140201033935490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11938] ppid=11927 vsize=10622040 memory=3614288 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11938/stat : 11938 (java) S 11927 11930 6758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 96119116 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200202150752 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11939] ppid=11927 vsize=10622040 memory=3614288 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11939/stat : 11939 (java) S 11927 11930 6758 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 16 0 96119116 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200201098368 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11940] ppid=11927 vsize=10622040 memory=3614288 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11940/stat : 11940 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96119118 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200200046672 140201033942939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11941] ppid=11927 vsize=10622040 memory=3614288 CPUtime=1.73 cores=1,3,5,7
/proc/11930/task/11941/stat : 11941 (java) S 11927 11930 6758 0 -1 1077944384 6604 0 0 0 171 2 0 0 20 0 16 0 96119118 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200198994544 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11942] ppid=11927 vsize=10622040 memory=3614288 CPUtime=1.61 cores=1,3,5,7
/proc/11930/task/11942/stat : 11942 (java) S 11927 11930 6758 0 -1 1077944384 5998 0 0 0 160 1 0 0 20 0 16 0 96119118 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200197941744 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11943] ppid=11927 vsize=10622040 memory=3614288 CPUtime=0.5 cores=1,3,5,7
/proc/11930/task/11943/stat : 11943 (java) S 11927 11930 6758 0 -1 1077944384 3798 0 0 0 49 1 0 0 20 0 16 0 96119118 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200196889456 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11944] ppid=11927 vsize=10622040 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11944/stat : 11944 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96119118 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200195836896 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11945] ppid=11927 vsize=10622040 memory=3614288 CPUtime=1.31 cores=1,3,5,7
/proc/11930/task/11945/stat : 11945 (java) S 11927 11930 6758 0 -1 1077944384 2661 0 0 0 60 71 0 0 20 0 16 0 96119119 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200194783664 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11946] ppid=11927 vsize=10622040 memory=3614288 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11946/stat : 11946 (java) S 11927 11930 6758 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96119905 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200193729200 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
Current children cumulated CPU time: 2473.7 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3614288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2488.6 s]
/proc/loadavg: 2.04 2.16 2.27 3/217 12253
/proc/meminfo: memFree=20330428/32770624 swapFree=67108860/67108860
[pid=11930] ppid=11927 vsize=10622040 memory=3614288 CPUtime=2520.02 cores=1,3,5,7
/proc/11930/stat : 11930 (java) S 11927 11930 6758 0 -1 1077944320 150763 0 0 0 251604 398 0 0 20 0 16 0 96119113 10876968960 903572 33554432000 4194304 4196468 140724942589328 140724942571872 140201033924343 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
/proc/11930/statm: 2655510 903572 3171 1 0 2643904 0
[pid=11930/tid=11932] ppid=11927 vsize=10622040 memory=4100 CPUtime=2477.64 cores=1,3,5,7
/proc/11930/task/11932/stat : 11932 (java) R 11927 11930 6758 0 -1 4202560 95982 0 0 0 247746 18 0 0 20 0 16 0 96119113 10876968960 903572 33554432000 4194304 4196468 140724942589328 140201038163296 140200639761750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11933] ppid=11927 vsize=10622040 memory=1160 CPUtime=8.69 cores=1,3,5,7
/proc/11930/task/11933/stat : 11933 (java) S 11927 11930 6758 0 -1 1077944384 4759 0 0 0 788 81 0 0 20 0 16 0 96119114 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200959998864 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11934] ppid=11927 vsize=10622040 memory=3244 CPUtime=8.63 cores=1,3,5,7
/proc/11930/task/11934/stat : 11934 (java) S 11927 11930 6758 0 -1 1077944384 6666 0 0 0 787 76 0 0 20 0 16 0 96119114 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200958946064 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11935] ppid=11927 vsize=10622040 memory=3614288 CPUtime=8.65 cores=1,3,5,7
/proc/11930/task/11935/stat : 11935 (java) S 11927 11930 6758 0 -1 1077944384 6238 0 0 0 789 76 0 0 20 0 16 0 96119114 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200957893776 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11936] ppid=11927 vsize=10622040 memory=1156 CPUtime=8.7 cores=1,3,5,7
/proc/11930/task/11936/stat : 11936 (java) S 11927 11930 6758 0 -1 1077944384 7188 0 0 0 797 73 0 0 20 0 16 0 96119114 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200956840976 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11937] ppid=11927 vsize=10622040 memory=3264 CPUtime=2.45 cores=1,3,5,7
/proc/11930/task/11937/stat : 11937 (java) S 11927 11930 6758 0 -1 1077944384 9353 0 0 0 241 4 0 0 20 0 16 0 96119115 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200203204720 140201033935490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11938] ppid=11927 vsize=10622040 memory=3614288 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11938/stat : 11938 (java) S 11927 11930 6758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 96119116 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200202150752 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11939] ppid=11927 vsize=10622040 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11939/stat : 11939 (java) S 11927 11930 6758 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 16 0 96119116 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200201098368 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11940] ppid=11927 vsize=10622040 memory=916 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11940/stat : 11940 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96119118 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200200046672 140201033942939 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11941] ppid=11927 vsize=10622040 memory=3832 CPUtime=1.73 cores=1,3,5,7
/proc/11930/task/11941/stat : 11941 (java) S 11927 11930 6758 0 -1 1077944384 6611 0 0 0 171 2 0 0 20 0 16 0 96119118 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200198994544 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11942] ppid=11927 vsize=10622040 memory=3614288 CPUtime=1.61 cores=1,3,5,7
/proc/11930/task/11942/stat : 11942 (java) S 11927 11930 6758 0 -1 1077944384 6001 0 0 0 160 1 0 0 20 0 16 0 96119118 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200197941744 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11943] ppid=11927 vsize=10622040 memory=288230574492221466 CPUtime=0.5 cores=1,3,5,7
/proc/11930/task/11943/stat : 11943 (java) S 11927 11930 6758 0 -1 1077944384 3802 0 0 0 49 1 0 0 20 0 16 0 96119118 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200196889456 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11944] ppid=11927 vsize=10622040 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11944/stat : 11944 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96119118 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200195836896 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11945] ppid=11927 vsize=10622040 memory=15535206786402648 CPUtime=1.34 cores=1,3,5,7
/proc/11930/task/11945/stat : 11945 (java) S 11927 11930 6758 0 -1 1077944384 2701 0 0 0 62 72 0 0 20 0 16 0 96119119 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200194783664 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11946] ppid=11927 vsize=10622040 memory=279971873153160 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11946/stat : 11946 (java) S 11927 11930 6758 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 96119905 10876968960 903572 33554432000 4194304 4196468 140724942589328 140200193729200 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3614288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2488.89 s]
# the end of solver process 11930 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.16 s, system=4.00264 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2488.8 s]
/proc/loadavg: 2.04 2.16 2.27 3/217 12253
/proc/meminfo: memFree=20330428/32770624 swapFree=67108860/67108860
[pid=11930] ppid=11927 vsize=10821732 memory=3614524 CPUtime=2520.04 cores=1,3,5,7
/proc/11930/stat : 11930 (java) S 11927 11930 6758 0 -1 1077944320 151641 0 0 0 251606 398 0 0 20 0 17 0 96119113 11081453568 903631 33554432000 4194304 4196468 140724942589328 140724942571872 140201033924343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
/proc/11930/statm: 2705433 903631 3173 1 0 2693827 0
[pid=11930/tid=11932] ppid=11927 vsize=10821732 memory=2396 CPUtime=2477.65 cores=1,3,5,7
/proc/11930/task/11932/stat : 11932 (java) S 11927 11930 6758 0 -1 1077944384 96077 0 0 0 247747 18 0 0 20 0 17 0 96119113 11081453568 903631 33554432000 4194304 4196468 140724942589328 140201038167216 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11933] ppid=11927 vsize=10821732 memory=6791534058613427641 CPUtime=8.69 cores=1,3,5,7
/proc/11930/task/11933/stat : 11933 (java) S 11927 11930 6758 0 -1 1077944384 4759 0 0 0 788 81 0 0 20 0 17 0 96119114 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200959998864 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11934] ppid=11927 vsize=10821732 memory=3326076 CPUtime=8.63 cores=1,3,5,7
/proc/11930/task/11934/stat : 11934 (java) S 11927 11930 6758 0 -1 1077944384 6666 0 0 0 787 76 0 0 20 0 17 0 96119114 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200958946064 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11935] ppid=11927 vsize=10821732 memory=840 CPUtime=8.65 cores=1,3,5,7
/proc/11930/task/11935/stat : 11935 (java) S 11927 11930 6758 0 -1 1077944384 6238 0 0 0 789 76 0 0 20 0 17 0 96119114 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200957893776 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11936] ppid=11927 vsize=10821732 memory=1696 CPUtime=8.7 cores=1,3,5,7
/proc/11930/task/11936/stat : 11936 (java) S 11927 11930 6758 0 -1 1077944384 7188 0 0 0 797 73 0 0 20 0 17 0 96119114 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200956840976 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11937] ppid=11927 vsize=10821732 memory=916 CPUtime=2.45 cores=1,3,5,7
/proc/11930/task/11937/stat : 11937 (java) S 11927 11930 6758 0 -1 1077944384 9382 0 0 0 241 4 0 0 20 0 17 0 96119115 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200203204720 140201033935490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11938] ppid=11927 vsize=10821732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11938/stat : 11938 (java) S 11927 11930 6758 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 96119116 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200202150752 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11939] ppid=11927 vsize=10821732 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11939/stat : 11939 (java) S 11927 11930 6758 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 17 0 96119116 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200201098368 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11940] ppid=11927 vsize=10821732 memory=11040 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11940/stat : 11940 (java) S 11927 11930 6758 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 17 0 96119118 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200200046672 140201033942939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11941] ppid=11927 vsize=10821732 memory=5700 CPUtime=1.73 cores=1,3,5,7
/proc/11930/task/11941/stat : 11941 (java) S 11927 11930 6758 0 -1 1077944384 6611 0 0 0 171 2 0 0 20 0 17 0 96119118 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200198994544 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11942] ppid=11927 vsize=10821732 memory=4616 CPUtime=1.61 cores=1,3,5,7
/proc/11930/task/11942/stat : 11942 (java) S 11927 11930 6758 0 -1 1077944384 6001 0 0 0 160 1 0 0 20 0 17 0 96119118 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200197941744 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11943] ppid=11927 vsize=10821732 memory=3614288 CPUtime=0.5 cores=1,3,5,7
/proc/11930/task/11943/stat : 11943 (java) S 11927 11930 6758 0 -1 1077944384 3991 0 0 0 49 1 0 0 20 0 17 0 96119118 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200196889456 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11944] ppid=11927 vsize=10821732 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/11930/task/11944/stat : 11944 (java) S 11927 11930 6758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96119118 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200195836896 140201033934549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
[pid=11930/tid=11945] ppid=11927 vsize=10821732 memory=1936 CPUtime=1.34 cores=1,3,5,7
/proc/11930/task/11945/stat : 11945 (java) S 11927 11930 6758 0 -1 1077944384 2701 0 0 0 62 72 0 0 20 0 17 0 96119119 11081453568 903631 33554432000 4194304 4196468 140724942589328 140200194783664 140201033935490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 32116736 140724942595206 140724942595359 140724942595359 140724942598095 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 3614524 KiB
Child status: 143
Real time (s): 2488.89
CPU time (s): 2520.16
CPU user time (s): 2516.16
CPU system time (s): 4.00264
CPU usage (%): 101.256
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 3614524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.16
system time used= 4.00263
maximum resident set size= 3614956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152656
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56502
involuntary context switches= 2326
# summary of solver processes directly reported to runsolver:
# pid: 11930
# total CPU time (s): 2520.16
# total CPU user time (s): 2516.16
# total CPU system time (s): 4.00264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0315 second user time and 23.4751 second system time
The end