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 (14067 MiB free)
memory of node 1: 16384 MiB (15381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263441-1502631207/watcher-4263441-1502631207 -o /tmp/evaluation-result-4263441-1502631207/solver-4263441-1502631207 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8033 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263441-1502631207.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=21086, runsolver pid=21083
Current StackSize limit: 8192 KiB
[startup+0.10013 s]*
/proc/loadavg: 2.00 2.01 2.05 2/199 21088
/proc/meminfo: memFree=30151600/32770624 swapFree=67108860/67108860
[pid=21086] ppid=21083 vsize=9936560 memory=16484 CPUtime=0 cores=1,3,5,7
/proc/21086/stat : 21086 (java) S 21083 21086 7968 0 -1 1077944320 3426 0 0 0 0 0 0 0 20 0 6 0 17003406 10175037440 4121 18446744073709551615 4194304 4196468 140728040379456 140728040362000 140497508130551 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
/proc/21086/statm: 2484140 4121 1921 1 0 2473637 0
[pid=21086/tid=21088] ppid=21083 vsize=9936560 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21088/stat : 21088 (java) R 21083 21086 7968 0 -1 4202560 2124 0 0 0 0 0 0 0 20 0 6 0 17003415 10175037440 4121 18446744073709551615 4194304 4196468 140728040379456 140497512366672 140497492211038 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21089] ppid=21083 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21089/stat : 21089 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17003416 10175037440 4121 18446744073709551615 4194304 4196468 140728040379456 140497449167248 140497508140757 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21090] ppid=21083 vsize=9936560 memory=140130410681984 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21090/stat : 21090 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 17003416 10175037440 4121 18446744073709551615 4194304 4196468 140728040379456 140497448114448 140497508140757 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21091] ppid=21083 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21091/stat : 21091 (java) S 21083 21086 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 17003416 10175037440 4121 18446744073709551615 4194304 4196468 140728040379456 140497447062160 140497508140757 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21092] ppid=21083 vsize=9936560 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21092/stat : 21092 (java) S 21083 21086 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 17003416 10175037440 4121 18446744073709551615 4194304 4196468 140728040379456 140497446009360 140497508140757 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 16484 KiB
[startup+0.210054 s]*
/proc/loadavg: 2.00 2.01 2.05 3/212 21101
/proc/meminfo: memFree=30141812/32770624 swapFree=67108860/67108860
[pid=21086] ppid=21083 vsize=10550900 memory=26156 CPUtime=0.08 cores=1,3,5,7
/proc/21086/stat : 21086 (java) S 21083 21086 7968 0 -1 1077944320 4994 0 0 0 7 1 0 0 20 0 15 0 17003406 10804121600 6537 18446744073709551615 4194304 4196468 140728040379456 140728040362000 140497508130551 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
/proc/21086/statm: 2637789 6539 2652 1 0 2627261 0
[pid=21086/tid=21088] ppid=21083 vsize=10551156 memory=8318255677412212789 CPUtime=0.05 cores=1,3,5,7
/proc/21086/task/21088/stat : 21088 (java) R 21083 21086 7968 0 -1 4202560 3089 0 0 0 5 0 0 0 20 0 15 0 17003415 10804383744 6539 18446744073709551615 4194304 4196468 140728040379456 140497512361296 140497492174181 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21089] ppid=21083 vsize=10551156 memory=326 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21089/stat : 21089 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17003416 10804383744 6539 18446744073709551615 4194304 4196468 140728040379456 140497449167248 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21090] ppid=21083 vsize=10551156 memory=288370506562393728 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21090/stat : 21090 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17003416 10804383744 6539 18446744073709551615 4194304 4196468 140728040379456 140497448114448 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21091] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21091/stat : 21091 (java) S 21083 21086 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17003416 10804383744 6539 18446744073709551615 4194304 4196468 140728040379456 140497447062160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21092] ppid=21083 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21092/stat : 21092 (java) S 21083 21086 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17003416 10804383744 6539 18446744073709551615 4194304 4196468 140728040379456 140497446009360 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21093] ppid=21083 vsize=10551156 memory=140130410681984 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21093/stat : 21093 (java) S 21083 21086 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17003417 10804383744 6539 18446744073709551615 4194304 4196468 140728040379456 140497003502192 140497508141698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21094] ppid=21083 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21094/stat : 21094 (java) S 21083 21086 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17003418 10804383744 6539 18446744073709551615 4194304 4196468 140728040379456 140497002448160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21095] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21095/stat : 21095 (java) S 21083 21086 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17003418 10804383744 6539 18446744073709551615 4194304 4196468 140728040379456 140497001395824 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21096] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21096/stat : 21096 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17003420 10804383744 6539 18446744073709551615 4194304 4196468 140728040379456 140497000344144 140497508149147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21097] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21097/stat : 21097 (java) R 21083 21086 7968 0 -1 4202560 320 0 0 0 0 0 0 0 20 0 15 0 17003420 10804383744 6539 18446744073709551615 4194304 4196468 140728040379456 140496999290992 140497487623424 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21098] ppid=21083 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21098/stat : 21098 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17003420 10804383744 6539 18446744073709551615 4194304 4196468 140728040379456 140496998238192 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21099] ppid=21083 vsize=10551156 memory=140130410681984 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21099/stat : 21099 (java) S 21083 21086 7968 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 15 0 17003420 10804383744 6605 18446744073709551615 4194304 4196468 140728040379456 140496997185904 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21100] ppid=21083 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21100/stat : 21100 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17003421 10804383744 6605 18446744073709551615 4194304 4196468 140728040379456 140496996133344 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21101] ppid=21083 vsize=10551156 memory=140130410681984 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21101/stat : 21101 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17003426 10804383744 6605 18446744073709551615 4194304 4196468 140728040379456 140496995081136 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10550900 KiB
Current children cumulated memory: 26156 KiB
[startup+0.310265 s]*
/proc/loadavg: 2.00 2.01 2.05 3/212 21101
/proc/meminfo: memFree=30129420/32770624 swapFree=67108860/67108860
[pid=21086] ppid=21083 vsize=10551156 memory=36176 CPUtime=0.23 cores=1,3,5,7
/proc/21086/stat : 21086 (java) S 21083 21086 7968 0 -1 1077944320 8318 0 0 0 20 3 0 0 20 0 15 0 17003406 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140728040362000 140497508130551 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
/proc/21086/statm: 2637789 9044 2859 1 0 2627261 0
[pid=21086/tid=21088] ppid=21083 vsize=10551156 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/21086/task/21088/stat : 21088 (java) R 21083 21086 7968 0 -1 4202560 5954 0 0 0 14 2 0 0 20 0 15 0 17003415 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140497512367424 140497492211038 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21089] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21089/stat : 21089 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17003416 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140497449167248 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21090] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21090/stat : 21090 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17003416 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140497448114448 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21091] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21091/stat : 21091 (java) S 21083 21086 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17003416 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140497447062160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21092] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21092/stat : 21092 (java) S 21083 21086 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17003416 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140497446009360 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21093] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21093/stat : 21093 (java) S 21083 21086 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17003417 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140497003502192 140497508141698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21094] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21094/stat : 21094 (java) S 21083 21086 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17003418 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140497002448160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21095] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21095/stat : 21095 (java) S 21083 21086 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17003418 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140497001395824 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21096] ppid=21083 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21096/stat : 21096 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17003420 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140497000344144 140497508149147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21097] ppid=21083 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21086/task/21097/stat : 21097 (java) S 21083 21086 7968 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 17003420 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140496999290992 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21098] ppid=21083 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21098/stat : 21098 (java) S 21083 21086 7968 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 17003420 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140496998238192 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21099] ppid=21083 vsize=10551156 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21086/task/21099/stat : 21099 (java) S 21083 21086 7968 0 -1 1077944384 414 0 0 0 3 0 0 0 20 0 15 0 17003420 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140496997185904 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21100] ppid=21083 vsize=10551156 memory=140130410681984 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21100/stat : 21100 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17003421 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140496996133344 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21101] ppid=21083 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21101/stat : 21101 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17003426 10804383744 9044 18446744073709551615 4194304 4196468 140728040379456 140496995081136 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36176 KiB
[startup+0.701751 s]
/proc/loadavg: 2.00 2.01 2.05 4/212 21101
/proc/meminfo: memFree=30113072/32770624 swapFree=67108860/67108860
[pid=21086] ppid=21083 vsize=10551232 memory=156436 CPUtime=1.26 cores=1,3,5,7
/proc/21086/stat : 21086 (java) S 21083 21086 7968 0 -1 1077944320 13808 0 0 0 120 6 0 0 20 0 15 0 17003406 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140728040362000 140497508130551 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
/proc/21086/statm: 2637808 39109 3053 1 0 2627261 0
[pid=21086/tid=21088] ppid=21083 vsize=10551232 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/21086/task/21088/stat : 21088 (java) R 21083 21086 7968 0 -1 4202560 6843 0 0 0 50 4 0 0 20 0 15 0 17003415 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140497512367928 140497123836270 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21089] ppid=21083 vsize=10551232 memory=140130287481719 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21089/stat : 21089 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17003416 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140497449167248 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21090] ppid=21083 vsize=10551232 memory=280260575061664 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21090/stat : 21090 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17003416 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140497448114448 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21091] ppid=21083 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21091/stat : 21091 (java) S 21083 21086 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17003416 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140497447062160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21092] ppid=21083 vsize=10551232 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21092/stat : 21092 (java) S 21083 21086 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 17003416 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140497446009360 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21093] ppid=21083 vsize=10551232 memory=33 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21093/stat : 21093 (java) S 21083 21086 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 17003417 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140497003502192 140497508141698 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21094] ppid=21083 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21094/stat : 21094 (java) S 21083 21086 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 17003418 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140497002448160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21095] ppid=21083 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21095/stat : 21095 (java) S 21083 21086 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 17003418 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140497001395824 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21096] ppid=21083 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21096/stat : 21096 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17003420 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140497000344144 140497508149147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21097] ppid=21083 vsize=10551232 memory=280260575283120 CPUtime=0.25 cores=1,3,5,7
/proc/21086/task/21097/stat : 21097 (java) R 21083 21086 7968 0 -1 4202560 2220 0 0 0 25 0 0 0 20 0 15 0 17003420 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140496999276872 140497493240578 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21098] ppid=21083 vsize=10551232 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/21086/task/21098/stat : 21098 (java) R 21083 21086 7968 0 -1 4202560 2190 0 0 0 24 0 0 0 20 0 15 0 17003420 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140496998219000 140497491627335 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21099] ppid=21083 vsize=10551232 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/21086/task/21099/stat : 21099 (java) S 21083 21086 7968 0 -1 1077944384 1183 0 0 0 19 0 0 0 20 0 15 0 17003420 10804461568 39109 18446744073709551615 4194304 4196468 140728040379456 140496997185904 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21100] ppid=21083 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21100/stat : 21100 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 17003421 10804461568 39621 18446744073709551615 4194304 4196468 140728040379456 140496996133344 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21101] ppid=21083 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21101/stat : 21101 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 17003426 10804461568 39621 18446744073709551615 4194304 4196468 140728040379456 140496995081136 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 156436 KiB
[startup+1.50084 s]
/proc/loadavg: 2.00 2.01 2.05 5/212 21101
/proc/meminfo: memFree=29925416/32770624 swapFree=67108860/67108860
[pid=21086] ppid=21083 vsize=10619676 memory=246528 CPUtime=3.65 cores=1,3,5,7
/proc/21086/stat : 21086 (java) S 21083 21086 7968 0 -1 1077944320 18099 0 0 0 353 12 0 0 20 0 16 0 17003406 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140728040362000 140497508130551 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
/proc/21086/statm: 2654919 61632 3080 1 0 2644372 0
[pid=21086/tid=21088] ppid=21083 vsize=10619676 memory=2356 CPUtime=1.26 cores=1,3,5,7
/proc/21086/task/21088/stat : 21088 (java) R 21083 21086 7968 0 -1 4202560 7890 0 0 0 122 4 0 0 20 0 16 0 17003415 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140497512358784 140497124590383 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21089] ppid=21083 vsize=10619676 memory=11845 CPUtime=0.06 cores=1,3,5,7
/proc/21086/task/21089/stat : 21089 (java) S 21083 21086 7968 0 -1 1077944384 37 0 0 0 5 1 0 0 20 0 16 0 17003416 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140497449167248 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21090] ppid=21083 vsize=10619676 memory=26976 CPUtime=0.04 cores=1,3,5,7
/proc/21086/task/21090/stat : 21090 (java) S 21083 21086 7968 0 -1 1077944384 30 0 0 0 4 0 0 0 20 0 16 0 17003416 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140497448114448 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21091] ppid=21083 vsize=10619676 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21086/task/21091/stat : 21091 (java) S 21083 21086 7968 0 -1 1077944384 42 0 0 0 5 1 0 0 20 0 16 0 17003416 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140497447062160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21092] ppid=21083 vsize=10619676 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21086/task/21092/stat : 21092 (java) S 21083 21086 7968 0 -1 1077944384 24 0 0 0 3 0 0 0 20 0 16 0 17003416 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140497446009360 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21093] ppid=21083 vsize=10619676 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21093/stat : 21093 (java) S 21083 21086 7968 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 17003417 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140497003502192 140497508141698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21094] ppid=21083 vsize=10619676 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21094/stat : 21094 (java) S 21083 21086 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 17003418 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140497002448160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21095] ppid=21083 vsize=10619676 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21095/stat : 21095 (java) S 21083 21086 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 17003418 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140497001395824 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21096] ppid=21083 vsize=10619676 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21096/stat : 21096 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003420 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140497000344144 140497508149147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21097] ppid=21083 vsize=10619676 memory=33 CPUtime=0.84 cores=1,3,5,7
/proc/21086/task/21097/stat : 21097 (java) S 21083 21086 7968 0 -1 1077944384 2634 0 0 0 84 0 0 0 20 0 16 0 17003420 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140496999290992 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21098] ppid=21083 vsize=10619676 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/21086/task/21098/stat : 21098 (java) R 21083 21086 7968 0 -1 4202560 4670 0 0 0 101 0 0 0 20 0 16 0 17003420 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140496998217632 140497493256732 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21099] ppid=21083 vsize=10619676 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/21086/task/21099/stat : 21099 (java) S 21083 21086 7968 0 -1 1077944384 1308 0 0 0 25 0 0 0 20 0 16 0 17003420 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140496997185904 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21100] ppid=21083 vsize=10619676 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21100/stat : 21100 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003421 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140496996133344 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21101] ppid=21083 vsize=10619676 memory=280260575283120 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21101/stat : 21101 (java) S 21083 21086 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 17003426 10874548224 61632 18446744073709551615 4194304 4196468 140728040379456 140496995081136 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
Current children cumulated CPU time: 3.65 s
Current children cumulated vsize: 10619676 KiB
################
# More data... #
################
[pid=21086/tid=21088] ppid=21083 vsize=10617796 memory=3 CPUtime=2.87 cores=1,3,5,7
/proc/21086/task/21088/stat : 21088 (java) R 21083 21086 7968 0 -1 4202560 7963 0 0 0 283 4 0 0 20 0 16 0 17003415 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497512366624 140497124491052 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21089] ppid=21083 vsize=10617796 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21086/task/21089/stat : 21089 (java) S 21083 21086 7968 0 -1 1077944384 37 0 0 0 5 1 0 0 20 0 16 0 17003416 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497449167248 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21090] ppid=21083 vsize=10617796 memory=56 CPUtime=0.04 cores=1,3,5,7
/proc/21086/task/21090/stat : 21090 (java) S 21083 21086 7968 0 -1 1077944384 30 0 0 0 4 0 0 0 20 0 16 0 17003416 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497448114448 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21091] ppid=21083 vsize=10617796 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21086/task/21091/stat : 21091 (java) S 21083 21086 7968 0 -1 1077944384 42 0 0 0 5 1 0 0 20 0 16 0 17003416 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497447062160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21092] ppid=21083 vsize=10617796 memory=246528 CPUtime=0.03 cores=1,3,5,7
/proc/21086/task/21092/stat : 21092 (java) S 21083 21086 7968 0 -1 1077944384 24 0 0 0 3 0 0 0 20 0 16 0 17003416 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497446009360 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21093] ppid=21083 vsize=10617796 memory=2356 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21093/stat : 21093 (java) S 21083 21086 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 17003417 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497003502192 140497508141698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21094] ppid=21083 vsize=10617796 memory=11845 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21094/stat : 21094 (java) S 21083 21086 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 17003418 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497002448160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21095] ppid=21083 vsize=10617796 memory=26976 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21095/stat : 21095 (java) S 21083 21086 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 17003418 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497001395824 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21096] ppid=21083 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21096/stat : 21096 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003420 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497000344144 140497508149147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21097] ppid=21083 vsize=10617796 memory=2241 CPUtime=0.87 cores=1,3,5,7
/proc/21086/task/21097/stat : 21097 (java) S 21083 21086 7968 0 -1 1077944384 2641 0 0 0 87 0 0 0 20 0 16 0 17003420 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496999290992 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21098] ppid=21083 vsize=10617796 memory=2244 CPUtime=1.23 cores=1,3,5,7
/proc/21086/task/21098/stat : 21098 (java) S 21083 21086 7968 0 -1 1077944384 7071 0 0 0 122 1 0 0 20 0 16 0 17003420 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496998238192 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21099] ppid=21083 vsize=10617796 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/21086/task/21099/stat : 21099 (java) S 21083 21086 7968 0 -1 1077944384 1367 0 0 0 27 0 0 0 20 0 16 0 17003420 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496997185904 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21100] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21100/stat : 21100 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003421 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496996133344 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21101] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21101/stat : 21101 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003426 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496995081136 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21102] ppid=21083 vsize=10617796 memory=30305 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21102/stat : 21102 (java) S 21083 21086 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 17003513 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496994026672 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 252848 KiB
[startup+3.85535 s]
# the end of solver process 21086 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.16457 s, system=0.221168 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20099 s]
/proc/loadavg: 2.00 2.01 2.05 3/213 21102
/proc/meminfo: memFree=29913376/32770624 swapFree=67108860/67108860
[pid=21086] ppid=21083 vsize=10617796 memory=252848 CPUtime=5.6 cores=1,3,5,7
/proc/21086/stat : 21086 (java) S 21083 21086 7968 0 -1 1077944320 20642 0 0 0 548 12 0 0 20 0 16 0 17003406 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140728040362000 140497508130551 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
/proc/21086/statm: 2654449 63212 3083 1 0 2643902 0
[pid=21086/tid=21088] ppid=21083 vsize=10617796 memory=3533419649945857446 CPUtime=2.96 cores=1,3,5,7
/proc/21086/task/21088/stat : 21088 (java) R 21083 21086 7968 0 -1 4202560 7963 0 0 0 292 4 0 0 20 0 16 0 17003415 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497512366624 140497124610539 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21089] ppid=21083 vsize=10617796 memory=4206186544037388384 CPUtime=0.06 cores=1,3,5,7
/proc/21086/task/21089/stat : 21089 (java) S 21083 21086 7968 0 -1 1077944384 37 0 0 0 5 1 0 0 20 0 16 0 17003416 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497449167248 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21090] ppid=21083 vsize=10617796 memory=6944656592455360604 CPUtime=0.04 cores=1,3,5,7
/proc/21086/task/21090/stat : 21090 (java) S 21083 21086 7968 0 -1 1077944384 30 0 0 0 4 0 0 0 20 0 16 0 17003416 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497448114448 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21091] ppid=21083 vsize=10617796 memory=6944656592455359580 CPUtime=0.06 cores=1,3,5,7
/proc/21086/task/21091/stat : 21091 (java) S 21083 21086 7968 0 -1 1077944384 42 0 0 0 5 1 0 0 20 0 16 0 17003416 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497447062160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21092] ppid=21083 vsize=10617796 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21086/task/21092/stat : 21092 (java) S 21083 21086 7968 0 -1 1077944384 24 0 0 0 3 0 0 0 20 0 16 0 17003416 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497446009360 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21093] ppid=21083 vsize=10617796 memory=3611944282823929905 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21093/stat : 21093 (java) S 21083 21086 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 17003417 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497003502192 140497508141698 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21094] ppid=21083 vsize=10617796 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21094/stat : 21094 (java) S 21083 21086 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 17003418 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497002448160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21095] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21095/stat : 21095 (java) S 21083 21086 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 17003418 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497001395824 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21096] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21096/stat : 21096 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003420 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140497000344144 140497508149147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21097] ppid=21083 vsize=10617796 memory=0 CPUtime=0.87 cores=1,3,5,7
/proc/21086/task/21097/stat : 21097 (java) S 21083 21086 7968 0 -1 1077944384 2641 0 0 0 87 0 0 0 20 0 16 0 17003420 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496999290992 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21098] ppid=21083 vsize=10617796 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/21086/task/21098/stat : 21098 (java) S 21083 21086 7968 0 -1 1077944384 7071 0 0 0 122 1 0 0 20 0 16 0 17003420 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496998238192 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21099] ppid=21083 vsize=10617796 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/21086/task/21099/stat : 21099 (java) S 21083 21086 7968 0 -1 1077944384 1367 0 0 0 27 0 0 0 20 0 16 0 17003420 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496997185904 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21100] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21100/stat : 21100 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003421 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496996133344 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21101] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21101/stat : 21101 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003426 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496995081136 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21102] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21102/stat : 21102 (java) S 21083 21086 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 17003513 10872623104 63212 18446744073709551615 4194304 4196468 140728040379456 140496994026672 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 252848 KiB
[startup+3.60083 s]
/proc/loadavg: 2.00 2.01 2.05 3/213 21102
/proc/meminfo: memFree=29913376/32770624 swapFree=67108860/67108860
[pid=21086] ppid=21083 vsize=10617796 memory=338348 CPUtime=6.3 cores=1,3,5,7
/proc/21086/stat : 21086 (java) S 21083 21086 7968 0 -1 1077944320 23326 0 0 0 609 21 0 0 20 0 16 0 17003406 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140728040362000 140497508130551 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
/proc/21086/statm: 2654449 84587 3094 1 0 2643902 0
[pid=21086/tid=21088] ppid=21083 vsize=10617796 memory=0 CPUtime=3.27 cores=1,3,5,7
/proc/21086/task/21088/stat : 21088 (java) R 21083 21086 7968 0 -1 4202560 8283 0 0 0 323 4 0 0 20 0 16 0 17003415 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140497512369584 140497124516977 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21089] ppid=21083 vsize=10617796 memory=6944652177228980320 CPUtime=0.14 cores=1,3,5,7
/proc/21086/task/21089/stat : 21089 (java) S 21083 21086 7968 0 -1 1077944384 198 0 0 0 11 3 0 0 20 0 16 0 17003416 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140497449167248 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21090] ppid=21083 vsize=10617796 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/21086/task/21090/stat : 21090 (java) S 21083 21086 7968 0 -1 1077944384 172 0 0 0 11 3 0 0 20 0 16 0 17003416 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140497448114448 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21091] ppid=21083 vsize=10617796 memory=33284 CPUtime=0.15 cores=1,3,5,7
/proc/21086/task/21091/stat : 21091 (java) S 21083 21086 7968 0 -1 1077944384 681 0 0 0 12 3 0 0 20 0 16 0 17003416 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140497447062160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21092] ppid=21083 vsize=10617796 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/21086/task/21092/stat : 21092 (java) S 21083 21086 7968 0 -1 1077944384 191 0 0 0 10 3 0 0 20 0 16 0 17003416 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140497446009360 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21093] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21093/stat : 21093 (java) S 21083 21086 7968 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 16 0 17003417 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140497003502192 140497508141698 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21094] ppid=21083 vsize=10617796 memory=11804 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21094/stat : 21094 (java) S 21083 21086 7968 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 17003418 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140497002448224 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21095] ppid=21083 vsize=10617796 memory=14031 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21095/stat : 21095 (java) S 21083 21086 7968 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 17003418 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140497001395824 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21096] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21096/stat : 21096 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003420 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140497000344144 140497508149147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21097] ppid=21083 vsize=10617796 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/21086/task/21097/stat : 21097 (java) S 21083 21086 7968 0 -1 1077944384 3043 0 0 0 89 0 0 0 20 0 16 0 17003420 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140496999290992 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21098] ppid=21083 vsize=10617796 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/21086/task/21098/stat : 21098 (java) S 21083 21086 7968 0 -1 1077944384 7248 0 0 0 122 1 0 0 20 0 16 0 17003420 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140496998238192 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21099] ppid=21083 vsize=10617796 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/21086/task/21099/stat : 21099 (java) S 21083 21086 7968 0 -1 1077944384 1785 0 0 0 27 0 0 0 20 0 16 0 17003420 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140496997185904 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21100] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21100/stat : 21100 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003421 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140496996133344 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21101] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21101/stat : 21101 (java) S 21083 21086 7968 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 17003426 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140496995081136 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21102] ppid=21083 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21102/stat : 21102 (java) S 21083 21086 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 17003513 10872623104 84587 18446744073709551615 4194304 4196468 140728040379456 140496994026672 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 338348 KiB
[startup+3.80074 s]
/proc/loadavg: 2.00 2.01 2.05 3/213 21102
/proc/meminfo: memFree=29913376/32770624 swapFree=67108860/67108860
[pid=21086] ppid=21083 vsize=10750924 memory=338476 CPUtime=6.36 cores=1,3,5,7
/proc/21086/stat : 21086 (java) S 21083 21086 7968 0 -1 1077944320 23732 0 0 0 615 21 0 0 20 0 16 0 17003406 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140728040362000 140497508130551 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
/proc/21086/statm: 2687731 84619 3096 1 0 2677184 0
[pid=21086/tid=21088] ppid=21083 vsize=10750924 memory=7955722409475336547 CPUtime=3.3 cores=1,3,5,7
/proc/21086/task/21088/stat : 21088 (java) S 21083 21086 7968 0 -1 1077944384 8465 0 0 0 326 4 0 0 20 0 16 0 17003415 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140497512371232 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21089] ppid=21083 vsize=10750924 memory=7373352817559363648 CPUtime=0.14 cores=1,3,5,7
/proc/21086/task/21089/stat : 21089 (java) S 21083 21086 7968 0 -1 1077944384 198 0 0 0 11 3 0 0 20 0 16 0 17003416 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140497449167248 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21090] ppid=21083 vsize=10750924 memory=7228952860318393920 CPUtime=0.14 cores=1,3,5,7
/proc/21086/task/21090/stat : 21090 (java) S 21083 21086 7968 0 -1 1077944384 172 0 0 0 11 3 0 0 20 0 16 0 17003416 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140497448114448 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21091] ppid=21083 vsize=10750924 memory=33156 CPUtime=0.15 cores=1,3,5,7
/proc/21086/task/21091/stat : 21091 (java) S 21083 21086 7968 0 -1 1077944384 681 0 0 0 12 3 0 0 20 0 16 0 17003416 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140497447062160 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21092] ppid=21083 vsize=10750924 memory=7881696724453321575 CPUtime=0.13 cores=1,3,5,7
/proc/21086/task/21092/stat : 21092 (java) S 21083 21086 7968 0 -1 1077944384 191 0 0 0 10 3 0 0 20 0 16 0 17003416 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140497446009360 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21093] ppid=21083 vsize=10750924 memory=5787213852901402449 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21093/stat : 21093 (java) S 21083 21086 7968 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 16 0 17003417 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140497003502192 140497508141698 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21094] ppid=21083 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21094/stat : 21094 (java) S 21083 21086 7968 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 17003418 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140497002448224 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21095] ppid=21083 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21095/stat : 21095 (java) S 21083 21086 7968 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 17003418 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140497001395824 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21096] ppid=21083 vsize=10750924 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21096/stat : 21096 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003420 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140497000344144 140497508149147 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21097] ppid=21083 vsize=10750924 memory=5859271421084390760 CPUtime=0.9 cores=1,3,5,7
/proc/21086/task/21097/stat : 21097 (java) S 21083 21086 7968 0 -1 1077944384 3061 0 0 0 90 0 0 0 20 0 16 0 17003420 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140496999290992 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21098] ppid=21083 vsize=10750924 memory=7660734387898699862 CPUtime=1.24 cores=1,3,5,7
/proc/21086/task/21098/stat : 21098 (java) S 21083 21086 7968 0 -1 1077944384 7305 0 0 0 123 1 0 0 20 0 16 0 17003420 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140496998238192 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21099] ppid=21083 vsize=10750924 memory=7739276948478389098 CPUtime=0.28 cores=1,3,5,7
/proc/21086/task/21099/stat : 21099 (java) S 21083 21086 7968 0 -1 1077944384 1820 0 0 0 28 0 0 0 20 0 16 0 17003420 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140496997185904 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21100] ppid=21083 vsize=10750924 memory=5787495302022849088 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21100/stat : 21100 (java) S 21083 21086 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 17003421 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140496996133344 140497508140757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
[pid=21086/tid=21101] ppid=21083 vsize=10750924 memory=7448488012996307025 CPUtime=0 cores=1,3,5,7
/proc/21086/task/21101/stat : 21101 (java) S 21083 21086 7968 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 17003426 11008946176 84619 18446744073709551615 4194304 4196468 140728040379456 140496995081136 140497508141698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26308608 140728040386961 140728040387114 140728040387114 140728040390607 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 338476 KiB
Child status: 0
Real time (s): 3.85539
CPU time (s): 6.38574
CPU user time (s): 6.16457
CPU system time (s): 0.221168
CPU usage (%): 165.631
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 338476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.16457
system time used= 0.221168
maximum resident set size= 338892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1613
involuntary context switches= 26
# summary of solver processes directly reported to runsolver:
# pid: 21086
# total CPU time (s): 6.38574
# total CPU user time (s): 6.16457
# total CPU system time (s): 0.221168
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044385 second user time and 0.077705 second system time
The end