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 (12525 MiB free)
memory of node 1: 16384 MiB (14049 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302408-1532896261/watcher-4302408-1532896261 -o /tmp/evaluation-result-4302408-1532896261/solver-4302408-1532896261 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14550 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1578621366 HOME/instance-4302408-1532896261.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18869, runsolver pid=18866
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 1.94 1.88 1.86 3/207 18926
/proc/meminfo: memFree=27207736/32770624 swapFree=67108436/67108860
[pid=18869] ppid=18866 vsize=10005480 memory=18864 CPUtime=0.09 cores=1,3,5,7
/proc/18869/stat : 18869 (java) S 18866 18869 9814 0 -1 1077944320 4375 12993 0 0 1 1 5 2 20 0 6 0 107189259 10245611520 4716 33554432000 4194304 4196468 140727363702944 140727363685488 140365154774775 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
/proc/18869/statm: 2501370 4716 1935 1 0 2489808 0
[pid=18869/tid=18922] ppid=18866 vsize=10005480 memory=4279135703980344719 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18922/stat : 18922 (java) R 18866 18869 9814 0 -1 4202560 2188 12993 0 0 0 0 5 2 20 0 6 0 107189268 10245611520 4716 33554432000 4194304 4196468 140727363702944 140365126611536 140365147011902 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18923] ppid=18866 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18923/stat : 18923 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 6 0 107189269 10245611520 4716 33554432000 4194304 4196468 140727363702944 140365159016976 140365154784981 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18924] ppid=18866 vsize=10005480 memory=140716711433856 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18924/stat : 18924 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 6 0 107189269 10245611520 4716 33554432000 4194304 4196468 140727363702944 140365040282256 140365154784981 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18925] ppid=18866 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18925/stat : 18925 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 6 0 107189269 10245611520 4716 33554432000 4194304 4196468 140727363702944 140365039229200 140365154784981 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18926] ppid=18866 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18926/stat : 18926 (java) S 18866 18869 9814 0 -1 1077944384 2 12993 0 0 0 0 5 2 20 0 6 0 107189269 10245611520 4716 33554432000 4194304 4196468 140727363702944 140365038176656 140365154784981 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18864 KiB
[startup+0.210068 s]*
/proc/loadavg: 1.94 1.88 1.86 3/216 18935
/proc/meminfo: memFree=27183760/32770624 swapFree=67108436/67108860
[pid=18869] ppid=18866 vsize=10982744 memory=44752 CPUtime=0.25 cores=1,3,5,7
/proc/18869/stat : 18869 (java) S 18866 18869 9814 0 -1 1077944320 7922 12993 0 0 16 2 5 2 20 0 15 0 107189259 11246329856 11188 33554432000 4194304 4196468 140727363702944 140727363685488 140365154774775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
/proc/18869/statm: 2745686 11188 2954 1 0 2708109 0
[pid=18869/tid=18922] ppid=18866 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/18869/task/18922/stat : 18922 (java) R 18866 18869 9814 0 -1 4202560 4544 12993 0 0 10 1 5 2 20 0 15 0 107189268 11247345664 11254 33554432000 4194304 4196468 140727363702944 140365126599584 140365147454493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18923] ppid=18866 vsize=10983736 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18923/stat : 18923 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189269 11247345664 11320 33554432000 4194304 4196468 140727363702944 140365159016976 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18924] ppid=18866 vsize=10983736 memory=140716711452725 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18924/stat : 18924 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189269 11247345664 11320 33554432000 4194304 4196468 140727363702944 140365040282256 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18925] ppid=18866 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18925/stat : 18925 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189269 11247345664 11320 33554432000 4194304 4196468 140727363702944 140365039229200 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18926] ppid=18866 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18926/stat : 18926 (java) S 18866 18869 9814 0 -1 1077944384 2 12993 0 0 0 0 5 2 20 0 15 0 107189269 11247345664 11320 33554432000 4194304 4196468 140727363702944 140365038176656 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18927] ppid=18866 vsize=10983736 memory=140716711433856 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18927/stat : 18927 (java) S 18866 18869 9814 0 -1 1077944384 2 12993 0 0 0 0 5 2 20 0 15 0 107189270 11247345664 11320 33554432000 4194304 4196468 140727363702944 140364647873264 140365154785922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18928] ppid=18866 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18928/stat : 18928 (java) S 18866 18869 9814 0 -1 1077944384 13 12993 0 0 0 0 5 2 20 0 15 0 107189271 11247345664 11386 33554432000 4194304 4196468 140727363702944 140363960411808 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18929] ppid=18866 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18929/stat : 18929 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189271 11247345664 11386 33554432000 4194304 4196468 140727363702944 140363759084784 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18930] ppid=18866 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18930/stat : 18930 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11247345664 11386 33554432000 4194304 4196468 140727363702944 140363451685328 140365154793371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18931] ppid=18866 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18869/task/18931/stat : 18931 (java) S 18866 18869 9814 0 -1 1077944384 424 12993 0 0 1 0 5 2 20 0 15 0 107189274 11247345664 11386 33554432000 4194304 4196468 140727363702944 140364646820080 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18932] ppid=18866 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18869/task/18932/stat : 18932 (java) S 18866 18869 9814 0 -1 1077944384 182 12993 0 0 1 0 5 2 20 0 15 0 107189274 11247345664 11386 33554432000 4194304 4196468 140727363702944 140364645767536 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18933] ppid=18866 vsize=10983736 memory=140716711433856 CPUtime=0.1 cores=1,3,5,7
/proc/18869/task/18933/stat : 18933 (java) S 18866 18869 9814 0 -1 1077944384 614 12993 0 0 3 0 5 2 20 0 15 0 107189274 11247345664 11452 33554432000 4194304 4196468 140727363702944 140364644714480 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18934] ppid=18866 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18934/stat : 18934 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11247345664 11452 33554432000 4194304 4196468 140727363702944 140363020888416 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18935] ppid=18866 vsize=10983736 memory=140716711433856 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18935/stat : 18935 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189274 11247345664 11452 33554432000 4194304 4196468 140727363702944 140364643662896 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44752 KiB
[startup+0.310464 s]*
/proc/loadavg: 1.94 1.88 1.86 3/216 18935
/proc/meminfo: memFree=27172472/32770624 swapFree=67108436/67108860
[pid=18869] ppid=18866 vsize=10983192 memory=55452 CPUtime=0.38 cores=1,3,5,7
/proc/18869/stat : 18869 (java) S 18866 18869 9814 0 -1 1077944320 10414 12993 0 0 28 3 5 2 20 0 15 0 107189259 11246788608 13863 33554432000 4194304 4196468 140727363702944 140727363685488 140365154774775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
/proc/18869/statm: 2745798 13863 3073 1 0 2708109 0
[pid=18869/tid=18922] ppid=18866 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/18869/task/18922/stat : 18922 (java) R 18866 18869 9814 0 -1 4202560 6973 12993 0 0 19 2 5 2 20 0 15 0 107189268 11246788608 13863 33554432000 4194304 4196468 140727363702944 140365126586784 140365154796701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18923] ppid=18866 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18923/stat : 18923 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189269 11246788608 13863 33554432000 4194304 4196468 140727363702944 140365159016976 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18924] ppid=18866 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18924/stat : 18924 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189269 11246788608 13863 33554432000 4194304 4196468 140727363702944 140365040282256 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18925] ppid=18866 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18925/stat : 18925 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189269 11246788608 13863 33554432000 4194304 4196468 140727363702944 140365039229200 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18926] ppid=18866 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18926/stat : 18926 (java) S 18866 18869 9814 0 -1 1077944384 2 12993 0 0 0 0 5 2 20 0 15 0 107189269 11246788608 13863 33554432000 4194304 4196468 140727363702944 140365038176656 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18927] ppid=18866 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18927/stat : 18927 (java) S 18866 18869 9814 0 -1 1077944384 2 12993 0 0 0 0 5 2 20 0 15 0 107189270 11246788608 13863 33554432000 4194304 4196468 140727363702944 140364647873264 140365154785922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18928] ppid=18866 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18928/stat : 18928 (java) S 18866 18869 9814 0 -1 1077944384 13 12993 0 0 0 0 5 2 20 0 15 0 107189271 11246788608 13863 33554432000 4194304 4196468 140727363702944 140363960411808 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18929] ppid=18866 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18929/stat : 18929 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189271 11246788608 13863 33554432000 4194304 4196468 140727363702944 140363759084784 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18930] ppid=18866 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18930/stat : 18930 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11246788608 13863 33554432000 4194304 4196468 140727363702944 140363451685328 140365154793371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18931] ppid=18866 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18869/task/18931/stat : 18931 (java) S 18866 18869 9814 0 -1 1077944384 426 12993 0 0 1 0 5 2 20 0 15 0 107189274 11246788608 13863 33554432000 4194304 4196468 140727363702944 140364646820080 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18932] ppid=18866 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18869/task/18932/stat : 18932 (java) S 18866 18869 9814 0 -1 1077944384 182 12993 0 0 1 0 5 2 20 0 15 0 107189274 11246788608 13863 33554432000 4194304 4196468 140727363702944 140364645767536 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18933] ppid=18866 vsize=10983192 memory=140716711433856 CPUtime=0.12 cores=1,3,5,7
/proc/18869/task/18933/stat : 18933 (java) S 18866 18869 9814 0 -1 1077944384 620 12993 0 0 5 0 5 2 20 0 15 0 107189274 11246788608 13863 33554432000 4194304 4196468 140727363702944 140364644714480 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18934] ppid=18866 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18934/stat : 18934 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11246788608 13863 33554432000 4194304 4196468 140727363702944 140363020888416 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18935] ppid=18866 vsize=10983192 memory=140716711433856 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18935/stat : 18935 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189274 11246788608 13863 33554432000 4194304 4196468 140727363702944 140364643662896 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55452 KiB
[startup+0.700707 s]
/proc/loadavg: 1.94 1.88 1.86 4/216 18935
/proc/meminfo: memFree=27160688/32770624 swapFree=67108436/67108860
[pid=18869] ppid=18866 vsize=10983192 memory=88720 CPUtime=0.98 cores=1,3,5,7
/proc/18869/stat : 18869 (java) S 18866 18869 9814 0 -1 1077944320 16767 12993 0 0 86 5 5 2 20 0 15 0 107189259 11246788608 22180 33554432000 4194304 4196468 140727363702944 140727363685488 140365154774775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
/proc/18869/statm: 2745798 22180 3247 1 0 2708109 0
[pid=18869/tid=18922] ppid=18866 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18869/task/18922/stat : 18922 (java) R 18866 18869 9814 0 -1 4202560 12211 12993 0 0 55 4 5 2 20 0 15 0 107189268 11246788608 22180 33554432000 4194304 4196468 140727363702944 140365126595600 140365137961601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18923] ppid=18866 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18923/stat : 18923 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189269 11246788608 22180 33554432000 4194304 4196468 140727363702944 140365159016976 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18924] ppid=18866 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18924/stat : 18924 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189269 11246788608 22180 33554432000 4194304 4196468 140727363702944 140365040282256 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18925] ppid=18866 vsize=10983192 memory=140716550533936 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18925/stat : 18925 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189269 11246788608 22180 33554432000 4194304 4196468 140727363702944 140365039229200 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18926] ppid=18866 vsize=10983192 memory=140720308486745 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18926/stat : 18926 (java) S 18866 18869 9814 0 -1 1077944384 2 12993 0 0 0 0 5 2 20 0 15 0 107189269 11246788608 22180 33554432000 4194304 4196468 140727363702944 140365038176656 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18927] ppid=18866 vsize=10983192 memory=1388 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18927/stat : 18927 (java) S 18866 18869 9814 0 -1 1077944384 5 12993 0 0 0 0 5 2 20 0 15 0 107189270 11246788608 22180 33554432000 4194304 4196468 140727363702944 140364647873264 140365154785922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18928] ppid=18866 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18928/stat : 18928 (java) S 18866 18869 9814 0 -1 1077944384 13 12993 0 0 0 0 5 2 20 0 15 0 107189271 11246788608 22180 33554432000 4194304 4196468 140727363702944 140363960411808 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18929] ppid=18866 vsize=10983192 memory=8027477668130812270 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18929/stat : 18929 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189271 11246788608 22180 33554432000 4194304 4196468 140727363702944 140363759084784 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18930] ppid=18866 vsize=10983192 memory=17464 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18930/stat : 18930 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11246788608 22180 33554432000 4194304 4196468 140727363702944 140363451685328 140365154793371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18931] ppid=18866 vsize=10983192 memory=16148 CPUtime=0.18 cores=1,3,5,7
/proc/18869/task/18931/stat : 18931 (java) S 18866 18869 9814 0 -1 1077944384 1086 12993 0 0 11 0 5 2 20 0 15 0 107189274 11246788608 22180 33554432000 4194304 4196468 140727363702944 140364646820080 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18932] ppid=18866 vsize=10983192 memory=4004 CPUtime=0.13 cores=1,3,5,7
/proc/18869/task/18932/stat : 18932 (java) S 18866 18869 9814 0 -1 1077944384 537 12993 0 0 6 0 5 2 20 0 15 0 107189274 11246788608 22180 33554432000 4194304 4196468 140727363702944 140364645767536 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18933] ppid=18866 vsize=10983192 memory=636 CPUtime=0.2 cores=1,3,5,7
/proc/18869/task/18933/stat : 18933 (java) S 18866 18869 9814 0 -1 1077944384 710 12993 0 0 13 0 5 2 20 0 15 0 107189274 11246788608 22180 33554432000 4194304 4196468 140727363702944 140364644714480 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18934] ppid=18866 vsize=10983192 memory=1780 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18934/stat : 18934 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11246788608 22180 33554432000 4194304 4196468 140727363702944 140363020888416 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18935] ppid=18866 vsize=10983192 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18935/stat : 18935 (java) S 18866 18869 9814 0 -1 1077944384 1 12993 0 0 0 0 5 2 20 0 15 0 107189274 11246788608 22180 33554432000 4194304 4196468 140727363702944 140364643662896 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88720 KiB
[startup+1.50242 s]
/proc/loadavg: 1.94 1.88 1.86 5/216 18935
/proc/meminfo: memFree=27114480/32770624 swapFree=67108436/67108860
[pid=18869] ppid=18866 vsize=10998092 memory=179444 CPUtime=2.31 cores=1,3,5,7
/proc/18869/stat : 18869 (java) S 18866 18869 9814 0 -1 1077944320 23935 12993 0 0 213 11 5 2 20 0 15 0 107189259 11262046208 44861 33554432000 4194304 4196468 140727363702944 140727363685488 140365154774775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
/proc/18869/statm: 2749523 44861 3467 1 0 2711181 0
[pid=18869/tid=18922] ppid=18866 vsize=10998092 memory=65196 CPUtime=1.42 cores=1,3,5,7
/proc/18869/task/18922/stat : 18922 (java) R 18866 18869 9814 0 -1 4202560 17734 12993 0 0 128 7 5 2 20 0 15 0 107189268 11262046208 44861 33554432000 4194304 4196468 140727363702944 140365126606080 140365138855262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18923] ppid=18866 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/18869/task/18923/stat : 18923 (java) S 18866 18869 9814 0 -1 1077944384 58 12993 0 0 1 0 5 2 20 0 15 0 107189269 11262046208 44861 33554432000 4194304 4196468 140727363702944 140365159016976 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18924] ppid=18866 vsize=10998092 memory=281433101099168 CPUtime=0.08 cores=1,3,5,7
/proc/18869/task/18924/stat : 18924 (java) S 18866 18869 9814 0 -1 1077944384 28 12993 0 0 1 0 5 2 20 0 15 0 107189269 11262046208 44861 33554432000 4194304 4196468 140727363702944 140365040282256 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18925] ppid=18866 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18869/task/18925/stat : 18925 (java) S 18866 18869 9814 0 -1 1077944384 245 12993 0 0 1 0 5 2 20 0 15 0 107189269 11262046208 44861 33554432000 4194304 4196468 140727363702944 140365039229200 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18926] ppid=18866 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18926/stat : 18926 (java) S 18866 18869 9814 0 -1 1077944384 28 12993 0 0 0 0 5 2 20 0 15 0 107189269 11262046208 44861 33554432000 4194304 4196468 140727363702944 140365038176656 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18927] ppid=18866 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18869/task/18927/stat : 18927 (java) S 18866 18869 9814 0 -1 1077944384 53 12993 0 0 1 0 5 2 20 0 15 0 107189270 11262046208 44861 33554432000 4194304 4196468 140727363702944 140364647873264 140365154785922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18928] ppid=18866 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18928/stat : 18928 (java) S 18866 18869 9814 0 -1 1077944384 13 12993 0 0 0 0 5 2 20 0 15 0 107189271 11262046208 44861 33554432000 4194304 4196468 140727363702944 140363960411808 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18929] ppid=18866 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18929/stat : 18929 (java) S 18866 18869 9814 0 -1 1077944384 2 12993 0 0 0 0 5 2 20 0 15 0 107189271 11262046208 44861 33554432000 4194304 4196468 140727363702944 140363759084784 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18930] ppid=18866 vsize=10998092 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18930/stat : 18930 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11262046208 44861 33554432000 4194304 4196468 140727363702944 140363451685328 140365154793371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18931] ppid=18866 vsize=10998092 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/18869/task/18931/stat : 18931 (java) S 18866 18869 9814 0 -1 1077944384 1557 12993 0 0 26 0 5 2 20 0 15 0 107189274 11262046208 44861 33554432000 4194304 4196468 140727363702944 140364646820080 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18932] ppid=18866 vsize=10998092 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/18869/task/18932/stat : 18932 (java) S 18866 18869 9814 0 -1 1077944384 709 12993 0 0 16 0 5 2 20 0 15 0 107189274 11262046208 44861 33554432000 4194304 4196468 140727363702944 140364645767536 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18933] ppid=18866 vsize=10998092 memory=6791534058613427641 CPUtime=0.42 cores=1,3,5,7
/proc/18869/task/18933/stat : 18933 (java) S 18866 18869 9814 0 -1 1077944384 1308 12993 0 0 35 0 5 2 20 0 15 0 107189274 11262046208 44861 33554432000 4194304 4196468 140727363702944 140364644714480 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18934] ppid=18866 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18934/stat : 18934 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11262046208 44861 33554432000 4194304 4196468 140727363702944 140363020888416 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18935] ppid=18866 vsize=10998092 memory=281433101343616 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18935/stat : 18935 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11262046208 44861 33554432000 4194304 4196468 140727363702944 140364643662896 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/18869/task/18922/stat : 18922 (java) R 18866 18869 9814 0 -1 4202560 55599 12993 0 0 16078 22 5 2 20 0 15 0 107189268 11345952768 204794 33554432000 4194304 4196468 140727363702944 140365126609344 140364728366335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18923] ppid=18866 vsize=11080032 memory=817056 CPUtime=0.55 cores=1,3,5,7
/proc/18869/task/18923/stat : 18923 (java) S 18866 18869 9814 0 -1 1077944384 2436 12993 0 0 44 4 5 2 20 0 15 0 107189269 11345952768 204794 33554432000 4194304 4196468 140727363702944 140365159016976 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18924] ppid=18866 vsize=11080032 memory=819176 CPUtime=0.57 cores=1,3,5,7
/proc/18869/task/18924/stat : 18924 (java) S 18866 18869 9814 0 -1 1077944384 1074 12993 0 0 46 4 5 2 20 0 15 0 107189269 11345952768 204794 33554432000 4194304 4196468 140727363702944 140365040282256 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18925] ppid=18866 vsize=11080032 memory=819176 CPUtime=0.56 cores=1,3,5,7
/proc/18869/task/18925/stat : 18925 (java) S 18866 18869 9814 0 -1 1077944384 3072 12993 0 0 45 4 5 2 20 0 15 0 107189269 11345952768 204794 33554432000 4194304 4196468 140727363702944 140365039229200 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18926] ppid=18866 vsize=11080032 memory=819176 CPUtime=0.57 cores=1,3,5,7
/proc/18869/task/18926/stat : 18926 (java) S 18866 18869 9814 0 -1 1077944384 2917 12993 0 0 44 6 5 2 20 0 15 0 107189269 11345952768 204794 33554432000 4194304 4196468 140727363702944 140365038176656 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18927] ppid=18866 vsize=11080032 memory=819176 CPUtime=0.54 cores=1,3,5,7
/proc/18869/task/18927/stat : 18927 (java) S 18866 18869 9814 0 -1 1077944384 2293 12993 0 0 44 3 5 2 20 0 15 0 107189270 11345952768 204794 33554432000 4194304 4196468 140727363702944 140364647873264 140365154785922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18928] ppid=18866 vsize=11080032 memory=819176 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18928/stat : 18928 (java) S 18866 18869 9814 0 -1 1077944384 14 12993 0 0 0 0 5 2 20 0 15 0 107189271 11345952768 204794 33554432000 4194304 4196468 140727363702944 140363960411936 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18929] ppid=18866 vsize=11080032 memory=819176 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18929/stat : 18929 (java) S 18866 18869 9814 0 -1 1077944384 7 12993 0 0 0 0 5 2 20 0 15 0 107189271 11345952768 204794 33554432000 4194304 4196468 140727363702944 140363759084800 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18930] ppid=18866 vsize=11080032 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18930/stat : 18930 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11345952768 204794 33554432000 4194304 4196468 140727363702944 140363451685328 140365154793371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18931] ppid=18866 vsize=11080032 memory=840 CPUtime=5.99 cores=1,3,5,7
/proc/18869/task/18931/stat : 18931 (java) S 18866 18869 9814 0 -1 1077944384 22955 12993 0 0 589 3 5 2 20 0 15 0 107189274 11345952768 204794 33554432000 4194304 4196468 140727363702944 140364646820080 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18932] ppid=18866 vsize=11080032 memory=819176 CPUtime=6.1 cores=1,3,5,7
/proc/18869/task/18932/stat : 18932 (java) S 18866 18869 9814 0 -1 1077944384 23298 12993 0 0 600 3 5 2 20 0 15 0 107189274 11345952768 204794 33554432000 4194304 4196468 140727363702944 140364645767536 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18933] ppid=18866 vsize=11080032 memory=15872 CPUtime=2.35 cores=1,3,5,7
/proc/18869/task/18933/stat : 18933 (java) S 18866 18869 9814 0 -1 1077944384 18539 12993 0 0 224 4 5 2 20 0 15 0 107189274 11345952768 204794 33554432000 4194304 4196468 140727363702944 140364644714480 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18934] ppid=18866 vsize=11080032 memory=819176 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18934/stat : 18934 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11345952768 204794 33554432000 4194304 4196468 140727363702944 140363020888416 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18935] ppid=18866 vsize=11080032 memory=819176 CPUtime=0.15 cores=1,3,5,7
/proc/18869/task/18935/stat : 18935 (java) S 18866 18869 9814 0 -1 1077944384 141 12993 0 0 4 4 5 2 20 0 15 0 107189274 11345952768 204794 33554432000 4194304 4196468 140727363702944 140364643662896 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
Current children cumulated CPU time: 177.93 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 819176 KiB
[startup+222.301 s]
/proc/loadavg: 1.35 1.67 1.79 4/216 19069
/proc/meminfo: memFree=26698716/32770624 swapFree=67108436/67108860
[pid=18869] ppid=18866 vsize=11080032 memory=819336 CPUtime=239.71 cores=1,3,5,7
/proc/18869/stat : 18869 (java) S 18866 18869 9814 0 -1 1077944320 144282 12993 0 0 23897 67 5 2 20 0 15 0 107189259 11345952768 204834 33554432000 4194304 4196468 140727363702944 140727363685488 140365154774775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
/proc/18869/statm: 2770008 204834 3527 1 0 2731661 0
[pid=18869/tid=18922] ppid=18866 vsize=11080032 memory=819336 CPUtime=220.42 cores=1,3,5,7
/proc/18869/task/18922/stat : 18922 (java) R 18866 18869 9814 0 -1 4202560 57196 12993 0 0 22012 23 5 2 20 0 15 0 107189268 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365126609264 140364729804796 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18923] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.84 cores=1,3,5,7
/proc/18869/task/18923/stat : 18923 (java) S 18866 18869 9814 0 -1 1077944384 2980 12993 0 0 71 6 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365159016976 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18924] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.85 cores=1,3,5,7
/proc/18869/task/18924/stat : 18924 (java) S 18866 18869 9814 0 -1 1077944384 2284 12993 0 0 73 5 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365040282256 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18925] ppid=18866 vsize=11080032 memory=162590281995230 CPUtime=0.84 cores=1,3,5,7
/proc/18869/task/18925/stat : 18925 (java) S 18866 18869 9814 0 -1 1077944384 3111 12993 0 0 72 5 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365039229200 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18926] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.85 cores=1,3,5,7
/proc/18869/task/18926/stat : 18926 (java) S 18866 18869 9814 0 -1 1077944384 3013 12993 0 0 71 7 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365038176656 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18927] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.81 cores=1,3,5,7
/proc/18869/task/18927/stat : 18927 (java) S 18866 18869 9814 0 -1 1077944384 2633 12993 0 0 69 5 5 2 20 0 15 0 107189270 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364647873264 140365154785922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18928] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18928/stat : 18928 (java) S 18866 18869 9814 0 -1 1077944384 14 12993 0 0 0 0 5 2 20 0 15 0 107189271 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363960411936 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18929] ppid=18866 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18929/stat : 18929 (java) S 18866 18869 9814 0 -1 1077944384 7 12993 0 0 0 0 5 2 20 0 15 0 107189271 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363759084800 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18930] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18930/stat : 18930 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363451685328 140365154793371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18931] ppid=18866 vsize=11080032 memory=819336 CPUtime=6.41 cores=1,3,5,7
/proc/18869/task/18931/stat : 18931 (java) S 18866 18869 9814 0 -1 1077944384 25859 12993 0 0 631 3 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364646820080 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18932] ppid=18866 vsize=11080032 memory=819336 CPUtime=6.52 cores=1,3,5,7
/proc/18869/task/18932/stat : 18932 (java) S 18866 18869 9814 0 -1 1077944384 24293 12993 0 0 641 4 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364645767536 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18933] ppid=18866 vsize=11080032 memory=4140 CPUtime=2.51 cores=1,3,5,7
/proc/18869/task/18933/stat : 18933 (java) S 18866 18869 9814 0 -1 1077944384 20528 12993 0 0 239 5 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364644714480 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18934] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18934/stat : 18934 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363020888416 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18935] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.2 cores=1,3,5,7
/proc/18869/task/18935/stat : 18935 (java) S 18866 18869 9814 0 -1 1077944384 166 12993 0 0 6 7 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364643662896 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
Current children cumulated CPU time: 239.71 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 819336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+234.301 s]
/proc/loadavg: 1.29 1.65 1.78 3/216 19069
/proc/meminfo: memFree=26698716/32770624 swapFree=67108436/67108860
[pid=18869] ppid=18866 vsize=11080032 memory=819336 CPUtime=252.05 cores=1,3,5,7
/proc/18869/stat : 18869 (java) S 18866 18869 9814 0 -1 1077944320 144403 12993 0 0 25128 70 5 2 20 0 15 0 107189259 11345952768 204834 33554432000 4194304 4196468 140727363702944 140727363685488 140365154774775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
/proc/18869/statm: 2770008 204834 3527 1 0 2731661 0
[pid=18869/tid=18922] ppid=18866 vsize=11080032 memory=819336 CPUtime=232.28 cores=1,3,5,7
/proc/18869/task/18922/stat : 18922 (java) R 18866 18869 9814 0 -1 4202560 57273 12993 0 0 23197 24 5 2 20 0 15 0 107189268 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365126606808 140364728250351 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18923] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.9 cores=1,3,5,7
/proc/18869/task/18923/stat : 18923 (java) S 18866 18869 9814 0 -1 1077944384 2985 12993 0 0 76 7 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365159016976 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18924] ppid=18866 vsize=11080032 memory=639 CPUtime=0.91 cores=1,3,5,7
/proc/18869/task/18924/stat : 18924 (java) S 18866 18869 9814 0 -1 1077944384 2287 12993 0 0 78 6 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365040282256 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18925] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.9 cores=1,3,5,7
/proc/18869/task/18925/stat : 18925 (java) S 18866 18869 9814 0 -1 1077944384 3112 12993 0 0 77 6 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365039229200 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18926] ppid=18866 vsize=11080032 memory=80 CPUtime=0.9 cores=1,3,5,7
/proc/18869/task/18926/stat : 18926 (java) S 18866 18869 9814 0 -1 1077944384 3015 12993 0 0 76 7 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365038176656 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18927] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.87 cores=1,3,5,7
/proc/18869/task/18927/stat : 18927 (java) S 18866 18869 9814 0 -1 1077944384 2635 12993 0 0 75 5 5 2 20 0 15 0 107189270 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364647873264 140365154785922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18928] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18928/stat : 18928 (java) S 18866 18869 9814 0 -1 1077944384 14 12993 0 0 0 0 5 2 20 0 15 0 107189271 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363960411936 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18929] ppid=18866 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18929/stat : 18929 (java) S 18866 18869 9814 0 -1 1077944384 7 12993 0 0 0 0 5 2 20 0 15 0 107189271 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363759084800 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18930] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18930/stat : 18930 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363451685328 140365154793371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18931] ppid=18866 vsize=11080032 memory=819336 CPUtime=6.48 cores=1,3,5,7
/proc/18869/task/18931/stat : 18931 (java) S 18866 18869 9814 0 -1 1077944384 25880 12993 0 0 638 3 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364646820080 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18932] ppid=18866 vsize=11080032 memory=1414298054980309879 CPUtime=6.59 cores=1,3,5,7
/proc/18869/task/18932/stat : 18932 (java) R 18866 18869 9814 0 -1 4202560 24295 12993 0 0 648 4 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364645767536 140365134435139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18933] ppid=18866 vsize=11080032 memory=162590281995230 CPUtime=2.54 cores=1,3,5,7
/proc/18869/task/18933/stat : 18933 (java) S 18866 18869 9814 0 -1 1077944384 20536 12993 0 0 242 5 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364644714480 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18934] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18934/stat : 18934 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363020888416 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18935] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.2 cores=1,3,5,7
/proc/18869/task/18935/stat : 18935 (java) S 18866 18869 9814 0 -1 1077944384 166 12993 0 0 6 7 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364643662896 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 819336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+234.342 s]
# the end of solver process 18869 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.36 s, system=0.751046 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+234.301 s]
/proc/loadavg: 1.29 1.65 1.78 3/216 19069
/proc/meminfo: memFree=26698716/32770624 swapFree=67108436/67108860
[pid=18869] ppid=18866 vsize=11080032 memory=819336 CPUtime=252.05 cores=1,3,5,7
/proc/18869/stat : 18869 (java) S 18866 18869 9814 0 -1 1077944320 144403 12993 0 0 25128 70 5 2 20 0 15 0 107189259 11345952768 204834 33554432000 4194304 4196468 140727363702944 140727363685488 140365154774775 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
/proc/18869/statm: 2770008 204834 3527 1 0 2731661 0
[pid=18869/tid=18922] ppid=18866 vsize=11080032 memory=819336 CPUtime=232.28 cores=1,3,5,7
/proc/18869/task/18922/stat : 18922 (java) R 18866 18869 9814 0 -1 4202560 57273 12993 0 0 23197 24 5 2 20 0 15 0 107189268 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365126606808 140364728250351 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18923] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.9 cores=1,3,5,7
/proc/18869/task/18923/stat : 18923 (java) S 18866 18869 9814 0 -1 1077944384 2985 12993 0 0 76 7 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365159016976 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18924] ppid=18866 vsize=11080032 memory=639 CPUtime=0.91 cores=1,3,5,7
/proc/18869/task/18924/stat : 18924 (java) S 18866 18869 9814 0 -1 1077944384 2287 12993 0 0 78 6 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365040282256 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18925] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.9 cores=1,3,5,7
/proc/18869/task/18925/stat : 18925 (java) S 18866 18869 9814 0 -1 1077944384 3112 12993 0 0 77 6 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365039229200 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18926] ppid=18866 vsize=11080032 memory=80 CPUtime=0.9 cores=1,3,5,7
/proc/18869/task/18926/stat : 18926 (java) S 18866 18869 9814 0 -1 1077944384 3015 12993 0 0 76 7 5 2 20 0 15 0 107189269 11345952768 204834 33554432000 4194304 4196468 140727363702944 140365038176656 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18927] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.87 cores=1,3,5,7
/proc/18869/task/18927/stat : 18927 (java) S 18866 18869 9814 0 -1 1077944384 2635 12993 0 0 75 5 5 2 20 0 15 0 107189270 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364647873264 140365154785922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18928] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18928/stat : 18928 (java) S 18866 18869 9814 0 -1 1077944384 14 12993 0 0 0 0 5 2 20 0 15 0 107189271 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363960411936 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18929] ppid=18866 vsize=11080032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18929/stat : 18929 (java) S 18866 18869 9814 0 -1 1077944384 7 12993 0 0 0 0 5 2 20 0 15 0 107189271 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363759084800 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18930] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18930/stat : 18930 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363451685328 140365154793371 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18931] ppid=18866 vsize=11080032 memory=819336 CPUtime=6.48 cores=1,3,5,7
/proc/18869/task/18931/stat : 18931 (java) S 18866 18869 9814 0 -1 1077944384 25880 12993 0 0 638 3 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364646820080 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18932] ppid=18866 vsize=11080032 memory=1414298054980309879 CPUtime=6.59 cores=1,3,5,7
/proc/18869/task/18932/stat : 18932 (java) R 18866 18869 9814 0 -1 4202560 24295 12993 0 0 648 4 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364645767536 140365134435139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18933] ppid=18866 vsize=11080032 memory=162590281995230 CPUtime=2.54 cores=1,3,5,7
/proc/18869/task/18933/stat : 18933 (java) S 18866 18869 9814 0 -1 1077944384 20536 12993 0 0 242 5 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364644714480 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18934] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.07 cores=1,3,5,7
/proc/18869/task/18934/stat : 18934 (java) S 18866 18869 9814 0 -1 1077944384 3 12993 0 0 0 0 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140363020888416 140365154784981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
[pid=18869/tid=18935] ppid=18866 vsize=11080032 memory=819336 CPUtime=0.2 cores=1,3,5,7
/proc/18869/task/18935/stat : 18935 (java) S 18866 18869 9814 0 -1 1077944384 166 12993 0 0 6 7 5 2 20 0 15 0 107189274 11345952768 204834 33554432000 4194304 4196468 140727363702944 140364643662896 140365154785922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34013184 140727363709553 140727363712353 140727363712353 140727363715023 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 819336 KiB
Child status: 143
Real time (s): 234.342
CPU time (s): 252.111
CPU user time (s): 251.36
CPU system time (s): 0.751046
CPU usage (%): 107.583
Max. virtual memory (cumulated for all children) (KiB): 11080692
Max. memory (cumulated for all children) (KiB): 840660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.36
system time used= 0.751046
maximum resident set size= 842708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158356
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= 31458
involuntary context switches= 652
# summary of solver processes directly reported to runsolver:
# pid: 18869
# total CPU time (s): 252.111
# total CPU user time (s): 251.36
# total CPU system time (s): 0.751046
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.5492 second user time and 2.15606 second system time
The end