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 (13005 MiB free)
memory of node 1: 16384 MiB (15626 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393343-1568344951/watcher-4393343-1568344951 -o /tmp/evaluation-result-4393343-1568344951/solver-4393343-1568344951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568343521-17190 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2031889849 HOME/instance-4393343-1568344951.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=19141, runsolver pid=19138
[startup+0.100058 s]*
/proc/loadavg: 8.28 8.36 6.79 7/234 19157
/proc/meminfo: memFree=29304576/32770624 swapFree=66999980/67108860
[pid=19141] ppid=19138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19141/stat : 19141 (xcsp3-exec) S 19138 19141 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410409075 115843072 362 33554432000 4194304 5098028 140729632952240 140729632950344 140565338129020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39936000 140729632961402 140729632961645 140729632961645 140729632964554 0
/proc/19141/statm: 28282 362 304 221 0 87 0
[pid=19143] ppid=19141 vsize=15144768 memory=27456 CPUtime=0.13 cores=1,3,5,7
/proc/19143/stat : 19143 (java) S 19141 19141 15420 0 -1 1077944320 5812 0 0 0 12 1 0 0 20 0 15 0 410409075 15508242432 6864 33554432000 4194304 4196468 140722545272256 140722545254800 139638075051767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
/proc/19143/statm: 3786192 6864 3161 1 0 3748377 0
[pid=19143/tid=19144] ppid=19141 vsize=15144768 memory=7748307311448697419 CPUtime=0.09 cores=1,3,5,7
/proc/19143/task/19144/stat : 19144 (java) S 19141 19141 15420 0 -1 1077944384 3633 0 0 0 8 1 0 0 20 0 15 0 410409075 15508242432 6930 33554432000 4194304 4196468 140722545272256 139638079280432 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19145] ppid=19141 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19145/stat : 19145 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409076 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637667006736 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19146] ppid=19141 vsize=15144768 memory=140420484683392 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19146/stat : 19146 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409076 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637665954192 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19147] ppid=19141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19147/stat : 19147 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409076 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637664901648 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19148] ppid=19141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19148/stat : 19148 (java) S 19141 19141 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410409076 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637663849104 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19149] ppid=19141 vsize=15144768 memory=140420484683392 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19149/stat : 19149 (java) S 19141 19141 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410409077 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637543176688 139638075062914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19150] ppid=19141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19150/stat : 19150 (java) S 19141 19141 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410409078 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637542122912 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19151] ppid=19141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19151/stat : 19151 (java) S 19141 19141 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410409078 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637541070320 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19152] ppid=19141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19152/stat : 19152 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410409080 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637540018896 139638075070363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19153] ppid=19141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19153/stat : 19153 (java) S 19141 19141 15420 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 410409081 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637538965488 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19154] ppid=19141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19154/stat : 19154 (java) S 19141 19141 15420 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 15 0 410409081 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637537912944 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19155] ppid=19141 vsize=15144768 memory=140420484683392 CPUtime=0.02 cores=1,3,5,7
/proc/19143/task/19155/stat : 19155 (java) S 19141 19141 15420 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 15 0 410409081 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637536860400 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19156] ppid=19141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19156/stat : 19156 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410409081 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637535808096 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19157] ppid=19141 vsize=15144768 memory=140420484683392 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19157/stat : 19157 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409081 15508242432 6930 33554432000 4194304 4196468 140722545272256 139637534755632 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 28904 KiB
[startup+0.211137 s]*
/proc/loadavg: 8.28 8.36 6.79 7/234 19157
/proc/meminfo: memFree=29289052/32770624 swapFree=66999980/67108860
[pid=19141] ppid=19138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19141/stat : 19141 (xcsp3-exec) S 19138 19141 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410409075 115843072 362 33554432000 4194304 5098028 140729632952240 140729632950344 140565338129020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39936000 140729632961402 140729632961645 140729632961645 140729632964554 0
/proc/19141/statm: 28282 362 304 221 0 87 0
[pid=19143] ppid=19141 vsize=15144768 memory=40012 CPUtime=0.34 cores=1,3,5,7
/proc/19143/stat : 19143 (java) S 19141 19141 15420 0 -1 1077944320 9717 0 0 0 31 3 0 0 20 0 15 0 410409075 15508242432 10003 33554432000 4194304 4196468 140722545272256 140722545254800 139638075051767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
/proc/19143/statm: 3786192 10003 3299 1 0 3748377 0
[pid=19143/tid=19144] ppid=19141 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/19143/task/19144/stat : 19144 (java) R 19141 19141 15420 0 -1 4202560 6667 0 0 0 18 2 0 0 20 0 15 0 410409075 15508242432 10003 33554432000 4194304 4196468 140722545272256 139638079281488 139638059132254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19145] ppid=19141 vsize=15144768 memory=13675 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19145/stat : 19145 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409076 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637667006736 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19146] ppid=19141 vsize=15144768 memory=140420484700595 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19146/stat : 19146 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409076 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637665954192 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19147] ppid=19141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19147/stat : 19147 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409076 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637664901648 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19148] ppid=19141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19148/stat : 19148 (java) S 19141 19141 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410409076 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637663849104 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19149] ppid=19141 vsize=15144768 memory=140420484683392 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19149/stat : 19149 (java) S 19141 19141 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410409077 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637543176688 139638075062914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19150] ppid=19141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19150/stat : 19150 (java) S 19141 19141 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410409078 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637542122912 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19151] ppid=19141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19151/stat : 19151 (java) S 19141 19141 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410409078 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637541070320 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19152] ppid=19141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19152/stat : 19152 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410409080 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637540018896 139638075070363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19153] ppid=19141 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19143/task/19153/stat : 19153 (java) S 19141 19141 15420 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 15 0 410409081 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637538965488 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19154] ppid=19141 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19143/task/19154/stat : 19154 (java) S 19141 19141 15420 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 15 0 410409081 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637537912944 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19155] ppid=19141 vsize=15144768 memory=140420484683392 CPUtime=0.08 cores=1,3,5,7
/proc/19143/task/19155/stat : 19155 (java) S 19141 19141 15420 0 -1 1077944384 934 0 0 0 8 0 0 0 20 0 15 0 410409081 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637536860400 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19156] ppid=19141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19156/stat : 19156 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410409081 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637535808096 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19157] ppid=19141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19157/stat : 19157 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409081 15508242432 10003 33554432000 4194304 4196468 140722545272256 139637534755632 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41460 KiB
[startup+0.311501 s]*
/proc/loadavg: 8.28 8.36 6.79 9/234 19157
/proc/meminfo: memFree=29281036/32770624 swapFree=66999980/67108860
[pid=19141] ppid=19138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19141/stat : 19141 (xcsp3-exec) S 19138 19141 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410409075 115843072 362 33554432000 4194304 5098028 140729632952240 140729632950344 140565338129020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39936000 140729632961402 140729632961645 140729632961645 140729632964554 0
/proc/19141/statm: 28282 362 304 221 0 87 0
[pid=19143] ppid=19141 vsize=15149024 memory=49292 CPUtime=0.53 cores=1,3,5,7
/proc/19143/stat : 19143 (java) S 19141 19141 15420 0 -1 1077944320 11186 0 0 0 50 3 0 0 20 0 15 0 410409075 15512600576 12323 33554432000 4194304 4196468 140722545272256 140722545254800 139638075051767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
/proc/19143/statm: 3787256 12323 3367 1 0 3748377 0
[pid=19143/tid=19144] ppid=19141 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/19143/task/19144/stat : 19144 (java) R 19141 19141 15420 0 -1 4202560 7856 0 0 0 27 3 0 0 20 0 15 0 410409075 15512600576 12323 33554432000 4194304 4196468 140722545272256 139638079282880 139638059132254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19145] ppid=19141 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19145/stat : 19145 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409076 15512600576 12323 33554432000 4194304 4196468 140722545272256 139637667006736 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19146] ppid=19141 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19146/stat : 19146 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409076 15512600576 12323 33554432000 4194304 4196468 140722545272256 139637665954192 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19147] ppid=19141 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19147/stat : 19147 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409076 15512600576 12323 33554432000 4194304 4196468 140722545272256 139637664901648 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19148] ppid=19141 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19148/stat : 19148 (java) S 19141 19141 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410409076 15512600576 12388 33554432000 4194304 4196468 140722545272256 139637663849104 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19149] ppid=19141 vsize=15149024 memory=-7595490506177102494 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19149/stat : 19149 (java) S 19141 19141 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410409077 15512600576 12388 33554432000 4194304 4196468 140722545272256 139637543176688 139638075062914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19150] ppid=19141 vsize=15149024 memory=-7533229591079788448 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19150/stat : 19150 (java) S 19141 19141 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410409078 15512600576 12388 33554432000 4194304 4196468 140722545272256 139637542122912 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19151] ppid=19141 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19151/stat : 19151 (java) S 19141 19141 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410409078 15512600576 12388 33554432000 4194304 4196468 140722545272256 139637541070320 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19152] ppid=19141 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19152/stat : 19152 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410409080 15512600576 12388 33554432000 4194304 4196468 140722545272256 139637540018896 139638075070363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19153] ppid=19141 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/19143/task/19153/stat : 19153 (java) R 19141 19141 15420 0 -1 4202560 486 0 0 0 5 0 0 0 20 0 15 0 410409081 15512600576 12388 33554432000 4194304 4196468 140722545272256 139637538946504 139638056576063 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19154] ppid=19141 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/19143/task/19154/stat : 19154 (java) S 19141 19141 15420 0 -1 1077944384 476 0 0 0 4 0 0 0 20 0 15 0 410409081 15512600576 12388 33554432000 4194304 4196468 140722545272256 139637537912944 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19155] ppid=19141 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/19143/task/19155/stat : 19155 (java) S 19141 19141 15420 0 -1 1077944384 1073 0 0 0 12 0 0 0 20 0 15 0 410409081 15512600576 12388 33554432000 4194304 4196468 140722545272256 139637536860400 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19156] ppid=19141 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19156/stat : 19156 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410409081 15512600576 12388 33554432000 4194304 4196468 140722545272256 139637535808096 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19157] ppid=19141 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19157/stat : 19157 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410409081 15512600576 12388 33554432000 4194304 4196468 140722545272256 139637534755632 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50740 KiB
[startup+0.708377 s]
/proc/loadavg: 8.28 8.36 6.79 7/235 19158
/proc/meminfo: memFree=29263512/32770624 swapFree=66999980/67108860
[pid=19141] ppid=19138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19141/stat : 19141 (xcsp3-exec) S 19138 19141 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410409075 115843072 362 33554432000 4194304 5098028 140729632952240 140729632950344 140565338129020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39936000 140729632961402 140729632961645 140729632961645 140729632964554 0
/proc/19141/statm: 28282 362 304 221 0 87 0
[pid=19143] ppid=19141 vsize=15484996 memory=132216 CPUtime=1.73 cores=1,3,5,7
/proc/19143/stat : 19143 (java) S 19141 19141 15420 0 -1 1077944320 15532 0 0 0 167 6 0 0 20 0 16 0 410409075 15856635904 33054 33554432000 4194304 4196468 140722545272256 140722545254800 139638075051767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
/proc/19143/statm: 3871249 33054 3465 1 0 3832351 0
[pid=19143/tid=19144] ppid=19141 vsize=15484996 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/19143/task/19144/stat : 19144 (java) S 19141 19141 15420 0 -1 1077944384 9092 0 0 0 45 3 0 0 20 0 16 0 410409075 15856635904 33054 33554432000 4194304 4196468 140722545272256 139638079292544 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19145] ppid=19141 vsize=15484996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19145/stat : 19145 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 410409076 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637667006736 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19146] ppid=19141 vsize=15484996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19146/stat : 19146 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 410409076 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637665954192 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19147] ppid=19141 vsize=15484996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19147/stat : 19147 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 410409076 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637664901648 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19148] ppid=19141 vsize=15484996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19148/stat : 19148 (java) S 19141 19141 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 410409076 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637663849104 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19149] ppid=19141 vsize=15484996 memory=33 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19149/stat : 19149 (java) S 19141 19141 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 410409077 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637543176688 139638075062914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19150] ppid=19141 vsize=15484996 memory=-7604262568725289114 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19150/stat : 19150 (java) S 19141 19141 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 410409078 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637542122912 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19151] ppid=19141 vsize=15484996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19151/stat : 19151 (java) S 19141 19141 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 410409078 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637541070320 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19152] ppid=19141 vsize=15484996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19152/stat : 19152 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410409080 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637540018896 139638075070363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19153] ppid=19141 vsize=15484996 memory=34364 CPUtime=0.29 cores=1,3,5,7
/proc/19143/task/19153/stat : 19153 (java) R 19141 19141 15420 0 -1 4202560 1172 0 0 0 29 0 0 0 20 0 16 0 410409081 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637538951600 139638056574414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19154] ppid=19141 vsize=15484996 memory=988 CPUtime=0.27 cores=1,3,5,7
/proc/19143/task/19154/stat : 19154 (java) R 19141 19141 15420 0 -1 4202560 1411 0 0 0 27 0 0 0 20 0 16 0 410409081 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637537899040 139638059445636 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19155] ppid=19141 vsize=15484996 memory=2012 CPUtime=0.31 cores=1,3,5,7
/proc/19143/task/19155/stat : 19155 (java) S 19141 19141 15420 0 -1 1077944384 1864 0 0 0 31 0 0 0 20 0 16 0 410409081 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637536860400 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19156] ppid=19141 vsize=15484996 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19156/stat : 19156 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 410409081 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637535808096 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19157] ppid=19141 vsize=15484996 memory=580 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19157/stat : 19157 (java) S 19141 19141 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 410409081 15856635904 33054 33554432000 4194304 4196468 140722545272256 139637534755632 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 133664 KiB
[startup+1.50079 s]
/proc/loadavg: 8.28 8.36 6.79 12/238 19261
/proc/meminfo: memFree=29152040/32770624 swapFree=66999980/67108860
[pid=19141] ppid=19138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19141/stat : 19141 (xcsp3-exec) S 19138 19141 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410409075 115843072 362 33554432000 4194304 5098028 140729632952240 140729632950344 140565338129020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39936000 140729632961402 140729632961645 140729632961645 140729632964554 0
/proc/19141/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/19143/task/19157/stat : 19157 (java) S 19141 19141 15420 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 19 0 410409081 15924797440 40938 33554432000 4194304 4196468 140722545272256 139637534755632 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19358] ppid=19141 vsize=15551560 memory=163752 CPUtime=17.35 cores=1,3,5,7
/proc/19143/task/19358/stat : 19358 (java) R 19141 19141 15420 0 -1 4202560 347 0 0 0 1735 0 0 0 20 0 19 0 410409237 15924797440 40938 33554432000 4194304 4196468 140722545272256 139637523677000 139637715673194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19359] ppid=19141 vsize=15551560 memory=7548 CPUtime=17.26 cores=1,3,5,7
/proc/19143/task/19359/stat : 19359 (java) R 19141 19141 15420 0 -1 4202560 668 0 0 0 1726 0 0 0 20 0 19 0 410409237 15924797440 40938 33554432000 4194304 4196468 140722545272256 139637524729992 139637716865180 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19360] ppid=19141 vsize=15551560 memory=2832 CPUtime=17.29 cores=1,3,5,7
/proc/19143/task/19360/stat : 19360 (java) R 19141 19141 15420 0 -1 4202560 278 0 0 0 1729 0 0 0 20 0 19 0 410409237 15924797440 40938 33554432000 4194304 4196468 140722545272256 139637519466928 139637715673201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19361] ppid=19141 vsize=15551560 memory=1224 CPUtime=17.17 cores=1,3,5,7
/proc/19143/task/19361/stat : 19361 (java) R 19141 19141 15420 0 -1 4202560 608 0 0 0 1717 0 0 0 20 0 19 0 410409237 15924797440 40938 33554432000 4194304 4196468 140722545272256 139637520521264 139637716865180 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
Current children cumulated CPU time: 74.92 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 165200 KiB
[startup+20.8008 s]
/proc/loadavg: 8.49 8.40 6.83 9/238 19363
/proc/meminfo: memFree=28948344/32770624 swapFree=66999980/67108860
[pid=19141] ppid=19138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19141/stat : 19141 (xcsp3-exec) S 19138 19141 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410409075 115843072 362 33554432000 4194304 5098028 140729632952240 140729632950344 140565338129020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39936000 140729632961402 140729632961645 140729632961645 140729632964554 0
/proc/19141/statm: 28282 362 304 221 0 87 0
[pid=19143] ppid=19141 vsize=15551560 memory=167868 CPUtime=81.25 cores=1,3,5,7
/proc/19143/stat : 19143 (java) S 19141 19141 15420 0 -1 1077944320 31041 0 0 0 8111 14 0 0 20 0 19 0 410409075 15924797440 41967 33554432000 4194304 4196468 140722545272256 140722545254800 139638075051767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
/proc/19143/statm: 3887890 41967 3508 1 0 3848992 0
[pid=19143/tid=19144] ppid=19141 vsize=15551560 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/19143/task/19144/stat : 19144 (java) S 19141 19141 15420 0 -1 1077944384 9092 0 0 0 46 4 0 0 20 0 19 0 410409075 15924797440 41967 33554432000 4194304 4196468 140722545272256 139638079292544 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19145] ppid=19141 vsize=15551560 memory=163752 CPUtime=0.05 cores=1,3,5,7
/proc/19143/task/19145/stat : 19145 (java) S 19141 19141 15420 0 -1 1077944384 407 0 0 0 4 1 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637667006736 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19146] ppid=19141 vsize=15551560 memory=1564 CPUtime=0.04 cores=1,3,5,7
/proc/19143/task/19146/stat : 19146 (java) S 19141 19141 15420 0 -1 1077944384 162 0 0 0 4 0 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637665954192 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19147] ppid=19141 vsize=15551560 memory=928 CPUtime=0.05 cores=1,3,5,7
/proc/19143/task/19147/stat : 19147 (java) S 19141 19141 15420 0 -1 1077944384 748 0 0 0 4 1 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637664901648 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19148] ppid=19141 vsize=15551560 memory=167848 CPUtime=0.05 cores=1,3,5,7
/proc/19143/task/19148/stat : 19148 (java) S 19141 19141 15420 0 -1 1077944384 1081 0 0 0 4 1 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637663849104 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19149] ppid=19141 vsize=15551560 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/19143/task/19149/stat : 19149 (java) S 19141 19141 15420 0 -1 1077944384 806 0 0 0 4 0 0 0 20 0 19 0 410409077 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637543176688 139638075062914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19150] ppid=19141 vsize=15551560 memory=163752 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19150/stat : 19150 (java) S 19141 19141 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410409078 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637542122976 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19151] ppid=19141 vsize=15551560 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19151/stat : 19151 (java) S 19141 19141 15420 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 410409078 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637541070336 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19152] ppid=19141 vsize=15551560 memory=164740 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19152/stat : 19152 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410409080 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637540018896 139638075070363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19153] ppid=19141 vsize=15551560 memory=1448 CPUtime=1.05 cores=1,3,5,7
/proc/19143/task/19153/stat : 19153 (java) S 19141 19141 15420 0 -1 1077944384 4430 0 0 0 105 0 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637538965488 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19154] ppid=19141 vsize=15551560 memory=165800 CPUtime=0.99 cores=1,3,5,7
/proc/19143/task/19154/stat : 19154 (java) S 19141 19141 15420 0 -1 1077944384 3514 0 0 0 98 1 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637537912944 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19155] ppid=19141 vsize=15551560 memory=2592 CPUtime=0.41 cores=1,3,5,7
/proc/19143/task/19155/stat : 19155 (java) S 19141 19141 15420 0 -1 1077944384 3394 0 0 0 40 1 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637536860400 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19156] ppid=19141 vsize=15551560 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19156/stat : 19156 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637535808096 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19157] ppid=19141 vsize=15551560 memory=3436 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19157/stat : 19157 (java) S 19141 19141 15420 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637534755632 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19358] ppid=19141 vsize=15551560 memory=1448 CPUtime=18.92 cores=1,3,5,7
/proc/19143/task/19358/stat : 19358 (java) R 19141 19141 15420 0 -1 4202560 351 0 0 0 1892 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637523677000 139637712953461 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19359] ppid=19141 vsize=15551560 memory=2445404 CPUtime=18.85 cores=1,3,5,7
/proc/19143/task/19359/stat : 19359 (java) R 19141 19141 15420 0 -1 4202560 704 0 0 0 1885 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637524730784 139637715671811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19360] ppid=19141 vsize=15551560 memory=1412 CPUtime=18.87 cores=1,3,5,7
/proc/19143/task/19360/stat : 19360 (java) R 19141 19141 15420 0 -1 4202560 282 0 0 0 1887 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637519470096 139637715673194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19361] ppid=19141 vsize=15551560 memory=1448 CPUtime=18.74 cores=1,3,5,7
/proc/19143/task/19361/stat : 19361 (java) R 19141 19141 15420 0 -1 4202560 626 0 0 0 1874 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637520518400 139637712194349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
Current children cumulated CPU time: 81.25 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 169316 KiB
[startup+21.6013 s]
/proc/loadavg: 8.49 8.40 6.83 9/238 19363
/proc/meminfo: memFree=28919796/32770624 swapFree=66999980/67108860
[pid=19141] ppid=19138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19141/stat : 19141 (xcsp3-exec) S 19138 19141 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410409075 115843072 362 33554432000 4194304 5098028 140729632952240 140729632950344 140565338129020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39936000 140729632961402 140729632961645 140729632961645 140729632964554 0
/proc/19141/statm: 28282 362 304 221 0 87 0
[pid=19143] ppid=19141 vsize=15551560 memory=167868 CPUtime=84.4 cores=1,3,5,7
/proc/19143/stat : 19143 (java) S 19141 19141 15420 0 -1 1077944320 31064 0 0 0 8426 14 0 0 20 0 19 0 410409075 15924797440 41967 33554432000 4194304 4196468 140722545272256 140722545254800 139638075051767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
/proc/19143/statm: 3887890 41967 3508 1 0 3848992 0
[pid=19143/tid=19144] ppid=19141 vsize=15551560 memory=580 CPUtime=0.5 cores=1,3,5,7
/proc/19143/task/19144/stat : 19144 (java) S 19141 19141 15420 0 -1 1077944384 9092 0 0 0 46 4 0 0 20 0 19 0 410409075 15924797440 41967 33554432000 4194304 4196468 140722545272256 139638079292544 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19145] ppid=19141 vsize=15551560 memory=1696 CPUtime=0.05 cores=1,3,5,7
/proc/19143/task/19145/stat : 19145 (java) S 19141 19141 15420 0 -1 1077944384 410 0 0 0 4 1 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637667006736 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19146] ppid=19141 vsize=15551560 memory=3436 CPUtime=0.05 cores=1,3,5,7
/proc/19143/task/19146/stat : 19146 (java) S 19141 19141 15420 0 -1 1077944384 164 0 0 0 5 0 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637665954192 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19147] ppid=19141 vsize=15551560 memory=280840664308240 CPUtime=0.06 cores=1,3,5,7
/proc/19143/task/19147/stat : 19147 (java) S 19141 19141 15420 0 -1 1077944384 750 0 0 0 5 1 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637664901648 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19148] ppid=19141 vsize=15551560 memory=84384924132586 CPUtime=0.05 cores=1,3,5,7
/proc/19143/task/19148/stat : 19148 (java) S 19141 19141 15420 0 -1 1077944384 1084 0 0 0 4 1 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637663849104 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19149] ppid=19141 vsize=15551560 memory=84393514067178 CPUtime=0.04 cores=1,3,5,7
/proc/19143/task/19149/stat : 19149 (java) S 19141 19141 15420 0 -1 1077944384 807 0 0 0 4 0 0 0 20 0 19 0 410409077 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637543176688 139638075062914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19150] ppid=19141 vsize=15551560 memory=112336571293953 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19150/stat : 19150 (java) S 19141 19141 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410409078 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637542122976 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19151] ppid=19141 vsize=15551560 memory=280840664072568 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19151/stat : 19151 (java) S 19141 19141 15420 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 410409078 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637541070336 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19152] ppid=19141 vsize=15551560 memory=84393514067178 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19152/stat : 19152 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410409080 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637540018896 139638075070363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19153] ppid=19141 vsize=15551560 memory=84392483490026 CPUtime=1.05 cores=1,3,5,7
/proc/19143/task/19153/stat : 19153 (java) S 19141 19141 15420 0 -1 1077944384 4430 0 0 0 105 0 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637538965488 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19154] ppid=19141 vsize=15551560 memory=84392483488746 CPUtime=0.99 cores=1,3,5,7
/proc/19143/task/19154/stat : 19154 (java) S 19141 19141 15420 0 -1 1077944384 3514 0 0 0 98 1 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637537912944 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19155] ppid=19141 vsize=15551560 memory=84393514067178 CPUtime=0.41 cores=1,3,5,7
/proc/19143/task/19155/stat : 19155 (java) S 19141 19141 15420 0 -1 1077944384 3394 0 0 0 40 1 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637536860400 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19156] ppid=19141 vsize=15551560 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19156/stat : 19156 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637535808096 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19157] ppid=19141 vsize=15551560 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19157/stat : 19157 (java) S 19141 19141 15420 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637534755632 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19358] ppid=19141 vsize=15551560 memory=1224 CPUtime=19.7 cores=1,3,5,7
/proc/19143/task/19358/stat : 19358 (java) R 19141 19141 15420 0 -1 4202560 355 0 0 0 1970 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637523676320 139637715673199 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19359] ppid=19141 vsize=15551560 memory=5908 CPUtime=19.62 cores=1,3,5,7
/proc/19143/task/19359/stat : 19359 (java) R 19141 19141 15420 0 -1 4202560 708 0 0 0 1962 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637524732160 139637717185312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19360] ppid=19141 vsize=15551560 memory=772 CPUtime=19.66 cores=1,3,5,7
/proc/19143/task/19360/stat : 19360 (java) R 19141 19141 15420 0 -1 4202560 286 0 0 0 1966 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637519467848 139637715672958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19361] ppid=19141 vsize=15551560 memory=1556 CPUtime=19.52 cores=1,3,5,7
/proc/19143/task/19361/stat : 19361 (java) R 19141 19141 15420 0 -1 4202560 626 0 0 0 1952 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637520519328 139638055893910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
Current children cumulated CPU time: 84.4 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 169316 KiB
[startup+21.8013 s]
/proc/loadavg: 8.49 8.40 6.83 9/238 19363
/proc/meminfo: memFree=28919796/32770624 swapFree=66999980/67108860
[pid=19141] ppid=19138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19141/stat : 19141 (xcsp3-exec) S 19138 19141 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410409075 115843072 362 33554432000 4194304 5098028 140729632952240 140729632950344 140565338129020 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 39936000 140729632961402 140729632961645 140729632961645 140729632964554 0
/proc/19141/statm: 28282 362 304 221 0 87 0
[pid=19143] ppid=19141 vsize=15551560 memory=167868 CPUtime=85.2 cores=1,3,5,7
/proc/19143/stat : 19143 (java) S 19141 19141 15420 0 -1 1077944320 31066 0 0 0 8506 14 0 0 20 0 19 0 410409075 15924797440 41967 33554432000 4194304 4196468 140722545272256 140722545254800 139638075051767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
/proc/19143/statm: 3887890 41967 3508 1 0 3848992 0
[pid=19143/tid=19144] ppid=19141 vsize=15551560 memory=14008 CPUtime=0.5 cores=1,3,5,7
/proc/19143/task/19144/stat : 19144 (java) S 19141 19141 15420 0 -1 1077944384 9092 0 0 0 46 4 0 0 20 0 19 0 410409075 15924797440 41967 33554432000 4194304 4196468 140722545272256 139638079292544 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19145] ppid=19141 vsize=15551560 memory=2116 CPUtime=0.05 cores=1,3,5,7
/proc/19143/task/19145/stat : 19145 (java) S 19141 19141 15420 0 -1 1077944384 410 0 0 0 4 1 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637667006736 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19146] ppid=19141 vsize=15551560 memory=19352 CPUtime=0.05 cores=1,3,5,7
/proc/19143/task/19146/stat : 19146 (java) S 19141 19141 15420 0 -1 1077944384 164 0 0 0 5 0 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637665954192 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19147] ppid=19141 vsize=15551560 memory=11852 CPUtime=0.06 cores=1,3,5,7
/proc/19143/task/19147/stat : 19147 (java) S 19141 19141 15420 0 -1 1077944384 750 0 0 0 5 1 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637664901648 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19148] ppid=19141 vsize=15551560 memory=532 CPUtime=0.05 cores=1,3,5,7
/proc/19143/task/19148/stat : 19148 (java) S 19141 19141 15420 0 -1 1077944384 1084 0 0 0 4 1 0 0 20 0 19 0 410409076 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637663849104 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19149] ppid=19141 vsize=15551560 memory=1564 CPUtime=0.04 cores=1,3,5,7
/proc/19143/task/19149/stat : 19149 (java) R 19141 19141 15420 0 -1 4202560 807 0 0 0 4 0 0 0 20 0 19 0 410409077 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637543176824 139638067679975 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19150] ppid=19141 vsize=15551560 memory=928 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19150/stat : 19150 (java) S 19141 19141 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410409078 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637542122976 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19151] ppid=19141 vsize=15551560 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19151/stat : 19151 (java) S 19141 19141 15420 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 410409078 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637541070336 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19152] ppid=19141 vsize=15551560 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19152/stat : 19152 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410409080 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637540018896 139638075070363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19153] ppid=19141 vsize=15551560 memory=2648 CPUtime=1.05 cores=1,3,5,7
/proc/19143/task/19153/stat : 19153 (java) S 19141 19141 15420 0 -1 1077944384 4430 0 0 0 105 0 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637538965488 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19154] ppid=19141 vsize=15551560 memory=912 CPUtime=0.99 cores=1,3,5,7
/proc/19143/task/19154/stat : 19154 (java) S 19141 19141 15420 0 -1 1077944384 3514 0 0 0 98 1 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637537912944 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19155] ppid=19141 vsize=15551560 memory=1440 CPUtime=0.41 cores=1,3,5,7
/proc/19143/task/19155/stat : 19155 (java) S 19141 19141 15420 0 -1 1077944384 3394 0 0 0 40 1 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637536860400 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19156] ppid=19141 vsize=15551560 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19156/stat : 19156 (java) S 19141 19141 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637535808096 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19157] ppid=19141 vsize=15551560 memory=34364 CPUtime=0 cores=1,3,5,7
/proc/19143/task/19157/stat : 19157 (java) S 19141 19141 15420 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 19 0 410409081 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637534755632 139638075062914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19358] ppid=19141 vsize=15551560 memory=988 CPUtime=19.9 cores=1,3,5,7
/proc/19143/task/19358/stat : 19358 (java) R 19141 19141 15420 0 -1 4202560 356 0 0 0 1990 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637523677000 139637715672916 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19359] ppid=19141 vsize=15551560 memory=6791534058613427641 CPUtime=19.81 cores=1,3,5,7
/proc/19143/task/19359/stat : 19359 (java) S 19141 19141 15420 0 -1 1077944384 708 0 0 0 1981 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637524732272 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19360] ppid=19141 vsize=15551560 memory=163752 CPUtime=19.86 cores=1,3,5,7
/proc/19143/task/19360/stat : 19360 (java) S 19141 19141 15420 0 -1 1077944384 286 0 0 0 1986 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637519466992 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
[pid=19143/tid=19361] ppid=19141 vsize=15551560 memory=580 CPUtime=19.72 cores=1,3,5,7
/proc/19143/task/19361/stat : 19361 (java) S 19141 19141 15420 0 -1 1077944384 627 0 0 0 1972 0 0 0 20 0 19 0 410409237 15924797440 41967 33554432000 4194304 4196468 140722545272256 139637520518224 139638075061973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29896704 140722545279983 140722545280154 140722545280154 140722545283023 0
Current children cumulated CPU time: 85.2 s
Current children cumulated vsize: 15664688 KiB
Current children cumulated memory: 169316 KiB
Child status: 0
Real time (s): 21.8217
CPU time (s): 85.2679
CPU user time (s): 85.117
CPU system time (s): 0.150965
CPU usage (%): 390.748
Max. virtual memory (cumulated for all children) (KiB): 15664688
Max. memory (cumulated for all children) (KiB): 200276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.117
system time used= 0.150965
maximum resident set size= 200884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32249
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= 5318
involuntary context switches= 2085
# summary of solver processes directly reported to runsolver:
# pid: 19141
# total CPU time (s): 85.2679
# total CPU user time (s): 85.117
# total CPU system time (s): 0.150965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.164225 second user time and 0.293854 second system time
The end