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 (2840 MiB free)
memory of node 1: 16384 MiB (4096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404182-1568992540/watcher-4404182-1568992540 -o /tmp/evaluation-result-4404182-1568992540/solver-4404182-1568992540 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568991778-30563 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1489932813 HOME/instance-4404182-1568992540.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32753, runsolver pid=32750
[startup+0.100058 s]*
/proc/loadavg: 8.63 7.84 5.11 8/233 305
/proc/meminfo: memFree=7087464/32770624 swapFree=66935464/67108860
[pid=32753] ppid=32750 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32753/stat : 32753 (xcsp3-exec) S 32750 32753 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475191827 115843072 362 33554432000 4194304 5098028 140724753866336 140724753864440 140063049175676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12709888 140724753871738 140724753871981 140724753871981 140724753874890 0
/proc/32753/statm: 28282 362 304 221 0 87 0
[pid=32755] ppid=32753 vsize=15144776 memory=28928 CPUtime=0.13 cores=1,3,5,7
/proc/32755/stat : 32755 (java) S 32753 32753 30531 0 -1 1077944320 5706 0 0 0 12 1 0 0 20 0 15 0 475191828 15508250624 7232 33554432000 4194304 4196468 140721356822528 140721356805072 139970292084471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
/proc/32755/statm: 3786194 7232 3184 1 0 3748377 0
[pid=32755/tid=32756] ppid=32753 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/32755/task/32756/stat : 32756 (java) R 32753 32753 30531 0 -1 4202560 3579 0 0 0 8 1 0 0 20 0 15 0 475191828 15508250624 7232 33554432000 4194304 4196468 140721356822528 139970296313536 139970292096406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32757] ppid=32753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32757/stat : 32757 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15508250624 7232 33554432000 4194304 4196468 140721356822528 139970244705040 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32758] ppid=32753 vsize=15144776 memory=140432811591296 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32758/stat : 32758 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15508250624 7232 33554432000 4194304 4196468 140721356822528 139970243652496 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32759] ppid=32753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32759/stat : 32759 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15508250624 7232 33554432000 4194304 4196468 140721356822528 139970242599952 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32760] ppid=32753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32760/stat : 32760 (java) S 32753 32753 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475191829 15508250624 7232 33554432000 4194304 4196468 140721356822528 139970241547408 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32761] ppid=32753 vsize=15144776 memory=140432811591296 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32761/stat : 32761 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191830 15508250624 7232 33554432000 4194304 4196468 140721356822528 139969759786992 139970292095618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32762] ppid=32753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32762/stat : 32762 (java) S 32753 32753 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475191830 15508250624 7232 33554432000 4194304 4196468 140721356822528 139969758733216 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32763] ppid=32753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32763/stat : 32763 (java) S 32753 32753 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475191831 15508250624 7232 33554432000 4194304 4196468 140721356822528 139969757680624 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32764] ppid=32753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32764/stat : 32764 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475191833 15508250624 7232 33554432000 4194304 4196468 140721356822528 139969756629200 139970292103067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32765] ppid=32753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32765/stat : 32765 (java) R 32753 32753 30531 0 -1 4202560 290 0 0 0 0 0 0 0 20 0 15 0 475191833 15508250624 7232 33554432000 4194304 4196468 140721356822528 139969755576816 139970292095618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32766] ppid=32753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32766/stat : 32766 (java) S 32753 32753 30531 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 475191833 15508250624 7232 33554432000 4194304 4196468 140721356822528 139969754524272 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32767] ppid=32753 vsize=15144776 memory=140432811591296 CPUtime=0.02 cores=1,3,5,7
/proc/32755/task/32767/stat : 32767 (java) R 32753 32753 30531 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 15 0 475191833 15508250624 7232 33554432000 4194304 4196468 140721356822528 139969753471728 139970276164958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=304] ppid=32753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32755/task/304/stat : 304 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475191833 15508250624 7232 33554432000 4194304 4196468 140721356822528 139969752419424 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=305] ppid=32753 vsize=15144776 memory=140432811591296 CPUtime=0 cores=1,3,5,7
/proc/32755/task/305/stat : 305 (java) S 32753 32753 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475191833 15508250624 7232 33554432000 4194304 4196468 140721356822528 139969751365936 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30376 KiB
[startup+0.211537 s]*
/proc/loadavg: 8.63 7.84 5.11 6/233 305
/proc/meminfo: memFree=7074484/32770624 swapFree=66935464/67108860
[pid=32753] ppid=32750 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32753/stat : 32753 (xcsp3-exec) S 32750 32753 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475191827 115843072 362 33554432000 4194304 5098028 140724753866336 140724753864440 140063049175676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12709888 140724753871738 140724753871981 140724753871981 140724753874890 0
/proc/32753/statm: 28282 362 304 221 0 87 0
[pid=32755] ppid=32753 vsize=15144776 memory=40500 CPUtime=0.34 cores=1,3,5,7
/proc/32755/stat : 32755 (java) S 32753 32753 30531 0 -1 1077944320 9365 0 0 0 31 3 0 0 20 0 15 0 475191828 15508250624 10125 33554432000 4194304 4196468 140721356822528 140721356805072 139970292084471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
/proc/32755/statm: 3786194 10125 3304 1 0 3748377 0
[pid=32755/tid=32756] ppid=32753 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32755/task/32756/stat : 32756 (java) R 32753 32753 30531 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 475191828 15508250624 10125 33554432000 4194304 4196468 140721356822528 139970296319456 139970292096406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32757] ppid=32753 vsize=15144776 memory=2810770 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32757/stat : 32757 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15508250624 10125 33554432000 4194304 4196468 140721356822528 139970244705040 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32758] ppid=32753 vsize=15144776 memory=3762957540759799456 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32758/stat : 32758 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15508250624 10125 33554432000 4194304 4196468 140721356822528 139970243652496 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32759] ppid=32753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32759/stat : 32759 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15508250624 10125 33554432000 4194304 4196468 140721356822528 139970242599952 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32760] ppid=32753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32760/stat : 32760 (java) S 32753 32753 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475191829 15508250624 10125 33554432000 4194304 4196468 140721356822528 139970241547408 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32761] ppid=32753 vsize=15144776 memory=140432811591296 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32761/stat : 32761 (java) S 32753 32753 30531 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475191830 15508250624 10125 33554432000 4194304 4196468 140721356822528 139969759786992 139970292095618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32762] ppid=32753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32762/stat : 32762 (java) S 32753 32753 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475191830 15508250624 10125 33554432000 4194304 4196468 140721356822528 139969758733216 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32763] ppid=32753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32763/stat : 32763 (java) S 32753 32753 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475191831 15508250624 10125 33554432000 4194304 4196468 140721356822528 139969757680624 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32764] ppid=32753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32764/stat : 32764 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475191833 15508250624 10125 33554432000 4194304 4196468 140721356822528 139969756629200 139970292103067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32765] ppid=32753 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32755/task/32765/stat : 32765 (java) R 32753 32753 30531 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 475191833 15508250624 10125 33554432000 4194304 4196468 140721356822528 139969755576816 139970292095618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32766] ppid=32753 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32755/task/32766/stat : 32766 (java) S 32753 32753 30531 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 15 0 475191833 15508250624 10125 33554432000 4194304 4196468 140721356822528 139969754524272 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32767] ppid=32753 vsize=15144776 memory=140432811591296 CPUtime=0.08 cores=1,3,5,7
/proc/32755/task/32767/stat : 32767 (java) R 32753 32753 30531 0 -1 4202560 824 0 0 0 8 0 0 0 20 0 15 0 475191833 15508250624 10125 33554432000 4194304 4196468 140721356822528 139969753471728 139970276164958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=304] ppid=32753 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32755/task/304/stat : 304 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475191833 15508250624 10125 33554432000 4194304 4196468 140721356822528 139969752419424 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=305] ppid=32753 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/305/stat : 305 (java) S 32753 32753 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475191833 15508250624 10125 33554432000 4194304 4196468 140721356822528 139969751365936 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41948 KiB
[startup+0.317337 s]*
/proc/loadavg: 8.63 7.84 5.11 7/233 305
/proc/meminfo: memFree=7066460/32770624 swapFree=66935464/67108860
[pid=32753] ppid=32750 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32753/stat : 32753 (xcsp3-exec) S 32750 32753 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475191827 115843072 362 33554432000 4194304 5098028 140724753866336 140724753864440 140063049175676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12709888 140724753871738 140724753871981 140724753871981 140724753874890 0
/proc/32753/statm: 28282 362 304 221 0 87 0
[pid=32755] ppid=32753 vsize=15149032 memory=50416 CPUtime=0.54 cores=1,3,5,7
/proc/32755/stat : 32755 (java) S 32753 32753 30531 0 -1 1077944320 10973 0 0 0 50 4 0 0 20 0 15 0 475191828 15512608768 12604 33554432000 4194304 4196468 140721356822528 140721356805072 139970292084471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
/proc/32755/statm: 3787258 12604 3364 1 0 3748377 0
[pid=32755/tid=32756] ppid=32753 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/32755/task/32756/stat : 32756 (java) R 32753 32753 30531 0 -1 4202560 7854 0 0 0 27 3 0 0 20 0 15 0 475191828 15512608768 12604 33554432000 4194304 4196468 140721356822528 139970296319408 139970292096406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32757] ppid=32753 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32757/stat : 32757 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15512608768 12604 33554432000 4194304 4196468 140721356822528 139970244705040 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32758] ppid=32753 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32758/stat : 32758 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15512608768 12604 33554432000 4194304 4196468 140721356822528 139970243652496 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32759] ppid=32753 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32759/stat : 32759 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15512608768 12604 33554432000 4194304 4196468 140721356822528 139970242599952 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32760] ppid=32753 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32760/stat : 32760 (java) S 32753 32753 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475191829 15512608768 12604 33554432000 4194304 4196468 140721356822528 139970241547408 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32761] ppid=32753 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32761/stat : 32761 (java) S 32753 32753 30531 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475191830 15512608768 12604 33554432000 4194304 4196468 140721356822528 139969759786992 139970292095618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32762] ppid=32753 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32762/stat : 32762 (java) S 32753 32753 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475191830 15512608768 12604 33554432000 4194304 4196468 140721356822528 139969758733216 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32763] ppid=32753 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32763/stat : 32763 (java) S 32753 32753 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475191831 15512608768 12604 33554432000 4194304 4196468 140721356822528 139969757680624 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32764] ppid=32753 vsize=15149032 memory=-7828588039587136859 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32764/stat : 32764 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475191833 15512608768 12604 33554432000 4194304 4196468 140721356822528 139969756629200 139970292103067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32765] ppid=32753 vsize=15149032 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/32755/task/32765/stat : 32765 (java) S 32753 32753 30531 0 -1 1077944384 444 0 0 0 3 0 0 0 20 0 15 0 475191833 15512608768 12604 33554432000 4194304 4196468 140721356822528 139969755576816 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32766] ppid=32753 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/32755/task/32766/stat : 32766 (java) S 32753 32753 30531 0 -1 1077944384 378 0 0 0 5 0 0 0 20 0 15 0 475191833 15512608768 12604 33554432000 4194304 4196468 140721356822528 139969754524272 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32767] ppid=32753 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32755/task/32767/stat : 32767 (java) S 32753 32753 30531 0 -1 1077944384 988 0 0 0 12 0 0 0 20 0 15 0 475191833 15512608768 12604 33554432000 4194304 4196468 140721356822528 139969753471728 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=304] ppid=32753 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/304/stat : 304 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475191833 15512608768 12604 33554432000 4194304 4196468 140721356822528 139969752419424 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=305] ppid=32753 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/305/stat : 305 (java) S 32753 32753 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475191833 15512608768 12604 33554432000 4194304 4196468 140721356822528 139969751365936 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51864 KiB
[startup+0.70134 s]
/proc/loadavg: 8.63 7.84 5.11 9/233 305
/proc/meminfo: memFree=7045216/32770624 swapFree=66935464/67108860
[pid=32753] ppid=32750 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32753/stat : 32753 (xcsp3-exec) S 32750 32753 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475191827 115843072 362 33554432000 4194304 5098028 140724753866336 140724753864440 140063049175676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12709888 140724753871738 140724753871981 140724753871981 140724753874890 0
/proc/32753/statm: 28282 362 304 221 0 87 0
[pid=32755] ppid=32753 vsize=15151156 memory=105472 CPUtime=1.76 cores=1,3,5,7
/proc/32755/stat : 32755 (java) S 32753 32753 30531 0 -1 1077944320 14958 0 0 0 170 6 0 0 20 0 15 0 475191828 15514783744 26368 33554432000 4194304 4196468 140721356822528 140721356805072 139970292084471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
/proc/32755/statm: 3787789 26368 3456 1 0 3748889 0
[pid=32755/tid=32756] ppid=32753 vsize=15151156 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/32755/task/32756/stat : 32756 (java) R 32753 32753 30531 0 -1 4202560 9163 0 0 0 64 4 0 0 20 0 15 0 475191828 15514783744 26368 33554432000 4194304 4196468 140721356822528 139970296322128 139969918004747 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32757] ppid=32753 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32757/stat : 32757 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15514783744 26368 33554432000 4194304 4196468 140721356822528 139970244705040 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32758] ppid=32753 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32758/stat : 32758 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15514783744 26368 33554432000 4194304 4196468 140721356822528 139970243652496 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32759] ppid=32753 vsize=15151156 memory=41500 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32759/stat : 32759 (java) S 32753 32753 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475191829 15514783744 26368 33554432000 4194304 4196468 140721356822528 139970242599952 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32760] ppid=32753 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32760/stat : 32760 (java) S 32753 32753 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475191829 15514783744 26368 33554432000 4194304 4196468 140721356822528 139970241547408 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32761] ppid=32753 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32761/stat : 32761 (java) S 32753 32753 30531 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475191830 15514783744 26368 33554432000 4194304 4196468 140721356822528 139969759786992 139970292095618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32762] ppid=32753 vsize=15151156 memory=1320 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32762/stat : 32762 (java) S 32753 32753 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475191830 15514783744 26368 33554432000 4194304 4196468 140721356822528 139969758733216 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32763] ppid=32753 vsize=15151156 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32763/stat : 32763 (java) S 32753 32753 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475191831 15514783744 26368 33554432000 4194304 4196468 140721356822528 139969757680624 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32764] ppid=32753 vsize=15151156 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32764/stat : 32764 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475191833 15514783744 26368 33554432000 4194304 4196468 140721356822528 139969756629200 139970292103067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32765] ppid=32753 vsize=15151156 memory=588 CPUtime=0.31 cores=1,3,5,7
/proc/32755/task/32765/stat : 32765 (java) R 32753 32753 30531 0 -1 4202560 1208 0 0 0 31 0 0 0 20 0 15 0 475191833 15514783744 26368 33554432000 4194304 4196468 140721356822528 139969755576000 139970272784768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32766] ppid=32753 vsize=15151156 memory=780 CPUtime=0.35 cores=1,3,5,7
/proc/32755/task/32766/stat : 32766 (java) R 32753 32753 30531 0 -1 4202560 1212 0 0 0 35 0 0 0 20 0 15 0 475191833 15514783744 26368 33554432000 4194304 4196468 140721356822528 139969754505424 139970275578953 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32767] ppid=32753 vsize=15151156 memory=1056 CPUtime=0.38 cores=1,3,5,7
/proc/32755/task/32767/stat : 32767 (java) R 32753 32753 30531 0 -1 4202560 2075 0 0 0 38 0 0 0 20 0 15 0 475191833 15514783744 26368 33554432000 4194304 4196468 140721356822528 139969753471728 139970271365370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=304] ppid=32753 vsize=15151156 memory=11620 CPUtime=0 cores=1,3,5,7
/proc/32755/task/304/stat : 304 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475191833 15514783744 26368 33554432000 4194304 4196468 140721356822528 139969752419424 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=305] ppid=32753 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/32755/task/305/stat : 305 (java) S 32753 32753 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475191833 15514783744 26368 33554432000 4194304 4196468 140721356822528 139969751365936 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 106920 KiB
[startup+1.50134 s]
/proc/loadavg: 8.63 7.84 5.11 6/237 318
/proc/meminfo: memFree=6915840/32770624 swapFree=66935464/67108860
[pid=32753] ppid=32750 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32753/stat : 32753 (xcsp3-exec) S 32750 32753 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475191827 115843072 362 33554432000 4194304 5098028 140724753866336 140724753864440 140063049175676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12709888 140724753871738 140724753871981 140724753871981 140724753874890 0
/proc/32753/statm: 28282 362 304 221 0 87 0
[pid=32755] ppid=32753 vsize=15617104 memory=365020 CPUtime=4.42 cores=1,3,5,7
/proc/32755/stat : 32755 (java) S 32753 32753 30531 0 -1 1077944320 29005 0 0 0 420 22 0 0 20 0 16 0 475191828 15991914496 91255 33554432000 4194304 4196468 140721356822528 140721356805072 139970292084471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
/proc/32755/statm: 3904276 91255 3501 1 0 3865376 0
[pid=32755/tid=32756] ppid=32753 vsize=15617104 memory=1 CPUtime=0.9 cores=1,3,5,7
/proc/32755/task/32756/stat : 32756 (java) S 32753 32753 30531 0 -1 1077944384 9286 0 0 0 86 4 0 0 20 0 17 0 475191828 15991914496 91255 33554432000 4194304 4196468 140721356822528 139970296325248 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32757] ppid=32753 vsize=15617104 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32755/task/32757/stat : 32757 (java) S 32753 32753 30531 0 -1 1077944384 49 0 0 0 1 1 0 0 20 0 17 0 475191829 15991914496 91255 33554432000 4194304 4196468 140721356822528 139970244705040 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32758] ppid=32753 vsize=15617104 memory=2811011 CPUtime=0.03 cores=1,3,5,7
/proc/32755/task/32758/stat : 32758 (java) R 32753 32753 30531 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 17 0 475191829 15991914496 91255 33554432000 4194304 4196468 140721356822528 139970243652496 139970292094677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32759] ppid=32753 vsize=15617104 memory=2812295 CPUtime=0.03 cores=1,3,5,7
/proc/32755/task/32759/stat : 32759 (java) S 32753 32753 30531 0 -1 1077944384 58 0 0 0 2 1 0 0 20 0 18 0 475191829 15991914496 91255 33554432000 4194304 4196468 140721356822528 139970242599952 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32760] ppid=32753 vsize=15617104 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32755/task/32760/stat : 32760 (java) S 32753 32753 30531 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 19 0 475191829 15991914496 91255 33554432000 4194304 4196468 140721356822528 139970241547408 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32761] ppid=32753 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32761/stat : 32761 (java) S 32753 32753 30531 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 19 0 475191830 15991914496 91255 33554432000 4194304 4196468 140721356822528 139969759786992 139970292095618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32762] ppid=32753 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32762/stat : 32762 (java) S 32753 32753 30531 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475191830 15991914496 91255 33554432000 4194304 4196468 140721356822528 139969758733280 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32763] ppid=32753 vsize=15617104 memory=7812736454218312296 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32763/stat : 32763 (java) S 32753 32753 30531 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475191831 15991914496 91255 33554432000 4194304 4196468 140721356822528 139969757680640 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32764] ppid=32753 vsize=15617104 memory=7597969943181355884 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32764/stat : 32764 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475191833 15991914496 91255 33554432000 4194304 4196468 140721356822528 139969756629200 139970292103067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32765] ppid=32753 vsize=15617104 memory=7598253621776836457 CPUtime=0.97 cores=1,3,5,7
/proc/32755/task/32765/stat : 32765 (java) R 32753 32753 30531 0 -1 4202560 2485 0 0 0 96 1 0 0 20 0 19 0 475191833 15991914496 91255 33554432000 4194304 4196468 140721356822528 139969755568096 139970292105818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32766] ppid=32753 vsize=15617104 memory=8245924231467461998 CPUtime=1.07 cores=1,3,5,7
/proc/32755/task/32766/stat : 32766 (java) R 32753 32753 30531 0 -1 4202560 2776 0 0 0 106 1 0 0 20 0 19 0 475191833 15991914496 91255 33554432000 4194304 4196468 140721356822528 139969754505840 139970275615977 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32767] ppid=32753 vsize=15617104 memory=7956005001161044328 CPUtime=0.64 cores=1,3,5,7
/proc/32755/task/32767/stat : 32767 (java) S 32753 32753 30531 0 -1 1077944384 3178 0 0 0 63 1 0 0 20 0 19 0 475191833 15991914496 91255 33554432000 4194304 4196468 140721356822528 139969753471728 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=304] ppid=32753 vsize=15617104 memory=6199803232662860040 CPUtime=0 cores=1,3,5,7
/proc/32755/task/304/stat : 304 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475191833 15991914496 91255 33554432000 4194304 4196468 140721356822528 139969752419424 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=305] ppid=32753 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/305/stat : 305 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475191833 15991914496 91255 33554432000 4194304 4196468 140721356822528 139969751365936 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
Current children cumulated CPU time: 4.42 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 366468 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2.00134 s]*
/proc/loadavg: 8.74 7.87 5.13 13/237 1727
/proc/meminfo: memFree=6190876/32770624 swapFree=66935464/67108860
[pid=32753] ppid=32750 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32753/stat : 32753 (xcsp3-exec) S 32750 32753 30531 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475191827 115843072 362 33554432000 4194304 5098028 140724753866336 140724753864440 140063049175676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12709888 140724753871738 140724753871981 140724753871981 140724753874890 0
/proc/32753/statm: 28282 362 304 221 0 87 0
[pid=32755] ppid=32753 vsize=15818844 memory=922992 CPUtime=5.99 cores=1,3,5,7
/proc/32755/stat : 32755 (java) S 32753 32753 30531 0 -1 1077944320 37695 0 0 0 560 39 0 0 20 0 19 0 475191828 16198496256 230748 33554432000 4194304 4196468 140721356822528 140721356805072 139970292084471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
/proc/32755/statm: 3954711 230748 3519 1 0 3915811 0
[pid=32755/tid=32756] ppid=32753 vsize=15818844 memory=4358230172503145866 CPUtime=0.98 cores=1,3,5,7
/proc/32755/task/32756/stat : 32756 (java) S 32753 32753 30531 0 -1 1077944384 9298 0 0 0 93 5 0 0 20 0 19 0 475191828 16198496256 230748 33554432000 4194304 4196468 140721356822528 139970296325136 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32757] ppid=32753 vsize=15818844 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/32755/task/32757/stat : 32757 (java) S 32753 32753 30531 0 -1 1077944384 66 0 0 0 4 1 0 0 20 0 19 0 475191829 16198496256 230748 33554432000 4194304 4196468 140721356822528 139970244705040 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32758] ppid=32753 vsize=15818844 memory=140432811591296 CPUtime=0.05 cores=1,3,5,7
/proc/32755/task/32758/stat : 32758 (java) S 32753 32753 30531 0 -1 1077944384 73 0 0 0 4 1 0 0 20 0 19 0 475191829 16198496256 230748 33554432000 4194304 4196468 140721356822528 139970243652496 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32759] ppid=32753 vsize=15818844 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/32755/task/32759/stat : 32759 (java) S 32753 32753 30531 0 -1 1077944384 68 0 0 0 4 2 0 0 20 0 19 0 475191829 16198496256 230748 33554432000 4194304 4196468 140721356822528 139970242599952 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32760] ppid=32753 vsize=15818844 memory=32 CPUtime=0.05 cores=1,3,5,7
/proc/32755/task/32760/stat : 32760 (java) S 32753 32753 30531 0 -1 1077944384 61 0 0 0 3 2 0 0 20 0 19 0 475191829 16198496256 230748 33554432000 4194304 4196468 140721356822528 139970241547408 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32761] ppid=32753 vsize=15818844 memory=140432811591296 CPUtime=0.01 cores=1,3,5,7
/proc/32755/task/32761/stat : 32761 (java) S 32753 32753 30531 0 -1 1077944384 962 0 0 0 1 0 0 0 20 0 19 0 475191830 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969759786992 139970292095618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32762] ppid=32753 vsize=15818844 memory=131 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32762/stat : 32762 (java) S 32753 32753 30531 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475191830 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969758733280 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32763] ppid=32753 vsize=15818844 memory=7984344205102 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32763/stat : 32763 (java) S 32753 32753 30531 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475191831 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969757680640 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32764] ppid=32753 vsize=15818844 memory=288230600362688838 CPUtime=0 cores=1,3,5,7
/proc/32755/task/32764/stat : 32764 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475191833 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969756629200 139970292103067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32765] ppid=32753 vsize=15818844 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/32755/task/32765/stat : 32765 (java) S 32753 32753 30531 0 -1 1077944384 2553 0 0 0 132 1 0 0 20 0 19 0 475191833 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969755576816 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32766] ppid=32753 vsize=15818844 memory=-1 CPUtime=1.48 cores=1,3,5,7
/proc/32755/task/32766/stat : 32766 (java) R 32753 32753 30531 0 -1 4202560 2874 0 0 0 147 1 0 0 20 0 19 0 475191833 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969754524192 139970273608765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=32767] ppid=32753 vsize=15818844 memory=140432811591296 CPUtime=0.72 cores=1,3,5,7
/proc/32755/task/32767/stat : 32767 (java) R 32753 32753 30531 0 -1 1077944384 3336 0 0 0 71 1 0 0 20 0 19 0 475191833 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969753471728 139970292095618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=304] ppid=32753 vsize=15818844 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32755/task/304/stat : 304 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475191833 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969752419424 139970292094677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=305] ppid=32753 vsize=15818844 memory=140432811591296 CPUtime=0 cores=1,3,5,7
/proc/32755/task/305/stat : 305 (java) S 32753 32753 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475191833 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969751365936 139970292095618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=1724] ppid=32753 vsize=15818844 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32755/task/1724/stat : 1724 (java) R 32753 32753 30531 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 475192026 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969730817816 139969921642300 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=1725] ppid=32753 vsize=15818844 memory=140432811591296 CPUtime=0.01 cores=1,3,5,7
/proc/32755/task/1725/stat : 1725 (java) R 32753 32753 30531 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 475192026 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969732920040 139969919984716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=1726] ppid=32753 vsize=15818844 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32755/task/1726/stat : 1726 (java) R 32753 32753 30531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 475192026 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969740287456 139969920155378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
[pid=32755/tid=1727] ppid=32753 vsize=15818844 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32755/task/1727/stat : 1727 (java) R 32753 32753 30531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 475192026 16198496256 230748 33554432000 4194304 4196468 140721356822528 139969731873376 139969913978193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18051072 140721356825583 140721356825754 140721356825754 140721356828623 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 15931972 KiB
Current children cumulated memory: 924440 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2.02806 s]
# the end of solver process 32753 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002254 s, system=0 s
[startup+2.04898 s]
# the end of solver process 32755 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.66529 s, system=0.403481 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): 2.04902
CPU time (s): 6.06877
CPU user time (s): 5.66529
CPU system time (s): 0.403481
CPU usage (%): 296.179
Max. virtual memory (cumulated for all children) (KiB): 15931972
Max. memory (cumulated for all children) (KiB): 924440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.66529
system time used= 0.403481
maximum resident set size= 930096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38335
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= 9083
involuntary context switches= 79
# summary of solver processes directly reported to runsolver:
# pid: 32753,32755
# total CPU time (s): 6.06877
# total CPU user time (s): 5.66529
# total CPU system time (s): 0.403481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043423 second user time and 0.069901 second system time
The end