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 (13983 MiB free)
memory of node 1: 16384 MiB (14131 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399255-1568695751/watcher-4399255-1568695751 -o /tmp/evaluation-result-4399255-1568695751/solver-4399255-1568695751 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32469 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 96364597 HOME/instance-4399255-1568695751.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
Current StackSize limit: 8192 KiB
solver pid=4791, runsolver pid=4788
[startup+0.102583 s]*
/proc/loadavg: 7.64 7.84 6.39 6/233 4807
/proc/meminfo: memFree=28772788/32770624 swapFree=66939908/67108860
[pid=4791] ppid=4788 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445489913 115843072 362 33554432000 4194304 5098028 140736096951168 140736096949272 140396550173308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26361856 140736096953212 140736096953453 140736096953453 140736096956362 0
/proc/4791/statm: 28282 362 304 221 0 87 0
[pid=4793] ppid=4791 vsize=15144776 memory=30136 CPUtime=0.13 cores=1,3,5,7
/proc/4793/stat : 4793 (java) S 4791 4791 32437 0 -1 1077944320 5978 0 0 0 12 1 0 0 20 0 15 0 445489913 15508250624 7534 33554432000 4194304 4196468 140736560134560 140736560117104 140473089052407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
/proc/4793/statm: 3786194 7534 3184 1 0 3748377 0
[pid=4793/tid=4794] ppid=4791 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (java) R 4791 4791 32437 0 -1 4202560 3865 0 0 0 9 0 0 0 20 0 15 0 445489913 15508250624 7534 33554432000 4194304 4196468 140736560134560 140473093285536 140473074226872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4795] ppid=4791 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15508250624 7534 33554432000 4194304 4196468 140736560134560 140473017093136 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4796] ppid=4791 vsize=15144776 memory=140023598257792 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15508250624 7534 33554432000 4194304 4196468 140736560134560 140473016040592 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4797] ppid=4791 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4797/stat : 4797 (java) S 4791 4791 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445489914 15508250624 7534 33554432000 4194304 4196468 140736560134560 140473014987536 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4798] ppid=4791 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4798/stat : 4798 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15508250624 7534 33554432000 4194304 4196468 140736560134560 140473013934992 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4799] ppid=4791 vsize=15144776 memory=140023598257792 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4799/stat : 4799 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489915 15508250624 7534 33554432000 4194304 4196468 140736560134560 140471962974448 140473089063554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4800] ppid=4791 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4800/stat : 4800 (java) S 4791 4791 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445489916 15508250624 7534 33554432000 4194304 4196468 140736560134560 140471961920672 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4801] ppid=4791 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4801/stat : 4801 (java) S 4791 4791 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445489916 15508250624 7534 33554432000 4194304 4196468 140736560134560 140471960867568 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4802] ppid=4791 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4802/stat : 4802 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445489918 15508250624 7534 33554432000 4194304 4196468 140736560134560 140471959816144 140473089071003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4803] ppid=4791 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4803/stat : 4803 (java) R 4791 4791 32437 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 445489918 15508250624 7534 33554432000 4194304 4196468 140736560134560 140471958764272 140473089063554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4804] ppid=4791 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4804/stat : 4804 (java) S 4791 4791 32437 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 445489918 15508250624 7534 33554432000 4194304 4196468 140736560134560 140471957711728 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4805] ppid=4791 vsize=15144776 memory=140023598257792 CPUtime=0.02 cores=1,3,5,7
/proc/4793/task/4805/stat : 4805 (java) S 4791 4791 32437 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 15 0 445489918 15508250624 7534 33554432000 4194304 4196468 140736560134560 140471956658672 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4806] ppid=4791 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4806/stat : 4806 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445489919 15508250624 7534 33554432000 4194304 4196468 140736560134560 140471955606368 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4807] ppid=4791 vsize=15144776 memory=140023598257792 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4807/stat : 4807 (java) S 4791 4791 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445489919 15508250624 7534 33554432000 4194304 4196468 140736560134560 140471954553392 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31584 KiB
[startup+0.210878 s]*
/proc/loadavg: 7.64 7.84 6.39 7/233 4807
/proc/meminfo: memFree=28760292/32770624 swapFree=66939908/67108860
[pid=4791] ppid=4788 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445489913 115843072 362 33554432000 4194304 5098028 140736096951168 140736096949272 140396550173308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26361856 140736096953212 140736096953453 140736096953453 140736096956362 0
/proc/4791/statm: 28282 362 304 221 0 87 0
[pid=4793] ppid=4791 vsize=15144776 memory=41216 CPUtime=0.34 cores=1,3,5,7
/proc/4793/stat : 4793 (java) S 4791 4791 32437 0 -1 1077944320 9480 0 0 0 31 3 0 0 20 0 15 0 445489913 15508250624 10304 33554432000 4194304 4196468 140736560134560 140736560117104 140473089052407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
/proc/4793/statm: 3786194 10304 3304 1 0 3748377 0
[pid=4793/tid=4794] ppid=4791 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (java) R 4791 4791 32437 0 -1 4202560 6666 0 0 0 18 2 0 0 20 0 15 0 445489913 15508250624 10304 33554432000 4194304 4196468 140736560134560 140473093289080 140473089074333 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4795] ppid=4791 vsize=15144776 memory=4294977831 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15508250624 10304 33554432000 4194304 4196468 140736560134560 140473017093136 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4796] ppid=4791 vsize=15144776 memory=288370399749969536 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15508250624 10304 33554432000 4194304 4196468 140736560134560 140473016040592 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4797] ppid=4791 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4797/stat : 4797 (java) S 4791 4791 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445489914 15508250624 10304 33554432000 4194304 4196468 140736560134560 140473014987536 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4798] ppid=4791 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4798/stat : 4798 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15508250624 10304 33554432000 4194304 4196468 140736560134560 140473013934992 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4799] ppid=4791 vsize=15144776 memory=140023598257792 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4799/stat : 4799 (java) S 4791 4791 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445489915 15508250624 10304 33554432000 4194304 4196468 140736560134560 140471962974448 140473089063554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4800] ppid=4791 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4800/stat : 4800 (java) S 4791 4791 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445489916 15508250624 10304 33554432000 4194304 4196468 140736560134560 140471961920672 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4801] ppid=4791 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4801/stat : 4801 (java) S 4791 4791 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445489916 15508250624 10304 33554432000 4194304 4196468 140736560134560 140471960867568 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4802] ppid=4791 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4802/stat : 4802 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445489918 15508250624 10304 33554432000 4194304 4196468 140736560134560 140471959816144 140473089071003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4803] ppid=4791 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4793/task/4803/stat : 4803 (java) S 4791 4791 32437 0 -1 1077944384 397 0 0 0 3 0 0 0 20 0 15 0 445489918 15508250624 10304 33554432000 4194304 4196468 140736560134560 140471958764272 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4804] ppid=4791 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4793/task/4804/stat : 4804 (java) S 4791 4791 32437 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 445489918 15508250624 10304 33554432000 4194304 4196468 140736560134560 140471957711728 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4805] ppid=4791 vsize=15144776 memory=140023598257792 CPUtime=0.08 cores=1,3,5,7
/proc/4793/task/4805/stat : 4805 (java) R 4791 4791 32437 0 -1 4202560 758 0 0 0 8 0 0 0 20 0 15 0 445489918 15508250624 10304 33554432000 4194304 4196468 140736560134560 140471956658672 140473089073754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4806] ppid=4791 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4806/stat : 4806 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445489919 15508250624 10304 33554432000 4194304 4196468 140736560134560 140471955606368 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4807] ppid=4791 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4807/stat : 4807 (java) S 4791 4791 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445489919 15508250624 10304 33554432000 4194304 4196468 140736560134560 140471954553392 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42664 KiB
[startup+0.320407 s]*
/proc/loadavg: 7.64 7.84 6.39 7/233 4807
/proc/meminfo: memFree=28753372/32770624 swapFree=66939908/67108860
[pid=4791] ppid=4788 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445489913 115843072 362 33554432000 4194304 5098028 140736096951168 140736096949272 140396550173308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26361856 140736096953212 140736096953453 140736096953453 140736096956362 0
/proc/4791/statm: 28282 362 304 221 0 87 0
[pid=4793] ppid=4791 vsize=15149032 memory=50524 CPUtime=0.54 cores=1,3,5,7
/proc/4793/stat : 4793 (java) S 4791 4791 32437 0 -1 1077944320 10954 0 0 0 50 4 0 0 20 0 15 0 445489913 15512608768 12631 33554432000 4194304 4196468 140736560134560 140736560117104 140473089052407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
/proc/4793/statm: 3787258 12631 3371 1 0 3748377 0
[pid=4793/tid=4794] ppid=4791 vsize=15149032 memory=6935054825532540783 CPUtime=0.31 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (java) R 4791 4791 32437 0 -1 4202560 7939 0 0 0 28 3 0 0 20 0 15 0 445489913 15512608768 12704 33554432000 4194304 4196468 140736560134560 140473093279616 140473073132894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4795] ppid=4791 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15512608768 12704 33554432000 4194304 4196468 140736560134560 140473017093136 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4796] ppid=4791 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15512608768 12704 33554432000 4194304 4196468 140736560134560 140473016040592 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4797] ppid=4791 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4797/stat : 4797 (java) S 4791 4791 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445489914 15512608768 12704 33554432000 4194304 4196468 140736560134560 140473014987536 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4798] ppid=4791 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4798/stat : 4798 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15512608768 12704 33554432000 4194304 4196468 140736560134560 140473013934992 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4799] ppid=4791 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4799/stat : 4799 (java) S 4791 4791 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445489915 15512608768 12704 33554432000 4194304 4196468 140736560134560 140471962974448 140473089063554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4800] ppid=4791 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4800/stat : 4800 (java) S 4791 4791 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445489916 15512608768 12704 33554432000 4194304 4196468 140736560134560 140471961920672 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4801] ppid=4791 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4801/stat : 4801 (java) S 4791 4791 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445489916 15512608768 12704 33554432000 4194304 4196468 140736560134560 140471960867568 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4802] ppid=4791 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4802/stat : 4802 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445489918 15512608768 12704 33554432000 4194304 4196468 140736560134560 140471959816144 140473089071003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4803] ppid=4791 vsize=15149032 memory=6944652177228980320 CPUtime=0.05 cores=1,3,5,7
/proc/4793/task/4803/stat : 4803 (java) S 4791 4791 32437 0 -1 1077944384 479 0 0 0 5 0 0 0 20 0 15 0 445489918 15512608768 12704 33554432000 4194304 4196468 140736560134560 140471958764272 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4804] ppid=4791 vsize=15149032 memory=-6654736624941491801 CPUtime=0.03 cores=1,3,5,7
/proc/4793/task/4804/stat : 4804 (java) S 4791 4791 32437 0 -1 1077944384 401 0 0 0 3 0 0 0 20 0 15 0 445489918 15512608768 12704 33554432000 4194304 4196468 140736560134560 140471957711728 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4805] ppid=4791 vsize=15149032 memory=5792585022635482273 CPUtime=0.12 cores=1,3,5,7
/proc/4793/task/4805/stat : 4805 (java) S 4791 4791 32437 0 -1 1077944384 870 0 0 0 12 0 0 0 20 0 15 0 445489918 15512608768 12704 33554432000 4194304 4196468 140736560134560 140471956658672 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4806] ppid=4791 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4806/stat : 4806 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445489919 15512608768 12704 33554432000 4194304 4196468 140736560134560 140471955606368 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4807] ppid=4791 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4807/stat : 4807 (java) S 4791 4791 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445489919 15512608768 12704 33554432000 4194304 4196468 140736560134560 140471954553392 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51972 KiB
[startup+0.701335 s]
/proc/loadavg: 7.64 7.84 6.39 9/233 4807
/proc/meminfo: memFree=28741212/32770624 swapFree=66939908/67108860
[pid=4791] ppid=4788 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445489913 115843072 362 33554432000 4194304 5098028 140736096951168 140736096949272 140396550173308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26361856 140736096953212 140736096953453 140736096953453 140736096956362 0
/proc/4791/statm: 28282 362 304 221 0 87 0
[pid=4793] ppid=4791 vsize=15151156 memory=90944 CPUtime=1.59 cores=1,3,5,7
/proc/4793/stat : 4793 (java) S 4791 4791 32437 0 -1 1077944320 14895 0 0 0 153 6 0 0 20 0 15 0 445489913 15514783744 22736 33554432000 4194304 4196468 140736560134560 140736560117104 140473089052407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
/proc/4793/statm: 3787789 22736 3455 1 0 3748889 0
[pid=4793/tid=4794] ppid=4791 vsize=15151156 memory=56 CPUtime=0.68 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (java) R 4791 4791 32437 0 -1 4202560 9182 0 0 0 64 4 0 0 20 0 15 0 445489913 15514783744 22736 33554432000 4194304 4196468 140736560134560 140473093287328 140472693588774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4795] ppid=4791 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15514783744 22736 33554432000 4194304 4196468 140736560134560 140473017093136 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4796] ppid=4791 vsize=15151156 memory=148 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15514783744 22736 33554432000 4194304 4196468 140736560134560 140473016040592 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4797] ppid=4791 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4797/stat : 4797 (java) S 4791 4791 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445489914 15514783744 22736 33554432000 4194304 4196468 140736560134560 140473014987536 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4798] ppid=4791 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4798/stat : 4798 (java) S 4791 4791 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445489914 15514783744 22736 33554432000 4194304 4196468 140736560134560 140473013934992 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4799] ppid=4791 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4799/stat : 4799 (java) S 4791 4791 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445489915 15514783744 22736 33554432000 4194304 4196468 140736560134560 140471962974448 140473089063554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4800] ppid=4791 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4800/stat : 4800 (java) S 4791 4791 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445489916 15514783744 22736 33554432000 4194304 4196468 140736560134560 140471961920672 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4801] ppid=4791 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4801/stat : 4801 (java) S 4791 4791 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445489916 15514783744 22736 33554432000 4194304 4196468 140736560134560 140471960867568 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4802] ppid=4791 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4802/stat : 4802 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445489918 15514783744 22736 33554432000 4194304 4196468 140736560134560 140471959816144 140473089071003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4803] ppid=4791 vsize=15151156 memory=2832 CPUtime=0.24 cores=1,3,5,7
/proc/4793/task/4803/stat : 4803 (java) R 4791 4791 32437 0 -1 4202560 1000 0 0 0 24 0 0 0 20 0 15 0 445489918 15514783744 22736 33554432000 4194304 4196468 140736560134560 140471958750704 140473069751940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4804] ppid=4791 vsize=15151156 memory=668 CPUtime=0.23 cores=1,3,5,7
/proc/4793/task/4804/stat : 4804 (java) R 4791 4791 32437 0 -1 4202560 1233 0 0 0 23 0 0 0 20 0 15 0 445489918 15514783744 22736 33554432000 4194304 4196468 140736560134560 140471957698272 140473068374373 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4805] ppid=4791 vsize=15151156 memory=1256 CPUtime=0.42 cores=1,3,5,7
/proc/4793/task/4805/stat : 4805 (java) R 4791 4791 32437 0 -1 4202560 2172 0 0 0 41 1 0 0 20 0 15 0 445489918 15514783744 22736 33554432000 4194304 4196468 140736560134560 140471956654400 140473067732256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4806] ppid=4791 vsize=15151156 memory=1076 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4806/stat : 4806 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445489919 15514783744 22736 33554432000 4194304 4196468 140736560134560 140471955606368 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4807] ppid=4791 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4807/stat : 4807 (java) S 4791 4791 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445489919 15514783744 22736 33554432000 4194304 4196468 140736560134560 140471954553392 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92392 KiB
[startup+1.50134 s]
/proc/loadavg: 7.64 7.84 6.39 8/233 4807
/proc/meminfo: memFree=28633220/32770624 swapFree=66939908/67108860
[pid=4791] ppid=4788 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445489913 115843072 362 33554432000 4194304 5098028 140736096951168 140736096949272 140396550173308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26361856 140736096953212 140736096953453 140736096953453 140736096956362 0
/proc/4791/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/4793/task/4807/stat : 4807 (java) S 4791 4791 32437 0 -1 1077944384 855 0 0 0 0 4 0 0 20 0 19 0 445489919 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471954553392 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4850] ppid=4791 vsize=15420488 memory=382896 CPUtime=97.23 cores=1,3,5,7
/proc/4793/task/4850/stat : 4850 (java) R 4791 4791 32437 0 -1 4202560 1086 0 0 0 9723 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471942175440 140472700734509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4851] ppid=4791 vsize=15420488 memory=382896 CPUtime=97.07 cores=1,3,5,7
/proc/4793/task/4851/stat : 4851 (java) R 4791 4791 32437 0 -1 4202560 2462 0 0 0 9707 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471945337072 140472700734509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4852] ppid=4791 vsize=15420488 memory=1436 CPUtime=97.42 cores=1,3,5,7
/proc/4793/task/4852/stat : 4852 (java) R 4791 4791 32437 0 -1 4202560 2747 0 0 0 9742 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471944284056 140472701588463 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4853] ppid=4791 vsize=15420488 memory=4152 CPUtime=97.18 cores=1,3,5,7
/proc/4793/task/4853/stat : 4853 (java) R 4791 4791 32437 0 -1 4202560 950 0 0 0 9718 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471943229784 140472702018867 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
Current children cumulated CPU time: 447.34 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 351512 KiB
[startup+115.601 s]
/proc/loadavg: 8.18 7.93 6.59 9/238 4868
/proc/meminfo: memFree=28556276/32770624 swapFree=66939908/67108860
[pid=4791] ppid=4788 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445489913 115843072 362 33554432000 4194304 5098028 140736096951168 140736096949272 140396550173308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26361856 140736096953212 140736096953453 140736096953453 140736096956362 0
/proc/4791/statm: 28282 362 304 221 0 87 0
[pid=4793] ppid=4791 vsize=15420488 memory=350064 CPUtime=447.78 cores=1,3,5,7
/proc/4793/stat : 4793 (java) S 4791 4791 32437 0 -1 1077944320 77146 0 0 0 44740 38 0 0 20 0 19 0 445489913 15790579712 87516 33554432000 4194304 4196468 140736560134560 140736560117104 140473089052407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
/proc/4793/statm: 3855122 87516 3533 1 0 3816222 0
[pid=4793/tid=4794] ppid=4791 vsize=15420488 memory=26308 CPUtime=1.05 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (java) S 4791 4791 32437 0 -1 1077944384 10803 0 0 0 100 5 0 0 20 0 19 0 445489913 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473093293184 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4795] ppid=4791 vsize=15420488 memory=14056 CPUtime=0.16 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (java) S 4791 4791 32437 0 -1 1077944384 941 0 0 0 11 5 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473017093136 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4796] ppid=4791 vsize=15420488 memory=2116 CPUtime=0.15 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (java) S 4791 4791 32437 0 -1 1077944384 1080 0 0 0 11 4 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473016040592 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4797] ppid=4791 vsize=15420488 memory=350064 CPUtime=0.16 cores=1,3,5,7
/proc/4793/task/4797/stat : 4797 (java) S 4791 4791 32437 0 -1 1077944384 3660 0 0 0 11 5 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473014987536 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4798] ppid=4791 vsize=15420488 memory=1448 CPUtime=0.15 cores=1,3,5,7
/proc/4793/task/4798/stat : 4798 (java) S 4791 4791 32437 0 -1 1077944384 2421 0 0 0 11 4 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473013934992 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4799] ppid=4791 vsize=15420488 memory=350064 CPUtime=0.04 cores=1,3,5,7
/proc/4793/task/4799/stat : 4799 (java) S 4791 4791 32437 0 -1 1077944384 2124 0 0 0 3 1 0 0 20 0 19 0 445489915 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471962974448 140473089063554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4800] ppid=4791 vsize=15420488 memory=924 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4800/stat : 4800 (java) S 4791 4791 32437 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445489916 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471961920736 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4801] ppid=4791 vsize=15420488 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4801/stat : 4801 (java) S 4791 4791 32437 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 445489916 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471960867584 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4802] ppid=4791 vsize=15420488 memory=48016 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4802/stat : 4802 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471959816144 140473089071003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4803] ppid=4791 vsize=15420488 memory=988 CPUtime=2.93 cores=1,3,5,7
/proc/4793/task/4803/stat : 4803 (java) S 4791 4791 32437 0 -1 1077944384 16516 0 0 0 291 2 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471958764272 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4804] ppid=4791 vsize=15420488 memory=2832 CPUtime=3.03 cores=1,3,5,7
/proc/4793/task/4804/stat : 4804 (java) S 4791 4791 32437 0 -1 1077944384 13157 0 0 0 302 1 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471957711728 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4805] ppid=4791 vsize=15420488 memory=280046900316864 CPUtime=0.97 cores=1,3,5,7
/proc/4793/task/4805/stat : 4805 (java) S 4791 4791 32437 0 -1 1077944384 12534 0 0 0 94 3 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471956658672 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4806] ppid=4791 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4806/stat : 4806 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445489919 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471955606368 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4807] ppid=4791 vsize=15420488 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4793/task/4807/stat : 4807 (java) S 4791 4791 32437 0 -1 1077944384 855 0 0 0 0 4 0 0 20 0 19 0 445489919 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471954553392 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4850] ppid=4791 vsize=15420488 memory=6655300316396806240 CPUtime=97.23 cores=1,3,5,7
/proc/4793/task/4850/stat : 4850 (java) S 4791 4791 32437 0 -1 1077944384 1107 0 0 0 9723 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471942180528 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4851] ppid=4791 vsize=15420488 memory=0 CPUtime=97.07 cores=1,3,5,7
/proc/4793/task/4851/stat : 4851 (java) S 4791 4791 32437 0 -1 1077944384 2502 0 0 0 9707 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471945339600 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4852] ppid=4791 vsize=15420488 memory=5865466181265741923 CPUtime=97.82 cores=1,3,5,7
/proc/4793/task/4852/stat : 4852 (java) R 4791 4791 32437 0 -1 4202560 2747 0 0 0 9782 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471944284056 140472701540002 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4853] ppid=4791 vsize=15420488 memory=7228671381063362904 CPUtime=97.21 cores=1,3,5,7
/proc/4793/task/4853/stat : 4853 (java) S 4791 4791 32437 0 -1 1077944384 968 0 0 0 9721 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471943235024 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
Current children cumulated CPU time: 447.78 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 351512 KiB
[startup+115.801 s]
/proc/loadavg: 8.18 7.93 6.59 9/238 4868
/proc/meminfo: memFree=28556276/32770624 swapFree=66939908/67108860
[pid=4791] ppid=4788 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445489913 115843072 362 33554432000 4194304 5098028 140736096951168 140736096949272 140396550173308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26361856 140736096953212 140736096953453 140736096953453 140736096956362 0
/proc/4791/statm: 28282 362 304 221 0 87 0
[pid=4793] ppid=4791 vsize=15420488 memory=350064 CPUtime=447.98 cores=1,3,5,7
/proc/4793/stat : 4793 (java) S 4791 4791 32437 0 -1 1077944320 77146 0 0 0 44760 38 0 0 20 0 19 0 445489913 15790579712 87516 33554432000 4194304 4196468 140736560134560 140736560117104 140473089052407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
/proc/4793/statm: 3855122 87516 3533 1 0 3816222 0
[pid=4793/tid=4794] ppid=4791 vsize=15420488 memory=-8412656550661558131 CPUtime=1.05 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (java) S 4791 4791 32437 0 -1 1077944384 10803 0 0 0 100 5 0 0 20 0 19 0 445489913 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473093293184 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4795] ppid=4791 vsize=15420488 memory=7100839887182984304 CPUtime=0.16 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (java) S 4791 4791 32437 0 -1 1077944384 941 0 0 0 11 5 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473017093136 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4796] ppid=4791 vsize=15420488 memory=8390361644446492005 CPUtime=0.15 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (java) S 4791 4791 32437 0 -1 1077944384 1080 0 0 0 11 4 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473016040592 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4797] ppid=4791 vsize=15420488 memory=7740675557601665366 CPUtime=0.16 cores=1,3,5,7
/proc/4793/task/4797/stat : 4797 (java) S 4791 4791 32437 0 -1 1077944384 3660 0 0 0 11 5 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473014987536 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4798] ppid=4791 vsize=15420488 memory=7740675557601665366 CPUtime=0.15 cores=1,3,5,7
/proc/4793/task/4798/stat : 4798 (java) S 4791 4791 32437 0 -1 1077944384 2421 0 0 0 11 4 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473013934992 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4799] ppid=4791 vsize=15420488 memory=6227190101158684001 CPUtime=0.04 cores=1,3,5,7
/proc/4793/task/4799/stat : 4799 (java) S 4791 4791 32437 0 -1 1077944384 2124 0 0 0 3 1 0 0 20 0 19 0 445489915 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471962974448 140473089063554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4800] ppid=4791 vsize=15420488 memory=7013910496351380581 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4800/stat : 4800 (java) S 4791 4791 32437 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445489916 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471961920736 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4801] ppid=4791 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4801/stat : 4801 (java) S 4791 4791 32437 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 445489916 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471960867584 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4802] ppid=4791 vsize=15420488 memory=450340 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4802/stat : 4802 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471959816144 140473089071003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4803] ppid=4791 vsize=15420488 memory=1412 CPUtime=2.93 cores=1,3,5,7
/proc/4793/task/4803/stat : 4803 (java) S 4791 4791 32437 0 -1 1077944384 16516 0 0 0 291 2 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471958764272 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4804] ppid=4791 vsize=15420488 memory=3192 CPUtime=3.03 cores=1,3,5,7
/proc/4793/task/4804/stat : 4804 (java) S 4791 4791 32437 0 -1 1077944384 13157 0 0 0 302 1 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471957711728 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4805] ppid=4791 vsize=15420488 memory=1448 CPUtime=0.97 cores=1,3,5,7
/proc/4793/task/4805/stat : 4805 (java) S 4791 4791 32437 0 -1 1077944384 12534 0 0 0 94 3 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471956658672 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4806] ppid=4791 vsize=15420488 memory=419308 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4806/stat : 4806 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445489919 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471955606368 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4807] ppid=4791 vsize=15420488 memory=1620 CPUtime=0.04 cores=1,3,5,7
/proc/4793/task/4807/stat : 4807 (java) S 4791 4791 32437 0 -1 1077944384 855 0 0 0 0 4 0 0 20 0 19 0 445489919 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471954553392 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4850] ppid=4791 vsize=15420488 memory=988 CPUtime=97.23 cores=1,3,5,7
/proc/4793/task/4850/stat : 4850 (java) S 4791 4791 32437 0 -1 1077944384 1107 0 0 0 9723 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471942180528 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4851] ppid=4791 vsize=15420488 memory=2008 CPUtime=97.07 cores=1,3,5,7
/proc/4793/task/4851/stat : 4851 (java) S 4791 4791 32437 0 -1 1077944384 2502 0 0 0 9707 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471945339600 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4852] ppid=4791 vsize=15420488 memory=1436 CPUtime=98.02 cores=1,3,5,7
/proc/4793/task/4852/stat : 4852 (java) R 4791 4791 32437 0 -1 4202560 2747 0 0 0 9802 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471944284056 140472694705392 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4853] ppid=4791 vsize=15420488 memory=15 CPUtime=97.21 cores=1,3,5,7
/proc/4793/task/4853/stat : 4853 (java) S 4791 4791 32437 0 -1 1077944384 968 0 0 0 9721 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471943235024 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
Current children cumulated CPU time: 447.98 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 351512 KiB
[startup+115.901 s]
/proc/loadavg: 8.18 7.93 6.59 9/238 4868
/proc/meminfo: memFree=28556276/32770624 swapFree=66939908/67108860
[pid=4791] ppid=4788 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4791/stat : 4791 (xcsp3-exec) S 4788 4791 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445489913 115843072 362 33554432000 4194304 5098028 140736096951168 140736096949272 140396550173308 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26361856 140736096953212 140736096953453 140736096953453 140736096956362 0
/proc/4791/statm: 28282 362 304 221 0 87 0
[pid=4793] ppid=4791 vsize=15420488 memory=350064 CPUtime=448.08 cores=1,3,5,7
/proc/4793/stat : 4793 (java) S 4791 4791 32437 0 -1 1077944320 77146 0 0 0 44770 38 0 0 20 0 19 0 445489913 15790579712 87516 33554432000 4194304 4196468 140736560134560 140736560117104 140473089052407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
/proc/4793/statm: 3855122 87516 3533 1 0 3816222 0
[pid=4793/tid=4794] ppid=4791 vsize=15420488 memory=350064 CPUtime=1.05 cores=1,3,5,7
/proc/4793/task/4794/stat : 4794 (java) S 4791 4791 32437 0 -1 1077944384 10803 0 0 0 100 5 0 0 20 0 19 0 445489913 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473093293184 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4795] ppid=4791 vsize=15420488 memory=350064 CPUtime=0.16 cores=1,3,5,7
/proc/4793/task/4795/stat : 4795 (java) S 4791 4791 32437 0 -1 1077944384 941 0 0 0 11 5 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473017093136 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4796] ppid=4791 vsize=15420488 memory=1448 CPUtime=0.15 cores=1,3,5,7
/proc/4793/task/4796/stat : 4796 (java) S 4791 4791 32437 0 -1 1077944384 1080 0 0 0 11 4 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473016040592 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4797] ppid=4791 vsize=15420488 memory=350064 CPUtime=0.16 cores=1,3,5,7
/proc/4793/task/4797/stat : 4797 (java) S 4791 4791 32437 0 -1 1077944384 3660 0 0 0 11 5 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473014987536 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4798] ppid=4791 vsize=15420488 memory=350064 CPUtime=0.15 cores=1,3,5,7
/proc/4793/task/4798/stat : 4798 (java) S 4791 4791 32437 0 -1 1077944384 2421 0 0 0 11 4 0 0 20 0 19 0 445489914 15790579712 87516 33554432000 4194304 4196468 140736560134560 140473013934992 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4799] ppid=4791 vsize=15420488 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/4793/task/4799/stat : 4799 (java) S 4791 4791 32437 0 -1 1077944384 2124 0 0 0 3 1 0 0 20 0 19 0 445489915 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471962974448 140473089063554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4800] ppid=4791 vsize=15420488 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4800/stat : 4800 (java) S 4791 4791 32437 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 445489916 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471961920736 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4801] ppid=4791 vsize=15420488 memory=65 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4801/stat : 4801 (java) S 4791 4791 32437 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 445489916 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471960867584 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4802] ppid=4791 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4802/stat : 4802 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471959816144 140473089071003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4803] ppid=4791 vsize=15420488 memory=161 CPUtime=2.93 cores=1,3,5,7
/proc/4793/task/4803/stat : 4803 (java) S 4791 4791 32437 0 -1 1077944384 16516 0 0 0 291 2 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471958764272 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4804] ppid=4791 vsize=15420488 memory=350064 CPUtime=3.03 cores=1,3,5,7
/proc/4793/task/4804/stat : 4804 (java) S 4791 4791 32437 0 -1 1077944384 13157 0 0 0 302 1 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471957711728 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4805] ppid=4791 vsize=15420488 memory=1448 CPUtime=0.97 cores=1,3,5,7
/proc/4793/task/4805/stat : 4805 (java) S 4791 4791 32437 0 -1 1077944384 12534 0 0 0 94 3 0 0 20 0 19 0 445489918 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471956658672 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4806] ppid=4791 vsize=15420488 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/4793/task/4806/stat : 4806 (java) S 4791 4791 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445489919 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471955606368 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4807] ppid=4791 vsize=15420488 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/4793/task/4807/stat : 4807 (java) S 4791 4791 32437 0 -1 1077944384 855 0 0 0 0 4 0 0 20 0 19 0 445489919 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471954553392 140473089063554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4850] ppid=4791 vsize=15420488 memory=1448 CPUtime=97.23 cores=1,3,5,7
/proc/4793/task/4850/stat : 4850 (java) S 4791 4791 32437 0 -1 1077944384 1107 0 0 0 9723 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471942180528 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4851] ppid=4791 vsize=15420488 memory=1448 CPUtime=97.07 cores=1,3,5,7
/proc/4793/task/4851/stat : 4851 (java) S 4791 4791 32437 0 -1 1077944384 2502 0 0 0 9707 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471945339600 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4852] ppid=4791 vsize=15420488 memory=48016 CPUtime=98.12 cores=1,3,5,7
/proc/4793/task/4852/stat : 4852 (java) R 4791 4791 32437 0 -1 4202560 2747 0 0 0 9812 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471944284056 140472701704736 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
[pid=4793/tid=4853] ppid=4791 vsize=15420488 memory=988 CPUtime=97.21 cores=1,3,5,7
/proc/4793/task/4853/stat : 4853 (java) S 4791 4791 32437 0 -1 1077944384 968 0 0 0 9721 0 0 0 20 0 19 0 445491636 15790579712 87516 33554432000 4194304 4196468 140736560134560 140471943235024 140473089062613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18100224 140736560141295 140736560141466 140736560141466 140736560144335 0
Current children cumulated CPU time: 448.08 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 351512 KiB
Child status: 0
Real time (s): 115.914
CPU time (s): 448.098
CPU user time (s): 447.709
CPU system time (s): 0.388427
CPU usage (%): 386.578
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 437364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 447.709
system time used= 0.388427
maximum resident set size= 449340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6645
involuntary context switches= 8319
# summary of solver processes directly reported to runsolver:
# pid: 4791
# total CPU time (s): 448.098
# total CPU user time (s): 447.709
# total CPU system time (s): 0.388427
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.832643 second user time and 1.3647 second system time
The end