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 (15113 MiB free)
memory of node 1: 16384 MiB (15682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393327-1568319911/watcher-4393327-1568319911 -o /tmp/evaluation-result-4393327-1568319911/solver-4393327-1568319911 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1761488828 HOME/instance-4393327-1568319911.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=16463, runsolver pid=16460
[startup+0.101372 s]*
/proc/loadavg: 8.57 8.27 8.17 6/233 16479
/proc/meminfo: memFree=31518352/32770624 swapFree=66979532/67108860
[pid=16463] ppid=16460 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16463/stat : 16463 (xcsp3-exec) S 16460 16463 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408253827 115843072 362 33554432000 4194304 5098028 140731546992464 140731546990568 140714467988092 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24875008 140731547001722 140731547001965 140731547001965 140731547004874 0
/proc/16463/statm: 28282 362 304 221 0 87 0
[pid=16465] ppid=16463 vsize=15144768 memory=29360 CPUtime=0.14 cores=1,3,5,7
/proc/16465/stat : 16465 (java) S 16463 16463 6753 0 -1 1077944320 5718 0 0 0 13 1 0 0 20 0 15 0 408253827 15508242432 7340 33554432000 4194304 4196468 140731498116448 140731498098992 139694908931831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
/proc/16465/statm: 3786192 7340 3207 1 0 3748377 0
[pid=16465/tid=16466] ppid=16463 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/16465/task/16466/stat : 16466 (java) R 16463 16463 6753 0 -1 4202560 3603 0 0 0 9 0 0 0 20 0 15 0 408253827 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694913162208 139694908943766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16467] ppid=16463 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16467/stat : 16467 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694820588560 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16468] ppid=16463 vsize=15144768 memory=140140305630848 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16468/stat : 16468 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694819536016 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16469] ppid=16463 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16469/stat : 16469 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694499162896 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16470] ppid=16463 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16470/stat : 16470 (java) S 16463 16463 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408253828 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694498110352 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16471] ppid=16463 vsize=15144768 memory=140140305630848 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16471/stat : 16471 (java) S 16463 16463 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408253829 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694243309808 139694908942978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16472] ppid=16463 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16472/stat : 16472 (java) S 16463 16463 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408253830 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694242256032 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16473] ppid=16463 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16473/stat : 16473 (java) S 16463 16463 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408253830 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694241202928 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16474] ppid=16463 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16474/stat : 16474 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408253832 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694240151504 139694908950427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16475] ppid=16463 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16475/stat : 16475 (java) R 16463 16463 6753 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 15 0 408253832 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694239099632 139694908942978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16476] ppid=16463 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16476/stat : 16476 (java) R 16463 16463 6753 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 408253833 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694238038592 139694888792505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16477] ppid=16463 vsize=15144768 memory=140140305630848 CPUtime=0.02 cores=1,3,5,7
/proc/16465/task/16477/stat : 16477 (java) R 16463 16463 6753 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 408253833 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694236994032 139694908945740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16478] ppid=16463 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16478/stat : 16478 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408253833 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694235941728 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16479] ppid=16463 vsize=15144768 memory=140140305630848 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16479/stat : 16479 (java) R 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253833 15508242432 7340 33554432000 4194304 4196468 140731498116448 139694234888752 139694908942978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30808 KiB
[startup+0.210678 s]*
/proc/loadavg: 8.57 8.27 8.17 6/233 16479
/proc/meminfo: memFree=31504752/32770624 swapFree=66979532/67108860
[pid=16463] ppid=16460 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16463/stat : 16463 (xcsp3-exec) S 16460 16463 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408253827 115843072 362 33554432000 4194304 5098028 140731546992464 140731546990568 140714467988092 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24875008 140731547001722 140731547001965 140731547001965 140731547004874 0
/proc/16463/statm: 28282 362 304 221 0 87 0
[pid=16465] ppid=16463 vsize=15144768 memory=40820 CPUtime=0.34 cores=1,3,5,7
/proc/16465/stat : 16465 (java) S 16463 16463 6753 0 -1 1077944320 9481 0 0 0 31 3 0 0 20 0 15 0 408253827 15508242432 10205 33554432000 4194304 4196468 140731498116448 140731498098992 139694908931831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
/proc/16465/statm: 3786192 10205 3301 1 0 3748377 0
[pid=16465/tid=16466] ppid=16463 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/16465/task/16466/stat : 16466 (java) R 16463 16463 6753 0 -1 4202560 6636 0 0 0 18 2 0 0 20 0 15 0 408253827 15508242432 10205 33554432000 4194304 4196468 140731498116448 139694913168592 139694893012318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16467] ppid=16463 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16467/stat : 16467 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15508242432 10205 33554432000 4194304 4196468 140731498116448 139694820588560 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16468] ppid=16463 vsize=15144768 memory=140140305647474 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16468/stat : 16468 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15508242432 10205 33554432000 4194304 4196468 140731498116448 139694819536016 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16469] ppid=16463 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16469/stat : 16469 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15508242432 10205 33554432000 4194304 4196468 140731498116448 139694499162896 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16470] ppid=16463 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16470/stat : 16470 (java) S 16463 16463 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408253828 15508242432 10205 33554432000 4194304 4196468 140731498116448 139694498110352 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16471] ppid=16463 vsize=15144768 memory=140140305630848 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16471/stat : 16471 (java) S 16463 16463 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408253829 15508242432 10268 33554432000 4194304 4196468 140731498116448 139694243309808 139694908942978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16472] ppid=16463 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16472/stat : 16472 (java) S 16463 16463 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408253830 15508242432 10268 33554432000 4194304 4196468 140731498116448 139694242256032 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16473] ppid=16463 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16473/stat : 16473 (java) S 16463 16463 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408253830 15508242432 10268 33554432000 4194304 4196468 140731498116448 139694241202928 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16474] ppid=16463 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16474/stat : 16474 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408253832 15508242432 10268 33554432000 4194304 4196468 140731498116448 139694240151504 139694908950427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16475] ppid=16463 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16465/task/16475/stat : 16475 (java) S 16463 16463 6753 0 -1 1077944384 653 0 0 0 2 0 0 0 20 0 15 0 408253832 15508242432 10268 33554432000 4194304 4196468 140731498116448 139694239099632 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16476] ppid=16463 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16465/task/16476/stat : 16476 (java) S 16463 16463 6753 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 15 0 408253833 15508242432 10268 33554432000 4194304 4196468 140731498116448 139694238047088 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16477] ppid=16463 vsize=15144768 memory=140140305630848 CPUtime=0.08 cores=1,3,5,7
/proc/16465/task/16477/stat : 16477 (java) S 16463 16463 6753 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 15 0 408253833 15508242432 10268 33554432000 4194304 4196468 140731498116448 139694236994032 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16478] ppid=16463 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16478/stat : 16478 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408253833 15508242432 10268 33554432000 4194304 4196468 140731498116448 139694235941728 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16479] ppid=16463 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16479/stat : 16479 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253833 15508242432 10268 33554432000 4194304 4196468 140731498116448 139694234888752 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42268 KiB
[startup+0.310541 s]*
/proc/loadavg: 8.57 8.27 8.17 7/233 16479
/proc/meminfo: memFree=31499844/32770624 swapFree=66979532/67108860
[pid=16463] ppid=16460 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16463/stat : 16463 (xcsp3-exec) S 16460 16463 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408253827 115843072 362 33554432000 4194304 5098028 140731546992464 140731546990568 140714467988092 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24875008 140731547001722 140731547001965 140731547001965 140731547004874 0
/proc/16463/statm: 28282 362 304 221 0 87 0
[pid=16465] ppid=16463 vsize=15149024 memory=50292 CPUtime=0.52 cores=1,3,5,7
/proc/16465/stat : 16465 (java) S 16463 16463 6753 0 -1 1077944320 10910 0 0 0 48 4 0 0 20 0 15 0 408253827 15512600576 12573 33554432000 4194304 4196468 140731498116448 140731498098992 139694908931831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
/proc/16465/statm: 3787256 12573 3363 1 0 3748377 0
[pid=16465/tid=16466] ppid=16463 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/16465/task/16466/stat : 16466 (java) R 16463 16463 6753 0 -1 4202560 7858 0 0 0 27 3 0 0 20 0 15 0 408253827 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694913162944 139694893012318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16467] ppid=16463 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16467/stat : 16467 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694820588560 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16468] ppid=16463 vsize=15149024 memory=3161056 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16468/stat : 16468 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694819536016 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16469] ppid=16463 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16469/stat : 16469 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694499162896 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16470] ppid=16463 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16470/stat : 16470 (java) S 16463 16463 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408253828 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694498110352 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16471] ppid=16463 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16471/stat : 16471 (java) S 16463 16463 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408253829 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694243309808 139694908942978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16472] ppid=16463 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16472/stat : 16472 (java) S 16463 16463 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408253830 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694242256032 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16473] ppid=16463 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16473/stat : 16473 (java) S 16463 16463 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408253830 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694241202928 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16474] ppid=16463 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16474/stat : 16474 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408253832 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694240151504 139694908950427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16475] ppid=16463 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16465/task/16475/stat : 16475 (java) S 16463 16463 6753 0 -1 1077944384 754 0 0 0 4 0 0 0 20 0 15 0 408253832 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694239099632 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16476] ppid=16463 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16465/task/16476/stat : 16476 (java) S 16463 16463 6753 0 -1 1077944384 123 0 0 0 3 0 0 0 20 0 15 0 408253833 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694238047088 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16477] ppid=16463 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16465/task/16477/stat : 16477 (java) S 16463 16463 6753 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 15 0 408253833 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694236994032 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16478] ppid=16463 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16478/stat : 16478 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408253833 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694235941728 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16479] ppid=16463 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16479/stat : 16479 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253833 15512600576 12573 33554432000 4194304 4196468 140731498116448 139694234888752 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51740 KiB
[startup+0.700748 s]
/proc/loadavg: 8.57 8.27 8.17 9/233 16479
/proc/meminfo: memFree=31481640/32770624 swapFree=66979532/67108860
[pid=16463] ppid=16460 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16463/stat : 16463 (xcsp3-exec) S 16460 16463 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408253827 115843072 362 33554432000 4194304 5098028 140731546992464 140731546990568 140714467988092 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24875008 140731547001722 140731547001965 140731547001965 140731547004874 0
/proc/16463/statm: 28282 362 304 221 0 87 0
[pid=16465] ppid=16463 vsize=15151148 memory=87756 CPUtime=1.67 cores=1,3,5,7
/proc/16465/stat : 16465 (java) S 16463 16463 6753 0 -1 1077944320 15159 0 0 0 160 7 0 0 20 0 15 0 408253827 15514775552 21939 33554432000 4194304 4196468 140731498116448 140731498098992 139694908931831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
/proc/16465/statm: 3787787 21939 3454 1 0 3748889 0
[pid=16465/tid=16466] ppid=16463 vsize=15151148 memory=1790665819393 CPUtime=0.67 cores=1,3,5,7
/proc/16465/task/16466/stat : 16466 (java) R 16463 16463 6753 0 -1 4202560 9327 0 0 0 64 3 0 0 20 0 15 0 408253827 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694913170224 139694908953178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16467] ppid=16463 vsize=15151148 memory=512 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16467/stat : 16467 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694820588560 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16468] ppid=16463 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16468/stat : 16468 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694819536016 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16469] ppid=16463 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16469/stat : 16469 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253828 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694499162896 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16470] ppid=16463 vsize=15151148 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16470/stat : 16470 (java) S 16463 16463 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408253828 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694498110352 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16471] ppid=16463 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16471/stat : 16471 (java) S 16463 16463 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408253829 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694243309808 139694908942978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16472] ppid=16463 vsize=15151148 memory=920 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16472/stat : 16472 (java) S 16463 16463 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408253830 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694242256032 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16473] ppid=16463 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16473/stat : 16473 (java) S 16463 16463 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408253830 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694241202928 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16474] ppid=16463 vsize=15151148 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16474/stat : 16474 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408253832 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694240151504 139694908950427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16475] ppid=16463 vsize=15151148 memory=1764 CPUtime=0.28 cores=1,3,5,7
/proc/16465/task/16475/stat : 16475 (java) R 16463 16463 6753 0 -1 4202560 1477 0 0 0 28 0 0 0 20 0 15 0 408253832 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694239085856 139694893318944 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16476] ppid=16463 vsize=15151148 memory=111632 CPUtime=0.26 cores=1,3,5,7
/proc/16465/task/16476/stat : 16476 (java) R 16463 16463 6753 0 -1 4202560 956 0 0 0 26 0 0 0 20 0 15 0 408253833 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694238033872 139694890117858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16477] ppid=16463 vsize=15151148 memory=804 CPUtime=0.42 cores=1,3,5,7
/proc/16465/task/16477/stat : 16477 (java) R 16463 16463 6753 0 -1 4202560 2093 0 0 0 41 1 0 0 20 0 15 0 408253833 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694236994032 139694888363412 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16478] ppid=16463 vsize=15151148 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16478/stat : 16478 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408253833 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694235941728 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16479] ppid=16463 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16479/stat : 16479 (java) S 16463 16463 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408253833 15514775552 21939 33554432000 4194304 4196468 140731498116448 139694234888752 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 89204 KiB
[startup+1.50804 s]
/proc/loadavg: 8.57 8.27 8.17 12/237 16507
/proc/meminfo: memFree=31381472/32770624 swapFree=66979532/67108860
[pid=16463] ppid=16460 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16463/stat : 16463 (xcsp3-exec) S 16460 16463 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408253827 115843072 362 33554432000 4194304 5098028 140731546992464 140731546990568 140714467988092 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24875008 140731547001722 140731547001965 140731547001965 140731547004874 0
/proc/16463/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/16465/task/16475/stat : 16475 (java) S 16463 16463 6753 0 -1 1077944384 13090 0 0 0 245 2 0 0 20 0 19 0 408253832 15790571520 56692 33554432000 4194304 4196468 140731498116448 139694239099632 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16476] ppid=16463 vsize=15420480 memory=6820 CPUtime=2.76 cores=1,3,5,7
/proc/16465/task/16476/stat : 16476 (java) S 16463 16463 6753 0 -1 1077944384 11007 0 0 0 275 1 0 0 20 0 19 0 408253833 15790571520 56692 33554432000 4194304 4196468 140731498116448 139694238047088 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16477] ppid=16463 vsize=15420480 memory=7378417275426400601 CPUtime=0.74 cores=1,3,5,7
/proc/16465/task/16477/stat : 16477 (java) S 16463 16463 6753 0 -1 1077944384 8667 0 0 0 72 2 0 0 20 0 19 0 408253833 15790571520 56692 33554432000 4194304 4196468 140731498116448 139694236994032 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16478] ppid=16463 vsize=15420480 memory=210899739007966 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16478/stat : 16478 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408253833 15790571520 56692 33554432000 4194304 4196468 140731498116448 139694235941728 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16479] ppid=16463 vsize=15420480 memory=288230377094493832 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16479/stat : 16479 (java) S 16463 16463 6753 0 -1 1077944384 885 0 0 0 0 0 0 0 20 0 19 0 408253833 15790571520 56692 33554432000 4194304 4196468 140731498116448 139694234888752 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16521] ppid=16463 vsize=15420480 memory=288289978372437731 CPUtime=34.04 cores=1,3,5,7
/proc/16465/task/16521/stat : 16521 (java) R 16463 16463 6753 0 -1 4202560 364 0 0 0 3404 0 0 0 20 0 19 0 408255618 15790571520 56692 33554432000 4194304 4196468 140731498116448 139694222518800 139694506173249 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16522] ppid=16463 vsize=15420480 memory=0 CPUtime=33.86 cores=1,3,5,7
/proc/16465/task/16522/stat : 16522 (java) R 16463 16463 6753 0 -1 4202560 1244 0 0 0 3386 0 0 0 20 0 19 0 408255618 15790571520 56692 33554432000 4194304 4196468 140731498116448 139694223575000 139694499505322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16523] ppid=16463 vsize=15420480 memory=12513 CPUtime=33.66 cores=1,3,5,7
/proc/16465/task/16523/stat : 16523 (java) R 16463 16463 6753 0 -1 4202560 398 0 0 0 3366 0 0 0 20 0 19 0 408255618 15790571520 56692 33554432000 4194304 4196468 140731498116448 139694225677560 139694505933368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16524] ppid=16463 vsize=15420480 memory=0 CPUtime=33.87 cores=1,3,5,7
/proc/16465/task/16524/stat : 16524 (java) R 16463 16463 6753 0 -1 4202560 1075 0 0 0 3387 0 0 0 20 0 19 0 408255618 15790571520 56692 33554432000 4194304 4196468 140731498116448 139694219370696 139694500319304 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
Current children cumulated CPU time: 205.72 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 228216 KiB
[startup+52.801 s]
/proc/loadavg: 8.79 8.38 8.21 9/237 16527
/proc/meminfo: memFree=31319660/32770624 swapFree=66979536/67108860
[pid=16463] ppid=16460 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16463/stat : 16463 (xcsp3-exec) S 16460 16463 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408253827 115843072 362 33554432000 4194304 5098028 140731546992464 140731546990568 140714467988092 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24875008 140731547001722 140731547001965 140731547001965 140731547004874 0
/proc/16463/statm: 28282 362 304 221 0 87 0
[pid=16465] ppid=16463 vsize=15420480 memory=226496 CPUtime=208.88 cores=1,3,5,7
/proc/16465/stat : 16465 (java) S 16463 16463 6753 0 -1 1077944320 55984 0 0 0 20872 16 0 0 20 0 19 0 408253827 15790571520 56624 33554432000 4194304 4196468 140731498116448 140731498098992 139694908931831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
/proc/16465/statm: 3855120 56624 3526 1 0 3816222 0
[pid=16465/tid=16466] ppid=16463 vsize=15420480 memory=3848 CPUtime=0.71 cores=1,3,5,7
/proc/16465/task/16466/stat : 16466 (java) S 16463 16463 6753 0 -1 1077944384 9957 0 0 0 67 4 0 0 20 0 19 0 408253827 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694913172608 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16467] ppid=16463 vsize=15420480 memory=2596 CPUtime=0.01 cores=1,3,5,7
/proc/16465/task/16467/stat : 16467 (java) S 16463 16463 6753 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694820588560 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16468] ppid=16463 vsize=15420480 memory=2916 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16468/stat : 16468 (java) S 16463 16463 6753 0 -1 1077944384 1650 0 0 0 0 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694819536016 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16469] ppid=16463 vsize=15420480 memory=1328 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16469/stat : 16469 (java) S 16463 16463 6753 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694499162896 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16470] ppid=16463 vsize=15420480 memory=780 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16470/stat : 16470 (java) S 16463 16463 6753 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694498110352 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16471] ppid=16463 vsize=15420480 memory=3360 CPUtime=0.01 cores=1,3,5,7
/proc/16465/task/16471/stat : 16471 (java) S 16463 16463 6753 0 -1 1077944384 899 0 0 0 1 0 0 0 20 0 19 0 408253829 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694243309808 139694908942978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16472] ppid=16463 vsize=15420480 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16472/stat : 16472 (java) S 16463 16463 6753 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 408253830 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694242256096 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16473] ppid=16463 vsize=15420480 memory=1028 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16473/stat : 16473 (java) S 16463 16463 6753 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 408253830 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694241202944 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16474] ppid=16463 vsize=15420480 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16474/stat : 16474 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408253832 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694240151504 139694908950427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16475] ppid=16463 vsize=15420480 memory=2828 CPUtime=2.47 cores=1,3,5,7
/proc/16465/task/16475/stat : 16475 (java) S 16463 16463 6753 0 -1 1077944384 13090 0 0 0 245 2 0 0 20 0 19 0 408253832 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694239099632 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16476] ppid=16463 vsize=15420480 memory=1448 CPUtime=2.76 cores=1,3,5,7
/proc/16465/task/16476/stat : 16476 (java) S 16463 16463 6753 0 -1 1077944384 11007 0 0 0 275 1 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694238047088 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16477] ppid=16463 vsize=15420480 memory=1448 CPUtime=0.74 cores=1,3,5,7
/proc/16465/task/16477/stat : 16477 (java) S 16463 16463 6753 0 -1 1077944384 8934 0 0 0 72 2 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694236994032 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16478] ppid=16463 vsize=15420480 memory=226768 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16478/stat : 16478 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694235941728 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16479] ppid=16463 vsize=15420480 memory=756 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16479/stat : 16479 (java) S 16463 16463 6753 0 -1 1077944384 885 0 0 0 0 0 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694234888752 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
Current children cumulated CPU time: 208.88 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 227944 KiB
[startup+53.201 s]
/proc/loadavg: 8.79 8.38 8.21 9/237 16531
/proc/meminfo: memFree=31319816/32770624 swapFree=66979536/67108860
[pid=16463] ppid=16460 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16463/stat : 16463 (xcsp3-exec) S 16460 16463 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408253827 115843072 362 33554432000 4194304 5098028 140731546992464 140731546990568 140714467988092 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24875008 140731547001722 140731547001965 140731547001965 140731547004874 0
/proc/16463/statm: 28282 362 304 221 0 87 0
[pid=16465] ppid=16463 vsize=15420480 memory=226496 CPUtime=210.47 cores=1,3,5,7
/proc/16465/stat : 16465 (java) S 16463 16463 6753 0 -1 1077944320 55986 0 0 0 21031 16 0 0 20 0 19 0 408253827 15790571520 56624 33554432000 4194304 4196468 140731498116448 140731498098992 139694908931831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
/proc/16465/statm: 3855120 56624 3526 1 0 3816222 0
[pid=16465/tid=16466] ppid=16463 vsize=15420480 memory=226756 CPUtime=0.71 cores=1,3,5,7
/proc/16465/task/16466/stat : 16466 (java) S 16463 16463 6753 0 -1 1077944384 9957 0 0 0 67 4 0 0 20 0 19 0 408253827 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694913172608 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16467] ppid=16463 vsize=15420480 memory=14689690934577591 CPUtime=0.01 cores=1,3,5,7
/proc/16465/task/16467/stat : 16467 (java) S 16463 16463 6753 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694820588560 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16468] ppid=16463 vsize=15420480 memory=14689690934577591 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16468/stat : 16468 (java) S 16463 16463 6753 0 -1 1077944384 1650 0 0 0 0 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694819536016 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16469] ppid=16463 vsize=15420480 memory=984 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16469/stat : 16469 (java) S 16463 16463 6753 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694499162896 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16470] ppid=16463 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16470/stat : 16470 (java) S 16463 16463 6753 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694498110352 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16471] ppid=16463 vsize=15420480 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16465/task/16471/stat : 16471 (java) S 16463 16463 6753 0 -1 1077944384 899 0 0 0 1 0 0 0 20 0 19 0 408253829 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694243309808 139694908942978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16472] ppid=16463 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16472/stat : 16472 (java) S 16463 16463 6753 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 408253830 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694242256096 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16473] ppid=16463 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16473/stat : 16473 (java) S 16463 16463 6753 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 408253830 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694241202944 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16474] ppid=16463 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16474/stat : 16474 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408253832 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694240151504 139694908950427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16475] ppid=16463 vsize=15420480 memory=0 CPUtime=2.47 cores=1,3,5,7
/proc/16465/task/16475/stat : 16475 (java) S 16463 16463 6753 0 -1 1077944384 13090 0 0 0 245 2 0 0 20 0 19 0 408253832 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694239099632 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16476] ppid=16463 vsize=15420480 memory=303430223234596890 CPUtime=2.76 cores=1,3,5,7
/proc/16465/task/16476/stat : 16476 (java) S 16463 16463 6753 0 -1 1077944384 11007 0 0 0 275 1 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694238047088 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16477] ppid=16463 vsize=15420480 memory=288230617509003574 CPUtime=0.74 cores=1,3,5,7
/proc/16465/task/16477/stat : 16477 (java) S 16463 16463 6753 0 -1 1077944384 8934 0 0 0 72 2 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694236994032 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16478] ppid=16463 vsize=15420480 memory=14689690934577591 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16478/stat : 16478 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694235941728 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16479] ppid=16463 vsize=15420480 memory=157124 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16479/stat : 16479 (java) S 16463 16463 6753 0 -1 1077944384 885 0 0 0 0 0 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694234888752 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16528] ppid=16463 vsize=15420480 memory=1412 CPUtime=0.72 cores=1,3,5,7
/proc/16465/task/16528/stat : 16528 (java) R 16463 16463 6753 0 -1 4202560 44 0 0 0 72 0 0 0 20 0 19 0 408259074 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694223576400 139694504307788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16529] ppid=16463 vsize=15420480 memory=2704 CPUtime=0.72 cores=1,3,5,7
/proc/16465/task/16529/stat : 16529 (java) R 16463 16463 6753 0 -1 4202560 19 0 0 0 72 0 0 0 20 0 19 0 408259074 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694225683288 139694505675807 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16530] ppid=16463 vsize=15420480 memory=924 CPUtime=0.71 cores=1,3,5,7
/proc/16465/task/16530/stat : 16530 (java) R 16463 16463 6753 0 -1 4202560 18 0 0 0 71 0 0 0 20 0 19 0 408259074 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694219377992 139694505491865 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16531] ppid=16463 vsize=15420480 memory=3848 CPUtime=0.72 cores=1,3,5,7
/proc/16465/task/16531/stat : 16531 (java) R 16463 16463 6753 0 -1 4202560 23 0 0 0 72 0 0 0 20 0 19 0 408259074 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694222527432 139694505934225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
Current children cumulated CPU time: 210.47 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 227944 KiB
[startup+53.301 s]
/proc/loadavg: 8.79 8.38 8.21 9/237 16531
/proc/meminfo: memFree=31319816/32770624 swapFree=66979536/67108860
[pid=16463] ppid=16460 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16463/stat : 16463 (xcsp3-exec) S 16460 16463 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408253827 115843072 362 33554432000 4194304 5098028 140731546992464 140731546990568 140714467988092 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24875008 140731547001722 140731547001965 140731547001965 140731547004874 0
/proc/16463/statm: 28282 362 304 221 0 87 0
[pid=16465] ppid=16463 vsize=15420480 memory=226496 CPUtime=210.87 cores=1,3,5,7
/proc/16465/stat : 16465 (java) S 16463 16463 6753 0 -1 1077944320 55986 0 0 0 21071 16 0 0 20 0 19 0 408253827 15790571520 56624 33554432000 4194304 4196468 140731498116448 140731498098992 139694908931831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
/proc/16465/statm: 3855120 56624 3526 1 0 3816222 0
[pid=16465/tid=16466] ppid=16463 vsize=15420480 memory=226496 CPUtime=0.71 cores=1,3,5,7
/proc/16465/task/16466/stat : 16466 (java) S 16463 16463 6753 0 -1 1077944384 9957 0 0 0 67 4 0 0 20 0 19 0 408253827 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694913172608 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16467] ppid=16463 vsize=15420480 memory=226496 CPUtime=0.01 cores=1,3,5,7
/proc/16465/task/16467/stat : 16467 (java) S 16463 16463 6753 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694820588560 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16468] ppid=16463 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16468/stat : 16468 (java) S 16463 16463 6753 0 -1 1077944384 1650 0 0 0 0 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694819536016 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16469] ppid=16463 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16469/stat : 16469 (java) S 16463 16463 6753 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694499162896 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16470] ppid=16463 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16470/stat : 16470 (java) S 16463 16463 6753 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 408253828 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694498110352 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16471] ppid=16463 vsize=15420480 memory=280280305650504 CPUtime=0.01 cores=1,3,5,7
/proc/16465/task/16471/stat : 16471 (java) S 16463 16463 6753 0 -1 1077944384 899 0 0 0 1 0 0 0 20 0 19 0 408253829 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694243309808 139694908942978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16472] ppid=16463 vsize=15420480 memory=280280306423840 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16472/stat : 16472 (java) S 16463 16463 6753 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 408253830 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694242256096 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16473] ppid=16463 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16473/stat : 16473 (java) S 16463 16463 6753 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 408253830 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694241202944 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16474] ppid=16463 vsize=15420480 memory=226496 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16474/stat : 16474 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408253832 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694240151504 139694908950427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16475] ppid=16463 vsize=15420480 memory=1564 CPUtime=2.47 cores=1,3,5,7
/proc/16465/task/16475/stat : 16475 (java) S 16463 16463 6753 0 -1 1077944384 13090 0 0 0 245 2 0 0 20 0 19 0 408253832 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694239099632 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16476] ppid=16463 vsize=15420480 memory=928 CPUtime=2.76 cores=1,3,5,7
/proc/16465/task/16476/stat : 16476 (java) S 16463 16463 6753 0 -1 1077944384 11007 0 0 0 275 1 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694238047088 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16477] ppid=16463 vsize=15420480 memory=6791534058613427641 CPUtime=0.74 cores=1,3,5,7
/proc/16465/task/16477/stat : 16477 (java) S 16463 16463 6753 0 -1 1077944384 8934 0 0 0 72 2 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694236994032 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16478] ppid=16463 vsize=15420480 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16478/stat : 16478 (java) S 16463 16463 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694235941728 139694908942037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16479] ppid=16463 vsize=15420480 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16465/task/16479/stat : 16479 (java) S 16463 16463 6753 0 -1 1077944384 885 0 0 0 0 0 0 0 20 0 19 0 408253833 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694234888752 139694908942978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16528] ppid=16463 vsize=15420480 memory=280280305176736 CPUtime=0.82 cores=1,3,5,7
/proc/16465/task/16528/stat : 16528 (java) R 16463 16463 6753 0 -1 4202560 44 0 0 0 82 0 0 0 20 0 19 0 408259074 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694223576400 139694508136127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16529] ppid=16463 vsize=15420480 memory=1448 CPUtime=0.82 cores=1,3,5,7
/proc/16465/task/16529/stat : 16529 (java) R 16463 16463 6753 0 -1 4202560 19 0 0 0 82 0 0 0 20 0 19 0 408259074 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694225683288 139694506749952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16530] ppid=16463 vsize=15420480 memory=226756 CPUtime=0.81 cores=1,3,5,7
/proc/16465/task/16530/stat : 16530 (java) R 16463 16463 6753 0 -1 4202560 18 0 0 0 81 0 0 0 20 0 19 0 408259074 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694219377992 139694504307797 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
[pid=16465/tid=16531] ppid=16463 vsize=15420480 memory=226768 CPUtime=0.82 cores=1,3,5,7
/proc/16465/task/16531/stat : 16531 (java) R 16463 16463 6753 0 -1 4202560 23 0 0 0 82 0 0 0 20 0 19 0 408259074 15790571520 56624 33554432000 4194304 4196468 140731498116448 139694222527432 139694507689672 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24018944 140731498124271 140731498124442 140731498124442 140731498127311 0
Current children cumulated CPU time: 210.87 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 227944 KiB
Child status: 0
Real time (s): 53.3166
CPU time (s): 210.914
CPU user time (s): 210.746
CPU system time (s): 0.167389
CPU usage (%): 395.588
Max. virtual memory (cumulated for all children) (KiB): 15535256
Max. memory (cumulated for all children) (KiB): 228216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.746
system time used= 0.167389
maximum resident set size= 226768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4571
involuntary context switches= 4128
# summary of solver processes directly reported to runsolver:
# pid: 16463
# total CPU time (s): 210.914
# total CPU user time (s): 210.746
# total CPU system time (s): 0.167389
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.334896 second user time and 0.613212 second system time
The end