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 (10822 MiB free)
memory of node 1: 16384 MiB (4858 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304646-1534123031/watcher-4304646-1534123031 -o /tmp/evaluation-result-4304646-1534123031/solver-4304646-1534123031 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534096675-9345 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1051337120 -superng HOME/instance-4304646-1534123031.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=14252, runsolver pid=14249
[startup+0.102427 s]*
/proc/loadavg: 1.55 1.51 1.50 2/212 14309
/proc/meminfo: memFree=16050240/32770624 swapFree=67108688/67108860
[pid=14252] ppid=14249 vsize=10005480 memory=16808 CPUtime=0.09 cores=0,2,4,6
/proc/14252/stat : 14252 (java) S 14249 14252 9314 0 -1 1077944320 4374 13319 0 0 1 0 5 3 20 0 6 0 229866270 10245611520 4202 33554432000 4194304 4196468 140732766881056 140732766863600 140051925384951 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
/proc/14252/statm: 2501370 4202 1934 1 0 2489808 0
[pid=14252/tid=14305] ppid=14249 vsize=10005480 memory=4279135704047060365 CPUtime=0.09 cores=0,2,4,6
/proc/14252/task/14305/stat : 14305 (java) R 14249 14252 9314 0 -1 4202560 2221 13319 0 0 1 0 5 3 20 0 6 0 229866279 10245611520 4268 33554432000 4194304 4196468 140732766881056 140051897221712 140051909465438 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14306] ppid=14249 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14306/stat : 14306 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 6 0 229866280 10245611520 4268 33554432000 4194304 4196468 140732766881056 140051929627280 140051925395157 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14307] ppid=14249 vsize=10005480 memory=139843605579392 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14307/stat : 14307 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 6 0 229866280 10245611520 4268 33554432000 4194304 4196468 140732766881056 140051784346128 140051925395157 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14308] ppid=14249 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14308/stat : 14308 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 6 0 229866280 10245611520 4268 33554432000 4194304 4196468 140732766881056 140051783293328 140051925395157 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14309] ppid=14249 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14309/stat : 14309 (java) S 14249 14252 9314 0 -1 1077944384 2 13319 0 0 0 0 5 3 20 0 6 0 229866280 10245611520 4268 33554432000 4194304 4196468 140732766881056 140051782240528 140051925395157 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16808 KiB
[startup+0.210143 s]*
/proc/loadavg: 1.55 1.51 1.50 3/221 14318
/proc/meminfo: memFree=16029296/32770624 swapFree=67108688/67108860
[pid=14252] ppid=14249 vsize=10982744 memory=42396 CPUtime=0.26 cores=0,2,4,6
/proc/14252/stat : 14252 (java) S 14249 14252 9314 0 -1 1077944320 7282 13319 0 0 16 2 5 3 20 0 15 0 229866270 11246329856 10599 33554432000 4194304 4196468 140732766881056 140732766863600 140051925384951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
/proc/14252/statm: 2745686 10599 2960 1 0 2708109 0
[pid=14252/tid=14305] ppid=14249 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/14252/task/14305/stat : 14305 (java) R 14249 14252 9314 0 -1 4202560 3883 13319 0 0 10 1 5 3 20 0 15 0 229866279 11246329856 10599 33554432000 4194304 4196468 140732766881056 140051897163216 140051905660711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14306] ppid=14249 vsize=10982744 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14306/stat : 14306 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246329856 10599 33554432000 4194304 4196468 140732766881056 140051929627280 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14307] ppid=14249 vsize=10982744 memory=139843605593823 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14307/stat : 14307 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246329856 10599 33554432000 4194304 4196468 140732766881056 140051784346128 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14308] ppid=14249 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14308/stat : 14308 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246329856 10599 33554432000 4194304 4196468 140732766881056 140051783293328 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14309] ppid=14249 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14309/stat : 14309 (java) S 14249 14252 9314 0 -1 1077944384 2 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246329856 10599 33554432000 4194304 4196468 140732766881056 140051782240528 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14310] ppid=14249 vsize=10982744 memory=139843605579392 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14310/stat : 14310 (java) S 14249 14252 9314 0 -1 1077944384 2 13319 0 0 0 0 5 3 20 0 15 0 229866282 11246329856 10665 33554432000 4194304 4196468 140732766881056 140051351264112 140051925396098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14311] ppid=14249 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14311/stat : 14311 (java) S 14249 14252 9314 0 -1 1077944384 13 13319 0 0 0 0 5 3 20 0 15 0 229866282 11246329856 10665 33554432000 4194304 4196468 140732766881056 140050763343392 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14312] ppid=14249 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14312/stat : 14312 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866282 11246329856 10665 33554432000 4194304 4196468 140732766881056 140050562016624 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14313] ppid=14249 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14313/stat : 14313 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11246329856 10665 33554432000 4194304 4196468 140732766881056 140050254616912 140051925403547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14314] ppid=14249 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14252/task/14314/stat : 14314 (java) S 14249 14252 9314 0 -1 1077944384 559 13319 0 0 1 0 5 3 20 0 15 0 229866285 11246329856 10665 33554432000 4194304 4196468 140732766881056 140051350210928 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14315] ppid=14249 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14315/stat : 14315 (java) S 14249 14252 9314 0 -1 1077944384 56 13319 0 0 0 0 5 3 20 0 15 0 229866285 11246329856 10665 33554432000 4194304 4196468 140732766881056 140051349158128 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14316] ppid=14249 vsize=10982744 memory=139843605579392 CPUtime=0.11 cores=0,2,4,6
/proc/14252/task/14316/stat : 14316 (java) S 14249 14252 9314 0 -1 1077944384 607 13319 0 0 3 0 5 3 20 0 15 0 229866285 11246329856 10665 33554432000 4194304 4196468 140732766881056 140051348105328 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14317] ppid=14249 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14317/stat : 14317 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11246329856 10665 33554432000 4194304 4196468 140732766881056 140049823820000 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14318] ppid=14249 vsize=10982744 memory=139843605579392 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14318/stat : 14318 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866286 11246329856 10665 33554432000 4194304 4196468 140732766881056 140051347053744 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42396 KiB
[startup+0.310535 s]*
/proc/loadavg: 1.55 1.51 1.50 3/221 14318
/proc/meminfo: memFree=16016644/32770624 swapFree=67108688/67108860
[pid=14252] ppid=14249 vsize=10983192 memory=55840 CPUtime=0.39 cores=0,2,4,6
/proc/14252/stat : 14252 (java) S 14249 14252 9314 0 -1 1077944320 10507 13319 0 0 28 3 5 3 20 0 15 0 229866270 11246788608 13960 33554432000 4194304 4196468 140732766881056 140732766863600 140051925384951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
/proc/14252/statm: 2745798 13960 3079 1 0 2708109 0
[pid=14252/tid=14305] ppid=14249 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/14252/task/14305/stat : 14305 (java) R 14249 14252 9314 0 -1 4202560 7147 13319 0 0 19 2 5 3 20 0 15 0 229866279 11246788608 14026 33554432000 4194304 4196468 140732766881056 140051897196960 140051909465438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14306] ppid=14249 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14306/stat : 14306 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246788608 14026 33554432000 4194304 4196468 140732766881056 140051929627280 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14307] ppid=14249 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14307/stat : 14307 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246788608 14026 33554432000 4194304 4196468 140732766881056 140051784346128 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14308] ppid=14249 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14308/stat : 14308 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246788608 14026 33554432000 4194304 4196468 140732766881056 140051783293328 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14309] ppid=14249 vsize=10983192 memory=2240 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14309/stat : 14309 (java) S 14249 14252 9314 0 -1 1077944384 2 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246788608 14026 33554432000 4194304 4196468 140732766881056 140051782240528 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14310] ppid=14249 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14310/stat : 14310 (java) S 14249 14252 9314 0 -1 1077944384 2 13319 0 0 0 0 5 3 20 0 15 0 229866282 11246788608 14026 33554432000 4194304 4196468 140732766881056 140051351264112 140051925396098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14311] ppid=14249 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14311/stat : 14311 (java) S 14249 14252 9314 0 -1 1077944384 13 13319 0 0 0 0 5 3 20 0 15 0 229866282 11246788608 14026 33554432000 4194304 4196468 140732766881056 140050763343392 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14312] ppid=14249 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14312/stat : 14312 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866282 11246788608 14026 33554432000 4194304 4196468 140732766881056 140050562016624 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14313] ppid=14249 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14313/stat : 14313 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11246788608 14026 33554432000 4194304 4196468 140732766881056 140050254616912 140051925403547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14314] ppid=14249 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14252/task/14314/stat : 14314 (java) S 14249 14252 9314 0 -1 1077944384 561 13319 0 0 1 0 5 3 20 0 15 0 229866285 11246788608 14026 33554432000 4194304 4196468 140732766881056 140051350210928 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14315] ppid=14249 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/14252/task/14315/stat : 14315 (java) S 14249 14252 9314 0 -1 1077944384 59 13319 0 0 1 0 5 3 20 0 15 0 229866285 11246788608 14026 33554432000 4194304 4196468 140732766881056 140051349158128 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14316] ppid=14249 vsize=10983192 memory=139843605579392 CPUtime=0.13 cores=0,2,4,6
/proc/14252/task/14316/stat : 14316 (java) S 14249 14252 9314 0 -1 1077944384 613 13319 0 0 5 0 5 3 20 0 15 0 229866285 11246788608 14026 33554432000 4194304 4196468 140732766881056 140051348105328 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14317] ppid=14249 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14317/stat : 14317 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11246788608 14026 33554432000 4194304 4196468 140732766881056 140049823820000 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14318] ppid=14249 vsize=10983192 memory=139843605579392 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14318/stat : 14318 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866286 11246788608 14026 33554432000 4194304 4196468 140732766881056 140051347053744 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55840 KiB
[startup+0.700711 s]
/proc/loadavg: 1.55 1.51 1.50 3/221 14318
/proc/meminfo: memFree=16005900/32770624 swapFree=67108688/67108860
[pid=14252] ppid=14249 vsize=10983192 memory=88604 CPUtime=0.99 cores=0,2,4,6
/proc/14252/stat : 14252 (java) S 14249 14252 9314 0 -1 1077944320 16755 13319 0 0 87 4 5 3 20 0 15 0 229866270 11246788608 22151 33554432000 4194304 4196468 140732766881056 140732766863600 140051925384951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
/proc/14252/statm: 2745798 22151 3247 1 0 2708109 0
[pid=14252/tid=14305] ppid=14249 vsize=10983192 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/14252/task/14305/stat : 14305 (java) R 14249 14252 9314 0 -1 4202560 12250 13319 0 0 56 3 5 3 20 0 15 0 229866279 11246788608 22151 33554432000 4194304 4196468 140732766881056 140051897205240 140051906948507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14306] ppid=14249 vsize=10983192 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14306/stat : 14306 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246788608 22151 33554432000 4194304 4196468 140732766881056 140051929627280 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14307] ppid=14249 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14307/stat : 14307 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246788608 22151 33554432000 4194304 4196468 140732766881056 140051784346128 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14308] ppid=14249 vsize=10983192 memory=139844135158356 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14308/stat : 14308 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246788608 22151 33554432000 4194304 4196468 140732766881056 140051783293328 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14309] ppid=14249 vsize=10983192 memory=139844135158358 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14309/stat : 14309 (java) S 14249 14252 9314 0 -1 1077944384 2 13319 0 0 0 0 5 3 20 0 15 0 229866280 11246788608 22151 33554432000 4194304 4196468 140732766881056 140051782240528 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14310] ppid=14249 vsize=10983192 memory=139844135158372 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14310/stat : 14310 (java) S 14249 14252 9314 0 -1 1077944384 5 13319 0 0 0 0 5 3 20 0 15 0 229866282 11246788608 22151 33554432000 4194304 4196468 140732766881056 140051351264112 140051925396098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14311] ppid=14249 vsize=10983192 memory=139844135158382 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14311/stat : 14311 (java) S 14249 14252 9314 0 -1 1077944384 13 13319 0 0 0 0 5 3 20 0 15 0 229866282 11246788608 22151 33554432000 4194304 4196468 140732766881056 140050763343392 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14312] ppid=14249 vsize=10983192 memory=139844135158383 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14312/stat : 14312 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866282 11246788608 22151 33554432000 4194304 4196468 140732766881056 140050562016624 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14313] ppid=14249 vsize=10983192 memory=139844135158385 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14313/stat : 14313 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11246788608 22151 33554432000 4194304 4196468 140732766881056 140050254616912 140051925403547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14314] ppid=14249 vsize=10983192 memory=139844135158393 CPUtime=0.17 cores=0,2,4,6
/proc/14252/task/14314/stat : 14314 (java) S 14249 14252 9314 0 -1 1077944384 1199 13319 0 0 9 0 5 3 20 0 15 0 229866285 11246788608 22151 33554432000 4194304 4196468 140732766881056 140051350210928 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14315] ppid=14249 vsize=10983192 memory=142558554489493 CPUtime=0.15 cores=0,2,4,6
/proc/14252/task/14315/stat : 14315 (java) S 14249 14252 9314 0 -1 1077944384 409 13319 0 0 7 0 5 3 20 0 15 0 229866285 11246788608 22151 33554432000 4194304 4196468 140732766881056 140051349158128 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14316] ppid=14249 vsize=10983192 memory=16348 CPUtime=0.21 cores=0,2,4,6
/proc/14252/task/14316/stat : 14316 (java) S 14249 14252 9314 0 -1 1077944384 674 13319 0 0 13 0 5 3 20 0 15 0 229866285 11246788608 22151 33554432000 4194304 4196468 140732766881056 140051348105328 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14317] ppid=14249 vsize=10983192 memory=1176 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14317/stat : 14317 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11246788608 22151 33554432000 4194304 4196468 140732766881056 140049823820000 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14318] ppid=14249 vsize=10983192 memory=34528 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14318/stat : 14318 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866286 11246788608 22151 33554432000 4194304 4196468 140732766881056 140051347053744 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88604 KiB
[startup+1.5007 s]
/proc/loadavg: 1.55 1.51 1.50 3/221 14318
/proc/meminfo: memFree=15961972/32770624 swapFree=67108688/67108860
[pid=14252] ppid=14249 vsize=10998092 memory=181224 CPUtime=2.39 cores=0,2,4,6
/proc/14252/stat : 14252 (java) S 14249 14252 9314 0 -1 1077944320 23875 13319 0 0 222 9 5 3 20 0 15 0 229866270 11262046208 45306 33554432000 4194304 4196468 140732766881056 140732766863600 140051925384951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
/proc/14252/statm: 2749523 45306 3468 1 0 2711181 0
[pid=14252/tid=14305] ppid=14249 vsize=10998092 memory=112416 CPUtime=1.43 cores=0,2,4,6
/proc/14252/task/14305/stat : 14305 (java) R 14249 14252 9314 0 -1 4202560 17457 13319 0 0 131 4 5 3 20 0 15 0 229866279 11262046208 45306 33554432000 4194304 4196468 140732766881056 140051897208944 140051823616329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14306] ppid=14249 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14306/stat : 14306 (java) S 14249 14252 9314 0 -1 1077944384 162 13319 0 0 0 0 5 3 20 0 15 0 229866280 11262046208 45306 33554432000 4194304 4196468 140732766881056 140051929627280 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14307] ppid=14249 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14252/task/14307/stat : 14307 (java) S 14249 14252 9314 0 -1 1077944384 54 13319 0 0 1 0 5 3 20 0 15 0 229866280 11262046208 45306 33554432000 4194304 4196468 140732766881056 140051784346128 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14308] ppid=14249 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14252/task/14308/stat : 14308 (java) S 14249 14252 9314 0 -1 1077944384 22 13319 0 0 1 0 5 3 20 0 15 0 229866280 11262046208 45306 33554432000 4194304 4196468 140732766881056 140051783293328 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14309] ppid=14249 vsize=10998092 memory=139843464254736 CPUtime=0.09 cores=0,2,4,6
/proc/14252/task/14309/stat : 14309 (java) S 14249 14252 9314 0 -1 1077944384 37 13319 0 0 1 0 5 3 20 0 15 0 229866280 11262046208 45306 33554432000 4194304 4196468 140732766881056 140051782240528 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14310] ppid=14249 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14252/task/14310/stat : 14310 (java) S 14249 14252 9314 0 -1 1077944384 53 13319 0 0 1 0 5 3 20 0 15 0 229866282 11262046208 45306 33554432000 4194304 4196468 140732766881056 140051351264112 140051925396098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14311] ppid=14249 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14311/stat : 14311 (java) S 14249 14252 9314 0 -1 1077944384 13 13319 0 0 0 0 5 3 20 0 15 0 229866282 11262046208 45306 33554432000 4194304 4196468 140732766881056 140050763343456 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14312] ppid=14249 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14312/stat : 14312 (java) S 14249 14252 9314 0 -1 1077944384 2 13319 0 0 0 0 5 3 20 0 15 0 229866282 11262046208 45306 33554432000 4194304 4196468 140732766881056 140050562016624 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14313] ppid=14249 vsize=10998092 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14313/stat : 14313 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11262046208 45306 33554432000 4194304 4196468 140732766881056 140050254616912 140051925403547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14314] ppid=14249 vsize=10998092 memory=279686928551616 CPUtime=0.3 cores=0,2,4,6
/proc/14252/task/14314/stat : 14314 (java) S 14249 14252 9314 0 -1 1077944384 1430 13319 0 0 22 0 5 3 20 0 15 0 229866285 11262046208 45306 33554432000 4194304 4196468 140732766881056 140051350210928 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14315] ppid=14249 vsize=10998092 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/14252/task/14315/stat : 14315 (java) S 14249 14252 9314 0 -1 1077944384 1028 13319 0 0 23 0 5 3 20 0 15 0 229866285 11262046208 45306 33554432000 4194304 4196468 140732766881056 140051349158128 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14316] ppid=14249 vsize=10998092 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/14252/task/14316/stat : 14316 (java) R 14249 14252 9314 0 -1 1077944384 1418 13319 0 0 37 0 5 3 20 0 15 0 229866285 11262046208 45306 33554432000 4194304 4196468 140732766881056 140051348105328 140051925396098 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14317] ppid=14249 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14317/stat : 14317 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11262046208 45306 33554432000 4194304 4196468 140732766881056 140049823820000 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14318] ppid=14249 vsize=10998092 memory=-7452431979323206951 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14318/stat : 14318 (java) S 14249 14252 9314 0 -1 1077944384 1 13319 0 0 0 0 5 3 20 0 15 0 229866286 11262046208 45306 33554432000 4194304 4196468 140732766881056 140051347053744 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/14252/task/14305/stat : 14305 (java) R 14249 14252 9314 0 -1 4202560 128422 13319 0 0 235684 53 5 3 20 0 15 0 229866279 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051897220384 140051471806784 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14306] ppid=14249 vsize=11080032 memory=1596576 CPUtime=13.49 cores=0,2,4,6
/proc/14252/task/14306/stat : 14306 (java) S 14249 14252 9314 0 -1 1077944384 35807 13319 0 0 1285 56 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051929627280 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14307] ppid=14249 vsize=11080032 memory=279686929192080 CPUtime=13.46 cores=0,2,4,6
/proc/14252/task/14307/stat : 14307 (java) S 14249 14252 9314 0 -1 1077944384 27340 13319 0 0 1286 52 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051784346128 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14308] ppid=14249 vsize=11080032 memory=1596576 CPUtime=13.48 cores=0,2,4,6
/proc/14252/task/14308/stat : 14308 (java) S 14249 14252 9314 0 -1 1077944384 21813 13319 0 0 1289 51 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051783293328 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14309] ppid=14249 vsize=11080032 memory=1596576 CPUtime=13.48 cores=0,2,4,6
/proc/14252/task/14309/stat : 14309 (java) S 14249 14252 9314 0 -1 1077944384 25927 13319 0 0 1291 49 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051782240528 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14310] ppid=14249 vsize=11080032 memory=490 CPUtime=9 cores=0,2,4,6
/proc/14252/task/14310/stat : 14310 (java) S 14249 14252 9314 0 -1 1077944384 27165 13319 0 0 842 50 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051351264112 140051925396098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14311] ppid=14249 vsize=11080032 memory=568 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14311/stat : 14311 (java) S 14249 14252 9314 0 -1 1077944384 24 13319 0 0 0 0 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050763343520 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14312] ppid=14249 vsize=11080032 memory=1596576 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14312/stat : 14312 (java) S 14249 14252 9314 0 -1 1077944384 19 13319 0 0 0 0 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050562016640 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14313] ppid=14249 vsize=11080032 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14313/stat : 14313 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050254616912 140051925403547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14314] ppid=14249 vsize=11080032 memory=1176 CPUtime=4.98 cores=0,2,4,6
/proc/14252/task/14314/stat : 14314 (java) S 14249 14252 9314 0 -1 1077944384 31537 13319 0 0 485 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051350210928 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14315] ppid=14249 vsize=11080032 memory=34568 CPUtime=5.76 cores=0,2,4,6
/proc/14252/task/14315/stat : 14315 (java) S 14249 14252 9314 0 -1 1077944384 50592 13319 0 0 563 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051349158128 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14316] ppid=14249 vsize=11080032 memory=1596576 CPUtime=2.58 cores=0,2,4,6
/proc/14252/task/14316/stat : 14316 (java) S 14249 14252 9314 0 -1 1077944384 43604 13319 0 0 245 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051348105328 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14317] ppid=14249 vsize=11080032 memory=1388 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14317/stat : 14317 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140049823820000 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14318] ppid=14249 vsize=11080032 memory=9664 CPUtime=1.45 cores=0,2,4,6
/proc/14252/task/14318/stat : 14318 (java) S 14249 14252 9314 0 -1 1077944384 1581 13319 0 0 64 73 5 3 20 0 15 0 229866286 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051347053744 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
Current children cumulated CPU time: 2434.51 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1596576 KiB
[startup+2442.3 s]
/proc/loadavg: 1.21 1.34 1.39 3/218 14564
/proc/meminfo: memFree=16168964/32770624 swapFree=67108688/67108860
[pid=14252] ppid=14249 vsize=11080032 memory=1596576 CPUtime=2495.63 cores=0,2,4,6
/proc/14252/stat : 14252 (java) S 14249 14252 9314 0 -1 1077944320 397784 13319 0 0 249196 359 5 3 20 0 15 0 229866270 11345952768 399144 33554432000 4194304 4196468 140732766881056 140732766863600 140051925384951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
/proc/14252/statm: 2770008 399144 3522 1 0 2731661 0
[pid=14252/tid=14305] ppid=14249 vsize=11080032 memory=6791534058613427641 CPUtime=2416.73 cores=0,2,4,6
/proc/14252/task/14305/stat : 14305 (java) R 14249 14252 9314 0 -1 4202560 129183 13319 0 0 241612 53 5 3 20 0 15 0 229866279 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051897220768 140051464275857 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14306] ppid=14249 vsize=11080032 memory=1596576 CPUtime=13.88 cores=0,2,4,6
/proc/14252/task/14306/stat : 14306 (java) S 14249 14252 9314 0 -1 1077944384 36117 13319 0 0 1323 57 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051929627280 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14307] ppid=14249 vsize=11080032 memory=1596576 CPUtime=13.85 cores=0,2,4,6
/proc/14252/task/14307/stat : 14307 (java) S 14249 14252 9314 0 -1 1077944384 27381 13319 0 0 1324 53 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051784346128 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14308] ppid=14249 vsize=11080032 memory=1596576 CPUtime=13.86 cores=0,2,4,6
/proc/14252/task/14308/stat : 14308 (java) S 14249 14252 9314 0 -1 1077944384 22228 13319 0 0 1326 52 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051783293328 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14309] ppid=14249 vsize=11080032 memory=8 CPUtime=13.88 cores=0,2,4,6
/proc/14252/task/14309/stat : 14309 (java) S 14249 14252 9314 0 -1 1077944384 25996 13319 0 0 1330 50 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051782240528 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14310] ppid=14249 vsize=11080032 memory=1596576 CPUtime=9.23 cores=0,2,4,6
/proc/14252/task/14310/stat : 14310 (java) S 14249 14252 9314 0 -1 1077944384 27293 13319 0 0 864 51 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051351264112 140051925396098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14311] ppid=14249 vsize=11080032 memory=1596576 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14311/stat : 14311 (java) S 14249 14252 9314 0 -1 1077944384 24 13319 0 0 0 0 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050763343520 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14312] ppid=14249 vsize=11080032 memory=1224 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14312/stat : 14312 (java) S 14249 14252 9314 0 -1 1077944384 19 13319 0 0 0 0 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050562016640 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14313] ppid=14249 vsize=11080032 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14313/stat : 14313 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050254616912 140051925403547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14314] ppid=14249 vsize=11080032 memory=1596576 CPUtime=4.98 cores=0,2,4,6
/proc/14252/task/14314/stat : 14314 (java) S 14249 14252 9314 0 -1 1077944384 31541 13319 0 0 485 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051350210928 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14315] ppid=14249 vsize=11080032 memory=1596576 CPUtime=5.76 cores=0,2,4,6
/proc/14252/task/14315/stat : 14315 (java) S 14249 14252 9314 0 -1 1077944384 50596 13319 0 0 563 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051349158128 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14316] ppid=14249 vsize=11080032 memory=1596576 CPUtime=2.58 cores=0,2,4,6
/proc/14252/task/14316/stat : 14316 (java) S 14249 14252 9314 0 -1 1077944384 43608 13319 0 0 245 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051348105328 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14317] ppid=14249 vsize=11080032 memory=1596576 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14317/stat : 14317 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140049823820000 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14318] ppid=14249 vsize=11080032 memory=2600 CPUtime=1.48 cores=0,2,4,6
/proc/14252/task/14318/stat : 14318 (java) S 14249 14252 9314 0 -1 1077944384 1600 13319 0 0 65 75 5 3 20 0 15 0 229866286 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051347053744 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
Current children cumulated CPU time: 2495.63 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1596576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.3 s]
/proc/loadavg: 1.28 1.35 1.39 3/218 14566
/proc/meminfo: memFree=16168324/32770624 swapFree=67108688/67108860
[pid=14252] ppid=14249 vsize=11080032 memory=1596576 CPUtime=2520.07 cores=0,2,4,6
/proc/14252/stat : 14252 (java) S 14249 14252 9314 0 -1 1077944320 398231 13319 0 0 251638 361 5 3 20 0 15 0 229866270 11345952768 399144 33554432000 4194304 4196468 140732766881056 140732766863600 140051925384951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
/proc/14252/statm: 2770008 399144 3522 1 0 2731661 0
[pid=14252/tid=14305] ppid=14249 vsize=11080032 memory=1596576 CPUtime=2440.46 cores=0,2,4,6
/proc/14252/task/14305/stat : 14305 (java) R 14249 14252 9314 0 -1 4202560 129460 13319 0 0 243984 54 5 3 20 0 15 0 229866279 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051897220384 140051452331279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14306] ppid=14249 vsize=11080032 memory=1596576 CPUtime=14.03 cores=0,2,4,6
/proc/14252/task/14306/stat : 14306 (java) S 14249 14252 9314 0 -1 1077944384 36143 13319 0 0 1338 57 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051929627280 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14307] ppid=14249 vsize=11080032 memory=1596576 CPUtime=14 cores=0,2,4,6
/proc/14252/task/14307/stat : 14307 (java) S 14249 14252 9314 0 -1 1077944384 27386 13319 0 0 1339 53 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051784346128 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14308] ppid=14249 vsize=11080032 memory=1832 CPUtime=14.01 cores=0,2,4,6
/proc/14252/task/14308/stat : 14308 (java) S 14249 14252 9314 0 -1 1077944384 22259 13319 0 0 1341 52 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051783293328 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14309] ppid=14249 vsize=11080032 memory=1596576 CPUtime=14.03 cores=0,2,4,6
/proc/14252/task/14309/stat : 14309 (java) S 14249 14252 9314 0 -1 1077944384 26000 13319 0 0 1345 50 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051782240528 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14310] ppid=14249 vsize=11080032 memory=1596576 CPUtime=9.32 cores=0,2,4,6
/proc/14252/task/14310/stat : 14310 (java) S 14249 14252 9314 0 -1 1077944384 27383 13319 0 0 872 52 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051351264112 140051925396098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14311] ppid=14249 vsize=11080032 memory=1596576 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14311/stat : 14311 (java) S 14249 14252 9314 0 -1 1077944384 24 13319 0 0 0 0 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050763343520 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14312] ppid=14249 vsize=11080032 memory=4337 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14312/stat : 14312 (java) S 14249 14252 9314 0 -1 1077944384 19 13319 0 0 0 0 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050562016640 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14313] ppid=14249 vsize=11080032 memory=1596576 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14313/stat : 14313 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050254616912 140051925403547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14314] ppid=14249 vsize=11080032 memory=3824 CPUtime=4.98 cores=0,2,4,6
/proc/14252/task/14314/stat : 14314 (java) S 14249 14252 9314 0 -1 1077944384 31541 13319 0 0 485 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051350210928 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14315] ppid=14249 vsize=11080032 memory=1596576 CPUtime=5.76 cores=0,2,4,6
/proc/14252/task/14315/stat : 14315 (java) S 14249 14252 9314 0 -1 1077944384 50596 13319 0 0 563 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051349158128 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14316] ppid=14249 vsize=11080032 memory=1596576 CPUtime=2.58 cores=0,2,4,6
/proc/14252/task/14316/stat : 14316 (java) S 14249 14252 9314 0 -1 1077944384 43608 13319 0 0 245 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051348105328 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14317] ppid=14249 vsize=11080032 memory=1596576 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14317/stat : 14317 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140049823820000 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14318] ppid=14249 vsize=11080032 memory=1388 CPUtime=1.49 cores=0,2,4,6
/proc/14252/task/14318/stat : 14318 (java) S 14249 14252 9314 0 -1 1077944384 1614 13319 0 0 66 75 5 3 20 0 15 0 229866286 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051347053744 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1596576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.33 s]
# the end of solver process 14252 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.45 s, system=3.66138 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.3 s]
/proc/loadavg: 1.28 1.35 1.39 3/218 14566
/proc/meminfo: memFree=16168324/32770624 swapFree=67108688/67108860
[pid=14252] ppid=14249 vsize=11080032 memory=1596576 CPUtime=2520.07 cores=0,2,4,6
/proc/14252/stat : 14252 (java) S 14249 14252 9314 0 -1 1077944320 398231 13319 0 0 251638 361 5 3 20 0 15 0 229866270 11345952768 399144 33554432000 4194304 4196468 140732766881056 140732766863600 140051925384951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
/proc/14252/statm: 2770008 399144 3522 1 0 2731661 0
[pid=14252/tid=14305] ppid=14249 vsize=11080032 memory=1596576 CPUtime=2440.46 cores=0,2,4,6
/proc/14252/task/14305/stat : 14305 (java) R 14249 14252 9314 0 -1 4202560 129460 13319 0 0 243984 54 5 3 20 0 15 0 229866279 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051897220384 140051452331279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14306] ppid=14249 vsize=11080032 memory=1596576 CPUtime=14.03 cores=0,2,4,6
/proc/14252/task/14306/stat : 14306 (java) S 14249 14252 9314 0 -1 1077944384 36143 13319 0 0 1338 57 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051929627280 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14307] ppid=14249 vsize=11080032 memory=1596576 CPUtime=14 cores=0,2,4,6
/proc/14252/task/14307/stat : 14307 (java) S 14249 14252 9314 0 -1 1077944384 27386 13319 0 0 1339 53 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051784346128 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14308] ppid=14249 vsize=11080032 memory=1832 CPUtime=14.01 cores=0,2,4,6
/proc/14252/task/14308/stat : 14308 (java) S 14249 14252 9314 0 -1 1077944384 22259 13319 0 0 1341 52 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051783293328 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14309] ppid=14249 vsize=11080032 memory=1596576 CPUtime=14.03 cores=0,2,4,6
/proc/14252/task/14309/stat : 14309 (java) S 14249 14252 9314 0 -1 1077944384 26000 13319 0 0 1345 50 5 3 20 0 15 0 229866280 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051782240528 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14310] ppid=14249 vsize=11080032 memory=1596576 CPUtime=9.32 cores=0,2,4,6
/proc/14252/task/14310/stat : 14310 (java) S 14249 14252 9314 0 -1 1077944384 27383 13319 0 0 872 52 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051351264112 140051925396098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14311] ppid=14249 vsize=11080032 memory=1596576 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14311/stat : 14311 (java) S 14249 14252 9314 0 -1 1077944384 24 13319 0 0 0 0 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050763343520 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14312] ppid=14249 vsize=11080032 memory=4337 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14312/stat : 14312 (java) S 14249 14252 9314 0 -1 1077944384 19 13319 0 0 0 0 5 3 20 0 15 0 229866282 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050562016640 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14313] ppid=14249 vsize=11080032 memory=1596576 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14313/stat : 14313 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140050254616912 140051925403547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14314] ppid=14249 vsize=11080032 memory=3824 CPUtime=4.98 cores=0,2,4,6
/proc/14252/task/14314/stat : 14314 (java) S 14249 14252 9314 0 -1 1077944384 31541 13319 0 0 485 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051350210928 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14315] ppid=14249 vsize=11080032 memory=1596576 CPUtime=5.76 cores=0,2,4,6
/proc/14252/task/14315/stat : 14315 (java) S 14249 14252 9314 0 -1 1077944384 50596 13319 0 0 563 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051349158128 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14316] ppid=14249 vsize=11080032 memory=1596576 CPUtime=2.58 cores=0,2,4,6
/proc/14252/task/14316/stat : 14316 (java) S 14249 14252 9314 0 -1 1077944384 43608 13319 0 0 245 5 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051348105328 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14317] ppid=14249 vsize=11080032 memory=1596576 CPUtime=0.08 cores=0,2,4,6
/proc/14252/task/14317/stat : 14317 (java) S 14249 14252 9314 0 -1 1077944384 3 13319 0 0 0 0 5 3 20 0 15 0 229866285 11345952768 399144 33554432000 4194304 4196468 140732766881056 140049823820000 140051925395157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
[pid=14252/tid=14318] ppid=14249 vsize=11080032 memory=1388 CPUtime=1.49 cores=0,2,4,6
/proc/14252/task/14318/stat : 14318 (java) S 14249 14252 9314 0 -1 1077944384 1614 13319 0 0 66 75 5 3 20 0 15 0 229866286 11345952768 399144 33554432000 4194304 4196468 140732766881056 140051347053744 140051925396098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30298112 140732766882403 140732766885212 140732766885212 140732766887887 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1596576 KiB
Child status: 143
Real time (s): 2466.33
CPU time (s): 2520.11
CPU user time (s): 2516.45
CPU system time (s): 3.66138
CPU usage (%): 102.181
Max. virtual memory (cumulated for all children) (KiB): 11082904
Max. memory (cumulated for all children) (KiB): 1881016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.45
system time used= 3.66138
maximum resident set size= 1882996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253204
involuntary context switches= 8468
# summary of solver processes directly reported to runsolver:
# pid: 14252
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.45
# total CPU system time (s): 3.66138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5139 second user time and 22.6409 second system time
The end