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 (10774 MiB free)
memory of node 1: 16384 MiB (6623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305266-1534145791/watcher-4305266-1534145791 -o /tmp/evaluation-result-4305266-1534145791/solver-4305266-1534145791 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534138334-16507 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=548104149 -superng HOME/instance-4305266-1534145791.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=17919, runsolver pid=17916
[startup+0.100063 s]*
/proc/loadavg: 1.06 1.28 1.41 3/210 17976
/proc/meminfo: memFree=17811728/32770624 swapFree=67108688/67108860
[pid=17919] ppid=17916 vsize=10005480 memory=16432 CPUtime=0.08 cores=0,2,4,6
/proc/17919/stat : 17919 (java) S 17916 17919 15790 0 -1 1077944320 4269 12988 0 0 1 0 5 2 20 0 6 0 232142302 10245611520 4108 33554432000 4194304 4196468 140724310502592 140724310485136 140700277501687 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
/proc/17919/statm: 2501370 4108 1930 1 0 2489808 0
[pid=17919/tid=17972] ppid=17916 vsize=10005480 memory=4279135703946592653 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17972/stat : 17972 (java) R 17916 17919 15790 0 -1 4202560 2079 12988 0 0 0 0 5 2 20 0 6 0 232142311 10245611520 4108 33554432000 4194304 4196468 140724310502592 140700249338448 140700261582174 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17973] ppid=17916 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17973/stat : 17973 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 6 0 232142312 10245611520 4108 33554432000 4194304 4196468 140724310502592 140700281743632 140700277511893 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17974] ppid=17916 vsize=10005480 memory=139961855014528 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17974/stat : 17974 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 6 0 232142312 10245611520 4108 33554432000 4194304 4196468 140724310502592 140700177947024 140700277511893 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17975] ppid=17916 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17975/stat : 17975 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 6 0 232142312 10245611520 4108 33554432000 4194304 4196468 140724310502592 140700176894480 140700277511893 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17976] ppid=17916 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17976/stat : 17976 (java) S 17916 17919 15790 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 6 0 232142312 10245611520 4108 33554432000 4194304 4196468 140724310502592 140699815570064 140700277511893 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16432 KiB
[startup+0.210285 s]*
/proc/loadavg: 1.06 1.28 1.41 4/219 17985
/proc/meminfo: memFree=17780504/32770624 swapFree=67108688/67108860
[pid=17919] ppid=17916 vsize=10982696 memory=43872 CPUtime=0.25 cores=0,2,4,6
/proc/17919/stat : 17919 (java) S 17916 17919 15790 0 -1 1077944320 8334 12988 0 0 16 2 5 2 20 0 15 0 232142302 11246280704 10968 33554432000 4194304 4196468 140724310502592 140724310485136 140700277501687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
/proc/17919/statm: 2745674 10968 2967 1 0 2708109 0
[pid=17919/tid=17972] ppid=17916 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/17919/task/17972/stat : 17972 (java) R 17916 17919 15790 0 -1 4202560 4766 12988 0 0 10 2 5 2 20 0 15 0 232142311 11246280704 10968 33554432000 4194304 4196468 140724310502592 140700249298816 140700257777021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17973] ppid=17916 vsize=10982696 memory=365 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17973/stat : 17973 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246280704 10968 33554432000 4194304 4196468 140724310502592 140700281743632 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17974] ppid=17916 vsize=10982696 memory=3472475984742741664 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17974/stat : 17974 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246280704 10968 33554432000 4194304 4196468 140724310502592 140700177947024 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17975] ppid=17916 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17975/stat : 17975 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246280704 10968 33554432000 4194304 4196468 140724310502592 140700176894480 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17976] ppid=17916 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17976/stat : 17976 (java) S 17916 17919 15790 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246280704 10968 33554432000 4194304 4196468 140724310502592 140699815570064 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17977] ppid=17916 vsize=10982696 memory=139961855014528 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17977/stat : 17977 (java) S 17916 17919 15790 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 15 0 232142313 11246280704 10968 33554432000 4194304 4196468 140724310502592 140699313879536 140700277512834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17978] ppid=17916 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17978/stat : 17978 (java) S 17916 17919 15790 0 -1 1077944384 13 12988 0 0 0 0 5 2 20 0 15 0 232142314 11246280704 10968 33554432000 4194304 4196468 140724310502592 140699102078368 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17979] ppid=17916 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17979/stat : 17979 (java) S 17916 17919 15790 0 -1 1077944384 21 12988 0 0 0 0 5 2 20 0 15 0 232142314 11246280704 10968 33554432000 4194304 4196468 140724310502592 140699034965488 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17980] ppid=17916 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17980/stat : 17980 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11246280704 10968 33554432000 4194304 4196468 140724310502592 140698727570128 140700277520283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17981] ppid=17916 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17919/task/17981/stat : 17981 (java) S 17916 17919 15790 0 -1 1077944384 564 12988 0 0 1 0 5 2 20 0 15 0 232142317 11246280704 10968 33554432000 4194304 4196468 140724310502592 140699312826352 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17982] ppid=17916 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17919/task/17982/stat : 17982 (java) S 17916 17919 15790 0 -1 1077944384 75 12988 0 0 1 0 5 2 20 0 15 0 232142317 11246280704 10968 33554432000 4194304 4196468 140724310502592 140699311773808 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17983] ppid=17916 vsize=10982696 memory=139961855014528 CPUtime=0.1 cores=0,2,4,6
/proc/17919/task/17983/stat : 17983 (java) S 17916 17919 15790 0 -1 1077944384 689 12988 0 0 3 0 5 2 20 0 15 0 232142317 11246280704 10968 33554432000 4194304 4196468 140724310502592 140699310721264 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17984] ppid=17916 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17984/stat : 17984 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11246280704 10968 33554432000 4194304 4196468 140724310502592 140698296773216 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17985] ppid=17916 vsize=10982696 memory=139961855014528 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17985/stat : 17985 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142317 11246280704 10968 33554432000 4194304 4196468 140724310502592 140699309669168 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43872 KiB
[startup+0.310716 s]*
/proc/loadavg: 1.06 1.28 1.41 3/219 17985
/proc/meminfo: memFree=17770580/32770624 swapFree=67108688/67108860
[pid=17919] ppid=17916 vsize=10983192 memory=55204 CPUtime=0.38 cores=0,2,4,6
/proc/17919/stat : 17919 (java) S 17916 17919 15790 0 -1 1077944320 10382 12988 0 0 28 3 5 2 20 0 15 0 232142302 11246788608 13801 33554432000 4194304 4196468 140724310502592 140724310485136 140700277501687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
/proc/17919/statm: 2745798 13801 3099 1 0 2708109 0
[pid=17919/tid=17972] ppid=17916 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/17919/task/17972/stat : 17972 (java) R 17916 17919 15790 0 -1 4202560 6779 12988 0 0 19 2 5 2 20 0 15 0 232142311 11246788608 13801 33554432000 4194304 4196468 140724310502592 140700249313472 140700277515551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17973] ppid=17916 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17973/stat : 17973 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246788608 13801 33554432000 4194304 4196468 140724310502592 140700281743632 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17974] ppid=17916 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17974/stat : 17974 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246788608 13801 33554432000 4194304 4196468 140724310502592 140700177947024 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17975] ppid=17916 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17975/stat : 17975 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246788608 13801 33554432000 4194304 4196468 140724310502592 140700176894480 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17976] ppid=17916 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17976/stat : 17976 (java) S 17916 17919 15790 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246788608 13801 33554432000 4194304 4196468 140724310502592 140699815570064 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17977] ppid=17916 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17977/stat : 17977 (java) S 17916 17919 15790 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 15 0 232142313 11246788608 13801 33554432000 4194304 4196468 140724310502592 140699313879536 140700277512834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17978] ppid=17916 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17978/stat : 17978 (java) S 17916 17919 15790 0 -1 1077944384 13 12988 0 0 0 0 5 2 20 0 15 0 232142314 11246788608 13801 33554432000 4194304 4196468 140724310502592 140699102078368 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17979] ppid=17916 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17979/stat : 17979 (java) S 17916 17919 15790 0 -1 1077944384 21 12988 0 0 0 0 5 2 20 0 15 0 232142314 11246788608 13801 33554432000 4194304 4196468 140724310502592 140699034965488 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17980] ppid=17916 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17980/stat : 17980 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11246788608 13801 33554432000 4194304 4196468 140724310502592 140698727570128 140700277520283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17981] ppid=17916 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17919/task/17981/stat : 17981 (java) S 17916 17919 15790 0 -1 1077944384 564 12988 0 0 1 0 5 2 20 0 15 0 232142317 11246788608 13801 33554432000 4194304 4196468 140724310502592 140699312826352 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17982] ppid=17916 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17919/task/17982/stat : 17982 (java) S 17916 17919 15790 0 -1 1077944384 82 12988 0 0 1 0 5 2 20 0 15 0 232142317 11246788608 13801 33554432000 4194304 4196468 140724310502592 140699311773808 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17983] ppid=17916 vsize=10983192 memory=139961855014528 CPUtime=0.12 cores=0,2,4,6
/proc/17919/task/17983/stat : 17983 (java) S 17916 17919 15790 0 -1 1077944384 717 12988 0 0 5 0 5 2 20 0 15 0 232142317 11246788608 13801 33554432000 4194304 4196468 140724310502592 140699310721264 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17984] ppid=17916 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17984/stat : 17984 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11246788608 13801 33554432000 4194304 4196468 140724310502592 140698296773216 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17985] ppid=17916 vsize=10983192 memory=139961855014528 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17985/stat : 17985 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142317 11246788608 13801 33554432000 4194304 4196468 140724310502592 140699309669168 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55204 KiB
[startup+0.70093 s]
/proc/loadavg: 1.06 1.28 1.41 3/219 17985
/proc/meminfo: memFree=17759292/32770624 swapFree=67108688/67108860
[pid=17919] ppid=17916 vsize=10983192 memory=88268 CPUtime=0.99 cores=0,2,4,6
/proc/17919/stat : 17919 (java) S 17916 17919 15790 0 -1 1077944320 16730 12988 0 0 87 5 5 2 20 0 15 0 232142302 11246788608 22067 33554432000 4194304 4196468 140724310502592 140724310485136 140700277501687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
/proc/17919/statm: 2745798 22067 3237 1 0 2708109 0
[pid=17919/tid=17972] ppid=17916 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/17919/task/17972/stat : 17972 (java) R 17916 17919 15790 0 -1 4202560 12035 12988 0 0 55 3 5 2 20 0 15 0 232142311 11246788608 22067 33554432000 4194304 4196468 140724310502592 140700249307168 140700260688114 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17973] ppid=17916 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17973/stat : 17973 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246788608 22067 33554432000 4194304 4196468 140724310502592 140700281743632 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17974] ppid=17916 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17974/stat : 17974 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246788608 22067 33554432000 4194304 4196468 140724310502592 140700177947024 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17975] ppid=17916 vsize=10983192 memory=139961710031632 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17975/stat : 17975 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246788608 22067 33554432000 4194304 4196468 140724310502592 140700176894480 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17976] ppid=17916 vsize=10983192 memory=139964394242671 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17976/stat : 17976 (java) S 17916 17919 15790 0 -1 1077944384 2 12988 0 0 0 0 5 2 20 0 15 0 232142312 11246788608 22067 33554432000 4194304 4196468 140724310502592 140699815570064 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17977] ppid=17916 vsize=10983192 memory=1832 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17977/stat : 17977 (java) S 17916 17919 15790 0 -1 1077944384 5 12988 0 0 0 0 5 2 20 0 15 0 232142313 11246788608 22067 33554432000 4194304 4196468 140724310502592 140699313879536 140700277512834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17978] ppid=17916 vsize=10983192 memory=7161944214934349376 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17978/stat : 17978 (java) S 17916 17919 15790 0 -1 1077944384 13 12988 0 0 0 0 5 2 20 0 15 0 232142314 11246788608 22067 33554432000 4194304 4196468 140724310502592 140699102078368 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17979] ppid=17916 vsize=10983192 memory=6082220498227391592 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17979/stat : 17979 (java) S 17916 17919 15790 0 -1 1077944384 21 12988 0 0 0 0 5 2 20 0 15 0 232142314 11246788608 22067 33554432000 4194304 4196468 140724310502592 140699034965488 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17980] ppid=17916 vsize=10983192 memory=16348 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17980/stat : 17980 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11246788608 22067 33554432000 4194304 4196468 140724310502592 140698727570128 140700277520283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17981] ppid=17916 vsize=10983192 memory=1176 CPUtime=0.17 cores=0,2,4,6
/proc/17919/task/17981/stat : 17981 (java) S 17916 17919 15790 0 -1 1077944384 1210 12988 0 0 10 0 5 2 20 0 15 0 232142317 11246788608 22067 33554432000 4194304 4196468 140724310502592 140699312826352 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17982] ppid=17916 vsize=10983192 memory=34888 CPUtime=0.14 cores=0,2,4,6
/proc/17919/task/17982/stat : 17982 (java) S 17916 17919 15790 0 -1 1077944384 361 12988 0 0 7 0 5 2 20 0 15 0 232142317 11246788608 22067 33554432000 4194304 4196468 140724310502592 140699311773808 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17983] ppid=17916 vsize=10983192 memory=4048 CPUtime=0.2 cores=0,2,4,6
/proc/17919/task/17983/stat : 17983 (java) S 17916 17919 15790 0 -1 1077944384 881 12988 0 0 13 0 5 2 20 0 15 0 232142317 11246788608 22067 33554432000 4194304 4196468 140724310502592 140699310721264 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17984] ppid=17916 vsize=10983192 memory=508 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17984/stat : 17984 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11246788608 22067 33554432000 4194304 4196468 140724310502592 140698296773216 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17985] ppid=17916 vsize=10983192 memory=1728 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17985/stat : 17985 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142317 11246788608 22067 33554432000 4194304 4196468 140724310502592 140699309669168 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88268 KiB
[startup+1.50071 s]
/proc/loadavg: 1.06 1.28 1.41 3/219 17985
/proc/meminfo: memFree=17665504/32770624 swapFree=67108688/67108860
[pid=17919] ppid=17916 vsize=10998092 memory=193616 CPUtime=2.49 cores=0,2,4,6
/proc/17919/stat : 17919 (java) S 17916 17919 15790 0 -1 1077944320 24184 12988 0 0 233 9 5 2 20 0 15 0 232142302 11262046208 48404 33554432000 4194304 4196468 140724310502592 140724310485136 140700277501687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
/proc/17919/statm: 2749523 48404 3476 1 0 2711181 0
[pid=17919/tid=17972] ppid=17916 vsize=10998092 memory=64368 CPUtime=1.42 cores=0,2,4,6
/proc/17919/task/17972/stat : 17972 (java) R 17916 17919 15790 0 -1 4202560 17160 12988 0 0 129 6 5 2 20 0 15 0 232142311 11262046208 48404 33554432000 4194304 4196468 140724310502592 140700249318848 140700260688114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17973] ppid=17916 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17919/task/17973/stat : 17973 (java) S 17916 17919 15790 0 -1 1077944384 31 12988 0 0 1 0 5 2 20 0 15 0 232142312 11262046208 48404 33554432000 4194304 4196468 140724310502592 140700281743632 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17974] ppid=17916 vsize=10998092 memory=279923420094624 CPUtime=0.08 cores=0,2,4,6
/proc/17919/task/17974/stat : 17974 (java) S 17916 17919 15790 0 -1 1077944384 19 12988 0 0 1 0 5 2 20 0 15 0 232142312 11262046208 48404 33554432000 4194304 4196468 140724310502592 140700177947024 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17975] ppid=17916 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17919/task/17975/stat : 17975 (java) S 17916 17919 15790 0 -1 1077944384 169 12988 0 0 1 0 5 2 20 0 15 0 232142312 11262046208 48404 33554432000 4194304 4196468 140724310502592 140700176894480 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17976] ppid=17916 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17919/task/17976/stat : 17976 (java) S 17916 17919 15790 0 -1 1077944384 70 12988 0 0 1 0 5 2 20 0 15 0 232142312 11262046208 48404 33554432000 4194304 4196468 140724310502592 140699815570064 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17977] ppid=17916 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17919/task/17977/stat : 17977 (java) S 17916 17919 15790 0 -1 1077944384 499 12988 0 0 1 0 5 2 20 0 15 0 232142313 11262046208 48404 33554432000 4194304 4196468 140724310502592 140699313879536 140700277512834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17978] ppid=17916 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17978/stat : 17978 (java) S 17916 17919 15790 0 -1 1077944384 13 12988 0 0 0 0 5 2 20 0 15 0 232142314 11262046208 48404 33554432000 4194304 4196468 140724310502592 140699102078432 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17979] ppid=17916 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17979/stat : 17979 (java) S 17916 17919 15790 0 -1 1077944384 43 12988 0 0 0 0 5 2 20 0 15 0 232142314 11262046208 48404 33554432000 4194304 4196468 140724310502592 140699034965504 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17980] ppid=17916 vsize=10998092 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17980/stat : 17980 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11262046208 48404 33554432000 4194304 4196468 140724310502592 140698727570128 140700277520283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17981] ppid=17916 vsize=10998092 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/17919/task/17981/stat : 17981 (java) S 17916 17919 15790 0 -1 1077944384 1716 12988 0 0 32 0 5 2 20 0 15 0 232142317 11262046208 48404 33554432000 4194304 4196468 140724310502592 140699312826352 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17982] ppid=17916 vsize=10998092 memory=10 CPUtime=0.31 cores=0,2,4,6
/proc/17919/task/17982/stat : 17982 (java) S 17916 17919 15790 0 -1 1077944384 631 12988 0 0 24 0 5 2 20 0 15 0 232142317 11262046208 48404 33554432000 4194304 4196468 140724310502592 140699311773808 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17983] ppid=17916 vsize=10998092 memory=6791534058613427641 CPUtime=0.45 cores=0,2,4,6
/proc/17919/task/17983/stat : 17983 (java) S 17916 17919 15790 0 -1 1077944384 1634 12988 0 0 38 0 5 2 20 0 15 0 232142317 11262046208 48404 33554432000 4194304 4196468 140724310502592 140699310721264 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17984] ppid=17916 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17984/stat : 17984 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11262046208 48404 33554432000 4194304 4196468 140724310502592 140698296773216 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17985] ppid=17916 vsize=10998092 memory=279923420339072 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17985/stat : 17985 (java) S 17916 17919 15790 0 -1 1077944384 1 12988 0 0 0 0 5 2 20 0 15 0 232142317 11262046208 48404 33554432000 4194304 4196468 140724310502592 140699309669168 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/17919/task/17972/stat : 17972 (java) R 17916 17919 15790 0 -1 4202560 113803 12988 0 0 236953 57 5 2 20 0 15 0 232142311 11345952768 264141 33554432000 4194304 4196468 140724310502592 140700249335520 140699866468681 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17973] ppid=17916 vsize=11080032 memory=1057588 CPUtime=8.43 cores=0,2,4,6
/proc/17919/task/17973/stat : 17973 (java) S 17916 17919 15790 0 -1 1077944384 24115 12988 0 0 805 31 5 2 20 0 15 0 232142312 11345952768 264141 33554432000 4194304 4196468 140724310502592 140700281743632 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17974] ppid=17916 vsize=11080032 memory=1062720 CPUtime=8.41 cores=0,2,4,6
/proc/17919/task/17974/stat : 17974 (java) S 17916 17919 15790 0 -1 1077944384 20401 12988 0 0 802 32 5 2 20 0 15 0 232142312 11345952768 264141 33554432000 4194304 4196468 140724310502592 140700177947024 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17975] ppid=17916 vsize=11080032 memory=1058616 CPUtime=8.39 cores=0,2,4,6
/proc/17919/task/17975/stat : 17975 (java) S 17916 17919 15790 0 -1 1077944384 15685 12988 0 0 803 29 5 2 20 0 15 0 232142312 11345952768 264141 33554432000 4194304 4196468 140724310502592 140700176894480 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17976] ppid=17916 vsize=11080032 memory=1056564 CPUtime=8.39 cores=0,2,4,6
/proc/17919/task/17976/stat : 17976 (java) S 17916 17919 15790 0 -1 1077944384 12014 12988 0 0 800 32 5 2 20 0 15 0 232142312 11345952768 264141 33554432000 4194304 4196468 140724310502592 140699815570064 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17977] ppid=17916 vsize=11080032 memory=1056564 CPUtime=2.42 cores=0,2,4,6
/proc/17919/task/17977/stat : 17977 (java) S 17916 17919 15790 0 -1 1077944384 25492 12988 0 0 214 21 5 2 20 0 15 0 232142313 11345952768 264141 33554432000 4194304 4196468 140724310502592 140699313879536 140700277512834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17978] ppid=17916 vsize=11080032 memory=1066312 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17978/stat : 17978 (java) S 17916 17919 15790 0 -1 1077944384 22 12988 0 0 0 0 5 2 20 0 15 0 232142314 11345952768 264141 33554432000 4194304 4196468 140724310502592 140699102078432 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17979] ppid=17916 vsize=11080032 memory=1070928 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17979/stat : 17979 (java) S 17916 17919 15790 0 -1 1077944384 70 12988 0 0 0 0 5 2 20 0 15 0 232142314 11345952768 264141 33554432000 4194304 4196468 140724310502592 140699034965504 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17980] ppid=17916 vsize=11080032 memory=1057588 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17980/stat : 17980 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11345952768 264141 33554432000 4194304 4196468 140724310502592 140698727570128 140700277520283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17981] ppid=17916 vsize=11080032 memory=34920 CPUtime=6.51 cores=0,2,4,6
/proc/17919/task/17981/stat : 17981 (java) S 17916 17919 15790 0 -1 1077944384 36480 12988 0 0 640 4 5 2 20 0 15 0 232142317 11345952768 264141 33554432000 4194304 4196468 140724310502592 140699312826352 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17982] ppid=17916 vsize=11080032 memory=4048 CPUtime=6.72 cores=0,2,4,6
/proc/17919/task/17982/stat : 17982 (java) S 17916 17919 15790 0 -1 1077944384 42512 12988 0 0 659 6 5 2 20 0 15 0 232142317 11345952768 264141 33554432000 4194304 4196468 140724310502592 140699311773808 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17983] ppid=17916 vsize=11080032 memory=928 CPUtime=2.68 cores=0,2,4,6
/proc/17919/task/17983/stat : 17983 (java) S 17916 17919 15790 0 -1 1077944384 35558 12988 0 0 256 5 5 2 20 0 15 0 232142317 11345952768 264141 33554432000 4194304 4196468 140724310502592 140699310721264 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17984] ppid=17916 vsize=11080032 memory=1564 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17984/stat : 17984 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11345952768 264141 33554432000 4194304 4196468 140724310502592 140698296773216 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17985] ppid=17916 vsize=11080032 memory=1057588 CPUtime=1.47 cores=0,2,4,6
/proc/17919/task/17985/stat : 17985 (java) S 17916 17919 15790 0 -1 1077944384 1805 12988 0 0 73 67 5 2 20 0 15 0 232142317 11345952768 264141 33554432000 4194304 4196468 140724310502592 140699309669168 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
Current children cumulated CPU time: 2423.08 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1056564 KiB
[startup+2442.3 s]
/proc/loadavg: 1.66 1.55 1.50 3/218 18090
/proc/meminfo: memFree=16388772/32770624 swapFree=67108688/67108860
[pid=17919] ppid=17916 vsize=11080032 memory=1050916 CPUtime=2483.45 cores=0,2,4,6
/proc/17919/stat : 17919 (java) S 17916 17919 15790 0 -1 1077944320 331268 12988 0 0 248075 263 5 2 20 0 15 0 232142302 11345952768 262729 33554432000 4194304 4196468 140724310502592 140724310485136 140700277501687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
/proc/17919/statm: 2770008 262729 3534 1 0 2731661 0
[pid=17919/tid=17972] ppid=17916 vsize=11080032 memory=1050916 CPUtime=2429.98 cores=0,2,4,6
/proc/17919/task/17972/stat : 17972 (java) R 17916 17919 15790 0 -1 4202560 114402 12988 0 0 242933 58 5 2 20 0 15 0 232142311 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700249335008 140699847169179 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17973] ppid=17916 vsize=11080032 memory=1050916 CPUtime=8.54 cores=0,2,4,6
/proc/17919/task/17973/stat : 17973 (java) S 17916 17919 15790 0 -1 1077944384 24196 12988 0 0 816 31 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700281743632 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17974] ppid=17916 vsize=11080032 memory=1048868 CPUtime=8.53 cores=0,2,4,6
/proc/17919/task/17974/stat : 17974 (java) S 17916 17919 15790 0 -1 1077944384 20461 12988 0 0 814 32 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700177947024 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17975] ppid=17916 vsize=11080032 memory=1048868 CPUtime=8.51 cores=0,2,4,6
/proc/17919/task/17975/stat : 17975 (java) S 17916 17919 15790 0 -1 1077944384 15709 12988 0 0 815 29 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700176894480 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17976] ppid=17916 vsize=11080032 memory=1048868 CPUtime=8.51 cores=0,2,4,6
/proc/17919/task/17976/stat : 17976 (java) S 17916 17919 15790 0 -1 1077944384 12339 12988 0 0 812 32 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699815570064 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17977] ppid=17916 vsize=11080032 memory=1049380 CPUtime=2.48 cores=0,2,4,6
/proc/17919/task/17977/stat : 17977 (java) S 17916 17919 15790 0 -1 1077944384 25512 12988 0 0 219 22 5 2 20 0 15 0 232142313 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699313879536 140700277512834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17978] ppid=17916 vsize=11080032 memory=1048868 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17978/stat : 17978 (java) S 17916 17919 15790 0 -1 1077944384 22 12988 0 0 0 0 5 2 20 0 15 0 232142314 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699102078432 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17979] ppid=17916 vsize=11080032 memory=1050916 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17979/stat : 17979 (java) S 17916 17919 15790 0 -1 1077944384 70 12988 0 0 0 0 5 2 20 0 15 0 232142314 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699034965504 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17980] ppid=17916 vsize=11080032 memory=1054000 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17980/stat : 17980 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140698727570128 140700277520283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17981] ppid=17916 vsize=11080032 memory=0 CPUtime=6.51 cores=0,2,4,6
/proc/17919/task/17981/stat : 17981 (java) S 17916 17919 15790 0 -1 1077944384 36480 12988 0 0 640 4 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699312826352 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17982] ppid=17916 vsize=11080032 memory=1048868 CPUtime=6.72 cores=0,2,4,6
/proc/17919/task/17982/stat : 17982 (java) S 17916 17919 15790 0 -1 1077944384 42512 12988 0 0 659 6 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699311773808 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17983] ppid=17916 vsize=11080032 memory=4100 CPUtime=2.68 cores=0,2,4,6
/proc/17919/task/17983/stat : 17983 (java) S 17916 17919 15790 0 -1 1077944384 35558 12988 0 0 256 5 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699310721264 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17984] ppid=17916 vsize=11080032 memory=1050916 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17984/stat : 17984 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140698296773216 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17985] ppid=17916 vsize=11080032 memory=1050916 CPUtime=1.5 cores=0,2,4,6
/proc/17919/task/17985/stat : 17985 (java) S 17916 17919 15790 0 -1 1077944384 1809 12988 0 0 75 68 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699309669168 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
Current children cumulated CPU time: 2483.45 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1050916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2478.7 s]
/proc/loadavg: 1.73 1.58 1.51 4/218 18219
/proc/meminfo: memFree=16981904/32770624 swapFree=67108688/67108860
[pid=17919] ppid=17916 vsize=11080032 memory=1050916 CPUtime=2520.07 cores=0,2,4,6
/proc/17919/stat : 17919 (java) S 17916 17919 15790 0 -1 1077944320 332418 12988 0 0 251735 265 5 2 20 0 15 0 232142302 11345952768 262729 33554432000 4194304 4196468 140724310502592 140724310485136 140700277501687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
/proc/17919/statm: 2770008 262729 3534 1 0 2731661 0
[pid=17919/tid=17972] ppid=17916 vsize=11080032 memory=1050916 CPUtime=2466.25 cores=0,2,4,6
/proc/17919/task/17972/stat : 17972 (java) R 17916 17919 15790 0 -1 4202560 114875 12988 0 0 246560 58 5 2 20 0 15 0 232142311 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700249335008 140699866808381 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17973] ppid=17916 vsize=11080032 memory=1050916 CPUtime=8.62 cores=0,2,4,6
/proc/17919/task/17973/stat : 17973 (java) S 17916 17919 15790 0 -1 1077944384 24219 12988 0 0 824 31 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700281743632 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17974] ppid=17916 vsize=11080032 memory=1728 CPUtime=8.61 cores=0,2,4,6
/proc/17919/task/17974/stat : 17974 (java) S 17916 17919 15790 0 -1 1077944384 20667 12988 0 0 822 32 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700177947024 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17975] ppid=17916 vsize=11080032 memory=1050916 CPUtime=8.59 cores=0,2,4,6
/proc/17919/task/17975/stat : 17975 (java) S 17916 17919 15790 0 -1 1077944384 15873 12988 0 0 822 30 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700176894480 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17976] ppid=17916 vsize=11080032 memory=1050916 CPUtime=8.58 cores=0,2,4,6
/proc/17919/task/17976/stat : 17976 (java) S 17916 17919 15790 0 -1 1077944384 12407 12988 0 0 819 32 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699815570064 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17977] ppid=17916 vsize=11080032 memory=7518308036848542037 CPUtime=2.5 cores=0,2,4,6
/proc/17919/task/17977/stat : 17977 (java) S 17916 17919 15790 0 -1 1077944384 25704 12988 0 0 221 22 5 2 20 0 15 0 232142313 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699313879536 140700277512834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17978] ppid=17916 vsize=11080032 memory=1050916 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17978/stat : 17978 (java) S 17916 17919 15790 0 -1 1077944384 22 12988 0 0 0 0 5 2 20 0 15 0 232142314 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699102078432 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17979] ppid=17916 vsize=11080032 memory=1050916 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17979/stat : 17979 (java) S 17916 17919 15790 0 -1 1077944384 70 12988 0 0 0 0 5 2 20 0 15 0 232142314 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699034965504 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17980] ppid=17916 vsize=11080032 memory=1050916 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17980/stat : 17980 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140698727570128 140700277520283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17981] ppid=17916 vsize=11080032 memory=1050916 CPUtime=6.51 cores=0,2,4,6
/proc/17919/task/17981/stat : 17981 (java) S 17916 17919 15790 0 -1 1077944384 36482 12988 0 0 640 4 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699312826352 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17982] ppid=17916 vsize=11080032 memory=1050916 CPUtime=6.72 cores=0,2,4,6
/proc/17919/task/17982/stat : 17982 (java) S 17916 17919 15790 0 -1 1077944384 42514 12988 0 0 659 6 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699311773808 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17983] ppid=17916 vsize=11080032 memory=3824 CPUtime=2.68 cores=0,2,4,6
/proc/17919/task/17983/stat : 17983 (java) S 17916 17919 15790 0 -1 1077944384 35560 12988 0 0 256 5 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699310721264 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17984] ppid=17916 vsize=11080032 memory=3824 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17984/stat : 17984 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140698296773216 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17985] ppid=17916 vsize=11080032 memory=63204 CPUtime=1.52 cores=0,2,4,6
/proc/17919/task/17985/stat : 17985 (java) S 17916 17919 15790 0 -1 1077944384 1827 12988 0 0 76 69 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699309669168 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1050916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2478.73 s]
# the end of solver process 17919 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.43 s, system=2.68651 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2478.7 s]
/proc/loadavg: 1.73 1.58 1.51 4/218 18219
/proc/meminfo: memFree=16981904/32770624 swapFree=67108688/67108860
[pid=17919] ppid=17916 vsize=11080032 memory=1050916 CPUtime=2520.07 cores=0,2,4,6
/proc/17919/stat : 17919 (java) S 17916 17919 15790 0 -1 1077944320 332418 12988 0 0 251735 265 5 2 20 0 15 0 232142302 11345952768 262729 33554432000 4194304 4196468 140724310502592 140724310485136 140700277501687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
/proc/17919/statm: 2770008 262729 3534 1 0 2731661 0
[pid=17919/tid=17972] ppid=17916 vsize=11080032 memory=1050916 CPUtime=2466.25 cores=0,2,4,6
/proc/17919/task/17972/stat : 17972 (java) R 17916 17919 15790 0 -1 4202560 114875 12988 0 0 246560 58 5 2 20 0 15 0 232142311 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700249335008 140699866808381 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17973] ppid=17916 vsize=11080032 memory=1050916 CPUtime=8.62 cores=0,2,4,6
/proc/17919/task/17973/stat : 17973 (java) S 17916 17919 15790 0 -1 1077944384 24219 12988 0 0 824 31 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700281743632 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17974] ppid=17916 vsize=11080032 memory=1728 CPUtime=8.61 cores=0,2,4,6
/proc/17919/task/17974/stat : 17974 (java) S 17916 17919 15790 0 -1 1077944384 20667 12988 0 0 822 32 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700177947024 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17975] ppid=17916 vsize=11080032 memory=1050916 CPUtime=8.59 cores=0,2,4,6
/proc/17919/task/17975/stat : 17975 (java) S 17916 17919 15790 0 -1 1077944384 15873 12988 0 0 822 30 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140700176894480 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17976] ppid=17916 vsize=11080032 memory=1050916 CPUtime=8.58 cores=0,2,4,6
/proc/17919/task/17976/stat : 17976 (java) S 17916 17919 15790 0 -1 1077944384 12407 12988 0 0 819 32 5 2 20 0 15 0 232142312 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699815570064 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17977] ppid=17916 vsize=11080032 memory=7518308036848542037 CPUtime=2.5 cores=0,2,4,6
/proc/17919/task/17977/stat : 17977 (java) S 17916 17919 15790 0 -1 1077944384 25704 12988 0 0 221 22 5 2 20 0 15 0 232142313 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699313879536 140700277512834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17978] ppid=17916 vsize=11080032 memory=1050916 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17978/stat : 17978 (java) S 17916 17919 15790 0 -1 1077944384 22 12988 0 0 0 0 5 2 20 0 15 0 232142314 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699102078432 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17979] ppid=17916 vsize=11080032 memory=1050916 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17979/stat : 17979 (java) S 17916 17919 15790 0 -1 1077944384 70 12988 0 0 0 0 5 2 20 0 15 0 232142314 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699034965504 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17980] ppid=17916 vsize=11080032 memory=1050916 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17980/stat : 17980 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140698727570128 140700277520283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17981] ppid=17916 vsize=11080032 memory=1050916 CPUtime=6.51 cores=0,2,4,6
/proc/17919/task/17981/stat : 17981 (java) S 17916 17919 15790 0 -1 1077944384 36482 12988 0 0 640 4 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699312826352 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17982] ppid=17916 vsize=11080032 memory=1050916 CPUtime=6.72 cores=0,2,4,6
/proc/17919/task/17982/stat : 17982 (java) S 17916 17919 15790 0 -1 1077944384 42514 12988 0 0 659 6 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699311773808 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17983] ppid=17916 vsize=11080032 memory=3824 CPUtime=2.68 cores=0,2,4,6
/proc/17919/task/17983/stat : 17983 (java) S 17916 17919 15790 0 -1 1077944384 35560 12988 0 0 256 5 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699310721264 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17984] ppid=17916 vsize=11080032 memory=3824 CPUtime=0.07 cores=0,2,4,6
/proc/17919/task/17984/stat : 17984 (java) S 17916 17919 15790 0 -1 1077944384 3 12988 0 0 0 0 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140698296773216 140700277511893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
[pid=17919/tid=17985] ppid=17916 vsize=11080032 memory=63204 CPUtime=1.52 cores=0,2,4,6
/proc/17919/task/17985/stat : 17985 (java) S 17916 17919 15790 0 -1 1077944384 1827 12988 0 0 76 69 5 2 20 0 15 0 232142317 11345952768 262729 33554432000 4194304 4196468 140724310502592 140699309669168 140700277512834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140724310510180 140724310512988 140724310512988 140724310515663 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1050916 KiB
Child status: 143
Real time (s): 2478.73
CPU time (s): 2520.12
CPU user time (s): 2517.43
CPU system time (s): 2.68651
CPU usage (%): 101.67
Max. virtual memory (cumulated for all children) (KiB): 11082740
Max. memory (cumulated for all children) (KiB): 3014620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.43
system time used= 2.68651
maximum resident set size= 3014620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106995
involuntary context switches= 5401
# summary of solver processes directly reported to runsolver:
# pid: 17919
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.43
# total CPU system time (s): 2.68651
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8052 second user time and 25.5961 second system time
The end