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 (6780 MiB free)
memory of node 1: 16384 MiB (9495 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305273-1534148669/watcher-4305273-1534148669 -o /tmp/evaluation-result-4305273-1534148669/solver-4305273-1534148669 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534138766-20508 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=775615083 HOME/instance-4305273-1534148669.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22548, runsolver pid=22545
Current StackSize limit: 8192 KiB
[startup+0.109236 s]*
/proc/loadavg: 2.01 1.74 1.58 5/207 22605
/proc/meminfo: memFree=16656320/32770624 swapFree=67108196/67108860
[pid=22548] ppid=22545 vsize=10453864 memory=22676 CPUtime=0.1 cores=1,3,5,7
/proc/22548/stat : 22548 (java) S 22545 22548 19646 0 -1 1077944320 4794 12855 0 0 2 1 4 3 20 0 9 0 232430085 10704756736 5669 33554432000 4194304 4196468 140722060890832 140722060873376 140447196913399 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
/proc/22548/statm: 2613466 5669 2101 1 0 2576007 0
[pid=22548/tid=22601] ppid=22545 vsize=10453864 memory=5855084838433490077 CPUtime=0.08 cores=1,3,5,7
/proc/22548/task/22601/stat : 22601 (java) R 22545 22548 19646 0 -1 4202560 2602 12855 0 0 1 0 4 3 20 0 9 0 232430094 10704756736 5669 33554432000 4194304 4196468 140722060890832 140447168749424 140447180993886 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22602] ppid=22545 vsize=10453864 memory=5793855265369553337 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22602/stat : 22602 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 9 0 232430095 10704756736 5669 33554432000 4194304 4196468 140722060890832 140447201155728 140447196923605 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22603] ppid=22545 vsize=10453864 memory=140014359660160 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22603/stat : 22603 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 9 0 232430095 10704756736 5669 33554432000 4194304 4196468 140722060890832 140447055874576 140447196923605 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22604] ppid=22545 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22604/stat : 22604 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 9 0 232430095 10704756736 5669 33554432000 4194304 4196468 140722060890832 140447054821776 140447196923605 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22605] ppid=22545 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22605/stat : 22605 (java) S 22545 22548 19646 0 -1 1077944384 2 12855 0 0 0 0 4 3 20 0 9 0 232430095 10704756736 5669 33554432000 4194304 4196468 140722060890832 140447053768976 140447196923605 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22606] ppid=22545 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22606/stat : 22606 (java) S 22545 22548 19646 0 -1 1077944384 2 12855 0 0 0 0 4 3 20 0 9 0 232430096 10704756736 5669 33554432000 4194304 4196468 140722060890832 140446622743408 140447196924546 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22607] ppid=22545 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22607/stat : 22607 (java) S 22545 22548 19646 0 -1 1077944384 13 12855 0 0 0 0 4 3 20 0 9 0 232430097 10704756736 5669 33554432000 4194304 4196468 140722060890832 140445981074976 140447196923605 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22608] ppid=22545 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22608/stat : 22608 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 9 0 232430097 10704756736 5669 33554432000 4194304 4196468 140722060890832 140445833225648 140447196923605 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 22676 KiB
[startup+0.210275 s]*
/proc/loadavg: 2.01 1.74 1.58 3/216 22614
/proc/meminfo: memFree=16635240/32770624 swapFree=67108196/67108860
[pid=22548] ppid=22545 vsize=10982744 memory=42636 CPUtime=0.25 cores=1,3,5,7
/proc/22548/stat : 22548 (java) S 22545 22548 19646 0 -1 1077944320 7377 12855 0 0 16 2 4 3 20 0 15 0 232430085 11246329856 10659 33554432000 4194304 4196468 140722060890832 140722060873376 140447196913399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
/proc/22548/statm: 2745686 10659 2952 1 0 2708109 0
[pid=22548/tid=22601] ppid=22545 vsize=10982744 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/22548/task/22601/stat : 22601 (java) R 22545 22548 19646 0 -1 4202560 4087 12855 0 0 10 1 4 3 20 0 15 0 232430094 11246329856 10791 33554432000 4194304 4196468 140722060890832 140447168730512 140447177189120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22602] ppid=22545 vsize=10982744 memory=4211973740564450698 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22602/stat : 22602 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246329856 10791 33554432000 4194304 4196468 140722060890832 140447201155728 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22603] ppid=22545 vsize=10982744 memory=140014359660160 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22603/stat : 22603 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246329856 10857 33554432000 4194304 4196468 140722060890832 140447055874576 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22604] ppid=22545 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22604/stat : 22604 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246329856 10857 33554432000 4194304 4196468 140722060890832 140447054821776 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22605] ppid=22545 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22605/stat : 22605 (java) S 22545 22548 19646 0 -1 1077944384 2 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246329856 10857 33554432000 4194304 4196468 140722060890832 140447053768976 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22606] ppid=22545 vsize=10982744 memory=140014359660160 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22606/stat : 22606 (java) S 22545 22548 19646 0 -1 1077944384 2 12855 0 0 0 0 4 3 20 0 15 0 232430096 11246329856 10857 33554432000 4194304 4196468 140722060890832 140446622743408 140447196924546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22607] ppid=22545 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22607/stat : 22607 (java) S 22545 22548 19646 0 -1 1077944384 13 12855 0 0 0 0 4 3 20 0 15 0 232430097 11246329856 10857 33554432000 4194304 4196468 140722060890832 140445981074976 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22608] ppid=22545 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22608/stat : 22608 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430097 11246329856 10857 33554432000 4194304 4196468 140722060890832 140445833225584 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22609] ppid=22545 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22609/stat : 22609 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430099 11246329856 10857 33554432000 4194304 4196468 140722060890832 140445525825872 140447196931995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22610] ppid=22545 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22610/stat : 22610 (java) S 22545 22548 19646 0 -1 1077944384 427 12855 0 0 0 0 4 3 20 0 15 0 232430099 11246329856 10857 33554432000 4194304 4196468 140722060890832 140446621690224 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22611] ppid=22545 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22548/task/22611/stat : 22611 (java) S 22545 22548 19646 0 -1 1077944384 189 12855 0 0 1 0 4 3 20 0 15 0 232430099 11246329856 10857 33554432000 4194304 4196468 140722060890832 140446620637424 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22612] ppid=22545 vsize=10982744 memory=140014359660160 CPUtime=0.1 cores=1,3,5,7
/proc/22548/task/22612/stat : 22612 (java) S 22545 22548 19646 0 -1 1077944384 607 12855 0 0 3 0 4 3 20 0 15 0 232430099 11246329856 10857 33554432000 4194304 4196468 140722060890832 140446619584624 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22613] ppid=22545 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22613/stat : 22613 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430100 11246329856 10857 33554432000 4194304 4196468 140722060890832 140445095028960 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22614] ppid=22545 vsize=10982744 memory=140014359660160 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22614/stat : 22614 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430100 11246329856 10857 33554432000 4194304 4196468 140722060890832 140446618533040 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42636 KiB
[startup+0.310223 s]*
/proc/loadavg: 2.01 1.74 1.58 3/216 22614
/proc/meminfo: memFree=16624076/32770624 swapFree=67108196/67108860
[pid=22548] ppid=22545 vsize=10983192 memory=55952 CPUtime=0.37 cores=1,3,5,7
/proc/22548/stat : 22548 (java) S 22545 22548 19646 0 -1 1077944320 10538 12855 0 0 28 2 4 3 20 0 15 0 232430085 11246788608 13988 33554432000 4194304 4196468 140722060890832 140722060873376 140447196913399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
/proc/22548/statm: 2745798 13988 3071 1 0 2708109 0
[pid=22548/tid=22601] ppid=22545 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/22548/task/22601/stat : 22601 (java) R 22545 22548 19646 0 -1 4202560 7090 12855 0 0 19 1 4 3 20 0 15 0 232430094 11246788608 13988 33554432000 4194304 4196468 140722060890832 140447168725408 140447180993886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22602] ppid=22545 vsize=10983192 memory=-7003737579269690708 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22602/stat : 22602 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246788608 13988 33554432000 4194304 4196468 140722060890832 140447201155728 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22603] ppid=22545 vsize=10983192 memory=140014359670753 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22603/stat : 22603 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246788608 13988 33554432000 4194304 4196468 140722060890832 140447055874576 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22604] ppid=22545 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22604/stat : 22604 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246788608 13988 33554432000 4194304 4196468 140722060890832 140447054821776 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22605] ppid=22545 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22605/stat : 22605 (java) S 22545 22548 19646 0 -1 1077944384 2 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246788608 13988 33554432000 4194304 4196468 140722060890832 140447053768976 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22606] ppid=22545 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22606/stat : 22606 (java) S 22545 22548 19646 0 -1 1077944384 2 12855 0 0 0 0 4 3 20 0 15 0 232430096 11246788608 13988 33554432000 4194304 4196468 140722060890832 140446622743408 140447196924546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22607] ppid=22545 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22607/stat : 22607 (java) S 22545 22548 19646 0 -1 1077944384 13 12855 0 0 0 0 4 3 20 0 15 0 232430097 11246788608 13988 33554432000 4194304 4196468 140722060890832 140445981074976 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22608] ppid=22545 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22608/stat : 22608 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430097 11246788608 13988 33554432000 4194304 4196468 140722060890832 140445833225584 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22609] ppid=22545 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22609/stat : 22609 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430099 11246788608 13988 33554432000 4194304 4196468 140722060890832 140445525825872 140447196931995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22610] ppid=22545 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22548/task/22610/stat : 22610 (java) S 22545 22548 19646 0 -1 1077944384 429 12855 0 0 1 0 4 3 20 0 15 0 232430099 11246788608 13988 33554432000 4194304 4196468 140722060890832 140446621690224 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22611] ppid=22545 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22548/task/22611/stat : 22611 (java) S 22545 22548 19646 0 -1 1077944384 189 12855 0 0 1 0 4 3 20 0 15 0 232430099 11246788608 13988 33554432000 4194304 4196468 140722060890832 140446620637424 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22612] ppid=22545 vsize=10983192 memory=140014359660160 CPUtime=0.11 cores=1,3,5,7
/proc/22548/task/22612/stat : 22612 (java) S 22545 22548 19646 0 -1 1077944384 617 12855 0 0 4 0 4 3 20 0 15 0 232430099 11246788608 13988 33554432000 4194304 4196468 140722060890832 140446619584624 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22613] ppid=22545 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22613/stat : 22613 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430100 11246788608 13988 33554432000 4194304 4196468 140722060890832 140445095028960 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22614] ppid=22545 vsize=10983192 memory=140014359660160 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22614/stat : 22614 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430100 11246788608 13988 33554432000 4194304 4196468 140722060890832 140446618533040 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55952 KiB
[startup+0.700792 s]
/proc/loadavg: 2.01 1.74 1.58 4/216 22614
/proc/meminfo: memFree=16612904/32770624 swapFree=67108196/67108860
[pid=22548] ppid=22545 vsize=10983192 memory=88500 CPUtime=0.98 cores=1,3,5,7
/proc/22548/stat : 22548 (java) S 22545 22548 19646 0 -1 1077944320 16758 12855 0 0 87 4 4 3 20 0 15 0 232430085 11246788608 22125 33554432000 4194304 4196468 140722060890832 140722060873376 140447196913399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
/proc/22548/statm: 2745798 22125 3238 1 0 2708109 0
[pid=22548/tid=22601] ppid=22545 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/22548/task/22601/stat : 22601 (java) R 22545 22548 19646 0 -1 4202560 12222 12855 0 0 56 3 4 3 20 0 15 0 232430094 11246788608 22125 33554432000 4194304 4196468 140722060890832 140447168734224 140447180100208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22602] ppid=22545 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22602/stat : 22602 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246788608 22125 33554432000 4194304 4196468 140722060890832 140447201155728 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22603] ppid=22545 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22603/stat : 22603 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246788608 22125 33554432000 4194304 4196468 140722060890832 140447055874576 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22604] ppid=22545 vsize=10983192 memory=4637164475387183459 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22604/stat : 22604 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246788608 22125 33554432000 4194304 4196468 140722060890832 140447054821776 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22605] ppid=22545 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22605/stat : 22605 (java) S 22545 22548 19646 0 -1 1077944384 2 12855 0 0 0 0 4 3 20 0 15 0 232430095 11246788608 22125 33554432000 4194304 4196468 140722060890832 140447053768976 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22606] ppid=22545 vsize=10983192 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22606/stat : 22606 (java) S 22545 22548 19646 0 -1 1077944384 5 12855 0 0 0 0 4 3 20 0 15 0 232430096 11246788608 22125 33554432000 4194304 4196468 140722060890832 140446622743408 140447196924546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22607] ppid=22545 vsize=10983192 memory=4028 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22607/stat : 22607 (java) S 22545 22548 19646 0 -1 1077944384 13 12855 0 0 0 0 4 3 20 0 15 0 232430097 11246788608 22125 33554432000 4194304 4196468 140722060890832 140445981074976 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22608] ppid=22545 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22608/stat : 22608 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430097 11246788608 22125 33554432000 4194304 4196468 140722060890832 140445833225584 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22609] ppid=22545 vsize=10983192 memory=3688649918769273904 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22609/stat : 22609 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430099 11246788608 22125 33554432000 4194304 4196468 140722060890832 140445525825872 140447196931995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22610] ppid=22545 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/22548/task/22610/stat : 22610 (java) S 22545 22548 19646 0 -1 1077944384 1048 12855 0 0 9 0 4 3 20 0 15 0 232430099 11246788608 22125 33554432000 4194304 4196468 140722060890832 140446621690224 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22611] ppid=22545 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/22548/task/22611/stat : 22611 (java) S 22545 22548 19646 0 -1 1077944384 573 12855 0 0 7 0 4 3 20 0 15 0 232430099 11246788608 22125 33554432000 4194304 4196468 140722060890832 140446620637424 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22612] ppid=22545 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/22548/task/22612/stat : 22612 (java) S 22545 22548 19646 0 -1 1077944384 695 12855 0 0 13 0 4 3 20 0 15 0 232430099 11246788608 22125 33554432000 4194304 4196468 140722060890832 140446619584624 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22613] ppid=22545 vsize=10983192 memory=7809523229951467568 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22613/stat : 22613 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430100 11246788608 22125 33554432000 4194304 4196468 140722060890832 140445095028960 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22614] ppid=22545 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22614/stat : 22614 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430100 11246788608 22125 33554432000 4194304 4196468 140722060890832 140446618533040 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88500 KiB
[startup+1.50071 s]
/proc/loadavg: 2.01 1.74 1.58 3/216 22614
/proc/meminfo: memFree=16565736/32770624 swapFree=67108196/67108860
[pid=22548] ppid=22545 vsize=10998092 memory=180392 CPUtime=2.36 cores=1,3,5,7
/proc/22548/stat : 22548 (java) S 22545 22548 19646 0 -1 1077944320 24340 12855 0 0 219 10 4 3 20 0 15 0 232430085 11262046208 45098 33554432000 4194304 4196468 140722060890832 140722060873376 140447196913399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
/proc/22548/statm: 2749523 45098 3476 1 0 2711181 0
[pid=22548/tid=22601] ppid=22545 vsize=10998092 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/22548/task/22601/stat : 22601 (java) R 22545 22548 19646 0 -1 4202560 17773 12855 0 0 129 6 4 3 20 0 15 0 232430094 11262046208 45098 33554432000 4194304 4196468 140722060890832 140447168743504 140447182079071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22602] ppid=22545 vsize=10998092 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/22548/task/22602/stat : 22602 (java) S 22545 22548 19646 0 -1 1077944384 25 12855 0 0 1 0 4 3 20 0 15 0 232430095 11262046208 45098 33554432000 4194304 4196468 140722060890832 140447201155728 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22603] ppid=22545 vsize=10998092 memory=14775 CPUtime=0.08 cores=1,3,5,7
/proc/22548/task/22603/stat : 22603 (java) S 22545 22548 19646 0 -1 1077944384 221 12855 0 0 1 0 4 3 20 0 15 0 232430095 11262046208 45098 33554432000 4194304 4196468 140722060890832 140447055874576 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22604] ppid=22545 vsize=10998092 memory=4350 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22604/stat : 22604 (java) S 22545 22548 19646 0 -1 1077944384 15 12855 0 0 0 0 4 3 20 0 15 0 232430095 11262046208 45098 33554432000 4194304 4196468 140722060890832 140447054821776 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22605] ppid=22545 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22548/task/22605/stat : 22605 (java) S 22545 22548 19646 0 -1 1077944384 76 12855 0 0 1 0 4 3 20 0 15 0 232430095 11262046208 45098 33554432000 4194304 4196468 140722060890832 140447053768976 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22606] ppid=22545 vsize=10998092 memory=-3253322038155611931 CPUtime=0.08 cores=1,3,5,7
/proc/22548/task/22606/stat : 22606 (java) S 22545 22548 19646 0 -1 1077944384 48 12855 0 0 1 0 4 3 20 0 15 0 232430096 11262046208 45098 33554432000 4194304 4196468 140722060890832 140446622743408 140447196924546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22607] ppid=22545 vsize=10998092 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22607/stat : 22607 (java) S 22545 22548 19646 0 -1 1077944384 14 12855 0 0 0 0 4 3 20 0 15 0 232430097 11262046208 45098 33554432000 4194304 4196468 140722060890832 140445981075040 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22608] ppid=22545 vsize=10998092 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22608/stat : 22608 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430097 11262046208 45098 33554432000 4194304 4196468 140722060890832 140445833225600 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22609] ppid=22545 vsize=10998092 memory=103028 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22609/stat : 22609 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430099 11262046208 45098 33554432000 4194304 4196468 140722060890832 140445525825872 140447196931995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22610] ppid=22545 vsize=10998092 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/22548/task/22610/stat : 22610 (java) S 22545 22548 19646 0 -1 1077944384 1826 12855 0 0 29 0 4 3 20 0 15 0 232430099 11262046208 45098 33554432000 4194304 4196468 140722060890832 140446621690224 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22611] ppid=22545 vsize=10998092 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/22548/task/22611/stat : 22611 (java) S 22545 22548 19646 0 -1 1077944384 875 12855 0 0 19 0 4 3 20 0 15 0 232430099 11262046208 45098 33554432000 4194304 4196468 140722060890832 140446620637424 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22612] ppid=22545 vsize=10998092 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/22548/task/22612/stat : 22612 (java) S 22545 22548 19646 0 -1 1077944384 1270 12855 0 0 33 0 4 3 20 0 15 0 232430099 11262046208 45098 33554432000 4194304 4196468 140722060890832 140446619584624 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22613] ppid=22545 vsize=10998092 memory=280028512327680 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22613/stat : 22613 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430100 11262046208 45098 33554432000 4194304 4196468 140722060890832 140445095028960 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22614] ppid=22545 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22614/stat : 22614 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430100 11262046208 45098 33554432000 4194304 4196468 140722060890832 140446618533040 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 180392 KiB
[startup+3.11043 s]
/proc/loadavg: 2.01 1.74 1.58 5/216 22614
/proc/meminfo: memFree=16432060/32770624 swapFree=67108196/67108860
[pid=22548] ppid=22545 vsize=11010400 memory=267948 CPUtime=6.07 cores=1,3,5,7
/proc/22548/stat : 22548 (java) S 22545 22548 19646 0 -1 1077944320 37625 12855 0 0 583 17 4 3 20 0 15 0 232430085 11274649600 66987 33554432000 4194304 4196468 140722060890832 140722060873376 140447196913399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
/proc/22548/statm: 2752600 66987 3501 1 0 2714253 0
[pid=22548/tid=22601] ppid=22545 vsize=11010400 memory=7013037350621040726 CPUtime=2.99 cores=1,3,5,7
/proc/22548/task/22601/stat : 22601 (java) R 22545 22548 19646 0 -1 4202560 25589 12855 0 0 283 9 4 3 20 0 15 0 232430094 11274649600 66987 33554432000 4194304 4196468 140722060890832 140447168746528 140447182625122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22602] ppid=22545 vsize=11010400 memory=6673 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22602/stat : 22602 (java) S 22545 22548 19646 0 -1 1077944384 39 12855 0 0 2 0 4 3 20 0 15 0 232430095 11274649600 66987 33554432000 4194304 4196468 140722060890832 140447201155728 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22603] ppid=22545 vsize=11010400 memory=4420 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22603/stat : 22603 (java) S 22545 22548 19646 0 -1 1077944384 232 12855 0 0 2 0 4 3 20 0 15 0 232430095 11274649600 66987 33554432000 4194304 4196468 140722060890832 140447055874576 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22604] ppid=22545 vsize=11010400 memory=6628 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22604/stat : 22604 (java) S 22545 22548 19646 0 -1 1077944384 23 12855 0 0 2 0 4 3 20 0 15 0 232430095 11274649600 66987 33554432000 4194304 4196468 140722060890832 140447054821776 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22605] ppid=22545 vsize=11010400 memory=280028512295552 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22605/stat : 22605 (java) S 22545 22548 19646 0 -1 1077944384 85 12855 0 0 2 0 4 3 20 0 15 0 232430095 11274649600 66987 33554432000 4194304 4196468 140722060890832 140447053768976 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22606] ppid=22545 vsize=11010400 memory=7156589670633197654 CPUtime=0.1 cores=1,3,5,7
/proc/22548/task/22606/stat : 22606 (java) S 22545 22548 19646 0 -1 1077944384 242 12855 0 0 3 0 4 3 20 0 15 0 232430096 11274649600 66987 33554432000 4194304 4196468 140722060890832 140446622743408 140447196924546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22607] ppid=22545 vsize=11010400 memory=7151833187742671444 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22607/stat : 22607 (java) S 22545 22548 19646 0 -1 1077944384 14 12855 0 0 0 0 4 3 20 0 15 0 232430097 11274649600 66987 33554432000 4194304 4196468 140722060890832 140445981075040 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22608] ppid=22545 vsize=11010400 memory=5793938354581164389 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22608/stat : 22608 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430097 11274649600 66987 33554432000 4194304 4196468 140722060890832 140445833225600 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22609] ppid=22545 vsize=11010400 memory=6440200507374068839 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22609/stat : 22609 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430099 11274649600 66987 33554432000 4194304 4196468 140722060890832 140445525825872 140447196931995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22610] ppid=22545 vsize=11010400 memory=6940161810161152554 CPUtime=1.13 cores=1,3,5,7
/proc/22548/task/22610/stat : 22610 (java) R 22545 22548 19646 0 -1 4202560 4443 12855 0 0 105 1 4 3 20 0 15 0 232430099 11274649600 66987 33554432000 4194304 4196468 140722060890832 140446621690224 140447177671681 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22611] ppid=22545 vsize=11010400 memory=6440200507374056252 CPUtime=0.8 cores=1,3,5,7
/proc/22548/task/22611/stat : 22611 (java) S 22545 22548 19646 0 -1 1077944384 1628 12855 0 0 73 0 4 3 20 0 15 0 232430099 11274649600 66987 33554432000 4194304 4196468 140722060890832 140446620637424 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22612] ppid=22545 vsize=11010400 memory=2196 CPUtime=1.14 cores=1,3,5,7
/proc/22548/task/22612/stat : 22612 (java) S 22545 22548 19646 0 -1 1077944384 3133 12855 0 0 106 1 4 3 20 0 15 0 232430099 11274649600 66987 33554432000 4194304 4196468 140722060890832 140446619584624 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22613] ppid=22545 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22613/stat : 22613 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430100 11274649600 66987 33554432000 4194304 4196468 140722060890832 140445095028960 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22614] ppid=22545 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22614/stat : 22614 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430100 11274649600 66987 33554432000 4194304 4196468 140722060890832 140446618533040 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
Current children cumulated CPU time: 6.07 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 267948 KiB
[startup+3.66015 s]
# the end of solver process 22548 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.97328 s, system=0.249919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20087 s]
/proc/loadavg: 2.01 1.74 1.58 5/216 22614
/proc/meminfo: memFree=16432060/32770624 swapFree=67108196/67108860
[pid=22548] ppid=22545 vsize=11010400 memory=269712 CPUtime=6.23 cores=1,3,5,7
/proc/22548/stat : 22548 (java) S 22545 22548 19646 0 -1 1077944320 40648 12855 0 0 599 17 4 3 20 0 15 0 232430085 11274649600 67428 33554432000 4194304 4196468 140722060890832 140722060873376 140447196913399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
/proc/22548/statm: 2752600 67428 3501 1 0 2714253 0
[pid=22548/tid=22601] ppid=22545 vsize=11010400 memory=280028512835616 CPUtime=3.07 cores=1,3,5,7
/proc/22548/task/22601/stat : 22601 (java) R 22545 22548 19646 0 -1 4202560 27680 12855 0 0 291 9 4 3 20 0 15 0 232430094 11274649600 67428 33554432000 4194304 4196468 140722060890832 140447168742144 140447180306993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22602] ppid=22545 vsize=11010400 memory=6656426216303648864 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22602/stat : 22602 (java) S 22545 22548 19646 0 -1 1077944384 39 12855 0 0 2 0 4 3 20 0 15 0 232430095 11274649600 67428 33554432000 4194304 4196468 140722060890832 140447201155728 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22603] ppid=22545 vsize=11010400 memory=6944656592455360604 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22603/stat : 22603 (java) S 22545 22548 19646 0 -1 1077944384 232 12855 0 0 2 0 4 3 20 0 15 0 232430095 11274649600 67428 33554432000 4194304 4196468 140722060890832 140447055874576 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22604] ppid=22545 vsize=11010400 memory=280028512256240 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22604/stat : 22604 (java) S 22545 22548 19646 0 -1 1077944384 23 12855 0 0 2 0 4 3 20 0 15 0 232430095 11274649600 67428 33554432000 4194304 4196468 140722060890832 140447054821776 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22605] ppid=22545 vsize=11010400 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22605/stat : 22605 (java) S 22545 22548 19646 0 -1 1077944384 85 12855 0 0 2 0 4 3 20 0 15 0 232430095 11274649600 67429 33554432000 4194304 4196468 140722060890832 140447053768976 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22606] ppid=22545 vsize=11010400 memory=-5937291674679385897 CPUtime=0.1 cores=1,3,5,7
/proc/22548/task/22606/stat : 22606 (java) S 22545 22548 19646 0 -1 1077944384 242 12855 0 0 3 0 4 3 20 0 15 0 232430096 11274649600 67429 33554432000 4194304 4196468 140722060890832 140446622743408 140447196924546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22607] ppid=22545 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22607/stat : 22607 (java) S 22545 22548 19646 0 -1 1077944384 14 12855 0 0 0 0 4 3 20 0 15 0 232430097 11274649600 67429 33554432000 4194304 4196468 140722060890832 140445981075040 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22608] ppid=22545 vsize=11010400 memory=3763074376526149428 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22608/stat : 22608 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430097 11274649600 67429 33554432000 4194304 4196468 140722060890832 140445833225600 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22609] ppid=22545 vsize=11010400 memory=301741373374332954 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22609/stat : 22609 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430099 11274649600 67429 33554432000 4194304 4196468 140722060890832 140445525825872 140447196931995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22610] ppid=22545 vsize=11010400 memory=316378093722009915 CPUtime=1.15 cores=1,3,5,7
/proc/22548/task/22610/stat : 22610 (java) S 22545 22548 19646 0 -1 1077944384 4656 12855 0 0 107 1 4 3 20 0 15 0 232430099 11274649600 67429 33554432000 4194304 4196468 140722060890832 140446621690224 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22611] ppid=22545 vsize=11010400 memory=14126766767749247 CPUtime=0.81 cores=1,3,5,7
/proc/22548/task/22611/stat : 22611 (java) S 22545 22548 19646 0 -1 1077944384 1686 12855 0 0 74 0 4 3 20 0 15 0 232430099 11274649600 67429 33554432000 4194304 4196468 140722060890832 140446620637424 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22612] ppid=22545 vsize=11010400 memory=8305307729386299488 CPUtime=1.17 cores=1,3,5,7
/proc/22548/task/22612/stat : 22612 (java) R 22545 22548 19646 0 -1 4202560 3814 12855 0 0 109 1 4 3 20 0 15 0 232430099 11274649600 67429 33554432000 4194304 4196468 140722060890832 140446619584624 140447182594097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22613] ppid=22545 vsize=11010400 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22613/stat : 22613 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430100 11274649600 67429 33554432000 4194304 4196468 140722060890832 140445095028960 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22614] ppid=22545 vsize=11010400 memory=-8253362762724047225 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22614/stat : 22614 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430100 11274649600 67429 33554432000 4194304 4196468 140722060890832 140446618533040 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 269712 KiB
[startup+3.60069 s]
/proc/loadavg: 2.01 1.74 1.58 5/216 22614
/proc/meminfo: memFree=16432060/32770624 swapFree=67108196/67108860
[pid=22548] ppid=22545 vsize=11012448 memory=292900 CPUtime=7.09 cores=1,3,5,7
/proc/22548/stat : 22548 (java) S 22545 22548 19646 0 -1 1077944320 60721 12855 0 0 682 20 4 3 20 0 15 0 232430085 11276746752 73225 33554432000 4194304 4196468 140722060890832 140722060873376 140447196913399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
/proc/22548/statm: 2753112 73225 3506 1 0 2714765 0
[pid=22548/tid=22601] ppid=22545 vsize=11012448 memory=0 CPUtime=3.48 cores=1,3,5,7
/proc/22548/task/22601/stat : 22601 (java) R 22545 22548 19646 0 -1 4202560 44037 12855 0 0 330 11 4 3 20 0 15 0 232430094 11276746752 73225 33554432000 4194304 4196468 140722060890832 140447168743056 140447180306993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22602] ppid=22545 vsize=11012448 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22602/stat : 22602 (java) S 22545 22548 19646 0 -1 1077944384 39 12855 0 0 2 0 4 3 20 0 15 0 232430095 11276746752 73225 33554432000 4194304 4196468 140722060890832 140447201155728 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22603] ppid=22545 vsize=11012448 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22603/stat : 22603 (java) S 22545 22548 19646 0 -1 1077944384 232 12855 0 0 2 0 4 3 20 0 15 0 232430095 11276746752 73225 33554432000 4194304 4196468 140722060890832 140447055874576 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22604] ppid=22545 vsize=11012448 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22604/stat : 22604 (java) S 22545 22548 19646 0 -1 1077944384 23 12855 0 0 2 0 4 3 20 0 15 0 232430095 11276746752 73225 33554432000 4194304 4196468 140722060890832 140447054821776 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22605] ppid=22545 vsize=11012448 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22548/task/22605/stat : 22605 (java) S 22545 22548 19646 0 -1 1077944384 85 12855 0 0 2 0 4 3 20 0 15 0 232430095 11276746752 73225 33554432000 4194304 4196468 140722060890832 140447053768976 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22606] ppid=22545 vsize=11012448 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/22548/task/22606/stat : 22606 (java) S 22545 22548 19646 0 -1 1077944384 267 12855 0 0 3 0 4 3 20 0 15 0 232430096 11276746752 73225 33554432000 4194304 4196468 140722060890832 140446622743408 140447196924546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22607] ppid=22545 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22607/stat : 22607 (java) S 22545 22548 19646 0 -1 1077944384 14 12855 0 0 0 0 4 3 20 0 15 0 232430097 11276746752 73225 33554432000 4194304 4196468 140722060890832 140445981075040 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22608] ppid=22545 vsize=11012448 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22608/stat : 22608 (java) S 22545 22548 19646 0 -1 1077944384 1 12855 0 0 0 0 4 3 20 0 15 0 232430097 11276746752 73225 33554432000 4194304 4196468 140722060890832 140445833225600 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22609] ppid=22545 vsize=11012448 memory=4028 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22609/stat : 22609 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430099 11276746752 73225 33554432000 4194304 4196468 140722060890832 140445525825872 140447196931995 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22610] ppid=22545 vsize=11012448 memory=63016 CPUtime=1.33 cores=1,3,5,7
/proc/22548/task/22610/stat : 22610 (java) R 22545 22548 19646 0 -1 4202560 5373 12855 0 0 125 1 4 3 20 0 15 0 232430099 11276746752 73225 33554432000 4194304 4196468 140722060890832 140446621675536 140447176171058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22611] ppid=22545 vsize=11012448 memory=1240 CPUtime=0.97 cores=1,3,5,7
/proc/22548/task/22611/stat : 22611 (java) S 22545 22548 19646 0 -1 1077944384 2506 12855 0 0 90 0 4 3 20 0 15 0 232430099 11276746752 73225 33554432000 4194304 4196468 140722060890832 140446620637424 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22612] ppid=22545 vsize=11012448 memory=2196 CPUtime=1.29 cores=1,3,5,7
/proc/22548/task/22612/stat : 22612 (java) S 22545 22548 19646 0 -1 1077944384 5945 12855 0 0 120 2 4 3 20 0 15 0 232430099 11276746752 73225 33554432000 4194304 4196468 140722060890832 140446619584624 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22613] ppid=22545 vsize=11012448 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22613/stat : 22613 (java) S 22545 22548 19646 0 -1 1077944384 3 12855 0 0 0 0 4 3 20 0 15 0 232430100 11276746752 73225 33554432000 4194304 4196468 140722060890832 140445095028960 140447196923605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
[pid=22548/tid=22614] ppid=22545 vsize=11012448 memory=976 CPUtime=0.07 cores=1,3,5,7
/proc/22548/task/22614/stat : 22614 (java) S 22545 22548 19646 0 -1 1077944384 5 12855 0 0 0 0 4 3 20 0 15 0 232430100 11276746752 73225 33554432000 4194304 4196468 140722060890832 140446618533040 140447196924546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14589952 140722060896877 140722060899676 140722060899676 140722060902351 0
Current children cumulated CPU time: 7.09 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 292900 KiB
Child status: 0
Real time (s): 3.66022
CPU time (s): 7.2232
CPU user time (s): 6.97328
CPU system time (s): 0.249919
CPU usage (%): 197.343
Max. virtual memory (cumulated for all children) (KiB): 11012448
Max. memory (cumulated for all children) (KiB): 292900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.97328
system time used= 0.249919
maximum resident set size= 295716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6280
involuntary context switches= 40
# summary of solver processes directly reported to runsolver:
# pid: 22548
# total CPU time (s): 7.2232
# total CPU user time (s): 6.97328
# total CPU system time (s): 0.249919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046348 second user time and 0.074038 second system time
The end