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 (15361 MiB free)
memory of node 1: 16384 MiB (13854 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401356-1568676463/watcher-4401356-1568676463 -o /tmp/evaluation-result-4401356-1568676463/solver-4401356-1568676463 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568673293-1191 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1750650444 HOME/instance-4401356-1568676463.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2143, runsolver pid=2140
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.35 1.31 1.39 3/218 2200
/proc/meminfo: memFree=29913092/32770624 swapFree=66988144/67108860
[pid=2143] ppid=2140 vsize=9972712 memory=16688 CPUtime=0.09 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2140 2143 1158 0 -1 1077944320 4429 13383 0 0 1 0 5 3 20 0 6 0 443914110 10212057088 4172 33554432000 4194304 4196468 140728866425600 140728866408144 140253908414199 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
/proc/2143/statm: 2493178 4172 1933 1 0 2481616 0
[pid=2143/tid=2196] ppid=2140 vsize=9972712 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/2143/task/2196/stat : 2196 (java) R 2140 2143 1158 0 -1 4202560 2279 13383 0 0 1 0 5 3 20 0 6 0 443914119 10212057088 4238 33554432000 4194304 4196468 140728866425600 140253880250960 140253892494686 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2197] ppid=2140 vsize=9972712 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2197/stat : 2197 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 6 0 443914120 10212057088 4238 33554432000 4194304 4196468 140728866425600 140253912656144 140253908424405 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2198] ppid=2140 vsize=9972712 memory=140052885784893 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2198/stat : 2198 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 6 0 443914120 10212057088 4238 33554432000 4194304 4196468 140728866425600 140253481114000 140253908424405 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2199] ppid=2140 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2199/stat : 2199 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 6 0 443914120 10212057088 4238 33554432000 4194304 4196468 140728866425600 140253480061456 140253908424405 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2200] ppid=2140 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2200/stat : 2200 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 6 0 443914120 10212057088 4238 33554432000 4194304 4196468 140728866425600 140253479008912 140253908424405 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16688 KiB
[startup+0.210397 s]*
/proc/loadavg: 1.35 1.31 1.39 3/227 2209
/proc/meminfo: memFree=29886180/32770624 swapFree=66988144/67108860
[pid=2143] ppid=2140 vsize=10819712 memory=44056 CPUtime=0.27 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2140 2143 1158 0 -1 1077944320 7310 13383 0 0 18 1 5 3 20 0 15 0 443914110 11079385088 11014 33554432000 4194304 4196468 140728866425600 140728866408144 140253908414199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
/proc/2143/statm: 2704928 11014 3187 1 0 2667149 0
[pid=2143/tid=2196] ppid=2140 vsize=10819712 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/2143/task/2196/stat : 2196 (java) R 2140 2143 1158 0 -1 4202560 3822 13383 0 0 11 0 5 3 20 0 15 0 443914119 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253880247248 140253908436125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2197] ppid=2140 vsize=10819712 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2197/stat : 2197 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914120 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253912656144 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2198] ppid=2140 vsize=10819712 memory=140052885784893 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2198/stat : 2198 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914120 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253481114000 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2199] ppid=2140 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2199/stat : 2199 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914120 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253480061456 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2200] ppid=2140 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2200/stat : 2200 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914120 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253479008912 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2201] ppid=2140 vsize=10819712 memory=140052885763712 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2201/stat : 2201 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914121 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253435050480 140253908425346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2202] ppid=2140 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2202/stat : 2202 (java) S 2140 2143 1158 0 -1 1077944384 13 13383 0 0 0 0 5 3 20 0 15 0 443914122 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253365003680 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2203] ppid=2140 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2203/stat : 2203 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914122 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253230786032 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2204] ppid=2140 vsize=10819712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2204/stat : 2204 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914125 11079385088 11526 33554432000 4194304 4196468 140728866425600 140252626807504 140253908432795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2205] ppid=2140 vsize=10819712 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2143/task/2205/stat : 2205 (java) S 2140 2143 1158 0 -1 1077944384 466 13383 0 0 1 0 5 3 20 0 15 0 443914125 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253433997296 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2206] ppid=2140 vsize=10819712 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/2143/task/2206/stat : 2206 (java) S 2140 2143 1158 0 -1 1077944384 191 13383 0 0 1 0 5 3 20 0 15 0 443914125 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253331445872 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2207] ppid=2140 vsize=10819712 memory=140052885763712 CPUtime=0.11 cores=0,2,4,6
/proc/2143/task/2207/stat : 2207 (java) S 2140 2143 1158 0 -1 1077944384 604 13383 0 0 3 0 5 3 20 0 15 0 443914125 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253330393328 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2208] ppid=2140 vsize=10819712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2208/stat : 2208 (java) S 2140 2143 1158 0 -1 1077944384 3 13383 0 0 0 0 5 3 20 0 15 0 443914125 11079385088 11526 33554432000 4194304 4196468 140728866425600 140252157045344 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2209] ppid=2140 vsize=10819712 memory=140052885763712 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2209/stat : 2209 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914125 11079385088 11526 33554432000 4194304 4196468 140728866425600 140253329341232 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 44056 KiB
[startup+0.310516 s]*
/proc/loadavg: 1.35 1.31 1.39 3/227 2209
/proc/meminfo: memFree=29873160/32770624 swapFree=66988144/67108860
[pid=2143] ppid=2140 vsize=10820196 memory=54972 CPUtime=0.41 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2140 2143 1158 0 -1 1077944320 10969 13383 0 0 30 3 5 3 20 0 15 0 443914110 11079880704 13743 33554432000 4194304 4196468 140728866425600 140728866408144 140253908414199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
/proc/2143/statm: 2705049 13743 3316 1 0 2667149 0
[pid=2143/tid=2196] ppid=2140 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/2143/task/2196/stat : 2196 (java) R 2140 2143 1158 0 -1 4202560 7455 13383 0 0 19 2 5 3 20 0 15 0 443914119 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253880223152 140253892457829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2197] ppid=2140 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2197/stat : 2197 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914120 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253912656144 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2198] ppid=2140 vsize=10820196 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2198/stat : 2198 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914120 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253481114000 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2199] ppid=2140 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2199/stat : 2199 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914120 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253480061456 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2200] ppid=2140 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2200/stat : 2200 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914120 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253479008912 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2201] ppid=2140 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2201/stat : 2201 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914121 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253435050480 140253908425346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2202] ppid=2140 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2202/stat : 2202 (java) S 2140 2143 1158 0 -1 1077944384 13 13383 0 0 0 0 5 3 20 0 15 0 443914122 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253365003680 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2203] ppid=2140 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2203/stat : 2203 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914122 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253230786032 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2204] ppid=2140 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2204/stat : 2204 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914125 11079880704 13808 33554432000 4194304 4196468 140728866425600 140252626807504 140253908432795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2205] ppid=2140 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/2143/task/2205/stat : 2205 (java) S 2140 2143 1158 0 -1 1077944384 475 13383 0 0 2 0 5 3 20 0 15 0 443914125 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253433997296 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2206] ppid=2140 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/2143/task/2206/stat : 2206 (java) S 2140 2143 1158 0 -1 1077944384 192 13383 0 0 2 0 5 3 20 0 15 0 443914125 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253331445872 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2207] ppid=2140 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/2143/task/2207/stat : 2207 (java) S 2140 2143 1158 0 -1 1077944384 612 13383 0 0 5 0 5 3 20 0 15 0 443914125 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253330393328 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2208] ppid=2140 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2208/stat : 2208 (java) S 2140 2143 1158 0 -1 1077944384 3 13383 0 0 0 0 5 3 20 0 15 0 443914125 11079880704 13808 33554432000 4194304 4196468 140728866425600 140252157045344 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2209] ppid=2140 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2209/stat : 2209 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914125 11079880704 13808 33554432000 4194304 4196468 140728866425600 140253329341232 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54972 KiB
[startup+0.70072 s]
/proc/loadavg: 1.35 1.31 1.39 3/227 2209
/proc/meminfo: memFree=29859252/32770624 swapFree=66988144/67108860
[pid=2143] ppid=2140 vsize=10824364 memory=87380 CPUtime=1.12 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2140 2143 1158 0 -1 1077944320 15019 13383 0 0 99 5 5 3 20 0 15 0 443914110 11084148736 21845 33554432000 4194304 4196468 140728866425600 140728866408144 140253908414199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
/proc/2143/statm: 2706091 21845 3511 1 0 2668173 0
[pid=2143/tid=2196] ppid=2140 vsize=10824364 memory=7522489578387238506 CPUtime=0.67 cores=0,2,4,6
/proc/2143/task/2196/stat : 2196 (java) R 2140 2143 1158 0 -1 4202560 10541 13383 0 0 56 3 5 3 20 0 15 0 443914119 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253880240752 140253908436125 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2197] ppid=2140 vsize=10824364 memory=280105553236800 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2197/stat : 2197 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914120 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253912656144 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2198] ppid=2140 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2198/stat : 2198 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914120 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253481114000 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2199] ppid=2140 vsize=10824364 memory=140052776958080 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2199/stat : 2199 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914120 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253480061456 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2200] ppid=2140 vsize=10824364 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2200/stat : 2200 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914120 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253479008912 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2201] ppid=2140 vsize=10824364 memory=8897 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2201/stat : 2201 (java) S 2140 2143 1158 0 -1 1077944384 5 13383 0 0 0 0 5 3 20 0 15 0 443914121 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253435050480 140253908425346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2202] ppid=2140 vsize=10824364 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2202/stat : 2202 (java) S 2140 2143 1158 0 -1 1077944384 13 13383 0 0 0 0 5 3 20 0 15 0 443914122 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253365003680 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2203] ppid=2140 vsize=10824364 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2203/stat : 2203 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914122 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253230786032 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2204] ppid=2140 vsize=10824364 memory=6660 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2204/stat : 2204 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914125 11084148736 21845 33554432000 4194304 4196468 140728866425600 140252626807504 140253908432795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2205] ppid=2140 vsize=10824364 memory=33 CPUtime=0.21 cores=0,2,4,6
/proc/2143/task/2205/stat : 2205 (java) S 2140 2143 1158 0 -1 1077944384 876 13383 0 0 13 0 5 3 20 0 15 0 443914125 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253433997296 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2206] ppid=2140 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/2143/task/2206/stat : 2206 (java) R 2140 2143 1158 0 -1 4202560 590 13383 0 0 11 0 5 3 20 0 15 0 443914125 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253331445968 140253889113570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2207] ppid=2140 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/2143/task/2207/stat : 2207 (java) S 2140 2143 1158 0 -1 1077944384 771 13383 0 0 17 0 5 3 20 0 15 0 443914125 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253330393328 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2208] ppid=2140 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2208/stat : 2208 (java) S 2140 2143 1158 0 -1 1077944384 3 13383 0 0 0 0 5 3 20 0 15 0 443914125 11084148736 21845 33554432000 4194304 4196468 140728866425600 140252157045344 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2209] ppid=2140 vsize=10824364 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2209/stat : 2209 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914125 11084148736 21845 33554432000 4194304 4196468 140728866425600 140253329341232 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87380 KiB
[startup+1.50075 s]
/proc/loadavg: 1.35 1.31 1.39 4/227 2209
/proc/meminfo: memFree=29815340/32770624 swapFree=66988144/67108860
[pid=2143] ppid=2140 vsize=10834680 memory=175020 CPUtime=2.47 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2140 2143 1158 0 -1 1077944320 21644 13383 0 0 230 9 5 3 20 0 15 0 443914110 11094712320 43755 33554432000 4194304 4196468 140728866425600 140728866408144 140253908414199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
/proc/2143/statm: 2708670 43755 3586 1 0 2670733 0
[pid=2143/tid=2196] ppid=2140 vsize=10834680 memory=38080 CPUtime=1.44 cores=0,2,4,6
/proc/2143/task/2196/stat : 2196 (java) R 2140 2143 1158 0 -1 1077944384 15408 13383 0 0 131 5 5 3 20 0 15 0 443914119 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253880216128 140253908424405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2197] ppid=2140 vsize=10834680 memory=984 CPUtime=0.09 cores=0,2,4,6
/proc/2143/task/2197/stat : 2197 (java) S 2140 2143 1158 0 -1 1077944384 56 13383 0 0 1 0 5 3 20 0 15 0 443914120 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253912656144 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2198] ppid=2140 vsize=10834680 memory=33 CPUtime=0.09 cores=0,2,4,6
/proc/2143/task/2198/stat : 2198 (java) S 2140 2143 1158 0 -1 1077944384 74 13383 0 0 1 0 5 3 20 0 15 0 443914120 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253481114000 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2199] ppid=2140 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2143/task/2199/stat : 2199 (java) S 2140 2143 1158 0 -1 1077944384 339 13383 0 0 1 0 5 3 20 0 15 0 443914120 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253480061456 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2200] ppid=2140 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2143/task/2200/stat : 2200 (java) S 2140 2143 1158 0 -1 1077944384 30 13383 0 0 1 0 5 3 20 0 15 0 443914120 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253479008912 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2201] ppid=2140 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/2143/task/2201/stat : 2201 (java) S 2140 2143 1158 0 -1 1077944384 148 13383 0 0 1 0 5 3 20 0 15 0 443914121 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253435050480 140253908425346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2202] ppid=2140 vsize=10834680 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2202/stat : 2202 (java) S 2140 2143 1158 0 -1 1077944384 14 13383 0 0 0 0 5 3 20 0 15 0 443914122 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253365003744 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2203] ppid=2140 vsize=10834680 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2203/stat : 2203 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914122 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253230786032 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2204] ppid=2140 vsize=10834680 memory=9216 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2204/stat : 2204 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914125 11094712320 43755 33554432000 4194304 4196468 140728866425600 140252626807504 140253908432795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2205] ppid=2140 vsize=10834680 memory=3328422 CPUtime=0.33 cores=0,2,4,6
/proc/2143/task/2205/stat : 2205 (java) S 2140 2143 1158 0 -1 1077944384 1086 13383 0 0 24 1 5 3 20 0 15 0 443914125 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253433997296 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2206] ppid=2140 vsize=10834680 memory=280105553255216 CPUtime=0.32 cores=0,2,4,6
/proc/2143/task/2206/stat : 2206 (java) R 2140 2143 1158 0 -1 4202560 781 13383 0 0 24 0 5 3 20 0 15 0 443914125 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253331433888 140253887602559 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2207] ppid=2140 vsize=10834680 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/2143/task/2207/stat : 2207 (java) S 2140 2143 1158 0 -1 1077944384 1492 13383 0 0 42 0 5 3 20 0 15 0 443914125 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253330393328 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2208] ppid=2140 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2208/stat : 2208 (java) S 2140 2143 1158 0 -1 1077944384 3 13383 0 0 0 0 5 3 20 0 15 0 443914125 11094712320 43755 33554432000 4194304 4196468 140728866425600 140252157045344 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2209] ppid=2140 vsize=10834680 memory=-6805359838429670686 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2209/stat : 2209 (java) S 2140 2143 1158 0 -1 1077944384 1 13383 0 0 0 0 5 3 20 0 15 0 443914125 11094712320 43755 33554432000 4194304 4196468 140728866425600 140253329341232 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/2143/task/2196/stat : 2196 (java) R 2140 2143 1158 0 -1 4202560 63197 13383 0 0 223690 49 5 3 20 0 15 0 443914119 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253880250464 140253529617307 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2197] ppid=2140 vsize=10846988 memory=1039280 CPUtime=12.04 cores=0,2,4,6
/proc/2143/task/2197/stat : 2197 (java) S 2140 2143 1158 0 -1 1077944384 17650 13383 0 0 1145 51 5 3 20 0 15 0 443914120 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253912656144 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2198] ppid=2140 vsize=10846988 memory=4126316290023845779 CPUtime=11.95 cores=0,2,4,6
/proc/2143/task/2198/stat : 2198 (java) S 2140 2143 1158 0 -1 1077944384 10787 13383 0 0 1135 52 5 3 20 0 15 0 443914120 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253481114000 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2199] ppid=2140 vsize=10846988 memory=1039280 CPUtime=11.96 cores=0,2,4,6
/proc/2143/task/2199/stat : 2199 (java) S 2140 2143 1158 0 -1 1077944384 18651 13383 0 0 1139 49 5 3 20 0 15 0 443914120 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253480061456 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2200] ppid=2140 vsize=10846988 memory=2620 CPUtime=11.99 cores=0,2,4,6
/proc/2143/task/2200/stat : 2200 (java) S 2140 2143 1158 0 -1 1077944384 13358 13383 0 0 1139 52 5 3 20 0 15 0 443914120 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253479008912 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2201] ppid=2140 vsize=10846988 memory=3620 CPUtime=10.11 cores=0,2,4,6
/proc/2143/task/2201/stat : 2201 (java) S 2140 2143 1158 0 -1 1077944384 16461 13383 0 0 951 52 5 3 20 0 15 0 443914121 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253435050480 140253908425346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2202] ppid=2140 vsize=10846988 memory=38144 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2202/stat : 2202 (java) S 2140 2143 1158 0 -1 1077944384 18 13383 0 0 0 0 5 3 20 0 15 0 443914122 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253365003744 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2203] ppid=2140 vsize=10846988 memory=1039280 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2203/stat : 2203 (java) S 2140 2143 1158 0 -1 1077944384 8 13383 0 0 0 0 5 3 20 0 15 0 443914122 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253230786048 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2204] ppid=2140 vsize=10846988 memory=1039280 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2204/stat : 2204 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914125 11107315712 259835 33554432000 4194304 4196468 140728866425600 140252626807504 140253908432795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2205] ppid=2140 vsize=10846988 memory=0 CPUtime=3.83 cores=0,2,4,6
/proc/2143/task/2205/stat : 2205 (java) S 2140 2143 1158 0 -1 1077944384 14360 13383 0 0 372 3 5 3 20 0 15 0 443914125 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253433997296 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2206] ppid=2140 vsize=10846988 memory=7682475212697334586 CPUtime=3.92 cores=0,2,4,6
/proc/2143/task/2206/stat : 2206 (java) S 2140 2143 1158 0 -1 1077944384 9172 13383 0 0 383 1 5 3 20 0 15 0 443914125 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253331445872 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2207] ppid=2140 vsize=10846988 memory=1039280 CPUtime=2.02 cores=0,2,4,6
/proc/2143/task/2207/stat : 2207 (java) S 2140 2143 1158 0 -1 1077944384 10849 13383 0 0 191 3 5 3 20 0 15 0 443914125 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253330393328 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2208] ppid=2140 vsize=10846988 memory=1039280 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2208/stat : 2208 (java) S 2140 2143 1158 0 -1 1077944384 3 13383 0 0 0 0 5 3 20 0 15 0 443914125 11107315712 259835 33554432000 4194304 4196468 140728866425600 140252157045344 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2209] ppid=2140 vsize=10846988 memory=1039280 CPUtime=1.44 cores=0,2,4,6
/proc/2143/task/2209/stat : 2209 (java) S 2140 2143 1158 0 -1 1077944384 914 13383 0 0 70 66 5 3 20 0 15 0 443914125 11107315712 259835 33554432000 4194304 4196468 140728866425600 140253329341232 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
Current children cumulated CPU time: 2306.13 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1039340 KiB
[startup+2322.3 s]
/proc/loadavg: 2.09 1.76 1.55 3/227 2718
/proc/meminfo: memFree=26702280/32770624 swapFree=66988188/67108860
[pid=2143] ppid=2140 vsize=10846988 memory=1035848 CPUtime=2367.14 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2140 2143 1158 0 -1 1077944320 179304 13383 0 0 236372 334 5 3 20 0 15 0 443914110 11107315712 258962 33554432000 4194304 4196468 140728866425600 140728866408144 140253908414199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
/proc/2143/statm: 2711747 258962 3628 1 0 2673805 0
[pid=2143/tid=2196] ppid=2140 vsize=10846988 memory=1035756 CPUtime=2296.78 cores=0,2,4,6
/proc/2143/task/2196/stat : 2196 (java) R 2140 2143 1158 0 -1 4202560 63971 13383 0 0 229621 49 5 3 20 0 15 0 443914119 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253880250272 140253517296207 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2197] ppid=2140 vsize=10846988 memory=1035756 CPUtime=12.39 cores=0,2,4,6
/proc/2143/task/2197/stat : 2197 (java) S 2140 2143 1158 0 -1 1077944384 17718 13383 0 0 1178 53 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253912656144 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2198] ppid=2140 vsize=10846988 memory=1035756 CPUtime=12.31 cores=0,2,4,6
/proc/2143/task/2198/stat : 2198 (java) S 2140 2143 1158 0 -1 1077944384 11175 13383 0 0 1169 54 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253481114000 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2199] ppid=2140 vsize=10846988 memory=1035848 CPUtime=12.3 cores=0,2,4,6
/proc/2143/task/2199/stat : 2199 (java) S 2140 2143 1158 0 -1 1077944384 18685 13383 0 0 1172 50 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253480061456 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2200] ppid=2140 vsize=10846988 memory=1804 CPUtime=12.33 cores=0,2,4,6
/proc/2143/task/2200/stat : 2200 (java) S 2140 2143 1158 0 -1 1077944384 13491 13383 0 0 1171 54 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253479008912 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2201] ppid=2140 vsize=10846988 memory=1035756 CPUtime=10.39 cores=0,2,4,6
/proc/2143/task/2201/stat : 2201 (java) S 2140 2143 1158 0 -1 1077944384 16686 13383 0 0 977 54 5 3 20 0 15 0 443914121 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253435050480 140253908425346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2202] ppid=2140 vsize=10846988 memory=1035756 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2202/stat : 2202 (java) S 2140 2143 1158 0 -1 1077944384 18 13383 0 0 0 0 5 3 20 0 15 0 443914122 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253365003744 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2203] ppid=2140 vsize=10846988 memory=1035756 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2203/stat : 2203 (java) S 2140 2143 1158 0 -1 1077944384 8 13383 0 0 0 0 5 3 20 0 15 0 443914122 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253230786048 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2204] ppid=2140 vsize=10846988 memory=1035756 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2204/stat : 2204 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140252626807504 140253908432795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2205] ppid=2140 vsize=10846988 memory=0 CPUtime=3.84 cores=0,2,4,6
/proc/2143/task/2205/stat : 2205 (java) S 2140 2143 1158 0 -1 1077944384 14362 13383 0 0 373 3 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253433997296 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2206] ppid=2140 vsize=10846988 memory=0 CPUtime=3.92 cores=0,2,4,6
/proc/2143/task/2206/stat : 2206 (java) S 2140 2143 1158 0 -1 1077944384 9174 13383 0 0 383 1 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253331445872 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2207] ppid=2140 vsize=10846988 memory=1035756 CPUtime=2.03 cores=0,2,4,6
/proc/2143/task/2207/stat : 2207 (java) S 2140 2143 1158 0 -1 1077944384 10851 13383 0 0 192 3 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253330393328 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2208] ppid=2140 vsize=10846988 memory=1035756 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2208/stat : 2208 (java) S 2140 2143 1158 0 -1 1077944384 3 13383 0 0 0 0 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140252157045344 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2209] ppid=2140 vsize=10846988 memory=1035756 CPUtime=1.48 cores=0,2,4,6
/proc/2143/task/2209/stat : 2209 (java) S 2140 2143 1158 0 -1 1077944384 950 13383 0 0 72 68 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253329341232 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
Current children cumulated CPU time: 2367.14 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1035848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2354.7 s]
/proc/loadavg: 1.99 1.77 1.57 3/228 2721
/proc/meminfo: memFree=26688868/32770624 swapFree=66988188/67108860
[pid=2143] ppid=2140 vsize=10846988 memory=1035848 CPUtime=2400.04 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2140 2143 1158 0 -1 1077944320 179628 13383 0 0 239658 338 5 3 20 0 15 0 443914110 11107315712 258962 33554432000 4194304 4196468 140728866425600 140728866408144 140253908414199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
/proc/2143/statm: 2711747 258962 3628 1 0 2673805 0
[pid=2143/tid=2196] ppid=2140 vsize=10846988 memory=1035848 CPUtime=2328.81 cores=0,2,4,6
/proc/2143/task/2196/stat : 2196 (java) R 2140 2143 1158 0 -1 4202560 64216 13383 0 0 232823 50 5 3 20 0 15 0 443914119 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253880250464 140253530003789 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2197] ppid=2140 vsize=10846988 memory=1035848 CPUtime=12.57 cores=0,2,4,6
/proc/2143/task/2197/stat : 2197 (java) S 2140 2143 1158 0 -1 1077944384 17730 13383 0 0 1196 53 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253912656144 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2198] ppid=2140 vsize=10846988 memory=1035848 CPUtime=12.48 cores=0,2,4,6
/proc/2143/task/2198/stat : 2198 (java) S 2140 2143 1158 0 -1 1077944384 11183 13383 0 0 1185 55 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253481114000 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2199] ppid=2140 vsize=10846988 memory=1035848 CPUtime=12.48 cores=0,2,4,6
/proc/2143/task/2199/stat : 2199 (java) S 2140 2143 1158 0 -1 1077944384 18696 13383 0 0 1189 51 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253480061456 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2200] ppid=2140 vsize=10846988 memory=1035848 CPUtime=12.51 cores=0,2,4,6
/proc/2143/task/2200/stat : 2200 (java) S 2140 2143 1158 0 -1 1077944384 13511 13383 0 0 1189 54 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253479008912 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2201] ppid=2140 vsize=10846988 memory=1035848 CPUtime=10.54 cores=0,2,4,6
/proc/2143/task/2201/stat : 2201 (java) S 2140 2143 1158 0 -1 1077944384 16705 13383 0 0 991 55 5 3 20 0 15 0 443914121 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253435050480 140253908425346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2202] ppid=2140 vsize=10846988 memory=1035848 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2202/stat : 2202 (java) S 2140 2143 1158 0 -1 1077944384 18 13383 0 0 0 0 5 3 20 0 15 0 443914122 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253365003744 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2203] ppid=2140 vsize=10846988 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2203/stat : 2203 (java) S 2140 2143 1158 0 -1 1077944384 8 13383 0 0 0 0 5 3 20 0 15 0 443914122 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253230786048 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2204] ppid=2140 vsize=10846988 memory=1035848 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2204/stat : 2204 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140252626807504 140253908432795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2205] ppid=2140 vsize=10846988 memory=1540 CPUtime=3.84 cores=0,2,4,6
/proc/2143/task/2205/stat : 2205 (java) S 2140 2143 1158 0 -1 1077944384 14364 13383 0 0 373 3 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253433997296 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2206] ppid=2140 vsize=10846988 memory=1035848 CPUtime=3.92 cores=0,2,4,6
/proc/2143/task/2206/stat : 2206 (java) S 2140 2143 1158 0 -1 1077944384 9176 13383 0 0 383 1 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253331445872 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2207] ppid=2140 vsize=10846988 memory=1035848 CPUtime=2.03 cores=0,2,4,6
/proc/2143/task/2207/stat : 2207 (java) S 2140 2143 1158 0 -1 1077944384 10853 13383 0 0 192 3 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253330393328 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2208] ppid=2140 vsize=10846988 memory=1212 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2208/stat : 2208 (java) S 2140 2143 1158 0 -1 1077944384 3 13383 0 0 0 0 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140252157045344 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2209] ppid=2140 vsize=10846988 memory=1035848 CPUtime=1.51 cores=0,2,4,6
/proc/2143/task/2209/stat : 2209 (java) S 2140 2143 1158 0 -1 1077944384 953 13383 0 0 73 70 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253329341232 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1035848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2354.73 s]
# the end of solver process 2143 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.66 s, system=3.42566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2354.7 s]
/proc/loadavg: 1.99 1.77 1.57 3/228 2721
/proc/meminfo: memFree=26688868/32770624 swapFree=66988188/67108860
[pid=2143] ppid=2140 vsize=10846988 memory=1035848 CPUtime=2400.04 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2140 2143 1158 0 -1 1077944320 179628 13383 0 0 239658 338 5 3 20 0 15 0 443914110 11107315712 258962 33554432000 4194304 4196468 140728866425600 140728866408144 140253908414199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
/proc/2143/statm: 2711747 258962 3628 1 0 2673805 0
[pid=2143/tid=2196] ppid=2140 vsize=10846988 memory=1035848 CPUtime=2328.81 cores=0,2,4,6
/proc/2143/task/2196/stat : 2196 (java) R 2140 2143 1158 0 -1 4202560 64216 13383 0 0 232823 50 5 3 20 0 15 0 443914119 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253880250464 140253530003789 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2197] ppid=2140 vsize=10846988 memory=1035848 CPUtime=12.57 cores=0,2,4,6
/proc/2143/task/2197/stat : 2197 (java) S 2140 2143 1158 0 -1 1077944384 17730 13383 0 0 1196 53 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253912656144 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2198] ppid=2140 vsize=10846988 memory=1035848 CPUtime=12.48 cores=0,2,4,6
/proc/2143/task/2198/stat : 2198 (java) S 2140 2143 1158 0 -1 1077944384 11183 13383 0 0 1185 55 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253481114000 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2199] ppid=2140 vsize=10846988 memory=1035848 CPUtime=12.48 cores=0,2,4,6
/proc/2143/task/2199/stat : 2199 (java) S 2140 2143 1158 0 -1 1077944384 18696 13383 0 0 1189 51 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253480061456 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2200] ppid=2140 vsize=10846988 memory=1035848 CPUtime=12.51 cores=0,2,4,6
/proc/2143/task/2200/stat : 2200 (java) S 2140 2143 1158 0 -1 1077944384 13511 13383 0 0 1189 54 5 3 20 0 15 0 443914120 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253479008912 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2201] ppid=2140 vsize=10846988 memory=1035848 CPUtime=10.54 cores=0,2,4,6
/proc/2143/task/2201/stat : 2201 (java) S 2140 2143 1158 0 -1 1077944384 16705 13383 0 0 991 55 5 3 20 0 15 0 443914121 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253435050480 140253908425346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2202] ppid=2140 vsize=10846988 memory=1035848 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2202/stat : 2202 (java) S 2140 2143 1158 0 -1 1077944384 18 13383 0 0 0 0 5 3 20 0 15 0 443914122 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253365003744 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2203] ppid=2140 vsize=10846988 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2203/stat : 2203 (java) S 2140 2143 1158 0 -1 1077944384 8 13383 0 0 0 0 5 3 20 0 15 0 443914122 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253230786048 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2204] ppid=2140 vsize=10846988 memory=1035848 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2204/stat : 2204 (java) S 2140 2143 1158 0 -1 1077944384 2 13383 0 0 0 0 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140252626807504 140253908432795 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2205] ppid=2140 vsize=10846988 memory=1540 CPUtime=3.84 cores=0,2,4,6
/proc/2143/task/2205/stat : 2205 (java) S 2140 2143 1158 0 -1 1077944384 14364 13383 0 0 373 3 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253433997296 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2206] ppid=2140 vsize=10846988 memory=1035848 CPUtime=3.92 cores=0,2,4,6
/proc/2143/task/2206/stat : 2206 (java) S 2140 2143 1158 0 -1 1077944384 9176 13383 0 0 383 1 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253331445872 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2207] ppid=2140 vsize=10846988 memory=1035848 CPUtime=2.03 cores=0,2,4,6
/proc/2143/task/2207/stat : 2207 (java) S 2140 2143 1158 0 -1 1077944384 10853 13383 0 0 192 3 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253330393328 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2208] ppid=2140 vsize=10846988 memory=1212 CPUtime=0.08 cores=0,2,4,6
/proc/2143/task/2208/stat : 2208 (java) S 2140 2143 1158 0 -1 1077944384 3 13383 0 0 0 0 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140252157045344 140253908424405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
[pid=2143/tid=2209] ppid=2140 vsize=10846988 memory=1035848 CPUtime=1.51 cores=0,2,4,6
/proc/2143/task/2209/stat : 2209 (java) S 2140 2143 1158 0 -1 1077944384 953 13383 0 0 73 70 5 3 20 0 15 0 443914125 11107315712 258962 33554432000 4194304 4196468 140728866425600 140253329341232 140253908425346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 26308608 140728866433775 140728866436293 140728866436293 140728866439119 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1035848 KiB
Child status: 143
Real time (s): 2354.73
CPU time (s): 2400.09
CPU user time (s): 2396.66
CPU system time (s): 3.42566
CPU usage (%): 101.926
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1060444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.66
system time used= 3.42566
maximum resident set size= 1060964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194203
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 273694
involuntary context switches= 6223
# summary of solver processes directly reported to runsolver:
# pid: 2143
# total CPU time (s): 2400.09
# total CPU user time (s): 2396.66
# total CPU system time (s): 3.42566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.507 second user time and 22.1868 second system time
The end