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 (10163 MiB free)
memory of node 1: 16384 MiB (12640 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302401-1532896406/watcher-4302401-1532896406 -o /tmp/evaluation-result-4302401-1532896406/solver-4302401-1532896406 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532895510-17593 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1252881333 HOME/instance-4302401-1532896406.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18642, runsolver pid=18639
[startup+0.100105 s]*
/proc/loadavg: 1.47 1.57 1.52 4/218 18684
/proc/meminfo: memFree=23339144/32770624 swapFree=67108860/67108860
[pid=18642] ppid=18639 vsize=10652 memory=692 CPUtime=0.08 cores=1,3,5,7
/proc/18642/stat : 18642 (java) R 18639 18642 6396 0 -1 4202496 1209 13102 0 0 0 0 5 3 20 0 1 0 107203760 10907648 166 33554432000 4194304 4196468 140724492086000 140724492064200 140027697622368 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
/proc/18642/statm: 2671 173 139 1 0 93 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10652 KiB
Current children cumulated memory: 692 KiB
[startup+0.210164 s]*
/proc/loadavg: 1.47 1.57 1.52 4/216 18708
/proc/meminfo: memFree=23324140/32770624 swapFree=67108860/67108860
[pid=18642] ppid=18639 vsize=10982744 memory=41140 CPUtime=0.24 cores=1,3,5,7
/proc/18642/stat : 18642 (java) S 18639 18642 6396 0 -1 1077944320 6515 13102 0 0 15 1 5 3 20 0 15 0 107203760 11246329856 10285 33554432000 4194304 4196468 140724492086000 140724492068544 140027704905463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
/proc/18642/statm: 2745686 10285 2946 1 0 2708109 0
[pid=18642/tid=18695] ppid=18639 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/18642/task/18695/stat : 18695 (java) R 18639 18642 6396 0 -1 4202560 3061 13102 0 0 9 0 5 3 20 0 15 0 107203771 11246329856 10285 33554432000 4194304 4196468 140724492086000 140027676728816 140027686469010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18696] ppid=18639 vsize=10982744 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18696/stat : 18696 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246329856 10285 33554432000 4194304 4196468 140724492086000 140027709148048 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18697] ppid=18639 vsize=10982744 memory=140081827706965 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18697/stat : 18697 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246329856 10285 33554432000 4194304 4196468 140724492086000 140027563866896 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18698] ppid=18639 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18698/stat : 18698 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246329856 10285 33554432000 4194304 4196468 140724492086000 140027562814608 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18699] ppid=18639 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18699/stat : 18699 (java) S 18639 18642 6396 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246329856 10285 33554432000 4194304 4196468 140724492086000 140027561761808 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18700] ppid=18639 vsize=10982744 memory=140081827063424 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18700/stat : 18700 (java) S 18639 18642 6396 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 15 0 107203774 11246329856 10285 33554432000 4194304 4196468 140724492086000 140027130497136 140027704916610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18701] ppid=18639 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18701/stat : 18701 (java) S 18639 18642 6396 0 -1 1077944384 13 13102 0 0 0 0 5 3 20 0 15 0 107203774 11246329856 10285 33554432000 4194304 4196468 140724492086000 140026483565344 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18702] ppid=18639 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18702/stat : 18702 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203774 11246329856 10285 33554432000 4194304 4196468 140724492086000 140026335716464 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18703] ppid=18639 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18703/stat : 18703 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11246329856 10285 33554432000 4194304 4196468 140724492086000 140026028316752 140027704924059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18704] ppid=18639 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18642/task/18704/stat : 18704 (java) S 18639 18642 6396 0 -1 1077944384 364 13102 0 0 1 0 5 3 20 0 15 0 107203777 11246329856 10285 33554432000 4194304 4196468 140724492086000 140027129444976 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18705] ppid=18639 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18705/stat : 18705 (java) S 18639 18642 6396 0 -1 1077944384 245 13102 0 0 0 0 5 3 20 0 15 0 107203777 11246329856 10285 33554432000 4194304 4196468 140724492086000 140027128392176 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18706] ppid=18639 vsize=10982744 memory=140081827063424 CPUtime=0.1 cores=1,3,5,7
/proc/18642/task/18706/stat : 18706 (java) S 18639 18642 6396 0 -1 1077944384 623 13102 0 0 2 0 5 3 20 0 15 0 107203777 11246329856 10285 33554432000 4194304 4196468 140724492086000 140027127339888 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18707] ppid=18639 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18707/stat : 18707 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11246329856 10285 33554432000 4194304 4196468 140724492086000 140025597520864 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18708] ppid=18639 vsize=10982744 memory=140081827063424 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18708/stat : 18708 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203777 11246329856 10285 33554432000 4194304 4196468 140724492086000 140027126286768 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41140 KiB
[startup+0.31036 s]*
/proc/loadavg: 1.47 1.57 1.52 3/216 18708
/proc/meminfo: memFree=23310868/32770624 swapFree=67108860/67108860
[pid=18642] ppid=18639 vsize=10983192 memory=54644 CPUtime=0.37 cores=1,3,5,7
/proc/18642/stat : 18642 (java) S 18639 18642 6396 0 -1 1077944320 9716 13102 0 0 27 2 5 3 20 0 15 0 107203760 11246788608 13661 33554432000 4194304 4196468 140724492086000 140724492068544 140027704905463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
/proc/18642/statm: 2745798 13661 3065 1 0 2708109 0
[pid=18642/tid=18695] ppid=18639 vsize=10983192 memory=576461178948550685 CPUtime=0.27 cores=1,3,5,7
/proc/18642/task/18695/stat : 18695 (java) R 18639 18642 6396 0 -1 4202560 6248 13102 0 0 18 1 5 3 20 0 15 0 107203771 11246788608 13661 33554432000 4194304 4196468 140724492086000 140027676717472 140027688092297 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18696] ppid=18639 vsize=10983192 memory=303711724064997399 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18696/stat : 18696 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246788608 13661 33554432000 4194304 4196468 140724492086000 140027709148048 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18697] ppid=18639 vsize=10983192 memory=14272350481458840 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18697/stat : 18697 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246788608 13661 33554432000 4194304 4196468 140724492086000 140027563866896 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18698] ppid=18639 vsize=10983192 memory=-9103030981133442421 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18698/stat : 18698 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246788608 13661 33554432000 4194304 4196468 140724492086000 140027562814608 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18699] ppid=18639 vsize=10983192 memory=3472328296225127011 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18699/stat : 18699 (java) S 18639 18642 6396 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246788608 13661 33554432000 4194304 4196468 140724492086000 140027561761808 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18700] ppid=18639 vsize=10983192 memory=7008596729028859568 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18700/stat : 18700 (java) S 18639 18642 6396 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 15 0 107203774 11246788608 13661 33554432000 4194304 4196468 140724492086000 140027130497136 140027704916610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18701] ppid=18639 vsize=10983192 memory=7378697629483820645 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18701/stat : 18701 (java) S 18639 18642 6396 0 -1 1077944384 13 13102 0 0 0 0 5 3 20 0 15 0 107203774 11246788608 13661 33554432000 4194304 4196468 140724492086000 140026483565344 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18702] ppid=18639 vsize=10983192 memory=-2317720213663324238 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18702/stat : 18702 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203774 11246788608 13661 33554432000 4194304 4196468 140724492086000 140026335716464 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18703] ppid=18639 vsize=10983192 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18703/stat : 18703 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11246788608 13661 33554432000 4194304 4196468 140724492086000 140026028316752 140027704924059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18704] ppid=18639 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/18642/task/18704/stat : 18704 (java) S 18639 18642 6396 0 -1 1077944384 364 13102 0 0 2 0 5 3 20 0 15 0 107203777 11246788608 13661 33554432000 4194304 4196468 140724492086000 140027129444976 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18705] ppid=18639 vsize=10983192 memory=7307199747045421918 CPUtime=0.09 cores=1,3,5,7
/proc/18642/task/18705/stat : 18705 (java) S 18639 18642 6396 0 -1 1077944384 248 13102 0 0 1 0 5 3 20 0 15 0 107203777 11246788608 13661 33554432000 4194304 4196468 140724492086000 140027128392176 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18706] ppid=18639 vsize=10983192 memory=140081827063424 CPUtime=0.12 cores=1,3,5,7
/proc/18642/task/18706/stat : 18706 (java) S 18639 18642 6396 0 -1 1077944384 634 13102 0 0 4 0 5 3 20 0 15 0 107203777 11246788608 13661 33554432000 4194304 4196468 140724492086000 140027127339888 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18707] ppid=18639 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18707/stat : 18707 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11246788608 13661 33554432000 4194304 4196468 140724492086000 140025597520864 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18708] ppid=18639 vsize=10983192 memory=140081827063424 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18708/stat : 18708 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203777 11246788608 13661 33554432000 4194304 4196468 140724492086000 140027126286768 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54644 KiB
[startup+0.700762 s]
/proc/loadavg: 1.47 1.57 1.52 3/216 18708
/proc/meminfo: memFree=23297964/32770624 swapFree=67108860/67108860
[pid=18642] ppid=18639 vsize=10983192 memory=89040 CPUtime=0.97 cores=1,3,5,7
/proc/18642/stat : 18642 (java) S 18639 18642 6396 0 -1 1077944320 16341 13102 0 0 85 4 5 3 20 0 15 0 107203760 11246788608 22223 33554432000 4194304 4196468 140724492086000 140724492068544 140027704905463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
/proc/18642/statm: 2745798 22223 3237 1 0 2708109 0
[pid=18642/tid=18695] ppid=18639 vsize=10983192 memory=150 CPUtime=0.65 cores=1,3,5,7
/proc/18642/task/18695/stat : 18695 (java) R 18639 18642 6396 0 -1 4202560 11866 13102 0 0 54 3 5 3 20 0 15 0 107203771 11246788608 22260 33554432000 4194304 4196468 140724492086000 140027676728464 140027697622426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18696] ppid=18639 vsize=10983192 memory=502 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18696/stat : 18696 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246788608 22260 33554432000 4194304 4196468 140724492086000 140027709148048 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18697] ppid=18639 vsize=10983192 memory=177 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18697/stat : 18697 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246788608 22260 33554432000 4194304 4196468 140724492086000 140027563866896 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18698] ppid=18639 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18698/stat : 18698 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246788608 22260 33554432000 4194304 4196468 140724492086000 140027562814608 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18699] ppid=18639 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18699/stat : 18699 (java) S 18639 18642 6396 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 15 0 107203772 11246788608 22260 33554432000 4194304 4196468 140724492086000 140027561761808 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18700] ppid=18639 vsize=10983192 memory=322 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18700/stat : 18700 (java) S 18639 18642 6396 0 -1 1077944384 5 13102 0 0 0 0 5 3 20 0 15 0 107203774 11246788608 22260 33554432000 4194304 4196468 140724492086000 140027130497136 140027704916610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18701] ppid=18639 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18701/stat : 18701 (java) S 18639 18642 6396 0 -1 1077944384 13 13102 0 0 0 0 5 3 20 0 15 0 107203774 11246788608 22260 33554432000 4194304 4196468 140724492086000 140026483565344 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18702] ppid=18639 vsize=10983192 memory=6442770220348101221 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18702/stat : 18702 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203774 11246788608 22260 33554432000 4194304 4196468 140724492086000 140026335716464 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18703] ppid=18639 vsize=10983192 memory=7007707949394126417 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18703/stat : 18703 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11246788608 22260 33554432000 4194304 4196468 140724492086000 140026028316752 140027704924059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18704] ppid=18639 vsize=10983192 memory=7516877558933115989 CPUtime=0.15 cores=1,3,5,7
/proc/18642/task/18704/stat : 18704 (java) S 18639 18642 6396 0 -1 1077944384 757 13102 0 0 7 0 5 3 20 0 15 0 107203777 11246788608 22260 33554432000 4194304 4196468 140724492086000 140027129444976 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18705] ppid=18639 vsize=10983192 memory=8041645962788481611 CPUtime=0.17 cores=1,3,5,7
/proc/18642/task/18705/stat : 18705 (java) S 18639 18642 6396 0 -1 1077944384 809 13102 0 0 9 0 5 3 20 0 15 0 107203777 11246788608 22260 33554432000 4194304 4196468 140724492086000 140027128392176 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18706] ppid=18639 vsize=10983192 memory=8370611207638964880 CPUtime=0.21 cores=1,3,5,7
/proc/18642/task/18706/stat : 18706 (java) S 18639 18642 6396 0 -1 1077944384 685 13102 0 0 13 0 5 3 20 0 15 0 107203777 11246788608 22260 33554432000 4194304 4196468 140724492086000 140027127339888 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18707] ppid=18639 vsize=10983192 memory=-7025452035942946156 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18707/stat : 18707 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11246788608 22260 33554432000 4194304 4196468 140724492086000 140025597520864 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18708] ppid=18639 vsize=10983192 memory=16412 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18708/stat : 18708 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203777 11246788608 22260 33554432000 4194304 4196468 140724492086000 140027126286768 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89040 KiB
[startup+1.50159 s]
/proc/loadavg: 1.47 1.57 1.52 4/216 18708
/proc/meminfo: memFree=23255676/32770624 swapFree=67108860/67108860
[pid=18642] ppid=18639 vsize=10998092 memory=179636 CPUtime=2.28 cores=1,3,5,7
/proc/18642/stat : 18642 (java) S 18639 18642 6396 0 -1 1077944320 23445 13102 0 0 212 8 5 3 20 0 15 0 107203760 11262046208 44909 33554432000 4194304 4196468 140724492086000 140724492068544 140027704905463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
/proc/18642/statm: 2749523 44909 3467 1 0 2711181 0
[pid=18642/tid=18695] ppid=18639 vsize=10998092 memory=0 CPUtime=1.41 cores=1,3,5,7
/proc/18642/task/18695/stat : 18695 (java) R 18639 18642 6396 0 -1 4202560 17362 13102 0 0 129 4 5 3 20 0 15 0 107203771 11262046208 44909 33554432000 4194304 4196468 140724492086000 140027676716320 140027704917398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18696] ppid=18639 vsize=10998092 memory=3920776445289574400 CPUtime=0.09 cores=1,3,5,7
/proc/18642/task/18696/stat : 18696 (java) S 18639 18642 6396 0 -1 1077944384 25 13102 0 0 1 0 5 3 20 0 15 0 107203772 11262046208 44909 33554432000 4194304 4196468 140724492086000 140027709148048 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18697] ppid=18639 vsize=10998092 memory=7233723735778421609 CPUtime=0.09 cores=1,3,5,7
/proc/18642/task/18697/stat : 18697 (java) S 18639 18642 6396 0 -1 1077944384 212 13102 0 0 1 0 5 3 20 0 15 0 107203772 11262046208 44909 33554432000 4194304 4196468 140724492086000 140027563866896 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18698] ppid=18639 vsize=10998092 memory=7308895142485716329 CPUtime=0.09 cores=1,3,5,7
/proc/18642/task/18698/stat : 18698 (java) S 18639 18642 6396 0 -1 1077944384 53 13102 0 0 1 0 5 3 20 0 15 0 107203772 11262046208 44909 33554432000 4194304 4196468 140724492086000 140027562814608 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18699] ppid=18639 vsize=10998092 memory=7233723714202922344 CPUtime=0.09 cores=1,3,5,7
/proc/18642/task/18699/stat : 18699 (java) S 18639 18642 6396 0 -1 1077944384 33 13102 0 0 1 0 5 3 20 0 15 0 107203772 11262046208 44909 33554432000 4194304 4196468 140724492086000 140027561761808 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18700] ppid=18639 vsize=10998092 memory=5793132596974412631 CPUtime=0.09 cores=1,3,5,7
/proc/18642/task/18700/stat : 18700 (java) S 18639 18642 6396 0 -1 1077944384 64 13102 0 0 1 0 5 3 20 0 15 0 107203774 11262046208 44909 33554432000 4194304 4196468 140724492086000 140027130497136 140027704916610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18701] ppid=18639 vsize=10998092 memory=7446847395923799193 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18701/stat : 18701 (java) S 18639 18642 6396 0 -1 1077944384 13 13102 0 0 0 0 5 3 20 0 15 0 107203774 11262046208 44909 33554432000 4194304 4196468 140724492086000 140026483565408 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18702] ppid=18639 vsize=10998092 memory=11353992382 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18702/stat : 18702 (java) S 18639 18642 6396 0 -1 1077944384 2 13102 0 0 0 0 5 3 20 0 15 0 107203774 11262046208 44909 33554432000 4194304 4196468 140724492086000 140026335716464 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18703] ppid=18639 vsize=10998092 memory=280163401334744 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18703/stat : 18703 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11262046208 44909 33554432000 4194304 4196468 140724492086000 140026028316752 140027704924059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18704] ppid=18639 vsize=10998092 memory=280163401594224 CPUtime=0.28 cores=1,3,5,7
/proc/18642/task/18704/stat : 18704 (java) S 18639 18642 6396 0 -1 1077944384 1268 13102 0 0 20 0 5 3 20 0 15 0 107203777 11262046208 44909 33554432000 4194304 4196468 140724492086000 140027129444976 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18705] ppid=18639 vsize=10998092 memory=6655300316396806240 CPUtime=0.29 cores=1,3,5,7
/proc/18642/task/18705/stat : 18705 (java) S 18639 18642 6396 0 -1 1077944384 937 13102 0 0 21 0 5 3 20 0 15 0 107203777 11262046208 44909 33554432000 4194304 4196468 140724492086000 140027128392176 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18706] ppid=18639 vsize=10998092 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/18642/task/18706/stat : 18706 (java) R 18639 18642 6396 0 -1 4202560 1275 13102 0 0 33 0 5 3 20 0 15 0 107203777 11262046208 44909 33554432000 4194304 4196468 140724492086000 140027127339888 140027704917398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18707] ppid=18639 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18707/stat : 18707 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11262046208 44909 33554432000 4194304 4196468 140724492086000 140025597520864 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18708] ppid=18639 vsize=10998092 memory=12073153071324 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18708/stat : 18708 (java) S 18639 18642 6396 0 -1 1077944384 1 13102 0 0 0 0 5 3 20 0 15 0 107203777 11262046208 44909 33554432000 4194304 4196468 140724492086000 140027126286768 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 179636 KiB
[startup+3.11068 s]
/proc/loadavg: 1.51 1.58 1.52 4/216 18708
/proc/meminfo: memFree=23115984/32770624 swapFree=67108860/67108860
[pid=18642] ppid=18639 vsize=11010400 memory=249008 CPUtime=5.48 cores=1,3,5,7
/proc/18642/stat : 18642 (java) S 18639 18642 6396 0 -1 1077944320 37573 13102 0 0 526 14 5 3 20 0 15 0 107203760 11274649600 62252 33554432000 4194304 4196468 140724492086000 140724492068544 140027704905463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
/proc/18642/statm: 2752600 62252 3487 1 0 2714253 0
[pid=18642/tid=18695] ppid=18639 vsize=11010400 memory=2241 CPUtime=2.97 cores=1,3,5,7
/proc/18642/task/18695/stat : 18695 (java) R 18639 18642 6396 0 -1 4202560 26574 13102 0 0 281 8 5 3 20 0 15 0 107203771 11274649600 62252 33554432000 4194304 4196468 140724492086000 140027676730912 140027686311752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
################
# More data... #
################
/proc/18642/task/18695/stat : 18695 (java) R 18639 18642 6396 0 -1 4202560 52488 13102 0 0 16088 17 5 3 20 0 15 0 107203771 11345952768 185437 33554432000 4194304 4196468 140724492086000 140027676739920 140027237161216 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18696] ppid=18639 vsize=11080032 memory=741748 CPUtime=0.55 cores=1,3,5,7
/proc/18642/task/18696/stat : 18696 (java) S 18639 18642 6396 0 -1 1077944384 2989 13102 0 0 42 5 5 3 20 0 15 0 107203772 11345952768 185437 33554432000 4194304 4196468 140724492086000 140027709148048 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18697] ppid=18639 vsize=11080032 memory=741748 CPUtime=0.55 cores=1,3,5,7
/proc/18642/task/18697/stat : 18697 (java) S 18639 18642 6396 0 -1 1077944384 2356 13102 0 0 43 4 5 3 20 0 15 0 107203772 11345952768 185437 33554432000 4194304 4196468 140724492086000 140027563866896 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18698] ppid=18639 vsize=11080032 memory=741708 CPUtime=0.55 cores=1,3,5,7
/proc/18642/task/18698/stat : 18698 (java) S 18639 18642 6396 0 -1 1077944384 2408 13102 0 0 43 4 5 3 20 0 15 0 107203772 11345952768 185437 33554432000 4194304 4196468 140724492086000 140027562814608 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18699] ppid=18639 vsize=11080032 memory=741748 CPUtime=0.55 cores=1,3,5,7
/proc/18642/task/18699/stat : 18699 (java) S 18639 18642 6396 0 -1 1077944384 2500 13102 0 0 42 5 5 3 20 0 15 0 107203772 11345952768 185437 33554432000 4194304 4196468 140724492086000 140027561761808 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18700] ppid=18639 vsize=11080032 memory=741708 CPUtime=0.52 cores=1,3,5,7
/proc/18642/task/18700/stat : 18700 (java) S 18639 18642 6396 0 -1 1077944384 3278 13102 0 0 42 2 5 3 20 0 15 0 107203774 11345952768 185437 33554432000 4194304 4196468 140724492086000 140027130497136 140027704916610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18701] ppid=18639 vsize=11080032 memory=741748 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18701/stat : 18701 (java) S 18639 18642 6396 0 -1 1077944384 14 13102 0 0 0 0 5 3 20 0 15 0 107203774 11345952768 185437 33554432000 4194304 4196468 140724492086000 140026483565472 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18702] ppid=18639 vsize=11080032 memory=741748 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18702/stat : 18702 (java) S 18639 18642 6396 0 -1 1077944384 5 13102 0 0 0 0 5 3 20 0 15 0 107203774 11345952768 185437 33554432000 4194304 4196468 140724492086000 140026335716480 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18703] ppid=18639 vsize=11080032 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18703/stat : 18703 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11345952768 185437 33554432000 4194304 4196468 140724492086000 140026028316752 140027704924059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18704] ppid=18639 vsize=11080032 memory=741748 CPUtime=5.03 cores=1,3,5,7
/proc/18642/task/18704/stat : 18704 (java) S 18639 18642 6396 0 -1 1077944384 22005 13102 0 0 492 3 5 3 20 0 15 0 107203777 11345952768 185437 33554432000 4194304 4196468 140724492086000 140027129444976 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18705] ppid=18639 vsize=11080032 memory=741748 CPUtime=4.45 cores=1,3,5,7
/proc/18642/task/18705/stat : 18705 (java) S 18639 18642 6396 0 -1 1077944384 17348 13102 0 0 434 3 5 3 20 0 15 0 107203777 11345952768 185437 33554432000 4194304 4196468 140724492086000 140027128392176 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18706] ppid=18639 vsize=11080032 memory=741748 CPUtime=2.39 cores=1,3,5,7
/proc/18642/task/18706/stat : 18706 (java) S 18639 18642 6396 0 -1 1077944384 16640 13102 0 0 226 5 5 3 20 0 15 0 107203777 11345952768 185437 33554432000 4194304 4196468 140724492086000 140027127339888 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18707] ppid=18639 vsize=11080032 memory=741748 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18707/stat : 18707 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11345952768 185437 33554432000 4194304 4196468 140724492086000 140025597520864 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18708] ppid=18639 vsize=11080032 memory=741748 CPUtime=0.16 cores=1,3,5,7
/proc/18642/task/18708/stat : 18708 (java) S 18639 18642 6396 0 -1 1077944384 507 13102 0 0 4 4 5 3 20 0 15 0 107203777 11345952768 185437 33554432000 4194304 4196468 140724492086000 140027126286768 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
Current children cumulated CPU time: 175.28 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 741748 KiB
[startup+222.301 s]
/proc/loadavg: 1.63 1.54 1.51 3/215 18842
/proc/meminfo: memFree=19911632/32770624 swapFree=67108860/67108860
[pid=18642] ppid=18639 vsize=11080032 memory=741840 CPUtime=237.29 cores=1,3,5,7
/proc/18642/stat : 18642 (java) S 18639 18642 6396 0 -1 1077944320 126998 13102 0 0 23658 63 5 3 20 0 15 0 107203760 11345952768 185460 33554432000 4194304 4196468 140724492086000 140724492068544 140027704905463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
/proc/18642/statm: 2770008 185460 3520 1 0 2731661 0
[pid=18642/tid=18695] ppid=18639 vsize=11080032 memory=741840 CPUtime=220.53 cores=1,3,5,7
/proc/18642/task/18695/stat : 18695 (java) R 18639 18642 6396 0 -1 4202560 53024 13102 0 0 22027 18 5 3 20 0 15 0 107203771 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027676740064 140027704919317 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18696] ppid=18639 vsize=11080032 memory=1228 CPUtime=0.82 cores=1,3,5,7
/proc/18642/task/18696/stat : 18696 (java) S 18639 18642 6396 0 -1 1077944384 3059 13102 0 0 68 6 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027709148048 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18697] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.82 cores=1,3,5,7
/proc/18642/task/18697/stat : 18697 (java) S 18639 18642 6396 0 -1 1077944384 3437 13102 0 0 68 6 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027563866896 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18698] ppid=18639 vsize=11080032 memory=741764 CPUtime=0.81 cores=1,3,5,7
/proc/18642/task/18698/stat : 18698 (java) S 18639 18642 6396 0 -1 1077944384 2433 13102 0 0 68 5 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027562814608 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18699] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.83 cores=1,3,5,7
/proc/18642/task/18699/stat : 18699 (java) S 18639 18642 6396 0 -1 1077944384 2522 13102 0 0 68 7 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027561761808 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18700] ppid=18639 vsize=11080032 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/18642/task/18700/stat : 18700 (java) S 18639 18642 6396 0 -1 1077944384 3287 13102 0 0 67 3 5 3 20 0 15 0 107203774 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027130497136 140027704916610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18701] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18701/stat : 18701 (java) S 18639 18642 6396 0 -1 1077944384 14 13102 0 0 0 0 5 3 20 0 15 0 107203774 11345952768 185460 33554432000 4194304 4196468 140724492086000 140026483565472 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18702] ppid=18639 vsize=11080032 memory=8600 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18702/stat : 18702 (java) S 18639 18642 6396 0 -1 1077944384 5 13102 0 0 0 0 5 3 20 0 15 0 107203774 11345952768 185460 33554432000 4194304 4196468 140724492086000 140026335716480 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18703] ppid=18639 vsize=11080032 memory=741764 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18703/stat : 18703 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140026028316752 140027704924059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18704] ppid=18639 vsize=11080032 memory=741840 CPUtime=5.53 cores=1,3,5,7
/proc/18642/task/18704/stat : 18704 (java) S 18639 18642 6396 0 -1 1077944384 22102 13102 0 0 542 3 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027129444976 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18705] ppid=18639 vsize=11080032 memory=741840 CPUtime=4.94 cores=1,3,5,7
/proc/18642/task/18705/stat : 18705 (java) S 18639 18642 6396 0 -1 1077944384 17391 13102 0 0 483 3 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027128392176 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18706] ppid=18639 vsize=11080032 memory=741840 CPUtime=2.64 cores=1,3,5,7
/proc/18642/task/18706/stat : 18706 (java) S 18639 18642 6396 0 -1 1077944384 17011 13102 0 0 250 6 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027127339888 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18707] ppid=18639 vsize=11080032 memory=2200 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18707/stat : 18707 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140025597520864 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18708] ppid=18639 vsize=11080032 memory=7528 CPUtime=0.2 cores=1,3,5,7
/proc/18642/task/18708/stat : 18708 (java) S 18639 18642 6396 0 -1 1077944384 513 13102 0 0 5 7 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027126286768 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
Current children cumulated CPU time: 237.29 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 741840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+236.701 s]
/proc/loadavg: 1.54 1.52 1.51 3/215 18842
/proc/meminfo: memFree=19905640/32770624 swapFree=67108860/67108860
[pid=18642] ppid=18639 vsize=11080032 memory=741840 CPUtime=252.07 cores=1,3,5,7
/proc/18642/stat : 18642 (java) S 18639 18642 6396 0 -1 1077944320 128022 13102 0 0 25133 66 5 3 20 0 15 0 107203760 11345952768 185460 33554432000 4194304 4196468 140724492086000 140724492068544 140027704905463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
/proc/18642/statm: 2770008 185460 3520 1 0 2731661 0
[pid=18642/tid=18695] ppid=18639 vsize=11080032 memory=741840 CPUtime=234.77 cores=1,3,5,7
/proc/18642/task/18695/stat : 18695 (java) R 18639 18642 6396 0 -1 4202560 53126 13102 0 0 23451 18 5 3 20 0 15 0 107203771 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027676737184 140027237161038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18696] ppid=18639 vsize=11080032 memory=796 CPUtime=0.89 cores=1,3,5,7
/proc/18642/task/18696/stat : 18696 (java) S 18639 18642 6396 0 -1 1077944384 3064 13102 0 0 75 6 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027709148048 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18697] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.89 cores=1,3,5,7
/proc/18642/task/18697/stat : 18697 (java) S 18639 18642 6396 0 -1 1077944384 3469 13102 0 0 75 6 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027563866896 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18698] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.88 cores=1,3,5,7
/proc/18642/task/18698/stat : 18698 (java) S 18639 18642 6396 0 -1 1077944384 2435 13102 0 0 75 5 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027562814608 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18699] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.89 cores=1,3,5,7
/proc/18642/task/18699/stat : 18699 (java) S 18639 18642 6396 0 -1 1077944384 2524 13102 0 0 74 7 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027561761808 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18700] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.85 cores=1,3,5,7
/proc/18642/task/18700/stat : 18700 (java) S 18639 18642 6396 0 -1 1077944384 3310 13102 0 0 73 4 5 3 20 0 15 0 107203774 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027130497136 140027704916610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18701] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18701/stat : 18701 (java) S 18639 18642 6396 0 -1 1077944384 14 13102 0 0 0 0 5 3 20 0 15 0 107203774 11345952768 185460 33554432000 4194304 4196468 140724492086000 140026483565472 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18702] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18702/stat : 18702 (java) S 18639 18642 6396 0 -1 1077944384 5 13102 0 0 0 0 5 3 20 0 15 0 107203774 11345952768 185460 33554432000 4194304 4196468 140724492086000 140026335716480 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18703] ppid=18639 vsize=11080032 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18703/stat : 18703 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140026028316752 140027704924059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18704] ppid=18639 vsize=11080032 memory=3144 CPUtime=5.59 cores=1,3,5,7
/proc/18642/task/18704/stat : 18704 (java) S 18639 18642 6396 0 -1 1077944384 22597 13102 0 0 548 3 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027129444976 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18705] ppid=18639 vsize=11080032 memory=4128 CPUtime=5.01 cores=1,3,5,7
/proc/18642/task/18705/stat : 18705 (java) S 18639 18642 6396 0 -1 1077944384 17642 13102 0 0 490 3 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027128392176 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18706] ppid=18639 vsize=11080032 memory=30456 CPUtime=2.69 cores=1,3,5,7
/proc/18642/task/18706/stat : 18706 (java) S 18639 18642 6396 0 -1 1077944384 17117 13102 0 0 255 6 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027127339888 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18707] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18707/stat : 18707 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140025597520864 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18708] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.2 cores=1,3,5,7
/proc/18642/task/18708/stat : 18708 (java) S 18639 18642 6396 0 -1 1077944384 519 13102 0 0 5 7 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027126286768 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 741840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+236.736 s]
# the end of solver process 18642 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.411 s, system=0.708954 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+236.701 s]
/proc/loadavg: 1.54 1.52 1.51 3/215 18842
/proc/meminfo: memFree=19905640/32770624 swapFree=67108860/67108860
[pid=18642] ppid=18639 vsize=11080032 memory=741840 CPUtime=252.07 cores=1,3,5,7
/proc/18642/stat : 18642 (java) S 18639 18642 6396 0 -1 1077944320 128022 13102 0 0 25133 66 5 3 20 0 15 0 107203760 11345952768 185460 33554432000 4194304 4196468 140724492086000 140724492068544 140027704905463 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
/proc/18642/statm: 2770008 185460 3520 1 0 2731661 0
[pid=18642/tid=18695] ppid=18639 vsize=11080032 memory=741840 CPUtime=234.77 cores=1,3,5,7
/proc/18642/task/18695/stat : 18695 (java) R 18639 18642 6396 0 -1 4202560 53126 13102 0 0 23451 18 5 3 20 0 15 0 107203771 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027676737184 140027237161038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18696] ppid=18639 vsize=11080032 memory=796 CPUtime=0.89 cores=1,3,5,7
/proc/18642/task/18696/stat : 18696 (java) S 18639 18642 6396 0 -1 1077944384 3064 13102 0 0 75 6 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027709148048 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18697] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.89 cores=1,3,5,7
/proc/18642/task/18697/stat : 18697 (java) S 18639 18642 6396 0 -1 1077944384 3469 13102 0 0 75 6 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027563866896 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18698] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.88 cores=1,3,5,7
/proc/18642/task/18698/stat : 18698 (java) S 18639 18642 6396 0 -1 1077944384 2435 13102 0 0 75 5 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027562814608 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18699] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.89 cores=1,3,5,7
/proc/18642/task/18699/stat : 18699 (java) S 18639 18642 6396 0 -1 1077944384 2524 13102 0 0 74 7 5 3 20 0 15 0 107203772 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027561761808 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18700] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.85 cores=1,3,5,7
/proc/18642/task/18700/stat : 18700 (java) S 18639 18642 6396 0 -1 1077944384 3310 13102 0 0 73 4 5 3 20 0 15 0 107203774 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027130497136 140027704916610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18701] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18701/stat : 18701 (java) S 18639 18642 6396 0 -1 1077944384 14 13102 0 0 0 0 5 3 20 0 15 0 107203774 11345952768 185460 33554432000 4194304 4196468 140724492086000 140026483565472 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18702] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18702/stat : 18702 (java) S 18639 18642 6396 0 -1 1077944384 5 13102 0 0 0 0 5 3 20 0 15 0 107203774 11345952768 185460 33554432000 4194304 4196468 140724492086000 140026335716480 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18703] ppid=18639 vsize=11080032 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18703/stat : 18703 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140026028316752 140027704924059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18704] ppid=18639 vsize=11080032 memory=3144 CPUtime=5.59 cores=1,3,5,7
/proc/18642/task/18704/stat : 18704 (java) S 18639 18642 6396 0 -1 1077944384 22597 13102 0 0 548 3 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027129444976 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18705] ppid=18639 vsize=11080032 memory=4128 CPUtime=5.01 cores=1,3,5,7
/proc/18642/task/18705/stat : 18705 (java) S 18639 18642 6396 0 -1 1077944384 17642 13102 0 0 490 3 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027128392176 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18706] ppid=18639 vsize=11080032 memory=30456 CPUtime=2.69 cores=1,3,5,7
/proc/18642/task/18706/stat : 18706 (java) S 18639 18642 6396 0 -1 1077944384 17117 13102 0 0 255 6 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027127339888 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18707] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.08 cores=1,3,5,7
/proc/18642/task/18707/stat : 18707 (java) S 18639 18642 6396 0 -1 1077944384 3 13102 0 0 0 0 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140025597520864 140027704915669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
[pid=18642/tid=18708] ppid=18639 vsize=11080032 memory=741840 CPUtime=0.2 cores=1,3,5,7
/proc/18642/task/18708/stat : 18708 (java) S 18639 18642 6396 0 -1 1077944384 519 13102 0 0 5 7 5 3 20 0 15 0 107203777 11345952768 185460 33554432000 4194304 4196468 140724492086000 140027126286768 140027704916610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18837504 140724492094065 140724492096865 140724492096865 140724492099535 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 741840 KiB
Child status: 143
Real time (s): 236.736
CPU time (s): 252.12
CPU user time (s): 251.411
CPU system time (s): 0.708954
CPU usage (%): 106.498
Max. virtual memory (cumulated for all children) (KiB): 11082740
Max. memory (cumulated for all children) (KiB): 758620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.411
system time used= 0.708954
maximum resident set size= 759632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141875
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31644
involuntary context switches= 740
# summary of solver processes directly reported to runsolver:
# pid: 18642
# total CPU time (s): 252.12
# total CPU user time (s): 251.411
# total CPU system time (s): 0.708954
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39778 second user time and 2.27759 second system time
The end