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 (9856 MiB free)
memory of node 1: 16384 MiB (7364 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393177-1568348327/watcher-4393177-1568348327 -o /tmp/evaluation-result-4393177-1568348327/solver-4393177-1568348327 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4478 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 939524743 HOME/instance-4393177-1568348327.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8742, runsolver pid=8739
[startup+0.100172 s]*
/proc/loadavg: 8.88 8.63 8.17 7/233 8758
/proc/meminfo: memFree=17617868/32770624 swapFree=66959216/67108860
[pid=8742] ppid=8739 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8742/stat : 8742 (xcsp3-exec) S 8739 8742 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410772921 115843072 363 33554432000 4194304 5098028 140724085566112 140724085564216 140465282097788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11948032 140724085572475 140724085572717 140724085572717 140724085575626 0
/proc/8742/statm: 28282 363 304 221 0 87 0
[pid=8744] ppid=8742 vsize=15144768 memory=29368 CPUtime=0.12 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8742 8742 3331 0 -1 1077944320 5805 0 0 0 11 1 0 0 20 0 15 0 410772921 15508242432 7342 33554432000 4194304 4196468 140736143571344 140736143553888 140717872897783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
/proc/8744/statm: 3786192 7342 3120 1 0 3748377 0
[pid=8744/tid=8745] ppid=8742 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/8744/task/8745/stat : 8745 (java) R 8742 8742 3331 0 -1 4202560 3726 0 0 0 8 1 0 0 20 0 15 0 410772921 15508242432 7342 33554432000 4194304 4196468 140736143571344 140717877122192 140717872909718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8746] ppid=8742 vsize=15144768 memory=3472468510529860816 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15508242432 7342 33554432000 4194304 4196468 140736143571344 140717465722000 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8747] ppid=8742 vsize=15144768 memory=140381634709120 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8747/stat : 8747 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15508242432 7342 33554432000 4194304 4196468 140736143571344 140717464669200 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8748] ppid=8742 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8748/stat : 8748 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15508242432 7342 33554432000 4194304 4196468 140736143571344 140717463616400 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8749] ppid=8742 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8749/stat : 8749 (java) S 8742 8742 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410772922 15508242432 7342 33554432000 4194304 4196468 140736143571344 140717462563600 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8750] ppid=8742 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8750/stat : 8750 (java) S 8742 8742 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410772923 15508242432 7342 33554432000 4194304 4196468 140736143571344 140716746922352 140717872908930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8751] ppid=8742 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8751/stat : 8751 (java) S 8742 8742 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410772924 15508242432 7342 33554432000 4194304 4196468 140736143571344 140716745868320 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8752] ppid=8742 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8752/stat : 8752 (java) S 8742 8742 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410772924 15508242432 7342 33554432000 4194304 4196468 140736143571344 140716744815472 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8753] ppid=8742 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410772927 15508242432 7342 33554432000 4194304 4196468 140736143571344 140716743763792 140717872916379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8754] ppid=8742 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) R 8742 8742 3331 0 -1 4202560 301 0 0 0 0 0 0 0 20 0 15 0 410772927 15508242432 7342 33554432000 4194304 4196468 140736143571344 140716742703824 140717854250096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8755] ppid=8742 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) R 8742 8742 3331 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 410772927 15508242432 7342 33554432000 4194304 4196468 140736143571344 140716741659376 140717872908930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8756] ppid=8742 vsize=15144768 memory=140381634709120 CPUtime=0.02 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) R 8742 8742 3331 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 410772927 15508242432 7342 33554432000 4194304 4196468 140736143571344 140716740606576 140717872909718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8757] ppid=8742 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8757/stat : 8757 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410772927 15508242432 7342 33554432000 4194304 4196468 140736143571344 140716739554016 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8758] ppid=8742 vsize=15144768 memory=140381634709120 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8758/stat : 8758 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772927 15508242432 7342 33554432000 4194304 4196468 140736143571344 140716738501296 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30820 KiB
[startup+0.210806 s]*
/proc/loadavg: 8.88 8.63 8.17 7/233 8758
/proc/meminfo: memFree=17605588/32770624 swapFree=66959216/67108860
[pid=8742] ppid=8739 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8742/stat : 8742 (xcsp3-exec) S 8739 8742 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410772921 115843072 363 33554432000 4194304 5098028 140724085566112 140724085564216 140465282097788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11948032 140724085572475 140724085572717 140724085572717 140724085575626 0
/proc/8742/statm: 28282 363 304 221 0 87 0
[pid=8744] ppid=8742 vsize=15144768 memory=40924 CPUtime=0.34 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8742 8742 3331 0 -1 1077944320 9443 0 0 0 31 3 0 0 20 0 15 0 410772921 15508242432 10231 33554432000 4194304 4196468 140736143571344 140736143553888 140717872897783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
/proc/8744/statm: 3786192 10231 3301 1 0 3748377 0
[pid=8744/tid=8745] ppid=8742 vsize=15144768 memory=4212167822348820889 CPUtime=0.2 cores=0,2,4,6
/proc/8744/task/8745/stat : 8745 (java) R 8742 8742 3331 0 -1 4202560 6627 0 0 0 18 2 0 0 20 0 15 0 410772921 15508242432 10231 33554432000 4194304 4196468 140736143571344 140717877131840 140717872909718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8746] ppid=8742 vsize=15144768 memory=3472468510529860816 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15508242432 10231 33554432000 4194304 4196468 140736143571344 140717465722000 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8747] ppid=8742 vsize=15144768 memory=140381634709120 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8747/stat : 8747 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15508242432 10231 33554432000 4194304 4196468 140736143571344 140717464669200 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8748] ppid=8742 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8748/stat : 8748 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15508242432 10231 33554432000 4194304 4196468 140736143571344 140717463616400 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8749] ppid=8742 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8749/stat : 8749 (java) S 8742 8742 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410772922 15508242432 10231 33554432000 4194304 4196468 140736143571344 140717462563600 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8750] ppid=8742 vsize=15144768 memory=140381634709120 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8750/stat : 8750 (java) S 8742 8742 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410772923 15508242432 10231 33554432000 4194304 4196468 140736143571344 140716746922352 140717872908930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8751] ppid=8742 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8751/stat : 8751 (java) S 8742 8742 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410772924 15508242432 10231 33554432000 4194304 4196468 140736143571344 140716745868320 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8752] ppid=8742 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8752/stat : 8752 (java) S 8742 8742 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410772924 15508242432 10231 33554432000 4194304 4196468 140736143571344 140716744815472 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8753] ppid=8742 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410772927 15508242432 10231 33554432000 4194304 4196468 140736143571344 140716743763792 140717872916379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8754] ppid=8742 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8742 8742 3331 0 -1 1077944384 456 0 0 0 3 0 0 0 20 0 15 0 410772927 15508242432 10231 33554432000 4194304 4196468 140736143571344 140716742712176 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8755] ppid=8742 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8742 8742 3331 0 -1 1077944384 298 0 0 0 1 0 0 0 20 0 15 0 410772927 15508242432 10231 33554432000 4194304 4196468 140736143571344 140716741659376 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8756] ppid=8742 vsize=15144768 memory=140381634709120 CPUtime=0.08 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) R 8742 8742 3331 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 15 0 410772927 15508242432 10231 33554432000 4194304 4196468 140736143571344 140716740606576 140717865134910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8757] ppid=8742 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8757/stat : 8757 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410772927 15508242432 10231 33554432000 4194304 4196468 140736143571344 140716739554016 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8758] ppid=8742 vsize=15144768 memory=140381634709120 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8758/stat : 8758 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772927 15508242432 10231 33554432000 4194304 4196468 140736143571344 140716738501296 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42376 KiB
[startup+0.310678 s]*
/proc/loadavg: 8.88 8.63 8.17 8/233 8758
/proc/meminfo: memFree=17598052/32770624 swapFree=66959216/67108860
[pid=8742] ppid=8739 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8742/stat : 8742 (xcsp3-exec) S 8739 8742 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410772921 115843072 363 33554432000 4194304 5098028 140724085566112 140724085564216 140465282097788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11948032 140724085572475 140724085572717 140724085572717 140724085575626 0
/proc/8742/statm: 28282 363 304 221 0 87 0
[pid=8744] ppid=8742 vsize=15149024 memory=50044 CPUtime=0.53 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8742 8742 3331 0 -1 1077944320 10825 0 0 0 49 4 0 0 20 0 15 0 410772921 15512600576 12511 33554432000 4194304 4196468 140736143571344 140736143553888 140717872897783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
/proc/8744/statm: 3787256 12511 3358 1 0 3748377 0
[pid=8744/tid=8745] ppid=8742 vsize=15149024 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/8744/task/8745/stat : 8745 (java) R 8742 8742 3331 0 -1 4202560 7781 0 0 0 27 3 0 0 20 0 15 0 410772921 15512600576 12511 33554432000 4194304 4196468 140736143571344 140717877128896 140717856978270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8746] ppid=8742 vsize=15149024 memory=3472468510529860816 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15512600576 12511 33554432000 4194304 4196468 140736143571344 140717465722000 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8747] ppid=8742 vsize=15149024 memory=140381634709120 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8747/stat : 8747 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15512600576 12511 33554432000 4194304 4196468 140736143571344 140717464669200 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8748] ppid=8742 vsize=15149024 memory=6 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8748/stat : 8748 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15512600576 12511 33554432000 4194304 4196468 140736143571344 140717463616400 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8749] ppid=8742 vsize=15149024 memory=140381475973151 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8749/stat : 8749 (java) S 8742 8742 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410772922 15512600576 12511 33554432000 4194304 4196468 140736143571344 140717462563600 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8750] ppid=8742 vsize=15149024 memory=280762951925536 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8750/stat : 8750 (java) S 8742 8742 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410772923 15512600576 12511 33554432000 4194304 4196468 140736143571344 140716746922352 140717872908930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8751] ppid=8742 vsize=15149024 memory=140381475950095 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8751/stat : 8751 (java) S 8742 8742 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410772924 15512600576 12511 33554432000 4194304 4196468 140736143571344 140716745868320 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8752] ppid=8742 vsize=15149024 memory=280763110542344 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8752/stat : 8752 (java) S 8742 8742 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410772924 15512600576 12511 33554432000 4194304 4196468 140736143571344 140716744815472 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8753] ppid=8742 vsize=15149024 memory=140381475973151 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410772927 15512600576 12511 33554432000 4194304 4196468 140736143571344 140716743763792 140717872916379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8754] ppid=8742 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8742 8742 3331 0 -1 1077944384 487 0 0 0 5 0 0 0 20 0 15 0 410772927 15512600576 12511 33554432000 4194304 4196468 140736143571344 140716742712176 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8755] ppid=8742 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) R 8742 8742 3331 0 -1 4202560 403 0 0 0 4 0 0 0 20 0 15 0 410772927 15512600576 12511 33554432000 4194304 4196468 140736143571344 140716741649760 140717854422525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8756] ppid=8742 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8742 8742 3331 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 15 0 410772927 15512600576 12511 33554432000 4194304 4196468 140736143571344 140716740606576 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8757] ppid=8742 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8757/stat : 8757 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410772927 15512600576 12511 33554432000 4194304 4196468 140736143571344 140716739554016 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8758] ppid=8742 vsize=15149024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8758/stat : 8758 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772927 15512600576 12511 33554432000 4194304 4196468 140736143571344 140716738501296 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51496 KiB
[startup+0.703845 s]
/proc/loadavg: 8.88 8.63 8.17 8/233 8758
/proc/meminfo: memFree=17584192/32770624 swapFree=66959216/67108860
[pid=8742] ppid=8739 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8742/stat : 8742 (xcsp3-exec) S 8739 8742 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410772921 115843072 363 33554432000 4194304 5098028 140724085566112 140724085564216 140465282097788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11948032 140724085572475 140724085572717 140724085572717 140724085575626 0
/proc/8742/statm: 28282 363 304 221 0 87 0
[pid=8744] ppid=8742 vsize=15151148 memory=163348 CPUtime=1.66 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8742 8742 3331 0 -1 1077944320 14201 0 0 0 159 7 0 0 20 0 15 0 410772921 15514775552 40837 33554432000 4194304 4196468 140736143571344 140736143553888 140717872897783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
/proc/8744/statm: 3787787 40837 3447 1 0 3748889 0
[pid=8744/tid=8745] ppid=8742 vsize=15151148 memory=4639059877604708710 CPUtime=0.67 cores=0,2,4,6
/proc/8744/task/8745/stat : 8745 (java) R 8742 8742 3331 0 -1 4202560 8800 0 0 0 62 5 0 0 20 0 15 0 410772921 15514775552 40837 33554432000 4194304 4196468 140736143571344 140717877132376 140717509463052 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8746] ppid=8742 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15514775552 40837 33554432000 4194304 4196468 140736143571344 140717465722000 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8747] ppid=8742 vsize=15151148 memory=6935649255962144081 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8747/stat : 8747 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15514775552 40837 33554432000 4194304 4196468 140736143571344 140717464669200 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8748] ppid=8742 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8748/stat : 8748 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772922 15514775552 40837 33554432000 4194304 4196468 140736143571344 140717463616400 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8749] ppid=8742 vsize=15151148 memory=7100839870140027543 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8749/stat : 8749 (java) S 8742 8742 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410772922 15514775552 40837 33554432000 4194304 4196468 140736143571344 140717462563600 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8750] ppid=8742 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8750/stat : 8750 (java) S 8742 8742 3331 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410772923 15514775552 40837 33554432000 4194304 4196468 140736143571344 140716746922352 140717872908930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8751] ppid=8742 vsize=15151148 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8751/stat : 8751 (java) S 8742 8742 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410772924 15514775552 40837 33554432000 4194304 4196468 140736143571344 140716745868320 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8752] ppid=8742 vsize=15151148 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8752/stat : 8752 (java) S 8742 8742 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410772924 15514775552 40837 33554432000 4194304 4196468 140736143571344 140716744815472 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8753] ppid=8742 vsize=15151148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410772927 15514775552 40837 33554432000 4194304 4196468 140736143571344 140716743763792 140717872916379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8754] ppid=8742 vsize=15151148 memory=1660 CPUtime=0.26 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) R 8742 8742 3331 0 -1 4202560 1270 0 0 0 26 0 0 0 20 0 15 0 410772927 15514775552 40837 33554432000 4194304 4196468 140736143571344 140716742698688 140717857290203 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8755] ppid=8742 vsize=15151148 memory=38740 CPUtime=0.29 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) R 8742 8742 3331 0 -1 4202560 1011 0 0 0 29 0 0 0 20 0 15 0 410772927 15514775552 40837 33554432000 4194304 4196468 140736143571344 140716741659504 140717856284587 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8756] ppid=8742 vsize=15151148 memory=988 CPUtime=0.4 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8742 8742 3331 0 -1 1077944384 1813 0 0 0 40 0 0 0 20 0 15 0 410772927 15514775552 40837 33554432000 4194304 4196468 140736143571344 140716740606576 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8757] ppid=8742 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8757/stat : 8757 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410772927 15514775552 40837 33554432000 4194304 4196468 140736143571344 140716739554016 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8758] ppid=8742 vsize=15151148 memory=8099279071866868836 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8758/stat : 8758 (java) S 8742 8742 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410772927 15514775552 40837 33554432000 4194304 4196468 140736143571344 140716738501296 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 164800 KiB
[startup+1.50085 s]
/proc/loadavg: 8.88 8.63 8.17 9/233 8758
/proc/meminfo: memFree=17220772/32770624 swapFree=66959216/67108860
[pid=8742] ppid=8739 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8742/stat : 8742 (xcsp3-exec) S 8739 8742 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410772921 115843072 363 33554432000 4194304 5098028 140724085566112 140724085564216 140465282097788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11948032 140724085572475 140724085572717 140724085572717 140724085575626 0
/proc/8742/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/8744/task/8750/stat : 8750 (java) S 8742 8742 3331 0 -1 1077944384 949 0 0 0 2 0 0 0 20 0 19 0 410772923 15992958976 181386 33554432000 4194304 4196468 140736143571344 140716746922352 140717872908930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8751] ppid=8742 vsize=15618124 memory=6933690287860520857 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8751/stat : 8751 (java) S 8742 8742 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410772924 15992958976 181386 33554432000 4194304 4196468 140736143571344 140716745868384 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8752] ppid=8742 vsize=15618124 memory=-7457052372387209120 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8752/stat : 8752 (java) S 8742 8742 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 410772924 15992958976 181386 33554432000 4194304 4196468 140736143571344 140716744815488 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8753] ppid=8742 vsize=15618124 memory=776 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181386 33554432000 4194304 4196468 140736143571344 140716743763792 140717872916379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8754] ppid=8742 vsize=15618124 memory=1564 CPUtime=2.73 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8742 8742 3331 0 -1 1077944384 11026 0 0 0 272 1 0 0 20 0 19 0 410772927 15992958976 181386 33554432000 4194304 4196468 140736143571344 140716742712176 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8755] ppid=8742 vsize=15618124 memory=5964 CPUtime=3.07 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8742 8742 3331 0 -1 1077944384 10049 0 0 0 306 1 0 0 20 0 19 0 410772927 15992958976 181386 33554432000 4194304 4196468 140736143571344 140716741659376 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8756] ppid=8742 vsize=15618124 memory=1060 CPUtime=0.78 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8742 8742 3331 0 -1 1077944384 7312 0 0 0 76 2 0 0 20 0 19 0 410772927 15992958976 181386 33554432000 4194304 4196468 140736143571344 140716740606576 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8757] ppid=8742 vsize=15618124 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8757/stat : 8757 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181386 33554432000 4194304 4196468 140736143571344 140716739554016 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8758] ppid=8742 vsize=15618124 memory=1216 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8758/stat : 8758 (java) S 8742 8742 3331 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181386 33554432000 4194304 4196468 140736143571344 140716738501296 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
Current children cumulated CPU time: 39.62 s
Current children cumulated vsize: 15731252 KiB
Current children cumulated memory: 726996 KiB
[startup+14.8008 s]
/proc/loadavg: 8.46 8.55 8.15 10/238 8876
/proc/meminfo: memFree=16921592/32770624 swapFree=66959216/67108860
[pid=8742] ppid=8739 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8742/stat : 8742 (xcsp3-exec) S 8739 8742 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410772921 115843072 363 33554432000 4194304 5098028 140724085566112 140724085564216 140465282097788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11948032 140724085572475 140724085572717 140724085572717 140724085575626 0
/proc/8742/statm: 28282 363 304 221 0 87 0
[pid=8744] ppid=8742 vsize=15618124 memory=725552 CPUtime=40.87 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8742 8742 3331 0 -1 1077944320 48116 0 0 0 4025 62 0 0 20 0 19 0 410772921 15992958976 181388 33554432000 4194304 4196468 140736143571344 140736143553888 140717872897783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
/proc/8744/statm: 3904531 181388 3526 1 0 3865633 0
[pid=8744/tid=8745] ppid=8742 vsize=15618124 memory=1412 CPUtime=0.9 cores=0,2,4,6
/proc/8744/task/8745/stat : 8745 (java) S 8742 8742 3331 0 -1 1077944384 9666 0 0 0 84 6 0 0 20 0 19 0 410772921 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717877138560 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8746] ppid=8742 vsize=15618124 memory=2764 CPUtime=0.59 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) S 8742 8742 3331 0 -1 1077944384 303 0 0 0 47 12 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717465722000 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8747] ppid=8742 vsize=15618124 memory=1452 CPUtime=0.56 cores=0,2,4,6
/proc/8744/task/8747/stat : 8747 (java) S 8742 8742 3331 0 -1 1077944384 321 0 0 0 45 11 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717464669200 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8748] ppid=8742 vsize=15618124 memory=1452 CPUtime=0.56 cores=0,2,4,6
/proc/8744/task/8748/stat : 8748 (java) S 8742 8742 3331 0 -1 1077944384 302 0 0 0 46 10 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717463616400 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8749] ppid=8742 vsize=15618124 memory=7014751519600038756 CPUtime=0.59 cores=0,2,4,6
/proc/8744/task/8749/stat : 8749 (java) S 8742 8742 3331 0 -1 1077944384 303 0 0 0 47 12 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717462563600 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8750] ppid=8742 vsize=15618124 memory=7669464617597430121 CPUtime=0.02 cores=0,2,4,6
/proc/8744/task/8750/stat : 8750 (java) S 8742 8742 3331 0 -1 1077944384 949 0 0 0 2 0 0 0 20 0 19 0 410772923 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716746922352 140717872908930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8751] ppid=8742 vsize=15618124 memory=7881416314159197542 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8751/stat : 8751 (java) S 8742 8742 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410772924 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716745868384 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8752] ppid=8742 vsize=15618124 memory=7367994820087800141 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8752/stat : 8752 (java) S 8742 8742 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 410772924 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716744815488 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8753] ppid=8742 vsize=15618124 memory=7882543339699197025 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716743763792 140717872916379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8754] ppid=8742 vsize=15618124 memory=-7025448733113094249 CPUtime=2.73 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8742 8742 3331 0 -1 1077944384 11026 0 0 0 272 1 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716742712176 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8755] ppid=8742 vsize=15618124 memory=7682744562830902074 CPUtime=3.07 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8742 8742 3331 0 -1 1077944384 10225 0 0 0 306 1 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716741659376 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8756] ppid=8742 vsize=15618124 memory=-6876588628754522503 CPUtime=0.78 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8742 8742 3331 0 -1 1077944384 7312 0 0 0 76 2 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716740606576 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8757] ppid=8742 vsize=15618124 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8757/stat : 8757 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716739554016 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8758] ppid=8742 vsize=15618124 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8758/stat : 8758 (java) S 8742 8742 3331 0 -1 1077944384 479 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716738501296 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
Current children cumulated CPU time: 40.87 s
Current children cumulated vsize: 15731252 KiB
Current children cumulated memory: 727004 KiB
[startup+15.2009 s]
/proc/loadavg: 8.46 8.55 8.15 6/238 8884
/proc/meminfo: memFree=16919544/32770624 swapFree=66959216/67108860
[pid=8742] ppid=8739 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8742/stat : 8742 (xcsp3-exec) S 8739 8742 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410772921 115843072 363 33554432000 4194304 5098028 140724085566112 140724085564216 140465282097788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11948032 140724085572475 140724085572717 140724085572717 140724085575626 0
/proc/8742/statm: 28282 363 304 221 0 87 0
[pid=8744] ppid=8742 vsize=15618124 memory=725552 CPUtime=41.27 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8742 8742 3331 0 -1 1077944320 48168 0 0 0 4065 62 0 0 20 0 19 0 410772921 15992958976 181388 33554432000 4194304 4196468 140736143571344 140736143553888 140717872897783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
/proc/8744/statm: 3904531 181388 3526 1 0 3865633 0
[pid=8744/tid=8745] ppid=8742 vsize=15618124 memory=8112282956445269571 CPUtime=0.9 cores=0,2,4,6
/proc/8744/task/8745/stat : 8745 (java) S 8742 8742 3331 0 -1 1077944384 9666 0 0 0 84 6 0 0 20 0 19 0 410772921 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717877138560 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8746] ppid=8742 vsize=15618124 memory=28237 CPUtime=0.59 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) S 8742 8742 3331 0 -1 1077944384 303 0 0 0 47 12 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717465722000 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8747] ppid=8742 vsize=15618124 memory=1933 CPUtime=0.56 cores=0,2,4,6
/proc/8744/task/8747/stat : 8747 (java) S 8742 8742 3331 0 -1 1077944384 321 0 0 0 45 11 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717464669200 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8748] ppid=8742 vsize=15618124 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/8744/task/8748/stat : 8748 (java) S 8742 8742 3331 0 -1 1077944384 302 0 0 0 46 10 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717463616400 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8749] ppid=8742 vsize=15618124 memory=2008 CPUtime=0.59 cores=0,2,4,6
/proc/8744/task/8749/stat : 8749 (java) S 8742 8742 3331 0 -1 1077944384 303 0 0 0 47 12 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717462563600 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8750] ppid=8742 vsize=15618124 memory=1436 CPUtime=0.02 cores=0,2,4,6
/proc/8744/task/8750/stat : 8750 (java) S 8742 8742 3331 0 -1 1077944384 949 0 0 0 2 0 0 0 20 0 19 0 410772923 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716746922352 140717872908930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8751] ppid=8742 vsize=15618124 memory=580 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8751/stat : 8751 (java) S 8742 8742 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410772924 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716745868384 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8752] ppid=8742 vsize=15618124 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8752/stat : 8752 (java) S 8742 8742 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 410772924 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716744815488 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8753] ppid=8742 vsize=15618124 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716743763792 140717872916379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8754] ppid=8742 vsize=15618124 memory=8112282956445269571 CPUtime=2.73 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8742 8742 3331 0 -1 1077944384 11026 0 0 0 272 1 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716742712176 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8755] ppid=8742 vsize=15618124 memory=2580 CPUtime=3.07 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8742 8742 3331 0 -1 1077944384 10225 0 0 0 306 1 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716741659376 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8756] ppid=8742 vsize=15618124 memory=1760 CPUtime=0.78 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8742 8742 3331 0 -1 1077944384 7312 0 0 0 76 2 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716740606576 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8757] ppid=8742 vsize=15618124 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8757/stat : 8757 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716739554016 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8758] ppid=8742 vsize=15618124 memory=800 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8758/stat : 8758 (java) S 8742 8742 3331 0 -1 1077944384 531 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716738501296 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8881] ppid=8742 vsize=15618124 memory=1808 CPUtime=0.39 cores=0,2,4,6
/proc/8744/task/8881/stat : 8881 (java) S 8742 8742 3331 0 -1 1077944384 58 0 0 0 39 0 0 0 20 0 19 0 410774348 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716727189040 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8882] ppid=8742 vsize=15618124 memory=924 CPUtime=0.41 cores=0,2,4,6
/proc/8744/task/8882/stat : 8882 (java) S 8742 8742 3331 0 -1 1077944384 51 0 0 0 41 0 0 0 20 0 19 0 410774348 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716729295696 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8883] ppid=8742 vsize=15618124 memory=3848 CPUtime=0.41 cores=0,2,4,6
/proc/8744/task/8883/stat : 8883 (java) S 8742 8742 3331 0 -1 1077944384 27 0 0 0 41 0 0 0 20 0 19 0 410774348 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716726137552 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8884] ppid=8742 vsize=15618124 memory=2616 CPUtime=0.92 cores=0,2,4,6
/proc/8744/task/8884/stat : 8884 (java) R 8742 8742 3331 0 -1 4202560 46 0 0 0 92 0 0 0 20 0 19 0 410774348 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716721929800 140717515504249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
Current children cumulated CPU time: 41.27 s
Current children cumulated vsize: 15731252 KiB
Current children cumulated memory: 727004 KiB
[startup+15.3008 s]
/proc/loadavg: 8.46 8.55 8.15 6/238 8884
/proc/meminfo: memFree=16919544/32770624 swapFree=66959216/67108860
[pid=8742] ppid=8739 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8742/stat : 8742 (xcsp3-exec) S 8739 8742 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410772921 115843072 363 33554432000 4194304 5098028 140724085566112 140724085564216 140465282097788 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11948032 140724085572475 140724085572717 140724085572717 140724085575626 0
/proc/8742/statm: 28282 363 304 221 0 87 0
[pid=8744] ppid=8742 vsize=15618124 memory=725552 CPUtime=41.37 cores=0,2,4,6
/proc/8744/stat : 8744 (java) S 8742 8742 3331 0 -1 1077944320 48173 0 0 0 4075 62 0 0 20 0 19 0 410772921 15992958976 181388 33554432000 4194304 4196468 140736143571344 140736143553888 140717872897783 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
/proc/8744/statm: 3904531 181388 3526 1 0 3865633 0
[pid=8744/tid=8745] ppid=8742 vsize=15618124 memory=723440 CPUtime=0.9 cores=0,2,4,6
/proc/8744/task/8745/stat : 8745 (java) S 8742 8742 3331 0 -1 1077944384 9666 0 0 0 84 6 0 0 20 0 19 0 410772921 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717877138560 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8746] ppid=8742 vsize=15618124 memory=723440 CPUtime=0.59 cores=0,2,4,6
/proc/8744/task/8746/stat : 8746 (java) S 8742 8742 3331 0 -1 1077944384 303 0 0 0 47 12 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717465722000 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8747] ppid=8742 vsize=15618124 memory=725552 CPUtime=0.56 cores=0,2,4,6
/proc/8744/task/8747/stat : 8747 (java) S 8742 8742 3331 0 -1 1077944384 321 0 0 0 45 11 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717464669200 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8748] ppid=8742 vsize=15618124 memory=1452 CPUtime=0.56 cores=0,2,4,6
/proc/8744/task/8748/stat : 8748 (java) S 8742 8742 3331 0 -1 1077944384 302 0 0 0 46 10 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717463616400 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8749] ppid=8742 vsize=15618124 memory=1452 CPUtime=0.59 cores=0,2,4,6
/proc/8744/task/8749/stat : 8749 (java) S 8742 8742 3331 0 -1 1077944384 303 0 0 0 47 12 0 0 20 0 19 0 410772922 15992958976 181388 33554432000 4194304 4196468 140736143571344 140717462563600 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8750] ppid=8742 vsize=15618124 memory=723576 CPUtime=0.02 cores=0,2,4,6
/proc/8744/task/8750/stat : 8750 (java) S 8742 8742 3331 0 -1 1077944384 949 0 0 0 2 0 0 0 20 0 19 0 410772923 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716746922352 140717872908930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8751] ppid=8742 vsize=15618124 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8751/stat : 8751 (java) S 8742 8742 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410772924 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716745868384 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8752] ppid=8742 vsize=15618124 memory=280762951666992 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8752/stat : 8752 (java) S 8742 8742 3331 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 410772924 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716744815488 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8753] ppid=8742 vsize=15618124 memory=39728917252330 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8753/stat : 8753 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716743763792 140717872916379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8754] ppid=8742 vsize=15618124 memory=1452 CPUtime=2.73 cores=0,2,4,6
/proc/8744/task/8754/stat : 8754 (java) S 8742 8742 3331 0 -1 1077944384 11026 0 0 0 272 1 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716742712176 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8755] ppid=8742 vsize=15618124 memory=725552 CPUtime=3.07 cores=0,2,4,6
/proc/8744/task/8755/stat : 8755 (java) S 8742 8742 3331 0 -1 1077944384 10225 0 0 0 306 1 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716741659376 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8756] ppid=8742 vsize=15618124 memory=20736 CPUtime=0.78 cores=0,2,4,6
/proc/8744/task/8756/stat : 8756 (java) S 8742 8742 3331 0 -1 1077944384 7312 0 0 0 76 2 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716740606576 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8757] ppid=8742 vsize=15618124 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8757/stat : 8757 (java) S 8742 8742 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716739554016 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8758] ppid=8742 vsize=15618124 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8744/task/8758/stat : 8758 (java) S 8742 8742 3331 0 -1 1077944384 531 0 0 0 0 0 0 0 20 0 19 0 410772927 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716738501296 140717872908930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8881] ppid=8742 vsize=15618124 memory=723424 CPUtime=0.39 cores=0,2,4,6
/proc/8744/task/8881/stat : 8881 (java) S 8742 8742 3331 0 -1 1077944384 58 0 0 0 39 0 0 0 20 0 19 0 410774348 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716727189040 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8882] ppid=8742 vsize=15618124 memory=1452 CPUtime=0.41 cores=0,2,4,6
/proc/8744/task/8882/stat : 8882 (java) S 8742 8742 3331 0 -1 1077944384 51 0 0 0 41 0 0 0 20 0 19 0 410774348 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716729295696 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8883] ppid=8742 vsize=15618124 memory=725644 CPUtime=0.41 cores=0,2,4,6
/proc/8744/task/8883/stat : 8883 (java) S 8742 8742 3331 0 -1 1077944384 27 0 0 0 41 0 0 0 20 0 19 0 410774348 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716726137552 140717872907989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
[pid=8744/tid=8884] ppid=8742 vsize=15618124 memory=1452 CPUtime=1.02 cores=0,2,4,6
/proc/8744/task/8884/stat : 8884 (java) R 8742 8742 3331 0 -1 4202560 51 0 0 0 102 0 0 0 20 0 19 0 410774348 15992958976 181388 33554432000 4194304 4196468 140736143571344 140716721921984 140717515504498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13213696 140736143573999 140736143574170 140736143574170 140736143577039 0
Current children cumulated CPU time: 41.37 s
Current children cumulated vsize: 15731252 KiB
Current children cumulated memory: 727004 KiB
Child status: 0
Real time (s): 15.3388
CPU time (s): 41.4263
CPU user time (s): 40.79
CPU system time (s): 0.636241
CPU usage (%): 270.075
Max. virtual memory (cumulated for all children) (KiB): 15731252
Max. memory (cumulated for all children) (KiB): 728552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.79
system time used= 0.636241
maximum resident set size= 727104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3759
involuntary context switches= 1121
# summary of solver processes directly reported to runsolver:
# pid: 8742
# total CPU time (s): 41.4263
# total CPU user time (s): 40.79
# total CPU system time (s): 0.636241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.129157 second user time and 0.19476 second system time
The end