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 (13745 MiB free)
memory of node 1: 16384 MiB (12111 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405777-1569410087/watcher-4405777-1569410087 -o /tmp/evaluation-result-4405777-1569410087/solver-4405777-1569410087 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569392447-21328 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1962001178 HOME/instance-4405777-1569410087.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24739, runsolver pid=24736
Current StackSize limit: 8192 KiB
[startup+0.100729 s]*
/proc/loadavg: 1.89 1.85 1.86 4/229 24755
/proc/meminfo: memFree=26460536/32770624 swapFree=66986416/67108860
[pid=24739] ppid=24736 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24739/stat : 24739 (xcsp3-exec) S 24736 24739 21297 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 517265290 115843072 362 33554432000 4194304 5098028 140721640918736 140721640916840 140375897903740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40001536 140721640919930 140721640920173 140721640920173 140721640923082 0
/proc/24739/statm: 28282 362 304 221 0 87 0
[pid=24741] ppid=24739 vsize=15144776 memory=29112 CPUtime=0.13 cores=0,2,4,6
/proc/24741/stat : 24741 (java) S 24739 24739 21297 0 -1 1077944320 5759 0 0 0 12 1 0 0 20 0 15 0 517265290 15508250624 7278 33554432000 4194304 4196468 140724256761008 140724256743552 139960546197239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
/proc/24741/statm: 3786194 7278 3118 1 0 3748377 0
[pid=24741/tid=24742] ppid=24739 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/24741/task/24742/stat : 24742 (java) R 24739 24739 21297 0 -1 4202560 3655 0 0 0 9 0 0 0 20 0 15 0 517265290 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960550428560 139960538434366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24743] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24743/stat : 24743 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960138258960 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24744] ppid=24739 vsize=15144776 memory=140169680101160 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24744/stat : 24744 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960137206416 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24745] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24745/stat : 24745 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960136153360 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24746] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24746/stat : 24746 (java) S 24739 24739 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517265291 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960135100816 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24747] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24747/stat : 24747 (java) S 24739 24739 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517265292 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960014433008 139960546208386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24748] ppid=24739 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24748/stat : 24748 (java) S 24739 24739 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517265293 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960013379232 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24749] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24749/stat : 24749 (java) S 24739 24739 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517265293 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960012326128 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24750] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24750/stat : 24750 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265295 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960011274704 139960546215835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24751] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24751/stat : 24751 (java) R 24739 24739 21297 0 -1 4202560 326 0 0 0 0 0 0 0 20 0 15 0 517265295 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960010221808 139960529632977 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24752] ppid=24739 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24752/stat : 24752 (java) R 24739 24739 21297 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 517265295 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960009169264 139960546208386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24753] ppid=24739 vsize=15144776 memory=140169676437120 CPUtime=0.02 cores=0,2,4,6
/proc/24741/task/24753/stat : 24753 (java) R 24739 24739 21297 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 15 0 517265295 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960008116208 139960538434366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24754] ppid=24739 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24754/stat : 24754 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265296 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960007063904 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24755] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24755/stat : 24755 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265296 15508250624 7278 33554432000 4194304 4196468 140724256761008 139960006011952 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30560 KiB
[startup+0.210714 s]*
/proc/loadavg: 1.89 1.85 1.86 4/229 24755
/proc/meminfo: memFree=26447896/32770624 swapFree=66986416/67108860
[pid=24739] ppid=24736 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24739/stat : 24739 (xcsp3-exec) S 24736 24739 21297 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 517265290 115843072 362 33554432000 4194304 5098028 140721640918736 140721640916840 140375897903740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40001536 140721640919930 140721640920173 140721640920173 140721640923082 0
/proc/24739/statm: 28282 362 304 221 0 87 0
[pid=24741] ppid=24739 vsize=15144776 memory=40684 CPUtime=0.34 cores=0,2,4,6
/proc/24741/stat : 24741 (java) S 24739 24739 21297 0 -1 1077944320 9452 0 0 0 32 2 0 0 20 0 15 0 517265290 15508250624 10171 33554432000 4194304 4196468 140724256761008 140724256743552 139960546197239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
/proc/24741/statm: 3786194 10171 3264 1 0 3748377 0
[pid=24741/tid=24742] ppid=24739 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/24741/task/24742/stat : 24742 (java) R 24739 24739 21297 0 -1 4202560 6612 0 0 0 18 2 0 0 20 0 15 0 517265290 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960550431936 139960531893029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24743] ppid=24739 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24743/stat : 24743 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960138258960 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24744] ppid=24739 vsize=15144776 memory=4049495471021471392 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24744/stat : 24744 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960137206416 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24745] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24745/stat : 24745 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960136153360 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24746] ppid=24739 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24746/stat : 24746 (java) S 24739 24739 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517265291 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960135100816 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24747] ppid=24739 vsize=15144776 memory=140169676437120 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24747/stat : 24747 (java) S 24739 24739 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517265292 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960014433008 139960546208386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24748] ppid=24739 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24748/stat : 24748 (java) S 24739 24739 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517265293 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960013379232 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24749] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24749/stat : 24749 (java) S 24739 24739 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517265293 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960012326128 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24750] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24750/stat : 24750 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265295 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960011274704 139960546215835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24751] ppid=24739 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24741/task/24751/stat : 24751 (java) S 24739 24739 21297 0 -1 1077944384 575 0 0 0 2 0 0 0 20 0 15 0 517265295 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960010221808 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24752] ppid=24739 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24741/task/24752/stat : 24752 (java) S 24739 24739 21297 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 15 0 517265295 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960009169264 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24753] ppid=24739 vsize=15144776 memory=140169676437120 CPUtime=0.08 cores=0,2,4,6
/proc/24741/task/24753/stat : 24753 (java) S 24739 24739 21297 0 -1 1077944384 778 0 0 0 8 0 0 0 20 0 15 0 517265295 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960008116208 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24754] ppid=24739 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24754/stat : 24754 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265296 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960007063904 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24755] ppid=24739 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24755/stat : 24755 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265296 15508250624 10171 33554432000 4194304 4196468 140724256761008 139960006011952 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42132 KiB
[startup+0.311203 s]*
/proc/loadavg: 1.89 1.85 1.86 4/229 24755
/proc/meminfo: memFree=26442292/32770624 swapFree=66986416/67108860
[pid=24739] ppid=24736 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24739/stat : 24739 (xcsp3-exec) S 24736 24739 21297 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 517265290 115843072 362 33554432000 4194304 5098028 140721640918736 140721640916840 140375897903740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40001536 140721640919930 140721640920173 140721640920173 140721640923082 0
/proc/24739/statm: 28282 362 304 221 0 87 0
[pid=24741] ppid=24739 vsize=15149032 memory=50096 CPUtime=0.53 cores=0,2,4,6
/proc/24741/stat : 24741 (java) S 24739 24739 21297 0 -1 1077944320 10834 0 0 0 50 3 0 0 20 0 15 0 517265290 15512608768 12524 33554432000 4194304 4196468 140724256761008 140724256743552 139960546197239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
/proc/24741/statm: 3787258 12524 3372 1 0 3748377 0
[pid=24741/tid=24742] ppid=24739 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/24741/task/24742/stat : 24742 (java) R 24739 24739 21297 0 -1 4202560 7770 0 0 0 28 2 0 0 20 0 15 0 517265290 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960550428352 139960546219165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24743] ppid=24739 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24743/stat : 24743 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960138258960 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24744] ppid=24739 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24744/stat : 24744 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960137206416 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24745] ppid=24739 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24745/stat : 24745 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960136153360 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24746] ppid=24739 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24746/stat : 24746 (java) S 24739 24739 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517265291 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960135100816 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24747] ppid=24739 vsize=15149032 memory=-7233795148219007135 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24747/stat : 24747 (java) S 24739 24739 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517265292 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960014433008 139960546208386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24748] ppid=24739 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24748/stat : 24748 (java) S 24739 24739 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517265293 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960013379232 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24749] ppid=24739 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24749/stat : 24749 (java) S 24739 24739 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517265293 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960012326128 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24750] ppid=24739 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24750/stat : 24750 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265295 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960011274704 139960546215835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24751] ppid=24739 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/24741/task/24751/stat : 24751 (java) R 24739 24739 21297 0 -1 4202560 699 0 0 0 5 0 0 0 20 0 15 0 517265295 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960010202824 139960527741415 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24752] ppid=24739 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24741/task/24752/stat : 24752 (java) S 24739 24739 21297 0 -1 1077944384 198 0 0 0 3 0 0 0 20 0 15 0 517265295 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960009169264 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24753] ppid=24739 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24741/task/24753/stat : 24753 (java) S 24739 24739 21297 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 15 0 517265295 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960008116208 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24754] ppid=24739 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24754/stat : 24754 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265296 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960007063904 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24755] ppid=24739 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24755/stat : 24755 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265296 15512608768 12524 33554432000 4194304 4196468 140724256761008 139960006011952 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51544 KiB
[startup+0.700823 s]
/proc/loadavg: 1.89 1.85 1.86 6/229 24755
/proc/meminfo: memFree=26430164/32770624 swapFree=66986416/67108860
[pid=24739] ppid=24736 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24739/stat : 24739 (xcsp3-exec) S 24736 24739 21297 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 517265290 115843072 362 33554432000 4194304 5098028 140721640918736 140721640916840 140375897903740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40001536 140721640919930 140721640920173 140721640920173 140721640923082 0
/proc/24739/statm: 28282 362 304 221 0 87 0
[pid=24741] ppid=24739 vsize=15151156 memory=81304 CPUtime=1.58 cores=0,2,4,6
/proc/24741/stat : 24741 (java) S 24739 24739 21297 0 -1 1077944320 17627 0 0 0 153 5 0 0 20 0 15 0 517265290 15514783744 20326 33554432000 4194304 4196468 140724256761008 140724256743552 139960546197239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
/proc/24741/statm: 3787789 20326 3455 1 0 3748889 0
[pid=24741/tid=24742] ppid=24739 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/24741/task/24742/stat : 24742 (java) R 24739 24739 21297 0 -1 4202560 9028 0 0 0 64 3 0 0 20 0 15 0 517265290 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960550435888 139960546209174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24743] ppid=24739 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24743/stat : 24743 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960138258960 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24744] ppid=24739 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24744/stat : 24744 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960137206416 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24745] ppid=24739 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24745/stat : 24745 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265291 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960136153360 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24746] ppid=24739 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24746/stat : 24746 (java) S 24739 24739 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517265291 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960135100816 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24747] ppid=24739 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24747/stat : 24747 (java) S 24739 24739 21297 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517265292 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960014433008 139960546208386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24748] ppid=24739 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24748/stat : 24748 (java) S 24739 24739 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517265293 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960013379232 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24749] ppid=24739 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24749/stat : 24749 (java) S 24739 24739 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517265293 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960012326128 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24750] ppid=24739 vsize=15151156 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24750/stat : 24750 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265295 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960011274704 139960546215835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24751] ppid=24739 vsize=15151156 memory=6212 CPUtime=0.31 cores=0,2,4,6
/proc/24741/task/24751/stat : 24751 (java) R 24739 24739 21297 0 -1 4202560 3118 0 0 0 31 0 0 0 20 0 15 0 517265295 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960010202824 139960523948331 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24752] ppid=24739 vsize=15151156 memory=7552 CPUtime=0.29 cores=0,2,4,6
/proc/24741/task/24752/stat : 24752 (java) R 24739 24739 21297 0 -1 4202560 2726 0 0 0 29 0 0 0 20 0 15 0 517265295 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960009155880 139960526954539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24753] ppid=24739 vsize=15151156 memory=2832 CPUtime=0.27 cores=0,2,4,6
/proc/24741/task/24753/stat : 24753 (java) R 24739 24739 21297 0 -1 1077944384 1459 0 0 0 27 0 0 0 20 0 15 0 517265295 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960008116208 139960546208386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24754] ppid=24739 vsize=15151156 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24754/stat : 24754 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265296 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960007063904 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24755] ppid=24739 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24755/stat : 24755 (java) S 24739 24739 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517265296 15514783744 20326 33554432000 4194304 4196468 140724256761008 139960006011952 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 82752 KiB
[startup+1.50081 s]
/proc/loadavg: 1.89 1.85 1.86 5/229 24755
/proc/meminfo: memFree=26373972/32770624 swapFree=66986416/67108860
[pid=24739] ppid=24736 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24739/stat : 24739 (xcsp3-exec) S 24736 24739 21297 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 517265290 115843072 362 33554432000 4194304 5098028 140721640918736 140721640916840 140375897903740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40001536 140721640919930 140721640920173 140721640920173 140721640923082 0
/proc/24739/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/24741/task/24749/stat : 24749 (java) S 24739 24739 21297 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517265293 15514783744 78715 33554432000 4194304 4196468 140724256761008 139960012326144 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24750] ppid=24739 vsize=15151156 memory=314752 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24750/stat : 24750 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265295 15514783744 78715 33554432000 4194304 4196468 140724256761008 139960011274704 139960546215835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24751] ppid=24739 vsize=15151156 memory=315888 CPUtime=1.49 cores=0,2,4,6
/proc/24741/task/24751/stat : 24751 (java) S 24739 24739 21297 0 -1 1077944384 14268 0 0 0 147 2 0 0 20 0 15 0 517265295 15514783744 78715 33554432000 4194304 4196468 140724256761008 139960010221808 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24752] ppid=24739 vsize=15151156 memory=1448 CPUtime=1.4 cores=0,2,4,6
/proc/24741/task/24752/stat : 24752 (java) S 24739 24739 21297 0 -1 1077944384 18475 0 0 0 138 2 0 0 20 0 15 0 517265295 15514783744 78715 33554432000 4194304 4196468 140724256761008 139960009169264 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24753] ppid=24739 vsize=15151156 memory=1448 CPUtime=0.36 cores=0,2,4,6
/proc/24741/task/24753/stat : 24753 (java) S 24739 24739 21297 0 -1 1077944384 4013 0 0 0 35 1 0 0 20 0 15 0 517265295 15514783744 78715 33554432000 4194304 4196468 140724256761008 139960008116208 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24754] ppid=24739 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24754/stat : 24754 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265296 15514783744 78715 33554432000 4194304 4196468 140724256761008 139960007063904 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24755] ppid=24739 vsize=15151156 memory=318452 CPUtime=1.26 cores=0,2,4,6
/proc/24741/task/24755/stat : 24755 (java) S 24739 24739 21297 0 -1 1077944384 1268 0 0 0 61 65 0 0 20 0 15 0 517265296 15514783744 78715 33554432000 4194304 4196468 140724256761008 139960006011952 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
Current children cumulated CPU time: 2354.42 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 316308 KiB
[startup+2382.3 s]
/proc/loadavg: 1.57 1.56 1.64 4/230 25052
/proc/meminfo: memFree=26162288/32770624 swapFree=66986416/67108860
[pid=24739] ppid=24736 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24739/stat : 24739 (xcsp3-exec) S 24736 24739 21297 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 517265290 115843072 362 33554432000 4194304 5098028 140721640918736 140721640916840 140375897903740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40001536 140721640919930 140721640920173 140721640920173 140721640923082 0
/proc/24739/statm: 28282 362 304 221 0 87 0
[pid=24741] ppid=24739 vsize=15151156 memory=333328 CPUtime=2415.03 cores=0,2,4,6
/proc/24741/stat : 24741 (java) S 24739 24739 21297 0 -1 1077944320 168314 0 0 0 241206 297 0 0 20 0 15 0 517265290 15514783744 83332 33554432000 4194304 4196468 140724256761008 140724256743552 139960546197239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
/proc/24741/statm: 3787789 83332 3515 1 0 3748889 0
[pid=24741/tid=24742] ppid=24739 vsize=15151156 memory=314860 CPUtime=2365.31 cores=0,2,4,6
/proc/24741/task/24742/stat : 24742 (java) R 24739 24739 21297 0 -1 4202560 67444 0 0 0 236460 71 0 0 20 0 15 0 517265290 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960550436464 139960187149774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24743] ppid=24739 vsize=15151156 memory=1448 CPUtime=10.27 cores=0,2,4,6
/proc/24741/task/24743/stat : 24743 (java) S 24739 24739 21297 0 -1 1077944384 11035 0 0 0 992 35 0 0 20 0 15 0 517265291 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960138258960 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24744] ppid=24739 vsize=15151156 memory=314860 CPUtime=10.3 cores=0,2,4,6
/proc/24741/task/24744/stat : 24744 (java) S 24739 24739 21297 0 -1 1077944384 12716 0 0 0 994 36 0 0 20 0 15 0 517265291 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960137206416 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24745] ppid=24739 vsize=15151156 memory=314908 CPUtime=10.29 cores=0,2,4,6
/proc/24741/task/24745/stat : 24745 (java) S 24739 24739 21297 0 -1 1077944384 11695 0 0 0 993 36 0 0 20 0 15 0 517265291 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960136153360 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24746] ppid=24739 vsize=15151156 memory=328084 CPUtime=10.31 cores=0,2,4,6
/proc/24741/task/24746/stat : 24746 (java) S 24739 24739 21297 0 -1 1077944384 11737 0 0 0 994 37 0 0 20 0 15 0 517265291 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960135100816 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24747] ppid=24739 vsize=15151156 memory=333328 CPUtime=3.92 cores=0,2,4,6
/proc/24741/task/24747/stat : 24747 (java) S 24739 24739 21297 0 -1 1077944384 14261 0 0 0 348 44 0 0 20 0 15 0 517265292 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960014433008 139960546208386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24748] ppid=24739 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24748/stat : 24748 (java) S 24739 24739 21297 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 517265293 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960013379296 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24749] ppid=24739 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24749/stat : 24749 (java) S 24739 24739 21297 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517265293 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960012326144 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24750] ppid=24739 vsize=15151156 memory=3616 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24750/stat : 24750 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265295 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960011274704 139960546215835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24751] ppid=24739 vsize=15151156 memory=1448 CPUtime=1.49 cores=0,2,4,6
/proc/24741/task/24751/stat : 24751 (java) S 24739 24739 21297 0 -1 1077944384 14270 0 0 0 147 2 0 0 20 0 15 0 517265295 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960010221808 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24752] ppid=24739 vsize=15151156 memory=1448 CPUtime=1.4 cores=0,2,4,6
/proc/24741/task/24752/stat : 24752 (java) S 24739 24739 21297 0 -1 1077944384 18477 0 0 0 138 2 0 0 20 0 15 0 517265295 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960009169264 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24753] ppid=24739 vsize=15151156 memory=3616 CPUtime=0.36 cores=0,2,4,6
/proc/24741/task/24753/stat : 24753 (java) S 24739 24739 21297 0 -1 1077944384 4015 0 0 0 35 1 0 0 20 0 15 0 517265295 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960008116208 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24754] ppid=24739 vsize=15151156 memory=66916 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24754/stat : 24754 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265296 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960007063904 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24755] ppid=24739 vsize=15151156 memory=1448 CPUtime=1.29 cores=0,2,4,6
/proc/24741/task/24755/stat : 24755 (java) S 24739 24739 21297 0 -1 1077944384 1282 0 0 0 62 67 0 0 20 0 15 0 517265296 15514783744 83332 33554432000 4194304 4196468 140724256761008 139960006011952 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
Current children cumulated CPU time: 2415.03 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 334776 KiB
[startup+2442.3 s]
/proc/loadavg: 1.61 1.58 1.64 3/229 25056
/proc/meminfo: memFree=26182732/32770624 swapFree=66986416/67108860
[pid=24739] ppid=24736 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24739/stat : 24739 (xcsp3-exec) S 24736 24739 21297 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 517265290 115843072 362 33554432000 4194304 5098028 140721640918736 140721640916840 140375897903740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40001536 140721640919930 140721640920173 140721640920173 140721640923082 0
/proc/24739/statm: 28282 362 304 221 0 87 0
[pid=24741] ppid=24739 vsize=15151156 memory=314808 CPUtime=2475.71 cores=0,2,4,6
/proc/24741/stat : 24741 (java) S 24739 24739 21297 0 -1 1077944320 171529 0 0 0 247268 303 0 0 20 0 15 0 517265290 15514783744 78702 33554432000 4194304 4196468 140724256761008 140724256743552 139960546197239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
/proc/24741/statm: 3787789 78702 3515 1 0 3748889 0
[pid=24741/tid=24742] ppid=24739 vsize=15151156 memory=314860 CPUtime=2424.89 cores=0,2,4,6
/proc/24741/task/24742/stat : 24742 (java) R 24739 24739 21297 0 -1 4202560 68914 0 0 0 242418 71 0 0 20 0 15 0 517265290 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960550436576 139960187150189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24743] ppid=24739 vsize=15151156 memory=314860 CPUtime=10.51 cores=0,2,4,6
/proc/24741/task/24743/stat : 24743 (java) S 24739 24739 21297 0 -1 1077944384 11562 0 0 0 1015 36 0 0 20 0 15 0 517265291 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960138258960 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24744] ppid=24739 vsize=15151156 memory=314808 CPUtime=10.54 cores=0,2,4,6
/proc/24741/task/24744/stat : 24744 (java) S 24739 24739 21297 0 -1 1077944384 12985 0 0 0 1018 36 0 0 20 0 15 0 517265291 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960137206416 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24745] ppid=24739 vsize=15151156 memory=314808 CPUtime=10.52 cores=0,2,4,6
/proc/24741/task/24745/stat : 24745 (java) S 24739 24739 21297 0 -1 1077944384 11929 0 0 0 1016 36 0 0 20 0 15 0 517265291 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960136153360 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24746] ppid=24739 vsize=15151156 memory=314808 CPUtime=10.54 cores=0,2,4,6
/proc/24741/task/24746/stat : 24746 (java) S 24739 24739 21297 0 -1 1077944384 12245 0 0 0 1017 37 0 0 20 0 15 0 517265291 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960135100816 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24747] ppid=24739 vsize=15151156 memory=1448 CPUtime=4.03 cores=0,2,4,6
/proc/24741/task/24747/stat : 24747 (java) S 24739 24739 21297 0 -1 1077944384 14448 0 0 0 358 45 0 0 20 0 15 0 517265292 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960014433008 139960546208386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24748] ppid=24739 vsize=15151156 memory=315372 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24748/stat : 24748 (java) S 24739 24739 21297 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 517265293 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960013379296 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24749] ppid=24739 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24749/stat : 24749 (java) S 24739 24739 21297 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517265293 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960012326144 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24750] ppid=24739 vsize=15151156 memory=314808 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24750/stat : 24750 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265295 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960011274704 139960546215835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24751] ppid=24739 vsize=15151156 memory=1448 CPUtime=1.49 cores=0,2,4,6
/proc/24741/task/24751/stat : 24751 (java) S 24739 24739 21297 0 -1 1077944384 14272 0 0 0 147 2 0 0 20 0 15 0 517265295 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960010221808 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24752] ppid=24739 vsize=15151156 memory=1448 CPUtime=1.4 cores=0,2,4,6
/proc/24741/task/24752/stat : 24752 (java) S 24739 24739 21297 0 -1 1077944384 18479 0 0 0 138 2 0 0 20 0 15 0 517265295 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960009169264 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24753] ppid=24739 vsize=15151156 memory=1448 CPUtime=0.36 cores=0,2,4,6
/proc/24741/task/24753/stat : 24753 (java) S 24739 24739 21297 0 -1 1077944384 4017 0 0 0 35 1 0 0 20 0 15 0 517265295 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960008116208 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24754] ppid=24739 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24754/stat : 24754 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265296 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960007063904 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24755] ppid=24739 vsize=15151156 memory=314860 CPUtime=1.32 cores=0,2,4,6
/proc/24741/task/24755/stat : 24755 (java) S 24739 24739 21297 0 -1 1077944384 1296 0 0 0 63 69 0 0 20 0 15 0 517265296 15514783744 78702 33554432000 4194304 4196468 140724256761008 139960006011952 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
Current children cumulated CPU time: 2475.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 316256 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2486.2 s]
/proc/loadavg: 1.45 1.54 1.63 4/229 25059
/proc/meminfo: memFree=26182248/32770624 swapFree=66986416/67108860
[pid=24739] ppid=24736 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24739/stat : 24739 (xcsp3-exec) S 24736 24739 21297 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 517265290 115843072 362 33554432000 4194304 5098028 140721640918736 140721640916840 140375897903740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40001536 140721640919930 140721640920173 140721640920173 140721640923082 0
/proc/24739/statm: 28282 362 304 221 0 87 0
[pid=24741] ppid=24739 vsize=15151156 memory=314332 CPUtime=2520.01 cores=0,2,4,6
/proc/24741/stat : 24741 (java) S 24739 24739 21297 0 -1 1077944320 174060 0 0 0 251696 305 0 0 20 0 15 0 517265290 15514783744 78583 33554432000 4194304 4196468 140724256761008 140724256743552 139960546197239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
/proc/24741/statm: 3787789 78583 3515 1 0 3748889 0
[pid=24741/tid=24742] ppid=24739 vsize=15151156 memory=13849668345924206 CPUtime=2468.49 cores=0,2,4,6
/proc/24741/task/24742/stat : 24742 (java) R 24739 24739 21297 0 -1 4202560 69239 0 0 0 246777 72 0 0 20 0 15 0 517265290 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960550436576 139960187151232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24743] ppid=24739 vsize=15151156 memory=314332 CPUtime=10.66 cores=0,2,4,6
/proc/24741/task/24743/stat : 24743 (java) S 24739 24739 21297 0 -1 1077944384 11758 0 0 0 1030 36 0 0 20 0 15 0 517265291 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960138258960 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24744] ppid=24739 vsize=15151156 memory=2120 CPUtime=10.69 cores=0,2,4,6
/proc/24741/task/24744/stat : 24744 (java) S 24739 24739 21297 0 -1 1077944384 13184 0 0 0 1033 36 0 0 20 0 15 0 517265291 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960137206416 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24745] ppid=24739 vsize=15151156 memory=532 CPUtime=10.68 cores=0,2,4,6
/proc/24741/task/24745/stat : 24745 (java) S 24739 24739 21297 0 -1 1077944384 12112 0 0 0 1031 37 0 0 20 0 15 0 517265291 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960136153360 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24746] ppid=24739 vsize=15151156 memory=3616 CPUtime=10.7 cores=0,2,4,6
/proc/24741/task/24746/stat : 24746 (java) S 24739 24739 21297 0 -1 1077944384 12685 0 0 0 1032 38 0 0 20 0 15 0 517265291 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960135100816 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24747] ppid=24739 vsize=15151156 memory=66916 CPUtime=4.12 cores=0,2,4,6
/proc/24741/task/24747/stat : 24747 (java) S 24739 24739 21297 0 -1 1077944384 15615 0 0 0 366 46 0 0 20 0 15 0 517265292 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960014433008 139960546208386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24748] ppid=24739 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24748/stat : 24748 (java) S 24739 24739 21297 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 517265293 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960013379296 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24749] ppid=24739 vsize=15151156 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24749/stat : 24749 (java) S 24739 24739 21297 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 517265293 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960012326144 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24750] ppid=24739 vsize=15151156 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24750/stat : 24750 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265295 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960011274704 139960546215835 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24751] ppid=24739 vsize=15151156 memory=1728 CPUtime=1.49 cores=0,2,4,6
/proc/24741/task/24751/stat : 24751 (java) S 24739 24739 21297 0 -1 1077944384 14274 0 0 0 147 2 0 0 20 0 15 0 517265295 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960010221808 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24752] ppid=24739 vsize=15151156 memory=692 CPUtime=1.4 cores=0,2,4,6
/proc/24741/task/24752/stat : 24752 (java) S 24739 24739 21297 0 -1 1077944384 18481 0 0 0 138 2 0 0 20 0 15 0 517265295 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960009169264 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24753] ppid=24739 vsize=15151156 memory=1056 CPUtime=0.36 cores=0,2,4,6
/proc/24741/task/24753/stat : 24753 (java) S 24739 24739 21297 0 -1 1077944384 4019 0 0 0 35 1 0 0 20 0 15 0 517265295 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960008116208 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24754] ppid=24739 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/24741/task/24754/stat : 24754 (java) S 24739 24739 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517265296 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960007063904 139960546207445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
[pid=24741/tid=24755] ppid=24739 vsize=15151156 memory=195840 CPUtime=1.34 cores=0,2,4,6
/proc/24741/task/24755/stat : 24755 (java) S 24739 24739 21297 0 -1 1077944384 1311 0 0 0 64 70 0 0 20 0 15 0 517265296 15514783744 78583 33554432000 4194304 4196468 140724256761008 139960006011952 139960546208386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 10289152 140724256769007 140724256769178 140724256769178 140724256772047 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 315780 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2486.21 s]
# the end of solver process 24739 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001216 s, system=0.001216 s
[startup+2486.21 s]
# the end of solver process 24741 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.98 s, system=3.06191 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): 2486.21
CPU time (s): 2520.04
CPU user time (s): 2516.98
CPU system time (s): 3.06191
CPU usage (%): 101.361
Max. virtual memory (cumulated for all children) (KiB): 15268160
Max. memory (cumulated for all children) (KiB): 1369588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.98
system time used= 3.06191
maximum resident set size= 1384028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 160159
involuntary context switches= 6773
# summary of solver processes directly reported to runsolver:
# pid: 24739,24741
# total CPU time (s): 2520.04
# total CPU user time (s): 2516.98
# total CPU system time (s): 3.06191
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7436 second user time and 24.5745 second system time
The end