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 (12468 MiB free)
memory of node 1: 16384 MiB (11661 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406001-1569401683/watcher-4406001-1569401683 -o /tmp/evaluation-result-4406001-1569401683/solver-4406001-1569401683 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569396627-21716 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406001-1569401683.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=22645, runsolver pid=22642
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.00 2.04 2.02 5/229 22661
/proc/meminfo: memFree=24692280/32770624 swapFree=66936820/67108860
[pid=22645] ppid=22642 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 21684 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516106103 115843072 362 33554432000 4194304 5098028 140723615679424 140723615677528 140604448420476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33394688 140723615687546 140723615687789 140723615687789 140723615690698 0
/proc/22645/statm: 28282 362 304 221 0 87 0
[pid=22647] ppid=22645 vsize=15144776 memory=29612 CPUtime=0.13 cores=1,3,5,7
/proc/22647/stat : 22647 (java) S 22645 22645 21684 0 -1 1077944320 5851 0 0 0 12 1 0 0 20 0 15 0 516106103 15508250624 7403 33554432000 4194304 4196468 140723360612896 140723360595440 140142917099255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
/proc/22647/statm: 3786194 7403 3154 1 0 3748377 0
[pid=22647/tid=22648] ppid=22645 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=1,3,5,7
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 21684 0 -1 4202560 3732 0 0 0 9 0 0 0 20 0 15 0 516106104 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142921323664 140142909340645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22649] ppid=22645 vsize=15144776 memory=3472468292572673232 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106104 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142845139216 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22650] ppid=22645 vsize=15144776 memory=140163677521536 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142844086672 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22651] ppid=22645 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142843034128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22652] ppid=22645 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142841981584 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22653] ppid=22645 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106106 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142385297904 140142917110402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22654] ppid=22645 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516106106 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142384244128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22655] ppid=22645 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516106106 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142383191536 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22656] ppid=22645 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142382140112 140142917117851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22657] ppid=22645 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 21684 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 516106109 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142381086704 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22658] ppid=22645 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142380034160 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22659] ppid=22645 vsize=15144776 memory=140163677521536 CPUtime=0.02 cores=1,3,5,7
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 21684 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 15 0 516106109 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142378981616 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22660] ppid=22645 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142377929312 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22661] ppid=22645 vsize=15144776 memory=140163677521536 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106109 15508250624 7403 33554432000 4194304 4196468 140723360612896 140142376876848 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31060 KiB
[startup+0.211145 s]*
/proc/loadavg: 2.00 2.04 2.02 4/229 22661
/proc/meminfo: memFree=24680012/32770624 swapFree=66936820/67108860
[pid=22645] ppid=22642 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 21684 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516106103 115843072 362 33554432000 4194304 5098028 140723615679424 140723615677528 140604448420476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33394688 140723615687546 140723615687789 140723615687789 140723615690698 0
/proc/22645/statm: 28282 362 304 221 0 87 0
[pid=22647] ppid=22645 vsize=15144776 memory=40296 CPUtime=0.35 cores=1,3,5,7
/proc/22647/stat : 22647 (java) S 22645 22645 21684 0 -1 1077944320 9321 0 0 0 32 3 0 0 20 0 15 0 516106103 15508250624 10074 33554432000 4194304 4196468 140723360612896 140723360595440 140142917099255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
/proc/22647/statm: 3786194 10074 3305 1 0 3748377 0
[pid=22647/tid=22648] ppid=22645 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=1,3,5,7
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 21684 0 -1 4202560 6603 0 0 0 18 2 0 0 20 0 15 0 516106104 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142921334240 140142901179742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22649] ppid=22645 vsize=15144776 memory=3472468292572673232 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106104 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142845139216 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22650] ppid=22645 vsize=15144776 memory=140163677521536 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142844086672 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22651] ppid=22645 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142843034128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22652] ppid=22645 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142841981584 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22653] ppid=22645 vsize=15144776 memory=140163677521536 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516106106 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142385297904 140142917110402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22654] ppid=22645 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516106106 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142384244128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22655] ppid=22645 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516106106 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142383191536 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22656] ppid=22645 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142382140112 140142917117851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22657] ppid=22645 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 21684 0 -1 1077944384 551 0 0 0 2 0 0 0 20 0 15 0 516106109 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142381086704 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22658] ppid=22645 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 21684 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 15 0 516106109 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142380034160 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22659] ppid=22645 vsize=15144776 memory=140163677521536 CPUtime=0.08 cores=1,3,5,7
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 21684 0 -1 1077944384 787 0 0 0 8 0 0 0 20 0 15 0 516106109 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142378981616 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22660] ppid=22645 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142377929312 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22661] ppid=22645 vsize=15144776 memory=140163677521536 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106109 15508250624 10074 33554432000 4194304 4196468 140723360612896 140142376876848 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41744 KiB
[startup+0.31922 s]*
/proc/loadavg: 2.00 2.04 2.02 3/229 22661
/proc/meminfo: memFree=24671748/32770624 swapFree=66936820/67108860
[pid=22645] ppid=22642 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 21684 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516106103 115843072 362 33554432000 4194304 5098028 140723615679424 140723615677528 140604448420476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33394688 140723615687546 140723615687789 140723615687789 140723615690698 0
/proc/22645/statm: 28282 362 304 221 0 87 0
[pid=22647] ppid=22645 vsize=15149032 memory=50336 CPUtime=0.55 cores=1,3,5,7
/proc/22647/stat : 22647 (java) S 22645 22645 21684 0 -1 1077944320 10951 0 0 0 51 4 0 0 20 0 15 0 516106103 15512608768 12584 33554432000 4194304 4196468 140723360612896 140723360595440 140142917099255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
/proc/22647/statm: 3787258 12584 3352 1 0 3748377 0
[pid=22647/tid=22648] ppid=22645 vsize=15149032 memory=-8094235084319000145 CPUtime=0.31 cores=1,3,5,7
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 21684 0 -1 4202560 7908 0 0 0 28 3 0 0 20 0 15 0 516106104 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142921333312 140142917121181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22649] ppid=22645 vsize=15149032 memory=3472468292572673232 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106104 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142845139216 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22650] ppid=22645 vsize=15149032 memory=280327250983296 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142844086672 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22651] ppid=22645 vsize=15149032 memory=280327146955808 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142843034128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22652] ppid=22645 vsize=15149032 memory=140163573461775 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142841981584 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22653] ppid=22645 vsize=15149032 memory=280327250992512 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516106106 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142385297904 140142917110402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22654] ppid=22645 vsize=15149032 memory=140163573466383 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516106106 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142384244128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22655] ppid=22645 vsize=15149032 memory=140163573490684 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516106106 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142383191536 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22656] ppid=22645 vsize=15149032 memory=140163573493443 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142382140112 140142917117851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22657] ppid=22645 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 21684 0 -1 1077944384 685 0 0 0 5 0 0 0 20 0 15 0 516106109 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142381086704 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22658] ppid=22645 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 21684 0 -1 1077944384 111 0 0 0 4 0 0 0 20 0 15 0 516106109 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142380034160 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22659] ppid=22645 vsize=15149032 memory=140163677521536 CPUtime=0.12 cores=1,3,5,7
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 21684 0 -1 1077944384 940 0 0 0 12 0 0 0 20 0 15 0 516106109 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142378981616 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22660] ppid=22645 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142377929312 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22661] ppid=22645 vsize=15149032 memory=140163677522984 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106109 15512608768 12584 33554432000 4194304 4196468 140723360612896 140142376876848 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51784 KiB
[startup+0.701218 s]
/proc/loadavg: 2.00 2.04 2.02 5/229 22661
/proc/meminfo: memFree=24650160/32770624 swapFree=66936820/67108860
[pid=22645] ppid=22642 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 21684 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516106103 115843072 362 33554432000 4194304 5098028 140723615679424 140723615677528 140604448420476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33394688 140723615687546 140723615687789 140723615687789 140723615690698 0
/proc/22645/statm: 28282 362 304 221 0 87 0
[pid=22647] ppid=22645 vsize=15151156 memory=112684 CPUtime=1.73 cores=1,3,5,7
/proc/22647/stat : 22647 (java) S 22645 22645 21684 0 -1 1077944320 15956 0 0 0 167 6 0 0 20 0 15 0 516106103 15514783744 28171 33554432000 4194304 4196468 140723360612896 140723360595440 140142917099255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
/proc/22647/statm: 3787789 28171 3455 1 0 3748889 0
[pid=22647/tid=22648] ppid=22645 vsize=15151156 memory=6945208551368380768 CPUtime=0.67 cores=1,3,5,7
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 21684 0 -1 4202560 9153 0 0 0 63 4 0 0 20 0 15 0 516106104 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142921334664 140142518021781 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22649] ppid=22645 vsize=15151156 memory=7084813469732589654 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106104 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142845139216 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22650] ppid=22645 vsize=15151156 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142844086672 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22651] ppid=22645 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142843034128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22652] ppid=22645 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516106104 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142841981584 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22653] ppid=22645 vsize=15151156 memory=11620 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 21684 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516106106 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142385297904 140142917110402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22654] ppid=22645 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516106106 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142384244128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22655] ppid=22645 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516106106 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142383191536 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22656] ppid=22645 vsize=15151156 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142382140112 140142917117851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22657] ppid=22645 vsize=15151156 memory=1560 CPUtime=0.37 cores=1,3,5,7
/proc/22647/task/22657/stat : 22657 (java) R 22645 22645 21684 0 -1 4202560 1988 0 0 0 37 0 0 0 20 0 15 0 516106109 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142381073056 140142896949743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22658] ppid=22645 vsize=15151156 memory=1172 CPUtime=0.31 cores=1,3,5,7
/proc/22647/task/22658/stat : 22658 (java) R 22645 22645 21684 0 -1 4202560 1393 0 0 0 31 0 0 0 20 0 15 0 516106109 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142380034160 140142896262385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22659] ppid=22645 vsize=15151156 memory=14008 CPUtime=0.35 cores=1,3,5,7
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 21684 0 -1 1077944384 2113 0 0 0 35 0 0 0 20 0 15 0 516106109 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142378981616 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22660] ppid=22645 vsize=15151156 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142377929312 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22661] ppid=22645 vsize=15151156 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516106109 15514783744 28171 33554432000 4194304 4196468 140723360612896 140142376876848 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 114132 KiB
[startup+1.50086 s]
/proc/loadavg: 2.16 2.07 2.04 4/229 22661
/proc/meminfo: memFree=24481500/32770624 swapFree=66936820/67108860
[pid=22645] ppid=22642 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 21684 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516106103 115843072 362 33554432000 4194304 5098028 140723615679424 140723615677528 140604448420476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33394688 140723615687546 140723615687789 140723615687789 140723615690698 0
/proc/22645/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 21684 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516106106 15514783744 211758 33554432000 4194304 4196468 140723360612896 140142383191536 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22656] ppid=22645 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15514783744 211758 33554432000 4194304 4196468 140723360612896 140142382140112 140142917117851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22657] ppid=22645 vsize=15151156 memory=53324 CPUtime=2.05 cores=1,3,5,7
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 21684 0 -1 1077944384 15924 0 0 0 203 2 0 0 20 0 15 0 516106109 15514783744 211758 33554432000 4194304 4196468 140723360612896 140142381086704 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22658] ppid=22645 vsize=15151156 memory=1448 CPUtime=1.98 cores=1,3,5,7
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 21684 0 -1 1077944384 16788 0 0 0 196 2 0 0 20 0 15 0 516106109 15514783744 211758 33554432000 4194304 4196468 140723360612896 140142380034160 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22659] ppid=22645 vsize=15151156 memory=3616 CPUtime=0.68 cores=1,3,5,7
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 21684 0 -1 1077944384 9560 0 0 0 66 2 0 0 20 0 15 0 516106109 15514783744 211758 33554432000 4194304 4196468 140723360612896 140142378981616 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22660] ppid=22645 vsize=15151156 memory=847032 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15514783744 211758 33554432000 4194304 4196468 140723360612896 140142377929312 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22661] ppid=22645 vsize=15151156 memory=847032 CPUtime=1.5 cores=1,3,5,7
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 21684 0 -1 1077944384 1619 0 0 0 60 90 0 0 20 0 15 0 516106109 15514783744 211758 33554432000 4194304 4196468 140723360612896 140142376876848 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
Current children cumulated CPU time: 2390.22 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 848480 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/229 23136
/proc/meminfo: memFree=24306452/32770624 swapFree=66936828/67108860
[pid=22645] ppid=22642 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 21684 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516106103 115843072 362 33554432000 4194304 5098028 140723615679424 140723615677528 140604448420476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33394688 140723615687546 140723615687789 140723615687789 140723615690698 0
/proc/22645/statm: 28282 362 304 221 0 87 0
[pid=22647] ppid=22645 vsize=15151156 memory=862324 CPUtime=2450.31 cores=1,3,5,7
/proc/22647/stat : 22647 (java) S 22645 22645 21684 0 -1 1077944320 83585 0 0 0 244888 143 0 0 20 0 15 0 516106103 15514783744 215581 33554432000 4194304 4196468 140723360612896 140723360595440 140142917099255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
/proc/22647/statm: 3787789 215581 3515 1 0 3748889 0
[pid=22647/tid=22648] ppid=22645 vsize=15151156 memory=862324 CPUtime=2442.14 cores=1,3,5,7
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 21684 0 -1 4202560 34433 0 0 0 244199 15 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142921335976 140142524152323 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22649] ppid=22645 vsize=15151156 memory=862324 CPUtime=0.42 cores=1,3,5,7
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 21684 0 -1 1077944384 707 0 0 0 33 9 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142845139216 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22650] ppid=22645 vsize=15151156 memory=862324 CPUtime=0.43 cores=1,3,5,7
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 21684 0 -1 1077944384 408 0 0 0 34 9 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142844086672 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22651] ppid=22645 vsize=15151156 memory=862324 CPUtime=0.43 cores=1,3,5,7
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 21684 0 -1 1077944384 477 0 0 0 33 10 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142843034128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22652] ppid=22645 vsize=15151156 memory=862324 CPUtime=0.43 cores=1,3,5,7
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 21684 0 -1 1077944384 534 0 0 0 34 9 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142841981584 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22653] ppid=22645 vsize=15151156 memory=862324 CPUtime=0.07 cores=1,3,5,7
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 21684 0 -1 1077944384 1579 0 0 0 3 4 0 0 20 0 15 0 516106106 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142385297904 140142917110402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22654] ppid=22645 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 21684 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 516106106 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142384244128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22655] ppid=22645 vsize=15151156 memory=847032 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 21684 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516106106 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142383191536 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22656] ppid=22645 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142382140112 140142917117851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22657] ppid=22645 vsize=15151156 memory=1448 CPUtime=2.08 cores=1,3,5,7
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 21684 0 -1 1077944384 16145 0 0 0 206 2 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142381086704 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22658] ppid=22645 vsize=15151156 memory=862324 CPUtime=1.99 cores=1,3,5,7
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 21684 0 -1 1077944384 16790 0 0 0 197 2 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142380034160 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22659] ppid=22645 vsize=15151156 memory=1448 CPUtime=0.68 cores=1,3,5,7
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 21684 0 -1 1077944384 9565 0 0 0 66 2 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142378981616 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22660] ppid=22645 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142377929312 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22661] ppid=22645 vsize=15151156 memory=1448 CPUtime=1.53 cores=1,3,5,7
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 21684 0 -1 1077944384 1649 0 0 0 61 92 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142376876848 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
Current children cumulated CPU time: 2450.31 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 863772 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/229 23142
/proc/meminfo: memFree=24309648/32770624 swapFree=66936828/67108860
[pid=22645] ppid=22642 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 21684 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516106103 115843072 362 33554432000 4194304 5098028 140723615679424 140723615677528 140604448420476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33394688 140723615687546 140723615687789 140723615687789 140723615690698 0
/proc/22645/statm: 28282 362 304 221 0 87 0
[pid=22647] ppid=22645 vsize=15151156 memory=862324 CPUtime=2510.35 cores=1,3,5,7
/proc/22647/stat : 22647 (java) S 22645 22645 21684 0 -1 1077944320 83937 0 0 0 250890 145 0 0 20 0 15 0 516106103 15514783744 215581 33554432000 4194304 4196468 140723360612896 140723360595440 140142917099255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
/proc/22647/statm: 3787789 215581 3515 1 0 3748889 0
[pid=22647/tid=22648] ppid=22645 vsize=15151156 memory=862324 CPUtime=2502.14 cores=1,3,5,7
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 21684 0 -1 4202560 34739 0 0 0 250199 15 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142921335976 140142524152631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22649] ppid=22645 vsize=15151156 memory=862324 CPUtime=0.42 cores=1,3,5,7
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 21684 0 -1 1077944384 707 0 0 0 33 9 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142845139216 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22650] ppid=22645 vsize=15151156 memory=862324 CPUtime=0.43 cores=1,3,5,7
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 21684 0 -1 1077944384 408 0 0 0 34 9 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142844086672 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22651] ppid=22645 vsize=15151156 memory=862324 CPUtime=0.43 cores=1,3,5,7
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 21684 0 -1 1077944384 477 0 0 0 33 10 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142843034128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22652] ppid=22645 vsize=15151156 memory=1448 CPUtime=0.43 cores=1,3,5,7
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 21684 0 -1 1077944384 534 0 0 0 34 9 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142841981584 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22653] ppid=22645 vsize=15151156 memory=862324 CPUtime=0.07 cores=1,3,5,7
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 21684 0 -1 1077944384 1584 0 0 0 3 4 0 0 20 0 15 0 516106106 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142385297904 140142917110402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22654] ppid=22645 vsize=15151156 memory=862324 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 21684 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 516106106 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142384244128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22655] ppid=22645 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 21684 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516106106 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142383191536 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22656] ppid=22645 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142382140112 140142917117851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22657] ppid=22645 vsize=15151156 memory=1056 CPUtime=2.08 cores=1,3,5,7
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 21684 0 -1 1077944384 16147 0 0 0 206 2 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142381086704 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22658] ppid=22645 vsize=15151156 memory=1448 CPUtime=1.99 cores=1,3,5,7
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 21684 0 -1 1077944384 16792 0 0 0 197 2 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142380034160 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22659] ppid=22645 vsize=15151156 memory=862324 CPUtime=0.68 cores=1,3,5,7
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 21684 0 -1 1077944384 9569 0 0 0 66 2 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142378981616 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22660] ppid=22645 vsize=15151156 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142377929312 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22661] ppid=22645 vsize=15151156 memory=23928 CPUtime=1.58 cores=1,3,5,7
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 21684 0 -1 1077944384 1682 0 0 0 63 95 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142376876848 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
Current children cumulated CPU time: 2510.35 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 863772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512 s]*
/proc/loadavg: 2.03 2.03 2.05 3/229 23143
/proc/meminfo: memFree=24309648/32770624 swapFree=66936828/67108860
[pid=22645] ppid=22642 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22645/stat : 22645 (xcsp3-exec) S 22642 22645 21684 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516106103 115843072 362 33554432000 4194304 5098028 140723615679424 140723615677528 140604448420476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33394688 140723615687546 140723615687789 140723615687789 140723615690698 0
/proc/22645/statm: 28282 362 304 221 0 87 0
[pid=22647] ppid=22645 vsize=15151156 memory=862324 CPUtime=2520.07 cores=1,3,5,7
/proc/22647/stat : 22647 (java) S 22645 22645 21684 0 -1 1077944320 83958 0 0 0 251861 146 0 0 20 0 15 0 516106103 15514783744 215581 33554432000 4194304 4196468 140723360612896 140723360595440 140142917099255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
/proc/22647/statm: 3787789 215581 3515 1 0 3748889 0
[pid=22647/tid=22648] ppid=22645 vsize=15151156 memory=1398722017469774279 CPUtime=2511.85 cores=1,3,5,7
/proc/22647/task/22648/stat : 22648 (java) R 22645 22645 21684 0 -1 4202560 34760 0 0 0 251170 15 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142921335976 140142524152875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22649] ppid=22645 vsize=15151156 memory=-7003737579269690708 CPUtime=0.42 cores=1,3,5,7
/proc/22647/task/22649/stat : 22649 (java) S 22645 22645 21684 0 -1 1077944384 707 0 0 0 33 9 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142845139216 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22650] ppid=22645 vsize=15151156 memory=23928 CPUtime=0.43 cores=1,3,5,7
/proc/22647/task/22650/stat : 22650 (java) S 22645 22645 21684 0 -1 1077944384 408 0 0 0 34 9 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142844086672 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22651] ppid=22645 vsize=15151156 memory=528 CPUtime=0.43 cores=1,3,5,7
/proc/22647/task/22651/stat : 22651 (java) S 22645 22645 21684 0 -1 1077944384 477 0 0 0 33 10 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142843034128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22652] ppid=22645 vsize=15151156 memory=1560 CPUtime=0.43 cores=1,3,5,7
/proc/22647/task/22652/stat : 22652 (java) S 22645 22645 21684 0 -1 1077944384 534 0 0 0 34 9 0 0 20 0 15 0 516106104 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142841981584 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22653] ppid=22645 vsize=15151156 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/22647/task/22653/stat : 22653 (java) S 22645 22645 21684 0 -1 1077944384 1584 0 0 0 3 4 0 0 20 0 15 0 516106106 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142385297904 140142917110402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22654] ppid=22645 vsize=15151156 memory=862324 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22654/stat : 22654 (java) S 22645 22645 21684 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 516106106 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142384244128 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22655] ppid=22645 vsize=15151156 memory=768 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22655/stat : 22655 (java) S 22645 22645 21684 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516106106 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142383191536 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22656] ppid=22645 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22656/stat : 22656 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142382140112 140142917117851 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22657] ppid=22645 vsize=15151156 memory=1056 CPUtime=2.08 cores=1,3,5,7
/proc/22647/task/22657/stat : 22657 (java) S 22645 22645 21684 0 -1 1077944384 16147 0 0 0 206 2 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142381086704 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22658] ppid=22645 vsize=15151156 memory=11620 CPUtime=1.99 cores=1,3,5,7
/proc/22647/task/22658/stat : 22658 (java) S 22645 22645 21684 0 -1 1077944384 16792 0 0 0 197 2 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142380034160 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22659] ppid=22645 vsize=15151156 memory=3608 CPUtime=0.68 cores=1,3,5,7
/proc/22647/task/22659/stat : 22659 (java) S 22645 22645 21684 0 -1 1077944384 9569 0 0 0 66 2 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142378981616 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22660] ppid=22645 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/22647/task/22660/stat : 22660 (java) S 22645 22645 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142377929312 140142917109461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
[pid=22647/tid=22661] ppid=22645 vsize=15151156 memory=1000 CPUtime=1.58 cores=1,3,5,7
/proc/22647/task/22661/stat : 22661 (java) S 22645 22645 21684 0 -1 1077944384 1682 0 0 0 63 95 0 0 20 0 15 0 516106109 15514783744 215581 33554432000 4194304 4196468 140723360612896 140142376876848 140142917110402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 37306368 140723360617455 140723360617626 140723360617626 140723360620495 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 863772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.02 s]
# the end of solver process 22645 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001198 s, system=0.001198 s
[startup+2512.02 s]
# the end of solver process 22647 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.62 s, system=1.46962 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
Child status: 143
Real time (s): 2512.02
CPU time (s): 2520.09
CPU user time (s): 2518.62
CPU system time (s): 1.46962
CPU usage (%): 100.321
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 863772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.62
system time used= 1.46962
maximum resident set size= 863060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57582
involuntary context switches= 754
# summary of solver processes directly reported to runsolver:
# pid: 22645,22647
# total CPU time (s): 2520.09
# total CPU user time (s): 2518.62
# total CPU system time (s): 1.46962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1536 second user time and 24.6815 second system time
The end