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 (4099 MiB free)
memory of node 1: 16384 MiB (1512 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304870-1534050018/watcher-4304870-1534050018 -o /tmp/evaluation-result-4304870-1534050018/solver-4304870-1534050018 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534040364-20982 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1201593461 -superng HOME/instance-4304870-1534050018.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
Current StackSize limit: 8192 KiB
solver pid=22722, runsolver pid=22719
[startup+0.100063 s]*
/proc/loadavg: 1.47 1.66 1.69 3/208 22779
/proc/meminfo: memFree=5740560/32770624 swapFree=67108380/67108860
[pid=22722] ppid=22719 vsize=10005480 memory=16808 CPUtime=0.09 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 18934 0 -1 1077944320 4333 13200 0 0 1 0 5 3 20 0 6 0 222564941 10245611520 4202 33554432000 4194304 4196468 140731761898576 140731761881120 139811927760631 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
/proc/22722/statm: 2501370 4202 1934 1 0 2489808 0
[pid=22722/tid=22775] ppid=22719 vsize=10005480 memory=4279135704047060365 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22775/stat : 22775 (java) R 22719 22722 18934 0 -1 4202560 2149 13200 0 0 1 0 5 3 20 0 6 0 222564950 10245611520 4202 33554432000 4194304 4196468 140731761898576 139811899597392 139811927782557 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22776] ppid=22719 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22776/stat : 22776 (java) S 22719 22722 18934 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 6 0 222564951 10245611520 4202 33554432000 4194304 4196468 140731761898576 139811932003216 139811927770837 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22777] ppid=22719 vsize=10005480 memory=139849228891776 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22777/stat : 22777 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 6 0 222564951 10245611520 4202 33554432000 4194304 4196468 140731761898576 139811797338896 139811927770837 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22778] ppid=22719 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22778/stat : 22778 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 6 0 222564951 10245611520 4202 33554432000 4194304 4196468 140731761898576 139811796286608 139811927770837 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22779] ppid=22719 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22779/stat : 22779 (java) S 22719 22722 18934 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 6 0 222564951 10245611520 4202 33554432000 4194304 4196468 140731761898576 139811795233808 139811927770837 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16808 KiB
[startup+0.210371 s]*
/proc/loadavg: 1.47 1.66 1.69 3/217 22788
/proc/meminfo: memFree=5717324/32770624 swapFree=67108380/67108860
[pid=22722] ppid=22719 vsize=10982744 memory=44672 CPUtime=0.26 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 18934 0 -1 1077944320 7840 13200 0 0 17 1 5 3 20 0 15 0 222564941 11246329856 11168 33554432000 4194304 4196468 140731761898576 140731761881120 139811927760631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
/proc/22722/statm: 2745686 11168 2961 1 0 2708109 0
[pid=22722/tid=22775] ppid=22719 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/22722/task/22775/stat : 22775 (java) R 22719 22722 18934 0 -1 4202560 4478 13200 0 0 11 0 5 3 20 0 15 0 222564950 11246329856 11234 33554432000 4194304 4196468 140731761898576 139811899557552 139811908036352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22776] ppid=22719 vsize=10982744 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22776/stat : 22776 (java) S 22719 22722 18934 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246329856 11234 33554432000 4194304 4196468 140731761898576 139811932003216 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22777] ppid=22719 vsize=10982744 memory=288370225380603520 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22777/stat : 22777 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246329856 11234 33554432000 4194304 4196468 140731761898576 139811797338896 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22778] ppid=22719 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22778/stat : 22778 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246329856 11234 33554432000 4194304 4196468 140731761898576 139811796286608 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22779] ppid=22719 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22779/stat : 22779 (java) S 22719 22722 18934 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246329856 11234 33554432000 4194304 4196468 140731761898576 139811795233808 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22780] ppid=22719 vsize=10982744 memory=139849228891776 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22780/stat : 22780 (java) S 22719 22722 18934 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222564953 11246329856 11234 33554432000 4194304 4196468 140731761898576 139811353290864 139811927771778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22781] ppid=22719 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22781/stat : 22781 (java) S 22719 22722 18934 0 -1 1077944384 13 13200 0 0 0 0 5 3 20 0 15 0 222564953 11246329856 11234 33554432000 4194304 4196468 140731761898576 139810728567584 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22782] ppid=22719 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22782/stat : 22782 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564953 11246329856 11234 33554432000 4194304 4196468 140731761898576 139810580718704 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22783] ppid=22719 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22783/stat : 22783 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11246329856 11234 33554432000 4194304 4196468 140731761898576 139810273318992 139811927779227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22784] ppid=22719 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22784/stat : 22784 (java) S 22719 22722 18934 0 -1 1077944384 416 13200 0 0 1 0 5 3 20 0 15 0 222564956 11246329856 11234 33554432000 4194304 4196468 140731761898576 139811352238704 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22785] ppid=22719 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22785/stat : 22785 (java) S 22719 22722 18934 0 -1 1077944384 188 13200 0 0 1 0 5 3 20 0 15 0 222564956 11246329856 11234 33554432000 4194304 4196468 140731761898576 139811351185904 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22786] ppid=22719 vsize=10982744 memory=139849228891776 CPUtime=0.11 cores=0,2,4,6
/proc/22722/task/22786/stat : 22786 (java) S 22719 22722 18934 0 -1 1077944384 605 13200 0 0 3 0 5 3 20 0 15 0 222564956 11246329856 11300 33554432000 4194304 4196468 140731761898576 139811350133616 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22787] ppid=22719 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22787/stat : 22787 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11246329856 11300 33554432000 4194304 4196468 140731761898576 139809842523104 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22788] ppid=22719 vsize=10982744 memory=139849228891776 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22788/stat : 22788 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564956 11246329856 11300 33554432000 4194304 4196468 140731761898576 139811349080496 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44672 KiB
[startup+0.310453 s]*
/proc/loadavg: 1.47 1.66 1.69 3/217 22788
/proc/meminfo: memFree=5705332/32770624 swapFree=67108380/67108860
[pid=22722] ppid=22719 vsize=10983192 memory=56172 CPUtime=0.39 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 18934 0 -1 1077944320 10587 13200 0 0 29 2 5 3 20 0 15 0 222564941 11246788608 14043 33554432000 4194304 4196468 140731761898576 140731761881120 139811927760631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
/proc/22722/statm: 2745798 14043 3080 1 0 2708109 0
[pid=22722/tid=22775] ppid=22719 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22722/task/22775/stat : 22775 (java) R 22719 22722 18934 0 -1 4202560 7146 13200 0 0 20 1 5 3 20 0 15 0 222564950 11246788608 14043 33554432000 4194304 4196468 140731761898576 139811899572640 139811909324187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22776] ppid=22719 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22776/stat : 22776 (java) S 22719 22722 18934 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246788608 14043 33554432000 4194304 4196468 140731761898576 139811932003216 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22777] ppid=22719 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22777/stat : 22777 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246788608 14043 33554432000 4194304 4196468 140731761898576 139811797338896 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22778] ppid=22719 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22778/stat : 22778 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246788608 14043 33554432000 4194304 4196468 140731761898576 139811796286608 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22779] ppid=22719 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22779/stat : 22779 (java) S 22719 22722 18934 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246788608 14043 33554432000 4194304 4196468 140731761898576 139811795233808 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22780] ppid=22719 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22780/stat : 22780 (java) S 22719 22722 18934 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222564953 11246788608 14043 33554432000 4194304 4196468 140731761898576 139811353290864 139811927771778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22781] ppid=22719 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22781/stat : 22781 (java) S 22719 22722 18934 0 -1 1077944384 13 13200 0 0 0 0 5 3 20 0 15 0 222564953 11246788608 14043 33554432000 4194304 4196468 140731761898576 139810728567584 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22782] ppid=22719 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22782/stat : 22782 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564953 11246788608 14043 33554432000 4194304 4196468 140731761898576 139810580718704 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22783] ppid=22719 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22783/stat : 22783 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11246788608 14043 33554432000 4194304 4196468 140731761898576 139810273318992 139811927779227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22784] ppid=22719 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22784/stat : 22784 (java) S 22719 22722 18934 0 -1 1077944384 419 13200 0 0 1 0 5 3 20 0 15 0 222564956 11246788608 14043 33554432000 4194304 4196468 140731761898576 139811352238704 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22785] ppid=22719 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22785/stat : 22785 (java) S 22719 22722 18934 0 -1 1077944384 190 13200 0 0 1 0 5 3 20 0 15 0 222564956 11246788608 14043 33554432000 4194304 4196468 140731761898576 139811351185904 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22786] ppid=22719 vsize=10983192 memory=139849228891776 CPUtime=0.13 cores=0,2,4,6
/proc/22722/task/22786/stat : 22786 (java) S 22719 22722 18934 0 -1 1077944384 611 13200 0 0 5 0 5 3 20 0 15 0 222564956 11246788608 14043 33554432000 4194304 4196468 140731761898576 139811350133616 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22787] ppid=22719 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22787/stat : 22787 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11246788608 14043 33554432000 4194304 4196468 140731761898576 139809842523104 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22788] ppid=22719 vsize=10983192 memory=139849228891776 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22788/stat : 22788 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564956 11246788608 14043 33554432000 4194304 4196468 140731761898576 139811349080496 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56172 KiB
[startup+0.700709 s]
/proc/loadavg: 1.47 1.66 1.69 3/217 22788
/proc/meminfo: memFree=5694540/32770624 swapFree=67108380/67108860
[pid=22722] ppid=22719 vsize=10983192 memory=88620 CPUtime=0.99 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 18934 0 -1 1077944320 16734 13200 0 0 87 4 5 3 20 0 15 0 222564941 11246788608 22091 33554432000 4194304 4196468 140731761898576 140731761881120 139811927760631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
/proc/22722/statm: 2745798 22155 3239 1 0 2708109 0
[pid=22722/tid=22775] ppid=22719 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/22722/task/22775/stat : 22775 (java) R 22719 22722 18934 0 -1 4202560 12248 13200 0 0 56 3 5 3 20 0 15 0 222564950 11246788608 22155 33554432000 4194304 4196468 140731761898576 139811899581456 139811913454134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22776] ppid=22719 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22776/stat : 22776 (java) S 22719 22722 18934 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246788608 22155 33554432000 4194304 4196468 140731761898576 139811932003216 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22777] ppid=22719 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22777/stat : 22777 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246788608 22155 33554432000 4194304 4196468 140731761898576 139811797338896 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22778] ppid=22719 vsize=10983192 memory=139849101357872 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22778/stat : 22778 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246788608 22155 33554432000 4194304 4196468 140731761898576 139811796286608 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22779] ppid=22719 vsize=10983192 memory=139852725092953 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22779/stat : 22779 (java) S 22719 22722 18934 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222564951 11246788608 22155 33554432000 4194304 4196468 140731761898576 139811795233808 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22780] ppid=22719 vsize=10983192 memory=1388 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22780/stat : 22780 (java) S 22719 22722 18934 0 -1 1077944384 5 13200 0 0 0 0 5 3 20 0 15 0 222564953 11246788608 22155 33554432000 4194304 4196468 140731761898576 139811353290864 139811927771778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22781] ppid=22719 vsize=10983192 memory=4639098309541127525 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22781/stat : 22781 (java) S 22719 22722 18934 0 -1 1077944384 13 13200 0 0 0 0 5 3 20 0 15 0 222564953 11246788608 22155 33554432000 4194304 4196468 140731761898576 139810728567584 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22782] ppid=22719 vsize=10983192 memory=6082220498109361512 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22782/stat : 22782 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564953 11246788608 22155 33554432000 4194304 4196468 140731761898576 139810580718704 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22783] ppid=22719 vsize=10983192 memory=33696 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22783/stat : 22783 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11246788608 22155 33554432000 4194304 4196468 140731761898576 139810273318992 139811927779227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22784] ppid=22719 vsize=10983192 memory=14392 CPUtime=0.15 cores=0,2,4,6
/proc/22722/task/22784/stat : 22784 (java) S 22719 22722 18934 0 -1 1077944384 815 13200 0 0 7 0 5 3 20 0 15 0 222564956 11246788608 22155 33554432000 4194304 4196468 140731761898576 139811352238704 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22785] ppid=22719 vsize=10983192 memory=4004 CPUtime=0.18 cores=0,2,4,6
/proc/22722/task/22785/stat : 22785 (java) S 22719 22722 18934 0 -1 1077944384 776 13200 0 0 10 0 5 3 20 0 15 0 222564956 11246788608 22155 33554432000 4194304 4196468 140731761898576 139811351185904 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22786] ppid=22719 vsize=10983192 memory=500 CPUtime=0.21 cores=0,2,4,6
/proc/22722/task/22786/stat : 22786 (java) R 22719 22722 18934 0 -1 4202560 682 13200 0 0 13 0 5 3 20 0 15 0 222564956 11246788608 22155 33554432000 4194304 4196468 140731761898576 139811350133616 139811906265022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22787] ppid=22719 vsize=10983192 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22787/stat : 22787 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11246788608 22155 33554432000 4194304 4196468 140731761898576 139809842523104 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22788] ppid=22719 vsize=10983192 memory=1176 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22788/stat : 22788 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564956 11246788608 22155 33554432000 4194304 4196468 140731761898576 139811349080496 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88620 KiB
[startup+1.50079 s]
/proc/loadavg: 1.52 1.66 1.69 5/217 22788
/proc/meminfo: memFree=5649572/32770624 swapFree=67108380/67108860
[pid=22722] ppid=22719 vsize=10998092 memory=177312 CPUtime=2.28 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 18934 0 -1 1077944320 23876 13200 0 0 211 9 5 3 20 0 15 0 222564941 11262046208 44328 33554432000 4194304 4196468 140731761898576 140731761881120 139811927760631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
/proc/22722/statm: 2749523 44328 3472 1 0 2711181 0
[pid=22722/tid=22775] ppid=22719 vsize=10998092 memory=64836 CPUtime=1.44 cores=0,2,4,6
/proc/22722/task/22775/stat : 22775 (java) R 22719 22722 18934 0 -1 4202560 17846 13200 0 0 130 6 5 3 20 0 15 0 222564950 11262046208 44328 33554432000 4194304 4196468 140731761898576 139811899589584 139811919997758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22776] ppid=22719 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22776/stat : 22776 (java) S 22719 22722 18934 0 -1 1077944384 29 13200 0 0 1 0 5 3 20 0 15 0 222564951 11262046208 44328 33554432000 4194304 4196468 140731761898576 139811932003216 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22777] ppid=22719 vsize=10998092 memory=279698202747040 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22777/stat : 22777 (java) S 22719 22722 18934 0 -1 1077944384 24 13200 0 0 1 0 5 3 20 0 15 0 222564951 11262046208 44328 33554432000 4194304 4196468 140731761898576 139811797338896 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22778] ppid=22719 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22778/stat : 22778 (java) S 22719 22722 18934 0 -1 1077944384 54 13200 0 0 1 0 5 3 20 0 15 0 222564951 11262046208 44328 33554432000 4194304 4196468 140731761898576 139811796286608 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22779] ppid=22719 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22779/stat : 22779 (java) S 22719 22722 18934 0 -1 1077944384 202 13200 0 0 1 0 5 3 20 0 15 0 222564951 11262046208 44328 33554432000 4194304 4196468 140731761898576 139811795233808 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22780] ppid=22719 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22722/task/22780/stat : 22780 (java) S 22719 22722 18934 0 -1 1077944384 55 13200 0 0 1 0 5 3 20 0 15 0 222564953 11262046208 44328 33554432000 4194304 4196468 140731761898576 139811353290864 139811927771778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22781] ppid=22719 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22781/stat : 22781 (java) S 22719 22722 18934 0 -1 1077944384 14 13200 0 0 0 0 5 3 20 0 15 0 222564953 11262046208 44328 33554432000 4194304 4196468 140731761898576 139810728567648 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22782] ppid=22719 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22782/stat : 22782 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564953 11262046208 44328 33554432000 4194304 4196468 140731761898576 139810580718720 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22783] ppid=22719 vsize=10998092 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22783/stat : 22783 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11262046208 44328 33554432000 4194304 4196468 140731761898576 139810273318992 139811927779227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22784] ppid=22719 vsize=10998092 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/22722/task/22784/stat : 22784 (java) S 22719 22722 18934 0 -1 1077944384 925 13200 0 0 14 0 5 3 20 0 15 0 222564956 11262046208 44328 33554432000 4194304 4196468 140731761898576 139811352238704 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22785] ppid=22719 vsize=10998092 memory=10 CPUtime=0.34 cores=0,2,4,6
/proc/22722/task/22785/stat : 22785 (java) S 22719 22722 18934 0 -1 1077944384 1232 13200 0 0 26 0 5 3 20 0 15 0 222564956 11262046208 44328 33554432000 4194304 4196468 140731761898576 139811351185904 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22786] ppid=22719 vsize=10998092 memory=6791534058613427641 CPUtime=0.41 cores=0,2,4,6
/proc/22722/task/22786/stat : 22786 (java) S 22719 22722 18934 0 -1 1077944384 1296 13200 0 0 33 0 5 3 20 0 15 0 222564956 11262046208 44328 33554432000 4194304 4196468 140731761898576 139811350133616 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22787] ppid=22719 vsize=10998092 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22787/stat : 22787 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11262046208 44328 33554432000 4194304 4196468 140731761898576 139809842523104 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22788] ppid=22719 vsize=10998092 memory=279698202991488 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22788/stat : 22788 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564956 11262046208 44328 33554432000 4194304 4196468 140731761898576 139811349080496 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
[startup+4.3868 s]
# the end of solver process 22722 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.46861 s, system=0.286263 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20108 s]
/proc/loadavg: 1.52 1.66 1.69 4/217 22788
/proc/meminfo: memFree=5523676/32770624 swapFree=67108380/67108860
[pid=22722] ppid=22719 vsize=11010400 memory=241280 CPUtime=6.39 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 18934 0 -1 1077944320 41078 13200 0 0 614 17 5 3 20 0 15 0 222564941 11274649600 60320 33554432000 4194304 4196468 140731761898576 140731761881120 139811927760631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
/proc/22722/statm: 2752600 60320 3498 1 0 2714253 0
[pid=22722/tid=22775] ppid=22719 vsize=11010400 memory=-9123011406873206402 CPUtime=3.08 cores=0,2,4,6
/proc/22722/task/22775/stat : 22775 (java) R 22719 22722 18934 0 -1 4202560 25641 13200 0 0 292 8 5 3 20 0 15 0 222564950 11274649600 60320 33554432000 4194304 4196468 140731761898576 139811899591168 139811909315991 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22776] ppid=22719 vsize=11010400 memory=6935649255759568960 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22776/stat : 22776 (java) S 22719 22722 18934 0 -1 1077944384 36 13200 0 0 2 0 5 3 20 0 15 0 222564951 11274649600 60320 33554432000 4194304 4196468 140731761898576 139811932003216 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22777] ppid=22719 vsize=11010400 memory=4132775673715122240 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22777/stat : 22777 (java) S 22719 22722 18934 0 -1 1077944384 36 13200 0 0 2 0 5 3 20 0 15 0 222564951 11274649600 60320 33554432000 4194304 4196468 140731761898576 139811797338896 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22778] ppid=22719 vsize=11010400 memory=3467824627879784490 CPUtime=0.11 cores=0,2,4,6
/proc/22722/task/22778/stat : 22778 (java) S 22719 22722 18934 0 -1 1077944384 83 13200 0 0 3 0 5 3 20 0 15 0 222564951 11274649600 60320 33554432000 4194304 4196468 140731761898576 139811796286608 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22779] ppid=22719 vsize=11010400 memory=7588684550706915689 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22779/stat : 22779 (java) S 22719 22722 18934 0 -1 1077944384 209 13200 0 0 2 0 5 3 20 0 15 0 222564951 11274649600 60320 33554432000 4194304 4196468 140731761898576 139811795233808 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22780] ppid=22719 vsize=11010400 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/22722/task/22780/stat : 22780 (java) S 22719 22722 18934 0 -1 1077944384 1547 13200 0 0 3 0 5 3 20 0 15 0 222564953 11274649600 60320 33554432000 4194304 4196468 140731761898576 139811353290864 139811927771778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22781] ppid=22719 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22781/stat : 22781 (java) S 22719 22722 18934 0 -1 1077944384 14 13200 0 0 0 0 5 3 20 0 15 0 222564953 11274649600 60320 33554432000 4194304 4196468 140731761898576 139810728567648 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22782] ppid=22719 vsize=11010400 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22782/stat : 22782 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564953 11274649600 60320 33554432000 4194304 4196468 140731761898576 139810580718720 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22783] ppid=22719 vsize=11010400 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22783/stat : 22783 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11274649600 60320 33554432000 4194304 4196468 140731761898576 139810273318992 139811927779227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22784] ppid=22719 vsize=11010400 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/22722/task/22784/stat : 22784 (java) R 22719 22722 18934 0 -1 4202560 4105 13200 0 0 100 2 5 3 20 0 15 0 222564956 11274649600 60320 33554432000 4194304 4196468 140731761898576 139811352224768 139811909304865 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22785] ppid=22719 vsize=11010400 memory=0 CPUtime=0.95 cores=0,2,4,6
/proc/22722/task/22785/stat : 22785 (java) R 22719 22722 18934 0 -1 4202560 2357 13200 0 0 86 1 5 3 20 0 15 0 222564956 11274649600 60320 33554432000 4194304 4196468 140731761898576 139811351174016 139811908396576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22786] ppid=22719 vsize=11010400 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/22722/task/22786/stat : 22786 (java) S 22719 22722 18934 0 -1 1077944384 4848 13200 0 0 118 1 5 3 20 0 15 0 222564956 11274649600 60320 33554432000 4194304 4196468 140731761898576 139811350133616 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22787] ppid=22719 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22787/stat : 22787 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11274649600 60320 33554432000 4194304 4196468 140731761898576 139809842523104 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22788] ppid=22719 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22788/stat : 22788 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11274649600 60320 33554432000 4194304 4196468 140731761898576 139811349080496 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
Current children cumulated CPU time: 6.39 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 241280 KiB
[startup+4.00313 s]*
/proc/loadavg: 1.52 1.66 1.69 5/217 22788
/proc/meminfo: memFree=5451800/32770624 swapFree=67108380/67108860
[pid=22722] ppid=22719 vsize=11082904 memory=309004 CPUtime=8.54 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 18934 0 -1 1077944320 66881 13200 0 0 823 23 5 3 20 0 15 0 222564941 11348893696 77251 33554432000 4194304 4196468 140731761898576 140731761881120 139811927760631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
/proc/22722/statm: 2770726 77251 3504 1 0 2732379 0
[pid=22722/tid=22775] ppid=22719 vsize=11082904 memory=6791534058613427641 CPUtime=3.88 cores=0,2,4,6
/proc/22722/task/22775/stat : 22775 (java) R 22719 22722 18934 0 -1 4202560 44264 13200 0 0 370 10 5 3 20 0 15 0 222564950 11348893696 77251 33554432000 4194304 4196468 140731761898576 139811899591168 139811470051029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22776] ppid=22719 vsize=11082904 memory=4126316290023845779 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22776/stat : 22776 (java) S 22719 22722 18934 0 -1 1077944384 36 13200 0 0 2 0 5 3 20 0 15 0 222564951 11348893696 77251 33554432000 4194304 4196468 140731761898576 139811932003216 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22777] ppid=22719 vsize=11082904 memory=6944656592455359580 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22777/stat : 22777 (java) S 22719 22722 18934 0 -1 1077944384 36 13200 0 0 2 0 5 3 20 0 15 0 222564951 11348893696 77251 33554432000 4194304 4196468 140731761898576 139811797338896 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22778] ppid=22719 vsize=11082904 memory=-2746958450906831424 CPUtime=0.11 cores=0,2,4,6
/proc/22722/task/22778/stat : 22778 (java) S 22719 22722 18934 0 -1 1077944384 83 13200 0 0 3 0 5 3 20 0 15 0 222564951 11348893696 77251 33554432000 4194304 4196468 140731761898576 139811796286608 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22779] ppid=22719 vsize=11082904 memory=6944652177228980320 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22779/stat : 22779 (java) S 22719 22722 18934 0 -1 1077944384 209 13200 0 0 2 0 5 3 20 0 15 0 222564951 11348893696 77251 33554432000 4194304 4196468 140731761898576 139811795233808 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22780] ppid=22719 vsize=11082904 memory=6944656575208382560 CPUtime=0.11 cores=0,2,4,6
/proc/22722/task/22780/stat : 22780 (java) S 22719 22722 18934 0 -1 1077944384 1779 13200 0 0 3 0 5 3 20 0 15 0 222564953 11348893696 77251 33554432000 4194304 4196468 140731761898576 139811353290864 139811927771778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22781] ppid=22719 vsize=11082904 memory=6944656592385698452 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22781/stat : 22781 (java) S 22719 22722 18934 0 -1 1077944384 14 13200 0 0 0 0 5 3 20 0 15 0 222564953 11348893696 77251 33554432000 4194304 4196468 140731761898576 139810728567648 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22782] ppid=22719 vsize=11082904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22782/stat : 22782 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564953 11348893696 77251 33554432000 4194304 4196468 140731761898576 139810580718720 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22783] ppid=22719 vsize=11082904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22783/stat : 22783 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11348893696 77251 33554432000 4194304 4196468 140731761898576 139810273318992 139811927779227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22784] ppid=22719 vsize=11082904 memory=0 CPUtime=1.8 cores=0,2,4,6
/proc/22722/task/22784/stat : 22784 (java) R 22719 22722 18934 0 -1 4202560 8413 13200 0 0 170 2 5 3 20 0 15 0 222564956 11348893696 77251 33554432000 4194304 4196468 140731761898576 139811352224840 139811909283517 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22785] ppid=22719 vsize=11082904 memory=0 CPUtime=1.29 cores=0,2,4,6
/proc/22722/task/22785/stat : 22785 (java) R 22719 22722 18934 0 -1 4202560 3645 13200 0 0 118 3 5 3 20 0 15 0 222564956 11348893696 77251 33554432000 4194304 4196468 140731761898576 139811351165392 139811907007603 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22786] ppid=22719 vsize=11082904 memory=4785954429024149535 CPUtime=1.55 cores=0,2,4,6
/proc/22722/task/22786/stat : 22786 (java) R 22719 22722 18934 0 -1 1077944384 6193 13200 0 0 145 2 5 3 20 0 15 0 222564956 11348893696 77251 33554432000 4194304 4196468 140731761898576 139811350133616 139811927771778 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22787] ppid=22719 vsize=11082904 memory=5507152521407963187 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22787/stat : 22787 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11348893696 77251 33554432000 4194304 4196468 140731761898576 139809842523104 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22788] ppid=22719 vsize=11082904 memory=739271074832719903 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22788/stat : 22788 (java) S 22719 22722 18934 0 -1 1077944384 10 13200 0 0 0 0 5 3 20 0 15 0 222564956 11348893696 77251 33554432000 4194304 4196468 140731761898576 139811349080496 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
Current children cumulated CPU time: 8.54 s
Current children cumulated vsize: 11082904 KiB
Current children cumulated memory: 309004 KiB
[startup+4.20177 s]
/proc/loadavg: 1.52 1.66 1.69 5/217 22788
/proc/meminfo: memFree=5451800/32770624 swapFree=67108380/67108860
[pid=22722] ppid=22719 vsize=11080032 memory=307900 CPUtime=9.21 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 18934 0 -1 1077944320 67524 13200 0 0 890 23 5 3 20 0 15 0 222564941 11345952768 76975 33554432000 4194304 4196468 140731761898576 140731761881120 139811927760631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
/proc/22722/statm: 2770008 76975 3508 1 0 2731661 0
[pid=22722/tid=22775] ppid=22719 vsize=11080032 memory=301741412146479455 CPUtime=4.07 cores=0,2,4,6
/proc/22722/task/22775/stat : 22775 (java) R 22719 22722 18934 0 -1 4202560 44278 13200 0 0 389 10 5 3 20 0 15 0 222564950 11345952768 76975 33554432000 4194304 4196468 140731761898576 139811899593712 139811483357145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22776] ppid=22719 vsize=11080032 memory=3689351022318469100 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22776/stat : 22776 (java) S 22719 22722 18934 0 -1 1077944384 36 13200 0 0 2 0 5 3 20 0 15 0 222564951 11345952768 76975 33554432000 4194304 4196468 140731761898576 139811932003216 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22777] ppid=22719 vsize=11080032 memory=6944656425123094137 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22777/stat : 22777 (java) S 22719 22722 18934 0 -1 1077944384 36 13200 0 0 2 0 5 3 20 0 15 0 222564951 11345952768 76975 33554432000 4194304 4196468 140731761898576 139811797338896 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22778] ppid=22719 vsize=11080032 memory=8292148131930887879 CPUtime=0.11 cores=0,2,4,6
/proc/22722/task/22778/stat : 22778 (java) S 22719 22722 18934 0 -1 1077944384 83 13200 0 0 3 0 5 3 20 0 15 0 222564951 11345952768 76975 33554432000 4194304 4196468 140731761898576 139811796286608 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22779] ppid=22719 vsize=11080032 memory=7681421203011431829 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22779/stat : 22779 (java) S 22719 22722 18934 0 -1 1077944384 209 13200 0 0 2 0 5 3 20 0 15 0 222564951 11345952768 76975 33554432000 4194304 4196468 140731761898576 139811795233808 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22780] ppid=22719 vsize=11080032 memory=2209 CPUtime=0.11 cores=0,2,4,6
/proc/22722/task/22780/stat : 22780 (java) S 22719 22722 18934 0 -1 1077944384 1779 13200 0 0 3 0 5 3 20 0 15 0 222564953 11345952768 76975 33554432000 4194304 4196468 140731761898576 139811353290864 139811927771778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22781] ppid=22719 vsize=11080032 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22781/stat : 22781 (java) S 22719 22722 18934 0 -1 1077944384 14 13200 0 0 0 0 5 3 20 0 15 0 222564953 11345952768 76975 33554432000 4194304 4196468 140731761898576 139810728567648 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22782] ppid=22719 vsize=11080032 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22782/stat : 22782 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564953 11345952768 76975 33554432000 4194304 4196468 140731761898576 139810580718720 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22783] ppid=22719 vsize=11080032 memory=279698202908200 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22783/stat : 22783 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11345952768 76975 33554432000 4194304 4196468 140731761898576 139810273318992 139811927779227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22784] ppid=22719 vsize=11080032 memory=11742 CPUtime=1.99 cores=0,2,4,6
/proc/22722/task/22784/stat : 22784 (java) R 22719 22722 18934 0 -1 4202560 8622 13200 0 0 189 2 5 3 20 0 15 0 222564956 11345952768 76975 33554432000 4194304 4196468 140731761898576 139811352224840 139811906176943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22785] ppid=22719 vsize=11080032 memory=16101468159630036 CPUtime=1.48 cores=0,2,4,6
/proc/22722/task/22785/stat : 22785 (java) R 22719 22722 18934 0 -1 4202560 3795 13200 0 0 137 3 5 3 20 0 15 0 222564956 11345952768 76975 33554432000 4194304 4196468 140731761898576 139811351165840 139811911257360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22786] ppid=22719 vsize=11080032 memory=6944652177228980320 CPUtime=1.66 cores=0,2,4,6
/proc/22722/task/22786/stat : 22786 (java) S 22719 22722 18934 0 -1 1077944384 6462 13200 0 0 156 2 5 3 20 0 15 0 222564956 11345952768 76975 33554432000 4194304 4196468 140731761898576 139811350133616 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22787] ppid=22719 vsize=11080032 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22787/stat : 22787 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11345952768 76975 33554432000 4194304 4196468 140731761898576 139809842523104 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22788] ppid=22719 vsize=11080032 memory=2321236607402071712 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22788/stat : 22788 (java) S 22719 22722 18934 0 -1 1077944384 11 13200 0 0 0 0 5 3 20 0 15 0 222564956 11345952768 76975 33554432000 4194304 4196468 140731761898576 139811349080496 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
Current children cumulated CPU time: 9.21 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 307900 KiB
[startup+4.30992 s]
/proc/loadavg: 1.52 1.66 1.69 5/217 22788
/proc/meminfo: memFree=5451800/32770624 swapFree=67108380/67108860
[pid=22722] ppid=22719 vsize=11080032 memory=318572 CPUtime=9.56 cores=0,2,4,6
/proc/22722/stat : 22722 (java) S 22719 22722 18934 0 -1 1077944320 67664 13200 0 0 925 23 5 3 20 0 15 0 222564941 11345952768 79643 33554432000 4194304 4196468 140731761898576 140731761881120 139811927760631 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
/proc/22722/statm: 2770008 79643 3508 1 0 2731661 0
[pid=22722/tid=22775] ppid=22719 vsize=11080032 memory=306832 CPUtime=4.19 cores=0,2,4,6
/proc/22722/task/22775/stat : 22775 (java) R 22719 22722 18934 0 -1 4202560 44317 13200 0 0 400 11 5 3 20 0 15 0 222564950 11345952768 79643 33554432000 4194304 4196468 140731761898576 139811899589400 139811912100753 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22776] ppid=22719 vsize=11080032 memory=56 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22776/stat : 22776 (java) S 22719 22722 18934 0 -1 1077944384 36 13200 0 0 2 0 5 3 20 0 15 0 222564951 11345952768 79643 33554432000 4194304 4196468 140731761898576 139811932003216 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22777] ppid=22719 vsize=11080032 memory=56 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22777/stat : 22777 (java) S 22719 22722 18934 0 -1 1077944384 36 13200 0 0 2 0 5 3 20 0 15 0 222564951 11345952768 79643 33554432000 4194304 4196468 140731761898576 139811797338896 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22778] ppid=22719 vsize=11080032 memory=246596 CPUtime=0.11 cores=0,2,4,6
/proc/22722/task/22778/stat : 22778 (java) S 22719 22722 18934 0 -1 1077944384 83 13200 0 0 3 0 5 3 20 0 15 0 222564951 11345952768 79643 33554432000 4194304 4196468 140731761898576 139811796286608 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22779] ppid=22719 vsize=11080032 memory=1 CPUtime=0.1 cores=0,2,4,6
/proc/22722/task/22779/stat : 22779 (java) S 22719 22722 18934 0 -1 1077944384 209 13200 0 0 2 0 5 3 20 0 15 0 222564951 11345952768 79643 33554432000 4194304 4196468 140731761898576 139811795233808 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22780] ppid=22719 vsize=11080032 memory=1 CPUtime=0.11 cores=0,2,4,6
/proc/22722/task/22780/stat : 22780 (java) S 22719 22722 18934 0 -1 1077944384 1779 13200 0 0 3 0 5 3 20 0 15 0 222564953 11345952768 79643 33554432000 4194304 4196468 140731761898576 139811353290864 139811927771778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22781] ppid=22719 vsize=11080032 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22781/stat : 22781 (java) S 22719 22722 18934 0 -1 1077944384 14 13200 0 0 0 0 5 3 20 0 15 0 222564953 11345952768 79643 33554432000 4194304 4196468 140731761898576 139810728567648 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22782] ppid=22719 vsize=11080032 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22782/stat : 22782 (java) S 22719 22722 18934 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222564953 11345952768 79643 33554432000 4194304 4196468 140731761898576 139810580718720 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22783] ppid=22719 vsize=11080032 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22783/stat : 22783 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11345952768 79643 33554432000 4194304 4196468 140731761898576 139810273318992 139811927779227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22784] ppid=22719 vsize=11080032 memory=8 CPUtime=2.1 cores=0,2,4,6
/proc/22722/task/22784/stat : 22784 (java) R 22719 22722 18934 0 -1 4202560 8708 13200 0 0 200 2 5 3 20 0 15 0 222564956 11345952768 79643 33554432000 4194304 4196468 140731761898576 139811352238832 139811907132742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22785] ppid=22719 vsize=11080032 memory=8 CPUtime=1.59 cores=0,2,4,6
/proc/22722/task/22785/stat : 22785 (java) R 22719 22722 18934 0 -1 4202560 3795 13200 0 0 148 3 5 3 20 0 15 0 222564956 11345952768 79643 33554432000 4194304 4196468 140731761898576 139811351167392 139811911257419 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22786] ppid=22719 vsize=11080032 memory=8 CPUtime=1.68 cores=0,2,4,6
/proc/22722/task/22786/stat : 22786 (java) S 22719 22722 18934 0 -1 1077944384 6477 13200 0 0 158 2 5 3 20 0 15 0 222564956 11345952768 79643 33554432000 4194304 4196468 140731761898576 139811350133616 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22787] ppid=22719 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22787/stat : 22787 (java) S 22719 22722 18934 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222564956 11345952768 79643 33554432000 4194304 4196468 140731761898576 139809842523104 139811927770837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
[pid=22722/tid=22788] ppid=22719 vsize=11080032 memory=7234005210551575122 CPUtime=0.08 cores=0,2,4,6
/proc/22722/task/22788/stat : 22788 (java) S 22719 22722 18934 0 -1 1077944384 11 13200 0 0 0 0 5 3 20 0 15 0 222564956 11345952768 79643 33554432000 4194304 4196468 140731761898576 139811349080496 139811927771778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29908992 140731761900131 140731761902940 140731761902940 140731761905615 0
Current children cumulated CPU time: 9.56 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 318572 KiB
Child status: 0
Real time (s): 4.38684
CPU time (s): 9.75488
CPU user time (s): 9.46861
CPU system time (s): 0.286263
CPU usage (%): 222.367
Max. virtual memory (cumulated for all children) (KiB): 11082908
Max. memory (cumulated for all children) (KiB): 318572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.46861
system time used= 0.286263
maximum resident set size= 329096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81044
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= 6936
involuntary context switches= 48
# summary of solver processes directly reported to runsolver:
# pid: 22722
# total CPU time (s): 9.75488
# total CPU user time (s): 9.46861
# total CPU system time (s): 0.286263
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049926 second user time and 0.084874 second system time
The end