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 (9199 MiB free)
memory of node 1: 16384 MiB (15160 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393219-1568320459/watcher-4393219-1568320459 -o /tmp/evaluation-result-4393219-1568320459/solver-4393219-1568320459 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1976743678 HOME/instance-4393219-1568320459.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=23727, runsolver pid=23724
Current StackSize limit: 8192 KiB
[startup+0.102098 s]*
/proc/loadavg: 8.83 8.56 8.31 6/234 23743
/proc/meminfo: memFree=24929100/32770624 swapFree=66977612/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408303232 115843072 362 33554432000 4194304 5098028 140727106092160 140727106090264 140456624046716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31666176 140727106098042 140727106098285 140727106098285 140727106101194 0
/proc/23727/statm: 28282 362 304 221 0 87 0
[pid=23729] ppid=23727 vsize=15144768 memory=29088 CPUtime=0.13 cores=0,2,4,6
/proc/23729/stat : 23729 (java) S 23727 23727 15592 0 -1 1077944320 5724 0 0 0 12 1 0 0 20 0 15 0 408303233 15508242432 7272 33554432000 4194304 4196468 140729646781120 140729646763664 140272380153591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
/proc/23729/statm: 3786192 7272 3147 1 0 3748377 0
[pid=23729/tid=23730] ppid=23727 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/23729/task/23730/stat : 23730 (java) R 23727 23727 15592 0 -1 4202560 3597 0 0 0 8 1 0 0 20 0 15 0 408303233 15508242432 7272 33554432000 4194304 4196468 140729646781120 140272384380608 140272364197221 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23731] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23731/stat : 23731 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303234 15508242432 7272 33554432000 4194304 4196468 140729646781120 140272291810320 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23732] ppid=23727 vsize=15144768 memory=140438013579061 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23732/stat : 23732 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303234 15508242432 7272 33554432000 4194304 4196468 140729646781120 140272290757776 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23733] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23733/stat : 23733 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303234 15508242432 7272 33554432000 4194304 4196468 140729646781120 140271970937616 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23734] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23734/stat : 23734 (java) S 23727 23727 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408303234 15508242432 7272 33554432000 4194304 4196468 140729646781120 140271969885072 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23735] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23735/stat : 23735 (java) S 23727 23727 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408303235 15508242432 7272 33554432000 4194304 4196468 140729646781120 140271848790256 140272380164738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23736] ppid=23727 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23736/stat : 23736 (java) S 23727 23727 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408303235 15508242432 7272 33554432000 4194304 4196468 140729646781120 140271847736480 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23737] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23737/stat : 23737 (java) S 23727 23727 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408303236 15508242432 7272 33554432000 4194304 4196468 140729646781120 140271846683376 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23738] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23738/stat : 23738 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303238 15508242432 7272 33554432000 4194304 4196468 140729646781120 140271845631952 140272380172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23739] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23739/stat : 23739 (java) R 23727 23727 15592 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 408303238 15508242432 7272 33554432000 4194304 4196468 140729646781120 140271844580080 140272380164738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23740] ppid=23727 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23740/stat : 23740 (java) R 23727 23727 15592 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 15 0 408303238 15508242432 7272 33554432000 4194304 4196468 140729646781120 140271843527536 140272363645682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23741] ppid=23727 vsize=15144768 memory=140438013560448 CPUtime=0.02 cores=0,2,4,6
/proc/23729/task/23741/stat : 23741 (java) R 23727 23727 15592 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 408303238 15508242432 7272 33554432000 4194304 4196468 140729646781120 140271842474480 140272372390718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23742] ppid=23727 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303238 15508242432 7272 33554432000 4194304 4196468 140729646781120 140271841422176 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23743] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23743/stat : 23743 (java) R 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303239 15508242432 7272 33554432000 4194304 4196468 140729646781120 140271840369200 140272380164738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30536 KiB
[startup+0.213236 s]*
/proc/loadavg: 8.83 8.56 8.31 6/234 23743
/proc/meminfo: memFree=24915728/32770624 swapFree=66977612/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408303232 115843072 362 33554432000 4194304 5098028 140727106092160 140727106090264 140456624046716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31666176 140727106098042 140727106098285 140727106098285 140727106101194 0
/proc/23727/statm: 28282 362 304 221 0 87 0
[pid=23729] ppid=23727 vsize=15144768 memory=41048 CPUtime=0.34 cores=0,2,4,6
/proc/23729/stat : 23729 (java) S 23727 23727 15592 0 -1 1077944320 9465 0 0 0 31 3 0 0 20 0 15 0 408303233 15508242432 10262 33554432000 4194304 4196468 140729646781120 140729646763664 140272380153591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
/proc/23729/statm: 3786192 10262 3306 1 0 3748377 0
[pid=23729/tid=23730] ppid=23727 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23729/task/23730/stat : 23730 (java) R 23727 23727 15592 0 -1 4202560 6625 0 0 0 18 2 0 0 20 0 15 0 408303233 15508242432 10262 33554432000 4194304 4196468 140729646781120 140272384388576 140272380175421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23731] ppid=23727 vsize=15144768 memory=1898157 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23731/stat : 23731 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303234 15508242432 10262 33554432000 4194304 4196468 140729646781120 140272291810320 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23732] ppid=23727 vsize=15144768 memory=288370814165272192 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23732/stat : 23732 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303234 15508242432 10262 33554432000 4194304 4196468 140729646781120 140272290757776 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23733] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23733/stat : 23733 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303234 15508242432 10262 33554432000 4194304 4196468 140729646781120 140271970937616 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23734] ppid=23727 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23734/stat : 23734 (java) S 23727 23727 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408303234 15508242432 10262 33554432000 4194304 4196468 140729646781120 140271969885072 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23735] ppid=23727 vsize=15144768 memory=140438013560448 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23735/stat : 23735 (java) S 23727 23727 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408303235 15508242432 10262 33554432000 4194304 4196468 140729646781120 140271848790256 140272380164738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23736] ppid=23727 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23736/stat : 23736 (java) S 23727 23727 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408303235 15508242432 10262 33554432000 4194304 4196468 140729646781120 140271847736480 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23737] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23737/stat : 23737 (java) S 23727 23727 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408303236 15508242432 10262 33554432000 4194304 4196468 140729646781120 140271846683376 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23738] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23738/stat : 23738 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303238 15508242432 10262 33554432000 4194304 4196468 140729646781120 140271845631952 140272380172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23739] ppid=23727 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23729/task/23739/stat : 23739 (java) S 23727 23727 15592 0 -1 1077944384 583 0 0 0 3 0 0 0 20 0 15 0 408303238 15508242432 10262 33554432000 4194304 4196468 140729646781120 140271844580080 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23740] ppid=23727 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23729/task/23740/stat : 23740 (java) S 23727 23727 15592 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 15 0 408303238 15508242432 10262 33554432000 4194304 4196468 140729646781120 140271843527536 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23741] ppid=23727 vsize=15144768 memory=140438013560448 CPUtime=0.08 cores=0,2,4,6
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 15592 0 -1 1077944384 793 0 0 0 8 0 0 0 20 0 15 0 408303238 15508242432 10262 33554432000 4194304 4196468 140729646781120 140271842474480 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23742] ppid=23727 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303238 15508242432 10262 33554432000 4194304 4196468 140729646781120 140271841422176 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23743] ppid=23727 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303239 15508242432 10262 33554432000 4194304 4196468 140729646781120 140271840369200 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42496 KiB
[startup+0.318186 s]*
/proc/loadavg: 8.83 8.56 8.31 7/234 23743
/proc/meminfo: memFree=24907820/32770624 swapFree=66977612/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408303232 115843072 362 33554432000 4194304 5098028 140727106092160 140727106090264 140456624046716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31666176 140727106098042 140727106098285 140727106098285 140727106101194 0
/proc/23727/statm: 28282 362 304 221 0 87 0
[pid=23729] ppid=23727 vsize=15149024 memory=50592 CPUtime=0.54 cores=0,2,4,6
/proc/23729/stat : 23729 (java) S 23727 23727 15592 0 -1 1077944320 10972 0 0 0 50 4 0 0 20 0 15 0 408303233 15512600576 12648 33554432000 4194304 4196468 140729646781120 140729646763664 140272380153591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
/proc/23729/statm: 3787256 12648 3367 1 0 3748377 0
[pid=23729/tid=23730] ppid=23727 vsize=15149024 memory=8317482817917895235 CPUtime=0.31 cores=0,2,4,6
/proc/23729/task/23730/stat : 23730 (java) R 23727 23727 15592 0 -1 4202560 7889 0 0 0 28 3 0 0 20 0 15 0 408303233 15512600576 12648 33554432000 4194304 4196468 140729646781120 140272384388400 140272380175517 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23731] ppid=23727 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23731/stat : 23731 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303234 15512600576 12648 33554432000 4194304 4196468 140729646781120 140272291810320 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23732] ppid=23727 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23732/stat : 23732 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303234 15512600576 12648 33554432000 4194304 4196468 140729646781120 140272290757776 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23733] ppid=23727 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23733/stat : 23733 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303234 15512600576 12648 33554432000 4194304 4196468 140729646781120 140271970937616 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23734] ppid=23727 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23734/stat : 23734 (java) S 23727 23727 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408303234 15512600576 12648 33554432000 4194304 4196468 140729646781120 140271969885072 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23735] ppid=23727 vsize=15149024 memory=-6945283279944138911 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23735/stat : 23735 (java) S 23727 23727 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408303235 15512600576 12648 33554432000 4194304 4196468 140729646781120 140271848790256 140272380164738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23736] ppid=23727 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23736/stat : 23736 (java) S 23727 23727 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408303235 15512600576 12648 33554432000 4194304 4196468 140729646781120 140271847736480 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23737] ppid=23727 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23737/stat : 23737 (java) S 23727 23727 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408303236 15512600576 12648 33554432000 4194304 4196468 140729646781120 140271846683376 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23738] ppid=23727 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23738/stat : 23738 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303238 15512600576 12648 33554432000 4194304 4196468 140729646781120 140271845631952 140272380172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23739] ppid=23727 vsize=15149024 memory=7827413994055111515 CPUtime=0.06 cores=0,2,4,6
/proc/23729/task/23739/stat : 23739 (java) S 23727 23727 15592 0 -1 1077944384 698 0 0 0 6 0 0 0 20 0 15 0 408303238 15512600576 12648 33554432000 4194304 4196468 140729646781120 140271844580080 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23740] ppid=23727 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23729/task/23740/stat : 23740 (java) S 23727 23727 15592 0 -1 1077944384 215 0 0 0 3 0 0 0 20 0 15 0 408303238 15512600576 12648 33554432000 4194304 4196468 140729646781120 140271843527536 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23741] ppid=23727 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 15592 0 -1 1077944384 875 0 0 0 12 0 0 0 20 0 15 0 408303238 15512600576 12648 33554432000 4194304 4196468 140729646781120 140271842474480 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23742] ppid=23727 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408303238 15512600576 12648 33554432000 4194304 4196468 140729646781120 140271841422176 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23743] ppid=23727 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408303239 15512600576 12648 33554432000 4194304 4196468 140729646781120 140271840369200 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52040 KiB
[startup+0.707188 s]
/proc/loadavg: 8.83 8.56 8.31 6/234 23743
/proc/meminfo: memFree=24897464/32770624 swapFree=66977612/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408303232 115843072 362 33554432000 4194304 5098028 140727106092160 140727106090264 140456624046716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31666176 140727106098042 140727106098285 140727106098285 140727106101194 0
/proc/23727/statm: 28282 362 304 221 0 87 0
[pid=23729] ppid=23727 vsize=15417404 memory=87692 CPUtime=1.64 cores=0,2,4,6
/proc/23729/stat : 23729 (java) S 23727 23727 15592 0 -1 1077944320 14217 0 0 0 159 5 0 0 20 0 19 0 408303233 15787421696 21923 33554432000 4194304 4196468 140729646781120 140729646763664 140272380153591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
/proc/23729/statm: 3854351 21923 3455 1 0 3815453 0
[pid=23729/tid=23730] ppid=23727 vsize=15417404 memory=-3704326594973231466 CPUtime=0.64 cores=0,2,4,6
/proc/23729/task/23730/stat : 23730 (java) S 23727 23727 15592 0 -1 1077944384 9095 0 0 0 60 4 0 0 20 0 19 0 408303233 15787421696 21923 33554432000 4194304 4196468 140729646781120 140272384394368 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23731] ppid=23727 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23731/stat : 23731 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408303234 15787421696 21923 33554432000 4194304 4196468 140729646781120 140272291810320 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23732] ppid=23727 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23732/stat : 23732 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408303234 15787421696 21923 33554432000 4194304 4196468 140729646781120 140272290757776 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23733] ppid=23727 vsize=15417404 memory=704 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23733/stat : 23733 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408303234 15787421696 21923 33554432000 4194304 4196468 140729646781120 140271970937616 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23734] ppid=23727 vsize=15417404 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23734/stat : 23734 (java) S 23727 23727 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408303234 15787421696 21923 33554432000 4194304 4196468 140729646781120 140271969885072 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23735] ppid=23727 vsize=15417404 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23735/stat : 23735 (java) S 23727 23727 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408303235 15787421696 21923 33554432000 4194304 4196468 140729646781120 140271848790256 140272380164738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23736] ppid=23727 vsize=15417404 memory=780 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23736/stat : 23736 (java) S 23727 23727 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408303235 15787421696 21923 33554432000 4194304 4196468 140729646781120 140271847736480 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23737] ppid=23727 vsize=15417404 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23737/stat : 23737 (java) S 23727 23727 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408303236 15787421696 21923 33554432000 4194304 4196468 140729646781120 140271846683376 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23738] ppid=23727 vsize=15417404 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23738/stat : 23738 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303238 15787421696 21923 33554432000 4194304 4196468 140729646781120 140271845631952 140272380172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23739] ppid=23727 vsize=15417404 memory=5952 CPUtime=0.27 cores=0,2,4,6
/proc/23729/task/23739/stat : 23739 (java) R 23727 23727 15592 0 -1 4202560 1057 0 0 0 27 0 0 0 20 0 19 0 408303238 15787421696 21923 33554432000 4194304 4196468 140729646781120 140271844569848 140272361697686 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23740] ppid=23727 vsize=15417404 memory=7552 CPUtime=0.21 cores=0,2,4,6
/proc/23729/task/23740/stat : 23740 (java) R 23727 23727 15592 0 -1 4202560 760 0 0 0 21 0 0 0 20 0 19 0 408303238 15787421696 21923 33554432000 4194304 4196468 140729646781120 140271843527664 140272361563741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23741] ppid=23727 vsize=15417404 memory=2832 CPUtime=0.4 cores=0,2,4,6
/proc/23729/task/23741/stat : 23741 (java) R 23727 23727 15592 0 -1 1077944384 1858 0 0 0 40 0 0 0 20 0 19 0 408303238 15787421696 21923 33554432000 4194304 4196468 140729646781120 140271842474480 140272380164738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23742] ppid=23727 vsize=15417404 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303238 15787421696 21923 33554432000 4194304 4196468 140729646781120 140271841422176 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23743] ppid=23727 vsize=15417404 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408303239 15787421696 21923 33554432000 4194304 4196468 140729646781120 140271840369200 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 89140 KiB
[startup+1.50119 s]
/proc/loadavg: 8.83 8.56 8.31 14/238 23763
/proc/meminfo: memFree=24828804/32770624 swapFree=66977612/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408303232 115843072 362 33554432000 4194304 5098028 140727106092160 140727106090264 140456624046716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31666176 140727106098042 140727106098285 140727106098285 140727106101194 0
/proc/23727/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20118 s]
/proc/loadavg: 8.83 8.56 8.31 13/237 23767
/proc/meminfo: memFree=24754212/32770624 swapFree=66977612/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408303232 115843072 362 33554432000 4194304 5098028 140727106092160 140727106090264 140456624046716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31666176 140727106098042 140727106098285 140727106098285 140727106101194 0
/proc/23727/statm: 28282 362 304 221 0 87 0
[pid=23729] ppid=23727 vsize=15418432 memory=204656 CPUtime=11.38 cores=0,2,4,6
/proc/23729/stat : 23729 (java) S 23727 23727 15592 0 -1 1077944320 30090 0 0 0 1129 9 0 0 20 0 19 0 408303233 15788474368 51164 33554432000 4194304 4196468 140729646781120 140729646763664 140272380153591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
/proc/23729/statm: 3854608 51164 3509 1 0 3815710 0
[pid=23729/tid=23730] ppid=23727 vsize=15418432 memory=4872558142750483520 CPUtime=0.65 cores=0,2,4,6
/proc/23729/task/23730/stat : 23730 (java) S 23727 23727 15592 0 -1 1077944384 9100 0 0 0 61 4 0 0 20 0 19 0 408303233 15788474368 51164 33554432000 4194304 4196468 140729646781120 140272384394368 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23731] ppid=23727 vsize=15418432 memory=8475934422144292502 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23731/stat : 23731 (java) S 23727 23727 15592 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 51164 33554432000 4194304 4196468 140729646781120 140272291810320 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23732] ppid=23727 vsize=15418432 memory=-7966001967374371424 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23732/stat : 23732 (java) S 23727 23727 15592 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 51164 33554432000 4194304 4196468 140729646781120 140272290757776 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23733] ppid=23727 vsize=15418432 memory=4639059895069856102 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23733/stat : 23733 (java) S 23727 23727 15592 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271970937616 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23734] ppid=23727 vsize=15418432 memory=7518026621751089000 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23734/stat : 23734 (java) S 23727 23727 15592 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271969885072 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23735] ppid=23727 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23735/stat : 23735 (java) S 23727 23727 15592 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 19 0 408303235 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271848790256 140272380164738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23736] ppid=23727 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23736/stat : 23736 (java) S 23727 23727 15592 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 408303235 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271847736480 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23737] ppid=23727 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23737/stat : 23737 (java) S 23727 23727 15592 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 408303236 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271846683376 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23738] ppid=23727 vsize=15418432 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23738/stat : 23738 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303238 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271845631952 140272380172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23739] ppid=23727 vsize=15418432 memory=6655300316396806240 CPUtime=1.55 cores=0,2,4,6
/proc/23729/task/23739/stat : 23739 (java) S 23727 23727 15592 0 -1 1077944384 10490 0 0 0 154 1 0 0 20 0 19 0 408303238 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271844580080 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23740] ppid=23727 vsize=15418432 memory=6944656592455097440 CPUtime=1.57 cores=0,2,4,6
/proc/23729/task/23740/stat : 23740 (java) S 23727 23727 15592 0 -1 1077944384 4732 0 0 0 156 1 0 0 20 0 19 0 408303238 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271843527536 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23741] ppid=23727 vsize=15418432 memory=6944652177228980320 CPUtime=0.55 cores=0,2,4,6
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 15592 0 -1 1077944384 2939 0 0 0 55 0 0 0 20 0 19 0 408303238 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271842474480 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23742] ppid=23727 vsize=15418432 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303238 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271841422176 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23743] ppid=23727 vsize=15418432 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303239 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271840369200 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23764] ppid=23727 vsize=15418432 memory=3616 CPUtime=1.22 cores=0,2,4,6
/proc/23729/task/23764/stat : 23764 (java) R 23727 23727 15592 0 -1 4202560 33 0 0 0 122 0 0 0 20 0 19 0 408303363 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271829053688 140271976645293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23765] ppid=23727 vsize=15418432 memory=2273 CPUtime=1.47 cores=0,2,4,6
/proc/23729/task/23765/stat : 23765 (java) R 23727 23727 15592 0 -1 4202560 244 0 0 0 147 0 0 0 20 0 19 0 408303363 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271828001496 140271976064390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23766] ppid=23727 vsize=15418432 memory=2244 CPUtime=1.2 cores=0,2,4,6
/proc/23729/task/23766/stat : 23766 (java) R 23727 23727 15592 0 -1 4202560 39 0 0 0 120 0 0 0 20 0 19 0 408303363 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271830107240 140271976230234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23767] ppid=23727 vsize=15418432 memory=6441950942820983891 CPUtime=1.44 cores=0,2,4,6
/proc/23729/task/23767/stat : 23767 (java) R 23727 23727 15592 0 -1 4202560 149 0 0 0 144 0 0 0 20 0 19 0 408303363 15788474368 51164 33554432000 4194304 4196468 140729646781120 140271826948584 140271977370271 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
Current children cumulated CPU time: 11.38 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 206104 KiB
[startup+4.00119 s]*
/proc/loadavg: 8.83 8.56 8.31 11/237 23767
/proc/meminfo: memFree=24749388/32770624 swapFree=66977612/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408303232 115843072 362 33554432000 4194304 5098028 140727106092160 140727106090264 140456624046716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31666176 140727106098042 140727106098285 140727106098285 140727106101194 0
/proc/23727/statm: 28282 362 304 221 0 87 0
[pid=23729] ppid=23727 vsize=15418432 memory=209180 CPUtime=14.6 cores=0,2,4,6
/proc/23729/stat : 23729 (java) S 23727 23727 15592 0 -1 1077944320 30789 0 0 0 1451 9 0 0 20 0 19 0 408303233 15788474368 52295 33554432000 4194304 4196468 140729646781120 140729646763664 140272380153591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
/proc/23729/statm: 3854608 52295 3518 1 0 3815710 0
[pid=23729/tid=23730] ppid=23727 vsize=15418432 memory=6944656575208382560 CPUtime=0.65 cores=0,2,4,6
/proc/23729/task/23730/stat : 23730 (java) S 23727 23727 15592 0 -1 1077944384 9100 0 0 0 61 4 0 0 20 0 19 0 408303233 15788474368 52295 33554432000 4194304 4196468 140729646781120 140272384394368 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23731] ppid=23727 vsize=15418432 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23731/stat : 23731 (java) S 23727 23727 15592 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 52295 33554432000 4194304 4196468 140729646781120 140272291810320 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23732] ppid=23727 vsize=15418432 memory=140438013560448 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23732/stat : 23732 (java) S 23727 23727 15592 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 52295 33554432000 4194304 4196468 140729646781120 140272290757776 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23733] ppid=23727 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23733/stat : 23733 (java) S 23727 23727 15592 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271970937616 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23734] ppid=23727 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23734/stat : 23734 (java) S 23727 23727 15592 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271969885072 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23735] ppid=23727 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23735/stat : 23735 (java) S 23727 23727 15592 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 19 0 408303235 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271848790256 140272380164738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23736] ppid=23727 vsize=15418432 memory=2319413410198991411 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23736/stat : 23736 (java) S 23727 23727 15592 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 408303235 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271847736480 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23737] ppid=23727 vsize=15418432 memory=6935649255776346432 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23737/stat : 23737 (java) S 23727 23727 15592 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 408303236 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271846683376 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23738] ppid=23727 vsize=15418432 memory=-7028383565733675155 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23738/stat : 23738 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303238 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271845631952 140272380172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23739] ppid=23727 vsize=15418432 memory=0 CPUtime=1.64 cores=0,2,4,6
/proc/23729/task/23739/stat : 23739 (java) R 23727 23727 15592 0 -1 1077944384 10547 0 0 0 163 1 0 0 20 0 19 0 408303238 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271844580080 140272380164738 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23740] ppid=23727 vsize=15418432 memory=140437914386551 CPUtime=1.62 cores=0,2,4,6
/proc/23729/task/23740/stat : 23740 (java) R 23727 23727 15592 0 -1 4202560 4940 0 0 0 161 1 0 0 20 0 19 0 408303238 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271843527536 140272363653974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23741] ppid=23727 vsize=15418432 memory=3540004969133680613 CPUtime=0.56 cores=0,2,4,6
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 15592 0 -1 1077944384 3017 0 0 0 56 0 0 0 20 0 19 0 408303238 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271842474480 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23742] ppid=23727 vsize=15418432 memory=4785954420080779295 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303238 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271841422176 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23743] ppid=23727 vsize=15418432 memory=2315000792829765572 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 15592 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408303239 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271840369200 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23764] ppid=23727 vsize=15418432 memory=2314885432472851535 CPUtime=1.93 cores=0,2,4,6
/proc/23729/task/23764/stat : 23764 (java) R 23727 23727 15592 0 -1 4202560 100 0 0 0 193 0 0 0 20 0 19 0 408303363 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271829056824 140271976645237 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23765] ppid=23727 vsize=15418432 memory=3472468734241240752 CPUtime=2.28 cores=0,2,4,6
/proc/23729/task/23765/stat : 23765 (java) R 23727 23727 15592 0 -1 4202560 355 0 0 0 228 0 0 0 20 0 19 0 408303363 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271828004904 140271976645421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23766] ppid=23727 vsize=15418432 memory=7451578361684439087 CPUtime=1.95 cores=0,2,4,6
/proc/23729/task/23766/stat : 23766 (java) R 23727 23727 15592 0 -1 4202560 75 0 0 0 195 0 0 0 20 0 19 0 408303363 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271830110536 140271976435563 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23767] ppid=23727 vsize=15418432 memory=-7088785026380002758 CPUtime=2.24 cores=0,2,4,6
/proc/23729/task/23767/stat : 23767 (java) R 23727 23727 15592 0 -1 4202560 218 0 0 0 224 0 0 0 20 0 19 0 408303363 15788474368 52295 33554432000 4194304 4196468 140729646781120 140271826947672 140271977370325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
Current children cumulated CPU time: 14.6 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 210628 KiB
[startup+4.40074 s]
/proc/loadavg: 8.83 8.56 8.31 11/237 23767
/proc/meminfo: memFree=24749388/32770624 swapFree=66977612/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408303232 115843072 362 33554432000 4194304 5098028 140727106092160 140727106090264 140456624046716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31666176 140727106098042 140727106098285 140727106098285 140727106101194 0
/proc/23727/statm: 28282 362 304 221 0 87 0
[pid=23729] ppid=23727 vsize=15418432 memory=209196 CPUtime=15.39 cores=0,2,4,6
/proc/23729/stat : 23729 (java) S 23727 23727 15592 0 -1 1077944320 30933 0 0 0 1530 9 0 0 20 0 19 0 408303233 15788474368 52299 33554432000 4194304 4196468 140729646781120 140729646763664 140272380153591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
/proc/23729/statm: 3854608 52299 3518 1 0 3815710 0
[pid=23729/tid=23730] ppid=23727 vsize=15418432 memory=-7390251449858225344 CPUtime=0.65 cores=0,2,4,6
/proc/23729/task/23730/stat : 23730 (java) S 23727 23727 15592 0 -1 1077944384 9100 0 0 0 61 4 0 0 20 0 19 0 408303233 15788474368 52299 33554432000 4194304 4196468 140729646781120 140272384394368 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23731] ppid=23727 vsize=15418432 memory=-8171376296011865461 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23731/stat : 23731 (java) S 23727 23727 15592 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 52299 33554432000 4194304 4196468 140729646781120 140272291810320 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23732] ppid=23727 vsize=15418432 memory=-8171376296011865461 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23732/stat : 23732 (java) S 23727 23727 15592 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 52299 33554432000 4194304 4196468 140729646781120 140272290757776 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23733] ppid=23727 vsize=15418432 memory=4627829660337606006 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23733/stat : 23733 (java) S 23727 23727 15592 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271970937616 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23734] ppid=23727 vsize=15418432 memory=8514701219931451533 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23734/stat : 23734 (java) S 23727 23727 15592 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 408303234 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271969885072 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23735] ppid=23727 vsize=15418432 memory=7091574461404571474 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23735/stat : 23735 (java) S 23727 23727 15592 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 19 0 408303235 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271848790256 140272380164738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23736] ppid=23727 vsize=15418432 memory=7091574461404571474 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23736/stat : 23736 (java) S 23727 23727 15592 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 408303235 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271847736480 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23737] ppid=23727 vsize=15418432 memory=7091574461404571474 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23737/stat : 23737 (java) S 23727 23727 15592 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 408303236 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271846683376 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23738] ppid=23727 vsize=15418432 memory=7091574461404571474 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23738/stat : 23738 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303238 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271845631952 140272380172187 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23739] ppid=23727 vsize=15418432 memory=7091574461404571474 CPUtime=1.64 cores=0,2,4,6
/proc/23729/task/23739/stat : 23739 (java) S 23727 23727 15592 0 -1 1077944384 10551 0 0 0 163 1 0 0 20 0 19 0 408303238 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271844580080 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23740] ppid=23727 vsize=15418432 memory=7091574461404571474 CPUtime=1.64 cores=0,2,4,6
/proc/23729/task/23740/stat : 23740 (java) S 23727 23727 15592 0 -1 1077944384 4967 0 0 0 163 1 0 0 20 0 19 0 408303238 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271843527536 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23741] ppid=23727 vsize=15418432 memory=7091574461404571474 CPUtime=0.56 cores=0,2,4,6
/proc/23729/task/23741/stat : 23741 (java) S 23727 23727 15592 0 -1 1077944384 3017 0 0 0 56 0 0 0 20 0 19 0 408303238 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271842474480 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23742] ppid=23727 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23742/stat : 23742 (java) S 23727 23727 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408303238 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271841422176 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23743] ppid=23727 vsize=15418432 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23729/task/23743/stat : 23743 (java) S 23727 23727 15592 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408303239 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271840369200 140272380164738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23764] ppid=23727 vsize=15418432 memory=10 CPUtime=2.05 cores=0,2,4,6
/proc/23729/task/23764/stat : 23764 (java) S 23727 23727 15592 0 -1 1077944384 133 0 0 0 205 0 0 0 20 0 19 0 408303363 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271829057728 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23765] ppid=23727 vsize=15418432 memory=0 CPUtime=2.41 cores=0,2,4,6
/proc/23729/task/23765/stat : 23765 (java) S 23727 23727 15592 0 -1 1077944384 402 0 0 0 241 0 0 0 20 0 19 0 408303363 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271828006096 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23766] ppid=23727 vsize=15418432 memory=0 CPUtime=2.08 cores=0,2,4,6
/proc/23729/task/23766/stat : 23766 (java) S 23727 23727 15592 0 -1 1077944384 94 0 0 0 208 0 0 0 20 0 19 0 408303363 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271830111568 140272380163797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
[pid=23729/tid=23767] ppid=23727 vsize=15418432 memory=0 CPUtime=2.62 cores=0,2,4,6
/proc/23729/task/23767/stat : 23767 (java) R 23727 23727 15592 0 -1 4202560 220 0 0 0 262 0 0 0 20 0 19 0 408303363 15788474368 52299 33554432000 4194304 4196468 140729646781120 140271826947800 140271977370403 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33566720 140729646785519 140729646785690 140729646785690 140729646788559 0
Current children cumulated CPU time: 15.39 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 210644 KiB
[startup+4.80087 s]
/proc/loadavg: 8.83 8.56 8.31 11/237 23767
/proc/meminfo: memFree=24749388/32770624 swapFree=66977612/67108860
[pid=23727] ppid=23724 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23727/stat : 23727 (xcsp3-exec) S 23724 23727 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408303232 115843072 362 33554432000 4194304 5098028 140727106092160 140727106090264 140456624046716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31666176 140727106098042 140727106098285 140727106098285 140727106101194 0
/proc/23727/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 4.8276
CPU time (s): 15.7656
CPU user time (s): 15.6472
CPU system time (s): 0.118484
CPU usage (%): 326.573
Max. virtual memory (cumulated for all children) (KiB): 15533424
Max. memory (cumulated for all children) (KiB): 210644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.6472
system time used= 0.118484
maximum resident set size= 211676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32291
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2891
involuntary context switches= 606
# summary of solver processes directly reported to runsolver:
# pid: 23727
# total CPU time (s): 15.7656
# total CPU user time (s): 15.6472
# total CPU system time (s): 0.118484
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047771 second user time and 0.099308 second system time
The end