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 (5744 MiB free)
memory of node 1: 16384 MiB (9807 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294073-1532426357/watcher-4294073-1532426357 -o /tmp/evaluation-result-4294073-1532426357/solver-4294073-1532426357 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532413601-12741 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=218032022 -superng HOME/instance-4294073-1532426357.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15741, runsolver pid=15738
[startup+0.100094 s]*
/proc/loadavg: 1.46 1.42 1.42 3/210 15798
/proc/meminfo: memFree=15917148/32770624 swapFree=67108860/67108860
[pid=15741] ppid=15738 vsize=9972712 memory=17340 CPUtime=0.08 cores=1,3,5,7
/proc/15741/stat : 15741 (java) S 15738 15741 12709 0 -1 1077944320 4448 13006 0 0 1 0 5 2 20 0 6 0 60198874 10212057088 4269 33554432000 4194304 4196468 140736719443760 140736719426304 139978586410743 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
/proc/15741/statm: 2493178 4269 1934 1 0 2481616 0
[pid=15741/tid=15794] ppid=15738 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/15741/task/15794/stat : 15794 (java) R 15738 15741 12709 0 -1 4202560 2268 13006 0 0 1 0 5 2 20 0 6 0 60198883 10212057088 4335 33554432000 4194304 4196468 140736719443760 139978558247504 139978570491230 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15795] ppid=15738 vsize=9972712 memory=5793855452219369913 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15795/stat : 15795 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 6 0 60198884 10212057088 4335 33554432000 4194304 4196468 140736719443760 139978590652944 139978586420949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15796] ppid=15738 vsize=9972712 memory=140201209476736 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15796/stat : 15796 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 6 0 60198884 10212057088 4335 33554432000 4194304 4196468 140736719443760 139978489543312 139978586420949 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15797] ppid=15738 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15797/stat : 15797 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 6 0 60198884 10212057088 4335 33554432000 4194304 4196468 140736719443760 139978488490256 139978586420949 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15798] ppid=15738 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15798/stat : 15798 (java) S 15738 15741 12709 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 6 0 60198884 10212057088 4335 33554432000 4194304 4196468 140736719443760 139978157713808 139978586420949 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17340 KiB
[startup+0.209949 s]*
/proc/loadavg: 1.46 1.42 1.42 3/219 15807
/proc/meminfo: memFree=15894592/32770624 swapFree=67108860/67108860
[pid=15741] ppid=15738 vsize=10818856 memory=44076 CPUtime=0.26 cores=1,3,5,7
/proc/15741/stat : 15741 (java) S 15738 15741 12709 0 -1 1077944320 8907 13006 0 0 17 2 5 2 20 0 15 0 60198874 11078508544 11019 33554432000 4194304 4196468 140736719443760 140736719426304 139978586410743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
/proc/15741/statm: 2704714 11019 2960 1 0 2667149 0
[pid=15741/tid=15794] ppid=15738 vsize=10818856 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/15741/task/15794/stat : 15794 (java) R 15738 15741 12709 0 -1 4202560 5651 13006 0 0 10 1 5 2 20 0 15 0 60198883 11078508544 11151 33554432000 4194304 4196468 140736719443760 139978558208400 139978566686450 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15795] ppid=15738 vsize=10818856 memory=4211973927414267274 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15795/stat : 15795 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198884 11078508544 11151 33554432000 4194304 4196468 140736719443760 139978590652944 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15796] ppid=15738 vsize=10818856 memory=140201209476736 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15796/stat : 15796 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198884 11078508544 11151 33554432000 4194304 4196468 140736719443760 139978489543312 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15797] ppid=15738 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15797/stat : 15797 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198884 11078508544 11151 33554432000 4194304 4196468 140736719443760 139978488490256 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15798] ppid=15738 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15798/stat : 15798 (java) S 15738 15741 12709 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 60198884 11078508544 11151 33554432000 4194304 4196468 140736719443760 139978157713808 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15799] ppid=15738 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15799/stat : 15799 (java) S 15738 15741 12709 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 60198885 11078508544 11151 33554432000 4194304 4196468 140736719443760 139978045905648 139978586421890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15800] ppid=15738 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15800/stat : 15800 (java) S 15738 15741 12709 0 -1 1077944384 13 13006 0 0 0 0 5 2 20 0 15 0 60198886 11078508544 11151 33554432000 4194304 4196468 140736719443760 139977480464032 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15801] ppid=15738 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15801/stat : 15801 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198886 11078508544 11151 33554432000 4194304 4196468 140736719443760 139977346245872 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15802] ppid=15738 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15802/stat : 15802 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11078508544 11151 33554432000 4194304 4196468 140736719443760 139977105955280 139978586429339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15803] ppid=15738 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15741/task/15803/stat : 15803 (java) S 15738 15741 12709 0 -1 1077944384 477 13006 0 0 1 0 5 2 20 0 15 0 60198889 11078508544 11151 33554432000 4194304 4196468 140736719443760 139978044852464 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15804] ppid=15738 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15741/task/15804/stat : 15804 (java) S 15738 15741 12709 0 -1 1077944384 89 13006 0 0 1 0 5 2 20 0 15 0 60198889 11078508544 11151 33554432000 4194304 4196468 140736719443760 139978043799920 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15805] ppid=15738 vsize=10818856 memory=140201209476736 CPUtime=0.1 cores=1,3,5,7
/proc/15741/task/15805/stat : 15805 (java) S 15738 15741 12709 0 -1 1077944384 561 13006 0 0 3 0 5 2 20 0 15 0 60198889 11078508544 11151 33554432000 4194304 4196468 140736719443760 139978042746864 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15806] ppid=15738 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15806/stat : 15806 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11078508544 11151 33554432000 4194304 4196468 140736719443760 139977072396640 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15807] ppid=15738 vsize=10818856 memory=140201209476736 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15807/stat : 15807 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198889 11078508544 11151 33554432000 4194304 4196468 140736719443760 139978041695280 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 44076 KiB
[startup+0.310289 s]*
/proc/loadavg: 1.46 1.42 1.42 3/219 15807
/proc/meminfo: memFree=15883676/32770624 swapFree=67108860/67108860
[pid=15741] ppid=15738 vsize=10819352 memory=54088 CPUtime=0.38 cores=1,3,5,7
/proc/15741/stat : 15741 (java) S 15738 15741 12709 0 -1 1077944320 10588 13006 0 0 29 2 5 2 20 0 15 0 60198874 11079016448 13522 33554432000 4194304 4196468 140736719443760 140736719426304 139978586410743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
/proc/15741/statm: 2704838 13522 3091 1 0 2667149 0
[pid=15741/tid=15794] ppid=15738 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/15741/task/15794/stat : 15794 (java) R 15738 15741 12709 0 -1 4202560 7237 13006 0 0 19 2 5 2 20 0 15 0 60198883 11079016448 13522 33554432000 4194304 4196468 140736719443760 139978558222752 139978567784227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15795] ppid=15738 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15795/stat : 15795 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198884 11079016448 13522 33554432000 4194304 4196468 140736719443760 139978590652944 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15796] ppid=15738 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15796/stat : 15796 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198884 11079016448 13522 33554432000 4194304 4196468 140736719443760 139978489543312 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15797] ppid=15738 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15797/stat : 15797 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198884 11079016448 13522 33554432000 4194304 4196468 140736719443760 139978488490256 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15798] ppid=15738 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15798/stat : 15798 (java) S 15738 15741 12709 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 60198884 11079016448 13522 33554432000 4194304 4196468 140736719443760 139978157713808 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15799] ppid=15738 vsize=10819352 memory=140201209476735 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15799/stat : 15799 (java) S 15738 15741 12709 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 60198885 11079016448 13522 33554432000 4194304 4196468 140736719443760 139978045905648 139978586421890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15800] ppid=15738 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15800/stat : 15800 (java) S 15738 15741 12709 0 -1 1077944384 13 13006 0 0 0 0 5 2 20 0 15 0 60198886 11079016448 13522 33554432000 4194304 4196468 140736719443760 139977480464032 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15801] ppid=15738 vsize=10819352 memory=140201209476736 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15801/stat : 15801 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198886 11079016448 13522 33554432000 4194304 4196468 140736719443760 139977346245872 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15802] ppid=15738 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15802/stat : 15802 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11079016448 13522 33554432000 4194304 4196468 140736719443760 139977105955280 139978586429339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15803] ppid=15738 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15741/task/15803/stat : 15803 (java) S 15738 15741 12709 0 -1 1077944384 477 13006 0 0 1 0 5 2 20 0 15 0 60198889 11079016448 13522 33554432000 4194304 4196468 140736719443760 139978044852464 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15804] ppid=15738 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15741/task/15804/stat : 15804 (java) S 15738 15741 12709 0 -1 1077944384 90 13006 0 0 1 0 5 2 20 0 15 0 60198889 11079016448 13522 33554432000 4194304 4196468 140736719443760 139978043799920 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15805] ppid=15738 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15741/task/15805/stat : 15805 (java) S 15738 15741 12709 0 -1 1077944384 568 13006 0 0 5 0 5 2 20 0 15 0 60198889 11079016448 13522 33554432000 4194304 4196468 140736719443760 139978042746864 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15806] ppid=15738 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15806/stat : 15806 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11079016448 13522 33554432000 4194304 4196468 140736719443760 139977072396640 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15807] ppid=15738 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15807/stat : 15807 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198889 11079016448 13522 33554432000 4194304 4196468 140736719443760 139978041695280 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54088 KiB
[startup+0.700721 s]
/proc/loadavg: 1.46 1.42 1.42 3/219 15807
/proc/meminfo: memFree=15874388/32770624 swapFree=67108860/67108860
[pid=15741] ppid=15738 vsize=10819352 memory=87004 CPUtime=0.98 cores=1,3,5,7
/proc/15741/stat : 15741 (java) S 15738 15741 12709 0 -1 1077944320 16825 13006 0 0 87 4 5 2 20 0 15 0 60198874 11079016448 21751 33554432000 4194304 4196468 140736719443760 140736719426304 139978586410743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
/proc/15741/statm: 2704838 21751 3242 1 0 2667149 0
[pid=15741/tid=15794] ppid=15738 vsize=10819352 memory=18836 CPUtime=0.66 cores=1,3,5,7
/proc/15741/task/15794/stat : 15794 (java) R 15738 15741 12709 0 -1 4202560 12520 13006 0 0 56 3 5 2 20 0 15 0 60198883 11079016448 21751 33554432000 4194304 4196468 140736719443760 139978558231568 139978571576382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15795] ppid=15738 vsize=10819352 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15795/stat : 15795 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198884 11079016448 21751 33554432000 4194304 4196468 140736719443760 139978590652944 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15796] ppid=15738 vsize=10819352 memory=140201087508979 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15796/stat : 15796 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198884 11079016448 21751 33554432000 4194304 4196468 140736719443760 139978489543312 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15797] ppid=15738 vsize=10819352 memory=140204912411531 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15797/stat : 15797 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198884 11079016448 21751 33554432000 4194304 4196468 140736719443760 139978488490256 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15798] ppid=15738 vsize=10819352 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15798/stat : 15798 (java) S 15738 15741 12709 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 60198884 11079016448 21751 33554432000 4194304 4196468 140736719443760 139978157713808 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15799] ppid=15738 vsize=10819352 memory=6296143700806424935 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15799/stat : 15799 (java) S 15738 15741 12709 0 -1 1077944384 5 13006 0 0 0 0 5 2 20 0 15 0 60198885 11079016448 21751 33554432000 4194304 4196468 140736719443760 139978045905648 139978586421890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15800] ppid=15738 vsize=10819352 memory=8099279071866868837 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15800/stat : 15800 (java) S 15738 15741 12709 0 -1 1077944384 13 13006 0 0 0 0 5 2 20 0 15 0 60198886 11079016448 21751 33554432000 4194304 4196468 140736719443760 139977480464032 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15801] ppid=15738 vsize=10819352 memory=6004820471124940137 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15801/stat : 15801 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198886 11079016448 21751 33554432000 4194304 4196468 140736719443760 139977346245872 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15802] ppid=15738 vsize=10819352 memory=3054156605368933524 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15802/stat : 15802 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11079016448 21751 33554432000 4194304 4196468 140736719443760 139977105955280 139978586429339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15803] ppid=15738 vsize=10819352 memory=8326441112149131689 CPUtime=0.14 cores=1,3,5,7
/proc/15741/task/15803/stat : 15803 (java) S 15738 15741 12709 0 -1 1077944384 733 13006 0 0 7 0 5 2 20 0 15 0 60198889 11079016448 21751 33554432000 4194304 4196468 140736719443760 139978044852464 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15804] ppid=15738 vsize=10819352 memory=-7025452035940392864 CPUtime=0.17 cores=1,3,5,7
/proc/15741/task/15804/stat : 15804 (java) S 15738 15741 12709 0 -1 1077944384 727 13006 0 0 10 0 5 2 20 0 15 0 60198889 11079016448 21751 33554432000 4194304 4196468 140736719443760 139978043799920 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15805] ppid=15738 vsize=10819352 memory=6944656592452807326 CPUtime=0.19 cores=1,3,5,7
/proc/15741/task/15805/stat : 15805 (java) S 15738 15741 12709 0 -1 1077944384 626 13006 0 0 12 0 5 2 20 0 15 0 60198889 11079016448 21751 33554432000 4194304 4196468 140736719443760 139978042746864 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15806] ppid=15738 vsize=10819352 memory=-9178176116494409632 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15806/stat : 15806 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11079016448 21751 33554432000 4194304 4196468 140736719443760 139977072396640 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15807] ppid=15738 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15807/stat : 15807 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198889 11079016448 21751 33554432000 4194304 4196468 140736719443760 139978041695280 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 87004 KiB
[startup+1.50068 s]
/proc/loadavg: 1.46 1.42 1.42 4/219 15807
/proc/meminfo: memFree=15827064/32770624 swapFree=67108860/67108860
[pid=15741] ppid=15738 vsize=10834252 memory=177328 CPUtime=2.32 cores=1,3,5,7
/proc/15741/stat : 15741 (java) S 15738 15741 12709 0 -1 1077944320 23942 13006 0 0 215 10 5 2 20 0 15 0 60198874 11094274048 44332 33554432000 4194304 4196468 140736719443760 140736719426304 139978586410743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
/proc/15741/statm: 2708563 44332 3473 1 0 2670221 0
[pid=15741/tid=15794] ppid=15738 vsize=10834252 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/15741/task/15794/stat : 15794 (java) R 15738 15741 12709 0 -1 4202560 18042 13006 0 0 130 6 5 2 20 0 15 0 60198883 11094274048 44332 33554432000 4194304 4196468 140736719443760 139978558242176 139978570491230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15795] ppid=15738 vsize=10834252 memory=101520 CPUtime=0.08 cores=1,3,5,7
/proc/15741/task/15795/stat : 15795 (java) S 15738 15741 12709 0 -1 1077944384 189 13006 0 0 1 0 5 2 20 0 15 0 60198884 11094274048 44332 33554432000 4194304 4196468 140736719443760 139978590652944 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15796] ppid=15738 vsize=10834252 memory=5790086053191909267 CPUtime=0.08 cores=1,3,5,7
/proc/15741/task/15796/stat : 15796 (java) S 15738 15741 12709 0 -1 1077944384 31 13006 0 0 1 0 5 2 20 0 15 0 60198884 11094274048 44332 33554432000 4194304 4196468 140736719443760 139978489543312 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15797] ppid=15738 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15741/task/15797/stat : 15797 (java) S 15738 15741 12709 0 -1 1077944384 52 13006 0 0 1 0 5 2 20 0 15 0 60198884 11094274048 44332 33554432000 4194304 4196468 140736719443760 139978488490256 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15798] ppid=15738 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15741/task/15798/stat : 15798 (java) S 15738 15741 12709 0 -1 1077944384 29 13006 0 0 1 0 5 2 20 0 15 0 60198884 11094274048 44332 33554432000 4194304 4196468 140736719443760 139978157713808 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15799] ppid=15738 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15741/task/15799/stat : 15799 (java) S 15738 15741 12709 0 -1 1077944384 57 13006 0 0 1 0 5 2 20 0 15 0 60198885 11094274048 44332 33554432000 4194304 4196468 140736719443760 139978045905648 139978586421890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15800] ppid=15738 vsize=10834252 memory=-6221781267475802396 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15800/stat : 15800 (java) S 15738 15741 12709 0 -1 1077944384 13 13006 0 0 0 0 5 2 20 0 15 0 60198886 11094274048 44332 33554432000 4194304 4196468 140736719443760 139977480464096 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15801] ppid=15738 vsize=10834252 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15801/stat : 15801 (java) S 15738 15741 12709 0 -1 1077944384 2 13006 0 0 0 0 5 2 20 0 15 0 60198886 11094274048 44332 33554432000 4194304 4196468 140736719443760 139977346245888 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15802] ppid=15738 vsize=10834252 memory=2196 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15802/stat : 15802 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11094274048 44332 33554432000 4194304 4196468 140736719443760 139977105955280 139978586429339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15803] ppid=15738 vsize=10834252 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/15741/task/15803/stat : 15803 (java) S 15738 15741 12709 0 -1 1077944384 1237 13006 0 0 25 0 5 2 20 0 15 0 60198889 11094274048 44332 33554432000 4194304 4196468 140736719443760 139978044852464 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15804] ppid=15738 vsize=10834252 memory=208057275577302 CPUtime=0.26 cores=1,3,5,7
/proc/15741/task/15804/stat : 15804 (java) S 15738 15741 12709 0 -1 1077944384 852 13006 0 0 19 0 5 2 20 0 15 0 60198889 11094274048 44332 33554432000 4194304 4196468 140736719443760 139978043799920 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15805] ppid=15738 vsize=10834252 memory=3904963032027245965 CPUtime=0.4 cores=1,3,5,7
/proc/15741/task/15805/stat : 15805 (java) S 15738 15741 12709 0 -1 1077944384 1243 13006 0 0 33 0 5 2 20 0 15 0 60198889 11094274048 44332 33554432000 4194304 4196468 140736719443760 139978042746864 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15806] ppid=15738 vsize=10834252 memory=4638778428397932880 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15806/stat : 15806 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11094274048 44332 33554432000 4194304 4196468 140736719443760 139977072396640 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15807] ppid=15738 vsize=10834252 memory=6935649255776346176 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15807/stat : 15807 (java) S 15738 15741 12709 0 -1 1077944384 1 13006 0 0 0 0 5 2 20 0 15 0 60198889 11094274048 44332 33554432000 4194304 4196468 140736719443760 139978041695280 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/15741/task/15794/stat : 15794 (java) R 15738 15741 12709 0 -1 4202560 104842 13006 0 0 241611 59 5 2 20 0 15 0 60198883 11111071744 373651 33554432000 4194304 4196468 140736719443760 139978558244304 139978186448666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15795] ppid=15738 vsize=10850656 memory=1494604 CPUtime=15.07 cores=1,3,5,7
/proc/15741/task/15795/stat : 15795 (java) S 15738 15741 12709 0 -1 1077944384 15888 13006 0 0 1445 55 5 2 20 0 15 0 60198884 11111071744 373651 33554432000 4194304 4196468 140736719443760 139978590652944 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15796] ppid=15738 vsize=10850656 memory=1494604 CPUtime=15.09 cores=1,3,5,7
/proc/15741/task/15796/stat : 15796 (java) S 15738 15741 12709 0 -1 1077944384 19165 13006 0 0 1453 49 5 2 20 0 15 0 60198884 11111071744 373651 33554432000 4194304 4196468 140736719443760 139978489543312 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15797] ppid=15738 vsize=10850656 memory=1494604 CPUtime=15.09 cores=1,3,5,7
/proc/15741/task/15797/stat : 15797 (java) S 15738 15741 12709 0 -1 1077944384 25111 13006 0 0 1452 50 5 2 20 0 15 0 60198884 11111071744 373651 33554432000 4194304 4196468 140736719443760 139978488490256 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15798] ppid=15738 vsize=10850656 memory=1494556 CPUtime=15.11 cores=1,3,5,7
/proc/15741/task/15798/stat : 15798 (java) S 15738 15741 12709 0 -1 1077944384 21405 13006 0 0 1447 57 5 2 20 0 15 0 60198884 11111071744 373651 33554432000 4194304 4196468 140736719443760 139978157713808 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15799] ppid=15738 vsize=10850656 memory=1494604 CPUtime=7.41 cores=1,3,5,7
/proc/15741/task/15799/stat : 15799 (java) S 15738 15741 12709 0 -1 1077944384 22009 13006 0 0 685 49 5 2 20 0 15 0 60198885 11111071744 373651 33554432000 4194304 4196468 140736719443760 139978045905648 139978586421890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15800] ppid=15738 vsize=10850656 memory=1494604 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15800/stat : 15800 (java) S 15738 15741 12709 0 -1 1077944384 17 13006 0 0 0 0 5 2 20 0 15 0 60198886 11111071744 373651 33554432000 4194304 4196468 140736719443760 139977480464096 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15801] ppid=15738 vsize=10850656 memory=1494604 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15801/stat : 15801 (java) S 15738 15741 12709 0 -1 1077944384 10 13006 0 0 0 0 5 2 20 0 15 0 60198886 11111071744 373651 33554432000 4194304 4196468 140736719443760 139977346245888 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15802] ppid=15738 vsize=10850656 memory=1494604 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15802/stat : 15802 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11111071744 373651 33554432000 4194304 4196468 140736719443760 139977105955280 139978586429339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15803] ppid=15738 vsize=10850656 memory=1494604 CPUtime=11.01 cores=1,3,5,7
/proc/15741/task/15803/stat : 15803 (java) S 15738 15741 12709 0 -1 1077944384 29515 13006 0 0 1089 5 5 2 20 0 15 0 60198889 11111071744 373651 33554432000 4194304 4196468 140736719443760 139978044852464 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15804] ppid=15738 vsize=10850656 memory=1494604 CPUtime=11.12 cores=1,3,5,7
/proc/15741/task/15804/stat : 15804 (java) S 15738 15741 12709 0 -1 1077944384 31251 13006 0 0 1100 5 5 2 20 0 15 0 60198889 11111071744 373651 33554432000 4194304 4196468 140736719443760 139978043799920 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15805] ppid=15738 vsize=10850656 memory=1494604 CPUtime=4.04 cores=1,3,5,7
/proc/15741/task/15805/stat : 15805 (java) S 15738 15741 12709 0 -1 1077944384 32773 13006 0 0 389 8 5 2 20 0 15 0 60198889 11111071744 373651 33554432000 4194304 4196468 140736719443760 139978042746864 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15806] ppid=15738 vsize=10850656 memory=1494524 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15806/stat : 15806 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11111071744 373651 33554432000 4194304 4196468 140736719443760 139977072396640 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15807] ppid=15738 vsize=10850656 memory=1494604 CPUtime=1.49 cores=1,3,5,7
/proc/15741/task/15807/stat : 15807 (java) S 15738 15741 12709 0 -1 1077944384 1365 13006 0 0 64 78 5 2 20 0 15 0 60198889 11111071744 373651 33554432000 4194304 4196468 140736719443760 139978041695280 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
Current children cumulated CPU time: 2511.68 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 1494604 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2450.5 s]
/proc/loadavg: 1.43 1.47 1.48 3/219 16043
/proc/meminfo: memFree=14147144/32770624 swapFree=67108860/67108860
[pid=15741] ppid=15738 vsize=10850656 memory=1494612 CPUtime=2520.01 cores=1,3,5,7
/proc/15741/stat : 15741 (java) S 15738 15741 12709 0 -1 1077944320 306293 13006 0 0 251616 378 5 2 20 0 15 0 60198874 11111071744 373653 33554432000 4194304 4196468 140736719443760 140736719426304 139978586410743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
/proc/15741/statm: 2712664 373653 3525 1 0 2674317 0
[pid=15741/tid=15794] ppid=15738 vsize=10850656 memory=1494612 CPUtime=2424.89 cores=1,3,5,7
/proc/15741/task/15794/stat : 15794 (java) R 15738 15741 12709 0 -1 4202560 105036 13006 0 0 242423 59 5 2 20 0 15 0 60198883 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978558245712 139978180609979 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15795] ppid=15738 vsize=10850656 memory=1494612 CPUtime=15.11 cores=1,3,5,7
/proc/15741/task/15795/stat : 15795 (java) S 15738 15741 12709 0 -1 1077944384 16197 13006 0 0 1449 55 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978590652944 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15796] ppid=15738 vsize=10850656 memory=1494604 CPUtime=15.13 cores=1,3,5,7
/proc/15741/task/15796/stat : 15796 (java) S 15738 15741 12709 0 -1 1077944384 19181 13006 0 0 1457 49 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978489543312 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15797] ppid=15738 vsize=10850656 memory=1494604 CPUtime=15.14 cores=1,3,5,7
/proc/15741/task/15797/stat : 15797 (java) S 15738 15741 12709 0 -1 1077944384 25178 13006 0 0 1456 51 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978488490256 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15798] ppid=15738 vsize=10850656 memory=1494556 CPUtime=15.16 cores=1,3,5,7
/proc/15741/task/15798/stat : 15798 (java) S 15738 15741 12709 0 -1 1077944384 21409 13006 0 0 1452 57 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978157713808 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15799] ppid=15738 vsize=10850656 memory=1494604 CPUtime=7.43 cores=1,3,5,7
/proc/15741/task/15799/stat : 15799 (java) S 15738 15741 12709 0 -1 1077944384 22157 13006 0 0 687 49 5 2 20 0 15 0 60198885 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978045905648 139978586421890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15800] ppid=15738 vsize=10850656 memory=1494604 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15800/stat : 15800 (java) S 15738 15741 12709 0 -1 1077944384 17 13006 0 0 0 0 5 2 20 0 15 0 60198886 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977480464096 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15801] ppid=15738 vsize=10850656 memory=1494612 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15801/stat : 15801 (java) S 15738 15741 12709 0 -1 1077944384 10 13006 0 0 0 0 5 2 20 0 15 0 60198886 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977346245888 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15802] ppid=15738 vsize=10850656 memory=1494612 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15802/stat : 15802 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977105955280 139978586429339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15803] ppid=15738 vsize=10850656 memory=1494524 CPUtime=11.01 cores=1,3,5,7
/proc/15741/task/15803/stat : 15803 (java) S 15738 15741 12709 0 -1 1077944384 29517 13006 0 0 1089 5 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978044852464 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15804] ppid=15738 vsize=10850656 memory=1494604 CPUtime=11.12 cores=1,3,5,7
/proc/15741/task/15804/stat : 15804 (java) S 15738 15741 12709 0 -1 1077944384 31253 13006 0 0 1100 5 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978043799920 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15805] ppid=15738 vsize=10850656 memory=1232 CPUtime=4.04 cores=1,3,5,7
/proc/15741/task/15805/stat : 15805 (java) S 15738 15741 12709 0 -1 1077944384 32775 13006 0 0 389 8 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978042746864 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15806] ppid=15738 vsize=10850656 memory=4616 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15806/stat : 15806 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977072396640 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15807] ppid=15738 vsize=10850656 memory=15868 CPUtime=1.5 cores=1,3,5,7
/proc/15741/task/15807/stat : 15807 (java) S 15738 15741 12709 0 -1 1077944384 1369 13006 0 0 64 79 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978041695280 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 1494612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2450.73 s]
# the end of solver process 15741 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.44 s, system=3.82522 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2450.61 s]
/proc/loadavg: 1.43 1.47 1.48 3/219 16043
/proc/meminfo: memFree=14147144/32770624 swapFree=67108860/67108860
[pid=15741] ppid=15738 vsize=10850656 memory=1494612 CPUtime=2520.12 cores=1,3,5,7
/proc/15741/stat : 15741 (java) S 15738 15741 12709 0 -1 1077944320 306332 13006 0 0 251627 378 5 2 20 0 15 0 60198874 11111071744 373653 33554432000 4194304 4196468 140736719443760 140736719426304 139978586410743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
/proc/15741/statm: 2712664 373653 3525 1 0 2674317 0
[pid=15741/tid=15794] ppid=15738 vsize=10850656 memory=1728 CPUtime=2425 cores=1,3,5,7
/proc/15741/task/15794/stat : 15794 (java) R 15738 15741 12709 0 -1 4202560 105036 13006 0 0 242434 59 5 2 20 0 15 0 60198883 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978558245712 139978189268783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15795] ppid=15738 vsize=10850656 memory=792 CPUtime=15.11 cores=1,3,5,7
/proc/15741/task/15795/stat : 15795 (java) S 15738 15741 12709 0 -1 1077944384 16197 13006 0 0 1449 55 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978590652944 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15796] ppid=15738 vsize=10850656 memory=1228 CPUtime=15.13 cores=1,3,5,7
/proc/15741/task/15796/stat : 15796 (java) S 15738 15741 12709 0 -1 1077944384 19181 13006 0 0 1457 49 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978489543312 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15797] ppid=15738 vsize=10850656 memory=1572 CPUtime=15.14 cores=1,3,5,7
/proc/15741/task/15797/stat : 15797 (java) S 15738 15741 12709 0 -1 1077944384 25178 13006 0 0 1456 51 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978488490256 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15798] ppid=15738 vsize=10850656 memory=1494612 CPUtime=15.16 cores=1,3,5,7
/proc/15741/task/15798/stat : 15798 (java) S 15738 15741 12709 0 -1 1077944384 21409 13006 0 0 1452 57 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978157713808 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15799] ppid=15738 vsize=10850656 memory=2244 CPUtime=7.43 cores=1,3,5,7
/proc/15741/task/15799/stat : 15799 (java) S 15738 15741 12709 0 -1 1077944384 22157 13006 0 0 687 49 5 2 20 0 15 0 60198885 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978045905648 139978586421890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15800] ppid=15738 vsize=10850656 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15800/stat : 15800 (java) S 15738 15741 12709 0 -1 1077944384 17 13006 0 0 0 0 5 2 20 0 15 0 60198886 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977480464096 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15801] ppid=15738 vsize=10850656 memory=2196 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15801/stat : 15801 (java) S 15738 15741 12709 0 -1 1077944384 10 13006 0 0 0 0 5 2 20 0 15 0 60198886 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977346245888 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15802] ppid=15738 vsize=10850656 memory=18892 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15802/stat : 15802 (java) D 15738 15741 12709 0 -1 1077944384 40 13006 0 0 0 0 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977105949408 139978586432669 0 4 0 16800975 18446744072101641764 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15803] ppid=15738 vsize=10850656 memory=1296 CPUtime=11.01 cores=1,3,5,7
/proc/15741/task/15803/stat : 15803 (java) S 15738 15741 12709 0 -1 1077944384 29517 13006 0 0 1089 5 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978044852464 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15804] ppid=15738 vsize=10850656 memory=2448 CPUtime=11.12 cores=1,3,5,7
/proc/15741/task/15804/stat : 15804 (java) S 15738 15741 12709 0 -1 1077944384 31253 13006 0 0 1100 5 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978043799920 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15805] ppid=15738 vsize=10850656 memory=1728 CPUtime=4.04 cores=1,3,5,7
/proc/15741/task/15805/stat : 15805 (java) S 15738 15741 12709 0 -1 1077944384 32775 13006 0 0 389 8 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978042746864 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15806] ppid=15738 vsize=10850656 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15806/stat : 15806 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977072396640 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15807] ppid=15738 vsize=10850656 memory=1228 CPUtime=1.5 cores=1,3,5,7
/proc/15741/task/15807/stat : 15807 (java) S 15738 15741 12709 0 -1 1077944384 1369 13006 0 0 64 79 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978041695280 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
Current children cumulated CPU time: 2520.12 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 1494612 KiB
[startup+2450.7 s]
/proc/loadavg: 1.43 1.47 1.48 3/219 16043
/proc/meminfo: memFree=14147144/32770624 swapFree=67108860/67108860
[pid=15741] ppid=15738 vsize=10850656 memory=1494612 CPUtime=2520.22 cores=1,3,5,7
/proc/15741/stat : 15741 (java) S 15738 15741 12709 0 -1 1077944320 306340 13006 0 0 251637 378 5 2 20 0 15 0 60198874 11111071744 373653 33554432000 4194304 4196468 140736719443760 140736719426304 139978586410743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
/proc/15741/statm: 2712664 373653 3525 1 0 2674317 0
[pid=15741/tid=15794] ppid=15738 vsize=10850656 memory=1494612 CPUtime=2425.08 cores=1,3,5,7
/proc/15741/task/15794/stat : 15794 (java) R 15738 15741 12709 0 -1 4202560 105037 13006 0 0 242442 59 5 2 20 0 15 0 60198883 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978558245488 139978184709183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15795] ppid=15738 vsize=10850656 memory=1494604 CPUtime=15.11 cores=1,3,5,7
/proc/15741/task/15795/stat : 15795 (java) S 15738 15741 12709 0 -1 1077944384 16197 13006 0 0 1449 55 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978590652944 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15796] ppid=15738 vsize=10850656 memory=1494604 CPUtime=15.14 cores=1,3,5,7
/proc/15741/task/15796/stat : 15796 (java) S 15738 15741 12709 0 -1 1077944384 19181 13006 0 0 1458 49 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978489543312 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15797] ppid=15738 vsize=10850656 memory=1494556 CPUtime=15.14 cores=1,3,5,7
/proc/15741/task/15797/stat : 15797 (java) S 15738 15741 12709 0 -1 1077944384 25178 13006 0 0 1456 51 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978488490256 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15798] ppid=15738 vsize=10850656 memory=1494604 CPUtime=15.16 cores=1,3,5,7
/proc/15741/task/15798/stat : 15798 (java) S 15738 15741 12709 0 -1 1077944384 21416 13006 0 0 1452 57 5 2 20 0 15 0 60198884 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978157713808 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15799] ppid=15738 vsize=10850656 memory=1494604 CPUtime=7.43 cores=1,3,5,7
/proc/15741/task/15799/stat : 15799 (java) S 15738 15741 12709 0 -1 1077944384 22157 13006 0 0 687 49 5 2 20 0 15 0 60198885 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978045905648 139978586421890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15800] ppid=15738 vsize=10850656 memory=1494612 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15800/stat : 15800 (java) S 15738 15741 12709 0 -1 1077944384 17 13006 0 0 0 0 5 2 20 0 15 0 60198886 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977480464096 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15801] ppid=15738 vsize=10850656 memory=1494612 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15801/stat : 15801 (java) S 15738 15741 12709 0 -1 1077944384 10 13006 0 0 0 0 5 2 20 0 15 0 60198886 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977346245888 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15802] ppid=15738 vsize=10850656 memory=1494612 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15802/stat : 15802 (java) D 15738 15741 12709 0 -1 1077944384 40 13006 0 0 0 0 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977105949408 139978586432669 0 4 0 16800975 18446744072101641764 0 0 -1 5 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15803] ppid=15738 vsize=10850656 memory=1494524 CPUtime=11.01 cores=1,3,5,7
/proc/15741/task/15803/stat : 15803 (java) S 15738 15741 12709 0 -1 1077944384 29517 13006 0 0 1089 5 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978044852464 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15804] ppid=15738 vsize=10850656 memory=4616 CPUtime=11.12 cores=1,3,5,7
/proc/15741/task/15804/stat : 15804 (java) S 15738 15741 12709 0 -1 1077944384 31253 13006 0 0 1100 5 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978043799920 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15805] ppid=15738 vsize=10850656 memory=15868 CPUtime=4.04 cores=1,3,5,7
/proc/15741/task/15805/stat : 15805 (java) S 15738 15741 12709 0 -1 1077944384 32775 13006 0 0 389 8 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978042746864 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15806] ppid=15738 vsize=10850656 memory=1494604 CPUtime=0.07 cores=1,3,5,7
/proc/15741/task/15806/stat : 15806 (java) S 15738 15741 12709 0 -1 1077944384 3 13006 0 0 0 0 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139977072396640 139978586420949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
[pid=15741/tid=15807] ppid=15738 vsize=10850656 memory=1232 CPUtime=1.5 cores=1,3,5,7
/proc/15741/task/15807/stat : 15807 (java) S 15738 15741 12709 0 -1 1077944384 1369 13006 0 0 64 79 5 2 20 0 15 0 60198889 11111071744 373653 33554432000 4194304 4196468 140736719443760 139978041695280 139978586421890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22433792 140736719448236 140736719451484 140736719451484 140736719454159 0
Current children cumulated CPU time: 2520.22 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 1494612 KiB
Child status: 143
Real time (s): 2450.73
CPU time (s): 2520.26
CPU user time (s): 2516.44
CPU system time (s): 3.82522
CPU usage (%): 102.837
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 2134312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.44
system time used= 3.82522
maximum resident set size= 2139928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 320486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 210573
involuntary context switches= 7855
# summary of solver processes directly reported to runsolver:
# pid: 15741
# total CPU time (s): 2520.26
# total CPU user time (s): 2516.44
# total CPU system time (s): 3.82522
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2764 second user time and 19.6047 second system time
The end