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 (11791 MiB free)
memory of node 1: 16384 MiB (13175 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405996-1569401205/watcher-4405996-1569401205 -o /var/tmp/evaluation-result-4405996-1569401205/solver-4405996-1569401205 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1569396627-31209 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 674984274 HOME/instance-4405996-1569401205.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
Current StackSize limit: 8192 KiB
solver pid=32095, runsolver pid=32092
[startup+0.100157 s]*
/proc/loadavg: 1.95 1.92 1.81 4/229 32111
/proc/meminfo: memFree=25549580/32770624 swapFree=66992596/67108860
[pid=32095] ppid=32092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32095/stat : 32095 (xcsp3-exec) S 32092 32095 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516383021 115843072 363 33554432000 4194304 5098028 140731954282192 140731954280296 140409235391100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14974976 140731954287447 140731954287705 140731954287705 140731954290630 0
/proc/32095/statm: 28282 363 304 221 0 87 0
[pid=32097] ppid=32095 vsize=15144776 memory=29400 CPUtime=0.13 cores=1,3,5,7
/proc/32097/stat : 32097 (java) S 32095 32095 31177 0 -1 1077944320 5792 0 0 0 12 1 0 0 20 0 15 0 516383021 15508250624 7350 33554432000 4194304 4196468 140723786899968 140723786882512 140572517748471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
/proc/32097/statm: 3786194 7350 3153 1 0 3748377 0
[pid=32097/tid=32098] ppid=32095 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/32097/task/32098/stat : 32098 (java) R 32095 32095 31177 0 -1 4202560 3714 0 0 0 8 1 0 0 20 0 15 0 516383021 15508250624 7350 33554432000 4194304 4196468 140723786899968 140572521979616 140572517770397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32099] ppid=32095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32099/stat : 32099 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15508250624 7350 33554432000 4194304 4196468 140723786899968 140572470369296 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32100] ppid=32095 vsize=15144776 memory=139836507117184 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32100/stat : 32100 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15508250624 7350 33554432000 4194304 4196468 140723786899968 140572469316752 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32101] ppid=32095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32101/stat : 32101 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15508250624 7350 33554432000 4194304 4196468 140723786899968 140572107922192 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32102] ppid=32095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32102/stat : 32102 (java) S 32095 32095 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516383022 15508250624 7350 33554432000 4194304 4196468 140723786899968 140572106869648 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32103] ppid=32095 vsize=15144776 memory=139836507117184 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32103/stat : 32103 (java) S 32095 32095 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516383023 15508250624 7350 33554432000 4194304 4196468 140723786899968 140571986311408 140572517759618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32104] ppid=32095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32104/stat : 32104 (java) S 32095 32095 31177 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516383024 15508250624 7350 33554432000 4194304 4196468 140723786899968 140571985257632 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32105] ppid=32095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32105/stat : 32105 (java) S 32095 32095 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516383024 15508250624 7350 33554432000 4194304 4196468 140723786899968 140571984204528 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32106] ppid=32095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32106/stat : 32106 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15508250624 7350 33554432000 4194304 4196468 140723786899968 140571983153104 140572517767067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32107] ppid=32095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32107/stat : 32107 (java) R 32095 32095 31177 0 -1 4202560 450 0 0 0 0 0 0 0 20 0 15 0 516383027 15508250624 7350 33554432000 4194304 4196468 140723786899968 140571982101232 140572494993216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32108] ppid=32095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32108/stat : 32108 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383027 15508250624 7350 33554432000 4194304 4196468 140723786899968 140571981048688 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32109] ppid=32095 vsize=15144776 memory=139836507117184 CPUtime=0.02 cores=1,3,5,7
/proc/32097/task/32109/stat : 32109 (java) R 32095 32095 31177 0 -1 4202560 323 0 0 0 2 0 0 0 20 0 15 0 516383027 15508250624 7350 33554432000 4194304 4196468 140723786899968 140571979995632 140572517769818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32110] ppid=32095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32110/stat : 32110 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15508250624 7350 33554432000 4194304 4196468 140723786899968 140571978943328 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32111] ppid=32095 vsize=15144776 memory=139836507117184 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32111/stat : 32111 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383027 15508250624 7350 33554432000 4194304 4196468 140723786899968 140571977890352 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30852 KiB
[startup+0.211343 s]*
/proc/loadavg: 1.95 1.92 1.81 4/229 32111
/proc/meminfo: memFree=25536080/32770624 swapFree=66992596/67108860
[pid=32095] ppid=32092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32095/stat : 32095 (xcsp3-exec) S 32092 32095 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516383021 115843072 363 33554432000 4194304 5098028 140731954282192 140731954280296 140409235391100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14974976 140731954287447 140731954287705 140731954287705 140731954290630 0
/proc/32095/statm: 28282 363 304 221 0 87 0
[pid=32097] ppid=32095 vsize=15144776 memory=41116 CPUtime=0.34 cores=1,3,5,7
/proc/32097/stat : 32097 (java) S 32095 32095 31177 0 -1 1077944320 9478 0 0 0 31 3 0 0 20 0 15 0 516383021 15508250624 10279 33554432000 4194304 4196468 140723786899968 140723786882512 140572517748471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
/proc/32097/statm: 3786194 10279 3307 1 0 3748377 0
[pid=32097/tid=32098] ppid=32095 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32097/task/32098/stat : 32098 (java) R 32095 32095 31177 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 15 0 516383021 15508250624 10279 33554432000 4194304 4196468 140723786899968 140572521985936 140572517769818 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32099] ppid=32095 vsize=15144776 memory=2995869 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32099/stat : 32099 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15508250624 10279 33554432000 4194304 4196468 140723786899968 140572470369296 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32100] ppid=32095 vsize=15144776 memory=139836507146916 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32100/stat : 32100 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15508250624 10279 33554432000 4194304 4196468 140723786899968 140572469316752 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32101] ppid=32095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32101/stat : 32101 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15508250624 10279 33554432000 4194304 4196468 140723786899968 140572107922192 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32102] ppid=32095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32102/stat : 32102 (java) S 32095 32095 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516383022 15508250624 10279 33554432000 4194304 4196468 140723786899968 140572106869648 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32103] ppid=32095 vsize=15144776 memory=139836507117184 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32103/stat : 32103 (java) S 32095 32095 31177 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516383023 15508250624 10279 33554432000 4194304 4196468 140723786899968 140571986311408 140572517759618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32104] ppid=32095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32104/stat : 32104 (java) S 32095 32095 31177 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516383024 15508250624 10279 33554432000 4194304 4196468 140723786899968 140571985257632 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32105] ppid=32095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32105/stat : 32105 (java) S 32095 32095 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516383024 15508250624 10279 33554432000 4194304 4196468 140723786899968 140571984204528 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32106] ppid=32095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32106/stat : 32106 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15508250624 10279 33554432000 4194304 4196468 140723786899968 140571983153104 140572517767067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32107] ppid=32095 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32097/task/32107/stat : 32107 (java) S 32095 32095 31177 0 -1 1077944384 694 0 0 0 3 0 0 0 20 0 15 0 516383027 15508250624 10279 33554432000 4194304 4196468 140723786899968 140571982101232 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32108] ppid=32095 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32097/task/32108/stat : 32108 (java) S 32095 32095 31177 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 15 0 516383027 15508250624 10279 33554432000 4194304 4196468 140723786899968 140571981048688 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32109] ppid=32095 vsize=15144776 memory=139836507117184 CPUtime=0.08 cores=1,3,5,7
/proc/32097/task/32109/stat : 32109 (java) S 32095 32095 31177 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 15 0 516383027 15508250624 10279 33554432000 4194304 4196468 140723786899968 140571979995632 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32110] ppid=32095 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32110/stat : 32110 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15508250624 10279 33554432000 4194304 4196468 140723786899968 140571978943328 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32111] ppid=32095 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32111/stat : 32111 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383027 15508250624 10279 33554432000 4194304 4196468 140723786899968 140571977890352 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42568 KiB
[startup+0.310696 s]*
/proc/loadavg: 1.95 1.92 1.81 5/229 32111
/proc/meminfo: memFree=25529180/32770624 swapFree=66992596/67108860
[pid=32095] ppid=32092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32095/stat : 32095 (xcsp3-exec) S 32092 32095 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516383021 115843072 363 33554432000 4194304 5098028 140731954282192 140731954280296 140409235391100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14974976 140731954287447 140731954287705 140731954287705 140731954290630 0
/proc/32095/statm: 28282 363 304 221 0 87 0
[pid=32097] ppid=32095 vsize=15149032 memory=49732 CPUtime=0.53 cores=1,3,5,7
/proc/32097/stat : 32097 (java) S 32095 32095 31177 0 -1 1077944320 10825 0 0 0 49 4 0 0 20 0 15 0 516383021 15512608768 12433 33554432000 4194304 4196468 140723786899968 140723786882512 140572517748471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
/proc/32097/statm: 3787258 12433 3344 1 0 3748377 0
[pid=32097/tid=32098] ppid=32095 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/32097/task/32098/stat : 32098 (java) R 32095 32095 31177 0 -1 4202560 7817 0 0 0 27 3 0 0 20 0 15 0 516383021 15512608768 12433 33554432000 4194304 4196468 140723786899968 140572521975528 140572501828958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32099] ppid=32095 vsize=15149032 memory=2996211 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32099/stat : 32099 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15512608768 12433 33554432000 4194304 4196468 140723786899968 140572470369296 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32100] ppid=32095 vsize=15149032 memory=4051326751463468418 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32100/stat : 32100 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15512608768 12433 33554432000 4194304 4196468 140723786899968 140572469316752 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32101] ppid=32095 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32101/stat : 32101 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15512608768 12433 33554432000 4194304 4196468 140723786899968 140572107922192 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32102] ppid=32095 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32102/stat : 32102 (java) S 32095 32095 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516383022 15512608768 12433 33554432000 4194304 4196468 140723786899968 140572106869648 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32103] ppid=32095 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32103/stat : 32103 (java) S 32095 32095 31177 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516383023 15512608768 12433 33554432000 4194304 4196468 140723786899968 140571986311408 140572517759618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32104] ppid=32095 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32104/stat : 32104 (java) S 32095 32095 31177 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516383024 15512608768 12433 33554432000 4194304 4196468 140723786899968 140571985257632 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32105] ppid=32095 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32105/stat : 32105 (java) S 32095 32095 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516383024 15512608768 12433 33554432000 4194304 4196468 140723786899968 140571984204528 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32106] ppid=32095 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32106/stat : 32106 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15512608768 12433 33554432000 4194304 4196468 140723786899968 140571983153104 140572517767067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32107] ppid=32095 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/32097/task/32107/stat : 32107 (java) S 32095 32095 31177 0 -1 1077944384 708 0 0 0 5 0 0 0 20 0 15 0 516383027 15512608768 12433 33554432000 4194304 4196468 140723786899968 140571982101232 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32108] ppid=32095 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/32097/task/32108/stat : 32108 (java) R 32095 32095 31177 0 -1 4202560 184 0 0 0 4 0 0 0 20 0 15 0 516383027 15512608768 12433 33554432000 4194304 4196468 140723786899968 140571981029704 140572499270937 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32109] ppid=32095 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32097/task/32109/stat : 32109 (java) S 32095 32095 31177 0 -1 1077944384 811 0 0 0 12 0 0 0 20 0 15 0 516383027 15512608768 12433 33554432000 4194304 4196468 140723786899968 140571979995632 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32110] ppid=32095 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32110/stat : 32110 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15512608768 12433 33554432000 4194304 4196468 140723786899968 140571978943328 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32111] ppid=32095 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32111/stat : 32111 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383027 15512608768 12433 33554432000 4194304 4196468 140723786899968 140571977890352 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51184 KiB
[startup+0.700824 s]
/proc/loadavg: 1.95 1.92 1.81 5/229 32111
/proc/meminfo: memFree=25514656/32770624 swapFree=66992596/67108860
[pid=32095] ppid=32092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32095/stat : 32095 (xcsp3-exec) S 32092 32095 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516383021 115843072 363 33554432000 4194304 5098028 140731954282192 140731954280296 140409235391100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14974976 140731954287447 140731954287705 140731954287705 140731954290630 0
/proc/32095/statm: 28282 363 304 221 0 87 0
[pid=32097] ppid=32095 vsize=15151156 memory=94492 CPUtime=1.62 cores=1,3,5,7
/proc/32097/stat : 32097 (java) S 32095 32095 31177 0 -1 1077944320 14733 0 0 0 155 7 0 0 20 0 15 0 516383021 15514783744 23623 33554432000 4194304 4196468 140723786899968 140723786882512 140572517748471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
/proc/32097/statm: 3787789 23623 3456 1 0 3748889 0
[pid=32097/tid=32098] ppid=32095 vsize=15151156 memory=21936 CPUtime=0.67 cores=1,3,5,7
/proc/32097/task/32098/stat : 32098 (java) R 32095 32095 31177 0 -1 4202560 9041 0 0 0 63 4 0 0 20 0 15 0 516383021 15514783744 23623 33554432000 4194304 4196468 140723786899968 140572521985200 140572151821859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32099] ppid=32095 vsize=15151156 memory=512 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32099/stat : 32099 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15514783744 23623 33554432000 4194304 4196468 140723786899968 140572470369296 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32100] ppid=32095 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32100/stat : 32100 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15514783744 23623 33554432000 4194304 4196468 140723786899968 140572469316752 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32101] ppid=32095 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32101/stat : 32101 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383022 15514783744 23623 33554432000 4194304 4196468 140723786899968 140572107922192 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32102] ppid=32095 vsize=15151156 memory=3784 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32102/stat : 32102 (java) S 32095 32095 31177 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516383022 15514783744 23623 33554432000 4194304 4196468 140723786899968 140572106869648 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32103] ppid=32095 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32103/stat : 32103 (java) S 32095 32095 31177 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516383023 15514783744 23623 33554432000 4194304 4196468 140723786899968 140571986311408 140572517759618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32104] ppid=32095 vsize=15151156 memory=904 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32104/stat : 32104 (java) S 32095 32095 31177 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516383024 15514783744 23623 33554432000 4194304 4196468 140723786899968 140571985257632 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32105] ppid=32095 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32105/stat : 32105 (java) S 32095 32095 31177 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516383024 15514783744 23623 33554432000 4194304 4196468 140723786899968 140571984204528 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32106] ppid=32095 vsize=15151156 memory=2528 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32106/stat : 32106 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15514783744 23623 33554432000 4194304 4196468 140723786899968 140571983153104 140572517767067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32107] ppid=32095 vsize=15151156 memory=1764 CPUtime=0.25 cores=1,3,5,7
/proc/32097/task/32107/stat : 32107 (java) R 32095 32095 31177 0 -1 4202560 1497 0 0 0 25 0 0 0 20 0 15 0 516383027 15514783744 23623 33554432000 4194304 4196468 140723786899968 140571982101232 140572497001072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32108] ppid=32095 vsize=15151156 memory=111632 CPUtime=0.27 cores=1,3,5,7
/proc/32097/task/32108/stat : 32108 (java) R 32095 32095 31177 0 -1 4202560 1086 0 0 0 27 0 0 0 20 0 15 0 516383027 15514783744 23623 33554432000 4194304 4196468 140723786899968 140571981039728 140572502874894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32109] ppid=32095 vsize=15151156 memory=804 CPUtime=0.4 cores=1,3,5,7
/proc/32097/task/32109/stat : 32109 (java) S 32095 32095 31177 0 -1 1077944384 1800 0 0 0 39 1 0 0 20 0 15 0 516383027 15514783744 23623 33554432000 4194304 4196468 140723786899968 140571979995632 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32110] ppid=32095 vsize=15151156 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32110/stat : 32110 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15514783744 23623 33554432000 4194304 4196468 140723786899968 140571978943328 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32111] ppid=32095 vsize=15151156 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32111/stat : 32111 (java) S 32095 32095 31177 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516383027 15514783744 23623 33554432000 4194304 4196468 140723786899968 140571977890352 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 95944 KiB
[startup+1.50085 s]
/proc/loadavg: 1.95 1.92 1.81 5/229 32111
/proc/meminfo: memFree=25335124/32770624 swapFree=66992596/67108860
[pid=32095] ppid=32092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32095/stat : 32095 (xcsp3-exec) S 32092 32095 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516383021 115843072 363 33554432000 4194304 5098028 140731954282192 140731954280296 140409235391100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14974976 140731954287447 140731954287705 140731954287705 140731954290630 0
/proc/32095/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/32097/task/32105/stat : 32105 (java) S 32095 32095 31177 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516383024 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571984204528 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32106] ppid=32095 vsize=15151156 memory=439060 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32106/stat : 32106 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571983153104 140572517767067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32107] ppid=32095 vsize=15151156 memory=439060 CPUtime=1.38 cores=1,3,5,7
/proc/32097/task/32107/stat : 32107 (java) S 32095 32095 31177 0 -1 1077944384 11370 0 0 0 136 2 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571982101232 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32108] ppid=32095 vsize=15151156 memory=2004 CPUtime=1.38 cores=1,3,5,7
/proc/32097/task/32108/stat : 32108 (java) S 32095 32095 31177 0 -1 1077944384 9698 0 0 0 137 1 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571981048688 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32109] ppid=32095 vsize=15151156 memory=984 CPUtime=0.65 cores=1,3,5,7
/proc/32097/task/32109/stat : 32109 (java) S 32095 32095 31177 0 -1 1077944384 6170 0 0 0 63 2 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571979995632 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32110] ppid=32095 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32110/stat : 32110 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571978943328 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32111] ppid=32095 vsize=15151156 memory=439060 CPUtime=1.59 cores=1,3,5,7
/proc/32097/task/32111/stat : 32111 (java) S 32095 32095 31177 0 -1 1077944384 1227 0 0 0 64 95 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571977890352 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
Current children cumulated CPU time: 2447.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 440512 KiB
[startup+2502.3 s]
/proc/loadavg: 1.85 1.92 1.94 3/229 32592
/proc/meminfo: memFree=25147916/32770624 swapFree=66992608/67108860
[pid=32095] ppid=32092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32095/stat : 32095 (xcsp3-exec) S 32092 32095 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516383021 115843072 363 33554432000 4194304 5098028 140731954282192 140731954280296 140409235391100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14974976 140731954287447 140731954287705 140731954287705 140731954290630 0
/proc/32095/statm: 28282 363 304 221 0 87 0
[pid=32097] ppid=32095 vsize=15151156 memory=439060 CPUtime=2507.8 cores=1,3,5,7
/proc/32097/stat : 32097 (java) S 32095 32095 31177 0 -1 1077944320 62605 0 0 0 250666 114 0 0 20 0 15 0 516383021 15514783744 109765 33554432000 4194304 4196468 140723786899968 140723786882512 140572517748471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
/proc/32097/statm: 3787789 109765 3509 1 0 3748889 0
[pid=32097/tid=32098] ppid=32095 vsize=15151156 memory=439060 CPUtime=2502.04 cores=1,3,5,7
/proc/32097/task/32098/stat : 32098 (java) R 32095 32095 31177 0 -1 4202560 29144 0 0 0 250194 10 0 0 20 0 15 0 516383021 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572521987184 140572154531849 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32099] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.14 cores=1,3,5,7
/proc/32097/task/32099/stat : 32099 (java) S 32095 32095 31177 0 -1 1077944384 401 0 0 0 10 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572470369296 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32100] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.14 cores=1,3,5,7
/proc/32097/task/32100/stat : 32100 (java) S 32095 32095 31177 0 -1 1077944384 937 0 0 0 10 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572469316752 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32101] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.13 cores=1,3,5,7
/proc/32097/task/32101/stat : 32101 (java) S 32095 32095 31177 0 -1 1077944384 538 0 0 0 9 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572107922192 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32102] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.14 cores=1,3,5,7
/proc/32097/task/32102/stat : 32102 (java) S 32095 32095 31177 0 -1 1077944384 582 0 0 0 10 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572106869648 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32103] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.07 cores=1,3,5,7
/proc/32097/task/32103/stat : 32103 (java) S 32095 32095 31177 0 -1 1077944384 1211 0 0 0 3 4 0 0 20 0 15 0 516383023 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571986311408 140572517759618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32104] ppid=32095 vsize=15151156 memory=439060 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32104/stat : 32104 (java) S 32095 32095 31177 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516383024 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571985257632 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32105] ppid=32095 vsize=15151156 memory=439060 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32105/stat : 32105 (java) S 32095 32095 31177 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516383024 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571984204528 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32106] ppid=32095 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32106/stat : 32106 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571983153104 140572517767067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32107] ppid=32095 vsize=15151156 memory=51084 CPUtime=1.38 cores=1,3,5,7
/proc/32097/task/32107/stat : 32107 (java) S 32095 32095 31177 0 -1 1077944384 11372 0 0 0 136 2 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571982101232 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32108] ppid=32095 vsize=15151156 memory=1452 CPUtime=1.38 cores=1,3,5,7
/proc/32097/task/32108/stat : 32108 (java) S 32095 32095 31177 0 -1 1077944384 9700 0 0 0 137 1 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571981048688 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32109] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.65 cores=1,3,5,7
/proc/32097/task/32109/stat : 32109 (java) S 32095 32095 31177 0 -1 1077944384 6174 0 0 0 63 2 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571979995632 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32110] ppid=32095 vsize=15151156 memory=439060 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32110/stat : 32110 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571978943328 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32111] ppid=32095 vsize=15151156 memory=1452 CPUtime=1.63 cores=1,3,5,7
/proc/32097/task/32111/stat : 32111 (java) S 32095 32095 31177 0 -1 1077944384 1247 0 0 0 66 97 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571977890352 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
Current children cumulated CPU time: 2507.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 440512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.5 s]
/proc/loadavg: 1.80 1.91 1.94 3/229 32593
/proc/meminfo: memFree=25147796/32770624 swapFree=66992608/67108860
[pid=32095] ppid=32092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32095/stat : 32095 (xcsp3-exec) S 32092 32095 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516383021 115843072 363 33554432000 4194304 5098028 140731954282192 140731954280296 140409235391100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14974976 140731954287447 140731954287705 140731954287705 140731954290630 0
/proc/32095/statm: 28282 363 304 221 0 87 0
[pid=32097] ppid=32095 vsize=15151156 memory=439060 CPUtime=2520 cores=1,3,5,7
/proc/32097/stat : 32097 (java) S 32095 32095 31177 0 -1 1077944320 62611 0 0 0 251886 114 0 0 20 0 15 0 516383021 15514783744 109765 33554432000 4194304 4196468 140723786899968 140723786882512 140572517748471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
/proc/32097/statm: 3787789 109765 3509 1 0 3748889 0
[pid=32097/tid=32098] ppid=32095 vsize=15151156 memory=439060 CPUtime=2514.24 cores=1,3,5,7
/proc/32097/task/32098/stat : 32098 (java) R 32095 32095 31177 0 -1 4202560 29148 0 0 0 251414 10 0 0 20 0 15 0 516383021 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572521987184 140572154531479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32099] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.14 cores=1,3,5,7
/proc/32097/task/32099/stat : 32099 (java) S 32095 32095 31177 0 -1 1077944384 401 0 0 0 10 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572470369296 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32100] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.14 cores=1,3,5,7
/proc/32097/task/32100/stat : 32100 (java) S 32095 32095 31177 0 -1 1077944384 937 0 0 0 10 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572469316752 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32101] ppid=32095 vsize=15151156 memory=1452 CPUtime=0.13 cores=1,3,5,7
/proc/32097/task/32101/stat : 32101 (java) S 32095 32095 31177 0 -1 1077944384 538 0 0 0 9 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572107922192 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32102] ppid=32095 vsize=15151156 memory=1452 CPUtime=0.14 cores=1,3,5,7
/proc/32097/task/32102/stat : 32102 (java) S 32095 32095 31177 0 -1 1077944384 582 0 0 0 10 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572106869648 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32103] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.07 cores=1,3,5,7
/proc/32097/task/32103/stat : 32103 (java) S 32095 32095 31177 0 -1 1077944384 1211 0 0 0 3 4 0 0 20 0 15 0 516383023 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571986311408 140572517759618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32104] ppid=32095 vsize=15151156 memory=2844 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32104/stat : 32104 (java) S 32095 32095 31177 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516383024 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571985257632 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32105] ppid=32095 vsize=15151156 memory=2600 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32105/stat : 32105 (java) S 32095 32095 31177 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516383024 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571984204528 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32106] ppid=32095 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32106/stat : 32106 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571983153104 140572517767067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32107] ppid=32095 vsize=15151156 memory=1452 CPUtime=1.38 cores=1,3,5,7
/proc/32097/task/32107/stat : 32107 (java) S 32095 32095 31177 0 -1 1077944384 11372 0 0 0 136 2 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571982101232 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32108] ppid=32095 vsize=15151156 memory=6791534058613427641 CPUtime=1.38 cores=1,3,5,7
/proc/32097/task/32108/stat : 32108 (java) S 32095 32095 31177 0 -1 1077944384 9700 0 0 0 137 1 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571981048688 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32109] ppid=32095 vsize=15151156 memory=4126316290023845779 CPUtime=0.65 cores=1,3,5,7
/proc/32097/task/32109/stat : 32109 (java) S 32095 32095 31177 0 -1 1077944384 6174 0 0 0 63 2 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571979995632 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32110] ppid=32095 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32110/stat : 32110 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571978943328 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32111] ppid=32095 vsize=15151156 memory=51084 CPUtime=1.63 cores=1,3,5,7
/proc/32097/task/32111/stat : 32111 (java) S 32095 32095 31177 0 -1 1077944384 1249 0 0 0 66 97 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571977890352 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 440512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.51 s]
# the end of solver process 32095 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002047 s, system=0.001115 s
[startup+2514.51 s]
# the end of solver process 32097 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.88 s, system=1.14931 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.5 s]
/proc/loadavg: 1.80 1.91 1.94 3/229 32593
/proc/meminfo: memFree=25147796/32770624 swapFree=66992608/67108860
[pid=32095] ppid=32092 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32095/stat : 32095 (xcsp3-exec) S 32092 32095 31177 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516383021 115843072 363 33554432000 4194304 5098028 140731954282192 140731954280296 140409235391100 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14974976 140731954287447 140731954287705 140731954287705 140731954290630 0
/proc/32095/statm: 28282 363 304 221 0 87 0
[pid=32097] ppid=32095 vsize=15151156 memory=439060 CPUtime=2520 cores=1,3,5,7
/proc/32097/stat : 32097 (java) S 32095 32095 31177 0 -1 1077944320 62611 0 0 0 251886 114 0 0 20 0 15 0 516383021 15514783744 109765 33554432000 4194304 4196468 140723786899968 140723786882512 140572517748471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
/proc/32097/statm: 3787789 109765 3509 1 0 3748889 0
[pid=32097/tid=32098] ppid=32095 vsize=15151156 memory=439060 CPUtime=2514.24 cores=1,3,5,7
/proc/32097/task/32098/stat : 32098 (java) R 32095 32095 31177 0 -1 4202560 29148 0 0 0 251414 10 0 0 20 0 15 0 516383021 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572521987184 140572154531479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32099] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.14 cores=1,3,5,7
/proc/32097/task/32099/stat : 32099 (java) S 32095 32095 31177 0 -1 1077944384 401 0 0 0 10 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572470369296 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32100] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.14 cores=1,3,5,7
/proc/32097/task/32100/stat : 32100 (java) S 32095 32095 31177 0 -1 1077944384 937 0 0 0 10 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572469316752 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32101] ppid=32095 vsize=15151156 memory=1452 CPUtime=0.13 cores=1,3,5,7
/proc/32097/task/32101/stat : 32101 (java) S 32095 32095 31177 0 -1 1077944384 538 0 0 0 9 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572107922192 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32102] ppid=32095 vsize=15151156 memory=1452 CPUtime=0.14 cores=1,3,5,7
/proc/32097/task/32102/stat : 32102 (java) S 32095 32095 31177 0 -1 1077944384 582 0 0 0 10 4 0 0 20 0 15 0 516383022 15514783744 109765 33554432000 4194304 4196468 140723786899968 140572106869648 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32103] ppid=32095 vsize=15151156 memory=439060 CPUtime=0.07 cores=1,3,5,7
/proc/32097/task/32103/stat : 32103 (java) S 32095 32095 31177 0 -1 1077944384 1211 0 0 0 3 4 0 0 20 0 15 0 516383023 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571986311408 140572517759618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32104] ppid=32095 vsize=15151156 memory=2844 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32104/stat : 32104 (java) S 32095 32095 31177 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516383024 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571985257632 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32105] ppid=32095 vsize=15151156 memory=2600 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32105/stat : 32105 (java) S 32095 32095 31177 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516383024 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571984204528 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32106] ppid=32095 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32106/stat : 32106 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571983153104 140572517767067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32107] ppid=32095 vsize=15151156 memory=1452 CPUtime=1.38 cores=1,3,5,7
/proc/32097/task/32107/stat : 32107 (java) S 32095 32095 31177 0 -1 1077944384 11372 0 0 0 136 2 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571982101232 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32108] ppid=32095 vsize=15151156 memory=6791534058613427641 CPUtime=1.38 cores=1,3,5,7
/proc/32097/task/32108/stat : 32108 (java) S 32095 32095 31177 0 -1 1077944384 9700 0 0 0 137 1 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571981048688 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32109] ppid=32095 vsize=15151156 memory=4126316290023845779 CPUtime=0.65 cores=1,3,5,7
/proc/32097/task/32109/stat : 32109 (java) S 32095 32095 31177 0 -1 1077944384 6174 0 0 0 63 2 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571979995632 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32110] ppid=32095 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/32097/task/32110/stat : 32110 (java) S 32095 32095 31177 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571978943328 140572517758677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
[pid=32097/tid=32111] ppid=32095 vsize=15151156 memory=51084 CPUtime=1.63 cores=1,3,5,7
/proc/32097/task/32111/stat : 32111 (java) S 32095 32095 31177 0 -1 1077944384 1249 0 0 0 66 97 0 0 20 0 15 0 516383027 15514783744 109765 33554432000 4194304 4196468 140723786899968 140571977890352 140572517759618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 35508224 140723786908635 140723786908810 140723786908810 140723786911695 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 440512 KiB
Child status: 143
Real time (s): 2514.51
CPU time (s): 2520.03
CPU user time (s): 2518.88
CPU system time (s): 1.14931
CPU usage (%): 100.219
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 440512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.88
system time used= 1.14931
maximum resident set size= 439564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57729
involuntary context switches= 758
# summary of solver processes directly reported to runsolver:
# pid: 32095,32097
# total CPU time (s): 2520.03
# total CPU user time (s): 2518.88
# total CPU system time (s): 1.14931
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8046 second user time and 25.8408 second system time
The end