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 (2292 MiB free)
memory of node 1: 16384 MiB (3533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403259-1568981321/watcher-4403259-1568981321 -o /tmp/evaluation-result-4403259-1568981321/solver-4403259-1568981321 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568967595-6472 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=2094713575 HOME/instance-4403259-1568981321.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=9844, runsolver pid=9841
[startup+0.100128 s]*
/proc/loadavg: 1.43 1.36 1.39 3/219 9901
/proc/meminfo: memFree=5955736/32770624 swapFree=66974440/67108860
[pid=9844] ppid=9841 vsize=9972712 memory=18328 CPUtime=0.1 cores=1,3,5,7
/proc/9844/stat : 9844 (java) S 9841 9844 6440 0 -1 1077944320 4354 13302 0 0 1 1 5 3 20 0 6 0 474398868 10212057088 4582 33554432000 4194304 4196468 140721420333344 140721420315888 140441531395831 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
/proc/9844/statm: 2493178 4582 1931 1 0 2481616 0
[pid=9844/tid=9897] ppid=9841 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9897/stat : 9897 (java) R 9841 9844 6440 0 -1 4202560 2175 13302 0 0 0 0 5 3 20 0 6 0 474398877 10212057088 4648 33554432000 4194304 4196468 140721420333344 140441503232592 140441523632958 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9898] ppid=9841 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9898/stat : 9898 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 6 0 474398878 10212057088 4648 33554432000 4194304 4196468 140721420333344 140441535638160 140441531406037 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9899] ppid=9841 vsize=9972712 memory=140156598924928 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9899/stat : 9899 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 6 0 474398878 10212057088 4648 33554432000 4194304 4196468 140721420333344 140441423911440 140441531406037 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9900] ppid=9841 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9900/stat : 9900 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 6 0 474398878 10212057088 4648 33554432000 4194304 4196468 140721420333344 140441422858640 140441531406037 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9901] ppid=9841 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9901/stat : 9901 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 6 0 474398878 10212057088 4648 33554432000 4194304 4196468 140721420333344 140441421805840 140441531406037 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210944 s]*
/proc/loadavg: 1.43 1.36 1.39 4/228 9910
/proc/meminfo: memFree=5937600/32770624 swapFree=66974440/67108860
[pid=9844] ppid=9841 vsize=10819716 memory=42360 CPUtime=0.26 cores=1,3,5,7
/proc/9844/stat : 9844 (java) S 9841 9844 6440 0 -1 1077944320 6922 13302 0 0 16 2 5 3 20 0 15 0 474398868 11079389184 10590 33554432000 4194304 4196468 140721420333344 140721420315888 140441531395831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
/proc/9844/statm: 2704929 10590 3183 1 0 2667149 0
[pid=9844/tid=9897] ppid=9841 vsize=10819716 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/9844/task/9897/stat : 9897 (java) R 9841 9844 6440 0 -1 4202560 3396 13302 0 0 10 1 5 3 20 0 15 0 474398877 11079389184 10590 33554432000 4194304 4196468 140721420333344 140441503212944 140441513823969 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9898] ppid=9841 vsize=10819716 memory=364 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9898/stat : 9898 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398878 11079389184 10590 33554432000 4194304 4196468 140721420333344 140441535638160 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9899] ppid=9841 vsize=10819716 memory=140156598935025 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9899/stat : 9899 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398878 11079389184 10590 33554432000 4194304 4196468 140721420333344 140441423911440 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9900] ppid=9841 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9900/stat : 9900 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398878 11079389184 10590 33554432000 4194304 4196468 140721420333344 140441422858640 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9901] ppid=9841 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9901/stat : 9901 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398878 11079389184 10590 33554432000 4194304 4196468 140721420333344 140441421805840 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9902] ppid=9841 vsize=10819716 memory=140156598924928 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9902/stat : 9902 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398880 11079389184 10590 33554432000 4194304 4196468 140721420333344 140440990862192 140441531406978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9903] ppid=9841 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9903/stat : 9903 (java) S 9841 9844 6440 0 -1 1077944384 33 13302 0 0 0 0 5 3 20 0 15 0 474398880 11079389184 10590 33554432000 4194304 4196468 140721420333344 140440989808160 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9904] ppid=9841 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9904/stat : 9904 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398880 11079389184 10590 33554432000 4194304 4196468 140721420333344 140440867169648 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9905] ppid=9841 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9905/stat : 9905 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398883 11079389184 10590 33554432000 4194304 4196468 140721420333344 140440263190864 140441531414427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9906] ppid=9841 vsize=10819716 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9844/task/9906/stat : 9906 (java) S 9841 9844 6440 0 -1 1077944384 458 13302 0 0 1 0 5 3 20 0 15 0 474398883 11079389184 10590 33554432000 4194304 4196468 140721420333344 140440956250480 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9907] ppid=9841 vsize=10819716 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9844/task/9907/stat : 9907 (java) S 9841 9844 6440 0 -1 1077944384 203 13302 0 0 1 0 5 3 20 0 15 0 474398883 11079389184 10590 33554432000 4194304 4196468 140721420333344 140440955197680 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9908] ppid=9841 vsize=10819716 memory=140156598924928 CPUtime=0.11 cores=1,3,5,7
/proc/9844/task/9908/stat : 9908 (java) S 9841 9844 6440 0 -1 1077944384 609 13302 0 0 3 0 5 3 20 0 15 0 474398883 11079389184 10590 33554432000 4194304 4196468 140721420333344 140440954144880 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9909] ppid=9841 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9909/stat : 9909 (java) S 9841 9844 6440 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 474398883 11079389184 10590 33554432000 4194304 4196468 140721420333344 140439793428704 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9910] ppid=9841 vsize=10819716 memory=140156598924928 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9910/stat : 9910 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398883 11079389184 10590 33554432000 4194304 4196468 140721420333344 140440953093296 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 42360 KiB
[startup+0.310196 s]*
/proc/loadavg: 1.43 1.36 1.39 3/228 9910
/proc/meminfo: memFree=5925300/32770624 swapFree=66974440/67108860
[pid=9844] ppid=9841 vsize=10820196 memory=53472 CPUtime=0.41 cores=1,3,5,7
/proc/9844/stat : 9844 (java) S 9841 9844 6440 0 -1 1077944320 10578 13302 0 0 29 4 5 3 20 0 15 0 474398868 11079880704 13368 33554432000 4194304 4196468 140721420333344 140721420315888 140441531395831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
/proc/9844/statm: 2705049 13368 3313 1 0 2667149 0
[pid=9844/tid=9897] ppid=9841 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=1,3,5,7
/proc/9844/task/9897/stat : 9897 (java) R 9841 9844 6440 0 -1 4202560 7040 13302 0 0 18 2 5 3 20 0 15 0 474398877 11079880704 13368 33554432000 4194304 4196468 140721420333344 140441503206080 140441515476318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9898] ppid=9841 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9898/stat : 9898 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398878 11079880704 13368 33554432000 4194304 4196468 140721420333344 140441535638160 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9899] ppid=9841 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9899/stat : 9899 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398878 11079880704 13368 33554432000 4194304 4196468 140721420333344 140441423911440 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9900] ppid=9841 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9900/stat : 9900 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398878 11079880704 13368 33554432000 4194304 4196468 140721420333344 140441422858640 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9901] ppid=9841 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9901/stat : 9901 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398878 11079880704 13368 33554432000 4194304 4196468 140721420333344 140441421805840 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9902] ppid=9841 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9902/stat : 9902 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398880 11079880704 13368 33554432000 4194304 4196468 140721420333344 140440990862192 140441531406978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9903] ppid=9841 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9903/stat : 9903 (java) S 9841 9844 6440 0 -1 1077944384 33 13302 0 0 0 0 5 3 20 0 15 0 474398880 11079880704 13368 33554432000 4194304 4196468 140721420333344 140440989808160 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9904] ppid=9841 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9904/stat : 9904 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398880 11079880704 13368 33554432000 4194304 4196468 140721420333344 140440867169648 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9905] ppid=9841 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9905/stat : 9905 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398883 11079880704 13368 33554432000 4194304 4196468 140721420333344 140440263190864 140441531414427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9906] ppid=9841 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/9844/task/9906/stat : 9906 (java) S 9841 9844 6440 0 -1 1077944384 459 13302 0 0 2 0 5 3 20 0 15 0 474398883 11079880704 13368 33554432000 4194304 4196468 140721420333344 140440956250480 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9907] ppid=9841 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/9844/task/9907/stat : 9907 (java) S 9841 9844 6440 0 -1 1077944384 212 13302 0 0 2 0 5 3 20 0 15 0 474398883 11079880704 13368 33554432000 4194304 4196468 140721420333344 140440955197680 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9908] ppid=9841 vsize=10820196 memory=140156598924928 CPUtime=0.13 cores=1,3,5,7
/proc/9844/task/9908/stat : 9908 (java) S 9841 9844 6440 0 -1 1077944384 617 13302 0 0 5 0 5 3 20 0 15 0 474398883 11079880704 13368 33554432000 4194304 4196468 140721420333344 140440954144880 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9909] ppid=9841 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9909/stat : 9909 (java) S 9841 9844 6440 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 474398883 11079880704 13368 33554432000 4194304 4196468 140721420333344 140439793428704 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9910] ppid=9841 vsize=10820196 memory=140156598924928 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9910/stat : 9910 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398883 11079880704 13368 33554432000 4194304 4196468 140721420333344 140440953093296 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53472 KiB
[startup+0.70393 s]
/proc/loadavg: 1.43 1.36 1.39 3/228 9910
/proc/meminfo: memFree=5914880/32770624 swapFree=66974440/67108860
[pid=9844] ppid=9841 vsize=10824364 memory=85600 CPUtime=1.16 cores=1,3,5,7
/proc/9844/stat : 9844 (java) S 9841 9844 6440 0 -1 1077944320 14605 13302 0 0 101 7 5 3 20 0 15 0 474398868 11084148736 21400 33554432000 4194304 4196468 140721420333344 140721420315888 140441531395831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
/proc/9844/statm: 2706091 21400 3513 1 0 2668173 0
[pid=9844/tid=9897] ppid=9841 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/9844/task/9897/stat : 9897 (java) R 9841 9844 6440 0 -1 4202560 9996 13302 0 0 54 4 5 3 20 0 15 0 474398877 11084148736 21400 33554432000 4194304 4196468 140721420333344 140441503220328 140441517089312 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9898] ppid=9841 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9898/stat : 9898 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398878 11084148736 21400 33554432000 4194304 4196468 140721420333344 140441535638160 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9899] ppid=9841 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9899/stat : 9899 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398878 11084148736 21400 33554432000 4194304 4196468 140721420333344 140441423911440 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9900] ppid=9841 vsize=10824364 memory=280312920197088 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9900/stat : 9900 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398878 11084148736 21400 33554432000 4194304 4196468 140721420333344 140441422858640 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9901] ppid=9841 vsize=10824364 memory=140156459954096 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9901/stat : 9901 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398878 11084148736 21400 33554432000 4194304 4196468 140721420333344 140441421805840 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9902] ppid=9841 vsize=10824364 memory=140157667770950 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9902/stat : 9902 (java) S 9841 9844 6440 0 -1 1077944384 5 13302 0 0 0 0 5 3 20 0 15 0 474398880 11084148736 21400 33554432000 4194304 4196468 140721420333344 140440990862192 140441531406978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9903] ppid=9841 vsize=10824364 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9903/stat : 9903 (java) S 9841 9844 6440 0 -1 1077944384 33 13302 0 0 0 0 5 3 20 0 15 0 474398880 11084148736 21400 33554432000 4194304 4196468 140721420333344 140440989808160 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9904] ppid=9841 vsize=10824364 memory=7092418796125250880 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9904/stat : 9904 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398880 11084148736 21400 33554432000 4194304 4196468 140721420333344 140440867169648 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9905] ppid=9841 vsize=10824364 memory=7453282923411564372 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9905/stat : 9905 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398883 11084148736 21400 33554432000 4194304 4196468 140721420333344 140440263190864 140441531414427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9906] ppid=9841 vsize=10824364 memory=5787213827063244903 CPUtime=0.24 cores=1,3,5,7
/proc/9844/task/9906/stat : 9906 (java) R 9841 9844 6440 0 -1 4202560 931 13302 0 0 16 0 5 3 20 0 15 0 474398883 11084148736 21400 33554432000 4194304 4196468 140721420333344 140440956250480 140441512095391 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9907] ppid=9841 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/9844/task/9907/stat : 9907 (java) S 9841 9844 6440 0 -1 1077944384 646 13302 0 0 12 0 5 3 20 0 15 0 474398883 11084148736 21400 33554432000 4194304 4196468 140721420333344 140440955197680 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9908] ppid=9841 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/9844/task/9908/stat : 9908 (java) S 9841 9844 6440 0 -1 1077944384 773 13302 0 0 17 0 5 3 20 0 15 0 474398883 11084148736 21400 33554432000 4194304 4196468 140721420333344 140440954144880 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9909] ppid=9841 vsize=10824364 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9909/stat : 9909 (java) S 9841 9844 6440 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 474398883 11084148736 21400 33554432000 4194304 4196468 140721420333344 140439793428704 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9910] ppid=9841 vsize=10824364 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9910/stat : 9910 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398883 11084148736 21400 33554432000 4194304 4196468 140721420333344 140440953093296 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85600 KiB
[startup+1.50095 s]
/proc/loadavg: 1.43 1.36 1.39 3/228 9910
/proc/meminfo: memFree=5873472/32770624 swapFree=66974440/67108860
[pid=9844] ppid=9841 vsize=10834680 memory=173288 CPUtime=2.52 cores=1,3,5,7
/proc/9844/stat : 9844 (java) S 9841 9844 6440 0 -1 1077944320 21345 13302 0 0 232 12 5 3 20 0 15 0 474398868 11094712320 43322 33554432000 4194304 4196468 140721420333344 140721420315888 140441531395831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
/proc/9844/statm: 2708670 43322 3582 1 0 2670733 0
[pid=9844/tid=9897] ppid=9841 vsize=10834680 memory=9252 CPUtime=1.43 cores=1,3,5,7
/proc/9844/task/9897/stat : 9897 (java) R 9841 9844 6440 0 -1 4202560 14911 13302 0 0 128 7 5 3 20 0 15 0 474398877 11094712320 43322 33554432000 4194304 4196468 140721420333344 140441503203808 140441513889537 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9898] ppid=9841 vsize=10834680 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/9844/task/9898/stat : 9898 (java) S 9841 9844 6440 0 -1 1077944384 77 13302 0 0 1 0 5 3 20 0 15 0 474398878 11094712320 43322 33554432000 4194304 4196468 140721420333344 140441535638160 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9899] ppid=9841 vsize=10834680 memory=4100 CPUtime=0.09 cores=1,3,5,7
/proc/9844/task/9899/stat : 9899 (java) S 9841 9844 6440 0 -1 1077944384 43 13302 0 0 1 0 5 3 20 0 15 0 474398878 11094712320 43322 33554432000 4194304 4196468 140721420333344 140441423911440 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9900] ppid=9841 vsize=10834680 memory=1412 CPUtime=0.09 cores=1,3,5,7
/proc/9844/task/9900/stat : 9900 (java) S 9841 9844 6440 0 -1 1077944384 42 13302 0 0 1 0 5 3 20 0 15 0 474398878 11094712320 43322 33554432000 4194304 4196468 140721420333344 140441422858640 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9901] ppid=9841 vsize=10834680 memory=85600 CPUtime=0.09 cores=1,3,5,7
/proc/9844/task/9901/stat : 9901 (java) S 9841 9844 6440 0 -1 1077944384 342 13302 0 0 1 0 5 3 20 0 15 0 474398878 11094712320 43322 33554432000 4194304 4196468 140721420333344 140441421805840 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9902] ppid=9841 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9844/task/9902/stat : 9902 (java) S 9841 9844 6440 0 -1 1077944384 174 13302 0 0 1 0 5 3 20 0 15 0 474398880 11094712320 43322 33554432000 4194304 4196468 140721420333344 140440990862192 140441531406978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9903] ppid=9841 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9903/stat : 9903 (java) S 9841 9844 6440 0 -1 1077944384 34 13302 0 0 0 0 5 3 20 0 15 0 474398880 11094712320 43322 33554432000 4194304 4196468 140721420333344 140440989808224 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9904] ppid=9841 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9904/stat : 9904 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398880 11094712320 43322 33554432000 4194304 4196468 140721420333344 140440867169664 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9905] ppid=9841 vsize=10834680 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9905/stat : 9905 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398883 11094712320 43322 33554432000 4194304 4196468 140721420333344 140440263190864 140441531414427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9906] ppid=9841 vsize=10834680 memory=4638778398332698720 CPUtime=0.36 cores=1,3,5,7
/proc/9844/task/9906/stat : 9906 (java) S 9841 9844 6440 0 -1 1077944384 1020 13302 0 0 28 0 5 3 20 0 15 0 474398883 11094712320 43322 33554432000 4194304 4196468 140721420333344 140440956250480 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9907] ppid=9841 vsize=10834680 memory=280312920186272 CPUtime=0.34 cores=1,3,5,7
/proc/9844/task/9907/stat : 9907 (java) S 9841 9844 6440 0 -1 1077944384 834 13302 0 0 26 0 5 3 20 0 15 0 474398883 11094712320 43322 33554432000 4194304 4196468 140721420333344 140440955197680 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9908] ppid=9841 vsize=10834680 memory=6944656425123290226 CPUtime=0.49 cores=1,3,5,7
/proc/9844/task/9908/stat : 9908 (java) R 9841 9844 6440 0 -1 4202560 1653 13302 0 0 41 0 5 3 20 0 15 0 474398883 11094712320 43322 33554432000 4194304 4196468 140721420333344 140440954141816 140441510053312 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9909] ppid=9841 vsize=10834680 memory=-7233780906022716832 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9909/stat : 9909 (java) S 9841 9844 6440 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 474398883 11094712320 43322 33554432000 4194304 4196468 140721420333344 140439793428704 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9910] ppid=9841 vsize=10834680 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9910/stat : 9910 (java) S 9841 9844 6440 0 -1 1077944384 1 13302 0 0 0 0 5 3 20 0 15 0 474398883 11094712320 43322 33554432000 4194304 4196468 140721420333344 140440953093296 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/9844/task/9897/stat : 9897 (java) R 9841 9844 6440 0 -1 4202560 102750 13302 0 0 223856 56 5 3 20 0 15 0 474398877 11107315712 101446 33554432000 4194304 4196468 140721420333344 140441503231280 140441105939368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9898] ppid=9841 vsize=10846988 memory=500 CPUtime=12.53 cores=1,3,5,7
/proc/9844/task/9898/stat : 9898 (java) S 9841 9844 6440 0 -1 1077944384 15975 13302 0 0 1186 59 5 3 20 0 15 0 474398878 11107315712 101446 33554432000 4194304 4196468 140721420333344 140441535638160 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9899] ppid=9841 vsize=10846988 memory=405784 CPUtime=12.48 cores=1,3,5,7
/proc/9844/task/9899/stat : 9899 (java) S 9841 9844 6440 0 -1 1077944384 17287 13302 0 0 1185 55 5 3 20 0 15 0 474398878 11107315712 101446 33554432000 4194304 4196468 140721420333344 140441423911440 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9900] ppid=9841 vsize=10846988 memory=405784 CPUtime=12.51 cores=1,3,5,7
/proc/9844/task/9900/stat : 9900 (java) S 9841 9844 6440 0 -1 1077944384 17334 13302 0 0 1186 57 5 3 20 0 15 0 474398878 11107315712 101446 33554432000 4194304 4196468 140721420333344 140441422858640 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9901] ppid=9841 vsize=10846988 memory=405464 CPUtime=12.5 cores=1,3,5,7
/proc/9844/task/9901/stat : 9901 (java) S 9841 9844 6440 0 -1 1077944384 13410 13302 0 0 1186 56 5 3 20 0 15 0 474398878 11107315712 101446 33554432000 4194304 4196468 140721420333344 140441421805840 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9902] ppid=9841 vsize=10846988 memory=405784 CPUtime=8.55 cores=1,3,5,7
/proc/9844/task/9902/stat : 9902 (java) S 9841 9844 6440 0 -1 1077944384 12309 13302 0 0 782 65 5 3 20 0 15 0 474398880 11107315712 101446 33554432000 4194304 4196468 140721420333344 140440990862192 140441531406978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9903] ppid=9841 vsize=10846988 memory=405464 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9903/stat : 9903 (java) S 9841 9844 6440 0 -1 1077944384 45 13302 0 0 0 0 5 3 20 0 15 0 474398880 11107315712 101446 33554432000 4194304 4196468 140721420333344 140440989808288 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9904] ppid=9841 vsize=10846988 memory=405784 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9904/stat : 9904 (java) S 9841 9844 6440 0 -1 1077944384 15 13302 0 0 0 0 5 3 20 0 15 0 474398880 11107315712 101446 33554432000 4194304 4196468 140721420333344 140440867169664 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9905] ppid=9841 vsize=10846988 memory=405784 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9905/stat : 9905 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398883 11107315712 101446 33554432000 4194304 4196468 140721420333344 140440263190864 140441531414427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9906] ppid=9841 vsize=10846988 memory=405464 CPUtime=5.47 cores=1,3,5,7
/proc/9844/task/9906/stat : 9906 (java) S 9841 9844 6440 0 -1 1077944384 27628 13302 0 0 535 4 5 3 20 0 15 0 474398883 11107315712 101446 33554432000 4194304 4196468 140721420333344 140440956250480 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9907] ppid=9841 vsize=10846988 memory=405464 CPUtime=5.92 cores=1,3,5,7
/proc/9844/task/9907/stat : 9907 (java) S 9841 9844 6440 0 -1 1077944384 33954 13302 0 0 579 5 5 3 20 0 15 0 474398883 11107315712 101446 33554432000 4194304 4196468 140721420333344 140440955197680 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9908] ppid=9841 vsize=10846988 memory=8112282956445269571 CPUtime=2.4 cores=1,3,5,7
/proc/9844/task/9908/stat : 9908 (java) S 9841 9844 6440 0 -1 1077944384 21495 13302 0 0 227 5 5 3 20 0 15 0 474398883 11107315712 101446 33554432000 4194304 4196468 140721420333344 140440954144880 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9909] ppid=9841 vsize=10846988 memory=940 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9909/stat : 9909 (java) S 9841 9844 6440 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 474398883 11107315712 101446 33554432000 4194304 4196468 140721420333344 140439793428704 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9910] ppid=9841 vsize=10846988 memory=405464 CPUtime=1.36 cores=1,3,5,7
/proc/9844/task/9910/stat : 9910 (java) S 9841 9844 6440 0 -1 1077944384 861 13302 0 0 61 67 5 3 20 0 15 0 474398883 11107315712 101446 33554432000 4194304 4196468 140721420333344 140440953093296 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
Current children cumulated CPU time: 2312.32 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 405784 KiB
[startup+2322.3 s]
/proc/loadavg: 1.54 1.54 1.50 3/230 10276
/proc/meminfo: memFree=3772796/32770624 swapFree=66974448/67108860
[pid=9844] ppid=9841 vsize=10846988 memory=405800 CPUtime=2373.36 cores=1,3,5,7
/proc/9844/stat : 9844 (java) S 9841 9844 6440 0 -1 1077944320 266260 13302 0 0 236939 389 5 3 20 0 15 0 474398868 11107315712 101450 33554432000 4194304 4196468 140721420333344 140721420315888 140441531395831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
/proc/9844/statm: 2711747 101450 3634 1 0 2673805 0
[pid=9844/tid=9897] ppid=9841 vsize=10846988 memory=405800 CPUtime=2298.53 cores=1,3,5,7
/proc/9844/task/9897/stat : 9897 (java) R 9841 9844 6440 0 -1 4202560 103163 13302 0 0 229789 56 5 3 20 0 15 0 474398877 11107315712 101450 33554432000 4194304 4196468 140721420333344 140441503231184 140441095647126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9898] ppid=9841 vsize=10846988 memory=405800 CPUtime=12.89 cores=1,3,5,7
/proc/9844/task/9898/stat : 9898 (java) S 9841 9844 6440 0 -1 1077944384 16176 13302 0 0 1221 60 5 3 20 0 15 0 474398878 11107315712 101450 33554432000 4194304 4196468 140721420333344 140441535638160 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9899] ppid=9841 vsize=10846988 memory=405800 CPUtime=12.84 cores=1,3,5,7
/proc/9844/task/9899/stat : 9899 (java) S 9841 9844 6440 0 -1 1077944384 17412 13302 0 0 1220 56 5 3 20 0 15 0 474398878 11107315712 101450 33554432000 4194304 4196468 140721420333344 140441423911440 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9900] ppid=9841 vsize=10846988 memory=405800 CPUtime=12.87 cores=1,3,5,7
/proc/9844/task/9900/stat : 9900 (java) S 9841 9844 6440 0 -1 1077944384 17355 13302 0 0 1221 58 5 3 20 0 15 0 474398878 11107315712 101450 33554432000 4194304 4196468 140721420333344 140441422858640 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9901] ppid=9841 vsize=10846988 memory=405800 CPUtime=12.86 cores=1,3,5,7
/proc/9844/task/9901/stat : 9901 (java) S 9841 9844 6440 0 -1 1077944384 13554 13302 0 0 1221 57 5 3 20 0 15 0 474398878 11107315712 101450 33554432000 4194304 4196468 140721420333344 140441421805840 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9902] ppid=9841 vsize=10846988 memory=405800 CPUtime=8.8 cores=1,3,5,7
/proc/9844/task/9902/stat : 9902 (java) S 9841 9844 6440 0 -1 1077944384 12373 13302 0 0 805 67 5 3 20 0 15 0 474398880 11107315712 101450 33554432000 4194304 4196468 140721420333344 140440990862192 140441531406978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9903] ppid=9841 vsize=10846988 memory=405800 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9903/stat : 9903 (java) S 9841 9844 6440 0 -1 1077944384 45 13302 0 0 0 0 5 3 20 0 15 0 474398880 11107315712 101450 33554432000 4194304 4196468 140721420333344 140440989808288 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9904] ppid=9841 vsize=10846988 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9904/stat : 9904 (java) S 9841 9844 6440 0 -1 1077944384 15 13302 0 0 0 0 5 3 20 0 15 0 474398880 11107315712 101450 33554432000 4194304 4196468 140721420333344 140440867169664 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9905] ppid=9841 vsize=10846988 memory=405800 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9905/stat : 9905 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398883 11107315712 101450 33554432000 4194304 4196468 140721420333344 140440263190864 140441531414427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9906] ppid=9841 vsize=10846988 memory=4100 CPUtime=5.47 cores=1,3,5,7
/proc/9844/task/9906/stat : 9906 (java) S 9841 9844 6440 0 -1 1077944384 27628 13302 0 0 535 4 5 3 20 0 15 0 474398883 11107315712 101450 33554432000 4194304 4196468 140721420333344 140440956250480 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9907] ppid=9841 vsize=10846988 memory=1412 CPUtime=5.92 cores=1,3,5,7
/proc/9844/task/9907/stat : 9907 (java) S 9841 9844 6440 0 -1 1077944384 33954 13302 0 0 579 5 5 3 20 0 15 0 474398883 11107315712 101450 33554432000 4194304 4196468 140721420333344 140440955197680 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9908] ppid=9841 vsize=10846988 memory=405800 CPUtime=2.4 cores=1,3,5,7
/proc/9844/task/9908/stat : 9908 (java) S 9841 9844 6440 0 -1 1077944384 21495 13302 0 0 227 5 5 3 20 0 15 0 474398883 11107315712 101450 33554432000 4194304 4196468 140721420333344 140440954144880 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9909] ppid=9841 vsize=10846988 memory=1724 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9909/stat : 9909 (java) S 9841 9844 6440 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 474398883 11107315712 101450 33554432000 4194304 4196468 140721420333344 140439793428704 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9910] ppid=9841 vsize=10846988 memory=1398722017469774279 CPUtime=1.39 cores=1,3,5,7
/proc/9844/task/9910/stat : 9910 (java) S 9841 9844 6440 0 -1 1077944384 877 13302 0 0 62 69 5 3 20 0 15 0 474398883 11107315712 101450 33554432000 4194304 4196468 140721420333344 140440953093296 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
Current children cumulated CPU time: 2373.36 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 405800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2348.5 s]
/proc/loadavg: 1.56 1.54 1.50 3/229 10276
/proc/meminfo: memFree=3809508/32770624 swapFree=66974448/67108860
[pid=9844] ppid=9841 vsize=10846988 memory=409868 CPUtime=2400.02 cores=1,3,5,7
/proc/9844/stat : 9844 (java) S 9841 9844 6440 0 -1 1077944320 266410 13302 0 0 239602 392 5 3 20 0 15 0 474398868 11107315712 102467 33554432000 4194304 4196468 140721420333344 140721420315888 140441531395831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
/proc/9844/statm: 2711747 102467 3634 1 0 2673805 0
[pid=9844/tid=9897] ppid=9841 vsize=10846988 memory=409868 CPUtime=2324.45 cores=1,3,5,7
/proc/9844/task/9897/stat : 9897 (java) R 9841 9844 6440 0 -1 4202560 103302 13302 0 0 232380 57 5 3 20 0 15 0 474398877 11107315712 102467 33554432000 4194304 4196468 140721420333344 140441503231168 140441086720281 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9898] ppid=9841 vsize=10846988 memory=409868 CPUtime=13.05 cores=1,3,5,7
/proc/9844/task/9898/stat : 9898 (java) S 9841 9844 6440 0 -1 1077944384 16178 13302 0 0 1236 61 5 3 20 0 15 0 474398878 11107315712 102467 33554432000 4194304 4196468 140721420333344 140441535638160 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9899] ppid=9841 vsize=10846988 memory=409868 CPUtime=12.99 cores=1,3,5,7
/proc/9844/task/9899/stat : 9899 (java) S 9841 9844 6440 0 -1 1077944384 17413 13302 0 0 1235 56 5 3 20 0 15 0 474398878 11107315712 102467 33554432000 4194304 4196468 140721420333344 140441423911440 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9900] ppid=9841 vsize=10846988 memory=409868 CPUtime=13.02 cores=1,3,5,7
/proc/9844/task/9900/stat : 9900 (java) S 9841 9844 6440 0 -1 1077944384 17356 13302 0 0 1236 58 5 3 20 0 15 0 474398878 11107315712 102467 33554432000 4194304 4196468 140721420333344 140441422858640 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9901] ppid=9841 vsize=10846988 memory=409868 CPUtime=13.01 cores=1,3,5,7
/proc/9844/task/9901/stat : 9901 (java) S 9841 9844 6440 0 -1 1077944384 13556 13302 0 0 1236 57 5 3 20 0 15 0 474398878 11107315712 102467 33554432000 4194304 4196468 140721420333344 140441421805840 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9902] ppid=9841 vsize=10846988 memory=409868 CPUtime=8.9 cores=1,3,5,7
/proc/9844/task/9902/stat : 9902 (java) S 9841 9844 6440 0 -1 1077944384 12376 13302 0 0 815 67 5 3 20 0 15 0 474398880 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440990862192 140441531406978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9903] ppid=9841 vsize=10846988 memory=409868 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9903/stat : 9903 (java) S 9841 9844 6440 0 -1 1077944384 45 13302 0 0 0 0 5 3 20 0 15 0 474398880 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440989808288 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9904] ppid=9841 vsize=10846988 memory=409868 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9904/stat : 9904 (java) S 9841 9844 6440 0 -1 1077944384 15 13302 0 0 0 0 5 3 20 0 15 0 474398880 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440867169664 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9905] ppid=9841 vsize=10846988 memory=409868 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9905/stat : 9905 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440263190864 140441531414427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9906] ppid=9841 vsize=10846988 memory=405800 CPUtime=5.47 cores=1,3,5,7
/proc/9844/task/9906/stat : 9906 (java) S 9841 9844 6440 0 -1 1077944384 27628 13302 0 0 535 4 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440956250480 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9907] ppid=9841 vsize=10846988 memory=409868 CPUtime=5.92 cores=1,3,5,7
/proc/9844/task/9907/stat : 9907 (java) S 9841 9844 6440 0 -1 1077944384 33954 13302 0 0 579 5 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440955197680 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9908] ppid=9841 vsize=10846988 memory=409868 CPUtime=2.4 cores=1,3,5,7
/proc/9844/task/9908/stat : 9908 (java) S 9841 9844 6440 0 -1 1077944384 21495 13302 0 0 227 5 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440954144880 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9909] ppid=9841 vsize=10846988 memory=409868 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9909/stat : 9909 (java) S 9841 9844 6440 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140439793428704 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9910] ppid=9841 vsize=10846988 memory=3620 CPUtime=1.4 cores=1,3,5,7
/proc/9844/task/9910/stat : 9910 (java) S 9841 9844 6440 0 -1 1077944384 879 13302 0 0 63 69 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440953093296 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 409868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2348.53 s]
# the end of solver process 9844 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.09 s, system=3.97148 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2348.5 s]
/proc/loadavg: 1.56 1.54 1.50 3/229 10276
/proc/meminfo: memFree=3809508/32770624 swapFree=66974448/67108860
[pid=9844] ppid=9841 vsize=10846988 memory=409868 CPUtime=2400.02 cores=1,3,5,7
/proc/9844/stat : 9844 (java) S 9841 9844 6440 0 -1 1077944320 266410 13302 0 0 239602 392 5 3 20 0 15 0 474398868 11107315712 102467 33554432000 4194304 4196468 140721420333344 140721420315888 140441531395831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
/proc/9844/statm: 2711747 102467 3634 1 0 2673805 0
[pid=9844/tid=9897] ppid=9841 vsize=10846988 memory=409868 CPUtime=2324.45 cores=1,3,5,7
/proc/9844/task/9897/stat : 9897 (java) R 9841 9844 6440 0 -1 4202560 103302 13302 0 0 232380 57 5 3 20 0 15 0 474398877 11107315712 102467 33554432000 4194304 4196468 140721420333344 140441503231168 140441086720281 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9898] ppid=9841 vsize=10846988 memory=409868 CPUtime=13.05 cores=1,3,5,7
/proc/9844/task/9898/stat : 9898 (java) S 9841 9844 6440 0 -1 1077944384 16178 13302 0 0 1236 61 5 3 20 0 15 0 474398878 11107315712 102467 33554432000 4194304 4196468 140721420333344 140441535638160 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9899] ppid=9841 vsize=10846988 memory=409868 CPUtime=12.99 cores=1,3,5,7
/proc/9844/task/9899/stat : 9899 (java) S 9841 9844 6440 0 -1 1077944384 17413 13302 0 0 1235 56 5 3 20 0 15 0 474398878 11107315712 102467 33554432000 4194304 4196468 140721420333344 140441423911440 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9900] ppid=9841 vsize=10846988 memory=409868 CPUtime=13.02 cores=1,3,5,7
/proc/9844/task/9900/stat : 9900 (java) S 9841 9844 6440 0 -1 1077944384 17356 13302 0 0 1236 58 5 3 20 0 15 0 474398878 11107315712 102467 33554432000 4194304 4196468 140721420333344 140441422858640 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9901] ppid=9841 vsize=10846988 memory=409868 CPUtime=13.01 cores=1,3,5,7
/proc/9844/task/9901/stat : 9901 (java) S 9841 9844 6440 0 -1 1077944384 13556 13302 0 0 1236 57 5 3 20 0 15 0 474398878 11107315712 102467 33554432000 4194304 4196468 140721420333344 140441421805840 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9902] ppid=9841 vsize=10846988 memory=409868 CPUtime=8.9 cores=1,3,5,7
/proc/9844/task/9902/stat : 9902 (java) S 9841 9844 6440 0 -1 1077944384 12376 13302 0 0 815 67 5 3 20 0 15 0 474398880 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440990862192 140441531406978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9903] ppid=9841 vsize=10846988 memory=409868 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9903/stat : 9903 (java) S 9841 9844 6440 0 -1 1077944384 45 13302 0 0 0 0 5 3 20 0 15 0 474398880 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440989808288 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9904] ppid=9841 vsize=10846988 memory=409868 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9904/stat : 9904 (java) S 9841 9844 6440 0 -1 1077944384 15 13302 0 0 0 0 5 3 20 0 15 0 474398880 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440867169664 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9905] ppid=9841 vsize=10846988 memory=409868 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9905/stat : 9905 (java) S 9841 9844 6440 0 -1 1077944384 2 13302 0 0 0 0 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440263190864 140441531414427 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9906] ppid=9841 vsize=10846988 memory=405800 CPUtime=5.47 cores=1,3,5,7
/proc/9844/task/9906/stat : 9906 (java) S 9841 9844 6440 0 -1 1077944384 27628 13302 0 0 535 4 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440956250480 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9907] ppid=9841 vsize=10846988 memory=409868 CPUtime=5.92 cores=1,3,5,7
/proc/9844/task/9907/stat : 9907 (java) S 9841 9844 6440 0 -1 1077944384 33954 13302 0 0 579 5 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440955197680 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9908] ppid=9841 vsize=10846988 memory=409868 CPUtime=2.4 cores=1,3,5,7
/proc/9844/task/9908/stat : 9908 (java) S 9841 9844 6440 0 -1 1077944384 21495 13302 0 0 227 5 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440954144880 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9909] ppid=9841 vsize=10846988 memory=409868 CPUtime=0.08 cores=1,3,5,7
/proc/9844/task/9909/stat : 9909 (java) S 9841 9844 6440 0 -1 1077944384 3 13302 0 0 0 0 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140439793428704 140441531406037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
[pid=9844/tid=9910] ppid=9841 vsize=10846988 memory=3620 CPUtime=1.4 cores=1,3,5,7
/proc/9844/task/9910/stat : 9910 (java) S 9841 9844 6440 0 -1 1077944384 879 13302 0 0 63 69 5 3 20 0 15 0 474398883 11107315712 102467 33554432000 4194304 4196468 140721420333344 140440953093296 140441531406978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 23191552 140721420335855 140721420338373 140721420338373 140721420341199 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 409868 KiB
Child status: 143
Real time (s): 2348.53
CPU time (s): 2400.06
CPU user time (s): 2396.09
CPU system time (s): 3.97148
CPU usage (%): 102.194
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1125832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.09
system time used= 3.97148
maximum resident set size= 1128368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280643
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 239082
involuntary context switches= 5928
# summary of solver processes directly reported to runsolver:
# pid: 9844
# total CPU time (s): 2400.06
# total CPU user time (s): 2396.09
# total CPU system time (s): 3.97148
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6976 second user time and 22.6999 second system time
The end