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 (10475 MiB free)
memory of node 1: 16384 MiB (12609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302372-1532897617/watcher-4302372-1532897617 -o /tmp/evaluation-result-4302372-1532897617/solver-4302372-1532897617 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=628276142 HOME/instance-4302372-1532897617.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20021, runsolver pid=20018
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 1.21 1.49 1.70 3/206 20078
/proc/meminfo: memFree=23633128/32770624 swapFree=67108860/67108860
[pid=20021] ppid=20018 vsize=10005480 memory=18332 CPUtime=0.1 cores=0,2,4,6
/proc/20021/stat : 20021 (java) S 20018 20021 12183 0 -1 1077944320 4244 13039 0 0 1 1 5 3 20 0 6 0 107324930 10245611520 4583 33554432000 4194304 4196468 140722106984048 140722106966592 139665047940855 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
/proc/20021/statm: 2501370 4583 1931 1 0 2489808 0
[pid=20021/tid=20074] ppid=20018 vsize=10005480 memory=4279135703946592399 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20074/stat : 20074 (java) R 20018 20021 12183 0 -1 4202560 2056 13039 0 0 0 0 5 3 20 0 6 0 107324939 10245611520 4583 33554432000 4194304 4196468 140722106984048 139665019777616 139665047962781 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20075] ppid=20018 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20075/stat : 20075 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 6 0 107324940 10245611520 4583 33554432000 4194304 4196468 140722106984048 139665052183056 139665047951061 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20076] ppid=20018 vsize=10005480 memory=140452469503616 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20076/stat : 20076 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 6 0 107324940 10245611520 4583 33554432000 4194304 4196468 140722106984048 139664906902160 139665047951061 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20077] ppid=20018 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20077/stat : 20077 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 6 0 107324940 10245611520 4583 33554432000 4194304 4196468 140722106984048 139664905849104 139665047951061 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20078] ppid=20018 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20078/stat : 20078 (java) S 20018 20021 12183 0 -1 1077944384 2 13039 0 0 0 0 5 3 20 0 6 0 107324940 10245611520 4583 33554432000 4194304 4196468 140722106984048 139664904796560 139665047951061 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB
[startup+0.209975 s]*
/proc/loadavg: 1.21 1.49 1.70 3/215 20087
/proc/meminfo: memFree=23607676/32770624 swapFree=67108860/67108860
[pid=20021] ppid=20018 vsize=10982744 memory=46260 CPUtime=0.26 cores=0,2,4,6
/proc/20021/stat : 20021 (java) S 20018 20021 12183 0 -1 1077944320 7708 13039 0 0 16 2 5 3 20 0 15 0 107324930 11246329856 11565 33554432000 4194304 4196468 140722106984048 140722106966592 139665047940855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
/proc/20021/statm: 2745686 11565 2983 1 0 2708109 0
[pid=20021/tid=20074] ppid=20018 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/20021/task/20074/stat : 20074 (java) R 20018 20021 12183 0 -1 4202560 4347 13039 0 0 10 1 5 3 20 0 15 0 107324939 11246329856 11631 33554432000 4194304 4196468 140722106984048 139665019733280 139665047962781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20075] ppid=20018 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20075/stat : 20075 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246329856 11631 33554432000 4194304 4196468 140722106984048 139665052183056 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20076] ppid=20018 vsize=10982744 memory=140452469503616 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20076/stat : 20076 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246329856 11631 33554432000 4194304 4196468 140722106984048 139664906902160 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20077] ppid=20018 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20077/stat : 20077 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246329856 11631 33554432000 4194304 4196468 140722106984048 139664905849104 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20078] ppid=20018 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20078/stat : 20078 (java) S 20018 20021 12183 0 -1 1077944384 2 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246329856 11631 33554432000 4194304 4196468 140722106984048 139664904796560 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20079] ppid=20018 vsize=10982744 memory=140452469503616 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20079/stat : 20079 (java) S 20018 20021 12183 0 -1 1077944384 2 13039 0 0 0 0 5 3 20 0 15 0 107324942 11246329856 11631 33554432000 4194304 4196468 140722106984048 139664473791216 139665047952002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20080] ppid=20018 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20080/stat : 20080 (java) S 20018 20021 12183 0 -1 1077944384 13 13039 0 0 0 0 5 3 20 0 15 0 107324942 11246329856 11631 33554432000 4194304 4196468 140722106984048 139663827265184 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20081] ppid=20018 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20081/stat : 20081 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324942 11246329856 11631 33554432000 4194304 4196468 140722106984048 139663679415536 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20082] ppid=20018 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20082/stat : 20082 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11246329856 11631 33554432000 4194304 4196468 140722106984048 139663372016080 139665047959451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20083] ppid=20018 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20083/stat : 20083 (java) S 20018 20021 12183 0 -1 1077944384 544 13039 0 0 1 0 5 3 20 0 15 0 107324945 11246329856 11631 33554432000 4194304 4196468 140722106984048 139664472738032 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20084] ppid=20018 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20084/stat : 20084 (java) S 20018 20021 12183 0 -1 1077944384 68 13039 0 0 1 0 5 3 20 0 15 0 107324945 11246329856 11631 33554432000 4194304 4196468 140722106984048 139664471685488 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20085] ppid=20018 vsize=10982744 memory=140452469503616 CPUtime=0.11 cores=0,2,4,6
/proc/20021/task/20085/stat : 20085 (java) R 20018 20021 12183 0 -1 4202560 614 13039 0 0 3 0 5 3 20 0 15 0 107324945 11246329856 11631 33554432000 4194304 4196468 140722106984048 139664470632432 139665026622160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20086] ppid=20018 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20086/stat : 20086 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11246329856 11631 33554432000 4194304 4196468 140722106984048 139662941219168 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20087] ppid=20018 vsize=10982744 memory=140452469503616 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20087/stat : 20087 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324945 11246329856 11631 33554432000 4194304 4196468 140722106984048 139664469580848 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46260 KiB
[startup+0.310269 s]*
/proc/loadavg: 1.27 1.49 1.70 3/215 20087
/proc/meminfo: memFree=23596016/32770624 swapFree=67108860/67108860
[pid=20021] ppid=20018 vsize=10983192 memory=57224 CPUtime=0.38 cores=0,2,4,6
/proc/20021/stat : 20021 (java) S 20018 20021 12183 0 -1 1077944320 10287 13039 0 0 27 3 5 3 20 0 15 0 107324930 11246788608 14306 33554432000 4194304 4196468 140722106984048 140722106966592 139665047940855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
/proc/20021/statm: 2745798 14306 3102 1 0 2708109 0
[pid=20021/tid=20074] ppid=20018 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/20021/task/20074/stat : 20074 (java) R 20018 20021 12183 0 -1 4202560 6841 13039 0 0 19 2 5 3 20 0 15 0 107324939 11246788608 14306 33554432000 4194304 4196468 140722106984048 139665019752864 139665032021342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20075] ppid=20018 vsize=10983192 memory=7012755875661107280 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20075/stat : 20075 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246788608 14306 33554432000 4194304 4196468 140722106984048 139665052183056 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20076] ppid=20018 vsize=10983192 memory=2080 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20076/stat : 20076 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246788608 14306 33554432000 4194304 4196468 140722106984048 139664906902160 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20077] ppid=20018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20077/stat : 20077 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246788608 14306 33554432000 4194304 4196468 140722106984048 139664905849104 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20078] ppid=20018 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20078/stat : 20078 (java) S 20018 20021 12183 0 -1 1077944384 2 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246788608 14306 33554432000 4194304 4196468 140722106984048 139664904796560 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20079] ppid=20018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20079/stat : 20079 (java) S 20018 20021 12183 0 -1 1077944384 2 13039 0 0 0 0 5 3 20 0 15 0 107324942 11246788608 14306 33554432000 4194304 4196468 140722106984048 139664473791216 139665047952002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20080] ppid=20018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20080/stat : 20080 (java) S 20018 20021 12183 0 -1 1077944384 13 13039 0 0 0 0 5 3 20 0 15 0 107324942 11246788608 14306 33554432000 4194304 4196468 140722106984048 139663827265184 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20081] ppid=20018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20081/stat : 20081 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324942 11246788608 14306 33554432000 4194304 4196468 140722106984048 139663679415536 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20082] ppid=20018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20082/stat : 20082 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11246788608 14306 33554432000 4194304 4196468 140722106984048 139663372016080 139665047959451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20083] ppid=20018 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20083/stat : 20083 (java) S 20018 20021 12183 0 -1 1077944384 544 13039 0 0 1 0 5 3 20 0 15 0 107324945 11246788608 14306 33554432000 4194304 4196468 140722106984048 139664472738032 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20084] ppid=20018 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20084/stat : 20084 (java) S 20018 20021 12183 0 -1 1077944384 69 13039 0 0 1 0 5 3 20 0 15 0 107324945 11246788608 14306 33554432000 4194304 4196468 140722106984048 139664471685488 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20085] ppid=20018 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/20021/task/20085/stat : 20085 (java) S 20018 20021 12183 0 -1 1077944384 620 13039 0 0 5 0 5 3 20 0 15 0 107324945 11246788608 14306 33554432000 4194304 4196468 140722106984048 139664470632432 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20086] ppid=20018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20086/stat : 20086 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11246788608 14306 33554432000 4194304 4196468 140722106984048 139662941219168 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20087] ppid=20018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20087/stat : 20087 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324945 11246788608 14306 33554432000 4194304 4196468 140722106984048 139664469580848 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57224 KiB
[startup+0.700778 s]
/proc/loadavg: 1.27 1.49 1.70 3/215 20087
/proc/meminfo: memFree=23585640/32770624 swapFree=67108860/67108860
[pid=20021] ppid=20018 vsize=10983192 memory=89332 CPUtime=0.99 cores=0,2,4,6
/proc/20021/stat : 20021 (java) S 20018 20021 12183 0 -1 1077944320 16402 13039 0 0 86 5 5 3 20 0 15 0 107324930 11246788608 22333 33554432000 4194304 4196468 140722106984048 140722106966592 139665047940855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
/proc/20021/statm: 2745798 22333 3247 1 0 2708109 0
[pid=20021/tid=20074] ppid=20018 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/20021/task/20074/stat : 20074 (java) R 20018 20021 12183 0 -1 4202560 11851 13039 0 0 55 3 5 3 20 0 15 0 107324939 11246788608 22333 33554432000 4194304 4196468 140722106984048 139665019761680 139665028212605 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20075] ppid=20018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20075/stat : 20075 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246788608 22333 33554432000 4194304 4196468 140722106984048 139665052183056 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20076] ppid=20018 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20076/stat : 20076 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246788608 22333 33554432000 4194304 4196468 140722106984048 139664906902160 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20077] ppid=20018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20077/stat : 20077 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246788608 22333 33554432000 4194304 4196468 140722106984048 139664905849104 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20078] ppid=20018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20078/stat : 20078 (java) S 20018 20021 12183 0 -1 1077944384 2 13039 0 0 0 0 5 3 20 0 15 0 107324940 11246788608 22333 33554432000 4194304 4196468 140722106984048 139664904796560 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20079] ppid=20018 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20079/stat : 20079 (java) S 20018 20021 12183 0 -1 1077944384 5 13039 0 0 0 0 5 3 20 0 15 0 107324942 11246788608 22333 33554432000 4194304 4196468 140722106984048 139664473791216 139665047952002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20080] ppid=20018 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20080/stat : 20080 (java) S 20018 20021 12183 0 -1 1077944384 13 13039 0 0 0 0 5 3 20 0 15 0 107324942 11246788608 22333 33554432000 4194304 4196468 140722106984048 139663827265184 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20081] ppid=20018 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20081/stat : 20081 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324942 11246788608 22333 33554432000 4194304 4196468 140722106984048 139663679415536 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20082] ppid=20018 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20082/stat : 20082 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11246788608 22333 33554432000 4194304 4196468 140722106984048 139663372016080 139665047959451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20083] ppid=20018 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/20021/task/20083/stat : 20083 (java) S 20018 20021 12183 0 -1 1077944384 1179 13039 0 0 9 0 5 3 20 0 15 0 107324945 11246788608 22333 33554432000 4194304 4196468 140722106984048 139664472738032 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20084] ppid=20018 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/20021/task/20084/stat : 20084 (java) S 20018 20021 12183 0 -1 1077944384 474 13039 0 0 7 0 5 3 20 0 15 0 107324945 11246788608 22333 33554432000 4194304 4196468 140722106984048 139664471685488 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20085] ppid=20018 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/20021/task/20085/stat : 20085 (java) S 20018 20021 12183 0 -1 1077944384 674 13039 0 0 13 0 5 3 20 0 15 0 107324945 11246788608 22333 33554432000 4194304 4196468 140722106984048 139664470632432 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20086] ppid=20018 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20086/stat : 20086 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11246788608 22333 33554432000 4194304 4196468 140722106984048 139662941219168 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20087] ppid=20018 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20087/stat : 20087 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324945 11246788608 22333 33554432000 4194304 4196468 140722106984048 139664469580848 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89332 KiB
[startup+1.5008 s]
/proc/loadavg: 1.27 1.49 1.70 4/215 20087
/proc/meminfo: memFree=23541044/32770624 swapFree=67108860/67108860
[pid=20021] ppid=20018 vsize=10998092 memory=177184 CPUtime=2.27 cores=0,2,4,6
/proc/20021/stat : 20021 (java) S 20018 20021 12183 0 -1 1077944320 23392 13039 0 0 208 11 5 3 20 0 15 0 107324930 11262046208 44296 33554432000 4194304 4196468 140722106984048 140722106966592 139665047940855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
/proc/20021/statm: 2749523 44296 3467 1 0 2711181 0
[pid=20021/tid=20074] ppid=20018 vsize=10998092 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/20021/task/20074/stat : 20074 (java) R 20018 20021 12183 0 -1 4202560 17331 13039 0 0 129 6 5 3 20 0 15 0 107324939 11262046208 44296 33554432000 4194304 4196468 140722106984048 139665019757840 139665032021342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20075] ppid=20018 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20075/stat : 20075 (java) S 20018 20021 12183 0 -1 1077944384 58 13039 0 0 1 0 5 3 20 0 15 0 107324940 11262046208 44296 33554432000 4194304 4196468 140722106984048 139665052183056 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20076] ppid=20018 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20076/stat : 20076 (java) S 20018 20021 12183 0 -1 1077944384 15 13039 0 0 0 0 5 3 20 0 15 0 107324940 11262046208 44296 33554432000 4194304 4196468 140722106984048 139664906902160 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20077] ppid=20018 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20077/stat : 20077 (java) S 20018 20021 12183 0 -1 1077944384 193 13039 0 0 1 0 5 3 20 0 15 0 107324940 11262046208 44296 33554432000 4194304 4196468 140722106984048 139664905849104 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20078] ppid=20018 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20078/stat : 20078 (java) S 20018 20021 12183 0 -1 1077944384 37 13039 0 0 0 0 5 3 20 0 15 0 107324940 11262046208 44296 33554432000 4194304 4196468 140722106984048 139664904796560 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20079] ppid=20018 vsize=10998092 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20079/stat : 20079 (java) S 20018 20021 12183 0 -1 1077944384 54 13039 0 0 1 0 5 3 20 0 15 0 107324942 11262046208 44296 33554432000 4194304 4196468 140722106984048 139664473791216 139665047952002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20080] ppid=20018 vsize=10998092 memory=280904685660416 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20080/stat : 20080 (java) S 20018 20021 12183 0 -1 1077944384 14 13039 0 0 0 0 5 3 20 0 15 0 107324942 11262046208 44296 33554432000 4194304 4196468 140722106984048 139663827265248 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20081] ppid=20018 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20081/stat : 20081 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324942 11262046208 44296 33554432000 4194304 4196468 140722106984048 139663679415552 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20082] ppid=20018 vsize=10998092 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20082/stat : 20082 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11262046208 44296 33554432000 4194304 4196468 140722106984048 139663372016080 139665047959451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20083] ppid=20018 vsize=10998092 memory=1232 CPUtime=0.31 cores=0,2,4,6
/proc/20021/task/20083/stat : 20083 (java) S 20018 20021 12183 0 -1 1077944384 1642 13039 0 0 23 0 5 3 20 0 15 0 107324945 11262046208 44296 33554432000 4194304 4196468 140722106984048 139664472738032 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20084] ppid=20018 vsize=10998092 memory=8560 CPUtime=0.24 cores=0,2,4,6
/proc/20021/task/20084/stat : 20084 (java) S 20018 20021 12183 0 -1 1077944384 635 13039 0 0 16 0 5 3 20 0 15 0 107324945 11262046208 44296 33554432000 4194304 4196468 140722106984048 139664471685488 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20085] ppid=20018 vsize=10998092 memory=1712 CPUtime=0.4 cores=0,2,4,6
/proc/20021/task/20085/stat : 20085 (java) S 20018 20021 12183 0 -1 1077944384 1215 13039 0 0 32 0 5 3 20 0 15 0 107324945 11262046208 44296 33554432000 4194304 4196468 140722106984048 139664470632432 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20086] ppid=20018 vsize=10998092 memory=5412 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20086/stat : 20086 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11262046208 44296 33554432000 4194304 4196468 140722106984048 139662941219168 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20087] ppid=20018 vsize=10998092 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20087/stat : 20087 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324945 11262046208 44296 33554432000 4194304 4196468 140722106984048 139664469580848 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
[startup+3.11186 s]
/proc/loadavg: 1.27 1.49 1.70 6/215 20087
/proc/meminfo: memFree=23430584/32770624 swapFree=67108860/67108860
[pid=20021] ppid=20018 vsize=11008352 memory=229940 CPUtime=6.3 cores=0,2,4,6
/proc/20021/stat : 20021 (java) S 20018 20021 12183 0 -1 1077944320 31473 13039 0 0 605 17 5 3 20 0 15 0 107324930 11272552448 57485 33554432000 4194304 4196468 140722106984048 140722106966592 139665047940855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
/proc/20021/statm: 2752088 57485 3490 1 0 2713741 0
[pid=20021/tid=20074] ppid=20018 vsize=11008352 memory=280904686079296 CPUtime=3.03 cores=0,2,4,6
/proc/20021/task/20074/stat : 20074 (java) R 20018 20021 12183 0 -1 4202560 21168 13039 0 0 287 8 5 3 20 0 15 0 107324939 11272552448 57485 33554432000 4194304 4196468 140722106984048 139665019774528 139665047952790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20075] ppid=20018 vsize=11008352 memory=388 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20075/stat : 20075 (java) S 20018 20021 12183 0 -1 1077944384 58 13039 0 0 1 0 5 3 20 0 15 0 107324940 11272552448 57485 33554432000 4194304 4196468 140722106984048 139665052183056 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20076] ppid=20018 vsize=11008352 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20076/stat : 20076 (java) S 20018 20021 12183 0 -1 1077944384 15 13039 0 0 0 0 5 3 20 0 15 0 107324940 11272552448 57485 33554432000 4194304 4196468 140722106984048 139664906902160 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20077] ppid=20018 vsize=11008352 memory=56 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20077/stat : 20077 (java) S 20018 20021 12183 0 -1 1077944384 193 13039 0 0 1 0 5 3 20 0 15 0 107324940 11272552448 57485 33554432000 4194304 4196468 140722106984048 139664905849104 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20078] ppid=20018 vsize=11008352 memory=7886128541248926002 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20078/stat : 20078 (java) S 20018 20021 12183 0 -1 1077944384 37 13039 0 0 0 0 5 3 20 0 15 0 107324940 11272552448 57485 33554432000 4194304 4196468 140722106984048 139664904796560 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20079] ppid=20018 vsize=11008352 memory=8389687274617647922 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20079/stat : 20079 (java) S 20018 20021 12183 0 -1 1077944384 62 13039 0 0 1 0 5 3 20 0 15 0 107324942 11272552448 57485 33554432000 4194304 4196468 140722106984048 139664473791216 139665047952002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20080] ppid=20018 vsize=11008352 memory=7093353984281801414 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20080/stat : 20080 (java) S 20018 20021 12183 0 -1 1077944384 14 13039 0 0 0 0 5 3 20 0 15 0 107324942 11272552448 57485 33554432000 4194304 4196468 140722106984048 139663827265248 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20081] ppid=20018 vsize=11008352 memory=280904685913600 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20081/stat : 20081 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324942 11272552448 57485 33554432000 4194304 4196468 140722106984048 139663679415552 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20082] ppid=20018 vsize=11008352 memory=7956567955459234152 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20082/stat : 20082 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11272552448 57485 33554432000 4194304 4196468 140722106984048 139663372016080 139665047959451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20083] ppid=20018 vsize=11008352 memory=6940161746071283792 CPUtime=1.27 cores=0,2,4,6
/proc/20021/task/20083/stat : 20083 (java) S 20018 20021 12183 0 -1 1077944384 3158 13039 0 0 118 1 5 3 20 0 15 0 107324945 11272552448 57485 33554432000 4194304 4196468 140722106984048 139664472738032 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20084] ppid=20018 vsize=11008352 memory=7447093755344479056 CPUtime=0.86 cores=0,2,4,6
/proc/20021/task/20084/stat : 20084 (java) S 20018 20021 12183 0 -1 1077944384 1284 13039 0 0 77 1 5 3 20 0 15 0 107324945 11272552448 57485 33554432000 4194304 4196468 140722106984048 139664471685488 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20085] ppid=20018 vsize=11008352 memory=288230574492221466 CPUtime=1.26 cores=0,2,4,6
/proc/20021/task/20085/stat : 20085 (java) R 20018 20021 12183 0 -1 4202560 3282 13039 0 0 115 3 5 3 20 0 15 0 107324945 11272552448 57485 33554432000 4194304 4196468 140722106984048 139664470632432 139665032021372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20086] ppid=20018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20086/stat : 20086 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11272552448 57485 33554432000 4194304 4196468 140722106984048 139662941219168 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20087] ppid=20018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20087/stat : 20087 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11272552448 57485 33554432000 4194304 4196468 140722106984048 139664469580848 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 229940 KiB
[startup+4.45416 s]
# the end of solver process 20021 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.69435 s, system=0.300497 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20084 s]
/proc/loadavg: 1.27 1.49 1.70 6/215 20087
/proc/meminfo: memFree=23430584/32770624 swapFree=67108860/67108860
[pid=20021] ppid=20018 vsize=11008352 memory=248144 CPUtime=6.47 cores=0,2,4,6
/proc/20021/stat : 20021 (java) S 20018 20021 12183 0 -1 1077944320 43067 13039 0 0 620 19 5 3 20 0 15 0 107324930 11272552448 62036 33554432000 4194304 4196468 140722106984048 140722106966592 139665047940855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
/proc/20021/statm: 2752088 62036 3493 1 0 2713741 0
[pid=20021/tid=20074] ppid=20018 vsize=11008352 memory=0 CPUtime=3.09 cores=0,2,4,6
/proc/20021/task/20074/stat : 20074 (java) S 20018 20021 12183 0 -1 1077944384 24194 13039 0 0 292 9 5 3 20 0 15 0 107324939 11272552448 62036 33554432000 4194304 4196468 140722106984048 139665019763632 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20075] ppid=20018 vsize=11008352 memory=6656426216303648864 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20075/stat : 20075 (java) S 20018 20021 12183 0 -1 1077944384 582 13039 0 0 1 0 5 3 20 0 15 0 107324940 11272552448 62036 33554432000 4194304 4196468 140722106984048 139665052183056 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20076] ppid=20018 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20076/stat : 20076 (java) S 20018 20021 12183 0 -1 1077944384 32 13039 0 0 1 0 5 3 20 0 15 0 107324940 11272552448 62036 33554432000 4194304 4196468 140722106984048 139664906902160 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20077] ppid=20018 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20077/stat : 20077 (java) S 20018 20021 12183 0 -1 1077944384 545 13039 0 0 1 0 5 3 20 0 15 0 107324940 11272552448 62036 33554432000 4194304 4196468 140722106984048 139664905849104 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20078] ppid=20018 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20021/task/20078/stat : 20078 (java) S 20018 20021 12183 0 -1 1077944384 51 13039 0 0 1 0 5 3 20 0 15 0 107324940 11272552448 62036 33554432000 4194304 4196468 140722106984048 139664904796560 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20079] ppid=20018 vsize=11008352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/20021/task/20079/stat : 20079 (java) R 20018 20021 12183 0 -1 4202560 7476 13039 0 0 2 0 5 3 20 0 15 0 107324942 11272552448 62036 33554432000 4194304 4196468 140722106984048 139664473789504 139665032295482 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20080] ppid=20018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20080/stat : 20080 (java) S 20018 20021 12183 0 -1 1077944384 14 13039 0 0 0 0 5 3 20 0 15 0 107324942 11272552448 62036 33554432000 4194304 4196468 140722106984048 139663827265248 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20081] ppid=20018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20081/stat : 20081 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324942 11272552448 62036 33554432000 4194304 4196468 140722106984048 139663679415552 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20082] ppid=20018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20082/stat : 20082 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11272552448 62036 33554432000 4194304 4196468 140722106984048 139663372016080 139665047959451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20083] ppid=20018 vsize=11008352 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/20021/task/20083/stat : 20083 (java) S 20018 20021 12183 0 -1 1077944384 3172 13039 0 0 120 1 5 3 20 0 15 0 107324945 11272552448 62036 33554432000 4194304 4196468 140722106984048 139664472738032 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20084] ppid=20018 vsize=11008352 memory=1200 CPUtime=0.87 cores=0,2,4,6
/proc/20021/task/20084/stat : 20084 (java) S 20018 20021 12183 0 -1 1077944384 1289 13039 0 0 78 1 5 3 20 0 15 0 107324945 11272552448 62036 33554432000 4194304 4196468 140722106984048 139664471685488 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20085] ppid=20018 vsize=11008352 memory=15876 CPUtime=1.28 cores=0,2,4,6
/proc/20021/task/20085/stat : 20085 (java) S 20018 20021 12183 0 -1 1077944384 3500 13039 0 0 117 3 5 3 20 0 15 0 107324945 11272552448 62036 33554432000 4194304 4196468 140722106984048 139664470632432 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20086] ppid=20018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20086/stat : 20086 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11272552448 62036 33554432000 4194304 4196468 140722106984048 139662941219168 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20087] ppid=20018 vsize=11008352 memory=6788 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20087/stat : 20087 (java) S 20018 20021 12183 0 -1 1077944384 12 13039 0 0 0 0 5 3 20 0 15 0 107324945 11272552448 62036 33554432000 4194304 4196468 140722106984048 139664469580848 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
Current children cumulated CPU time: 6.47 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 248144 KiB
[startup+4.00074 s]*
/proc/loadavg: 1.27 1.49 1.70 5/215 20087
/proc/meminfo: memFree=23333540/32770624 swapFree=67108860/67108860
[pid=20021] ppid=20018 vsize=11080744 memory=319904 CPUtime=8.64 cores=0,2,4,6
/proc/20021/stat : 20021 (java) S 20018 20021 12183 0 -1 1077944320 67489 13039 0 0 832 24 5 3 20 0 15 0 107324930 11346681856 79976 33554432000 4194304 4196468 140722106984048 140722106966592 139665047940855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
/proc/20021/statm: 2770186 79976 3503 1 0 2731839 0
[pid=20021/tid=20074] ppid=20018 vsize=11080744 memory=-6517102902069810590 CPUtime=3.88 cores=0,2,4,6
/proc/20021/task/20074/stat : 20074 (java) R 20018 20021 12183 0 -1 4202560 42089 13039 0 0 368 12 5 3 20 0 15 0 107324939 11346681856 79976 33554432000 4194304 4196468 140722106984048 139665019774328 139664582093094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20075] ppid=20018 vsize=11080744 memory=4122819170707441977 CPUtime=0.11 cores=0,2,4,6
/proc/20021/task/20075/stat : 20075 (java) S 20018 20021 12183 0 -1 1077944384 584 13039 0 0 3 0 5 3 20 0 15 0 107324940 11346681856 79976 33554432000 4194304 4196468 140722106984048 139665052183056 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20076] ppid=20018 vsize=11080744 memory=3546219521922674357 CPUtime=0.1 cores=0,2,4,6
/proc/20021/task/20076/stat : 20076 (java) S 20018 20021 12183 0 -1 1077944384 32 13039 0 0 2 0 5 3 20 0 15 0 107324940 11346681856 79976 33554432000 4194304 4196468 140722106984048 139664906902160 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20077] ppid=20018 vsize=11080744 memory=4351691527157721392 CPUtime=0.11 cores=0,2,4,6
/proc/20021/task/20077/stat : 20077 (java) S 20018 20021 12183 0 -1 1077944384 545 13039 0 0 3 0 5 3 20 0 15 0 107324940 11346681856 79976 33554432000 4194304 4196468 140722106984048 139664905849104 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20078] ppid=20018 vsize=11080744 memory=85989540234216 CPUtime=0.1 cores=0,2,4,6
/proc/20021/task/20078/stat : 20078 (java) S 20018 20021 12183 0 -1 1077944384 51 13039 0 0 2 0 5 3 20 0 15 0 107324940 11346681856 79976 33554432000 4194304 4196468 140722106984048 139664904796560 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20079] ppid=20018 vsize=11080744 memory=3612117651707325665 CPUtime=0.11 cores=0,2,4,6
/proc/20021/task/20079/stat : 20079 (java) S 20018 20021 12183 0 -1 1077944384 7876 13039 0 0 3 0 5 3 20 0 15 0 107324942 11346681856 79976 33554432000 4194304 4196468 140722106984048 139664473791216 139665047952002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20080] ppid=20018 vsize=11080744 memory=3617295605830791199 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20080/stat : 20080 (java) S 20018 20021 12183 0 -1 1077944384 14 13039 0 0 0 0 5 3 20 0 15 0 107324942 11346681856 79976 33554432000 4194304 4196468 140722106984048 139663827265248 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20081] ppid=20018 vsize=11080744 memory=6008480754293236579 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20081/stat : 20081 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324942 11346681856 79976 33554432000 4194304 4196468 140722106984048 139663679415552 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20082] ppid=20018 vsize=11080744 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20082/stat : 20082 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11346681856 79976 33554432000 4194304 4196468 140722106984048 139663372016080 139665047959451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20083] ppid=20018 vsize=11080744 memory=0 CPUtime=1.93 cores=0,2,4,6
/proc/20021/task/20083/stat : 20083 (java) R 20018 20021 12183 0 -1 4202560 7356 13039 0 0 184 1 5 3 20 0 15 0 107324945 11346681856 79976 33554432000 4194304 4196468 140722106984048 139664472724056 139665027202152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20084] ppid=20018 vsize=11080744 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/20021/task/20084/stat : 20084 (java) R 20018 20021 12183 0 -1 4202560 2470 13039 0 0 119 1 5 3 20 0 15 0 107324945 11346681856 79976 33554432000 4194304 4196468 140722106984048 139664471666504 139665031351746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20085] ppid=20018 vsize=11080744 memory=11 CPUtime=1.55 cores=0,2,4,6
/proc/20021/task/20085/stat : 20085 (java) R 20018 20021 12183 0 -1 1077944384 4260 13039 0 0 143 4 5 3 20 0 15 0 107324945 11346681856 79976 33554432000 4194304 4196468 140722106984048 139664470632432 139665047952002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20086] ppid=20018 vsize=11080744 memory=205 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20086/stat : 20086 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11346681856 79976 33554432000 4194304 4196468 140722106984048 139662941219168 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20087] ppid=20018 vsize=11080744 memory=176 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20087/stat : 20087 (java) S 20018 20021 12183 0 -1 1077944384 12 13039 0 0 0 0 5 3 20 0 15 0 107324945 11346681856 79976 33554432000 4194304 4196468 140722106984048 139664469580848 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
Current children cumulated CPU time: 8.64 s
Current children cumulated vsize: 11080744 KiB
Current children cumulated memory: 319904 KiB
[startup+4.40069 s]
/proc/loadavg: 1.27 1.49 1.70 5/215 20087
/proc/meminfo: memFree=23333540/32770624 swapFree=67108860/67108860
[pid=20021] ppid=20018 vsize=11077984 memory=321512 CPUtime=9.88 cores=0,2,4,6
/proc/20021/stat : 20021 (java) S 20018 20021 12183 0 -1 1077944320 69459 13039 0 0 955 25 5 3 20 0 15 0 107324930 11343855616 80378 33554432000 4194304 4196468 140722106984048 140722106966592 139665047940855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
/proc/20021/statm: 2769496 80378 3508 1 0 2731149 0
[pid=20021/tid=20074] ppid=20018 vsize=11077984 memory=6791534058613427641 CPUtime=4.27 cores=0,2,4,6
/proc/20021/task/20074/stat : 20074 (java) R 20018 20021 12183 0 -1 4202560 42109 13039 0 0 407 12 5 3 20 0 15 0 107324939 11343855616 80378 33554432000 4194304 4196468 140722106984048 139665019778248 139664574222139 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20075] ppid=20018 vsize=11077984 memory=932 CPUtime=0.11 cores=0,2,4,6
/proc/20021/task/20075/stat : 20075 (java) S 20018 20021 12183 0 -1 1077944384 584 13039 0 0 3 0 5 3 20 0 15 0 107324940 11343855616 80378 33554432000 4194304 4196468 140722106984048 139665052183056 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20076] ppid=20018 vsize=11077984 memory=1584 CPUtime=0.1 cores=0,2,4,6
/proc/20021/task/20076/stat : 20076 (java) S 20018 20021 12183 0 -1 1077944384 32 13039 0 0 2 0 5 3 20 0 15 0 107324940 11343855616 80378 33554432000 4194304 4196468 140722106984048 139664906902160 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20077] ppid=20018 vsize=11077984 memory=4124 CPUtime=0.11 cores=0,2,4,6
/proc/20021/task/20077/stat : 20077 (java) S 20018 20021 12183 0 -1 1077944384 545 13039 0 0 3 0 5 3 20 0 15 0 107324940 11343855616 80378 33554432000 4194304 4196468 140722106984048 139664905849104 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20078] ppid=20018 vsize=11077984 memory=2200 CPUtime=0.1 cores=0,2,4,6
/proc/20021/task/20078/stat : 20078 (java) S 20018 20021 12183 0 -1 1077944384 51 13039 0 0 2 0 5 3 20 0 15 0 107324940 11343855616 80378 33554432000 4194304 4196468 140722106984048 139664904796560 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20079] ppid=20018 vsize=11077984 memory=7288 CPUtime=0.11 cores=0,2,4,6
/proc/20021/task/20079/stat : 20079 (java) S 20018 20021 12183 0 -1 1077944384 7876 13039 0 0 3 0 5 3 20 0 15 0 107324942 11343855616 80378 33554432000 4194304 4196468 140722106984048 139664473791216 139665047952002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20080] ppid=20018 vsize=11077984 memory=840 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20080/stat : 20080 (java) S 20018 20021 12183 0 -1 1077944384 14 13039 0 0 0 0 5 3 20 0 15 0 107324942 11343855616 80378 33554432000 4194304 4196468 140722106984048 139663827265248 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20081] ppid=20018 vsize=11077984 memory=1696 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20081/stat : 20081 (java) S 20018 20021 12183 0 -1 1077944384 1 13039 0 0 0 0 5 3 20 0 15 0 107324942 11343855616 80378 33554432000 4194304 4196468 140722106984048 139663679415552 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20082] ppid=20018 vsize=11077984 memory=920 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20082/stat : 20082 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11343855616 80378 33554432000 4194304 4196468 140722106984048 139663372016080 139665047959451 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20083] ppid=20018 vsize=11077984 memory=3852 CPUtime=2.32 cores=0,2,4,6
/proc/20021/task/20083/stat : 20083 (java) R 20018 20021 12183 0 -1 4202560 8860 13039 0 0 222 2 5 3 20 0 15 0 107324945 11343855616 80378 33554432000 4194304 4196468 140722106984048 139664472730520 139665032849978 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20084] ppid=20018 vsize=11077984 memory=0 CPUtime=1.67 cores=0,2,4,6
/proc/20021/task/20084/stat : 20084 (java) R 20018 20021 12183 0 -1 4202560 2825 13039 0 0 158 1 5 3 20 0 15 0 107324945 11343855616 80378 33554432000 4194304 4196468 140722106984048 139664471667648 139665027192806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20085] ppid=20018 vsize=11077984 memory=4420 CPUtime=1.61 cores=0,2,4,6
/proc/20021/task/20085/stat : 20085 (java) S 20018 20021 12183 0 -1 1077944384 4350 13039 0 0 149 4 5 3 20 0 15 0 107324945 11343855616 80378 33554432000 4194304 4196468 140722106984048 139664470632432 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20086] ppid=20018 vsize=11077984 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20086/stat : 20086 (java) S 20018 20021 12183 0 -1 1077944384 3 13039 0 0 0 0 5 3 20 0 15 0 107324945 11343855616 80378 33554432000 4194304 4196468 140722106984048 139662941219168 139665047951061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
[pid=20021/tid=20087] ppid=20018 vsize=11077984 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/20021/task/20087/stat : 20087 (java) S 20018 20021 12183 0 -1 1077944384 13 13039 0 0 0 0 5 3 20 0 15 0 107324945 11343855616 80378 33554432000 4194304 4196468 140722106984048 139664469580848 139665047952002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38105088 140722106989170 140722106991969 140722106991969 140722106994639 0
Current children cumulated CPU time: 9.88 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 321512 KiB
Child status: 0
Real time (s): 4.45421
CPU time (s): 9.99485
CPU user time (s): 9.69435
CPU system time (s): 0.300497
CPU usage (%): 224.391
Max. virtual memory (cumulated for all children) (KiB): 11080800
Max. memory (cumulated for all children) (KiB): 321652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.69435
system time used= 0.300497
maximum resident set size= 329916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82607
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6440
involuntary context switches= 49
# summary of solver processes directly reported to runsolver:
# pid: 20021
# total CPU time (s): 9.99485
# total CPU user time (s): 9.69435
# total CPU system time (s): 0.300497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04608 second user time and 0.087972 second system time
The end