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 (13961 MiB free)
memory of node 1: 16384 MiB (15825 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396341-1568400511/watcher-4396341-1568400511 -o /tmp/evaluation-result-4396341-1568400511/solver-4396341-1568400511 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568393055-22031 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2008694506 HOME/instance-4396341-1568400511.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
Current StackSize limit: 8192 KiB
solver pid=23878, runsolver pid=23875
[startup+0.100565 s]*
/proc/loadavg: 1.54 1.62 1.65 3/218 23935
/proc/meminfo: memFree=30494436/32770624 swapFree=66966968/67108860
[pid=23878] ppid=23875 vsize=9972712 memory=18592 CPUtime=0.1 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23875 23878 19747 0 -1 1077944320 4376 13321 0 0 1 1 5 3 20 0 6 0 416317907 10212057088 4648 33554432000 4194304 4196468 140731924746800 140731924729344 140611432361719 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
/proc/23878/statm: 2493178 4648 1935 1 0 2481616 0
[pid=23878/tid=23931] ppid=23875 vsize=9972712 memory=-8439527450518781933 CPUtime=0.09 cores=1,3,5,7
/proc/23878/task/23931/stat : 23931 (java) R 23875 23878 19747 0 -1 4202560 2165 13321 0 0 1 0 5 3 20 0 6 0 416317916 10212057088 4648 33554432000 4194304 4196468 140731924746800 140611404198480 140611432383645 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23932] ppid=23875 vsize=9972712 memory=4211973789921885578 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23932/stat : 23932 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 6 0 416317917 10212057088 4648 33554432000 4194304 4196468 140731924746800 140611436603792 140611432371925 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23933] ppid=23875 vsize=9972712 memory=140063717095040 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23933/stat : 23933 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 6 0 416317917 10212057088 4648 33554432000 4194304 4196468 140731924746800 140611324877072 140611432371925 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23934] ppid=23875 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23934/stat : 23934 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 6 0 416317917 10212057088 4648 33554432000 4194304 4196468 140731924746800 140611004918416 140611432371925 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23935] ppid=23875 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23935/stat : 23935 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 6 0 416317917 10212057088 4648 33554432000 4194304 4196468 140731924746800 140611003865616 140611432371925 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.210351 s]*
/proc/loadavg: 1.54 1.62 1.65 4/227 23944
/proc/meminfo: memFree=30474284/32770624 swapFree=66966968/67108860
[pid=23878] ppid=23875 vsize=10819664 memory=42952 CPUtime=0.27 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23875 23878 19747 0 -1 1077944320 7094 13321 0 0 17 2 5 3 20 0 15 0 416317907 11079335936 10738 33554432000 4194304 4196468 140731924746800 140731924729344 140611432361719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
/proc/23878/statm: 2704916 10738 3160 1 0 2667149 0
[pid=23878/tid=23931] ppid=23875 vsize=10819664 memory=7900017517374083699 CPUtime=0.19 cores=1,3,5,7
/proc/23878/task/23931/stat : 23931 (java) R 23875 23878 19747 0 -1 4202560 3536 13321 0 0 11 0 5 3 20 0 15 0 416317916 11079335936 10738 33554432000 4194304 4196468 140731924746800 140611404142816 140611413925279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23932] ppid=23875 vsize=10819664 memory=4211973789921885578 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23932/stat : 23932 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317917 11079335936 10738 33554432000 4194304 4196468 140731924746800 140611436603792 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23933] ppid=23875 vsize=10819664 memory=140063717095040 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23933/stat : 23933 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317917 11079335936 10738 33554432000 4194304 4196468 140731924746800 140611324877072 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23934] ppid=23875 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23934/stat : 23934 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317917 11079335936 10738 33554432000 4194304 4196468 140731924746800 140611004918416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23935] ppid=23875 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23935/stat : 23935 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317917 11079335936 10738 33554432000 4194304 4196468 140731924746800 140611003865616 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23936] ppid=23875 vsize=10819664 memory=140063717095040 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23936/stat : 23936 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317918 11079335936 10738 33554432000 4194304 4196468 140731924746800 140610891934320 140611432372866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23937] ppid=23875 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23937/stat : 23937 (java) S 23875 23878 19747 0 -1 1077944384 33 13321 0 0 0 0 5 3 20 0 15 0 416317919 11079335936 10738 33554432000 4194304 4196468 140731924746800 140610890880288 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23938] ppid=23875 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23938/stat : 23938 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317919 11079335936 10738 33554432000 4194304 4196468 140731924746800 140610786813552 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23939] ppid=23875 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23939/stat : 23939 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317921 11079335936 10738 33554432000 4194304 4196468 140731924746800 140610182834768 140611432380315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23940] ppid=23875 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23878/task/23940/stat : 23940 (java) S 23875 23878 19747 0 -1 1077944384 482 13321 0 0 1 0 5 3 20 0 15 0 416317921 11079335936 10738 33554432000 4194304 4196468 140731924746800 140610857322608 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23941] ppid=23875 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23941/stat : 23941 (java) S 23875 23878 19747 0 -1 1077944384 195 13321 0 0 0 0 5 3 20 0 15 0 416317921 11079335936 10738 33554432000 4194304 4196468 140731924746800 140610856269808 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23942] ppid=23875 vsize=10819664 memory=140063717095040 CPUtime=0.11 cores=1,3,5,7
/proc/23878/task/23942/stat : 23942 (java) S 23875 23878 19747 0 -1 1077944384 624 13321 0 0 3 0 5 3 20 0 15 0 416317922 11079335936 10738 33554432000 4194304 4196468 140731924746800 140610855217520 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23943] ppid=23875 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23943/stat : 23943 (java) S 23875 23878 19747 0 -1 1077944384 3 13321 0 0 0 0 5 3 20 0 15 0 416317922 11079335936 10738 33554432000 4194304 4196468 140731924746800 140609713072608 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23944] ppid=23875 vsize=10819664 memory=140063717095040 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23944/stat : 23944 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317922 11079335936 10738 33554432000 4194304 4196468 140731924746800 140610753256368 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 42952 KiB
[startup+0.310436 s]*
/proc/loadavg: 1.54 1.62 1.65 3/227 23944
/proc/meminfo: memFree=30461464/32770624 swapFree=66966968/67108860
[pid=23878] ppid=23875 vsize=10820148 memory=51852 CPUtime=0.41 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23875 23878 19747 0 -1 1077944320 10752 13321 0 0 29 4 5 3 20 0 15 0 416317907 11079831552 12963 33554432000 4194304 4196468 140731924746800 140731924729344 140611432361719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
/proc/23878/statm: 2705037 12963 3292 1 0 2667149 0
[pid=23878/tid=23931] ppid=23875 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/23878/task/23931/stat : 23931 (java) R 23875 23878 19747 0 -1 4202560 7170 13321 0 0 19 2 5 3 20 0 15 0 416317916 11079831552 12963 33554432000 4194304 4196468 140731924746800 140611404161632 140611416442206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23932] ppid=23875 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23932/stat : 23932 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317917 11079831552 12963 33554432000 4194304 4196468 140731924746800 140611436603792 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23933] ppid=23875 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23933/stat : 23933 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317917 11079831552 12963 33554432000 4194304 4196468 140731924746800 140611324877072 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23934] ppid=23875 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23934/stat : 23934 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317917 11079831552 12963 33554432000 4194304 4196468 140731924746800 140611004918416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23935] ppid=23875 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23935/stat : 23935 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317917 11079831552 12963 33554432000 4194304 4196468 140731924746800 140611003865616 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23936] ppid=23875 vsize=10820148 memory=140063717095039 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23936/stat : 23936 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317918 11079831552 12963 33554432000 4194304 4196468 140731924746800 140610891934320 140611432372866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23937] ppid=23875 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23937/stat : 23937 (java) S 23875 23878 19747 0 -1 1077944384 33 13321 0 0 0 0 5 3 20 0 15 0 416317919 11079831552 12963 33554432000 4194304 4196468 140731924746800 140610890880288 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23938] ppid=23875 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23938/stat : 23938 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317919 11079831552 12963 33554432000 4194304 4196468 140731924746800 140610786813552 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23939] ppid=23875 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23939/stat : 23939 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317921 11079831552 12963 33554432000 4194304 4196468 140731924746800 140610182834768 140611432380315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23940] ppid=23875 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/23878/task/23940/stat : 23940 (java) S 23875 23878 19747 0 -1 1077944384 487 13321 0 0 2 0 5 3 20 0 15 0 416317921 11079831552 12963 33554432000 4194304 4196468 140731924746800 140610857322608 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23941] ppid=23875 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/23878/task/23941/stat : 23941 (java) S 23875 23878 19747 0 -1 1077944384 196 13321 0 0 1 0 5 3 20 0 15 0 416317921 11079831552 12963 33554432000 4194304 4196468 140731924746800 140610856269808 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23942] ppid=23875 vsize=10820148 memory=140063717095040 CPUtime=0.13 cores=1,3,5,7
/proc/23878/task/23942/stat : 23942 (java) S 23875 23878 19747 0 -1 1077944384 642 13321 0 0 5 0 5 3 20 0 15 0 416317922 11079831552 12963 33554432000 4194304 4196468 140731924746800 140610855217520 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23943] ppid=23875 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23943/stat : 23943 (java) S 23875 23878 19747 0 -1 1077944384 3 13321 0 0 0 0 5 3 20 0 15 0 416317922 11079831552 12963 33554432000 4194304 4196468 140731924746800 140609713072608 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23944] ppid=23875 vsize=10820148 memory=140063717095040 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23944/stat : 23944 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317922 11079831552 12963 33554432000 4194304 4196468 140731924746800 140610753256368 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 51852 KiB
[startup+0.710343 s]
/proc/loadavg: 1.54 1.62 1.65 3/227 23944
/proc/meminfo: memFree=30446680/32770624 swapFree=66966968/67108860
[pid=23878] ppid=23875 vsize=10824360 memory=85824 CPUtime=1.13 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23875 23878 19747 0 -1 1077944320 15174 13321 0 0 99 6 5 3 20 0 15 0 416317907 11084144640 21456 33554432000 4194304 4196468 140731924746800 140731924729344 140611432361719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
/proc/23878/statm: 2706090 21456 3510 1 0 2668173 0
[pid=23878/tid=23931] ppid=23875 vsize=10824360 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/23878/task/23931/stat : 23931 (java) R 23875 23878 19747 0 -1 4202560 10337 13321 0 0 55 4 5 3 20 0 15 0 416317916 11084144640 21456 33554432000 4194304 4196468 140731924746800 140611404188880 140611432373654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23932] ppid=23875 vsize=10824360 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23932/stat : 23932 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317917 11084144640 21456 33554432000 4194304 4196468 140731924746800 140611436603792 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23933] ppid=23875 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23933/stat : 23933 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317917 11084144640 21456 33554432000 4194304 4196468 140731924746800 140611324877072 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23934] ppid=23875 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23934/stat : 23934 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317917 11084144640 21456 33554432000 4194304 4196468 140731924746800 140611004918416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23935] ppid=23875 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23935/stat : 23935 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317917 11084144640 21456 33554432000 4194304 4196468 140731924746800 140611003865616 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23936] ppid=23875 vsize=10824360 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23936/stat : 23936 (java) S 23875 23878 19747 0 -1 1077944384 5 13321 0 0 0 0 5 3 20 0 15 0 416317918 11084144640 21456 33554432000 4194304 4196468 140731924746800 140610891934320 140611432372866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23937] ppid=23875 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23937/stat : 23937 (java) S 23875 23878 19747 0 -1 1077944384 33 13321 0 0 0 0 5 3 20 0 15 0 416317919 11084144640 21456 33554432000 4194304 4196468 140731924746800 140610890880288 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23938] ppid=23875 vsize=10824360 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23938/stat : 23938 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317919 11084144640 21456 33554432000 4194304 4196468 140731924746800 140610786813552 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23939] ppid=23875 vsize=10824360 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23939/stat : 23939 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317921 11084144640 21456 33554432000 4194304 4196468 140731924746800 140610182834768 140611432380315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23940] ppid=23875 vsize=10824360 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/23878/task/23940/stat : 23940 (java) R 23875 23878 19747 0 -1 1077944384 972 13321 0 0 11 0 5 3 20 0 15 0 416317921 11084144640 21456 33554432000 4194304 4196468 140731924746800 140610857322608 140611432372866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23941] ppid=23875 vsize=10824360 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/23878/task/23941/stat : 23941 (java) R 23875 23878 19747 0 -1 4202560 719 13321 0 0 14 0 5 3 20 0 15 0 416317921 11084144640 21456 33554432000 4194304 4196468 140731924746800 140610856250864 140611424651008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23942] ppid=23875 vsize=10824360 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/23878/task/23942/stat : 23942 (java) R 23875 23878 19747 0 -1 4202560 888 13321 0 0 17 0 5 3 20 0 15 0 416317922 11084144640 21456 33554432000 4194304 4196468 140731924746800 140610855217520 140611416442206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23943] ppid=23875 vsize=10824360 memory=280127162286320 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23943/stat : 23943 (java) S 23875 23878 19747 0 -1 1077944384 3 13321 0 0 0 0 5 3 20 0 15 0 416317922 11084144640 21456 33554432000 4194304 4196468 140731924746800 140609713072608 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23944] ppid=23875 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23944/stat : 23944 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317922 11084144640 21456 33554432000 4194304 4196468 140731924746800 140610753256368 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85824 KiB
[startup+1.50068 s]
/proc/loadavg: 1.54 1.62 1.65 4/227 23944
/proc/meminfo: memFree=30405720/32770624 swapFree=66966968/67108860
[pid=23878] ppid=23875 vsize=10834676 memory=185936 CPUtime=2.64 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23875 23878 19747 0 -1 1077944320 24758 13321 0 0 245 11 5 3 20 0 15 0 416317907 11094708224 46484 33554432000 4194304 4196468 140731924746800 140731924729344 140611432361719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
/proc/23878/statm: 2708669 46484 3588 1 0 2670733 0
[pid=23878/tid=23931] ppid=23875 vsize=10834676 memory=8 CPUtime=1.43 cores=1,3,5,7
/proc/23878/task/23931/stat : 23931 (java) R 23875 23878 19747 0 -1 4202560 16057 13321 0 0 129 6 5 3 20 0 15 0 416317916 11094708224 46484 33554432000 4194304 4196468 140731924746800 140611404185968 140611416442206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23932] ppid=23875 vsize=10834676 memory=2321 CPUtime=0.09 cores=1,3,5,7
/proc/23878/task/23932/stat : 23932 (java) S 23875 23878 19747 0 -1 1077944384 333 13321 0 0 1 0 5 3 20 0 15 0 416317917 11094708224 46484 33554432000 4194304 4196468 140731924746800 140611436603792 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23933] ppid=23875 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23878/task/23933/stat : 23933 (java) S 23875 23878 19747 0 -1 1077944384 28 13321 0 0 1 0 5 3 20 0 15 0 416317917 11094708224 46484 33554432000 4194304 4196468 140731924746800 140611324877072 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23934] ppid=23875 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23878/task/23934/stat : 23934 (java) S 23875 23878 19747 0 -1 1077944384 73 13321 0 0 1 0 5 3 20 0 15 0 416317917 11094708224 46484 33554432000 4194304 4196468 140731924746800 140611004918416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23935] ppid=23875 vsize=10834676 memory=4580 CPUtime=0.09 cores=1,3,5,7
/proc/23878/task/23935/stat : 23935 (java) S 23875 23878 19747 0 -1 1077944384 90 13321 0 0 1 0 5 3 20 0 15 0 416317917 11094708224 46484 33554432000 4194304 4196468 140731924746800 140611003865616 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23936] ppid=23875 vsize=10834676 memory=8 CPUtime=0.09 cores=1,3,5,7
/proc/23878/task/23936/stat : 23936 (java) S 23875 23878 19747 0 -1 1077944384 1505 13321 0 0 1 0 5 3 20 0 15 0 416317918 11094708224 46484 33554432000 4194304 4196468 140731924746800 140610891934320 140611432372866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23937] ppid=23875 vsize=10834676 memory=2273 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23937/stat : 23937 (java) S 23875 23878 19747 0 -1 1077944384 34 13321 0 0 0 0 5 3 20 0 15 0 416317919 11094708224 46484 33554432000 4194304 4196468 140731924746800 140610890880352 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23938] ppid=23875 vsize=10834676 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23938/stat : 23938 (java) S 23875 23878 19747 0 -1 1077944384 1 13321 0 0 0 0 5 3 20 0 15 0 416317919 11094708224 46484 33554432000 4194304 4196468 140731924746800 140610786813568 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23939] ppid=23875 vsize=10834676 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23939/stat : 23939 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317921 11094708224 46484 33554432000 4194304 4196468 140731924746800 140610182834768 140611432380315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23940] ppid=23875 vsize=10834676 memory=0 CPUtime=0.43 cores=1,3,5,7
/proc/23878/task/23940/stat : 23940 (java) S 23875 23878 19747 0 -1 1077944384 1731 13321 0 0 35 0 5 3 20 0 15 0 416317921 11094708224 46484 33554432000 4194304 4196468 140731924746800 140610857322608 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23941] ppid=23875 vsize=10834676 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/23878/task/23941/stat : 23941 (java) S 23875 23878 19747 0 -1 1077944384 1048 13321 0 0 31 0 5 3 20 0 15 0 416317921 11094708224 46484 33554432000 4194304 4196468 140731924746800 140610856269808 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23942] ppid=23875 vsize=10834676 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/23878/task/23942/stat : 23942 (java) S 23875 23878 19747 0 -1 1077944384 1640 13321 0 0 42 1 5 3 20 0 15 0 416317922 11094708224 46484 33554432000 4194304 4196468 140731924746800 140610855217520 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23943] ppid=23875 vsize=10834676 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23943/stat : 23943 (java) S 23875 23878 19747 0 -1 1077944384 3 13321 0 0 0 0 5 3 20 0 15 0 416317922 11094708224 46484 33554432000 4194304 4196468 140731924746800 140609713072608 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23944] ppid=23875 vsize=10834676 memory=288230583132487972 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23944/stat : 23944 (java) S 23875 23878 19747 0 -1 1077944384 3 13321 0 0 0 0 5 3 20 0 15 0 416317922 11094708224 46484 33554432000 4194304 4196468 140731924746800 140610753256368 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/23878/task/23931/stat : 23931 (java) R 23875 23878 19747 0 -1 4202560 61178 13321 0 0 236284 35 5 3 20 0 15 0 416317916 11109408768 167185 33554432000 4194304 4196468 140731924746800 140611404197760 140611016037185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23932] ppid=23875 vsize=10849032 memory=668740 CPUtime=9.58 cores=1,3,5,7
/proc/23878/task/23932/stat : 23932 (java) S 23875 23878 19747 0 -1 1077944384 12239 13321 0 0 917 33 5 3 20 0 15 0 416317917 11109408768 167185 33554432000 4194304 4196468 140731924746800 140611436603792 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23933] ppid=23875 vsize=10849032 memory=668740 CPUtime=9.6 cores=1,3,5,7
/proc/23878/task/23933/stat : 23933 (java) S 23875 23878 19747 0 -1 1077944384 14929 13321 0 0 908 44 5 3 20 0 15 0 416317917 11109408768 167185 33554432000 4194304 4196468 140731924746800 140611324877072 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23934] ppid=23875 vsize=10849032 memory=56 CPUtime=9.64 cores=1,3,5,7
/proc/23878/task/23934/stat : 23934 (java) S 23875 23878 19747 0 -1 1077944384 12896 13321 0 0 913 43 5 3 20 0 15 0 416317917 11109408768 167185 33554432000 4194304 4196468 140731924746800 140611004918416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23935] ppid=23875 vsize=10849032 memory=668740 CPUtime=9.62 cores=1,3,5,7
/proc/23878/task/23935/stat : 23935 (java) S 23875 23878 19747 0 -1 1077944384 8170 13321 0 0 913 41 5 3 20 0 15 0 416317917 11109408768 167185 33554432000 4194304 4196468 140731924746800 140611003865616 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23936] ppid=23875 vsize=10849032 memory=7584169879171783318 CPUtime=8.17 cores=1,3,5,7
/proc/23878/task/23936/stat : 23936 (java) S 23875 23878 19747 0 -1 1077944384 12806 13321 0 0 773 36 5 3 20 0 15 0 416317918 11109408768 167185 33554432000 4194304 4196468 140731924746800 140610891934320 140611432372866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23937] ppid=23875 vsize=10849032 memory=668740 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23937/stat : 23937 (java) S 23875 23878 19747 0 -1 1077944384 42 13321 0 0 0 0 5 3 20 0 15 0 416317919 11109408768 167185 33554432000 4194304 4196468 140731924746800 140610890880416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23938] ppid=23875 vsize=10849032 memory=668740 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23938/stat : 23938 (java) S 23875 23878 19747 0 -1 1077944384 11 13321 0 0 0 0 5 3 20 0 15 0 416317919 11109408768 167185 33554432000 4194304 4196468 140731924746800 140610786813728 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23939] ppid=23875 vsize=10849032 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23939/stat : 23939 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317921 11109408768 167185 33554432000 4194304 4196468 140731924746800 140610182834768 140611432380315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23940] ppid=23875 vsize=10849032 memory=668740 CPUtime=5.31 cores=1,3,5,7
/proc/23878/task/23940/stat : 23940 (java) S 23875 23878 19747 0 -1 1077944384 39690 13321 0 0 517 6 5 3 20 0 15 0 416317921 11109408768 167185 33554432000 4194304 4196468 140731924746800 140610857322608 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23941] ppid=23875 vsize=10849032 memory=668740 CPUtime=5.22 cores=1,3,5,7
/proc/23878/task/23941/stat : 23941 (java) S 23875 23878 19747 0 -1 1077944384 35933 13321 0 0 509 5 5 3 20 0 15 0 416317921 11109408768 167185 33554432000 4194304 4196468 140731924746800 140610856269808 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23942] ppid=23875 vsize=10849032 memory=668740 CPUtime=2.34 cores=1,3,5,7
/proc/23878/task/23942/stat : 23942 (java) S 23875 23878 19747 0 -1 1077944384 24667 13321 0 0 221 5 5 3 20 0 15 0 416317922 11109408768 167185 33554432000 4194304 4196468 140731924746800 140610855217520 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23943] ppid=23875 vsize=10849032 memory=984 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23943/stat : 23943 (java) S 23875 23878 19747 0 -1 1077944384 3 13321 0 0 0 0 5 3 20 0 15 0 416317922 11109408768 167185 33554432000 4194304 4196468 140731924746800 140609713072608 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23944] ppid=23875 vsize=10849032 memory=668740 CPUtime=1.3 cores=1,3,5,7
/proc/23878/task/23944/stat : 23944 (java) S 23875 23878 19747 0 -1 1077944384 1289 13321 0 0 58 64 5 3 20 0 15 0 416317922 11109408768 167185 33554432000 4194304 4196468 140731924746800 140610753256368 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
Current children cumulated CPU time: 2423.43 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 668740 KiB
[startup+2442.3 s]
/proc/loadavg: 1.78 1.64 1.51 3/227 24452
/proc/meminfo: memFree=27618816/32770624 swapFree=66966972/67108860
[pid=23878] ppid=23875 vsize=10849032 memory=670788 CPUtime=2484.05 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23875 23878 19747 0 -1 1077944320 226829 13321 0 0 248117 280 5 3 20 0 15 0 416317907 11109408768 167697 33554432000 4194304 4196468 140731924746800 140731924729344 140611432361719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
/proc/23878/statm: 2712258 167697 3632 1 0 2674317 0
[pid=23878/tid=23931] ppid=23875 vsize=10849032 memory=670788 CPUtime=2422.85 cores=1,3,5,7
/proc/23878/task/23931/stat : 23931 (java) R 23875 23878 19747 0 -1 4202560 61593 13321 0 0 242242 35 5 3 20 0 15 0 416317916 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611404197520 140611016037071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23932] ppid=23875 vsize=10849032 memory=670788 CPUtime=9.79 cores=1,3,5,7
/proc/23878/task/23932/stat : 23932 (java) S 23875 23878 19747 0 -1 1077944384 12243 13321 0 0 937 34 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611436603792 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23933] ppid=23875 vsize=10849032 memory=670788 CPUtime=9.8 cores=1,3,5,7
/proc/23878/task/23933/stat : 23933 (java) S 23875 23878 19747 0 -1 1077944384 14935 13321 0 0 928 44 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611324877072 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23934] ppid=23875 vsize=10849032 memory=670788 CPUtime=9.84 cores=1,3,5,7
/proc/23878/task/23934/stat : 23934 (java) S 23875 23878 19747 0 -1 1077944384 12947 13321 0 0 932 44 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611004918416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23935] ppid=23875 vsize=10849032 memory=288230574492221466 CPUtime=9.83 cores=1,3,5,7
/proc/23878/task/23935/stat : 23935 (java) S 23875 23878 19747 0 -1 1077944384 8414 13321 0 0 933 42 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611003865616 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23936] ppid=23875 vsize=10849032 memory=670788 CPUtime=8.35 cores=1,3,5,7
/proc/23878/task/23936/stat : 23936 (java) S 23875 23878 19747 0 -1 1077944384 12844 13321 0 0 790 37 5 3 20 0 15 0 416317918 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610891934320 140611432372866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23937] ppid=23875 vsize=10849032 memory=670788 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23937/stat : 23937 (java) S 23875 23878 19747 0 -1 1077944384 42 13321 0 0 0 0 5 3 20 0 15 0 416317919 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610890880416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23938] ppid=23875 vsize=10849032 memory=670788 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23938/stat : 23938 (java) S 23875 23878 19747 0 -1 1077944384 11 13321 0 0 0 0 5 3 20 0 15 0 416317919 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610786813728 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23939] ppid=23875 vsize=10849032 memory=670788 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23939/stat : 23939 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317921 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610182834768 140611432380315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23940] ppid=23875 vsize=10849032 memory=670788 CPUtime=5.31 cores=1,3,5,7
/proc/23878/task/23940/stat : 23940 (java) S 23875 23878 19747 0 -1 1077944384 39690 13321 0 0 517 6 5 3 20 0 15 0 416317921 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610857322608 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23941] ppid=23875 vsize=10849032 memory=670788 CPUtime=5.22 cores=1,3,5,7
/proc/23878/task/23941/stat : 23941 (java) S 23875 23878 19747 0 -1 1077944384 35933 13321 0 0 509 5 5 3 20 0 15 0 416317921 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610856269808 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23942] ppid=23875 vsize=10849032 memory=670788 CPUtime=2.34 cores=1,3,5,7
/proc/23878/task/23942/stat : 23942 (java) S 23875 23878 19747 0 -1 1077944384 24667 13321 0 0 221 5 5 3 20 0 15 0 416317922 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610855217520 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23943] ppid=23875 vsize=10849032 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23943/stat : 23943 (java) S 23875 23878 19747 0 -1 1077944384 3 13321 0 0 0 0 5 3 20 0 15 0 416317922 11109408768 167697 33554432000 4194304 4196468 140731924746800 140609713072608 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23944] ppid=23875 vsize=10849032 memory=10484 CPUtime=1.32 cores=1,3,5,7
/proc/23878/task/23944/stat : 23944 (java) S 23875 23878 19747 0 -1 1077944384 1295 13321 0 0 59 65 5 3 20 0 15 0 416317922 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610753256368 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
Current children cumulated CPU time: 2484.05 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 670788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2477.9 s]
/proc/loadavg: 1.62 1.62 1.51 3/228 24457
/proc/meminfo: memFree=27615804/32770624 swapFree=66966972/67108860
[pid=23878] ppid=23875 vsize=10849032 memory=670788 CPUtime=2520.01 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23875 23878 19747 0 -1 1077944320 227428 13321 0 0 251710 283 5 3 20 0 15 0 416317907 11109408768 167697 33554432000 4194304 4196468 140731924746800 140731924729344 140611432361719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
/proc/23878/statm: 2712258 167697 3632 1 0 2674317 0
[pid=23878/tid=23931] ppid=23875 vsize=10849032 memory=1732 CPUtime=2458.21 cores=1,3,5,7
/proc/23878/task/23931/stat : 23931 (java) R 23875 23878 19747 0 -1 4202560 61838 13321 0 0 245777 36 5 3 20 0 15 0 416317916 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611404197712 140611008016042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23932] ppid=23875 vsize=10849032 memory=670788 CPUtime=9.91 cores=1,3,5,7
/proc/23878/task/23932/stat : 23932 (java) S 23875 23878 19747 0 -1 1077944384 12248 13321 0 0 949 34 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611436603792 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23933] ppid=23875 vsize=10849032 memory=670788 CPUtime=9.92 cores=1,3,5,7
/proc/23878/task/23933/stat : 23933 (java) S 23875 23878 19747 0 -1 1077944384 14940 13321 0 0 939 45 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611324877072 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23934] ppid=23875 vsize=10849032 memory=0 CPUtime=9.97 cores=1,3,5,7
/proc/23878/task/23934/stat : 23934 (java) S 23875 23878 19747 0 -1 1077944384 13027 13321 0 0 944 45 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611004918416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23935] ppid=23875 vsize=10849032 memory=670788 CPUtime=9.94 cores=1,3,5,7
/proc/23878/task/23935/stat : 23935 (java) S 23875 23878 19747 0 -1 1077944384 8482 13321 0 0 944 42 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611003865616 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23936] ppid=23875 vsize=10849032 memory=0 CPUtime=8.45 cores=1,3,5,7
/proc/23878/task/23936/stat : 23936 (java) S 23875 23878 19747 0 -1 1077944384 13021 13321 0 0 800 37 5 3 20 0 15 0 416317918 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610891934320 140611432372866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23937] ppid=23875 vsize=10849032 memory=670788 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23937/stat : 23937 (java) S 23875 23878 19747 0 -1 1077944384 42 13321 0 0 0 0 5 3 20 0 15 0 416317919 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610890880416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23938] ppid=23875 vsize=10849032 memory=670788 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23938/stat : 23938 (java) S 23875 23878 19747 0 -1 1077944384 11 13321 0 0 0 0 5 3 20 0 15 0 416317919 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610786813728 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23939] ppid=23875 vsize=10849032 memory=670788 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23939/stat : 23939 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317921 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610182834768 140611432380315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23940] ppid=23875 vsize=10849032 memory=670788 CPUtime=5.31 cores=1,3,5,7
/proc/23878/task/23940/stat : 23940 (java) S 23875 23878 19747 0 -1 1077944384 39692 13321 0 0 517 6 5 3 20 0 15 0 416317921 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610857322608 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23941] ppid=23875 vsize=10849032 memory=670788 CPUtime=5.22 cores=1,3,5,7
/proc/23878/task/23941/stat : 23941 (java) S 23875 23878 19747 0 -1 1077944384 35935 13321 0 0 509 5 5 3 20 0 15 0 416317921 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610856269808 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23942] ppid=23875 vsize=10849032 memory=6791534058613427641 CPUtime=2.34 cores=1,3,5,7
/proc/23878/task/23942/stat : 23942 (java) S 23875 23878 19747 0 -1 1077944384 24669 13321 0 0 221 5 5 3 20 0 15 0 416317922 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610855217520 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23943] ppid=23875 vsize=10849032 memory=670788 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23943/stat : 23943 (java) S 23875 23878 19747 0 -1 1077944384 3 13321 0 0 0 0 5 3 20 0 15 0 416317922 11109408768 167697 33554432000 4194304 4196468 140731924746800 140609713072608 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23944] ppid=23875 vsize=10849032 memory=670788 CPUtime=1.34 cores=1,3,5,7
/proc/23878/task/23944/stat : 23944 (java) S 23875 23878 19747 0 -1 1077944384 1308 13321 0 0 60 66 5 3 20 0 15 0 416317922 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610753256368 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 670788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2477.93 s]
# the end of solver process 23878 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.18 s, system=2.87413 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2477.9 s]
/proc/loadavg: 1.62 1.62 1.51 3/228 24457
/proc/meminfo: memFree=27615804/32770624 swapFree=66966972/67108860
[pid=23878] ppid=23875 vsize=10849032 memory=670788 CPUtime=2520.01 cores=1,3,5,7
/proc/23878/stat : 23878 (java) S 23875 23878 19747 0 -1 1077944320 227428 13321 0 0 251710 283 5 3 20 0 15 0 416317907 11109408768 167697 33554432000 4194304 4196468 140731924746800 140731924729344 140611432361719 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
/proc/23878/statm: 2712258 167697 3632 1 0 2674317 0
[pid=23878/tid=23931] ppid=23875 vsize=10849032 memory=1732 CPUtime=2458.21 cores=1,3,5,7
/proc/23878/task/23931/stat : 23931 (java) R 23875 23878 19747 0 -1 4202560 61838 13321 0 0 245777 36 5 3 20 0 15 0 416317916 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611404197712 140611008016042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23932] ppid=23875 vsize=10849032 memory=670788 CPUtime=9.91 cores=1,3,5,7
/proc/23878/task/23932/stat : 23932 (java) S 23875 23878 19747 0 -1 1077944384 12248 13321 0 0 949 34 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611436603792 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23933] ppid=23875 vsize=10849032 memory=670788 CPUtime=9.92 cores=1,3,5,7
/proc/23878/task/23933/stat : 23933 (java) S 23875 23878 19747 0 -1 1077944384 14940 13321 0 0 939 45 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611324877072 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23934] ppid=23875 vsize=10849032 memory=0 CPUtime=9.97 cores=1,3,5,7
/proc/23878/task/23934/stat : 23934 (java) S 23875 23878 19747 0 -1 1077944384 13027 13321 0 0 944 45 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611004918416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23935] ppid=23875 vsize=10849032 memory=670788 CPUtime=9.94 cores=1,3,5,7
/proc/23878/task/23935/stat : 23935 (java) S 23875 23878 19747 0 -1 1077944384 8482 13321 0 0 944 42 5 3 20 0 15 0 416317917 11109408768 167697 33554432000 4194304 4196468 140731924746800 140611003865616 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23936] ppid=23875 vsize=10849032 memory=0 CPUtime=8.45 cores=1,3,5,7
/proc/23878/task/23936/stat : 23936 (java) S 23875 23878 19747 0 -1 1077944384 13021 13321 0 0 800 37 5 3 20 0 15 0 416317918 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610891934320 140611432372866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23937] ppid=23875 vsize=10849032 memory=670788 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23937/stat : 23937 (java) S 23875 23878 19747 0 -1 1077944384 42 13321 0 0 0 0 5 3 20 0 15 0 416317919 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610890880416 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23938] ppid=23875 vsize=10849032 memory=670788 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23938/stat : 23938 (java) S 23875 23878 19747 0 -1 1077944384 11 13321 0 0 0 0 5 3 20 0 15 0 416317919 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610786813728 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23939] ppid=23875 vsize=10849032 memory=670788 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23939/stat : 23939 (java) S 23875 23878 19747 0 -1 1077944384 2 13321 0 0 0 0 5 3 20 0 15 0 416317921 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610182834768 140611432380315 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23940] ppid=23875 vsize=10849032 memory=670788 CPUtime=5.31 cores=1,3,5,7
/proc/23878/task/23940/stat : 23940 (java) S 23875 23878 19747 0 -1 1077944384 39692 13321 0 0 517 6 5 3 20 0 15 0 416317921 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610857322608 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23941] ppid=23875 vsize=10849032 memory=670788 CPUtime=5.22 cores=1,3,5,7
/proc/23878/task/23941/stat : 23941 (java) S 23875 23878 19747 0 -1 1077944384 35935 13321 0 0 509 5 5 3 20 0 15 0 416317921 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610856269808 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23942] ppid=23875 vsize=10849032 memory=6791534058613427641 CPUtime=2.34 cores=1,3,5,7
/proc/23878/task/23942/stat : 23942 (java) S 23875 23878 19747 0 -1 1077944384 24669 13321 0 0 221 5 5 3 20 0 15 0 416317922 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610855217520 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23943] ppid=23875 vsize=10849032 memory=670788 CPUtime=0.08 cores=1,3,5,7
/proc/23878/task/23943/stat : 23943 (java) S 23875 23878 19747 0 -1 1077944384 3 13321 0 0 0 0 5 3 20 0 15 0 416317922 11109408768 167697 33554432000 4194304 4196468 140731924746800 140609713072608 140611432371925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
[pid=23878/tid=23944] ppid=23875 vsize=10849032 memory=670788 CPUtime=1.34 cores=1,3,5,7
/proc/23878/task/23944/stat : 23944 (java) S 23875 23878 19747 0 -1 1077944384 1308 13321 0 0 60 66 5 3 20 0 15 0 416317922 11109408768 167697 33554432000 4194304 4196468 140731924746800 140610753256368 140611432372866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20746240 140731924749039 140731924751557 140731924751557 140731924754383 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 670788 KiB
Child status: 143
Real time (s): 2477.93
CPU time (s): 2520.06
CPU user time (s): 2517.18
CPU system time (s): 2.87413
CPU usage (%): 101.7
Max. virtual memory (cumulated for all children) (KiB): 10851728
Max. memory (cumulated for all children) (KiB): 703312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.18
system time used= 2.87413
maximum resident set size= 705360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241777
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222923
involuntary context switches= 4990
# summary of solver processes directly reported to runsolver:
# pid: 23878
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.18
# total CPU system time (s): 2.87413
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4902 second user time and 19.3159 second system time
The end