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 (14212 MiB free)
memory of node 1: 16384 MiB (14723 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400780-1568685304/watcher-4400780-1568685304 -o /tmp/evaluation-result-4400780-1568685304/solver-4400780-1568685304 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568673289-31264 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1863610876 HOME/instance-4400780-1568685304.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4051, runsolver pid=4048
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 1.71 1.45 1.41 3/219 4108
/proc/meminfo: memFree=29622752/32770624 swapFree=66967452/67108860
[pid=4051] ppid=4048 vsize=9972712 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/4051/stat : 4051 (java) S 4048 4051 31233 0 -1 1077944320 4404 13553 0 0 1 0 5 3 20 0 6 0 444797189 10212057088 4137 33554432000 4194304 4196468 140725631840720 140725631823264 140402906406647 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
/proc/4051/statm: 2493178 4137 1933 1 0 2481616 0
[pid=4051/tid=4104] ppid=4048 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4104/stat : 4104 (java) R 4048 4051 31233 0 -1 4202560 2256 13553 0 0 0 0 5 3 20 0 6 0 444797198 10212057088 4715 33554432000 4194304 4196468 140725631840720 140402878243408 140402906428573 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4105] ppid=4048 vsize=9972712 memory=7948963741541478447 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4105/stat : 4105 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 6 0 444797199 10212057088 4715 33554432000 4194304 4196468 140725631840720 140402910649104 140402906416853 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4106] ppid=4048 vsize=9972712 memory=140138733823616 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4106/stat : 4106 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 6 0 444797199 10212057088 4715 33554432000 4194304 4196468 140725631840720 140402825468816 140402906416853 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4107] ppid=4048 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4107/stat : 4107 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 6 0 444797199 10212057088 4715 33554432000 4194304 4196468 140725631840720 140402824416272 140402906416853 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4108] ppid=4048 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4108/stat : 4108 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 6 0 444797199 10212057088 4715 33554432000 4194304 4196468 140725631840720 140402823363728 140402906416853 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.213453 s]*
/proc/loadavg: 1.71 1.45 1.41 3/228 4117
/proc/meminfo: memFree=29600840/32770624 swapFree=66967452/67108860
[pid=4051] ppid=4048 vsize=10820196 memory=45636 CPUtime=0.27 cores=0,2,4,6
/proc/4051/stat : 4051 (java) S 4048 4051 31233 0 -1 1077944320 7224 13553 0 0 18 1 5 3 20 0 15 0 444797189 11079880704 11409 33554432000 4194304 4196468 140725631840720 140725631823264 140402906406647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
/proc/4051/statm: 2705049 11409 3258 1 0 2667149 0
[pid=4051/tid=4104] ppid=4048 vsize=10820196 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/4051/task/4104/stat : 4104 (java) R 4048 4051 31233 0 -1 4202560 3749 13553 0 0 11 0 5 3 20 0 15 0 444797198 11079880704 11475 33554432000 4194304 4196468 140725631840720 140402878225216 140402906428573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4105] ppid=4048 vsize=10820196 memory=4294967660 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4105/stat : 4105 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797199 11079880704 11475 33554432000 4194304 4196468 140725631840720 140402910649104 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4106] ppid=4048 vsize=10820196 memory=288370514885535360 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4106/stat : 4106 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797199 11079880704 11475 33554432000 4194304 4196468 140725631840720 140402825468816 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4107] ppid=4048 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4107/stat : 4107 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797199 11079880704 11475 33554432000 4194304 4196468 140725631840720 140402824416272 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4108] ppid=4048 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4108/stat : 4108 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797199 11079880704 11475 33554432000 4194304 4196468 140725631840720 140402823363728 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4109] ppid=4048 vsize=10820196 memory=140138733823616 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4109/stat : 4109 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797200 11079880704 11475 33554432000 4194304 4196468 140725631840720 140402432997360 140402906417794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4110] ppid=4048 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4110/stat : 4110 (java) S 4048 4051 31233 0 -1 1077944384 13 13553 0 0 0 0 5 3 20 0 15 0 444797200 11079880704 11475 33554432000 4194304 4196468 140725631840720 140402346681248 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4111] ppid=4048 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4111/stat : 4111 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797201 11079880704 11475 33554432000 4194304 4196468 140725631840720 140401876919280 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4112] ppid=4048 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4112/stat : 4112 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797203 11079880704 11475 33554432000 4194304 4196468 140725631840720 140401608485072 140402906425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4113] ppid=4048 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4051/task/4113/stat : 4113 (java) S 4048 4051 31233 0 -1 1077944384 588 13553 0 0 1 0 5 3 20 0 15 0 444797203 11079880704 11475 33554432000 4194304 4196468 140725631840720 140402431945200 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4114] ppid=4048 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/4051/task/4114/stat : 4114 (java) S 4048 4051 31233 0 -1 1077944384 77 13553 0 0 1 0 5 3 20 0 15 0 444797203 11079880704 11475 33554432000 4194304 4196468 140725631840720 140402430892656 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4115] ppid=4048 vsize=10820196 memory=140138733823616 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4115/stat : 4115 (java) S 4048 4051 31233 0 -1 1077944384 602 13553 0 0 3 0 5 3 20 0 15 0 444797203 11079880704 11475 33554432000 4194304 4196468 140725631840720 140402429840112 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4116] ppid=4048 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4116/stat : 4116 (java) S 4048 4051 31233 0 -1 1077944384 3 13553 0 0 0 0 5 3 20 0 15 0 444797204 11079880704 11475 33554432000 4194304 4196468 140725631840720 140401138723936 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4117] ppid=4048 vsize=10820196 memory=140138733823616 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4117/stat : 4117 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797204 11079880704 11475 33554432000 4194304 4196468 140725631840720 140402428786992 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45636 KiB
[startup+0.310489 s]*
/proc/loadavg: 1.71 1.45 1.41 4/228 4117
/proc/meminfo: memFree=29587792/32770624 swapFree=66967452/67108860
[pid=4051] ppid=4048 vsize=10820196 memory=54064 CPUtime=0.4 cores=0,2,4,6
/proc/4051/stat : 4051 (java) S 4048 4051 31233 0 -1 1077944320 10727 13553 0 0 29 3 5 3 20 0 15 0 444797189 11079880704 13516 33554432000 4194304 4196468 140725631840720 140725631823264 140402906406647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
/proc/4051/statm: 2705049 13516 3306 1 0 2667149 0
[pid=4051/tid=4104] ppid=4048 vsize=10820196 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/4051/task/4104/stat : 4104 (java) R 4048 4051 31233 0 -1 4202560 7207 13553 0 0 19 2 5 3 20 0 15 0 444797198 11079880704 13516 33554432000 4194304 4196468 140725631840720 140402878216256 140402890487134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4105] ppid=4048 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4105/stat : 4105 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797199 11079880704 13516 33554432000 4194304 4196468 140725631840720 140402910649104 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4106] ppid=4048 vsize=10820196 memory=-2843869621071234206 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4106/stat : 4106 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797199 11079880704 13516 33554432000 4194304 4196468 140725631840720 140402825468816 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4107] ppid=4048 vsize=10820196 memory=-8412656567334364540 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4107/stat : 4107 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797199 11079880704 13516 33554432000 4194304 4196468 140725631840720 140402824416272 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4108] ppid=4048 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4108/stat : 4108 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797199 11079880704 13516 33554432000 4194304 4196468 140725631840720 140402823363728 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4109] ppid=4048 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4109/stat : 4109 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797200 11079880704 13516 33554432000 4194304 4196468 140725631840720 140402432997360 140402906417794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4110] ppid=4048 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4110/stat : 4110 (java) S 4048 4051 31233 0 -1 1077944384 13 13553 0 0 0 0 5 3 20 0 15 0 444797200 11079880704 13516 33554432000 4194304 4196468 140725631840720 140402346681248 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4111] ppid=4048 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4111/stat : 4111 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797201 11079880704 13516 33554432000 4194304 4196468 140725631840720 140401876919280 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4112] ppid=4048 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4112/stat : 4112 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797203 11079880704 13516 33554432000 4194304 4196468 140725631840720 140401608485072 140402906425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4113] ppid=4048 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4051/task/4113/stat : 4113 (java) S 4048 4051 31233 0 -1 1077944384 588 13553 0 0 2 0 5 3 20 0 15 0 444797203 11079880704 13516 33554432000 4194304 4196468 140725631840720 140402431945200 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4114] ppid=4048 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4051/task/4114/stat : 4114 (java) S 4048 4051 31233 0 -1 1077944384 78 13553 0 0 2 0 5 3 20 0 15 0 444797203 11079880704 13516 33554432000 4194304 4196468 140725631840720 140402430892656 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4115] ppid=4048 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4051/task/4115/stat : 4115 (java) S 4048 4051 31233 0 -1 1077944384 621 13553 0 0 5 0 5 3 20 0 15 0 444797203 11079880704 13516 33554432000 4194304 4196468 140725631840720 140402429840112 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4116] ppid=4048 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4116/stat : 4116 (java) S 4048 4051 31233 0 -1 1077944384 3 13553 0 0 0 0 5 3 20 0 15 0 444797204 11079880704 13516 33554432000 4194304 4196468 140725631840720 140401138723936 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4117] ppid=4048 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4117/stat : 4117 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797204 11079880704 13516 33554432000 4194304 4196468 140725631840720 140402428786992 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54064 KiB
[startup+0.706365 s]
/proc/loadavg: 1.71 1.45 1.41 4/228 4117
/proc/meminfo: memFree=29573028/32770624 swapFree=66967452/67108860
[pid=4051] ppid=4048 vsize=10824364 memory=88064 CPUtime=1.14 cores=0,2,4,6
/proc/4051/stat : 4051 (java) S 4048 4051 31233 0 -1 1077944320 15167 13553 0 0 101 5 5 3 20 0 15 0 444797189 11084148736 22016 33554432000 4194304 4196468 140725631840720 140725631823264 140402906406647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
/proc/4051/statm: 2706091 22016 3515 1 0 2668173 0
[pid=4051/tid=4104] ppid=4048 vsize=10824364 memory=2437662377729 CPUtime=0.67 cores=0,2,4,6
/proc/4051/task/4104/stat : 4104 (java) R 4048 4051 31233 0 -1 4202560 10479 13553 0 0 56 3 5 3 20 0 15 0 444797198 11084148736 22016 33554432000 4194304 4196468 140725631840720 140402878233808 140402906428573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4105] ppid=4048 vsize=10824364 memory=2450547279617 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4105/stat : 4105 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797199 11084148736 22016 33554432000 4194304 4196468 140725631840720 140402910649104 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4106] ppid=4048 vsize=10824364 memory=2472022116097 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4106/stat : 4106 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797199 11084148736 22016 33554432000 4194304 4196468 140725631840720 140402825468816 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4107] ppid=4048 vsize=10824364 memory=2476317083393 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4107/stat : 4107 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797199 11084148736 22016 33554432000 4194304 4196468 140725631840720 140402824416272 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4108] ppid=4048 vsize=10824364 memory=8730425 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4108/stat : 4108 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797199 11084148736 22016 33554432000 4194304 4196468 140725631840720 140402823363728 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4109] ppid=4048 vsize=10824364 memory=4639649383340284835 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4109/stat : 4109 (java) S 4048 4051 31233 0 -1 1077944384 6 13553 0 0 0 0 5 3 20 0 15 0 444797200 11084148736 22016 33554432000 4194304 4196468 140725631840720 140402432997360 140402906417794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4110] ppid=4048 vsize=10824364 memory=6441370542062719057 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4110/stat : 4110 (java) S 4048 4051 31233 0 -1 1077944384 13 13553 0 0 0 0 5 3 20 0 15 0 444797200 11084148736 22016 33554432000 4194304 4196468 140725631840720 140402346681248 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4111] ppid=4048 vsize=10824364 memory=7013340846366745708 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4111/stat : 4111 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797201 11084148736 22016 33554432000 4194304 4196468 140725631840720 140401876919280 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4112] ppid=4048 vsize=10824364 memory=280277218272832 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4112/stat : 4112 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797203 11084148736 22016 33554432000 4194304 4196468 140725631840720 140401608485072 140402906425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4113] ppid=4048 vsize=10824364 memory=140140487901793 CPUtime=0.21 cores=0,2,4,6
/proc/4051/task/4113/stat : 4113 (java) R 4048 4051 31233 0 -1 4202560 1059 13553 0 0 13 0 5 3 20 0 15 0 444797203 11084148736 22016 33554432000 4194304 4196468 140725631840720 140402431926592 140402890317568 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4114] ppid=4048 vsize=10824364 memory=142605799129738 CPUtime=0.2 cores=0,2,4,6
/proc/4051/task/4114/stat : 4114 (java) S 4048 4051 31233 0 -1 1077944384 515 13553 0 0 12 0 5 3 20 0 15 0 444797203 11084148736 22016 33554432000 4194304 4196468 140725631840720 140402430892656 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4115] ppid=4048 vsize=10824364 memory=140140487902073 CPUtime=0.25 cores=0,2,4,6
/proc/4051/task/4115/stat : 4115 (java) R 4048 4051 31233 0 -1 4202560 880 13553 0 0 17 0 5 3 20 0 15 0 444797203 11084148736 22016 33554432000 4194304 4196468 140725631840720 140402429837904 140402906418582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4116] ppid=4048 vsize=10824364 memory=140140487902075 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4116/stat : 4116 (java) S 4048 4051 31233 0 -1 1077944384 3 13553 0 0 0 0 5 3 20 0 15 0 444797204 11084148736 22016 33554432000 4194304 4196468 140725631840720 140401138723936 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4117] ppid=4048 vsize=10824364 memory=140140487902105 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4117/stat : 4117 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797204 11084148736 22016 33554432000 4194304 4196468 140725631840720 140402428786992 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 88064 KiB
[startup+1.50077 s]
/proc/loadavg: 1.71 1.45 1.41 3/229 4119
/proc/meminfo: memFree=29514844/32770624 swapFree=66967452/67108860
[pid=4051] ppid=4048 vsize=10834680 memory=174636 CPUtime=2.44 cores=0,2,4,6
/proc/4051/stat : 4051 (java) S 4048 4051 31233 0 -1 1077944320 21998 13553 0 0 225 11 5 3 20 0 15 0 444797189 11094712320 43659 33554432000 4194304 4196468 140725631840720 140725631823264 140402906406647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
/proc/4051/statm: 2708670 43659 3580 1 0 2670733 0
[pid=4051/tid=4104] ppid=4048 vsize=10834680 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/4051/task/4104/stat : 4104 (java) R 4048 4051 31233 0 -1 4202560 15229 13553 0 0 129 7 5 3 20 0 15 0 444797198 11094712320 43659 33554432000 4194304 4196468 140725631840720 140402878203664 140402906418582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4105] ppid=4048 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4051/task/4105/stat : 4105 (java) S 4048 4051 31233 0 -1 1077944384 23 13553 0 0 1 0 5 3 20 0 15 0 444797199 11094712320 43659 33554432000 4194304 4196468 140725631840720 140402910649104 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4106] ppid=4048 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4051/task/4106/stat : 4106 (java) S 4048 4051 31233 0 -1 1077944384 51 13553 0 0 1 0 5 3 20 0 15 0 444797199 11094712320 43659 33554432000 4194304 4196468 140725631840720 140402825468816 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4107] ppid=4048 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4051/task/4107/stat : 4107 (java) S 4048 4051 31233 0 -1 1077944384 57 13553 0 0 1 0 5 3 20 0 15 0 444797199 11094712320 43659 33554432000 4194304 4196468 140725631840720 140402824416272 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4108] ppid=4048 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4051/task/4108/stat : 4108 (java) S 4048 4051 31233 0 -1 1077944384 339 13553 0 0 1 0 5 3 20 0 15 0 444797199 11094712320 43659 33554432000 4194304 4196468 140725631840720 140402823363728 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4109] ppid=4048 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4051/task/4109/stat : 4109 (java) S 4048 4051 31233 0 -1 1077944384 151 13553 0 0 1 0 5 3 20 0 15 0 444797200 11094712320 43659 33554432000 4194304 4196468 140725631840720 140402432997360 140402906417794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4110] ppid=4048 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4110/stat : 4110 (java) S 4048 4051 31233 0 -1 1077944384 14 13553 0 0 0 0 5 3 20 0 15 0 444797200 11094712320 43659 33554432000 4194304 4196468 140725631840720 140402346681312 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4111] ppid=4048 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4111/stat : 4111 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797201 11094712320 43659 33554432000 4194304 4196468 140725631840720 140401876919296 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4112] ppid=4048 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4112/stat : 4112 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797203 11094712320 43659 33554432000 4194304 4196468 140725631840720 140401608485072 140402906425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4113] ppid=4048 vsize=10834680 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/4051/task/4113/stat : 4113 (java) S 4048 4051 31233 0 -1 1077944384 1430 13553 0 0 25 0 5 3 20 0 15 0 444797203 11094712320 43659 33554432000 4194304 4196468 140725631840720 140402431945200 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4114] ppid=4048 vsize=10834680 memory=-7966001967407402336 CPUtime=0.3 cores=0,2,4,6
/proc/4051/task/4114/stat : 4114 (java) S 4048 4051 31233 0 -1 1077944384 763 13553 0 0 22 0 5 3 20 0 15 0 444797203 11094712320 43659 33554432000 4194304 4196468 140725631840720 140402430892656 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4115] ppid=4048 vsize=10834680 memory=6944938067432061290 CPUtime=0.48 cores=0,2,4,6
/proc/4051/task/4115/stat : 4115 (java) S 4048 4051 31233 0 -1 1077944384 1723 13553 0 0 40 0 5 3 20 0 15 0 444797203 11094712320 43659 33554432000 4194304 4196468 140725631840720 140402429840112 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4116] ppid=4048 vsize=10834680 memory=7100839861529441392 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4116/stat : 4116 (java) S 4048 4051 31233 0 -1 1077944384 3 13553 0 0 0 0 5 3 20 0 15 0 444797204 11094712320 43659 33554432000 4194304 4196468 140725631840720 140401138723936 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4117] ppid=4048 vsize=10834680 memory=4627829655977429107 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4117/stat : 4117 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797204 11094712320 43659 33554432000 4194304 4196468 140725631840720 140402428786992 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
[startup+4.16216 s]
# the end of solver process 4051 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.3011 s, system=0.256333 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20086 s]
/proc/loadavg: 1.73 1.46 1.41 6/229 4119
/proc/meminfo: memFree=29398512/32770624 swapFree=66967452/67108860
[pid=4051] ppid=4048 vsize=10847272 memory=261924 CPUtime=7.03 cores=0,2,4,6
/proc/4051/stat : 4051 (java) S 4048 4051 31233 0 -1 1077944320 41272 13553 0 0 678 17 5 3 20 0 15 0 444797189 11107606528 65481 33554432000 4194304 4196468 140725631840720 140725631823264 140402906406647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
/proc/4051/statm: 2711818 65481 3611 1 0 2673876 0
[pid=4051/tid=4104] ppid=4048 vsize=10847272 memory=6943526294502006880 CPUtime=3.09 cores=0,2,4,6
/proc/4051/task/4104/stat : 4104 (java) R 4048 4051 31233 0 -1 4202560 20413 13553 0 0 292 9 5 3 20 0 15 0 444797198 11107606528 65481 33554432000 4194304 4196468 140725631840720 140402878237872 140402497821169 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4105] ppid=4048 vsize=10847272 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4105/stat : 4105 (java) S 4048 4051 31233 0 -1 1077944384 41 13553 0 0 3 0 5 3 20 0 15 0 444797199 11107606528 65481 33554432000 4194304 4196468 140725631840720 140402910649104 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4106] ppid=4048 vsize=10847272 memory=7508699464512532069 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4106/stat : 4106 (java) S 4048 4051 31233 0 -1 1077944384 72 13553 0 0 3 0 5 3 20 0 15 0 444797199 11107606528 65481 33554432000 4194304 4196468 140725631840720 140402825468816 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4107] ppid=4048 vsize=10847272 memory=6012145409502506082 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4107/stat : 4107 (java) S 4048 4051 31233 0 -1 1077944384 80 13553 0 0 3 0 5 3 20 0 15 0 444797199 11107606528 65481 33554432000 4194304 4196468 140725631840720 140402824416272 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4108] ppid=4048 vsize=10847272 memory=6012145409502506082 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4108/stat : 4108 (java) S 4048 4051 31233 0 -1 1077944384 359 13553 0 0 3 0 5 3 20 0 15 0 444797199 11107606528 65481 33554432000 4194304 4196468 140725631840720 140402823363728 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4109] ppid=4048 vsize=10847272 memory=6012145409502506082 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4109/stat : 4109 (java) S 4048 4051 31233 0 -1 1077944384 1533 13553 0 0 3 0 5 3 20 0 15 0 444797200 11107606528 65481 33554432000 4194304 4196468 140725631840720 140402432997360 140402906417794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4110] ppid=4048 vsize=10847272 memory=4049934950691991141 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4110/stat : 4110 (java) S 4048 4051 31233 0 -1 1077944384 14 13553 0 0 0 0 5 3 20 0 15 0 444797200 11107606528 65481 33554432000 4194304 4196468 140725631840720 140402346681312 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4111] ppid=4048 vsize=10847272 memory=4068 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4111/stat : 4111 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797201 11107606528 65481 33554432000 4194304 4196468 140725631840720 140401876919296 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4112] ppid=4048 vsize=10847272 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4112/stat : 4112 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797203 11107606528 65481 33554432000 4194304 4196468 140725631840720 140401608485072 140402906425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4113] ppid=4048 vsize=10847272 memory=5948 CPUtime=1.49 cores=0,2,4,6
/proc/4051/task/4113/stat : 4113 (java) R 4048 4051 31233 0 -1 4202560 7327 13553 0 0 140 1 5 3 20 0 15 0 444797203 11107606528 65481 33554432000 4194304 4196468 140725631840720 140402431931360 140402887950861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4114] ppid=4048 vsize=10847272 memory=10564 CPUtime=1.19 cores=0,2,4,6
/proc/4051/task/4114/stat : 4114 (java) R 4048 4051 31233 0 -1 4202560 3699 13553 0 0 110 1 5 3 20 0 15 0 444797203 11107606528 65481 33554432000 4194304 4196468 140725631840720 140402430878680 140402887950742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4115] ppid=4048 vsize=10847272 memory=716 CPUtime=1.26 cores=0,2,4,6
/proc/4051/task/4115/stat : 4115 (java) S 4048 4051 31233 0 -1 1077944384 5550 13553 0 0 116 2 5 3 20 0 15 0 444797203 11107606528 65481 33554432000 4194304 4196468 140725631840720 140402429840112 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4116] ppid=4048 vsize=10847272 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4116/stat : 4116 (java) S 4048 4051 31233 0 -1 1077944384 3 13553 0 0 0 0 5 3 20 0 15 0 444797204 11107606528 65481 33554432000 4194304 4196468 140725631840720 140401138723936 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4117] ppid=4048 vsize=10847272 memory=1552 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4117/stat : 4117 (java) S 4048 4051 31233 0 -1 1077944384 1 13553 0 0 0 0 5 3 20 0 15 0 444797204 11107606528 65481 33554432000 4194304 4196468 140725631840720 140402428786992 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
Current children cumulated CPU time: 7.03 s
Current children cumulated vsize: 10847272 KiB
Current children cumulated memory: 261924 KiB
[startup+3.60071 s]
/proc/loadavg: 1.73 1.46 1.41 6/229 4119
/proc/meminfo: memFree=29398512/32770624 swapFree=66967452/67108860
[pid=4051] ppid=4048 vsize=10844940 memory=325568 CPUtime=8.27 cores=0,2,4,6
/proc/4051/stat : 4051 (java) S 4048 4051 31233 0 -1 1077944320 48851 13553 0 0 799 20 5 3 20 0 15 0 444797189 11105218560 81392 33554432000 4194304 4196468 140725631840720 140725631823264 140402906406647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
/proc/4051/statm: 2711235 81392 3616 1 0 2673293 0
[pid=4051/tid=4104] ppid=4048 vsize=10844940 memory=46908 CPUtime=3.48 cores=0,2,4,6
/proc/4051/task/4104/stat : 4104 (java) R 4048 4051 31233 0 -1 4202560 20741 13553 0 0 330 10 5 3 20 0 15 0 444797198 11105218560 81392 33554432000 4194304 4196468 140725631840720 140402878240416 140402509391689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4105] ppid=4048 vsize=10844940 memory=984 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4105/stat : 4105 (java) S 4048 4051 31233 0 -1 1077944384 83 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 81392 33554432000 4194304 4196468 140725631840720 140402910649104 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4106] ppid=4048 vsize=10844940 memory=2004 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4106/stat : 4106 (java) S 4048 4051 31233 0 -1 1077944384 106 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 81392 33554432000 4194304 4196468 140725631840720 140402825468816 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4107] ppid=4048 vsize=10844940 memory=1376 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4107/stat : 4107 (java) S 4048 4051 31233 0 -1 1077944384 83 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 81392 33554432000 4194304 4196468 140725631840720 140402824416272 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4108] ppid=4048 vsize=10844940 memory=2241 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4108/stat : 4108 (java) S 4048 4051 31233 0 -1 1077944384 638 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 81392 33554432000 4194304 4196468 140725631840720 140402823363728 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4109] ppid=4048 vsize=10844940 memory=2244 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4109/stat : 4109 (java) S 4048 4051 31233 0 -1 1077944384 1737 13553 0 0 3 0 5 3 20 0 15 0 444797200 11105218560 81392 33554432000 4194304 4196468 140725631840720 140402432997360 140402906417794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4110] ppid=4048 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4110/stat : 4110 (java) S 4048 4051 31233 0 -1 1077944384 23 13553 0 0 0 0 5 3 20 0 15 0 444797200 11105218560 81392 33554432000 4194304 4196468 140725631840720 140402346681312 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4111] ppid=4048 vsize=10844940 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4111/stat : 4111 (java) S 4048 4051 31233 0 -1 1077944384 18 13553 0 0 0 0 5 3 20 0 15 0 444797201 11105218560 81392 33554432000 4194304 4196468 140725631840720 140401876919296 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4112] ppid=4048 vsize=10844940 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4112/stat : 4112 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797203 11105218560 81392 33554432000 4194304 4196468 140725631840720 140401608485072 140402906425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4113] ppid=4048 vsize=10844940 memory=0 CPUtime=1.89 cores=0,2,4,6
/proc/4051/task/4113/stat : 4113 (java) R 4048 4051 31233 0 -1 4202560 11216 13553 0 0 179 2 5 3 20 0 15 0 444797203 11105218560 81392 33554432000 4194304 4196468 140725631840720 140402431934992 140402885583974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4114] ppid=4048 vsize=10844940 memory=217172 CPUtime=1.6 cores=0,2,4,6
/proc/4051/task/4114/stat : 4114 (java) R 4048 4051 31233 0 -1 4202560 5650 13553 0 0 150 2 5 3 20 0 15 0 444797203 11105218560 81392 33554432000 4194304 4196468 140725631840720 140402430878680 140402891514322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4115] ppid=4048 vsize=10844940 memory=180072 CPUtime=1.31 cores=0,2,4,6
/proc/4051/task/4115/stat : 4115 (java) S 4048 4051 31233 0 -1 1077944384 6331 13553 0 0 121 2 5 3 20 0 15 0 444797203 11105218560 81392 33554432000 4194304 4196468 140725631840720 140402429840112 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4116] ppid=4048 vsize=10844940 memory=280277218082816 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4116/stat : 4116 (java) S 4048 4051 31233 0 -1 1077944384 3 13553 0 0 0 0 5 3 20 0 15 0 444797204 11105218560 81392 33554432000 4194304 4196468 140725631840720 140401138723936 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4117] ppid=4048 vsize=10844940 memory=280277218094032 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4117/stat : 4117 (java) S 4048 4051 31233 0 -1 1077944384 10 13553 0 0 0 0 5 3 20 0 15 0 444797204 11105218560 81392 33554432000 4194304 4196468 140725631840720 140402428786992 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
Current children cumulated CPU time: 8.27 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 325568 KiB
[startup+4.00077 s]*
/proc/loadavg: 1.73 1.46 1.41 3/229 4119
/proc/meminfo: memFree=29308736/32770624 swapFree=66967452/67108860
[pid=4051] ppid=4048 vsize=10844940 memory=334676 CPUtime=9.28 cores=0,2,4,6
/proc/4051/stat : 4051 (java) S 4048 4051 31233 0 -1 1077944320 49496 13553 0 0 899 21 5 3 20 0 15 0 444797189 11105218560 83669 33554432000 4194304 4196468 140725631840720 140725631823264 140402906406647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
/proc/4051/statm: 2711235 83669 3622 1 0 2673293 0
[pid=4051/tid=4104] ppid=4048 vsize=10844940 memory=140138609231058 CPUtime=3.88 cores=0,2,4,6
/proc/4051/task/4104/stat : 4104 (java) R 4048 4051 31233 0 -1 4202560 20801 13553 0 0 370 10 5 3 20 0 15 0 444797198 11105218560 83669 33554432000 4194304 4196468 140725631840720 140402878239288 140402510304207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4105] ppid=4048 vsize=10844940 memory=280277218458320 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4105/stat : 4105 (java) S 4048 4051 31233 0 -1 1077944384 84 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 83669 33554432000 4194304 4196468 140725631840720 140402910649104 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4106] ppid=4048 vsize=10844940 memory=7088736608826254437 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4106/stat : 4106 (java) S 4048 4051 31233 0 -1 1077944384 109 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 83669 33554432000 4194304 4196468 140725631840720 140402825468816 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4107] ppid=4048 vsize=10844940 memory=4126316290023845779 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4107/stat : 4107 (java) S 4048 4051 31233 0 -1 1077944384 86 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 83669 33554432000 4194304 4196468 140725631840720 140402824416272 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4108] ppid=4048 vsize=10844940 memory=2120 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4108/stat : 4108 (java) S 4048 4051 31233 0 -1 1077944384 639 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 83669 33554432000 4194304 4196468 140725631840720 140402823363728 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4109] ppid=4048 vsize=10844940 memory=500 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4109/stat : 4109 (java) S 4048 4051 31233 0 -1 1077944384 1738 13553 0 0 3 0 5 3 20 0 15 0 444797200 11105218560 83669 33554432000 4194304 4196468 140725631840720 140402432997360 140402906417794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4110] ppid=4048 vsize=10844940 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4110/stat : 4110 (java) S 4048 4051 31233 0 -1 1077944384 23 13553 0 0 0 0 5 3 20 0 15 0 444797200 11105218560 83669 33554432000 4194304 4196468 140725631840720 140402346681312 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4111] ppid=4048 vsize=10844940 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4111/stat : 4111 (java) S 4048 4051 31233 0 -1 1077944384 18 13553 0 0 0 0 5 3 20 0 15 0 444797201 11105218560 83669 33554432000 4194304 4196468 140725631840720 140401876919296 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4112] ppid=4048 vsize=10844940 memory=1520 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4112/stat : 4112 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797203 11105218560 83669 33554432000 4194304 4196468 140725631840720 140401608485072 140402906425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4113] ppid=4048 vsize=10844940 memory=1980 CPUtime=2.15 cores=0,2,4,6
/proc/4051/task/4113/stat : 4113 (java) S 4048 4051 31233 0 -1 1077944384 11448 13553 0 0 205 2 5 3 20 0 15 0 444797203 11105218560 83669 33554432000 4194304 4196468 140725631840720 140402431945200 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4114] ppid=4048 vsize=10844940 memory=2572 CPUtime=1.86 cores=0,2,4,6
/proc/4051/task/4114/stat : 4114 (java) S 4048 4051 31233 0 -1 1077944384 5811 13553 0 0 176 2 5 3 20 0 15 0 444797203 11105218560 83669 33554432000 4194304 4196468 140725631840720 140402430892656 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4115] ppid=4048 vsize=10844940 memory=900 CPUtime=1.37 cores=0,2,4,6
/proc/4051/task/4115/stat : 4115 (java) S 4048 4051 31233 0 -1 1077944384 6514 13553 0 0 127 2 5 3 20 0 15 0 444797203 11105218560 83669 33554432000 4194304 4196468 140725631840720 140402429840112 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4116] ppid=4048 vsize=10844940 memory=1432 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4116/stat : 4116 (java) S 4048 4051 31233 0 -1 1077944384 3 13553 0 0 0 0 5 3 20 0 15 0 444797204 11105218560 83669 33554432000 4194304 4196468 140725631840720 140401138723936 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4117] ppid=4048 vsize=10844940 memory=1764 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4117/stat : 4117 (java) S 4048 4051 31233 0 -1 1077944384 10 13553 0 0 0 0 5 3 20 0 15 0 444797204 11105218560 83669 33554432000 4194304 4196468 140725631840720 140402428786992 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
Current children cumulated CPU time: 9.28 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 334676 KiB
[startup+4.11041 s]
/proc/loadavg: 1.73 1.46 1.41 3/229 4119
/proc/meminfo: memFree=29308736/32770624 swapFree=66967452/67108860
[pid=4051] ppid=4048 vsize=10844940 memory=340924 CPUtime=9.49 cores=0,2,4,6
/proc/4051/stat : 4051 (java) S 4048 4051 31233 0 -1 1077944320 49596 13553 0 0 920 21 5 3 20 0 15 0 444797189 11105218560 85231 33554432000 4194304 4196468 140725631840720 140725631823264 140402906406647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
/proc/4051/statm: 2711235 85231 3622 1 0 2673293 0
[pid=4051/tid=4104] ppid=4048 vsize=10844940 memory=2004 CPUtime=3.98 cores=0,2,4,6
/proc/4051/task/4104/stat : 4104 (java) R 4048 4051 31233 0 -1 4202560 20815 13553 0 0 380 10 5 3 20 0 15 0 444797198 11105218560 85231 33554432000 4194304 4196468 140725631840720 140402878240136 140402509173286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4105] ppid=4048 vsize=10844940 memory=1376 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4105/stat : 4105 (java) S 4048 4051 31233 0 -1 1077944384 87 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 85231 33554432000 4194304 4196468 140725631840720 140402910649104 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4106] ppid=4048 vsize=10844940 memory=1060 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4106/stat : 4106 (java) S 4048 4051 31233 0 -1 1077944384 110 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 85231 33554432000 4194304 4196468 140725631840720 140402825468816 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4107] ppid=4048 vsize=10844940 memory=8112282956445269571 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4107/stat : 4107 (java) S 4048 4051 31233 0 -1 1077944384 87 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 85231 33554432000 4194304 4196468 140725631840720 140402824416272 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4108] ppid=4048 vsize=10844940 memory=1192 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4108/stat : 4108 (java) S 4048 4051 31233 0 -1 1077944384 642 13553 0 0 3 0 5 3 20 0 15 0 444797199 11105218560 85231 33554432000 4194304 4196468 140725631840720 140402823363728 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4109] ppid=4048 vsize=10844940 memory=940 CPUtime=0.11 cores=0,2,4,6
/proc/4051/task/4109/stat : 4109 (java) S 4048 4051 31233 0 -1 1077944384 1759 13553 0 0 3 0 5 3 20 0 15 0 444797200 11105218560 85231 33554432000 4194304 4196468 140725631840720 140402432997360 140402906417794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4110] ppid=4048 vsize=10844940 memory=14008 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4110/stat : 4110 (java) S 4048 4051 31233 0 -1 1077944384 23 13553 0 0 0 0 5 3 20 0 15 0 444797200 11105218560 85231 33554432000 4194304 4196468 140725631840720 140402346681312 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4111] ppid=4048 vsize=10844940 memory=12040 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4111/stat : 4111 (java) S 4048 4051 31233 0 -1 1077944384 18 13553 0 0 0 0 5 3 20 0 15 0 444797201 11105218560 85231 33554432000 4194304 4196468 140725631840720 140401876919296 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4112] ppid=4048 vsize=10844940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4112/stat : 4112 (java) S 4048 4051 31233 0 -1 1077944384 2 13553 0 0 0 0 5 3 20 0 15 0 444797203 11105218560 85231 33554432000 4194304 4196468 140725631840720 140401608485072 140402906425243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4113] ppid=4048 vsize=10844940 memory=5936941012397408358 CPUtime=2.17 cores=0,2,4,6
/proc/4051/task/4113/stat : 4113 (java) S 4048 4051 31233 0 -1 1077944384 11456 13553 0 0 207 2 5 3 20 0 15 0 444797203 11105218560 85231 33554432000 4194304 4196468 140725631840720 140402431945200 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4114] ppid=4048 vsize=10844940 memory=5788339830133051477 CPUtime=1.93 cores=0,2,4,6
/proc/4051/task/4114/stat : 4114 (java) S 4048 4051 31233 0 -1 1077944384 5841 13553 0 0 183 2 5 3 20 0 15 0 444797203 11105218560 85231 33554432000 4194304 4196468 140725631840720 140402430892656 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4115] ppid=4048 vsize=10844940 memory=299632 CPUtime=1.38 cores=0,2,4,6
/proc/4051/task/4115/stat : 4115 (java) S 4048 4051 31233 0 -1 1077944384 6533 13553 0 0 128 2 5 3 20 0 15 0 444797203 11105218560 85231 33554432000 4194304 4196468 140725631840720 140402429840112 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4116] ppid=4048 vsize=10844940 memory=7019467088023531828 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4116/stat : 4116 (java) S 4048 4051 31233 0 -1 1077944384 3 13553 0 0 0 0 5 3 20 0 15 0 444797204 11105218560 85231 33554432000 4194304 4196468 140725631840720 140401138723936 140402906416853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
[pid=4051/tid=4117] ppid=4048 vsize=10844940 memory=7019467087990042932 CPUtime=0.08 cores=0,2,4,6
/proc/4051/task/4117/stat : 4117 (java) S 4048 4051 31233 0 -1 1077944384 10 13553 0 0 0 0 5 3 20 0 15 0 444797204 11105218560 85231 33554432000 4194304 4196468 140725631840720 140402428786992 140402906417794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19578880 140725631843055 140725631845573 140725631845573 140725631848399 0
Current children cumulated CPU time: 9.49 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 340924 KiB
Child status: 0
Real time (s): 4.1622
CPU time (s): 9.55744
CPU user time (s): 9.3011
CPU system time (s): 0.256333
CPU usage (%): 229.624
Max. virtual memory (cumulated for all children) (KiB): 10847732
Max. memory (cumulated for all children) (KiB): 340924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.3011
system time used= 0.256333
maximum resident set size= 343340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64325
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= 6018
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 4051
# total CPU time (s): 9.55744
# total CPU user time (s): 9.3011
# total CPU system time (s): 0.256333
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041779 second user time and 0.091463 second system time
The end