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 (12497 MiB free)
memory of node 1: 16384 MiB (14179 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405926-1569409504/watcher-4405926-1569409504 -o /var/tmp/evaluation-result-4405926-1569409504/solver-4405926-1569409504 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569409423-3353 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1059897193 HOME/instance-4405926-1569409504.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3629, runsolver pid=3626
Current StackSize limit: 8192 KiB
[startup+0.100796 s]*
/proc/loadavg: 2.14 1.75 1.62 4/231 3645
/proc/meminfo: memFree=27301216/32770624 swapFree=66957912/67108860
[pid=3629] ppid=3626 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3629/stat : 3629 (xcsp3-exec) S 3626 3629 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517189024 115843072 363 33554432000 4194304 5098028 140722480545792 140722480543896 140649294819964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35897344 140722480550742 140722480551001 140722480551001 140722480553926 0
/proc/3629/statm: 28282 363 304 221 0 87 0
[pid=3631] ppid=3629 vsize=15144776 memory=28352 CPUtime=0.12 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3629 3629 669 0 -1 1077944320 5591 0 0 0 11 1 0 0 20 0 15 0 517189024 15508250624 7088 33554432000 4194304 4196468 140727966663664 140727966646208 139921462013687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
/proc/3631/statm: 3786194 7088 3114 1 0 3748377 0
[pid=3631/tid=3632] ppid=3629 vsize=15144776 memory=7883960649037381690 CPUtime=0.08 cores=1,3,5,7
/proc/3631/task/3632/stat : 3632 (java) R 3629 3629 669 0 -1 4202560 3534 0 0 0 8 0 0 0 20 0 15 0 517189025 15508250624 7153 33554432000 4194304 4196468 140727966663664 139921466245936 139921058793504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3633] ppid=3629 vsize=15144776 memory=1943324 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189025 15508250624 7153 33554432000 4194304 4196468 140727966663664 139921390053648 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3634] ppid=3629 vsize=15144776 memory=140512350479916 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189026 15508250624 7153 33554432000 4194304 4196468 140727966663664 139921389001104 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3635] ppid=3629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189026 15508250624 7153 33554432000 4194304 4196468 140727966663664 139921387948560 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3636] ppid=3629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3629 3629 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517189026 15508250624 7153 33554432000 4194304 4196468 140727966663664 139921386896016 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3637] ppid=3629 vsize=15144776 memory=140512350467712 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3629 3629 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517189027 15508250624 7153 33554432000 4194304 4196468 140727966663664 139920335714800 139921462024834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3638] ppid=3629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3629 3629 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517189027 15508250624 7153 33554432000 4194304 4196468 140727966663664 139920334661024 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3639] ppid=3629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3629 3629 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517189028 15508250624 7153 33554432000 4194304 4196468 140727966663664 139920333608432 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3640] ppid=3629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15508250624 7153 33554432000 4194304 4196468 140727966663664 139920332557008 139921462032283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3641] ppid=3629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3629 3629 669 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 517189030 15508250624 7153 33554432000 4194304 4196468 140727966663664 139920331503600 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3642] ppid=3629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3629 3629 669 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 517189030 15508250624 7153 33554432000 4194304 4196468 140727966663664 139920330451056 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3643] ppid=3629 vsize=15144776 memory=140512350467712 CPUtime=0.02 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) S 3629 3629 669 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 15 0 517189030 15508250624 7153 33554432000 4194304 4196468 140727966663664 139920329398512 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3644] ppid=3629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15508250624 7153 33554432000 4194304 4196468 140727966663664 139920328346208 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3645] ppid=3629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189030 15508250624 7153 33554432000 4194304 4196468 140727966663664 139920327293744 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29804 KiB
[startup+0.210731 s]*
/proc/loadavg: 2.14 1.75 1.62 3/231 3645
/proc/meminfo: memFree=27287728/32770624 swapFree=66957912/67108860
[pid=3629] ppid=3626 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3629/stat : 3629 (xcsp3-exec) S 3626 3629 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517189024 115843072 363 33554432000 4194304 5098028 140722480545792 140722480543896 140649294819964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35897344 140722480550742 140722480551001 140722480551001 140722480553926 0
/proc/3629/statm: 28282 363 304 221 0 87 0
[pid=3631] ppid=3629 vsize=15144776 memory=41132 CPUtime=0.33 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3629 3629 669 0 -1 1077944320 9487 0 0 0 31 2 0 0 20 0 15 0 517189024 15508250624 10283 33554432000 4194304 4196468 140727966663664 140727966646208 139921462013687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
/proc/3631/statm: 3786194 10283 3291 1 0 3748377 0
[pid=3631/tid=3632] ppid=3629 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3631/task/3632/stat : 3632 (java) R 3629 3629 669 0 -1 4202560 6593 0 0 0 18 2 0 0 20 0 15 0 517189025 15508250624 10283 33554432000 4194304 4196468 140727966663664 139921466248384 139921429610287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3633] ppid=3629 vsize=15144776 memory=1943324 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189025 15508250624 10283 33554432000 4194304 4196468 140727966663664 139921390053648 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3634] ppid=3629 vsize=15144776 memory=140512350479916 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189026 15508250624 10283 33554432000 4194304 4196468 140727966663664 139921389001104 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3635] ppid=3629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189026 15508250624 10283 33554432000 4194304 4196468 140727966663664 139921387948560 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3636] ppid=3629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3629 3629 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517189026 15508250624 10283 33554432000 4194304 4196468 140727966663664 139921386896016 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3637] ppid=3629 vsize=15144776 memory=140512350467712 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3629 3629 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517189027 15508250624 10283 33554432000 4194304 4196468 140727966663664 139920335714800 139921462024834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3638] ppid=3629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3629 3629 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517189027 15508250624 10283 33554432000 4194304 4196468 140727966663664 139920334661024 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3639] ppid=3629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3629 3629 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517189028 15508250624 10283 33554432000 4194304 4196468 140727966663664 139920333608432 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3640] ppid=3629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15508250624 10283 33554432000 4194304 4196468 140727966663664 139920332557008 139921462032283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3641] ppid=3629 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3629 3629 669 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 15 0 517189030 15508250624 10283 33554432000 4194304 4196468 140727966663664 139920331503600 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3642] ppid=3629 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3629 3629 669 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 15 0 517189030 15508250624 10283 33554432000 4194304 4196468 140727966663664 139920330451056 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3643] ppid=3629 vsize=15144776 memory=140512350467712 CPUtime=0.08 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) R 3629 3629 669 0 -1 4202560 793 0 0 0 8 0 0 0 20 0 15 0 517189030 15508250624 10283 33554432000 4194304 4196468 140727966663664 139920329398512 139921440583488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3644] ppid=3629 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15508250624 10283 33554432000 4194304 4196468 140727966663664 139920328346208 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3645] ppid=3629 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189030 15508250624 10283 33554432000 4194304 4196468 140727966663664 139920327293744 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42584 KiB
[startup+0.310737 s]*
/proc/loadavg: 2.14 1.75 1.62 4/231 3645
/proc/meminfo: memFree=27280208/32770624 swapFree=66957912/67108860
[pid=3629] ppid=3626 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3629/stat : 3629 (xcsp3-exec) S 3626 3629 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517189024 115843072 363 33554432000 4194304 5098028 140722480545792 140722480543896 140649294819964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35897344 140722480550742 140722480551001 140722480551001 140722480553926 0
/proc/3629/statm: 28282 363 304 221 0 87 0
[pid=3631] ppid=3629 vsize=15149032 memory=49948 CPUtime=0.52 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3629 3629 669 0 -1 1077944320 10778 0 0 0 49 3 0 0 20 0 15 0 517189024 15512608768 12487 33554432000 4194304 4196468 140727966663664 140727966646208 139921462013687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
/proc/3631/statm: 3787258 12487 3373 1 0 3748377 0
[pid=3631/tid=3632] ppid=3629 vsize=15149032 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/3631/task/3632/stat : 3632 (java) R 3629 3629 669 0 -1 4202560 7740 0 0 0 27 2 0 0 20 0 15 0 517189025 15512608768 12487 33554432000 4194304 4196468 140727966663664 139921466247472 139921446094204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3633] ppid=3629 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189025 15512608768 12487 33554432000 4194304 4196468 140727966663664 139921390053648 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3634] ppid=3629 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189026 15512608768 12487 33554432000 4194304 4196468 140727966663664 139921389001104 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3635] ppid=3629 vsize=15149032 memory=-3284643825843719562 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189026 15512608768 12487 33554432000 4194304 4196468 140727966663664 139921387948560 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3636] ppid=3629 vsize=15149032 memory=-6859883093977224848 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3629 3629 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517189026 15512608768 12487 33554432000 4194304 4196468 140727966663664 139921386896016 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3637] ppid=3629 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3629 3629 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517189027 15512608768 12487 33554432000 4194304 4196468 140727966663664 139920335714800 139921462024834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3638] ppid=3629 vsize=15149032 memory=-9109213556524817781 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3629 3629 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517189027 15512608768 12487 33554432000 4194304 4196468 140727966663664 139920334661024 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3639] ppid=3629 vsize=15149032 memory=4426640021824769398 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3629 3629 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517189028 15512608768 12487 33554432000 4194304 4196468 140727966663664 139920333608432 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3640] ppid=3629 vsize=15149032 memory=-8961169117913857985 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15512608768 12487 33554432000 4194304 4196468 140727966663664 139920332557008 139921462032283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3641] ppid=3629 vsize=15149032 memory=6529253631088562301 CPUtime=0.04 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3629 3629 669 0 -1 1077944384 397 0 0 0 4 0 0 0 20 0 15 0 517189030 15512608768 12487 33554432000 4194304 4196468 140727966663664 139920331503600 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3642] ppid=3629 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) R 3629 3629 669 0 -1 4202560 488 0 0 0 4 0 0 0 20 0 15 0 517189030 15512608768 12487 33554432000 4194304 4196468 140727966663664 139920330441440 139921462035034 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3643] ppid=3629 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) S 3629 3629 669 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 517189030 15512608768 12487 33554432000 4194304 4196468 140727966663664 139920329398512 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3644] ppid=3629 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15512608768 12487 33554432000 4194304 4196468 140727966663664 139920328346208 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3645] ppid=3629 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189030 15512608768 12487 33554432000 4194304 4196468 140727966663664 139920327293744 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51400 KiB
[startup+0.703716 s]
/proc/loadavg: 2.14 1.75 1.62 6/231 3645
/proc/meminfo: memFree=27232316/32770624 swapFree=66957912/67108860
[pid=3629] ppid=3626 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3629/stat : 3629 (xcsp3-exec) S 3626 3629 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517189024 115843072 363 33554432000 4194304 5098028 140722480545792 140722480543896 140649294819964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35897344 140722480550742 140722480551001 140722480551001 140722480553926 0
/proc/3629/statm: 28282 363 304 221 0 87 0
[pid=3631] ppid=3629 vsize=15151156 memory=82136 CPUtime=1.61 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3629 3629 669 0 -1 1077944320 13796 0 0 0 157 4 0 0 20 0 15 0 517189024 15514783744 20534 33554432000 4194304 4196468 140727966663664 140727966646208 139921462013687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
/proc/3631/statm: 3787789 20534 3450 1 0 3748889 0
[pid=3631/tid=3632] ppid=3629 vsize=15151156 memory=5782692679075529345 CPUtime=0.67 cores=1,3,5,7
/proc/3631/task/3632/stat : 3632 (java) R 3629 3629 669 0 -1 4202560 8659 0 0 0 64 3 0 0 20 0 15 0 517189025 15514783744 20534 33554432000 4194304 4196468 140727966663664 139921466252592 139921063396216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3633] ppid=3629 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189025 15514783744 20534 33554432000 4194304 4196468 140727966663664 139921390053648 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3634] ppid=3629 vsize=15151156 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189026 15514783744 20534 33554432000 4194304 4196468 140727966663664 139921389001104 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3635] ppid=3629 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189026 15514783744 20534 33554432000 4194304 4196468 140727966663664 139921387948560 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3636] ppid=3629 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3629 3629 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517189026 15514783744 20534 33554432000 4194304 4196468 140727966663664 139921386896016 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3637] ppid=3629 vsize=15151156 memory=11632 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3629 3629 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517189027 15514783744 20534 33554432000 4194304 4196468 140727966663664 139920335714800 139921462024834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3638] ppid=3629 vsize=15151156 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3629 3629 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517189027 15514783744 20534 33554432000 4194304 4196468 140727966663664 139920334661024 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3639] ppid=3629 vsize=15151156 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3629 3629 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517189028 15514783744 20534 33554432000 4194304 4196468 140727966663664 139920333608432 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3640] ppid=3629 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15514783744 20534 33554432000 4194304 4196468 140727966663664 139920332557008 139921462032283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3641] ppid=3629 vsize=15151156 memory=780 CPUtime=0.26 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) R 3629 3629 669 0 -1 4202560 1122 0 0 0 26 0 0 0 20 0 15 0 517189030 15514783744 20534 33554432000 4194304 4196468 140727966663664 139920331503600 139921447121044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3642] ppid=3629 vsize=15151156 memory=6176 CPUtime=0.24 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) R 3629 3629 669 0 -1 4202560 958 0 0 0 24 0 0 0 20 0 15 0 517189030 15514783744 20534 33554432000 4194304 4196468 140727966663664 139920330443872 139921446436757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3643] ppid=3629 vsize=15151156 memory=624 CPUtime=0.41 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) S 3629 3629 669 0 -1 1077944384 1749 0 0 0 41 0 0 0 20 0 15 0 517189030 15514783744 20534 33554432000 4194304 4196468 140727966663664 139920329398512 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3644] ppid=3629 vsize=15151156 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15514783744 20534 33554432000 4194304 4196468 140727966663664 139920328346208 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3645] ppid=3629 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3629 3629 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517189030 15514783744 20534 33554432000 4194304 4196468 140727966663664 139920327293744 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 83588 KiB
[startup+1.50072 s]
/proc/loadavg: 2.14 1.75 1.62 4/231 3645
/proc/meminfo: memFree=27205084/32770624 swapFree=66957912/67108860
[pid=3629] ppid=3626 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3629/stat : 3629 (xcsp3-exec) S 3626 3629 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517189024 115843072 363 33554432000 4194304 5098028 140722480545792 140722480543896 140649294819964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35897344 140722480550742 140722480551001 140722480551001 140722480553926 0
/proc/3629/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/3631/task/3639/stat : 3639 (java) S 3629 3629 669 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517189028 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920333608448 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3640] ppid=3629 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920332557008 139921462032283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3641] ppid=3629 vsize=15151156 memory=65644 CPUtime=1.08 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3629 3629 669 0 -1 1077944384 8274 0 0 0 107 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920331503600 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3642] ppid=3629 vsize=15151156 memory=1452 CPUtime=1.03 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3629 3629 669 0 -1 1077944384 9229 0 0 0 102 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920330451056 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3643] ppid=3629 vsize=15151156 memory=1452 CPUtime=0.6 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) S 3629 3629 669 0 -1 1077944384 7367 0 0 0 59 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920329398512 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3644] ppid=3629 vsize=15151156 memory=1988 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920328346208 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3645] ppid=3629 vsize=15151156 memory=988 CPUtime=0.55 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3629 3629 669 0 -1 1077944384 959 0 0 0 22 33 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920327293744 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
Current children cumulated CPU time: 2396.21 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 4251272 KiB
[startup+2442.3 s]
/proc/loadavg: 1.83 1.74 1.73 4/229 3868
/proc/meminfo: memFree=23062112/32770624 swapFree=66957916/67108860
[pid=3629] ppid=3626 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3629/stat : 3629 (xcsp3-exec) S 3626 3629 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517189024 115843072 363 33554432000 4194304 5098028 140722480545792 140722480543896 140649294819964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35897344 140722480550742 140722480551001 140722480551001 140722480553926 0
/proc/3629/statm: 28282 363 304 221 0 87 0
[pid=3631] ppid=3629 vsize=15151156 memory=4249820 CPUtime=2456.25 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3629 3629 669 0 -1 1077944320 275426 0 0 0 244816 809 0 0 20 0 15 0 517189024 15514783744 1062455 33554432000 4194304 4196468 140727966663664 140727966646208 139921462013687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
/proc/3631/statm: 3787789 1062455 3510 1 0 3748889 0
[pid=3631/tid=3632] ppid=3629 vsize=15151156 memory=4249820 CPUtime=2436.69 cores=1,3,5,7
/proc/3631/task/3632/stat : 3632 (java) R 3629 3629 669 0 -1 4202560 191918 0 0 0 242948 721 0 0 20 0 15 0 517189025 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921466253328 139921063852902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3633] ppid=3629 vsize=15151156 memory=4249820 CPUtime=3.76 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) S 3629 3629 669 0 -1 1077944384 10219 0 0 0 369 7 0 0 20 0 15 0 517189025 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921390053648 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3634] ppid=3629 vsize=15151156 memory=4249820 CPUtime=3.74 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3629 3629 669 0 -1 1077944384 14254 0 0 0 367 7 0 0 20 0 15 0 517189026 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921389001104 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3635] ppid=3629 vsize=15151156 memory=1452 CPUtime=3.75 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3629 3629 669 0 -1 1077944384 10895 0 0 0 368 7 0 0 20 0 15 0 517189026 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921387948560 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3636] ppid=3629 vsize=15151156 memory=1452 CPUtime=3.75 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3629 3629 669 0 -1 1077944384 8919 0 0 0 368 7 0 0 20 0 15 0 517189026 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921386896016 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3637] ppid=3629 vsize=15151156 memory=4249820 CPUtime=1.18 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3629 3629 669 0 -1 1077944384 11972 0 0 0 92 26 0 0 20 0 15 0 517189027 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920335714800 139921462024834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3638] ppid=3629 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3629 3629 669 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 517189027 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920334661088 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3639] ppid=3629 vsize=15151156 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3629 3629 669 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517189028 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920333608448 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3640] ppid=3629 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920332557008 139921462032283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3641] ppid=3629 vsize=15151156 memory=4249820 CPUtime=1.08 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3629 3629 669 0 -1 1077944384 8283 0 0 0 107 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920331503600 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3642] ppid=3629 vsize=15151156 memory=1452 CPUtime=1.03 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3629 3629 669 0 -1 1077944384 9231 0 0 0 102 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920330451056 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3643] ppid=3629 vsize=15151156 memory=1452 CPUtime=0.6 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) S 3629 3629 669 0 -1 1077944384 7369 0 0 0 59 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920329398512 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3644] ppid=3629 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920328346208 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3645] ppid=3629 vsize=15151156 memory=1452 CPUtime=0.56 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3629 3629 669 0 -1 1077944384 976 0 0 0 22 34 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920327293744 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
Current children cumulated CPU time: 2456.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 4251272 KiB
[startup+2502.3 s]
/proc/loadavg: 1.76 1.74 1.73 2/207 3920
/proc/meminfo: memFree=23280844/32770624 swapFree=66957916/67108860
[pid=3629] ppid=3626 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3629/stat : 3629 (xcsp3-exec) S 3626 3629 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517189024 115843072 363 33554432000 4194304 5098028 140722480545792 140722480543896 140649294819964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35897344 140722480550742 140722480551001 140722480551001 140722480553926 0
/proc/3629/statm: 28282 363 304 221 0 87 0
[pid=3631] ppid=3629 vsize=15151156 memory=4249820 CPUtime=2516.3 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3629 3629 669 0 -1 1077944320 283372 0 0 0 250819 811 0 0 20 0 15 0 517189024 15514783744 1062455 33554432000 4194304 4196468 140727966663664 140727966646208 139921462013687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
/proc/3631/statm: 3787789 1062455 3510 1 0 3748889 0
[pid=3631/tid=3632] ppid=3629 vsize=15151156 memory=4249820 CPUtime=2496.66 cores=1,3,5,7
/proc/3631/task/3632/stat : 3632 (java) R 3629 3629 669 0 -1 4202560 198431 0 0 0 248944 722 0 0 20 0 15 0 517189025 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921466253328 139921064153367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3633] ppid=3629 vsize=15151156 memory=1452 CPUtime=3.78 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) S 3629 3629 669 0 -1 1077944384 11215 0 0 0 371 7 0 0 20 0 15 0 517189025 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921390053648 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3634] ppid=3629 vsize=15151156 memory=1452 CPUtime=3.76 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3629 3629 669 0 -1 1077944384 14328 0 0 0 369 7 0 0 20 0 15 0 517189026 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921389001104 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3635] ppid=3629 vsize=15151156 memory=4249820 CPUtime=3.77 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3629 3629 669 0 -1 1077944384 10963 0 0 0 370 7 0 0 20 0 15 0 517189026 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921387948560 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3636] ppid=3629 vsize=15151156 memory=1452 CPUtime=3.76 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3629 3629 669 0 -1 1077944384 9008 0 0 0 369 7 0 0 20 0 15 0 517189026 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921386896016 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3637] ppid=3629 vsize=15151156 memory=1452 CPUtime=1.18 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3629 3629 669 0 -1 1077944384 12151 0 0 0 92 26 0 0 20 0 15 0 517189027 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920335714800 139921462024834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3638] ppid=3629 vsize=15151156 memory=4249820 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3629 3629 669 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 517189027 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920334661088 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3639] ppid=3629 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3629 3629 669 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517189028 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920333608448 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3640] ppid=3629 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920332557008 139921462032283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3641] ppid=3629 vsize=15151156 memory=1452 CPUtime=1.08 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3629 3629 669 0 -1 1077944384 8285 0 0 0 107 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920331503600 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3642] ppid=3629 vsize=15151156 memory=4249820 CPUtime=1.03 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3629 3629 669 0 -1 1077944384 9233 0 0 0 102 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920330451056 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3643] ppid=3629 vsize=15151156 memory=1452 CPUtime=0.6 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) S 3629 3629 669 0 -1 1077944384 7371 0 0 0 59 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920329398512 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3644] ppid=3629 vsize=15151156 memory=4249820 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920328346208 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3645] ppid=3629 vsize=15151156 memory=1988 CPUtime=0.58 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3629 3629 669 0 -1 1077944384 997 0 0 0 23 35 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920327293744 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
Current children cumulated CPU time: 2516.3 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 4251272 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506 s]*
/proc/loadavg: 1.70 1.73 1.73 2/207 3920
/proc/meminfo: memFree=23280876/32770624 swapFree=66957916/67108860
[pid=3629] ppid=3626 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3629/stat : 3629 (xcsp3-exec) S 3626 3629 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517189024 115843072 363 33554432000 4194304 5098028 140722480545792 140722480543896 140649294819964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35897344 140722480550742 140722480551001 140722480551001 140722480553926 0
/proc/3629/statm: 28282 363 304 221 0 87 0
[pid=3631] ppid=3629 vsize=15151156 memory=4249820 CPUtime=2520 cores=1,3,5,7
/proc/3631/stat : 3631 (java) S 3629 3629 669 0 -1 1077944320 283900 0 0 0 251189 811 0 0 20 0 15 0 517189024 15514783744 1062455 33554432000 4194304 4196468 140727966663664 140727966646208 139921462013687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
/proc/3631/statm: 3787789 1062455 3510 1 0 3748889 0
[pid=3631/tid=3632] ppid=3629 vsize=15151156 memory=1976 CPUtime=2500.37 cores=1,3,5,7
/proc/3631/task/3632/stat : 3632 (java) R 3629 3629 669 0 -1 4202560 198957 0 0 0 249315 722 0 0 20 0 15 0 517189025 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921466253328 139921064153282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3633] ppid=3629 vsize=15151156 memory=4872558044660077418 CPUtime=3.78 cores=1,3,5,7
/proc/3631/task/3633/stat : 3633 (java) S 3629 3629 669 0 -1 1077944384 11215 0 0 0 371 7 0 0 20 0 15 0 517189025 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921390053648 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3634] ppid=3629 vsize=15151156 memory=3848 CPUtime=3.76 cores=1,3,5,7
/proc/3631/task/3634/stat : 3634 (java) S 3629 3629 669 0 -1 1077944384 14328 0 0 0 369 7 0 0 20 0 15 0 517189026 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921389001104 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3635] ppid=3629 vsize=15151156 memory=2112 CPUtime=3.77 cores=1,3,5,7
/proc/3631/task/3635/stat : 3635 (java) S 3629 3629 669 0 -1 1077944384 10963 0 0 0 370 7 0 0 20 0 15 0 517189026 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921387948560 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3636] ppid=3629 vsize=15151156 memory=12040 CPUtime=3.76 cores=1,3,5,7
/proc/3631/task/3636/stat : 3636 (java) S 3629 3629 669 0 -1 1077944384 9008 0 0 0 369 7 0 0 20 0 15 0 517189026 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139921386896016 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3637] ppid=3629 vsize=15151156 memory=38236 CPUtime=1.18 cores=1,3,5,7
/proc/3631/task/3637/stat : 3637 (java) S 3629 3629 669 0 -1 1077944384 12151 0 0 0 92 26 0 0 20 0 15 0 517189027 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920335714800 139921462024834 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3638] ppid=3629 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3638/stat : 3638 (java) S 3629 3629 669 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 517189027 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920334661088 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3639] ppid=3629 vsize=15151156 memory=532 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3639/stat : 3639 (java) S 3629 3629 669 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 517189028 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920333608448 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3640] ppid=3629 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3640/stat : 3640 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920332557008 139921462032283 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3641] ppid=3629 vsize=15151156 memory=1720 CPUtime=1.08 cores=1,3,5,7
/proc/3631/task/3641/stat : 3641 (java) S 3629 3629 669 0 -1 1077944384 8285 0 0 0 107 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920331503600 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3642] ppid=3629 vsize=15151156 memory=1976 CPUtime=1.03 cores=1,3,5,7
/proc/3631/task/3642/stat : 3642 (java) S 3629 3629 669 0 -1 1077944384 9233 0 0 0 102 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920330451056 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3643] ppid=3629 vsize=15151156 memory=2432 CPUtime=0.6 cores=1,3,5,7
/proc/3631/task/3643/stat : 3643 (java) S 3629 3629 669 0 -1 1077944384 7371 0 0 0 59 1 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920329398512 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3644] ppid=3629 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/3631/task/3644/stat : 3644 (java) S 3629 3629 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920328346208 139921462023893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
[pid=3631/tid=3645] ppid=3629 vsize=15151156 memory=808 CPUtime=0.58 cores=1,3,5,7
/proc/3631/task/3645/stat : 3645 (java) S 3629 3629 669 0 -1 1077944384 999 0 0 0 23 35 0 0 20 0 15 0 517189030 15514783744 1062455 33554432000 4194304 4196468 140727966663664 139920327293744 139921462024834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 31301632 140727966667739 140727966667914 140727966667914 140727966670799 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 4251272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.02 s]
# the end of solver process 3629 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001156 s, system=0.001156 s
[startup+2506.03 s]
# the end of solver process 3631 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.91 s, system=8.13828 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): 2506.03
CPU time (s): 2520.05
CPU user time (s): 2511.91
CPU system time (s): 8.13828
CPU usage (%): 100.559
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 8605632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.91
system time used= 8.13828
maximum resident set size= 8627588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284779
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73158
involuntary context switches= 6493
# summary of solver processes directly reported to runsolver:
# pid: 3629,3631
# total CPU time (s): 2520.05
# total CPU user time (s): 2511.91
# total CPU system time (s): 8.13828
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8078 second user time and 23.5788 second system time
The end