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 (14985 MiB free)
memory of node 1: 16384 MiB (15672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398892-1568697938/watcher-4398892-1568697938 -o /tmp/evaluation-result-4398892-1568697938/solver-4398892-1568697938 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 636956306 HOME/instance-4398892-1568697938.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=24859, runsolver pid=24856
[startup+0.100081 s]*
/proc/loadavg: 8.19 8.47 8.19 7/234 24875
/proc/meminfo: memFree=31375636/32770624 swapFree=66977032/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24859/stat : 24859 (xcsp3-exec) S 24856 24859 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446056448 115843072 362 33554432000 4194304 5098028 140723043875984 140723043874088 139985892229756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12173312 140723043877755 140723043877997 140723043877997 140723043880906 0
/proc/24859/statm: 28282 362 304 221 0 87 0
[pid=24861] ppid=24859 vsize=15144776 memory=30312 CPUtime=0.13 cores=1,3,5,7
/proc/24861/stat : 24861 (java) S 24859 24859 21506 0 -1 1077944320 5510 0 0 0 12 1 0 0 20 0 15 0 446056449 15508250624 7578 33554432000 4194304 4196468 140726805350768 140726805333312 139884308188919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
/proc/24861/statm: 3786194 7578 3148 1 0 3748377 0
[pid=24861/tid=24862] ppid=24859 vsize=15144776 memory=7682489639022458387 CPUtime=0.08 cores=1,3,5,7
/proc/24861/task/24862/stat : 24862 (java) R 24859 24859 21506 0 -1 4202560 3406 0 0 0 8 0 0 0 20 0 15 0 446056449 15508250624 7578 33554432000 4194304 4196468 140726805350768 139884312421696 139884308200854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24863] ppid=24859 vsize=15144776 memory=3472467883146192080 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24863/stat : 24863 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883900381712 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24864] ppid=24859 vsize=15144776 memory=139754251040384 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24864/stat : 24864 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883899329168 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24865] ppid=24859 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24865/stat : 24865 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883898276112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24866] ppid=24859 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24866/stat : 24866 (java) S 24859 24859 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446056450 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883897223568 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24867] ppid=24859 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24867/stat : 24867 (java) S 24859 24859 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446056451 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883776522992 139884308200066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24868] ppid=24859 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24868/stat : 24868 (java) S 24859 24859 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446056451 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883775469216 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24869] ppid=24859 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24869/stat : 24869 (java) S 24859 24859 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446056452 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883774416112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24870] ppid=24859 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24870/stat : 24870 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056454 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883773364688 139884308207515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24871] ppid=24859 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24871/stat : 24871 (java) R 24859 24859 21506 0 -1 4202560 338 0 0 0 0 0 0 0 20 0 15 0 446056454 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883772311792 139884308200854 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24872] ppid=24859 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24872/stat : 24872 (java) S 24859 24859 21506 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 446056454 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883771259248 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24873] ppid=24859 vsize=15144776 memory=139754251040384 CPUtime=0.02 cores=1,3,5,7
/proc/24861/task/24873/stat : 24873 (java) R 24859 24859 21506 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 15 0 446056454 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883770204592 139884308210266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24874] ppid=24859 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24874/stat : 24874 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056454 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883769153888 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24875] ppid=24859 vsize=15144776 memory=139754251040384 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24875/stat : 24875 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056454 15508250624 7578 33554432000 4194304 4196468 140726805350768 139883768101936 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31760 KiB
[startup+0.211849 s]*
/proc/loadavg: 8.19 8.47 8.19 10/234 24875
/proc/meminfo: memFree=31362620/32770624 swapFree=66977032/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24859/stat : 24859 (xcsp3-exec) S 24856 24859 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446056448 115843072 362 33554432000 4194304 5098028 140723043875984 140723043874088 139985892229756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12173312 140723043877755 140723043877997 140723043877997 140723043880906 0
/proc/24859/statm: 28282 362 304 221 0 87 0
[pid=24861] ppid=24859 vsize=15144776 memory=41212 CPUtime=0.34 cores=1,3,5,7
/proc/24861/stat : 24861 (java) S 24859 24859 21506 0 -1 1077944320 9012 0 0 0 31 3 0 0 20 0 15 0 446056449 15508250624 10303 33554432000 4194304 4196468 140726805350768 140726805333312 139884308188919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
/proc/24861/statm: 3786194 10303 3257 1 0 3748377 0
[pid=24861/tid=24862] ppid=24859 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=1,3,5,7
/proc/24861/task/24862/stat : 24862 (java) R 24859 24859 21506 0 -1 4202560 6225 0 0 0 18 2 0 0 20 0 15 0 446056449 15508250624 10303 33554432000 4194304 4196468 140726805350768 139884312426736 139884292232549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24863] ppid=24859 vsize=15144776 memory=3472467883146192080 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24863/stat : 24863 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883900381712 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24864] ppid=24859 vsize=15144776 memory=139754251040384 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24864/stat : 24864 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883899329168 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24865] ppid=24859 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24865/stat : 24865 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883898276112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24866] ppid=24859 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24866/stat : 24866 (java) S 24859 24859 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446056450 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883897223568 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24867] ppid=24859 vsize=15144776 memory=139754251040384 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24867/stat : 24867 (java) S 24859 24859 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446056451 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883776522992 139884308200066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24868] ppid=24859 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24868/stat : 24868 (java) S 24859 24859 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446056451 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883775469216 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24869] ppid=24859 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24869/stat : 24869 (java) S 24859 24859 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446056452 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883774416112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24870] ppid=24859 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24870/stat : 24870 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056454 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883773364688 139884308207515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24871] ppid=24859 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24861/task/24871/stat : 24871 (java) S 24859 24859 21506 0 -1 1077944384 374 0 0 0 1 0 0 0 20 0 15 0 446056454 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883772311792 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24872] ppid=24859 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/24861/task/24872/stat : 24872 (java) S 24859 24859 21506 0 -1 1077944384 377 0 0 0 3 0 0 0 20 0 15 0 446056454 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883771259248 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24873] ppid=24859 vsize=15144776 memory=139754251040384 CPUtime=0.08 cores=1,3,5,7
/proc/24861/task/24873/stat : 24873 (java) S 24859 24859 21506 0 -1 1077944384 733 0 0 0 8 0 0 0 20 0 15 0 446056454 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883770206192 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24874] ppid=24859 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24874/stat : 24874 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056454 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883769153888 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24875] ppid=24859 vsize=15144776 memory=139754251040384 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24875/stat : 24875 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056454 15508250624 10303 33554432000 4194304 4196468 140726805350768 139883768101936 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42660 KiB
[startup+0.310579 s]*
/proc/loadavg: 8.19 8.47 8.19 7/234 24875
/proc/meminfo: memFree=31356592/32770624 swapFree=66977032/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24859/stat : 24859 (xcsp3-exec) S 24856 24859 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446056448 115843072 362 33554432000 4194304 5098028 140723043875984 140723043874088 139985892229756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12173312 140723043877755 140723043877997 140723043877997 140723043880906 0
/proc/24859/statm: 28282 362 304 221 0 87 0
[pid=24861] ppid=24859 vsize=15149032 memory=50516 CPUtime=0.53 cores=1,3,5,7
/proc/24861/stat : 24861 (java) S 24859 24859 21506 0 -1 1077944320 10407 0 0 0 49 4 0 0 20 0 15 0 446056449 15512608768 12629 33554432000 4194304 4196468 140726805350768 140726805333312 139884308188919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
/proc/24861/statm: 3787258 12629 3368 1 0 3748377 0
[pid=24861/tid=24862] ppid=24859 vsize=15149032 memory=-8439527450518781933 CPUtime=0.3 cores=1,3,5,7
/proc/24861/task/24862/stat : 24862 (java) R 24859 24859 21506 0 -1 4202560 7390 0 0 0 27 3 0 0 20 0 15 0 446056449 15512608768 12629 33554432000 4194304 4196468 140726805350768 139884312420032 139884308212509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24863] ppid=24859 vsize=15149032 memory=3472467883146192080 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24863/stat : 24863 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883900381712 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24864] ppid=24859 vsize=15149032 memory=279508393322880 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24864/stat : 24864 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883899329168 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24865] ppid=24859 vsize=15149032 memory=279508284597280 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24865/stat : 24865 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883898276112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24866] ppid=24859 vsize=15149032 memory=139754142282511 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24866/stat : 24866 (java) S 24859 24859 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446056450 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883897223568 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24867] ppid=24859 vsize=15149032 memory=279508393329792 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24867/stat : 24867 (java) S 24859 24859 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446056451 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883776522992 139884308200066 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24868] ppid=24859 vsize=15149032 memory=139754142287119 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24868/stat : 24868 (java) S 24859 24859 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446056451 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883775469216 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24869] ppid=24859 vsize=15149032 memory=139754142310962 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24869/stat : 24869 (java) S 24859 24859 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446056452 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883774416112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24870] ppid=24859 vsize=15149032 memory=139754142316467 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24870/stat : 24870 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056454 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883773364688 139884308207515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24871] ppid=24859 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24861/task/24871/stat : 24871 (java) S 24859 24859 21506 0 -1 1077944384 417 0 0 0 3 0 0 0 20 0 15 0 446056454 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883772311792 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24872] ppid=24859 vsize=15149032 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/24861/task/24872/stat : 24872 (java) S 24859 24859 21506 0 -1 1077944384 472 0 0 0 5 0 0 0 20 0 15 0 446056454 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883771259248 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24873] ppid=24859 vsize=15149032 memory=139754251040384 CPUtime=0.12 cores=1,3,5,7
/proc/24861/task/24873/stat : 24873 (java) S 24859 24859 21506 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 15 0 446056454 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883770206192 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24874] ppid=24859 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24874/stat : 24874 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056454 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883769153888 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24875] ppid=24859 vsize=15149032 memory=139754251041832 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24875/stat : 24875 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056454 15512608768 12629 33554432000 4194304 4196468 140726805350768 139883768101936 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51964 KiB
[startup+0.700842 s]
/proc/loadavg: 8.19 8.47 8.19 7/234 24875
/proc/meminfo: memFree=31335308/32770624 swapFree=66977032/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24859/stat : 24859 (xcsp3-exec) S 24856 24859 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446056448 115843072 362 33554432000 4194304 5098028 140723043875984 140723043874088 139985892229756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12173312 140723043877755 140723043877997 140723043877997 140723043880906 0
/proc/24859/statm: 28282 362 304 221 0 87 0
[pid=24861] ppid=24859 vsize=15151156 memory=92416 CPUtime=1.8 cores=1,3,5,7
/proc/24861/stat : 24861 (java) S 24859 24859 21506 0 -1 1077944320 15787 0 0 0 173 7 0 0 20 0 15 0 446056449 15514783744 22592 33554432000 4194304 4196468 140726805350768 140726805333312 139884308188919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
/proc/24861/statm: 3787789 23104 3457 1 0 3748889 0
[pid=24861/tid=24862] ppid=24859 vsize=15151156 memory=7882800638288482663 CPUtime=0.67 cores=1,3,5,7
/proc/24861/task/24862/stat : 24862 (java) R 24859 24859 21506 0 -1 4202560 8779 0 0 0 63 4 0 0 20 0 15 0 446056449 15514783744 23104 33554432000 4194304 4196468 140726805350768 139884312425920 139883949824800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24863] ppid=24859 vsize=15151156 memory=7740951466249179473 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24863/stat : 24863 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883900381712 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24864] ppid=24859 vsize=15151156 memory=7453282923495516522 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24864/stat : 24864 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883899329168 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24865] ppid=24859 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24865/stat : 24865 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056450 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883898276112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24866] ppid=24859 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24866/stat : 24866 (java) S 24859 24859 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446056450 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883897223568 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24867] ppid=24859 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24867/stat : 24867 (java) S 24859 24859 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446056451 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883776522992 139884308200066 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24868] ppid=24859 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24868/stat : 24868 (java) S 24859 24859 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446056451 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883775469216 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24869] ppid=24859 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24869/stat : 24869 (java) S 24859 24859 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446056452 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883774416112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24870] ppid=24859 vsize=15151156 memory=7872 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24870/stat : 24870 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056454 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883773364688 139884308207515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24871] ppid=24859 vsize=15151156 memory=1164 CPUtime=0.3 cores=1,3,5,7
/proc/24861/task/24871/stat : 24871 (java) R 24859 24859 21506 0 -1 4202560 1250 0 0 0 30 0 0 0 20 0 15 0 446056454 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883772301200 139884291651288 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24872] ppid=24859 vsize=15151156 memory=9448 CPUtime=0.37 cores=1,3,5,7
/proc/24861/task/24872/stat : 24872 (java) R 24859 24859 21506 0 -1 4202560 1943 0 0 0 37 0 0 0 20 0 15 0 446056454 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883771244752 139884286590928 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24873] ppid=24859 vsize=15151156 memory=14008 CPUtime=0.42 cores=1,3,5,7
/proc/24861/task/24873/stat : 24873 (java) R 24859 24859 21506 0 -1 4202560 2510 0 0 0 41 1 0 0 20 0 15 0 446056454 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883770202072 139884292528280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24874] ppid=24859 vsize=15151156 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24874/stat : 24874 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446056454 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883769153888 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24875] ppid=24859 vsize=15151156 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24875/stat : 24875 (java) S 24859 24859 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446056454 15514783744 23104 33554432000 4194304 4196468 140726805350768 139883768101936 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93864 KiB
[startup+1.50592 s]
/proc/loadavg: 8.19 8.47 8.19 8/234 24875
/proc/meminfo: memFree=31249188/32770624 swapFree=66977032/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24859/stat : 24859 (xcsp3-exec) S 24856 24859 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446056448 115843072 362 33554432000 4194304 5098028 140723043875984 140723043874088 139985892229756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12173312 140723043877755 140723043877997 140723043877997 140723043880906 0
/proc/24859/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/24861/task/24875/stat : 24875 (java) S 24859 24859 21506 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883768101936 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24876] ppid=24859 vsize=15419460 memory=0 CPUtime=25.62 cores=1,3,5,7
/proc/24861/task/24876/stat : 24876 (java) R 24859 24859 21506 0 -1 4202560 652 0 0 0 2562 0 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883759119504 139883952447754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24877] ppid=24859 vsize=15419460 memory=3472592183261933599 CPUtime=25.68 cores=1,3,5,7
/proc/24861/task/24877/stat : 24877 (java) R 24859 24859 21506 0 -1 4202560 1618 0 0 0 2568 0 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883758070560 139883949032577 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24878] ppid=24859 vsize=15419460 memory=4122236425333651249 CPUtime=25.63 cores=1,3,5,7
/proc/24861/task/24878/stat : 24878 (java) R 24859 24859 21506 0 -1 4202560 493 0 0 0 2562 1 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883757015880 139883952414904 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24879] ppid=24859 vsize=15419460 memory=164 CPUtime=25.85 cores=1,3,5,7
/proc/24861/task/24879/stat : 24879 (java) R 24859 24859 21506 0 -1 4202560 1114 0 0 0 2585 0 0 0 20 0 19 0 446056553 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883755962200 139883952151808 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
Current children cumulated CPU time: 110.18 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 240616 KiB
[startup+28.8008 s]
/proc/loadavg: 8.48 8.52 8.22 9/237 24880
/proc/meminfo: memFree=31166728/32770624 swapFree=66977032/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24859/stat : 24859 (xcsp3-exec) S 24856 24859 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446056448 115843072 362 33554432000 4194304 5098028 140723043875984 140723043874088 139985892229756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12173312 140723043877755 140723043877997 140723043877997 140723043880906 0
/proc/24859/statm: 28282 362 304 221 0 87 0
[pid=24861] ppid=24859 vsize=15419460 memory=239168 CPUtime=113.33 cores=1,3,5,7
/proc/24861/stat : 24861 (java) S 24859 24859 21506 0 -1 1077944320 48733 0 0 0 11316 17 0 0 20 0 19 0 446056449 15789527040 59792 33554432000 4194304 4196468 140726805350768 140726805333312 139884308188919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
/proc/24861/statm: 3854865 59792 3531 1 0 3815965 0
[pid=24861/tid=24862] ppid=24859 vsize=15419460 memory=279508285285056 CPUtime=1.01 cores=1,3,5,7
/proc/24861/task/24862/stat : 24862 (java) S 24859 24859 21506 0 -1 1077944384 10585 0 0 0 96 5 0 0 20 0 19 0 446056449 15789527040 59792 33554432000 4194304 4196468 140726805350768 139884312429696 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24863] ppid=24859 vsize=15419460 memory=6153433744106941029 CPUtime=0.04 cores=1,3,5,7
/proc/24861/task/24863/stat : 24863 (java) S 24859 24859 21506 0 -1 1077944384 632 0 0 0 4 0 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883900381712 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24864] ppid=24859 vsize=15419460 memory=6082203013180648535 CPUtime=0.06 cores=1,3,5,7
/proc/24861/task/24864/stat : 24864 (java) S 24859 24859 21506 0 -1 1077944384 3218 0 0 0 5 1 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883899329168 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24865] ppid=24859 vsize=15419460 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24861/task/24865/stat : 24865 (java) S 24859 24859 21506 0 -1 1077944384 2058 0 0 0 4 0 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883898276112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24866] ppid=24859 vsize=15419460 memory=10378 CPUtime=0.06 cores=1,3,5,7
/proc/24861/task/24866/stat : 24866 (java) S 24859 24859 21506 0 -1 1077944384 1836 0 0 0 5 1 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883897223568 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24867] ppid=24859 vsize=15419460 memory=101 CPUtime=0.01 cores=1,3,5,7
/proc/24861/task/24867/stat : 24867 (java) S 24859 24859 21506 0 -1 1077944384 1028 0 0 0 1 0 0 0 20 0 19 0 446056451 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883776522992 139884308200066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24868] ppid=24859 vsize=15419460 memory=3 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24868/stat : 24868 (java) S 24859 24859 21506 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446056451 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883775469280 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24869] ppid=24859 vsize=15419460 memory=5 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24869/stat : 24869 (java) S 24859 24859 21506 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 446056452 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883774416112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24870] ppid=24859 vsize=15419460 memory=3 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24870/stat : 24870 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883773364688 139884308207515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24871] ppid=24859 vsize=15419460 memory=5 CPUtime=2.49 cores=1,3,5,7
/proc/24861/task/24871/stat : 24871 (java) S 24859 24859 21506 0 -1 1077944384 8463 0 0 0 248 1 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883772311792 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24872] ppid=24859 vsize=15419460 memory=239168 CPUtime=2.74 cores=1,3,5,7
/proc/24861/task/24872/stat : 24872 (java) S 24859 24859 21506 0 -1 1077944384 9228 0 0 0 273 1 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883771259248 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24873] ppid=24859 vsize=15419460 memory=30648 CPUtime=0.82 cores=1,3,5,7
/proc/24861/task/24873/stat : 24873 (java) S 24859 24859 21506 0 -1 1077944384 6059 0 0 0 81 1 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883770206192 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24874] ppid=24859 vsize=15419460 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24874/stat : 24874 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883769153888 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24875] ppid=24859 vsize=15419460 memory=984 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24875/stat : 24875 (java) S 24859 24859 21506 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883768101936 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24876] ppid=24859 vsize=15419460 memory=1324 CPUtime=26.4 cores=1,3,5,7
/proc/24861/task/24876/stat : 24876 (java) R 24859 24859 21506 0 -1 4202560 652 0 0 0 2640 0 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883759119504 139883951569755 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24877] ppid=24859 vsize=15419460 memory=780 CPUtime=26.47 cores=1,3,5,7
/proc/24861/task/24877/stat : 24877 (java) R 24859 24859 21506 0 -1 4202560 1618 0 0 0 2647 0 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883758070248 139883952415108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24878] ppid=24859 vsize=15419460 memory=2241 CPUtime=26.42 cores=1,3,5,7
/proc/24861/task/24878/stat : 24878 (java) R 24859 24859 21506 0 -1 4202560 493 0 0 0 2641 1 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883757015880 139883952414766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24879] ppid=24859 vsize=15419460 memory=2244 CPUtime=26.64 cores=1,3,5,7
/proc/24861/task/24879/stat : 24879 (java) R 24859 24859 21506 0 -1 4202560 1115 0 0 0 2664 0 0 0 20 0 19 0 446056553 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883755962200 139883951662700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
Current children cumulated CPU time: 113.33 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 240616 KiB
[startup+29.2108 s]
/proc/loadavg: 8.48 8.52 8.22 9/237 24880
/proc/meminfo: memFree=31166728/32770624 swapFree=66977032/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24859/stat : 24859 (xcsp3-exec) S 24856 24859 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446056448 115843072 362 33554432000 4194304 5098028 140723043875984 140723043874088 139985892229756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12173312 140723043877755 140723043877997 140723043877997 140723043880906 0
/proc/24859/statm: 28282 362 304 221 0 87 0
[pid=24861] ppid=24859 vsize=15419460 memory=239168 CPUtime=114.96 cores=1,3,5,7
/proc/24861/stat : 24861 (java) S 24859 24859 21506 0 -1 1077944320 48736 0 0 0 11479 17 0 0 20 0 19 0 446056449 15789527040 59792 33554432000 4194304 4196468 140726805350768 140726805333312 139884308188919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
/proc/24861/statm: 3854865 59792 3531 1 0 3815965 0
[pid=24861/tid=24862] ppid=24859 vsize=15419460 memory=279508286047840 CPUtime=1.01 cores=1,3,5,7
/proc/24861/task/24862/stat : 24862 (java) S 24859 24859 21506 0 -1 1077944384 10585 0 0 0 96 5 0 0 20 0 19 0 446056449 15789527040 59792 33554432000 4194304 4196468 140726805350768 139884312429696 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24863] ppid=24859 vsize=15419460 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24861/task/24863/stat : 24863 (java) S 24859 24859 21506 0 -1 1077944384 632 0 0 0 4 0 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883900381712 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24864] ppid=24859 vsize=15419460 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/24861/task/24864/stat : 24864 (java) S 24859 24859 21506 0 -1 1077944384 3218 0 0 0 5 1 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883899329168 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24865] ppid=24859 vsize=15419460 memory=239168 CPUtime=0.04 cores=1,3,5,7
/proc/24861/task/24865/stat : 24865 (java) S 24859 24859 21506 0 -1 1077944384 2058 0 0 0 4 0 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883898276112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24866] ppid=24859 vsize=15419460 memory=1984 CPUtime=0.06 cores=1,3,5,7
/proc/24861/task/24866/stat : 24866 (java) S 24859 24859 21506 0 -1 1077944384 1836 0 0 0 5 1 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883897223568 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24867] ppid=24859 vsize=15419460 memory=2528 CPUtime=0.01 cores=1,3,5,7
/proc/24861/task/24867/stat : 24867 (java) S 24859 24859 21506 0 -1 1077944384 1028 0 0 0 1 0 0 0 20 0 19 0 446056451 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883776522992 139884308200066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24868] ppid=24859 vsize=15419460 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24868/stat : 24868 (java) S 24859 24859 21506 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446056451 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883775469280 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24869] ppid=24859 vsize=15419460 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24869/stat : 24869 (java) S 24859 24859 21506 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 446056452 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883774416112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24870] ppid=24859 vsize=15419460 memory=804 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24870/stat : 24870 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883773364688 139884308207515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24871] ppid=24859 vsize=15419460 memory=303430223234596890 CPUtime=2.49 cores=1,3,5,7
/proc/24861/task/24871/stat : 24871 (java) S 24859 24859 21506 0 -1 1077944384 8463 0 0 0 248 1 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883772311792 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24872] ppid=24859 vsize=15419460 memory=288230617509003574 CPUtime=2.74 cores=1,3,5,7
/proc/24861/task/24872/stat : 24872 (java) S 24859 24859 21506 0 -1 1077944384 9228 0 0 0 273 1 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883771259248 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24873] ppid=24859 vsize=15419460 memory=15252640887999028 CPUtime=0.82 cores=1,3,5,7
/proc/24861/task/24873/stat : 24873 (java) S 24859 24859 21506 0 -1 1077944384 6059 0 0 0 81 1 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883770206192 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24874] ppid=24859 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24874/stat : 24874 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883769153888 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24875] ppid=24859 vsize=15419460 memory=238664 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24875/stat : 24875 (java) S 24859 24859 21506 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883768101936 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24876] ppid=24859 vsize=15419460 memory=-7595754389018307680 CPUtime=26.8 cores=1,3,5,7
/proc/24861/task/24876/stat : 24876 (java) R 24859 24859 21506 0 -1 4202560 652 0 0 0 2680 0 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883759119504 139883952414568 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24877] ppid=24859 vsize=15419460 memory=920 CPUtime=26.88 cores=1,3,5,7
/proc/24861/task/24877/stat : 24877 (java) R 24859 24859 21506 0 -1 4202560 1620 0 0 0 2688 0 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883758070248 139883949032548 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24878] ppid=24859 vsize=15419460 memory=3848 CPUtime=26.83 cores=1,3,5,7
/proc/24861/task/24878/stat : 24878 (java) R 24859 24859 21506 0 -1 4202560 493 0 0 0 2682 1 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883757015880 139883952415014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24879] ppid=24859 vsize=15419460 memory=2592 CPUtime=27.05 cores=1,3,5,7
/proc/24861/task/24879/stat : 24879 (java) R 24859 24859 21506 0 -1 4202560 1116 0 0 0 2705 0 0 0 20 0 19 0 446056553 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883755962200 139883951662716 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
Current children cumulated CPU time: 114.96 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 240616 KiB
[startup+29.3008 s]
/proc/loadavg: 8.48 8.52 8.22 9/237 24880
/proc/meminfo: memFree=31166728/32770624 swapFree=66977032/67108860
[pid=24859] ppid=24856 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24859/stat : 24859 (xcsp3-exec) S 24856 24859 21506 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 446056448 115843072 362 33554432000 4194304 5098028 140723043875984 140723043874088 139985892229756 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12173312 140723043877755 140723043877997 140723043877997 140723043880906 0
/proc/24859/statm: 28282 362 304 221 0 87 0
[pid=24861] ppid=24859 vsize=15419460 memory=239168 CPUtime=115.32 cores=1,3,5,7
/proc/24861/stat : 24861 (java) S 24859 24859 21506 0 -1 1077944320 48736 0 0 0 11515 17 0 0 20 0 19 0 446056449 15789527040 59792 33554432000 4194304 4196468 140726805350768 140726805333312 139884308188919 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
/proc/24861/statm: 3854865 59792 3531 1 0 3815965 0
[pid=24861/tid=24862] ppid=24859 vsize=15419460 memory=239168 CPUtime=1.01 cores=1,3,5,7
/proc/24861/task/24862/stat : 24862 (java) S 24859 24859 21506 0 -1 1077944384 10585 0 0 0 96 5 0 0 20 0 19 0 446056449 15789527040 59792 33554432000 4194304 4196468 140726805350768 139884312429696 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24863] ppid=24859 vsize=15419460 memory=1324 CPUtime=0.04 cores=1,3,5,7
/proc/24861/task/24863/stat : 24863 (java) S 24859 24859 21506 0 -1 1077944384 632 0 0 0 4 0 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883900381712 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24864] ppid=24859 vsize=15419460 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/24861/task/24864/stat : 24864 (java) S 24859 24859 21506 0 -1 1077944384 3218 0 0 0 5 1 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883899329168 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24865] ppid=24859 vsize=15419460 memory=139754143039948 CPUtime=0.04 cores=1,3,5,7
/proc/24861/task/24865/stat : 24865 (java) S 24859 24859 21506 0 -1 1077944384 2058 0 0 0 4 0 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883898276112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24866] ppid=24859 vsize=15419460 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/24861/task/24866/stat : 24866 (java) S 24859 24859 21506 0 -1 1077944384 1836 0 0 0 5 1 0 0 20 0 19 0 446056450 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883897223568 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24867] ppid=24859 vsize=15419460 memory=239168 CPUtime=0.01 cores=1,3,5,7
/proc/24861/task/24867/stat : 24867 (java) S 24859 24859 21506 0 -1 1077944384 1028 0 0 0 1 0 0 0 20 0 19 0 446056451 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883776522992 139884308200066 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24868] ppid=24859 vsize=15419460 memory=56 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24868/stat : 24868 (java) S 24859 24859 21506 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446056451 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883775469280 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24869] ppid=24859 vsize=15419460 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24869/stat : 24869 (java) S 24859 24859 21506 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 446056452 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883774416112 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24870] ppid=24859 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24870/stat : 24870 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883773364688 139884308207515 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24871] ppid=24859 vsize=15419460 memory=238708 CPUtime=2.49 cores=1,3,5,7
/proc/24861/task/24871/stat : 24871 (java) S 24859 24859 21506 0 -1 1077944384 8463 0 0 0 248 1 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883772311792 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24872] ppid=24859 vsize=15419460 memory=1448 CPUtime=2.74 cores=1,3,5,7
/proc/24861/task/24872/stat : 24872 (java) S 24859 24859 21506 0 -1 1077944384 9228 0 0 0 273 1 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883771259248 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24873] ppid=24859 vsize=15419460 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/24861/task/24873/stat : 24873 (java) S 24859 24859 21506 0 -1 1077944384 6059 0 0 0 81 1 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883770206192 139884308200066 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24874] ppid=24859 vsize=15419460 memory=4122962223518941508 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24874/stat : 24874 (java) S 24859 24859 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883769153888 139884308199125 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24875] ppid=24859 vsize=15419460 memory=7590655979367786604 CPUtime=0 cores=1,3,5,7
/proc/24861/task/24875/stat : 24875 (java) R 24859 24859 21506 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 19 0 446056454 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883768101936 139884308200066 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24876] ppid=24859 vsize=15419460 memory=1 CPUtime=26.89 cores=1,3,5,7
/proc/24861/task/24876/stat : 24876 (java) R 24859 24859 21506 0 -1 4202560 652 0 0 0 2689 0 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883759119504 139883954204375 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24877] ppid=24859 vsize=15419460 memory=0 CPUtime=26.97 cores=1,3,5,7
/proc/24861/task/24877/stat : 24877 (java) R 24859 24859 21506 0 -1 4202560 1620 0 0 0 2697 0 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883758070248 139883952414763 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24878] ppid=24859 vsize=15419460 memory=0 CPUtime=26.92 cores=1,3,5,7
/proc/24861/task/24878/stat : 24878 (java) R 24859 24859 21506 0 -1 4202560 493 0 0 0 2691 1 0 0 20 0 19 0 446056552 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883757015880 139883952414766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
[pid=24861/tid=24879] ppid=24859 vsize=15419460 memory=0 CPUtime=27.14 cores=1,3,5,7
/proc/24861/task/24879/stat : 24879 (java) R 24859 24859 21506 0 -1 4202560 1116 0 0 0 2714 0 0 0 20 0 19 0 446056553 15789527040 59792 33554432000 4194304 4196468 140726805350768 139883755962200 139883952415075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20905984 140726805357551 140726805357722 140726805357722 140726805360591 0
Current children cumulated CPU time: 115.32 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 240616 KiB
Child status: 0
Real time (s): 29.3531
CPU time (s): 115.474
CPU user time (s): 115.295
CPU system time (s): 0.179332
CPU usage (%): 393.396
Max. virtual memory (cumulated for all children) (KiB): 15534248
Max. memory (cumulated for all children) (KiB): 240616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 115.295
system time used= 0.179332
maximum resident set size= 239232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50141
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= 3299
involuntary context switches= 2584
# summary of solver processes directly reported to runsolver:
# pid: 24859
# total CPU time (s): 115.474
# total CPU user time (s): 115.295
# total CPU system time (s): 0.179332
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.212841 second user time and 0.363169 second system time
The end