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 (15117 MiB free)
memory of node 1: 16384 MiB (15671 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399127-1568699251/watcher-4399127-1568699251 -o /tmp/evaluation-result-4399127-1568699251/solver-4399127-1568699251 -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 949042443 HOME/instance-4399127-1568699251.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=27970, runsolver pid=27967
[startup+0.100106 s]*
/proc/loadavg: 8.47 8.48 8.42 7/233 27986
/proc/meminfo: memFree=31511348/32770624 swapFree=66977068/67108860
[pid=27970] ppid=27967 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27970/stat : 27970 (xcsp3-exec) S 27967 27970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446187766 115843072 362 33554432000 4194304 5098028 140727661387728 140727661385832 140187735265916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16883712 140727661392763 140727661393005 140727661393005 140727661395914 0
/proc/27970/statm: 28282 362 304 221 0 87 0
[pid=27972] ppid=27970 vsize=15144776 memory=29040 CPUtime=0.13 cores=1,3,5,7
/proc/27972/stat : 27972 (java) S 27970 27970 21506 0 -1 1077944320 5713 0 0 0 12 1 0 0 20 0 15 0 446187766 15508250624 7260 33554432000 4194304 4196468 140724504041936 140724504024480 139767500734199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
/proc/27972/statm: 3786194 7260 3150 1 0 3748377 0
[pid=27972/tid=27973] ppid=27970 vsize=15144776 memory=8514701219881124772 CPUtime=0.09 cores=1,3,5,7
/proc/27972/task/27973/stat : 27973 (java) R 27970 27970 21506 0 -1 4202560 3586 0 0 0 8 1 0 0 20 0 15 0 446187766 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767504963376 139767111090532 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27974] ppid=27970 vsize=15144776 memory=3472468271626548432 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27974/stat : 27974 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187767 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767436970640 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27975] ppid=27970 vsize=15144776 memory=140142731396736 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27975/stat : 27975 (java) S 27970 27970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187767 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767435917840 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27976] ppid=27970 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27976/stat : 27976 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187767 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767434865040 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27977] ppid=27970 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27977/stat : 27977 (java) S 27970 27970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187767 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767433812240 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27978] ppid=27970 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27978/stat : 27978 (java) S 27970 27970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187768 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767036599152 139767500745346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27979] ppid=27970 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27979/stat : 27979 (java) S 27970 27970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446187769 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767035545120 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27980] ppid=27970 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27980/stat : 27980 (java) S 27970 27970 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446187769 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767034492272 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27981] ppid=27970 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27981/stat : 27981 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187771 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767033440592 139767500752795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27982] ppid=27970 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27982/stat : 27982 (java) S 27970 27970 21506 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 446187771 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767032387952 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27983] ppid=27970 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27983/stat : 27983 (java) S 27970 27970 21506 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 446187771 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767031335152 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27984] ppid=27970 vsize=15144776 memory=140142731396736 CPUtime=0.02 cores=1,3,5,7
/proc/27972/task/27984/stat : 27984 (java) R 27970 27970 21506 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 446187771 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767030282352 139767481985131 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27985] ppid=27970 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27985/stat : 27985 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187771 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767029229792 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27986] ppid=27970 vsize=15144776 memory=140142731396736 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27986/stat : 27986 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187772 15508250624 7260 33554432000 4194304 4196468 140724504041936 139767028178096 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30488 KiB
[startup+0.210582 s]*
/proc/loadavg: 8.47 8.48 8.42 7/233 27986
/proc/meminfo: memFree=31493912/32770624 swapFree=66977068/67108860
[pid=27970] ppid=27967 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27970/stat : 27970 (xcsp3-exec) S 27967 27970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446187766 115843072 362 33554432000 4194304 5098028 140727661387728 140727661385832 140187735265916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16883712 140727661392763 140727661393005 140727661393005 140727661395914 0
/proc/27970/statm: 28282 362 304 221 0 87 0
[pid=27972] ppid=27970 vsize=15144776 memory=41228 CPUtime=0.34 cores=1,3,5,7
/proc/27972/stat : 27972 (java) S 27970 27970 21506 0 -1 1077944320 9503 0 0 0 31 3 0 0 20 0 15 0 446187766 15508250624 10307 33554432000 4194304 4196468 140724504041936 140724504024480 139767500734199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
/proc/27972/statm: 3786194 10307 3319 1 0 3748377 0
[pid=27972/tid=27973] ppid=27970 vsize=15144776 memory=5855087016065728930 CPUtime=0.2 cores=1,3,5,7
/proc/27972/task/27973/stat : 27973 (java) R 27970 27970 21506 0 -1 4202560 6624 0 0 0 18 2 0 0 20 0 15 0 446187766 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767504972016 139767500756125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27974] ppid=27970 vsize=15144776 memory=3472468271626548432 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27974/stat : 27974 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187767 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767436970640 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27975] ppid=27970 vsize=15144776 memory=140142731396736 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27975/stat : 27975 (java) S 27970 27970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187767 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767435917840 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27976] ppid=27970 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27976/stat : 27976 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187767 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767434865040 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27977] ppid=27970 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27977/stat : 27977 (java) S 27970 27970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187767 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767433812240 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27978] ppid=27970 vsize=15144776 memory=140142731396736 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27978/stat : 27978 (java) S 27970 27970 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446187768 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767036599152 139767500745346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27979] ppid=27970 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27979/stat : 27979 (java) S 27970 27970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446187769 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767035545120 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27980] ppid=27970 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27980/stat : 27980 (java) S 27970 27970 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446187769 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767034492272 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27981] ppid=27970 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27981/stat : 27981 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187771 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767033440592 139767500752795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27982] ppid=27970 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27972/task/27982/stat : 27982 (java) S 27970 27970 21506 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 15 0 446187771 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767032387952 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27983] ppid=27970 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27972/task/27983/stat : 27983 (java) S 27970 27970 21506 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 15 0 446187771 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767031335152 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27984] ppid=27970 vsize=15144776 memory=140142731396736 CPUtime=0.08 cores=1,3,5,7
/proc/27972/task/27984/stat : 27984 (java) S 27970 27970 21506 0 -1 1077944384 748 0 0 0 8 0 0 0 20 0 15 0 446187771 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767030282352 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27985] ppid=27970 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27985/stat : 27985 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187771 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767029229792 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27986] ppid=27970 vsize=15144776 memory=140142731396736 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27986/stat : 27986 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187772 15508250624 10307 33554432000 4194304 4196468 140724504041936 139767028178096 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42676 KiB
[startup+0.310436 s]*
/proc/loadavg: 8.47 8.48 8.42 6/233 27986
/proc/meminfo: memFree=31487116/32770624 swapFree=66977068/67108860
[pid=27970] ppid=27967 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27970/stat : 27970 (xcsp3-exec) S 27967 27970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446187766 115843072 362 33554432000 4194304 5098028 140727661387728 140727661385832 140187735265916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16883712 140727661392763 140727661393005 140727661393005 140727661395914 0
/proc/27970/statm: 28282 362 304 221 0 87 0
[pid=27972] ppid=27970 vsize=15149032 memory=50032 CPUtime=0.52 cores=1,3,5,7
/proc/27972/stat : 27972 (java) S 27970 27970 21506 0 -1 1077944320 10836 0 0 0 48 4 0 0 20 0 15 0 446187766 15512608768 12508 33554432000 4194304 4196468 140724504041936 140724504024480 139767500734199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
/proc/27972/statm: 3787258 12508 3351 1 0 3748377 0
[pid=27972/tid=27973] ppid=27970 vsize=15149032 memory=-8540663193526752614 CPUtime=0.3 cores=1,3,5,7
/proc/27972/task/27973/stat : 27973 (java) R 27970 27970 21506 0 -1 4202560 7837 0 0 0 27 3 0 0 20 0 15 0 446187766 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767504965312 139767500756125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27974] ppid=27970 vsize=15149032 memory=3472468271626548432 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27974/stat : 27974 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187767 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767436970640 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27975] ppid=27970 vsize=15149032 memory=140142731418268 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27975/stat : 27975 (java) S 27970 27970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187767 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767435917840 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27976] ppid=27970 vsize=15149032 memory=140142568408877 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27976/stat : 27976 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187767 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767434865040 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27977] ppid=27970 vsize=15149032 memory=140142568389583 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27977/stat : 27977 (java) S 27970 27970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187767 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767433812240 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27978] ppid=27970 vsize=15149032 memory=140142731418274 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27978/stat : 27978 (java) S 27970 27970 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446187768 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767036599152 139767500745346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27979] ppid=27970 vsize=15149032 memory=140142568398799 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27979/stat : 27979 (java) S 27970 27970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446187769 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767035545120 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27980] ppid=27970 vsize=15149032 memory=280285136795280 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27980/stat : 27980 (java) S 27970 27970 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446187769 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767034492272 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27981] ppid=27970 vsize=15149032 memory=280285136802160 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27981/stat : 27981 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187771 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767033440592 139767500752795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27982] ppid=27970 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27972/task/27982/stat : 27982 (java) S 27970 27970 21506 0 -1 1077944384 499 0 0 0 3 0 0 0 20 0 15 0 446187771 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767032387952 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27983] ppid=27970 vsize=15149032 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/27972/task/27983/stat : 27983 (java) S 27970 27970 21506 0 -1 1077944384 357 0 0 0 4 0 0 0 20 0 15 0 446187771 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767031335152 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27984] ppid=27970 vsize=15149032 memory=140142731396736 CPUtime=0.12 cores=1,3,5,7
/proc/27972/task/27984/stat : 27984 (java) S 27970 27970 21506 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 15 0 446187771 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767030282352 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27985] ppid=27970 vsize=15149032 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27985/stat : 27985 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187771 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767029229792 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27986] ppid=27970 vsize=15149032 memory=140142731396736 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27986/stat : 27986 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187772 15512608768 12508 33554432000 4194304 4196468 140724504041936 139767028178096 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51480 KiB
[startup+0.701451 s]
/proc/loadavg: 8.47 8.48 8.42 8/233 27986
/proc/meminfo: memFree=31472268/32770624 swapFree=66977068/67108860
[pid=27970] ppid=27967 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27970/stat : 27970 (xcsp3-exec) S 27967 27970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446187766 115843072 362 33554432000 4194304 5098028 140727661387728 140727661385832 140187735265916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16883712 140727661392763 140727661393005 140727661393005 140727661395914 0
/proc/27970/statm: 28282 362 304 221 0 87 0
[pid=27972] ppid=27970 vsize=15151156 memory=155548 CPUtime=1.68 cores=1,3,5,7
/proc/27972/stat : 27972 (java) S 27970 27970 21506 0 -1 1077944320 14675 0 0 0 161 7 0 0 20 0 15 0 446187766 15514783744 38887 33554432000 4194304 4196468 140724504041936 140724504024480 139767500734199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
/proc/27972/statm: 3787789 38887 3449 1 0 3748889 0
[pid=27972/tid=27973] ppid=27970 vsize=15151156 memory=2828 CPUtime=0.67 cores=1,3,5,7
/proc/27972/task/27973/stat : 27973 (java) R 27970 27970 21506 0 -1 4202560 9141 0 0 0 62 5 0 0 20 0 15 0 446187766 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767504972832 139767111109328 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27974] ppid=27970 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27974/stat : 27974 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187767 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767436970640 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27975] ppid=27970 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27975/stat : 27975 (java) S 27970 27970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187767 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767435917840 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27976] ppid=27970 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27976/stat : 27976 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187767 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767434865040 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27977] ppid=27970 vsize=15151156 memory=280285136876864 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27977/stat : 27977 (java) S 27970 27970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446187767 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767433812240 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27978] ppid=27970 vsize=15151156 memory=11268 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27978/stat : 27978 (java) S 27970 27970 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446187768 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767036599152 139767500745346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27979] ppid=27970 vsize=15151156 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27979/stat : 27979 (java) S 27970 27970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446187769 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767035545120 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27980] ppid=27970 vsize=15151156 memory=2320955434371369641 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27980/stat : 27980 (java) S 27970 27970 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446187769 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767034492272 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27981] ppid=27970 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27981/stat : 27981 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187771 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767033440592 139767500752795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27982] ppid=27970 vsize=15151156 memory=1425 CPUtime=0.29 cores=1,3,5,7
/proc/27972/task/27982/stat : 27982 (java) R 27970 27970 21506 0 -1 4202560 1314 0 0 0 29 0 0 0 20 0 15 0 446187771 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767032371264 139767484260719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27983] ppid=27970 vsize=15151156 memory=11 CPUtime=0.27 cores=1,3,5,7
/proc/27972/task/27983/stat : 27983 (java) R 27970 27970 21506 0 -1 4202560 1070 0 0 0 27 0 0 0 20 0 15 0 446187771 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767031331520 139767484230979 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27984] ppid=27970 vsize=15151156 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/27972/task/27984/stat : 27984 (java) R 27970 27970 21506 0 -1 4202560 1843 0 0 0 41 0 0 0 20 0 15 0 446187771 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767030282352 139767482318993 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27985] ppid=27970 vsize=15151156 memory=30745 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27985/stat : 27985 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446187771 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767029229792 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27986] ppid=27970 vsize=15151156 memory=1477 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27986/stat : 27986 (java) S 27970 27970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446187772 15514783744 38887 33554432000 4194304 4196468 140724504041936 139767028178096 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 156996 KiB
[startup+1.50101 s]
/proc/loadavg: 8.47 8.48 8.42 9/233 27986
/proc/meminfo: memFree=31115680/32770624 swapFree=66977068/67108860
[pid=27970] ppid=27967 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27970/stat : 27970 (xcsp3-exec) S 27967 27970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446187766 115843072 362 33554432000 4194304 5098028 140727661387728 140727661385832 140187735265916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16883712 140727661392763 140727661393005 140727661393005 140727661395914 0
/proc/27970/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/27972/task/27986/stat : 27986 (java) S 27970 27970 21506 0 -1 1077944384 758 0 0 0 0 0 0 0 20 0 19 0 446187772 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767028178096 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28091] ppid=27970 vsize=15617104 memory=1448 CPUtime=9.71 cores=1,3,5,7
/proc/27972/task/28091/stat : 28091 (java) R 27970 27970 21506 0 -1 4202560 535 0 0 0 971 0 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766949686344 139767116586438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28092] ppid=27970 vsize=15617104 memory=648128 CPUtime=9.67 cores=1,3,5,7
/proc/27972/task/28092/stat : 28092 (java) R 27970 27970 21506 0 -1 4202560 620 0 0 0 966 1 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766945476728 139767118601020 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28093] ppid=27970 vsize=15617104 memory=1440 CPUtime=9.75 cores=1,3,5,7
/proc/27972/task/28093/stat : 28093 (java) R 27970 27970 21506 0 -1 4202560 274 0 0 0 975 0 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766950739960 139767119775901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28094] ppid=27970 vsize=15617104 memory=904 CPUtime=9.71 cores=1,3,5,7
/proc/27972/task/28094/stat : 28094 (java) R 27970 27970 21506 0 -1 4202560 1090 0 0 0 971 0 0 0 20 0 19 0 446188220 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766946529400 139767116865149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
Current children cumulated CPU time: 55.87 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 649576 KiB
[startup+14.8075 s]
/proc/loadavg: 8.47 8.48 8.42 9/237 28094
/proc/meminfo: memFree=30882032/32770624 swapFree=66977068/67108860
[pid=27970] ppid=27967 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27970/stat : 27970 (xcsp3-exec) S 27967 27970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446187766 115843072 362 33554432000 4194304 5098028 140727661387728 140727661385832 140187735265916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16883712 140727661392763 140727661393005 140727661393005 140727661395914 0
/proc/27970/statm: 28282 362 304 221 0 87 0
[pid=27972] ppid=27970 vsize=15617104 memory=648128 CPUtime=57.47 cores=1,3,5,7
/proc/27972/stat : 27972 (java) S 27970 27970 21506 0 -1 1077944320 37275 0 0 0 5700 47 0 0 20 0 19 0 446187766 15991914496 162032 33554432000 4194304 4196468 140724504041936 140724504024480 139767500734199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
/proc/27972/statm: 3904276 162032 3533 1 0 3865376 0
[pid=27972/tid=27973] ppid=27970 vsize=15617104 memory=1804 CPUtime=0.87 cores=1,3,5,7
/proc/27972/task/27973/stat : 27973 (java) S 27970 27970 21506 0 -1 1077944384 9270 0 0 0 81 6 0 0 20 0 19 0 446187766 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767504974976 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27974] ppid=27970 vsize=15617104 memory=920 CPUtime=0.49 cores=1,3,5,7
/proc/27972/task/27974/stat : 27974 (java) S 27970 27970 21506 0 -1 1077944384 774 0 0 0 40 9 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767436970640 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27975] ppid=27970 vsize=15617104 memory=3848 CPUtime=0.53 cores=1,3,5,7
/proc/27972/task/27975/stat : 27975 (java) S 27970 27970 21506 0 -1 1077944384 299 0 0 0 43 10 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767435917840 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27976] ppid=27970 vsize=15617104 memory=2660 CPUtime=0.46 cores=1,3,5,7
/proc/27972/task/27976/stat : 27976 (java) S 27970 27970 21506 0 -1 1077944384 186 0 0 0 39 7 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767434865040 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27977] ppid=27970 vsize=15617104 memory=2680 CPUtime=0.43 cores=1,3,5,7
/proc/27972/task/27977/stat : 27977 (java) S 27970 27970 21506 0 -1 1077944384 281 0 0 0 36 7 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767433812240 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27978] ppid=27970 vsize=15617104 memory=1628 CPUtime=0.02 cores=1,3,5,7
/proc/27972/task/27978/stat : 27978 (java) S 27970 27970 21506 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 19 0 446187768 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767036599152 139767500745346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27979] ppid=27970 vsize=15617104 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27979/stat : 27979 (java) S 27970 27970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446187769 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767035545184 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27980] ppid=27970 vsize=15617104 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27980/stat : 27980 (java) S 27970 27970 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446187769 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767034492272 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27981] ppid=27970 vsize=15617104 memory=3016 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27981/stat : 27981 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767033440592 139767500752795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27982] ppid=27970 vsize=15617104 memory=56 CPUtime=2.25 cores=1,3,5,7
/proc/27972/task/27982/stat : 27982 (java) S 27970 27970 21506 0 -1 1077944384 5136 0 0 0 225 0 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767032387952 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27983] ppid=27970 vsize=15617104 memory=8187704045996132563 CPUtime=2.61 cores=1,3,5,7
/proc/27972/task/27983/stat : 27983 (java) S 27970 27970 21506 0 -1 1077944384 8753 0 0 0 260 1 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767031335152 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27984] ppid=27970 vsize=15617104 memory=-7101718590825193272 CPUtime=0.78 cores=1,3,5,7
/proc/27972/task/27984/stat : 27984 (java) S 27970 27970 21506 0 -1 1077944384 4703 0 0 0 77 1 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767030282352 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27985] ppid=27970 vsize=15617104 memory=-7101718590825193272 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27985/stat : 27985 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767029229792 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27986] ppid=27970 vsize=15617104 memory=-6873162000112450758 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27986/stat : 27986 (java) S 27970 27970 21506 0 -1 1077944384 780 0 0 0 0 0 0 0 20 0 19 0 446187772 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767028178096 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28091] ppid=27970 vsize=15617104 memory=6944656592455360608 CPUtime=10.11 cores=1,3,5,7
/proc/27972/task/28091/stat : 28091 (java) R 27970 27970 21506 0 -1 4202560 671 0 0 0 1011 0 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766949686344 139767116865056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28092] ppid=27970 vsize=15617104 memory=6933690279252828305 CPUtime=10.07 cores=1,3,5,7
/proc/27972/task/28092/stat : 28092 (java) R 27970 27970 21506 0 -1 4202560 755 0 0 0 1006 1 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766945476728 139767118150654 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28093] ppid=27970 vsize=15617104 memory=-7966001734603266090 CPUtime=10.15 cores=1,3,5,7
/proc/27972/task/28093/stat : 28093 (java) R 27970 27970 21506 0 -1 4202560 310 0 0 0 1015 0 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766950739960 139767118600872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28094] ppid=27970 vsize=15617104 memory=1414351094373861289 CPUtime=10.12 cores=1,3,5,7
/proc/27972/task/28094/stat : 28094 (java) R 27970 27970 21506 0 -1 4202560 1165 0 0 0 1012 0 0 0 20 0 19 0 446188220 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766946529400 139767119834306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
Current children cumulated CPU time: 57.47 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 649576 KiB
[startup+15.2095 s]
/proc/loadavg: 8.43 8.48 8.41 9/237 28094
/proc/meminfo: memFree=30882292/32770624 swapFree=66977068/67108860
[pid=27970] ppid=27967 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27970/stat : 27970 (xcsp3-exec) S 27967 27970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446187766 115843072 362 33554432000 4194304 5098028 140727661387728 140727661385832 140187735265916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16883712 140727661392763 140727661393005 140727661393005 140727661395914 0
/proc/27970/statm: 28282 362 304 221 0 87 0
[pid=27972] ppid=27970 vsize=15617104 memory=648128 CPUtime=59.07 cores=1,3,5,7
/proc/27972/stat : 27972 (java) S 27970 27970 21506 0 -1 1077944320 37469 0 0 0 5860 47 0 0 20 0 19 0 446187766 15991914496 162032 33554432000 4194304 4196468 140724504041936 140724504024480 139767500734199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
/proc/27972/statm: 3904276 162032 3533 1 0 3865376 0
[pid=27972/tid=27973] ppid=27970 vsize=15617104 memory=904 CPUtime=0.87 cores=1,3,5,7
/proc/27972/task/27973/stat : 27973 (java) S 27970 27970 21506 0 -1 1077944384 9270 0 0 0 81 6 0 0 20 0 19 0 446187766 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767504974976 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27974] ppid=27970 vsize=15617104 memory=1984 CPUtime=0.49 cores=1,3,5,7
/proc/27972/task/27974/stat : 27974 (java) S 27970 27970 21506 0 -1 1077944384 774 0 0 0 40 9 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767436970640 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27975] ppid=27970 vsize=15617104 memory=1060 CPUtime=0.53 cores=1,3,5,7
/proc/27972/task/27975/stat : 27975 (java) S 27970 27970 21506 0 -1 1077944384 299 0 0 0 43 10 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767435917840 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27976] ppid=27970 vsize=15617104 memory=2828 CPUtime=0.46 cores=1,3,5,7
/proc/27972/task/27976/stat : 27976 (java) S 27970 27970 21506 0 -1 1077944384 186 0 0 0 39 7 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767434865040 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27977] ppid=27970 vsize=15617104 memory=756 CPUtime=0.43 cores=1,3,5,7
/proc/27972/task/27977/stat : 27977 (java) S 27970 27970 21506 0 -1 1077944384 281 0 0 0 36 7 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767433812240 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27978] ppid=27970 vsize=15617104 memory=1548 CPUtime=0.02 cores=1,3,5,7
/proc/27972/task/27978/stat : 27978 (java) S 27970 27970 21506 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 19 0 446187768 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767036599152 139767500745346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27979] ppid=27970 vsize=15617104 memory=7872 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27979/stat : 27979 (java) S 27970 27970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446187769 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767035545184 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27980] ppid=27970 vsize=15617104 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27980/stat : 27980 (java) S 27970 27970 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446187769 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767034492272 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27981] ppid=27970 vsize=15617104 memory=9448 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27981/stat : 27981 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767033440592 139767500752795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27982] ppid=27970 vsize=15617104 memory=14008 CPUtime=2.25 cores=1,3,5,7
/proc/27972/task/27982/stat : 27982 (java) S 27970 27970 21506 0 -1 1077944384 5136 0 0 0 225 0 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767032387952 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27983] ppid=27970 vsize=15617104 memory=2120 CPUtime=2.61 cores=1,3,5,7
/proc/27972/task/27983/stat : 27983 (java) S 27970 27970 21506 0 -1 1077944384 8753 0 0 0 260 1 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767031335152 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27984] ppid=27970 vsize=15617104 memory=11976 CPUtime=0.78 cores=1,3,5,7
/proc/27972/task/27984/stat : 27984 (java) S 27970 27970 21506 0 -1 1077944384 4703 0 0 0 77 1 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767030282352 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27985] ppid=27970 vsize=15617104 memory=11452 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27985/stat : 27985 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767029229792 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27986] ppid=27970 vsize=15617104 memory=512 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27986/stat : 27986 (java) S 27970 27970 21506 0 -1 1077944384 780 0 0 0 0 0 0 0 20 0 19 0 446187772 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767028178096 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28091] ppid=27970 vsize=15617104 memory=280285137610832 CPUtime=10.52 cores=1,3,5,7
/proc/27972/task/28091/stat : 28091 (java) R 27970 27970 21506 0 -1 4202560 671 0 0 0 1052 0 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766949686344 139767116586719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28092] ppid=27970 vsize=15617104 memory=140142731411585 CPUtime=10.45 cores=1,3,5,7
/proc/27972/task/28092/stat : 28092 (java) R 27970 27970 21506 0 -1 4202560 761 0 0 0 1044 1 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766945476728 139767119833425 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28093] ppid=27970 vsize=15617104 memory=0 CPUtime=10.55 cores=1,3,5,7
/proc/27972/task/28093/stat : 28093 (java) R 27970 27970 21506 0 -1 4202560 312 0 0 0 1055 0 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766950739960 139767119775901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28094] ppid=27970 vsize=15617104 memory=6720696446780543624 CPUtime=10.52 cores=1,3,5,7
/proc/27972/task/28094/stat : 28094 (java) R 27970 27970 21506 0 -1 4202560 1351 0 0 0 1052 0 0 0 20 0 19 0 446188220 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766946529400 139767119833024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
Current children cumulated CPU time: 59.07 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 649576 KiB
[startup+15.3015 s]
/proc/loadavg: 8.43 8.48 8.41 9/237 28094
/proc/meminfo: memFree=30882292/32770624 swapFree=66977068/67108860
[pid=27970] ppid=27967 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27970/stat : 27970 (xcsp3-exec) S 27967 27970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446187766 115843072 362 33554432000 4194304 5098028 140727661387728 140727661385832 140187735265916 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16883712 140727661392763 140727661393005 140727661393005 140727661395914 0
/proc/27970/statm: 28282 362 304 221 0 87 0
[pid=27972] ppid=27970 vsize=15617104 memory=648128 CPUtime=59.44 cores=1,3,5,7
/proc/27972/stat : 27972 (java) S 27970 27970 21506 0 -1 1077944320 37471 0 0 0 5897 47 0 0 20 0 19 0 446187766 15991914496 162032 33554432000 4194304 4196468 140724504041936 140724504024480 139767500734199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
/proc/27972/statm: 3904276 162032 3533 1 0 3865376 0
[pid=27972/tid=27973] ppid=27970 vsize=15617104 memory=648128 CPUtime=0.87 cores=1,3,5,7
/proc/27972/task/27973/stat : 27973 (java) S 27970 27970 21506 0 -1 1077944384 9270 0 0 0 81 6 0 0 20 0 19 0 446187766 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767504974976 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27974] ppid=27970 vsize=15617104 memory=648128 CPUtime=0.49 cores=1,3,5,7
/proc/27972/task/27974/stat : 27974 (java) S 27970 27970 21506 0 -1 1077944384 774 0 0 0 40 9 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767436970640 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27975] ppid=27970 vsize=15617104 memory=6009861706269212769 CPUtime=0.53 cores=1,3,5,7
/proc/27972/task/27975/stat : 27975 (java) S 27970 27970 21506 0 -1 1077944384 299 0 0 0 43 10 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767435917840 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27976] ppid=27970 vsize=15617104 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/27972/task/27976/stat : 27976 (java) S 27970 27970 21506 0 -1 1077944384 186 0 0 0 39 7 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767434865040 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27977] ppid=27970 vsize=15617104 memory=4636017662725851706 CPUtime=0.43 cores=1,3,5,7
/proc/27972/task/27977/stat : 27977 (java) S 27970 27970 21506 0 -1 1077944384 281 0 0 0 36 7 0 0 20 0 19 0 446187767 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767433812240 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27978] ppid=27970 vsize=15617104 memory=1984 CPUtime=0.02 cores=1,3,5,7
/proc/27972/task/27978/stat : 27978 (java) S 27970 27970 21506 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 19 0 446187768 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767036599152 139767500745346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27979] ppid=27970 vsize=15617104 memory=2528 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27979/stat : 27979 (java) S 27970 27970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446187769 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767035545184 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27980] ppid=27970 vsize=15617104 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27980/stat : 27980 (java) S 27970 27970 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446187769 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767034492272 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27981] ppid=27970 vsize=15617104 memory=2 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27981/stat : 27981 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767033440592 139767500752795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27982] ppid=27970 vsize=15617104 memory=0 CPUtime=2.25 cores=1,3,5,7
/proc/27972/task/27982/stat : 27982 (java) S 27970 27970 21506 0 -1 1077944384 5136 0 0 0 225 0 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767032387952 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27983] ppid=27970 vsize=15617104 memory=0 CPUtime=2.61 cores=1,3,5,7
/proc/27972/task/27983/stat : 27983 (java) S 27970 27970 21506 0 -1 1077944384 8753 0 0 0 260 1 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767031335152 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27984] ppid=27970 vsize=15617104 memory=0 CPUtime=0.78 cores=1,3,5,7
/proc/27972/task/27984/stat : 27984 (java) S 27970 27970 21506 0 -1 1077944384 4703 0 0 0 77 1 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767030282352 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27985] ppid=27970 vsize=15617104 memory=280285137490720 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27985/stat : 27985 (java) S 27970 27970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446187771 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767029229792 139767500744405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=27986] ppid=27970 vsize=15617104 memory=3472468438796427920 CPUtime=0 cores=1,3,5,7
/proc/27972/task/27986/stat : 27986 (java) S 27970 27970 21506 0 -1 1077944384 780 0 0 0 0 0 0 0 20 0 19 0 446187772 15991914496 162032 33554432000 4194304 4196468 140724504041936 139767028178096 139767500745346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28091] ppid=27970 vsize=15617104 memory=6791534058613427641 CPUtime=10.61 cores=1,3,5,7
/proc/27972/task/28091/stat : 28091 (java) R 27970 27970 21506 0 -1 4202560 673 0 0 0 1061 0 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766949686344 139767116586754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28092] ppid=27970 vsize=15617104 memory=288230617509003574 CPUtime=10.55 cores=1,3,5,7
/proc/27972/task/28092/stat : 28092 (java) R 27970 27970 21506 0 -1 4202560 761 0 0 0 1054 1 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766945476728 139767116587064 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28093] ppid=27970 vsize=15617104 memory=15252640887999028 CPUtime=10.64 cores=1,3,5,7
/proc/27972/task/28093/stat : 28093 (java) R 27970 27970 21506 0 -1 4202560 312 0 0 0 1064 0 0 0 20 0 19 0 446188219 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766950739960 139767119833673 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
[pid=27972/tid=28094] ppid=27970 vsize=15617104 memory=928 CPUtime=10.61 cores=1,3,5,7
/proc/27972/task/28094/stat : 28094 (java) R 27970 27970 21506 0 -1 4202560 1351 0 0 0 1061 0 0 0 20 0 19 0 446188220 15991914496 162032 33554432000 4194304 4196468 140724504041936 139766946529400 139767116586575 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17989632 140724504048623 140724504048794 140724504048794 140724504051663 0
Current children cumulated CPU time: 59.44 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 649576 KiB
Child status: 0
Real time (s): 15.345
CPU time (s): 59.5908
CPU user time (s): 59.1078
CPU system time (s): 0.482942
CPU usage (%): 388.34
Max. virtual memory (cumulated for all children) (KiB): 15730232
Max. memory (cumulated for all children) (KiB): 653032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.1078
system time used= 0.482942
maximum resident set size= 652160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39383
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= 3542
involuntary context switches= 1522
# summary of solver processes directly reported to runsolver:
# pid: 27970
# total CPU time (s): 59.5908
# total CPU user time (s): 59.1078
# total CPU system time (s): 0.482942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.111002 second user time and 0.220708 second system time
The end